Skip to content
#

inconsistency-accumulation

Star

Here is 1 public repository matching this topic...

shawnjason / Inconsistency-Accumulation

Star 1

Machine-checked Lean 4 proofs for "Inconsistency Accumulation in Forward-Local Sequential Policies." Quantitative lower bound E[I_N] >= N/|U| with measure-theoretic verification via two independent proof paths, plus Proposition 1 summary sufficiency and Section 7 arithmetic witnesses.

theorem-proving lower-bounds formal-verification ai-safety mathlib measure-theory lean4 admissibility-dynamics inconsistency-accumulation delayed-constraints
  • Updated May 6, 2026
  • Lean

Improve this page

Add a description, image, and links to the inconsistency-accumulation 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 inconsistency-accumulation topic, visit your repo's landing page and select "manage topics."

Learn more