Machine-checked Lean 4 proofs for "Minimal Topologies of Forward-Local Failure in AI Systems: The Hamiltonian Microscope" — hamiltonian-path as abstract ConstraintSystem instance (inheriting Sudoku-Microscope theorems) and Layer 2 silent-commit signature formalization with provider-agnostic well-definedness.

Deterministic systems that reduce compute, data transfer, and operational focused on reducing compute and operational overhead through efficient system design.

Machine-checked Lean 4 proofs for "Commitment Failure Under Local Decision-Making in AI Systems: The Sudoku Microscope" — local-global separation, catastrophic commitment foreclosure, forced-gate safety, and bucket sufficiency in abstract constraint systems.

Structure-aware image restoration and integrity validation via constraint-based convergence. Flags ambiguous or unrecoverable structural modifications.

Finite executable reference implementation of Constraint Bandwidth Dynamics in Constraint Generative Theory (CGT).