Repository navigation

Compare an Optional with an Optional at 46 latent sites no gated closure compiled (before #13541) - #13545

Closed

gunbai-bot[bot] wants to merge 8 commits into

mainfrom

session/silent-wren-814-optional-eq

Closed

Compare an Optional with an Optional at 46 latent sites no gated closure compiled (before #13541)#13545
gunbai-bot[bot] wants to merge 8 commits into
mainfrom
session/silent-wren-814-optional-eq

Commits on Oct 7, 2026
- Compare an Optional with an Optional at 46 latent sites (17 modules) no gated closure compiled
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2c36ec8
- Compare through a match, not a constructed Present: the seed's kernel T? is the bare value at runtime, so Present { value: v } raised cross-representation-equality; a Present pattern binds it on bo…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  741d21d
- Declare 3 grounded_principal_witness claims expected-red: transcribed counts of a live grant set, exposed when this PR made the module resolve (ruling K1)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4b60319
- expected-red owner line: the grant's author is archived; routed through XL-2
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bedfb0c
- expected-red: the grounded_principal chunk sits after interpreter_first_optional_divergence, so each annotation attaches to its own declaration (review 77694, DESIGN 4c)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  827d54b
- Merge remote-tracking branch 'origin/main' into session/silent-wren-814-optional-eq
  gunbc-ci-auto-heal
  committed
  c91e940
- floor_expected_red: reattach the interpreter_first comment to its function (review 77737: a blank line left it unattached, DESIGN §4c)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f827d1d
Commits on Oct 8, 2026
- Merge remote-tracking branch 'origin/main' into session/silent-wren-814-optional-eq
  gunbc-ci-auto-heal
  committed
  d2d9480

Commits

Commits on Oct 7, 2026

Commits on Oct 8, 2026