Repository navigation

Floor memory: per-phase held-set attribution; retained-structure census at seams; parse index dropped after planning - #12774

Merged

gunbai-bot[bot] merged 19 commits into

mainfrom

session/sleek-ibex-207

Oct 1, 2026

Commits on Sep 30, 2026

Floor memory: per-phase held-set attribution in floor-memory-qualification; structure census at seams; parse index handed over and dropped after planning

gunbc-ci-auto-heal
and
claude
committed
3159b9c
floor_phase_attribution witness: list index yields Optional; add unread stall/swap supplied-value claim

gunbc-ci-auto-heal
and
claude
committed
388c4da
Floor phase attribution: refuse negative counters before nat_magnitude, refuse (not clamp) counters past i64, declare the primitive-boundary dissolution trigger

gunbc-ci-auto-heal
and
claude
committed
71392ec
Prepared subject: hold the resolved graph without per-module TypeEnvCache

gunbc-ci-auto-heal
and
claude
committed
a635dd5
Census and TypeEnvCache projection: state entries-not-bytes and the measured saving (~0.18 GB; im::HashMap shares nodes across merged parents)

gunbc-ci-auto-heal
and
claude
committed
0196972
Census: entry-independence differential of rewired module copies at identity grain

gunbc-ci-auto-heal
and
claude
committed
f30d7b9
Floor byte attribution: free the typed graph one component class at a time where the floor frees it (strict refusal, prepared teardown), reading mallinfo2 per drop

gunbc-ci-auto-heal
and
claude
committed
82bd5c1
FloorBeatReading: stall and swap are Int? (Absent = the heartbeat's na), not a Bool flag beside a meaningless Int

gunbc-ci-auto-heal
and
claude
committed
d2055cd
Floor: drop the fold's last claim scope when the fold ends, not at function return

gunbc-ci-auto-heal
and
claude
committed
b491c19
Census: key duplicated copies by module path and source file (the diff base's checkout is a different module)

gunbc-ci-auto-heal
and
claude
committed
9d69764
Merge origin/main: entry_resolve keeps both appended tails (floor byte attribution; heads-parse-count test)

gunbc-ci-auto-heal
and
claude
committed
f44ee15
Merge origin/main: floor_demand keeps both appended tails (phase attribution; floor execution demand moved in by #12788)

gunbc-ci-auto-heal
and
claude
committed
425c3f5
Floor: correct the last-scope comment -- the teardown's shared modules have another owner (measured unchanged)

gunbc-ci-auto-heal
and
claude
committed
acf02be
Byte probe: each class line states its reading (exclusive / lower bound after shells / includes shared residue)

gunbc-ci-auto-heal
and
claude
committed
ccc94a5
Merge origin/main: strict-refused byte attribution precedes main's blocking_diagnostics refusal

gunbc-ci-auto-heal
and
claude
committed
25146d3

Commits on Oct 1, 2026

Merge remote-tracking branch 'origin/main' into session/sleek-ibex-207
gunbc-ci-auto-heal
committed
5fdd9b7
After #12832 landed: the byte probe and TypeEnvCache projection carry item_leaf_owner_modules

gunbc-ci-auto-heal
and
claude
committed
230e0b9
Review 73476: cite the instruments, not their output; declare the floor-memory instrumentation's seed growth

gunbc-ci-auto-heal
and
claude
committed
465ce1d
transcribe_floor_beats: only the literal na is unread; a missing, garbled or negative stall or swap refuses like a stat counter

gunbc-ci-auto-heal
and
claude
committed
9335a15

Navigation Menu

Repository navigation

Floor memory: per-phase held-set attribution; retained-structure census at seams; parse index dropped after planning - #12774

Floor memory: per-phase held-set attribution; retained-structure census at seams; parse index dropped after planning#12774
gunbai-bot[bot] merged 19 commits into
mainfrom
session/sleek-ibex-207

Commits on Sep 30, 2026

Floor memory: per-phase held-set attribution in floor-memory-qualification; structure census at seams; parse index handed over and dropped after planning

floor_phase_attribution witness: list index yields Optional; add unread stall/swap supplied-value claim

Floor phase attribution: refuse negative counters before nat_magnitude, refuse (not clamp) counters past i64, declare the primitive-boundary dissolution trigger

Prepared subject: hold the resolved graph without per-module TypeEnvCache

Census and TypeEnvCache projection: state entries-not-bytes and the measured saving (~0.18 GB; im::HashMap shares nodes across merged parents)

Census: entry-independence differential of rewired module copies at identity grain

Floor byte attribution: free the typed graph one component class at a time where the floor frees it (strict refusal, prepared teardown), reading mallinfo2 per drop

FloorBeatReading: stall and swap are Int? (Absent = the heartbeat's na), not a Bool flag beside a meaningless Int

Floor: drop the fold's last claim scope when the fold ends, not at function return

Census: key duplicated copies by module path and source file (the diff base's checkout is a different module)

Merge origin/main: entry_resolve keeps both appended tails (floor byte attribution; heads-parse-count test)

Merge origin/main: floor_demand keeps both appended tails (phase attribution; floor execution demand moved in by #12788)

Floor: correct the last-scope comment -- the teardown's shared modules have another owner (measured unchanged)

Byte probe: each class line states its reading (exclusive / lower bound after shells / includes shared residue)

Merge origin/main: strict-refused byte attribution precedes main's blocking_diagnostics refusal

Commits on Oct 1, 2026

Merge remote-tracking branch 'origin/main' into session/sleek-ibex-207

After #12832 landed: the byte probe and TypeEnvCache projection carry item_leaf_owner_modules

Review 73476: cite the instruments, not their output; declare the floor-memory instrumentation's seed growth

transcribe_floor_beats: only the literal na is unread; a missing, garbled or negative stall or swap refuses like a stat counter