Repository navigation

namespace wave 1: containment-tree resolution — layered census + name-derived loader (salvage) - #6848

Merged

briansrls merged 271 commits into

mainfrom

namespace-wave1-reland

Jul 20, 2026

Merged

namespace wave 1: containment-tree resolution — layered census + name-derived loader (salvage)#6848
briansrls merged 271 commits into
mainfrom
namespace-wave1-reland

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 18, 2026
Commits on Jul 19, 2026
- WIP: namespace migration
  briansrls
  committed
  78e7dd2
- restore prose reference inside merge_lifecycle incident-note string (over-stripped by the 160-artifact regex revert)
  
  briansrls
  and
  claude
  committed
  8439b59
- WIP: namespace migration
  briansrls
  committed
  e2f434b
- WIP: namespace migration
  briansrls
  committed
  8f34961
- WIP: namespace migration
  briansrls
  committed
  50029cc
- infer: qualified payload-variant construction (roster items 1+8) — stamp parent_enum for dotted spellings (#6869)
  
  gunbai-bot[bot]
  and
  briansrls
  authored
  c419a1c
- WIP: namespace migration
  briansrls
  committed
  2dbff62
- WIP: namespace migration
  briansrls
  committed
  0f478b2
- WIP: namespace migration
  briansrls
  committed
  317c462
- WIP: namespace migration
  briansrls
  committed
  9c8fd67
- WIP: namespace migration
  briansrls
  committed
  9e1af43
- WIP: namespace migration
  briansrls
  committed
  5b6099b
- WIP: namespace migration
  briansrls
  committed
  5a05ff2
- WIP: namespace migration
  briansrls
  committed
  9637a5e
- WIP: namespace migration
  briansrls
  committed
  e2710d6
- WIP: namespace migration
  briansrls
  committed
  1c01aca
- WIP: namespace migration
  briansrls
  committed
  79e0e9e
- WIP: namespace migration
  briansrls
  committed
  d72907a
- Merge remote-tracking branch 'origin/namespace-wave1-reland' into reland-takeover
  briansrls
  committed
  47c69f8
- remove stray n89.txt (WIP-harness histogram dump; forced whole-tree compile-clean scope on every CI run)
  briansrls
  committed
  191d3f3
- WIP: 6848 cleanup
  briansrls
  committed
  a010d62
- WIP: 6848 cleanup
  briansrls
  committed
  c06ab49
- WIP: 6848 cleanup
  briansrls
  committed
  395cde1
- WIP: 6848 cleanup
  briansrls
  committed
  608a861
- M.mid green: stamp decl-param field types TypeVariable at extraction (main parity); census fill = whole indexed pool
  briansrls
  committed
  0a330d3
- WIP: 6848 cleanup
  briansrls
  committed
  7423d93
- WIP: 6848 cleanup
  briansrls
  committed
  752e2a7
- WIP: 6848 cleanup
  briansrls
  committed
  354f515
- WIP: 6848 cleanup
  briansrls
  committed
  4597462
- WIP: 6848 cleanup
  briansrls
  committed
  fbc9cf4
- WIP: 6848 cleanup
  briansrls
  committed
  93b5a3e
- namespace census layering: bare = own tree-closure, qualified = whole pool
  
  briansrls
  and
  claude
  committed
  6e92a19
- WIP: 6848 cleanup
  briansrls
  committed
  2ffc6ce
- WIP: 6848 cleanup
  briansrls
  committed
  4282805
- loader: bare-reference closure via tree census (Rule-1 direction) + discovery qualified-variant fix + .dag mirrors
  
  briansrls
  and
  claude
  committed
  ece37aa
- WIP: 6848 cleanup
  briansrls
  committed
  773f0cc
- claim_batch: continue past group resolve failures (counted FAIL rows, exit stays 1) + bare-pull diagnostic trace
  
  briansrls
  and
  claude
  committed
  f152da1
- WIP: 6848 cleanup
  briansrls
  committed
  ac3cfa6
- Merge remote-tracking branch 'origin/main' into namespace-wave1-reland
  briansrls
  committed
  9cba138
- WIP: 6848 cleanup
  briansrls
  committed
  4f02840
- WIP: 6848 cleanup
  briansrls
  committed
  8a8f3ea
- WIP: 6848 cleanup
  briansrls
  committed
  a30e0e5
- WIP: 6848 cleanup
  briansrls
  committed
  56b4b3f
- WIP: 6848 cleanup
  briansrls
  committed
  8ad838b
- WIP: 6848 cleanup
  briansrls
  committed
  0823c93
- WIP: 6848 cleanup
  briansrls
  committed
  d1950bf
- WIP: 6848 cleanup
  briansrls
  committed
  f771df1
- typecheck: body-scope binders shadow census fn sigs; loader: service-chain pulls, stripped-file scan gate, binder/key-position lexer; census: kernel names never bare-aliased
  
  briansrls
  and
  claude
  committed
  cf0a439
- WIP: 6848 cleanup
  briansrls
  committed
  d73deb7
- WIP: 6848 cleanup
  briansrls
  committed
  f6a8dbf
- WIP: 6848 cleanup
  briansrls
  committed
  d69c96b
- WIP: 6848 cleanup
  briansrls
  committed
  f32a5c9
- loader: normalize source roots for tree lookup (CI absolute-root no-op), pool-census cross-tree fallback, dotted-head data-const pulls; fixtures: restore floor_skip imports; frontier: deletion hunk…
  
  briansrls
  and
  claude
  committed
  7097725
- WIP: 6848 cleanup
  briansrls
  committed
  8f34c4c
- WIP: 6848 cleanup
  briansrls
  committed
  73ab7e0
- WIP: 6848 cleanup
  briansrls
  committed
  571db29
- WIP: 6848 cleanup
  briansrls
  committed
  8c4c288
- WIP: 6848 cleanup
  briansrls
  committed
  664d610
- WIP: 6848 cleanup
  briansrls
  committed
  890e078
- WIP: 6848 cleanup
  briansrls
  committed
  71c2e7b
- WIP: 6848 cleanup
  briansrls
  committed
  ac86c5e
- WIP: 6848 cleanup
  briansrls
  committed
  fd60926
- WIP: 6848 cleanup
  briansrls
  committed
  efb6897
- remove temporary free-call probe witness
  
  briansrls
  and
  claude
  committed
  40ca80c
- WIP: 6848 cleanup
  briansrls
  committed
  0496f8e
- WIP: 6848 cleanup
  briansrls
  committed
  9a65eb9
- WIP: 6848 cleanup
  briansrls
  committed
  986802a
- WIP: 6848 cleanup
  briansrls
  committed
  475ad55
- WIP: 6848 cleanup
  briansrls
  committed
  df19c76
- WIP: 6848 cleanup
  briansrls
  committed
  afc6a39
- remove temporary serializer probe witness
  
  briansrls
  and
  claude
  committed
  e6bdbfc
- WIP: 6848 cleanup
  briansrls
  committed
  e4b4f21
- WIP: 6848 cleanup
  briansrls
  committed
  34d122e
- WIP: 6848 cleanup
  briansrls
  committed
  2e33d30
- WIP: 6848 cleanup
  briansrls
  committed
  d87ac59
- WIP: 6848 cleanup
  briansrls
  committed
  0f6d493
- accelerator: de-qualify builtin-intercepted kernel calls + rename float elem twin; output_policy Diagnostic qualify; hardware_selection bandwidth_count nickname dissolved; drop probe
  
  briansrls
  and
  claude
  committed
  25bb7f7
- WIP: 6848 cleanup
  briansrls
  committed
  0aefd91
- WIP: 6848 cleanup
  briansrls
  committed
  3531000
- WIP: 6848 cleanup
  briansrls
  committed
  15189f1
- WIP: 6848 cleanup
  briansrls
  committed
  9bade6f
- WIP: 6848 cleanup
  briansrls
  committed
  494ce94
- corpus residue: de-qualify None compares (orch_if x7, rust_add x3); restore 02_parse+bisect+rust_add imports; native is_empty interp method (bridge parity); revert 3 strip-casualty witnesses; re-st…
  
  briansrls
  and
  claude
  committed
  c9238fd
- WIP: 6848 cleanup
  briansrls
  committed
  5889ee9
- WIP: 6848 cleanup
  briansrls
  committed
  23a486a
- WIP: 6848 cleanup
  briansrls
  committed
  5b5dc3b
- Merge origin/main (11 commits: cssl/std_dup, belt 2b, shell-intent P0/P1); conflicts resolved main-side for strip-only files; module_path field re-applied at 4 new TypeEnv sites
  
  briansrls
  and
  claude
  committed
  a94a175
- Merge remote-tracking branch 'origin/main' into namespace-wave1-reland
  briansrls
  committed
  217d5d6
- WIP: 6848 cleanup
  briansrls
  committed
  d771e90
- WIP: 6848 cleanup
  briansrls
  committed
  ffa94cd
- WIP: 6848 cleanup
  briansrls
  committed
  6ffcb96
- WIP: 6848 cleanup
  briansrls
  committed
  8366ba4
- 6848: revert os_systemd_witness_test to main (sweep-qualified refs made SystemdUnitStatus a stale roster entry); drop tmp probe
  
  briansrls
  and
  claude
  committed
  7650866
- WIP: 6848 cleanup
  briansrls
  committed
  9ad9137
- WIP: 6848 cleanup
  briansrls
  committed
  401acfc
- Merge remote-tracking branch 'origin/main' into namespace-wave1-reland
  briansrls
  committed
  b441be6
- WIP: 6848 cleanup
  briansrls
  committed
  2e2aee3
- 6848: drop tmp probe plan
  
  briansrls
  and
  claude
  committed
  7945edc
- WIP: 6848 cleanup
  briansrls
  committed
  2d10b65
- WIP: 6848 cleanup
  briansrls
  committed
  0a7730a
- WIP: 6848 cleanup
  briansrls
  committed
  42d4fb4
- WIP: 6848 cleanup
  briansrls
  committed
  e9bd22e
- Merge remote-tracking branch 'origin/main' into namespace-wave1-reland
  briansrls
  committed
  d4bc471
- WIP: 6848 cleanup
  briansrls
  committed
  1de3590
- WIP: 6848 cleanup
  briansrls
  committed
  922fe5b
- WIP: 6848 cleanup
  briansrls
  committed
  f04f608
Commits on Jul 20, 2026
- WIP: 6848 cleanup
  briansrls
  committed
  5bd2273
- WIP: 6848 cleanup
  briansrls
  committed
  6a7ff73
- 6848 cleanup: revert cli_run advisory-batch + governor width-seed hacks to main (operator will rework separately); restore provenance/diagnostic std import blocks (occurrence_id executor-surface fix)
  
  briansrls
  and
  claude
  committed
  1b56a8b
- WIP: 6848 cleanup
  briansrls
  committed
  193bb78
- WIP: 6848 cleanup
  briansrls
  committed
  4edaeed
- WIP: 6848 cleanup
  briansrls
  committed
  411a4f5
- WIP: 6848 cleanup
  briansrls
  committed
  c8fdc92
- WIP: 6848 cleanup
  briansrls
  committed
  bf06983
- WIP: 6848 cleanup
  briansrls
  committed
  5605df9
- cleanup: remove GUNBC_FLOOR_INITIAL_WIDTH governor seed again (auto-committer re-captured it during a scratch build); param-leak fix: build_type_env param_bindings excludes body-carrying fns (modul…
  briansrls
  committed
  54e24de
- WIP: 6848 cleanup
  briansrls
  committed
  3751d8b
- WIP: 6848 cleanup
  briansrls
  committed
  774c6a2
- regen convergence round: emitter lowers Present/Absent with unknown parent to Some/None (both pattern twins, dag+seed mirror; bare variant pattern was never-valid Rust); algebra_method_template_nam…
  briansrls
  committed
  225f501
- WIP: 6848 cleanup
  briansrls
  committed
  0605115
- WIP: 6848 cleanup
  briansrls
  committed
  80f2185
- WIP: 6848 cleanup
  briansrls
  committed
  635b204
- WIP: 6848 cleanup
  briansrls
  committed
  ac65fe6
- regen fixed-point round: split_sig_params sig-typed helper (SigParamSplit) replaces filter/fold idioms the emitter cannot classify over an unresolved receiver; explicit Present wrap at the two cens…
  briansrls
  committed
  8b418e3
- WIP: 6848 cleanup
  briansrls
  committed
  5a819f4
- WIP: 6848 cleanup
  briansrls
  committed
  31aeb98
- Merge remote-tracking branch 'origin/main' into namespace-wave1-reland
  briansrls
  committed
  ad8608f
- WIP: 6848 cleanup
  briansrls
  committed
  160e073
- bare-reference closure: declaration-grain execution-root guard + bound-name filter (review finding 2)
  briansrls
  committed
  df0b6d7
- WIP: 6848 cleanup
  briansrls
  committed
  d8335a2
- WIP: 6848 cleanup
  briansrls
  committed
  1ee6437
- WIP: 6848 cleanup
  briansrls
  committed
  a018334
- WIP: 6848 cleanup
  briansrls
  committed
  6e9dae4
- WIP: 6848 cleanup
  briansrls
  committed
  85805c8
- test contracts updated to the branch authorities (coproduct wire wall-promotion, reexport control dissolution)
  briansrls
  committed
  a1d226d
- WIP: 6848 cleanup
  briansrls
  committed
  26e4623
- Merge remote-tracking branch 'origin/main' into namespace-wave1-reland
  briansrls
  committed
  a6ba99a
- Merge remote-tracking branch 'origin/main' into namespace-wave1-reland
  briansrls
  committed
  30f94c3
- WIP: 6848 cleanup
  briansrls
  committed
  3218093
- closure: service-backed builtins declare their provider pull (side-effect-import class)
  briansrls
  committed
  3a26486
- WIP: 6848 cleanup
  briansrls
  committed
  1ab069e
- revert an unjustified guard: the variant/standalone homonym mis-emission is PRE-EXISTING, not a regression
  briansrls
  committed
  7f9a2dc
- WIP: 6848 cleanup
  briansrls
  committed
  ca52b93
- restore the type-confusion wall the variant stamp dropped (audit finding, CONFIRMED)
  briansrls
  committed
  9c0a8b0
- WIP: 6848 cleanup
  briansrls
  committed
  13e73be
- Revert probe edit: drop the temporary import extdeps.cloud.gcp.gcp restored in credentials.dag while running the gcp_oauth discriminating control (the control was NEGATIVE - restoring the import do…
  
  briansrls
  and
  claude
  committed
  a526298
- WIP: 6848 cleanup
  briansrls
  committed
  f1b430a
- WIP: 6848 cleanup
  briansrls
  committed
  192389a
- WIP: 6848 cleanup
  briansrls
  committed
  33785c9
- WIP: 6848 cleanup
  briansrls
  committed
  5ffef11
- Wire strict-tier reference-derived edges into the affected set; delete the widen arm
  
  briansrls
  and
  claude
  committed
  6c883f7
- Merge remote-tracking branch 'origin/main' into namespace-wave1-reland
  briansrls
  committed
  5ed0349
- WIP: 6848 cleanup
  briansrls
  committed
  a1bd97d
- Split loader and selection edge tiers; fix the precompute regression the shared tier caused
  
  briansrls
  and
  claude
  committed
  5716c88
- WIP: 6848 cleanup
  briansrls
  committed
  9f2406b

Commits

Commits on Jul 18, 2026

Commits on Jul 19, 2026