proof-p6-g7-s1 zero-budget semantic-index
P6-G7-S1 proof suite
Proof set for User renders PDF on laptop, opens phone — same Typst source produces matching layout
Behaviours 1 Tests 1 Graph 7 nodes · 12 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 |
|---|---|---|---|
[family collaborator] render the same Typst source to matching layouts across two browser contexts @cv/ui · playwright · stories/device/p6-g7-s1-pdf-render-cross-device.spec.ts | catalog | cv typst rendering graph-proven · graph-checks-edge node to typst serializer graph-proven · graph-checks-edge typst worker bridge graph-proven · graph-checks-edge | Test |