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 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 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:
A project's visual identity is declared once and generated: the contract and the generator are the protocol's, the identity is the project's
SpecDossier and Signatio each carried a logo generator beside their assets (tools/*-brand, Rust), a contract compiled into it, and a drift script (scripts/brand.nu). The two copies had already diverged
A check carries its own refutation — a biop nucleus, a typed ADR constraint check and a SOW contract alike — so a gate that cannot be made to fail stops reporting pass
MEASURED IN A CONSUMER, 2026-09-21 (DD-eca, block 7 of its editorial interface). Every
One name per tree: ONTOREF_ROOT is retired for ONTOREF_TOOL_ROOT and ONTOREF_PROTOCOL_ROOT
ONTOREF_ROOT answered two different questions with one word.