Repository navigation

RUST-REALIZATION-IDENTITY: key Rust realization on declaration identity, retiring the bare-name Hash row - #8410

Merged

briansrls merged 7 commits into

mainfrom

rust-realization-identity

Aug 18, 2026

Merged

RUST-REALIZATION-IDENTITY: key Rust realization on declaration identity, retiring the bare-name Hash row#8410
briansrls merged 7 commits into
mainfrom
rust-realization-identity

Commits on Aug 18, 2026
- RUST-REALIZATION-IDENTITY step 1: the two authorities a realization decision actually needs
  Brian Searls
  committed
  60cb1ee
- RUST-REALIZATION-IDENTITY step 2: retire the Hash checkpoint row, which had no source declaration
  Brian Searls
  committed
  5b40612
- Merge remote-tracking branch 'origin/main' into rust-realization-identity
  Brian Searls
  committed
  cc2500c
- Merge main (cargo-cleanup fix) and regenerate the stage0 fixed point
  Brian Searls
  committed
  1ce2e8f
- The regression control I claimed does not execute — author one that does, in a discovered root
  Brian Searls
  committed
  24feef8
- The alias hop is a real missing edge and the obvious fix is wrong — record it, do not land it
  Brian Searls
  committed
  bfad818
- Delete the two new authority modules: nothing consumes them, and a test would not have fixed that
  Brian Searls
  committed
  eac49ad