concept-rule-alignment-policy
For LLMs4 sections
Reference page for the concept-rule-alignment-policy.schema.json JSON schema.
Versions
Section titled “Versions”Accepted format: arxo.concept-rule-alignment.policy/0.1.
Top-level fields
Section titled “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
Section titled “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
Section titled “Raw schema”https://law.arxo.io/schema/concept-rule-alignment-policy.schema.json
Documentation for Arxo. Writings — blog.arxo.io.
Anonymous visit counts on stats.arxo.io, no cookies.