refactor(docs-audit): a route SOURCE of two kinds — admit spec contract declarations behind a runtime-registration guard - #15274

Merged

baozhoutao merged 4 commits into

mainfrom

claude/issue-11857-route-source-evidence

Sep 4, 2026

Commits on Sep 4, 2026

refactor(docs-audit): a route SOURCE of two kinds, and admit contract declarations
claude
committed
7f200bc
test(docs-audit): pin the two route-source kinds and the guard between them
claude
committed
cbadba8
test(docs-audit): floor the contract-kind population so a shape pin cannot pass vacuously
claude
committed
fa12687
docs(docs-audit): finish the rename in the anchor provenance string
claude
committed
f0dd5ab