Repository navigation

Rebuild the no-dual-representation-test lens PURELY in v2/.dag (NO v1/Rust, NO roster snapshot). Bans tautological tests that mirror the code they test (DESIGN §5 construction-not-validation, recursive on the test corpus). Prior attempt #6086 (branch session/vivid-carp-16, now CLOSED) had the right - #6104

Merged

briansrls merged 19 commits into

mainfrom

session/swift-carp-820

Jul 1, 2026

Merged

Rebuild the no-dual-representation-test lens PURELY in v2/.dag (NO v1/Rust, NO roster snapshot). Bans tautological tests that mirror the code they test (DESIGN §5 construction-not-validation, recursive on the test corpus). Prior attempt #6086 (branch session/vivid-carp-16, now CLOSED) had the right#6104
briansrls merged 19 commits into
mainfrom
session/swift-carp-820

Commits on Jul 1, 2026
- WIP: Rebuild the no-dual-representation-test lens PURELY in v2/.dag (NO v1/Ru
  Brian Searls
  committed
  0d16578
- WIP: Rebuild the no-dual-representation-test lens PURELY in v2/.dag (NO v1/Ru
  Brian Searls
  committed
  3b1e525
- WIP: Rebuild the no-dual-representation-test lens PURELY in v2/.dag (NO v1/Ru
  Brian Searls
  committed
  803e41c
- WIP: Rebuild the no-dual-representation-test lens PURELY in v2/.dag (NO v1/Ru
  Brian Searls
  committed
  c367634
- fix(no_dual_representation_test): address review — audit all fns, unrostered=0, parse-path RED
  
  Brian Searls
  and
  cursoragent
  committed
  5fec077
- fix(no_dual_representation_test): generic eq-site extraction, delete roster stubs
  
  Brian Searls
  and
  cursoragent
  committed
  b2e3b3f
- refactor(no_dual_representation_test): Node facts via fn_arrow_decl, drop string parser
  
  Brian Searls
  and
  cursoragent
  committed
  25780ca
- WIP: Rebuild the no-dual-representation-test lens PURELY in v2/.dag (NO v1/Ru
  Brian Searls
  committed
  e0fe110
- WIP: Rebuild the no-dual-representation-test lens PURELY in v2/.dag (NO v1/Ru
  Brian Searls
  committed
  9c475e1
- fix(no_dual_representation_test): unify literal fingerprint authority
  
  Brian Searls
  and
  cursoragent
  committed
  bf27fba
- fix(data_index): remove unsupported // comments breaking parse
  
  Brian Searls
  and
  cursoragent
  committed
  19c07ca
- Merge remote-tracking branch 'origin/main' into session/swift-carp-820
  Brian Searls
  committed
  a224c86
- docs(no_dual_representation_test): name #5364 dissolution for data_index bridge
  
  Brian Searls
  and
  cursoragent
  committed
  b1bfd45
- Merge remote-tracking branch 'origin/main' into session/swift-carp-820
  Brian Searls
  committed
  db11f26
- style(coproduct_reflection): cargo fmt data_init_literal_fingerprint arms
  
  Brian Searls
  and
  cursoragent
  committed
  8ff447f
- fix(data_index): fingerprint data-init literals from source lexeme
  
  Brian Searls
  and
  cursoragent
  committed
  5c79c09
- WIP: Rebuild the no-dual-representation-test lens PURELY in v2/.dag (NO v1/Ru
  Brian Searls
  committed
  dd26703
- docs(no_dual_representation_test): document residue lens scope nits
  
  Brian Searls
  and
  cursoragent
  committed
  cb068a7
- Merge remote-tracking branch 'origin/main' into session/swift-carp-820
  Brian Searls
  committed
  981ecea

Commits

Commits on Jul 1, 2026