Repository navigation

Route-gap admission partition: undeclared enrollment refuses; suppressed enrollments named per identity - #13376

Merged

gunbai-bot[bot] merged 30 commits into

mainfrom

session/calm-koi-257

Oct 7, 2026

Merged

Route-gap admission partition: undeclared enrollment refuses; suppressed enrollments named per identity#13376
gunbai-bot[bot] merged 30 commits into
mainfrom
session/calm-koi-257

Commits on Oct 5, 2026
- route-gap finding: 541/546 enrollments dormant on required runs; drop points and (a)/(b)/(c) split
  gunbc-ci-auto-heal
  committed
  5355906
- route-gap admission partition: undeclared enrollment refuses, suppressed enrollments named per identity; .dag contract amended; admission-control fixture
  gunbc-ci-auto-heal
  committed
  0a5ae75
- route-gap partition: qualify suppression_ground_label path
  gunbc-ci-auto-heal
  committed
  7c76e10
- route-gap admission fixture: balance chunk_00 Cons nesting
  gunbc-ci-auto-heal
  committed
  ea5cfb3
- route-gap partition: drop clone on Copy ground
  gunbc-ci-auto-heal
  committed
  881c99c
- route-gap partition: pass ground by value
  gunbc-ci-auto-heal
  committed
  9f66118
- route-gap: remove shipped fixture row and module per review 38602; seed receipt trigger/boundary cover the fourth declaration
  gunbc-ci-auto-heal
  committed
  3db613a
- Merge remote-tracking branch 'origin/main' into session/calm-koi-257
  gunbc-ci-auto-heal
  committed
  f477735
- route-gap: name the instrument, never transcribe its output (DESIGN 6)
  gunbc-ci-auto-heal
  committed
  7d4c3df
- route-gap doc: declare the wall's real standing (unit-authored red, no CI path); fix stale header
  gunbc-ci-auto-heal
  committed
  3835dde
- route-gap partition: model the relation on the .dag authority; Rust marshals only; classifier deleted; fixture + floor route witness + gate row
  gunbc-ci-auto-heal
  committed
  0f449f9
- route-gap pairing witness: qualify ExecutionMode
  gunbc-ci-auto-heal
  committed
  c613384
- Merge main into session/calm-koi-257: union gate-authored-modules roster (route-gap partition witness + calibration specimen)
  gunbc-ci-auto-heal
  committed
  28cf371
- Route-gap ground as declared coproduct; seed receipt counts the two marshal items (+5) with a before/after diff census
  gunbc-ci-auto-heal
  committed
  8dc7d4c
- Pairing pool: fold the required floor's own manifest roots (dag + src/v2), matching the changed-selection mirror seam
  gunbc-ci-auto-heal
  committed
  9f408da
- Marshal call site: declare the discovered index through the value producer directly (clippy redundant closure)
  gunbc-ci-auto-heal
  committed
  78534c1
- Merge remote-tracking branch 'origin/main' into session/calm-koi-257
  gunbc-ci-auto-heal
  committed
  68a3ffa
- Route-gap partition: import v2.std.algebra contains (list membership); bare name resolved to the v1_rt string builtin in emission
  gunbc-ci-auto-heal
  committed
  e587259
- Repair the mangled merge: restore main's floor work (reach differential, explicit-witness admission, comment-only-edit charging) via 3-way union; cost-shape fix: membership per row from the keyed i…
  gunbc-ci-auto-heal
  committed
  6c59f39
- Restore main's tree wholesale from the mangled merge (476 files incl. cli_run definitions, reach_base_standings.rs; drop resurrected rung_drop roster); keep the route-gap admission partition delta
  gunbc-ci-auto-heal
  committed
  677934a
- Seed receipt: re-derive the HAND-LOC census against origin/main (751 insertions, 6 deletions; runner +478)
  gunbc-ci-auto-heal
  committed
  c29bb0f
Commits on Oct 6, 2026
- Restore the membership judgment to the .dag authority: the relation takes the declared index as a keyed Map and judges map_contains_key per row; Rust marshals the index whole (route_gap_declared_ma…
  gunbc-ci-auto-heal
  committed
  1fe3b7b
- Restore dag/gunbc/rung_drop/mtcollins1_boot_matrix_enrolment_dead_band_observed_only_drop.dag from origin/main: lost in the wholesale tree repair; its trigger has not fired and main's roster names it
  gunbc-ci-auto-heal
  committed
  6083c81
- Merge origin/main: pick up #13452 (slow v1 Rust tests deleted)
  gunbc-ci-auto-heal
  committed
  1d998c3
- Seed receipt: census re-derived post-merge (1039 insertions, 10 deletions; runner +547)
  gunbc-ci-auto-heal
  committed
  ea606e0
- Merge origin/main: pick up #13456 (compiler_tests.rs authority deletion resolves the stage0-mirror drift)
  gunbc-ci-auto-heal
  committed
  88da52d
- Finding doc: report the wall's real standing — the refused arm executes on the required witnesses lane (gate-admitted claim) AND the required rust-unit-tests lane (DESIGN.md authority, not the stal…
  gunbc-ci-auto-heal
  committed
  8b3ffd2
- Side-chat review 5424676896 blockers: shared production decode+enforce (misnamed fixture raises the actual RouteGapEnrollmentUndeclared through run_required_floor's own branch); third ground arm (D…
  gunbc-ci-auto-heal
  committed
  093d46e
- Merge origin/main: pick up spark/workspace/runner work
  gunbc-ci-auto-heal
  committed
  e6fd602
- Seed receipt: census re-derived post-merge (1164/15, runner +638/-7, production +256/-7, tests +380)
  gunbc-ci-auto-heal
  committed
  5c39b90

Commits

Commits on Oct 5, 2026

Commits on Oct 6, 2026