Repository navigation

Add Manim visualization for Axplorer Turán C_4 problem solver - #2

Open

honicky wants to merge 10 commits into

claude/formalize-mercers-theorem-7R430from

claude/axplorer-turan-visualization-bgbt7

Commits on May 12, 2026

Add axplorer-viz: Manim explainer for Axplorer on the Turán C_4 problem (V1)
claude
committed
84edada
Add pre-rendered V1 preview video (1080p, ~82s)
claude
committed
7880014
Fix Codex review: scene import path + Act 2 sample-switch FadeOut
claude
committed
d1b1ced
Refresh V1 preview video after Act 2 label fix
claude
committed
0cb8716
Vendor AxiomMath/axplorer (pristine, Apache-2.0) under axplorer-viz/vendor
claude
committed
5d09eb9
Add trajectory-logging patch to vendored Axplorer (--log_trajectory)
claude
committed
770c6e9
V2 data pipeline: decode tokens, load real Axplorer logs, auto-fallback to V1
claude
committed
9b7de74
Patch: log n_vertices per JSONL line so trajectory logs are self-describing
claude
committed
48ae707
V2: real Axplorer log + parameterize Act 3 off trajectory constants
claude
committed
389ee03

Commits on May 13, 2026

V2: auto-discover logs/square_N<n>_run.jsonl (largest N wins); ready for N=30
claude
committed
5f1bcbf