fix(schemas): append real module_id, not synthetic index (CORR-001) - #8

Open

ImmortalDemonGod wants to merge 31 commits into

mainfrom

fix/mastery-corr-001

Commits on Jun 21, 2026

chore(pipeline): launch-brief artifacts
claude
committed
119a096
docs(tests): add bug catalog for CORR-001 mark_stage_complete synthetic ID
claude
committed
828f2c9
test(schemas): RED tests for CORR-001 mark_stage_complete synthetic id bug
claude
committed
fb7978b
docs(tests): update bug catalog evaluation section with first-run results
claude
committed
5b46944
docs(aiv): verification packet for change 'mastery-corr-001-tests'
claude
committed
315528e
docs(aiv): add missing evidence classes A C D E F to CORR-001 design-tests packet
claude
committed
590bced
fix(aiv): resolve E010/E012/E017/E004 blocking errors in CORR-001 design-tests packet
claude
committed
bd7a5a5
fix(schemas): add module_id param to mark_stage_complete; raise on None for harden
claude
committed
b5474e5
fix(main): pass current_module.id to mark_stage_complete at both harden call sites
claude
committed
e165075
test(state): pin harden test to real module ID; add None-guard test
claude
committed
305ed1b
test(submit_handlers): update harden mock assertion to include module_id='softmax'
claude
committed
f4ee9ff
test(e2e): replace synthetic module_N assertions with real IDs 'softmax'/'cross_entropy'
claude
committed
19aa603
docs(aiv): verification packet for change 'mastery-corr-001-impl'
claude
committed
10d5bbf
docs(aiv): add Class A-F evidence sections to CORR-001-impl packet
claude
committed
3fc2ae6
docs(aiv): add complete evidence classes A-F and finalize G14 gate result
claude
committed
0b7c7e6
docs(aiv): oracle-corrections justification for 3 modified inherited tests
claude
committed
88321d5
docs(aiv): fix false claim 4 in CORR-001-impl packet — tests were updated (bug-encoding)
claude
committed
635ff3a
test(adversarial): make corrupted-patch test deterministic — hide JSON bugs before selecting
claude
committed
6f057ea
docs(aiv): verification packet for change 'mastery-corr-001-impl-regression'
claude
committed
987cf30
docs(aiv): add complete evidence classes A-F and fix E010/E011 in CORR-001 regression packet
claude
committed
5614321
revert(adversarial): restore test_corrupted_patch_file to origin/main form
claude
committed
222907b
docs(aiv): verification packet for change 'mastery-corr-001-oracle-fix'
claude
committed
4bbde10
docs(aiv): fix E004/E011 warnings in oracle-fix packet — add markdown URL for Class E and Justification in Class F
claude
committed
4c46c5a
test(submit_handlers): add BUG-004 prove-it anchor — alias test_submit_harden_stage_passes_module_id_to_mark_stage_complete
claude
committed
8d13f2d
docs(submit_handlers): clarify BUG-004 anchor comment — scope static-diff covers main.py:1825
claude
committed
87cc83e
docs(aiv): verification packet for change 'mastery-corr-001-impl-bug004'
claude
committed
9c2bad0
docs(aiv): add complete evidence classes A-F and machine-checkable data to BUG-004 packet
claude
committed
f981605
docs(aiv): verification packet for change 'mastery-corr-001-impl-final'
claude
committed
0c35671
docs(aiv): add Class A/C/D/F evidence and fix Class E alignment in final CORR-001 packet
claude
committed
ea4a354
chore(pipeline): prove-it artifacts
claude
committed
c1df544
docs(aiv): fix TODO classification_rationale in impl/tests packets; remove false-positive TODO word in impl-final Class C
claude
committed
dde8d53