Skip to content
#

catastrophic-commitment

Star

Here are 2 public repositories matching this topic...

shawnjason / Hamiltonian-Microscope

Star 2

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.

theorem-proving artificial-intelligence language-models formal-verification ai-safety claude mathlib hamiltonian-path lean4 llm chatgpt constraint-systems cross-provider admissibility-dynamics catastrophic-commitment
  • Updated May 19, 2026
  • Lean

shawnjason / Sudoku-Microscope

Star 1

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.

theorem-proving sudoku language-models formal-verification ai-safety microscope mathlib artifical-intelligence lean4 llm constraint-systems admissibility-dynamics catastrophic-commitment
  • Updated May 19, 2026
  • Lean

Improve this page

Add a description, image, and links to the catastrophic-commitment topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the catastrophic-commitment topic, visit your repo's landing page and select "manage topics."

Learn more