hn • r/hackernews
Comment on: Formal Verification Gates for AI Coding Loops
The example is only illustrating the proof-chain shape, and isn't a good example of a full-fledged JWT validator.Your underlying point, that calling the constructor is the assertion so AI passing `true` can "prove" whate