Repository navigation

v4 T-25-core: std/refinement.dag — base-type + fail-closed validation substrate - #3354

Merged

briansrls merged 5 commits into

mainfrom

session/loyal-boar-155

May 20, 2026

Merged

v4 T-25-core: std/refinement.dag — base-type + fail-closed validation substrate#3354
briansrls merged 5 commits into
mainfrom
session/loyal-boar-155

Commits on May 19, 2026
- v4 T-25-core: std/refinement.dag — base-type + fail-closed validation substrate
  
  briansrls
  and
  claude
  committed
  5e9f12e
- T-25-core: de-prose refinement.dag per Practice 9 (PR #3354 review)
  
  briansrls
  and
  claude
  committed
  9cc2af6
- T-25-core: NonEmptyList as a List refinement (PR #3354 brief reconcile)
  
  briansrls
  and
  claude
  committed
  d5085c7
- T-25-core: relocate NonEmptyList to an acceptance witness; substrate-only (#3354 ruling)
  
  briansrls
  and
  claude
  committed
  63d520d
- T-25-core: reorder // Anchor below the four-line header (Practice 9; #3354 review)
  
  briansrls
  and
  claude
  committed
  e215a3f