Repository navigation

Model the exact Symbol-to-Rust representation binding and eliminate bare String capture - #9689

Merged

gunbai-bot[bot] merged 10 commits into

mainfrom

session/lively-seal-506

Aug 30, 2026

Merged

Model the exact Symbol-to-Rust representation binding and eliminate bare String capture#9689
gunbai-bot[bot] merged 10 commits into
mainfrom
session/lively-seal-506

Commits on Aug 29, 2026
- Symbol identity: three names, one authority -- exact declaration-keyed Rust bindings with fully qualified spellings; the bare Symbol checkpoint row deleted
  
  Brian Searls
  and
  claude
  committed
  0b17693
- Regenerated stage0 mirrors for the three new authorities; exhaustive match in symbol_consumer_class_blocks_decision (nfr roster)
  
  Brian Searls
  and
  claude
  committed
  f44a0f7
- compiler_tests: the two hand-retained assertions of the bare Symbol checkpoint answer now assert its migration
  
  Brian Searls
  and
  claude
  committed
  63be2be
- Witness: the same-spelling falsifier cites real sibling declarations (cited-declaration gate); revert the hand edit to the generated compiler_tests.rs
  
  Brian Searls
  and
  claude
  committed
  8075198
- Regenerated compiler_tests.rs: the table-derived checkpoint and is_copy assertions no longer carry the migrated Symbol row (regen fixed point after the mirror install)
  
  Brian Searls
  and
  claude
  committed
  ace4cc2
- Merge remote-tracking branch 'origin/main' into session/lively-seal-506
  Brian Searls
  committed
  e2a31f2
Commits on Aug 30, 2026
- Ruling: split the symbol decision into SymbolValueSemantics (LexemeBacked) and SymbolNominalityStanding (NominalityNotEnforced, six-step trigger); total consumer-evidence classifier
  
  Brian Searls
  and
  claude
  committed
  2ad2cb7
- Merge remote-tracking branch 'origin/main' into session/lively-seal-506
  Brian Searls
  committed
  bfd9524
- Merge remote-tracking branch 'origin/main' into session/lively-seal-506
  Brian Searls
  committed
  17b31af
- Merge remote-tracking branch 'origin/main' into session/lively-seal-506
  Brian Searls
  committed
  f170b25

Commits

Commits on Aug 29, 2026

Commits on Aug 30, 2026