docs← Back to article

Markdown for LLMs

concept-rule-alignment-report

The source Markdown for this article. Copy it into your assistant or download it as a text file.

Download this articlePlain text ↗
# 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`](https://law.arxo.io/schema/concept-rule-alignment-report.schema.json)