Integrate contributor PRs #62-#65: four doctrine rules, covenant-completed, 5-round three-family gate - #67

Merged

F-e-u-e-r merged 14 commits into

mainfrom

integrate-pr62-65

Jul 23, 2026

Commits on Jul 23, 2026

Add reuse-time grader re-validation: invocation-shape drift + inverted-pass signature
firaen22
committed
Add reproduce-FAILURE-claims-too: a subordinate's RED gate is a claim, not evidence
firaen22
committed
Add empty-output differential diagnosis: flake vs capability gap, dead endpoint vs auth/gateway
firaen22
committed
Add superseded-verdict sweep: flipping a current-state order doesn't retire older bold verdicts
firaen22
committed
Merge branch 'pr62' into integrate-pr62-65
F-e-u-e-r
committed
Merge branch 'pr63' into integrate-pr62-65
F-e-u-e-r
committed
Merge branch 'pr64' into integrate-pr62-65
F-e-u-e-r
committed
Merge branch 'pr65' into integrate-pr62-65
F-e-u-e-r
committed
Integration fixes for #62-65: covenant markers, Provenance entries, wording

F-e-u-e-r
and
claude
committed
Fold xcheck r1: grok F1-F3 + luna F1-F6 all fixed; 3 format nits rejected on in-file precedent

F-e-u-e-r
and
claude
committed
Fold xcheck r2 (grok+luna): 7 must-fixes, incl. convergent in-place neutralization

F-e-u-e-r
and
claude
committed
Fold xcheck r2 (sol): F1,F4,F5 net-new fixed; F2 strengthened; F3,F6 already closed by the grok+luna fold

F-e-u-e-r
and
claude
committed
Fold xcheck r3: grok PROCEED; sol F1-F4 + luna F1 all fixed

F-e-u-e-r
and
claude
committed
Fold xcheck r4: grok PROCEED + luna PROCEED; sol F1,F2 fixed (both r3-fold residue)

F-e-u-e-r
and
claude
committed