proof-p1-g7-s3 zero-budget semantic-index
P1-G7-S3 proof suite
Proof set for Render PDF (Typst WASM bundle fails to load)
Behaviours 1 Tests 1 Graph 8 nodes · 15 edges Runner - CircleCI - Source wiki/content/stories/USER-STORIES.md
Test witnesses
These tests belong to the suite. Missing implementation links stay visible until a code-backed graph claim records them.
| Test | Status | Implementation | Open |
|---|---|---|---|
[solo applicant] see a clear error when the Typst WASM CDN is unreachable @cv/ui · playwright · stories/solo/p1-g7-s3-typst-wasm-fails-to-load.spec.ts | catalog | cv typst rendering graph-proven · graph-checks-edge cv ui cvl editor graph-proven · graph-checks-edge cvl preview error banner graph-proven · graph-checks-edge typst client loader graph-proven · graph-checks-edge | Test |