docs(research): formal synthesis paper unifying substrate + e2e framework - #52

Merged

CodeWithJuber merged 6 commits into

docs/formal-synthesis-paper

Jul 11, 2026

Commits on Jul 11, 2026

docs(research): add formal synthesis paper unifying substrate + e2e framework
CodeWithJuber
committed
9048a1b
docs(research): reconcile 14→15 citation count provenance
CodeWithJuber
committed
203ebbd
fix(pages): don't let an empty Unreleased section blank the status page changelog
CodeWithJuber
committed
e4dc9ac
fix(security): allowlist bibliography citation-key false positives in gitleaks
CodeWithJuber
committed
c293b90
docs(roadmap): bump Now marker to v0.12.1
CodeWithJuber
committed
156a086
Merge master into docs/formal-synthesis-paper
CodeWithJuber
committed
b0d892b