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
Add pre-rendered V1 preview video (1080p, ~82s)
claude
committed
Fix Codex review: scene import path + Act 2 sample-switch FadeOut
claude
committed
Refresh V1 preview video after Act 2 label fix
claude
committed
Vendor AxiomMath/axplorer (pristine, Apache-2.0) under axplorer-viz/vendor
claude
committed
Add trajectory-logging patch to vendored Axplorer (--log_trajectory)
claude
committed
V2 data pipeline: decode tokens, load real Axplorer logs, auto-fallback to V1
claude
committed
Patch: log n_vertices per JSONL line so trajectory logs are self-describing
claude
committed
V2: real Axplorer log + parameterize Act 3 off trajectory constants
claude
committed

Commits on May 13, 2026

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