Repository navigation

type_env design note: attribution of the PR-2 slowdown and memory gate; PR-2 withdrawn - #13009

Merged

gunbai-bot[bot] merged 15 commits into

mainfrom

session/calm-pike-525

Oct 3, 2026

Merged

type_env design note: attribution of the PR-2 slowdown and memory gate; PR-2 withdrawn#13009
gunbai-bot[bot] merged 15 commits into
mainfrom
session/calm-pike-525

Commits on Oct 2, 2026
- type_env PR-2: attribute the whole-tree slowdown; the probe no longer voids; a ruling request on the residual
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  62bd4f3
- type_env PR-2 note: the contested-name table's receipts (same-runner, counter-ordered) and the predictions scored
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c3bc3a4
- type_env PR-2 note: keep structure and verdicts; figures stay with their pinned receipts (review 74313, DESIGN §6)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f38e6c5
Commits on Oct 3, 2026
- Merge remote-tracking branch 'origin/main' into session/calm-pike-525
  gunbc-ci-auto-heal
  committed
  9ac52fe
- type_env note: C2 answered: the floor's whole-closure reconcile is demanded by every planned-claim category; narrowing it is a rung drop, not a demand cut
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1448469
- type_env note: PR-2 withdrawn; the gate is unreachable on current main; attribution of main's type_env drop is pending at #13076's parent
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f2c75eb
- type_env note: the rebased floor-peak runs stopped at strict preparation on a main red; their peak is not a gate read
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  92d228d
- type_env note: warm-route attribution falsified both hypotheses; the delta is outside the entry graph
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1536496
- Merge remote-tracking branch 'origin/main' into session/calm-pike-525
  gunbc-ci-auto-heal
  committed
  2aa1ca2
- type_env note: #13076 owns main's type_env drop; the chartered memory win came from deleting the rewire, not PR-2; receipt on the name-canonicalisation RFM row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  72bd542
- RFM receipt: name the instrument, not the figure (DESIGN 6; review 74874)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6730e78
- RFM receipt: the REMOVED receipt also names its instrument instead of copying figures (DESIGN 6)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c28cebc
- RFM receipt: state the warm-heap effect as measured, not as noise
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b1b861e
- type_env note: warm residency P1/P2 hit; the delta is retained by the warm resolve route; next probe pre-registered
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f24bca6
- type_env note: counters run; the typed snapshot serializes the ancestry by value (structural reading, discriminator pre-registered)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fdbcd42

Commits

Commits on Oct 2, 2026

Commits on Oct 3, 2026