01 / Problem
This section is included in the source manuscript and the PDF build for review.
PAPER-031 / June 13, 2026 / corrected September 18, 2026
A Mission-Grade Effects Runtime for Local-First Autonomous Systems
Making failure, authority, telemetry, and recovery explicit in JMP0X1B programs
01 / Abstract
Abstract
This paper proposes an effects-runtime reference architecture for local-first autonomy. Effect contracts would declare authority, timing, failure, retry, recovery, and safing behavior. No runtime, compiler enforcement, conformance suite, timing analysis, or fault-injection result is released.
02 / Frame
Research Frame
This landing page publishes the paper as an auditable source bundle. The PDF carries the full mathematical argument, claims, evidence plan, implementation surface, and release notes.
\[
\mathrm{Program}=\mathrm{PureCore}\; +\; \sum_i \mathrm{EffectHandler}_i\; +\; \mathrm{Supervisor}.
\]
\[
\mathrm{Risk}(e)=P(\mathrm{fail}\mid e)\cdot C(\mathrm{fail},e),
\]
This is only a rough expected-loss summary. Authority, deadlines, catastrophic hazards, common-cause failures, recovery, and safing are separate typed obligations.
03 / Structure
Paper Structure
The manuscript follows the JMP0X1B discipline: state the problem, formalize the model, name the claims, and publish enough source material for review and revision.
02 / Model
This section is included in the source manuscript and the PDF build for review.
03 / Claims
This section is included in the source manuscript and the PDF build for review.
04 / Evidence Plan
This section is included in the source manuscript and the PDF build for review.
04 / Files
Paper Files
The PDF is generated from the LaTeX source. Both are published for auditability and future revision.