concept-rule-alignment-report

Reference page for the concept-rule-alignment-report.schema.json JSON schema.

Versions

Accepted format: arxo.concept-rule-alignment.report/0.1.

Top-level fields

name	type-or-$ref	required	description
format	"arxo.concept-rule-alignment.report/0.1"	yes	—
profile	enum (3)	yes	—
policy	object	yes	—
policy_hash	string	yes	—
validator_hash	string	yes	—
previous_hash	anyOf (2)	yes	—
sources	object	yes	—
discovery	object	yes	—
decisions	array	yes	—

Enumerations

location	values
properties/format	"arxo.concept-rule-alignment.report/0.1"
properties/profile	"lean-stacks-conditional-rules/0.1", "isabelle-order-conditional-rules/0.1", "lean-order-conditional-rules/0.1"
properties/policy/properties/format	"arxo.concept-rule-alignment.policy/0.1"
properties/policy/properties/profile	"lean-stacks-conditional-rules/0.1", "isabelle-order-conditional-rules/0.1", "lean-order-conditional-rules/0.1"
properties/policy/properties/interpretation_basis	"declared_mapping_assumption"
properties/discovery/properties/channel	"declared_mapping_and_rule_structure"
properties/discovery/properties/complete	true
properties/decisions/items/properties/relation	"conditional_rule_implementation", "definition_equivalence"
properties/decisions/items/properties/direction	"source_to_target_under_interpretation"
properties/decisions/items/properties/status	"accepted", "review", "revoked"
properties/decisions/items/properties/conditions/properties/interpretation_basis	"declared_mapping_assumption"
properties/decisions/items/properties/conditions/properties/source_shape/anyOf/0/properties/premise_mode	"established", "supported"
properties/decisions/items/properties/conditions/properties/all_source_conditions_retained	true
properties/decisions/items/properties/conditions/properties/semantic_equivalence_proved	false
properties/decisions/items/properties/evidence/properties/target/items/properties/shape/properties/premise_mode	"established", "supported"

Raw schema

https://law.arxo.io/schema/concept-rule-alignment-report.schema.json