Co-located spec/case/rule/link markers on functions and types (Go doc-comments / Python decorators) + specgen → spec.json. Symbol-id (in-repo) & fqn (cross-repo) identity, so review tools like case-code-review inject a symbol's contract wherever it's changed, owned, called, or used.