Repository navigation

Heads memo retains only what its consumers read (#12656 peak-RSS regression) - #12768

Merged

gunbai-bot[bot] merged 6 commits into

mainfrom

session/bold-bat-516-heads-record

Sep 30, 2026

Commits on Sep 30, 2026

Heads memo retains only what its consumers read (fixes #12656's peak-RSS regression)

gunbc-ci-auto-heal
and
claude
committed
dfb5cb1
HeadsReading.module: record why the node stays for the process

gunbc-ci-auto-heal
and
claude
committed
6e6ce0c
Resolver-cost frontiers as typed FrontierRows (std.roster_frontier), rostered for the dissolution census

gunbc-ci-auto-heal
and
claude
committed
d8aa340
resolver_cost_frontier: carry only this PR's row; #12716's cites a declaration #12716 introduces

gunbc-ci-auto-heal
and
claude
committed
670d337
Merge remote-tracking branch 'origin/main' into session/bold-bat-516-heads-record
gunbc-ci-auto-heal
committed
79a631e
resolver_cost_frontier: #12716's row back now that its declaration is on main

gunbc-ci-auto-heal
and
claude
committed
06b7f45