Typed authority graph
Eight typed edges and six unit kinds form a directed authority graph. Ownership is derived by walking the graph, not declared directly.
Deterministic compiler
Every artifact-producing function is pure: same inputs produce byte-identical output on every platform. Content hashes over normalized POSIX paths.
PR-time coupling gate
The coupling gate joins the spec-as-source registry and the code-as-source index at PR time and refuses drift. Exit 1 on uncovered paths.
Adopt in any repo
Four install channels (cargo, curl, npm, pip), one config file, zero source edits to the library. Every project-specific assumption is a knob.
Adopt the governed workflow
spec-spine + the Claude Code skill kit: a complete governed development workflow for agentic software engineering.
View the Adoption Kit