Repository navigation

Namespace canonical binding: one cardinality authority with declared v1 adapter - #7506

Closed

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

mainfrom

session/neat-raven-513-closeout

Closed

Namespace canonical binding: one cardinality authority with declared v1 adapter#7506
gunbai-bot[bot] wants to merge 87 commits into
mainfrom
session/neat-raven-513-closeout

Commits on Jul 30, 2026
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  e7cf70a
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  1fc3abb
- Fix cargo fmt on namespace_unique_on_chain_policy_test.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  146caef
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  9da06fc
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  5aa8816
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  d4629b7
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  0cb0e72
- Regen stage0 after self-contained occurrence-binding adapter.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  26c95f1
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  5b3d3bf
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  a13c689
- Align containment census with zero-on-chain Unbound semantics.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  42a9713
- Route remaining cardinality checks through the v1 adapter; dissolve category predicate.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  6947e26
- Drop ignored env_module_path from the v1 binding adapter; match projection in sigs.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  23c2f2c
- Address review 44814: scaffold receipts, canonical containment queries.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d0d10e6
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  64798b8
- Route GlobalBareUniqueBinding through chain+decide under NamespaceOnlyY.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  1a30ccb
- Regen stage0 after env/lookup changes; merge main for heal skew.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  429b6a4
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  da49130
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  9e34b15
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  caa2e98
- Reconcile stage0 with canonical binding authority; fix fmt.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5ee7e24
- Locate orphan-hygiene refusals; free enumerate from Filesystem resolve.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  716627e
- Restore Class-B imports exposed by unique-on-chain binding.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  39821e8
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  9857c08
- Regen stage0 for predicate dissolution; restore heal-closure imports.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  0749bdf
- Route bare-reference pool pull through chain+decide.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  2112d3b
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  a7306f4
- Regen stage0 for is_prefix_of; drop duplicate occurrence_id_eq.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  cb6bf57
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  cf1e33b
- Fail-closed occurrence binding on validated transport; drop FreeMonoid arity.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c60e30b
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  972bcc0
- Align func_sig_lookup_outcome_note with unique-across-parents authority.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  0d3c175
- Regen stage0 for func_sig_lookup_outcome_note.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b479afd
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  1f0222e
- Restore Class-B imports for whole-tree unique-on-chain compile-clean.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  71bc57d
- Admit category-verdict→Bool collapse is a candidate filter boundary.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5bec1c1
- Fix containment prefix to compare full id sequences (review 45081).
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  0b5e268
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  a0fc846
- Heal Class-B import restore against current authorities.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  390d892
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  d84ec35
- Restore unique-on-chain imports for Class-B dependent modules.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  29347b0
- Consume category binding verdict directly in candidate fold.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c85e14b
- Align global_bare_fallback_invariant with unique-on-chain binding.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  6203646
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  580c110
- Match unique-on-chain decide with three arms, drop Option collapse.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  bdf5f37
- Correct unique-on-chain retention rationale for host-gate proof.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  ee42f8f
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  dae0c8a
- Refuse unknown occurrence IDs without fabricated spans.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  11c2e1b
- Receipt hand-Rust policy witness against ROADMAP row with LOC census.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  be014e2
- Point retained unique-on-chain rationale at ROADMAP LOC receipt.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  2482a6a
- Regen stage0 after UnknownOccurrenceIdentity refusal landing.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  cb8523e
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  62573d5
- Drop illegal // comments from Class-B import restores.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4eca189
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  fe80b07
- Restore Class-B imports for rust_wire_serde discovery closure.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  8fd047d
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  49eb6f4
- WIP: Namespace canonical binding: one name-decision function
  gunbc-ci-auto-heal
  committed
  bd7655e
- Fix Class-B Filesystem import and NFR roster for discovery.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  993be0b
- WIP: Jul 28
  Brian Searls
  committed
  a79e97e
- Census the second hand-Rust file this PR grows (review 45162)
  
  Brian Searls
  and
  claude
  committed
  a4f3ce3
- Merge remote-tracking branch 'origin/main' into session/vivid-swift-497
  Brian Searls
  committed
  63180e8
- Census the third hand-Rust file, and tie the total to its rows
  
  Brian Searls
  and
  claude
  committed
  c461751
- Merge remote-tracking branch 'origin/main' into session/vivid-swift-497
  Brian Searls
  committed
  ed5d43c
- Regenerate v1_compiler_infer.rs from the merged .dag authority
  
  Brian Searls
  and
  claude
  committed
  b45c246
- Merge remote-tracking branch 'origin/main' into session/vivid-swift-497
  Brian Searls
  committed
  87f3d3a
- WIP: Jul 28
  Brian Searls
  committed
  1183d64
- Resolve the witness_row_cost merge conflicts properly
  
  Brian Searls
  and
  claude
  committed
  4c625f7
Commits on Jul 31, 2026
- Merge remote-tracking branch 'origin/main' into session/vivid-swift-497
  Brian Searls
  committed
  c9a07fe
- Carry references_by_id on the validated transport (review 45329)
  
  Brian Searls
  and
  claude
  committed
  2053359
- WIP: self host/namespace/type check
  Brian Searls
  committed
  4e0c2db
- Regenerate v1_compiler_infer.rs from the merged .dag authority
  Brian Searls
  committed
  9d17e0f
- WIP: self host/namespace/type check
  Brian Searls
  committed
  7a8462d
- Address review 45364: delete the span fabrication, collapse the label fork
  Brian Searls
  committed
  29a84ba
- Restore the Class-B imports auth_print_access_token was missing
  Brian Searls
  committed
  21de33d
- Merge remote-tracking branch 'origin/main' into session/vivid-swift-497
  Brian Searls
  committed
  13231fb
- Address review 45409: fix the stale census prose, delete the dead any-fold
  Brian Searls
  committed
  ca84e16
- WIP: self host/namespace/type check
  Brian Searls
  committed
  63bc476
- Address review 45420: one LOC census authority; drop the last wildcard
  Brian Searls
  committed
  a2a0cd6
- WIP: self host/namespace/type check
  Brian Searls
  committed
  df611a3
- Fix the Class-B resolve failures CI found; delete the decide forwarder
  Brian Searls
  committed
  4bf0c5e
- WIP: self host/namespace/type check
  Brian Searls
  committed
  5d6fb0c
- Revert the automated corpus-wide import restore
  Brian Searls
  committed
  22117ac
- Merge remote-tracking branch 'origin/main' into session/vivid-swift-497
  Brian Searls
  committed
  78e2929
- Dissolve the merge-repair census row; hand-Rust total 205 -> 201
  
  Brian Searls
  and
  claude
  committed
  b222f07
- WIP: namespace program closeout
  gunbc-ci-auto-heal
  committed
  2397d2b
- Restore Class-B imports for application_serializer under unique-on-chain.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  95bb043
- ci: retrigger floor after infra timeout
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d238f19

Commits

Commits on Jul 30, 2026

Commits on Jul 31, 2026