The contractiles for this repository: a consistent operational, validation, trust, recovery, and intent framework. (Originally scaffolded from the RSR template; the file references below are corrected to the files actually shipped here.)
-
must/Mustfile— required invariants and validations. -
trust/Trustfile.a2ml— trust / verification steps. -
dust/Dustfile— rollback and recovery semantics. -
intend/Intentfile.a2ml— future intent and roadmap direction.
|
Note
|
This repo also carries the S-expression companion set under
.machine_readable/ (MUST.contractile, TRUST.contractile,
INTENT.contractile, ADJUST.contractile). The two representations coexist
because tangle was scaffolded at an intermediate RSR-template generation; the
canonical layout is being reconciled estate-wide (the template master, krl,
has since relocated contractiles/ into .machine_readable/ and added
adjust/ + bust/). Until that reconciliation lands, treat
.machine_readable/*.contractile as authoritative and the contractiles/<name>/
tree as the human-readable mirror.
|
Keep these in step with reality:
-
must/Mustfile— real invariants (proof discipline, paths, schema versions). -
trust/Trustfile.a2ml— actual key paths and verification commands. -
dust/Dustfile— rollback and recovery tooling. -
intend/Intentfile.a2ml— the roadmap (see.machine_readable/6a2/STATE.a2mlroute-to-mvpfor the live milestone list).