Brummel
7d7f04e1a4
Resolves the M1-fieldtest [friction] + [spec_gap]#1 shared root:
form_a.md stated an unconditional 'every (fn ...) param needs an
(own/borrow) mode' rule in 4 places, contradicting shipped checker
behaviour (scalars take and require bare (con Int); a mode on a
scalar trips body-pointing use-after-consume/consume-while-borrowed).
All 4 sites rewritten symmetric to the existing return-type carve-out;
DESIGN.md gains the bare-scalar export-param rule + a corpus-grounded
Form-A snippet; RED-first anti-regrowth pin via FORM_A_SPEC + norm().
Zero language/checker/codegen change. Plan 4c266a6.
13 lines
303 B
JSON
13 lines
303 B
JSON
{
|
|
"iter_id": "form-a-scalar-param-mode-carveout",
|
|
"date": "2026-05-18",
|
|
"mode": "standard",
|
|
"outcome": "DONE",
|
|
"tasks_total": 4,
|
|
"tasks_completed": 4,
|
|
"reloops_per_task": { "1": 0, "2": 0, "3": 0, "4": 0 },
|
|
"review_loops_spec": 0,
|
|
"review_loops_quality": 0,
|
|
"blocked_reason": null
|
|
}
|