core/docs/implementation
..
ADR-0131-proof-corridor-plan.md
semantic-symbolic-binding-graph-proposal.md