docs← Back to article

Markdown for LLMs

concept-rule-alignment-policy

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-policy

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

## Versions

Accepted `format`: `arxo.concept-rule-alignment.policy/0.1`.

## Top-level fields

| name | type-or-$ref | required | description |
|---|---|---|---|
| `format` | `"arxo.concept-rule-alignment.policy/0.1"` | yes | — |
| `profile` | enum (3) | yes | — |
| `enabled` | `boolean` | yes | — |
| `package` | `object` | yes | — |
| `source_project` | `string` | yes | — |
| `target_packages` | `array` | yes | — |
| `interpretation_basis` | `"declared_mapping_assumption"` | yes | — |
| `interpretation_hash` | `string` | yes | — |
| `projection_hash` | `string` | yes | — |

## Enumerations

| location | values |
|---|---|
| `properties/format` | `"arxo.concept-rule-alignment.policy/0.1"` |
| `properties/profile` | `"lean-stacks-conditional-rules/0.1"`, `"isabelle-order-conditional-rules/0.1"`, `"lean-order-conditional-rules/0.1"` |
| `properties/interpretation_basis` | `"declared_mapping_assumption"` |

## Raw schema

[`https://law.arxo.io/schema/concept-rule-alignment-policy.schema.json`](https://law.arxo.io/schema/concept-rule-alignment-policy.schema.json)