Phase 1: make a green `make verify` mean something - #276

Merged

entelecheia merged 42 commits into

mainfrom

gsd/phase-1-trustworthy-verify-signal

Aug 22, 2026

Commits on Aug 22, 2026

docs(01): capture phase context
entelecheia
committed
ed2e684
docs(state): record phase 1 context session
entelecheia
committed
1a74921
docs(phase-1): add validation strategy
entelecheia
committed
9be0a66
docs(01-trustworthy-verify-signal): create phase plan
entelecheia
committed
01b5f0a
docs(01): create phase plan
entelecheia
committed
3e9c8a0
feat(01-01): pin Rust toolchain and add fmt-check gate to verify
entelecheia
committed
1cbefd8
docs(01-01): add plan summary for toolchain pin + fmt-check gate
entelecheia
committed
c278366
docs(01-01): complete rust toolchain pin plan
entelecheia
committed
c51cbb6
chore: ignore .gsd/ run-scoped GSD runtime state
entelecheia
committed
607575c
feat(01-02): clear mechanical clippy backlog via cargo clippy --fix
entelecheia
committed
3df2300
feat(01-02): fix remaining 39 clippy violations by hand, reach zero
entelecheia
committed
b36f3f8
feat(01-02): wire clippy into the make verify gate
entelecheia
committed
3860173
docs(01-02): complete rust clippy lint gate plan
entelecheia
committed
5429889
feat(01-03): capture playwright trace on first failure without a retry
entelecheia
committed
c8c9c59
fix(01-03): drop resolved skill-name-drift entry from the E2E flow ledger
entelecheia
committed
c82b093
test(01-03): TEMPORARY GATE-04 probe — deliberately failing e2e assertion
entelecheia
committed
e711b59
fix(01-02): gate macOS-only site_view and passkey helpers behind cfg
entelecheia
committed
489aa6b
Revert "test(01-03): TEMPORARY GATE-04 probe — deliberately failing e2e assertion"
entelecheia
committed
71931f3
docs(01-03): complete CI trace capture and truthful e2e ledger plan
entelecheia
committed
ce86ab8
feat(01-04): add @types/node, drop deprecated dompurify types stub
entelecheia
committed
1f9970f
feat(01-04): add tsconfig.e2e.json and fix e2e's real type errors, gate off
entelecheia
committed
1a30a0a
feat(01-04): reference tsconfig.e2e.json in the solution file, flip GATE-03
entelecheia
committed
31178fd
docs(01-04): complete e2e typecheck coverage and dompurify cleanup plan
entelecheia
committed
23d6e81
docs(01-04): update state, roadmap, and requirements for plan 01-04
entelecheia
committed
96d80e8
feat(01-05): create tsconfig.scripts.json unreferenced, inventory scripts/ errors
entelecheia
committed
a484770
fix(01-05): drive scripts/ checkJs errors to zero with type-only fixes
entelecheia
committed
521734d
feat(01-05): reference tsconfig.scripts.json in the solution file, flip GATE-03
entelecheia
committed
09bca1e
docs(01-05): complete scripts/ typecheck coverage plan
entelecheia
committed
714395a
feat(01-06): install ESLint 10 flat config with the D-02 four-rule set
entelecheia
committed
cf14a79
fix(01-06): clear src/App.tsx to zero ESLint errors and warnings
entelecheia
committed
e68a63b
docs(01-06): complete ESLint setup + App.tsx backlog clear plan
entelecheia
committed
c9aa9d2
fix(01-07): clear remaining src/ ESLint backlog outside App.tsx
entelecheia
committed
9ad161e
feat(01-07): wire make lint into verify, flip GATE-02
entelecheia
committed
1998736
docs(01-07): complete ESLint backlog + verify gate flip plan
entelecheia
committed
fcb647b
fix(01-03): narrow GATE-04 trace capture to cut per-test overhead
entelecheia
committed
a064994
test(01-03): TEMPORARY GATE-04 re-proof probe
entelecheia
committed
986a8ce
Revert "test(01-03): TEMPORARY GATE-04 re-proof probe"
entelecheia
committed
ed05764
docs(01-03): correct the trace-contents claim in the GATE-04 comment
entelecheia
committed
abf575d
docs(01): resolve the GATE-04 re-proof verification item
entelecheia
committed
ad1c104
docs(01): tighten two phase claims and hand the IPC blind spot to Phase 3
entelecheia
committed
e0b7994
docs(01): document the expanded verification contract in README
entelecheia
committed
361e70d
fix(01-02): keep the macOS pure-logic tests running in Linux CI
entelecheia
committed
f188e7e