Repository navigation

M0: //gunbc/instruments:type-declaration-use-census — resolved type-declaration and cast census (nominal-type plan) - #13093

Merged

gunbai-bot[bot] merged 33 commits into

mainfrom

session/tidy-koi-264

Oct 3, 2026

Commits on Oct 2, 2026
- census A: group native census refusals by fatal reason; //gunbc/instruments:v2-native-census
  
  Brian Searls
  and
  claude
  committed
  9595f53
- census A: regenerate the emit_rust stage0 mirror for the cause-group census output
  
  Brian Searls
  and
  claude
  committed
  4c69250
- census A: withdraw the by-construction partition verdict; v2-native-census is a report (review 74324)
  
  Brian Searls
  and
  claude
  committed
  4c60cea
- v2: carry the type-declaration modifier slot (nominal_opaque, sole_constructor) on NormalizedTree
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d510f66
Commits on Oct 3, 2026
- Slot reader: exhaustive arms over NodeKind/Connective, no wildcard (floor NonFoldResidueRosterDiverged)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f9b1115
- Pairing claim: bodyless fixture so the real normalize route fits the new-witness step budget (84854 > 72300 with an alias rhs)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3a36e7f
- census A: build cause-group rows in one cons pass, and enroll first-appearance order (review 74382)
  
  Brian Searls
  and
  claude
  committed
  9b7d2ad
- Enroll body_lowering_fixture_resolves as expected-red: red on main (unkeyed lexical refs in a hand-built fixture), first selected by this PR's call-site edit
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  588c329
- Fix the add fixture instead of enrolling it: operand references carry minted occurrences (resolve keys lexical bindings by occurrence)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ede1ca7
- Merge remote-tracking branch 'origin/main' into session/tidy-koi-264
  gunbc-ci-auto-heal
  committed
  d2d3ea0
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbai-bot[bot]
  authored
  2ded42c
- Merge origin/main (post-#13033 squash; main's side taken for conflicts)
  gunbc-ci-auto-heal
  committed
  da674f3
- Merge remote-tracking branch 'origin/main' into session/deep-badger-684
  Brian Searls
  committed
  bf32ee2
- Merge remote-tracking branch 'origin/session/deep-badger-684' into session/tidy-koi-264
  gunbc-ci-auto-heal
  committed
  29c5640
- M0 census, declaration half: per-module type-declaration rows (form via emit_produced module_member_class, base, where-predicate refs, modifiers)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c4489a1
- M0 census: cast half, receipt join, and the shared census-infer per-module step (NativeInferCensusOutcome)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b6191b7
- census-infer verb: driver plan word + seed main loop (run_census_infer); type-census dispatch moved into the walk (no compile->census->compile cycle)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0cfe776
- //gunbc/instruments:type-declaration-use-census: registry row (V2NativeCensusProducer { reading }), host arm, reader with fixture + unindexed controls and the out-of-gate filter, receipt-interface …
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c508936
- Regenerate the v1_compiler_emit_rust stage0 mirror for run_census_infer (remote regen, fixed point: second --required-regen reported no drift)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9fee458
- instrument-dispatch: type-declaration-use-census is a dispatchable label (whole-tree run exceeds the BuildBuddy hour)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4e535b9
- Merge origin/main: keep both census cause groups (#13026) and accepted-file advisories (main); mirror to be regenerated
  gunbc-ci-auto-heal
  committed
  0b072e1
- Regenerate v1_compiler_emit_rust mirror over the merged template (fixed point: second --required-regen no drift)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  107d482
- Regenerate instrument-dispatch.yml (tools.generated_artifact_gate main_wet): type-declaration-use-census option
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  163bb59
- type census: resource membership read from body_lowering_fold declared_resource_names (review 74730), not a hand-rolled predicate over DeclaredTypeKind
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  59c2708
- Merge origin/main (#13026 landed; self-host-behavioral-equivalence dispatch label): keep V2NativeCensusProducer { reading }, union the dispatch labels; generated files to be regenerated
  gunbc-ci-auto-heal
  committed
  08561e9
- Regenerate stage0 mirror and instrument-dispatch.yml after merging main (fixed point: second --required-regen no drift)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b54c1fb
- Remove scratch probe modules committed by accident in the main merge (floor: unresolved import)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6dfc050
- Merge origin/main (D13 demand-census verb #12992): union census-infer and demand-census everywhere (verb, plan, usage, template loop, dispatch labels); generated files to be regenerated
  gunbc-ci-auto-heal
  committed
  3f0cd10
- Regenerate stage0 mirror and instrument-dispatch.yml after the demand-census merge (fixed point: second --required-regen no drift)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9ac0c72
- Merge origin/main (mirror conflict only; regenerated next)
  gunbc-ci-auto-heal
  committed
  1e80b38
- Regenerate stage0 mirror after merging main (fixed point: second --required-regen no drift)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a472968
- Merge origin/main (v2-native-census dispatch label): union with type-declaration-use-census; workflow regenerated next
  gunbc-ci-auto-heal
  committed
  4989bfd
- Regenerate instrument-dispatch.yml (and mirror if drifted) after the dispatch-label merge
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5f494ae

Navigation Menu

Repository navigation

M0: //gunbc/instruments:type-declaration-use-census — resolved type-declaration and cast census (nominal-type plan) - #13093

M0: //gunbc/instruments:type-declaration-use-census — resolved type-declaration and cast census (nominal-type plan)#13093
gunbai-bot[bot] merged 33 commits into
mainfrom
session/tidy-koi-264

Commits on Oct 2, 2026

census A: group native census refusals by fatal reason; //gunbc/instruments:v2-native-census

census A: regenerate the emit_rust stage0 mirror for the cause-group census output

census A: withdraw the by-construction partition verdict; v2-native-census is a report (review 74324)

v2: carry the type-declaration modifier slot (nominal_opaque, sole_constructor) on NormalizedTree

Commits on Oct 3, 2026

Slot reader: exhaustive arms over NodeKind/Connective, no wildcard (floor NonFoldResidueRosterDiverged)

Pairing claim: bodyless fixture so the real normalize route fits the new-witness step budget (84854 > 72300 with an alias rhs)

census A: build cause-group rows in one cons pass, and enroll first-appearance order (review 74382)

Enroll body_lowering_fixture_resolves as expected-red: red on main (unkeyed lexical refs in a hand-built fixture), first selected by this PR's call-site edit

Fix the add fixture instead of enrolling it: operand references carry minted occurrences (resolve keys lexical bindings by occurrence)

Merge remote-tracking branch 'origin/main' into session/tidy-koi-264

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

Merge origin/main (post-#13033 squash; main's side taken for conflicts)

Merge remote-tracking branch 'origin/main' into session/deep-badger-684

Merge remote-tracking branch 'origin/session/deep-badger-684' into session/tidy-koi-264

M0 census, declaration half: per-module type-declaration rows (form via emit_produced module_member_class, base, where-predicate refs, modifiers)

M0 census: cast half, receipt join, and the shared census-infer per-module step (NativeInferCensusOutcome)

census-infer verb: driver plan word + seed main loop (run_census_infer); type-census dispatch moved into the walk (no compile->census->compile cycle)

//gunbc/instruments:type-declaration-use-census: registry row (V2NativeCensusProducer { reading }), host arm, reader with fixture + unindexed controls and the out-of-gate filter, receipt-interface …

Regenerate the v1_compiler_emit_rust stage0 mirror for run_census_infer (remote regen, fixed point: second --required-regen reported no drift)

instrument-dispatch: type-declaration-use-census is a dispatchable label (whole-tree run exceeds the BuildBuddy hour)

Merge origin/main: keep both census cause groups (#13026) and accepted-file advisories (main); mirror to be regenerated

Regenerate v1_compiler_emit_rust mirror over the merged template (fixed point: second --required-regen no drift)

Regenerate instrument-dispatch.yml (tools.generated_artifact_gate main_wet): type-declaration-use-census option

type census: resource membership read from body_lowering_fold declared_resource_names (review 74730), not a hand-rolled predicate over DeclaredTypeKind

Merge origin/main (#13026 landed; self-host-behavioral-equivalence dispatch label): keep V2NativeCensusProducer { reading }, union the dispatch labels; generated files to be regenerated

Regenerate stage0 mirror and instrument-dispatch.yml after merging main (fixed point: second --required-regen no drift)

Remove scratch probe modules committed by accident in the main merge (floor: unresolved import)

Merge origin/main (D13 demand-census verb #12992): union census-infer and demand-census everywhere (verb, plan, usage, template loop, dispatch labels); generated files to be regenerated

Regenerate stage0 mirror and instrument-dispatch.yml after the demand-census merge (fixed point: second --required-regen no drift)

Merge origin/main (mirror conflict only; regenerated next)

Regenerate stage0 mirror after merging main (fixed point: second --required-regen no drift)

Merge origin/main (v2-native-census dispatch label): union with type-declaration-use-census; workflow regenerated next

Regenerate instrument-dispatch.yml (and mirror if drifted) after the dispatch-label merge