Repository navigation

Explain verified algorithms with shared visuals and static PDF dossiers - #27

Merged

xtraid merged 21 commits into

mainfrom

feature/visual-documentation-v2

Sep 12, 2026

Commits on Sep 5, 2026

Commits on Sep 6, 2026

Explain Yang-Zhang routing and tile compatibility
xtraid
committed
1029c5c
Bound large construction signal summaries
xtraid
committed
0dfa98f
Fit summarized construction labels
xtraid
committed
03348d0

Commits on Sep 7, 2026

Commits on Sep 8, 2026

Preserve non-SAT oracle applicability
xtraid
committed
75c0515

Commits on Sep 9, 2026

Commits on Sep 10, 2026

Render the home witness preview at native HiDPI resolution
xtraid
committed
1a90a3a
Show recorded oracle timings in their PDF sections
xtraid
committed
bfcd000

Commits on Sep 11, 2026

Keep PDF figures and captions on the same page
xtraid
committed
f728bbd
Freeze the verified T98 presentation layer
xtraid
committed
b2370ad