Files
orca/docs/reference
Neil 460e68630d docs(terminal): record S3, S4, S5 and S8 proven, and G1 missed
All seven step goalposts are now proven. G1 (net-negative production) is NOT met
at +83 and is reported as a miss with a per-step breakdown rather than reframed.

Also records the near-miss G5 caught: S4's reader guard showed no mutation
response because the load fold had already erased the divergent state at boot.
It was correct and would have shipped unproven. An added clause pins it.
2026-08-09 01:51:45 -07:00
..