Skip to content

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

T-25-core: reorder // Anchor below the four-line header (Practice 9; …

e215a3f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar