Knowledge is formalized as typed graphs: acyclicity belongs to a relation that carries order, and a check holds it
The axiom dag-formalized (.ontoref/ontology/core.ncl:46-49, invariant = true) says: 'All project knowledge — concepts, tensions, decisions, state — is formalized as directed acyclic graphs.' No ADR
A brand family is declared once and inherited: the mechanism is the protocol's, the family's values are the principal's, and every departure is declared
ADR-125 made one identity declared once and generated. It said nothing about identities that share a look. Seven projects of the constellation (custody, iter, isolation, signatio, specdossier, openbyna
Expensive verification is declared once, as SOW contracts paid at 'Publish: iter publish refuses on red, and custody's watch re-pays them on the published trunk and reports
bl-075 (2026-08-13) measured that the spine has no plane for expensive verification: `adr validate`
A reference that leaves its project names it, <project>:<local-route>, and resolves against that project's own registry through one resolver
adr-103 made a class of governed reference DECLARED: each kind states its addressing (id_prefix,
Every artefact of a level is an occupant of a declared kind or a store listed as undeclared under a signed ceiling; edges between occupants are derived by parsers and read per plane
adr-103 declared five classes of governed reference (adr, backlog, qa, biop, mode). Everything else a
Forms ask with nushell's own tui on the cli and tui backends; typedialog is needed only for web
The protocol's forms (reflection/forms/*.ncl) are declarative NCL: elements with a type, a prompt, a
A service declares what it needs to be deployed; whoever answers for a need declares it on its own side; the bond carries neither
An infrastructure that mounts a service reconstructs what the service needs by archaeology, and nothing
A person signs what was agreed, by exact digest, once for many; an agent signs only as itself, under a grant that expires and carries no act of the person
adr-130 fixes the FORM of a signature (an envelope of subjects by digest and signatures by scheme). It
A signature is an envelope of one or more signatures over one or more subjects; a level chooses its form, changes it only forward, and never below its floor
Every ratified SOW and every signed receipt in this level is today one detached minisign signature
A project's root is supplied by the machine's registry, never written in its project.ncl — no versioned file of a project carries where that project lives
Every project registered with ontoref carries `.ontoref/project.ncl`, versioned in its own repository,
A SOW declares whether it is in force and when each contract is paid — liveness is read, never inferred, and no default runs every turn
Until this decision a SOW stated its terms and its signature, and nothing about whether those terms
Each constitutive ontology concern lives in its own file, and no file carries another's
The ontology of an onboarded project has been split since its first commit into three files: