Repository navigation

Representation-min Item 4: func_env.sigs single-authority (eliminate the duplicated signature store; design-first sketch before any build_type_env touch) - #5935

Merged

briansrls merged 15 commits into

mainfrom

session/wise-wolf-402

Jun 29, 2026

Merged

Representation-min Item 4: func_env.sigs single-authority (eliminate the duplicated signature store; design-first sketch before any build_type_env touch)#5935
briansrls merged 15 commits into
mainfrom
session/wise-wolf-402

Commits on Jun 29, 2026
- docs: func_env.sigs single-authority design sketch (scope-chain ResolvedFuncEnv)
  
  briansrls
  and
  cursoragent
  committed
  5722326
- WIP: Representation-min Item 4: func_env.sigs single-authority (eliminate the
  briansrls
  committed
  7e333c8
- feat(v1): scope-chain ResolvedFuncEnv eliminates per-module sig closure copy
  
  briansrls
  and
  cursoragent
  committed
  7f06386
- WIP: Representation-min Item 4: func_env.sigs single-authority (eliminate the
  briansrls
  committed
  808ec9c
- fix(v1): rewire func_env parent links on cache hit + gate-A witnesses
  
  briansrls
  and
  cursoragent
  committed
  7d31319
- fix(ci): drop accidental bash_command_fold_test + sync generated plan doc
  
  briansrls
  and
  cursoragent
  committed
  9426e4e
- fix(ci): sync representation-minimization.md with generated artifact authority
  
  briansrls
  and
  cursoragent
  committed
  77f2b41
- docs: add func-env design-sketch inbound link via plan .dag authority
  
  briansrls
  and
  cursoragent
  committed
  5d0e104
- test(v1): add semantic equivalence + post-typecheck RSS oracles for func_env
  
  briansrls
  and
  cursoragent
  committed
  67d6f64
- fix(tests): gate func_env_scope_chain_test behind #[cfg(test)]
  
  briansrls
  and
  cursoragent
  committed
  5568814
- style: cargo fmt for func_env oracle files
  
  briansrls
  and
  cursoragent
  committed
  f15b009
- test(v1): strengthen dropped-parent perturbation on real import fixture
  
  briansrls
  and
  cursoragent
  committed
  2fff1af
- test(v1): close oracle 4 with whole-corpus fingerprint gate
  
  briansrls
  and
  cursoragent
  committed
  054b9e7
- test(v1): strengthen dropped-parent RED + sync design witness receipt
  
  briansrls
  and
  cursoragent
  committed
  8c149be
- style: cargo fmt func_env_scope_chain_test (rust gate)
  
  briansrls
  and
  cursoragent
  committed
  ca197d9

Commits

Commits on Jun 29, 2026