01 / Problem
This section is included in the source manuscript and the PDF build for review.
PAPER-029 / June 13, 2026 / corrected September 18, 2026
SwarmAssure: Typed Digital-Pheromone Coordination for Field and Orbital Robots
A JMP0X1B application of actor-aware effects to resilient autonomous swarms
01 / Abstract
Abstract
SwarmAssure is a reference architecture for typed digital-pheromone coordination under partial connectivity. It requires explicit stale-state, partition, spoofing, authorization, and Byzantine semantics. No protocol implementation, proof, simulation result, or field deployment 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.
\[
\phi_i(x,t+\Delta t)=\lambda_i\phi_i(x,t)+u_i(x,t)-h_i(x,t),\qquad 0\le \lambda_i\le 1.
\]
\[
a^*=\arg\max_a U(a\mid \phi,\mathrm{mission}) \quad \mathrm{s.t.}\quad G_{\mathrm{hazard}}(a)=\mathrm{true}.
\]
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.