Repository navigation

D13 (b2): dependency-demand census — demand-census verb and //gunbc/instruments:dependency-demand-census - #12992

Merged

gunbai-bot[bot] merged 35 commits into

mainfrom

session/sleek-boar-665-demand-census

Oct 3, 2026

Commits on Oct 2, 2026
- D13 (b1): whole-closure DependencyDemand reducer, Undecided by cause, with supplied-fact controls
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f728505
- D13 (b1): demand claims match every DependencyDemand arm (no wildcard arms over a closed coproduct)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  65c7e3f
- D13 (b2): dependency-demand census route, demand-census verb and instrument (stage0 regen pending)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d41d41b
- D13 (b2): regenerate the stage0 emit_rust mirror for the demand-census verb's rendered main
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  332e057
- D13 (b2): spell the census in forms the v1 parser reads (no match/if as an argument, no field read off a call)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  83102cf
- D13 (b2): build the census report lines from a flat part list (the 28-deep concat nest did not parse under the v1 reader)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e2fdd04
- D13 (b2): name the census's fields and binders apart from the resource/module declaration words (declared, owner, module_qn)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  577e957
- D13 (b1): a stable cause join and exact-cause convergence (review: a competing-cause cycle oscillated); DidNotSettle gets an authored red through an explicit bound
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4f582f8
- Merge branch 'session/sleek-boar-665-demand-reducer' into session/sleek-boar-665-demand-census
  gunbc-ci-auto-heal
  committed
  4b6d1e3
- D13 (b2): the rendered main imports native_demand_census_output
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cd006ef
- D13 (b2): regenerate the stage0 emit_rust mirror
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  36d95c1
- D13 (b2): the production-control context is read by one claim and not shared (a context carries closures the cross-claim store refuses)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c6f2f87
- D13 (b1): resource sets and fn membership are keyed (review 74173: union, equality and the closure-membership scan were quadratic folds)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f185e3a
- Merge branch 'session/sleek-boar-665-demand-reducer' into session/sleek-boar-665-demand-census
  gunbc-ci-auto-heal
  committed
  dcd5566
- D13 (b2): the census reads demand through the keyed resource sets (follows review 74173 of gunbc#12985)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4774381
- Merge remote-tracking branch 'origin/main' into session/sleek-boar-665-demand-census
  gunbc-ci-auto-heal
  committed
  1407b7f
- D13 (b2): review 74228 (canonical arrow query, counts by variant, vocabulary derived from declared requires edges); the fact walk follows the index's containment rule; the production control reads …
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cc2af66
- D13 (b2): per-row standings and exact deletable identities; FunctionValueCalled on the real route; a pre-authorship refusal is an incomplete population (exit 2); controls for each (review P1s)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2bff055
- Merge origin/main into D13 (b2): adapt the census walk to the EdgeLabel cut (#12799); stage0 emit_rust mirror regenerated next
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  02ae64d
- Merge remote-tracking branch 'origin/main' into session/sleek-boar-665-demand-census
  gunbc-ci-auto-heal
  committed
  35f6cff
- D13 (b2): regenerate the stage0 emit_rust mirror on the merged tree
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4c7554d
- D13 (b2): a function-value call is the evaluator's call (eval_transform_has_callee_reference) through a lexical reference; blocks and operators are not calls
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  16e6b7c
- Merge origin/main into D13 (b2) (brings #12998); the dispatch choice offers the dependency-demand census (review P1), YAML and stage0 regenerated next
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d32e9c7
- D13 (b2): regenerate instrument-dispatch.yml with the dependency-demand census choice
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cebd330
Commits on Oct 3, 2026
- D13 (b2): a call through a named function parameter is a function-value call (parameter references are not lexical references); via_param real-route control (review P1)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8034225
- Merge origin/main into D13 (b2); stage0 emit_rust mirror regenerated next
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ac21cb6
- D13 (b2): regenerate the stage0 emit_rust mirror on the merged tree
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5fe49df
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbai-bot[bot]
  authored
  ec4cef1
- Merge origin/main into D13 (b2)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8c6878a
- Merge the CI auto-heal commit; docs/design-rung-drops.md is main's (regenerated on main by #13061)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9259ca2
- Merge origin/main into D13 (b2)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  402260f
- Merge origin/main into D13 (b2); stage0 emit_rust mirror regenerated next
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  de77122
- D13 (b2): regenerate the stage0 emit_rust mirror on the merged tree
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cbf752b
- Merge origin/main into D13 (b2): union with #13026 (v2-native-census) and #13032 (self-host dispatch label); my host functions moved to the end of their files to stay out of the append hot spots; Y…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1eec9a8
- D13 (b2): regenerate instrument-dispatch.yml and the stage0 emit_rust mirror on the merged tree
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  11de102

Commits

Commits on Oct 2, 2026

Commits on Oct 3, 2026