Brummel
9a8d3850e7
Deleted examples/prelude.ail.json (-559 lines). The cross-form-identity preflight test that ratified pd.3's load-bearing assumption at module hash 3abe0d3fa3c11c99 has discharged its purpose and was removed along with its supporting bytes; the long-term prelude_parse_yields_canonical_hash anchor stays. The ail-CLI migrate-bare-cross-module-refs subcommand's defensive include + lockstep skip-branch removed; the rewrite logic's prelude-fallback capability silently retired with the synthetic insert (known debt, doc-comment updated to reflect). One in-mod core test relocated to crates/ailang-core/tests/workspace_pin.rs (pd.2.4 dev-dep cycle precedent — in-mod call to ailang_surface still structurally impossible). carve_out_inventory.rs: 8 → 7 carve-outs, §C4(b) row dropped, header sentence updated. form-a-default-authoring.md §C4(b) gets a "RETIRED 2026-05-14 by milestone prelude-decouple" status marker; original historical text preserved. New prelude_decouple_carve_out_pin.rs asserts examples/prelude.ail.json does NOT exist. Milestone prelude-decouple closed: prelude exists on disk only as examples/prelude.ail; ailang-core embeds zero prelude bytes; CLAUDE.md "authors write .ail" doctrine holds without exception. cargo test --workspace 573 green; bench/cross_lang.py + bench/compile_check.py exit 0; bench/check.py exit 1 with the established noise envelope (14th observation of bench_list_sum.bump_s since audit-cma; pd.3 is filesystem + spec text + test deletion only, no codegen / runtime / typecheck path edited — baseline pristine). Folds in the orphan pd.2 INDEX entry that was left uncommitted in the working tree.
23 lines
1.2 KiB
JSON
23 lines
1.2 KiB
JSON
{
|
|
"iter_id": "pd.3",
|
|
"date": "2026-05-14",
|
|
"mode": "standard",
|
|
"outcome": "DONE",
|
|
"tasks_total": 8,
|
|
"tasks_completed": 8,
|
|
"reloops_per_task": {
|
|
"1": 0,
|
|
"2": 0,
|
|
"3": 0,
|
|
"4": 0,
|
|
"5": 0,
|
|
"6": 0,
|
|
"7": 0,
|
|
"8": 0
|
|
},
|
|
"review_loops_spec": 0,
|
|
"review_loops_quality": 1,
|
|
"blocked_reason": null,
|
|
"notes": "Task 1 implementer-phase had one structural correction loop (call-site swap → relocation) when the plan-prescribed mechanism failed to typecheck across the dev-dep cycle; counted as an in-phase repair, not a re-loop. Task 1 quality phase had one Minor (verbose stub comment); fixed inline by trimming, then re-approved — counted as the single quality re-loop. Task 4 + Task 6 had RED-on-purpose intermediate states (carve-out inventory test fails until Task 7 deletes the file; carve-out pin RED-on-purpose until same); both flipped GREEN at Task 7 as planned — not counted as failures. Task 3 doc-comment edit on MigrateCanonicalTypes was an unrequested-but-justified correction (capability-claim falsification by the strict task work); marked DONE_WITH_CONCERNS. pd.3 closes the prelude-decouple milestone (pd.1 + pd.2 + pd.3)."
|
|
}
|