Skip to content

FOLD into 5-regen-verify (one class-kill, not a sibling): floor-gate src/v1/*.dag PARSE via shape-(b) — a non-#[ignore] parse-only witness over every src/v1/*.dag (cheap half of full_dsl_compiles, no heavy dsl/ compile). Closes 'src/v1 §7 authority gated only OUTSIDE the floor': src/v1 not in witnes - #5693

Closed
briansrls wants to merge 2 commits into
mainfrom
session/still-badger-517
Closed

FOLD into 5-regen-verify (one class-kill, not a sibling): floor-gate src/v1/*.dag PARSE via shape-(b) — a non-#[ignore] parse-only witness over every src/v1/*.dag (cheap half of full_dsl_compiles, no heavy dsl/ compile). Closes 'src/v1 §7 authority gated only OUTSIDE the floor': src/v1 not in witnes#5693
briansrls wants to merge 2 commits into
mainfrom
session/still-badger-517

Commits

  1. Commits on Jun 23, 2026