01 / Problem
This section is included in the source manuscript and the PDF build for review.
Paper 031 / Application 008 / June 13, 2026
A Mission-Grade Effects Runtime for Local-First Autonomous Systems
Making failure, authority, telemetry, and recovery explicit in JMP0X1B programs
01 / Abstract
Abstract
The JMP0X1B language direction emphasizes purity by default, actor awareness, explicit effects, and distributed mission-grade systems. This paper proposes an effects runtime for local-first autonomy. Effects such as telemetry, high-voltage control, actuator command, human override, cryptographic signing, degraded-network operation, and recovery are declared, supervised, and audited.
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),
\]
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.