Documentation
Technical reference for the K4 engine.
Constitution
Architecture rules, import boundaries, and the claim taxonomy. The law of the codebase.
Implementation Design
Phase-by-phase build plan: scaffold, hardening, figures, physical realization, and beyond.
Viewport & Figure Spec
Canonical viewport positions, C3 axis definition, and the three standard figures generated per run.
Artifact Schema
JSON structure for run artifacts: manifest, spec, drive, observables, claim, environment.
CLI Reference
Commands: k4 run, k4 inspect, k4 figures. Preset system and artifact management.
python -m k4_cli.run run basic-bz python -m k4_cli.run inspect <dir> python -m k4_cli.run figures <dir>
Frozen Core
182 consistency checks in k4_frozen/. Truth kernel (M, G, D matrices), field engine, and Biot-Savart implementation.
python -m k4_frozen.verify_all
Claims & Theorems
Claim taxonomy, 47 registered theorems across 6 tiers, anchor theorems, and the authoritative vs exploratory distinction.
Theory Mining
Independent verification oracle: S4 symmetry miner and candidate discovery engine. Cross-validated against the frozen core in tests.
python -m k4_theory --prove # proof chain python -m k4_theory --mine # symmetry miner python -m k4_theory --discover # candidates python -m k4_theory # all phases