This lane contains adopted backbone statements and promoted theorem/no-go spine documents used by downstream branches.
architecture-final.mdtheorem-spine-final.mdno-go-spine-final.mdoperator-spine-final.mdnaming-and-terminology.mdRead this lane as the shared formal base. Branch-level novelty claims are evaluated in docs/restricted-results/ and remain branch-limited unless explicitly promoted with scope and status labels.