proof-carrying.md

proof-carrying computation proofs accumulate during nox execution via per-step HyperNova folding. eliminates the separate proving phase entirely. when computation finishes, the proof is already done — run the O(1) decider. the construction each reduce() call: 1. produces the usual result and focus…