Repository navigation

Adopt the complete validation runner repair and missing coverage on current main - #413

Merged

d6g8k5htny-coder merged 10 commits into

mainfrom

codex/pr402-current-composition-20261008

Oct 9, 2026

Merged

Adopt the complete validation runner repair and missing coverage on current main#413
d6g8k5htny-coder merged 10 commits into
mainfrom
codex/pr402-current-composition-20261008

Commits on Oct 8, 2026
- tests: W7j behavioural controls for the math-downstream-gates lane
  
  authored and
  cursoragent
  committed
  e3a2ebf
- tests: optional W7j message/contract-pinning controls (droppable)
  
  authored and
  cursoragent
  committed
  85b6c20
- tests: AMEND1 for C173-R1/R2/R3 (child mode, Git isolation, resolved ROOT)
  
  authored and
  cursoragent
  committed
  1a3ab2f
- Merge current Math main into reviewed PR402 controls
  d6g8k5htny-coder
  committed
  219d482
- docs: correct Math required-check test inventory
  d6g8k5htny-coder
  committed
  e9ba9fb
- fix: bind downstream replay modes and assertion exit status
  d6g8k5htny-coder
  committed
  357986d
- test: bind all replay mutations and refuse duplicate anchors
  d6g8k5htny-coder
  committed
  664d688
- Compose the complete PR402 runner repair and PR411 coverage onto current main
  d6g8k5htny-coder
  committed
  5213f68
- Preserve the complete runner repair on the landed exact-release guard
  d6g8k5htny-coder
  committed
  3db8fdd
- Exercise corrupted gate output independently in both replay modes
  d6g8k5htny-coder
  committed
  99c8ea4