Repository navigation

Emitter: item bounds reach every impl and fn header; lambda arguments are not unwrapped; five text crossings repaired in source - #13078

Merged

gunbai-bot[bot] merged 15 commits into

mainfrom

session/neat-bat-562

Oct 4, 2026

Commits on Oct 3, 2026

Emitter: item bounds reach every impl and fn header, lambda arguments are not unwrapped; five text crossings repaired in source

Brian Searls
and
claude
committed
315cc14
Merge remote-tracking branch 'origin/main' into session/neat-bat-562
gunbc-ci-auto-heal
committed
3b7c4a9
chore: regenerate drifted generated artifacts (ci auto-heal)
gunbai-bot[bot]
authored
e48adc3
Recut PR B's evidence after #12512: the five text sites are representation-local simplifications (row five is the identified foreign-formal unfold shape), a new identified site unfolds or refuses, …

gunbc-ci-auto-heal
and
claude
committed
13b7b16
Merge origin/main into session/neat-bat-562 (generated paths held at ours; regenerated next)

gunbc-ci-auto-heal
and
claude
committed
dc3e088
chore: regenerate drifted generated artifacts (ci auto-heal)
gunbai-bot[bot]
authored
fb5d6ba
Regenerate v1_compiler_emit_rust.rs and docs/design-rung-drops.md after merging main (regen fixed point equal)

gunbc-ci-auto-heal
and
claude
committed
f77aa11
Merge CI auto-heal; keep the projection regenerated from the merged authorities

gunbc-ci-auto-heal
and
claude
committed
9d9e80b
Merge origin/main into session/neat-bat-562 (both instrument bindings kept; generated paths regenerated next)

gunbc-ci-auto-heal
and
claude
committed
369583a
Regenerate v1_compiler_emit_rust.rs and docs/design-rung-drops.md after merging main (regen fixed point equal)

gunbc-ci-auto-heal
and
claude
committed
e5aa052
Narrow the instrument's target comment and the 2026-10-03 occurrence to classes A and C; class B's cases are behavioral controls

gunbc-ci-auto-heal
and
claude
committed
bc2c839
Merge origin/main: take #13144's hand-written impl header bounds; keep this PR's Set-element Ord bound, lambda-argument guard and class-B repairs (mirrors regenerated next)

gunbc-ci-auto-heal
and
claude
committed
36dade9
Regenerate emitter mirrors and docs/design-rung-drops.md after merging main (regen fixed point equal); drop the impl-header witness row now owned by main's set_struct_hand_written_impls_carry_heade…

gunbc-ci-auto-heal
and
claude
committed
1738784
Merge origin/main into session/neat-bat-562 (both instrument bindings kept; generated paths regenerated next)

gunbc-ci-auto-heal
and
claude
committed
105fc8a

Commits on Oct 4, 2026

Regenerate v1_compiler_emit_rust.rs and docs/design-rung-drops.md after merging main (regen fixed point equal)

gunbc-ci-auto-heal
and
claude
committed
917c86d

Navigation Menu

Repository navigation

Emitter: item bounds reach every impl and fn header; lambda arguments are not unwrapped; five text crossings repaired in source - #13078

Emitter: item bounds reach every impl and fn header; lambda arguments are not unwrapped; five text crossings repaired in source#13078
gunbai-bot[bot] merged 15 commits into
mainfrom
session/neat-bat-562

Commits on Oct 3, 2026

Emitter: item bounds reach every impl and fn header, lambda arguments are not unwrapped; five text crossings repaired in source

Merge remote-tracking branch 'origin/main' into session/neat-bat-562

chore: regenerate drifted generated artifacts (ci auto-heal)

Recut PR B's evidence after #12512: the five text sites are representation-local simplifications (row five is the identified foreign-formal unfold shape), a new identified site unfolds or refuses, …

Merge origin/main into session/neat-bat-562 (generated paths held at ours; regenerated next)

chore: regenerate drifted generated artifacts (ci auto-heal)

Regenerate v1_compiler_emit_rust.rs and docs/design-rung-drops.md after merging main (regen fixed point equal)

Merge CI auto-heal; keep the projection regenerated from the merged authorities

Merge origin/main into session/neat-bat-562 (both instrument bindings kept; generated paths regenerated next)

Regenerate v1_compiler_emit_rust.rs and docs/design-rung-drops.md after merging main (regen fixed point equal)

Narrow the instrument's target comment and the 2026-10-03 occurrence to classes A and C; class B's cases are behavioral controls

Merge origin/main: take #13144's hand-written impl header bounds; keep this PR's Set-element Ord bound, lambda-argument guard and class-B repairs (mirrors regenerated next)

Regenerate emitter mirrors and docs/design-rung-drops.md after merging main (regen fixed point equal); drop the impl-header witness row now owned by main's set_struct_hand_written_impls_carry_heade…

Merge origin/main into session/neat-bat-562 (both instrument bindings kept; generated paths regenerated next)

Commits on Oct 4, 2026

Regenerate v1_compiler_emit_rust.rs and docs/design-rung-drops.md after merging main (regen fixed point equal)