Repository navigation

docs: amend brand-identity design — remove decl_id_by_spelling from stamp path (Amendment 4) - #4587

Merged

briansrls merged 7 commits into

mainfrom

session/swift-moth-293

Jun 9, 2026

Merged

docs: amend brand-identity design — remove decl_id_by_spelling from stamp path (Amendment 4)#4587
briansrls merged 7 commits into
mainfrom
session/swift-moth-293

Commits on Jun 9, 2026
- WIP: Follow-up #4579 design amendment: make decl_id_by_spelling fail-closed o
  Brian Searls
  committed
  6d9d90b
- docs: amend brand-identity design — remove decl_id_by_spelling from stamp path (Amendment 4)
  
  Brian Searls
  and
  claude
  committed
  2a038c4
- docs: fix stale 'stamp after lookup' phrases — authority is at registration (cursor review)
  
  Brian Searls
  and
  claude
  committed
  00d3db9
- docs: name topo_resolve_types as load-bearing binding_id preservation edge (briansrls review)
  
  Brian Searls
  and
  claude
  committed
  cdd8817
- docs: fix §5.4 stale 'infer stamps after env bind' — infer/resolve only propagates (parent)
  
  Brian Searls
  and
  claude
  committed
  b29b29b
- Merge remote-tracking branch 'origin/main' into session/swift-moth-293
  Brian Searls
  committed
  2bb5087
- Merge remote-tracking branch 'origin/main' into session/swift-moth-293
  Brian Searls
  committed
  179310d