SPECIFICATION.md, docs/proofs/PROOFS.adoc, docs/theory/{THEORY,ALGORITHMS}.adoc don't exist; real candidates are docs/ARCHITECTURE.adoc + docs/PIPELINE.adoc. Source: .machine_readable/6a2/anchor/ANCHOR.a2ml.
https://claude.ai/code/session_01GJatEm2TVFSTBEkKXmserJ
SPECIFICATION.md, docs/proofs/PROOFS.adoc, docs/theory/{THEORY,ALGORITHMS}.adoc don't exist; real candidates are docs/ARCHITECTURE.adoc + docs/PIPELINE.adoc. Source:
.machine_readable/6a2/anchor/ANCHOR.a2ml.https://claude.ai/code/session_01GJatEm2TVFSTBEkKXmserJ