verifier: L4 hollow-seam data-flow trace #14

New issue

Closed

opened 2026-07-18 22:05:15 +00:00 by crenshawdev · 1 comment

crenshawdev commented

2026-07-18 22:05:15 +00:00

(Migrated from github.com)

Tier: Improve Cadence (ranked #1) · genuine capability gap

The verifier stops at Wired plus a behavioral spot-check, which can pass a seam that is wired but has no data actually flowing through it. Add a data-flow trace to level 4 so "wired but hollow" gets caught.

Why: directly serves Cadence's own line that "silent failures live in the seams." It's the one real edge GSD-core's verifier had (its L4 data-flow trace).

Cost: a few lines in agents/cad-verifier.md. No new machinery.

Source: internal GSD comparison note, 2026-07-18.

**Tier:** Improve Cadence (ranked #1) · genuine capability gap The verifier stops at *Wired* plus a behavioral spot-check, which can pass a seam that is wired but has no data actually flowing through it. Add a data-flow trace to level 4 so "wired but hollow" gets caught. **Why:** directly serves Cadence's own line that "silent failures live in the seams." It's the one real edge GSD-core's verifier had (its L4 data-flow trace). **Cost:** a few lines in `agents/cad-verifier.md`. No new machinery. _Source: internal GSD comparison note, 2026-07-18._

john commented

2026-08-08 22:48:44 +00:00

Owner

Closed 2026-08-08, verified live against skills/cad-verifier-contract/SKILL.md:75-83. The data-flow trace shipped, at level 3 (Wired) rather than as a new level 4: "Reachable is not the same as connected, so ONE real value must also be traced end to end across each seam on the goal path: name where it enters, name where it lands... A seam called with a value nothing downstream consumes is wired to nothing, and a value that cannot be traced leaves the truth UNCERTAIN." That is the hollow-seam catch this issue asked for, on the same evidence terms level 4 uses.

Closed 2026-08-08, verified live against `skills/cad-verifier-contract/SKILL.md:75-83`. The data-flow trace shipped, at level 3 (Wired) rather than as a new level 4: "Reachable is not the same as connected, so ONE real value must also be traced end to end across each seam on the goal path: name where it enters, name where it lands... A seam called with a value nothing downstream consumes is wired to nothing, and a value that cannot be traced leaves the truth UNCERTAIN." That is the hollow-seam catch this issue asked for, on the same evidence terms level 4 uses.