Add proof source visualization atlas - #67

Open

Amaury Chamayou (achamayou) wants to merge 22 commits into

microsoft:mainfrom

achamayou:achamayou/proof-viz

Commits on Jul 25, 2026

Add tile-backed proof engine and hash sources

Amaury Chamayou (achamayou)
and
Copilot
committed
fb02b08
Fix proof aliases and index bounds
Amaury Chamayou (achamayou)
committed
77c129a

Commits on Aug 3, 2026

Commits on Aug 4, 2026

Commits on Aug 5, 2026

Add proof source visualization atlas
Amaury Chamayou (achamayou)
committed
42e3ca7
Visualize consistency between arbitrary leaves
Amaury Chamayou (achamayou)
committed
8b87555
Simplify proof atlas scenario model
Amaury Chamayou (achamayou)
committed
74c94e7

Commits on Aug 6, 2026

Publish proof visualization on GitHub Pages
Amaury Chamayou (achamayou)
committed
f3560a1

Commits on Aug 7, 2026

Generate proof atlas in documentation CI
Amaury Chamayou (achamayou)
committed
6b8e7d9
Use full viewport for proof atlas
Amaury Chamayou (achamayou)
committed
b395e7d
Refine proof atlas data and styling
Amaury Chamayou (achamayou)
committed
47030a4
Extract proof atlas scenarios
Amaury Chamayou (achamayou)
committed
2a1640b
Format proof atlas generator
Amaury Chamayou (achamayou)
committed
447d11b
Merge branch 'main' into achamayou/proof-viz
Amaury Chamayou (achamayou)
authored
80c2983
Simplify proof atlas presentation
Amaury Chamayou (achamayou)
committed
d662622
Apply suggestions from code review

Amaury Chamayou (achamayou)
and
Copilot
authored
6d30474