Repository navigation

MQ PR1 (model): a lowering closes its image; derived nodes mint OccurrenceProjected - #12604

Merged

gunbai-bot[bot] merged 3 commits into

mainfrom

session/bold-fox-455

Sep 30, 2026

Commits on Sep 29, 2026

Model: a lowering closes its image; derived nodes mint OccurrenceProjected (PR1 of 2)

gunbc-ci-auto-heal
and
claude
committed
86156a4
Review 72543: one Projected arm, two producers told apart by cause scope; seal the allocator

gunbc-ci-auto-heal
and
claude
committed
df14e0b
Move the same-scope note above insertion_provenance_entry (DESIGN 4c: module-item grain only)

gunbc-ci-auto-heal
and
claude
committed
d03dd0e