💡 C78 · Spec-Intent Gap ≡ Irreducible Promise
concept · shared · knowledge
The specification-intent gap (behavioural intent non-formalizable) and PVM's irreducible promise are one object, two sides: proof-side formal-methods hand-off vs relationship-side value. Active (60%).
Edges in
- Bakhta · Safety by Design (StarkWare 2026) references →