Program

Loopzero is a research program developing theorem-grounded warning criteria for collapse in recursive feedback systems. The work pairs a formal component, machine-checked in Lean 4, with empirical evaluation of corresponding detection criteria under matched alert-budget protocols.

The program is led by David Mullett, an independent researcher. Selected Lean artifacts and public research materials will be linked here on publication.

Status

• A theorem-grounded warning criterion for collapse in recursive systems Preprint in preparation · formal and domain review in progress
• USPTO Provisional Application 64/042,661 Filed April 2026 · Loopzero, Inc.

Contact