{
  "schema": "HORTRAME.research-ledger/2",
  "canonical": "/research/publication-manifest.json",
  "updated": "2026-10-16",
  "authority": "Current paper and simulation locations plus declared relationships; not scientific certification or operational permission.",
  "naming": "<YYMMDDHHMM>-<short-name>",
  "papers": [
    {
      "id": "2609030143-priority-state",
      "code": "2609030143",
      "short_name": "priority-state",
      "source_package_id": "2609030143-priority-state-dynamics",
      "title": "Priority-State Dynamics in Open Multi-Agent Systems: Dynamic Membership and History-Dependent Consensus Endpoints",
      "author": "Guillaume Bolduc",
      "version": "v07",
      "date": "2026-09-03",
      "folder": "/research/papers/2609030143-priority-state/",
      "pdf": "/research/papers/2609030143-priority-state/paper.pdf",
      "markdown": "/research/papers/2609030143-priority-state/paper.md",
      "pdf_sha256": "2e0404096c330249031d50952ac1f9dc244896deedae4a4a6bc52b7bd5ba8540",
      "pdf_bytes": 3346986,
      "pages": 11,
      "markdown_sha256": "d52789a14841c108bce9811c57e56fdf4f1b7d2a4d20bfa1808d7c8134c890d7",
      "markdown_bytes": 62156,
      "certified_source_sha256": "4a9059263896cc7896af28cf0f1842b923e17a19c3f94700e947172e14a210e5",
      "certificate_sha256": "ca263782aaa8d4b2404d3dafc5625a039d80282a0f0b025c29ef84992d0131fb",
      "review_status": "current dated filing",
      "doi": "10.5281/zenodo.23204324",
      "zenodo": "https://doi.org/10.5281/zenodo.23204324",
      "citation": "G. Bolduc, \"Priority-State Dynamics in Open Multi-Agent Systems: Dynamic Membership and History-Dependent Consensus Endpoints,\" Zenodo, preprint, version v07, Sep. 3, 2026, doi: 10.5281/zenodo.23204324.",
      "public_revision": "2026-10-09-provider-neutral-attribution",
      "scientific_content_modified": false,
      "publication_type": "preprint",
      "keywords": [
        "priority consensus",
        "open multi-agent systems",
        "membership changes",
        "stochastic matrices",
        "simplex",
        "multi-objective optimization"
      ],
      "abstract": "We characterize the mean priority returned by a single-agent arrival--mixing--departure history. Each row is a probability vector over the active objectives, so removing an agent also removes a coordinate and conditions the surviving rows. For arbitrary nonnegative row-stochastic mixing, we derive the returned mean directly from the incumbent state, retention masses and mixing matrix. Holding those inputs fixed gives the unique restoring newcomer conditional priority when its influence is positive, an exact strict-positivity feasibility test, and a separate zero-influence case. Under equal retention and doubly stochastic mixing, restoration requires a weighted average of incumbent rows; for one unweighted consensus update, this is the newcomer-neighbor row mean. The general result is an offline input-level characterization, not a distributed arrival protocol. An exact counterexample excludes unrestricted endpoint invariance. Standard final-epoch average consensus supplies the limiting-priority interpretation; no new physical-rendezvous or persistently open convergence theorem is claimed.",
      "abstract_source": "/research/papers/2609030143-priority-state/paper.md"
    },
    {
      "id": "2609110143-spectral-contraction",
      "code": "2609110143",
      "short_name": "spectral-contraction",
      "source_package_id": "2609110143-admissibility-mean-spectral-contraction",
      "title": "Admissibility, Mean, and Spectral Contraction of the Fixed-Epoch Averaging Matrix",
      "author": "Guillaume Bolduc",
      "version": "v01",
      "date": "2026-09-11",
      "folder": "/research/papers/2609110143-spectral-contraction/",
      "pdf": "/research/papers/2609110143-spectral-contraction/paper.pdf",
      "markdown": "/research/papers/2609110143-spectral-contraction/paper.md",
      "pdf_sha256": "4f4165b758e970b6fc394fe435f8ab2fca2e3f7cb89b39b2c475ca8055d3a460",
      "pdf_bytes": 1426743,
      "pages": 3,
      "markdown_sha256": "a507871113cdb8896673a1c0501d6fa2918973d6182c518a1b4c5bb8f2aef455",
      "markdown_bytes": 15371,
      "certified_source_sha256": "569a2707d023505d86bbdd0aa60446fd71dbbac4c634e80cdf79ff31676943c6",
      "certificate_sha256": "aa554d153298598e2d9578183a09d926e521d688d0864a9b711d7c67c0967d1c",
      "review_status": "current companion note",
      "doi": "10.5281/zenodo.23204326",
      "zenodo": "https://doi.org/10.5281/zenodo.23204326",
      "citation": "G. Bolduc, \"Admissibility, Mean, and Spectral Contraction of the Fixed-Epoch Averaging Matrix,\" Zenodo, preprint, version v01, Sep. 11, 2026, doi: 10.5281/zenodo.23204326.",
      "public_revision": "2026-10-09-provider-neutral-attribution",
      "scientific_content_modified": false,
      "publication_type": "preprint",
      "keywords": [
        "average consensus",
        "graph Laplacian",
        "spectral contraction",
        "stochastic matrix",
        "simplex invariance"
      ],
      "abstract": "This note isolates the fixed-epoch averaging result used as Lemma~2.1 of *Priority-State Dynamics in Open Multi-Agent Systems: Dynamic Membership and History-Dependent Consensus Endpoints*. For a connected simple undirected graph with Laplacian $L$, maximum degree $d_{\\max}$, and gain $0<c<d_{\\max}^{-1}$, the matrix $P=I-cL$ is nonnegative, symmetric, doubly stochastic, and has positive diagonal. It preserves the nonnegative and strictly positive row-stochastic state spaces and their population mean. On the disagreement subspace it contracts geometrically in Frobenius norm with factor $\\rho=\\max_{j\\ge 2}|1-c\\lambda_j(L)|<1$. We give a self-contained proof, identify the exact spectral-contraction range $0<c<2/\\lambda_n(L)$ when stochasticity is not required, show why the strict governing gain bound cannot be replaced uniformly by $c\\le d_{\\max}^{-1}$, exhibit the attainable case $\\rho=0$, and separate positive-state invariance from positive-diagonal and contraction requirements. These statements concern one fixed connected averaging epoch only; they do not establish results for delayed, asynchronous, open-membership, or distributed membership-transition dynamics.",
      "abstract_source": "/research/papers/2609110143-spectral-contraction/paper.md"
    },
    {
      "id": "2610030143-admission-shield",
      "code": "2610030143",
      "short_name": "admission-shield",
      "source_package_id": "2610030143-live-admission-shield",
      "title": "A Common-Mode Shield for Live Admission in Delayed Open Priority Networks",
      "author": "Guillaume Bolduc",
      "version": "v01",
      "date": "2026-10-03",
      "folder": "/research/papers/2610030143-admission-shield/",
      "pdf": "/research/papers/2610030143-admission-shield/paper.pdf",
      "markdown": "/research/papers/2610030143-admission-shield/paper.md",
      "pdf_sha256": "698eacc1b253c2885360d960dfa0e55b8eea552104911c8a0d09050dbfea3f0d",
      "pdf_bytes": 115809,
      "pages": 7,
      "markdown_sha256": "29325235640728e8a7d742ca961d4049c2eae1f12500d161d0e19485b35fe5a4",
      "markdown_bytes": 29421,
      "certified_source_sha256": "83be4bab7c73e67d12a130a17201c0b616ab89ecfbc7ae1a7c2eb622b7dd8341",
      "certificate_sha256": "afaac74b50ed774339524c9ae432f35600743f0216ff4376210c0068b873542a",
      "review_status": "certified frozen source frame; internal mathematical CLEAN STOP",
      "doi": "10.5281/zenodo.23202030",
      "zenodo": "https://doi.org/10.5281/zenodo.23202030",
      "citation": "G. Bolduc, \"A Common-Mode Shield for Live Admission in Delayed Open Priority Networks,\" Zenodo, preprint, version v01, Oct. 3, 2026, doi: 10.5281/zenodo.23202030.",
      "publication_type": "preprint",
      "keywords": [
        "live admission",
        "common-mode shielding",
        "delayed priority networks",
        "coherent history",
        "formation control"
      ],
      "abstract": "A standard live admission can pull every incumbent by a distance proportional to a newcomer's initial separation, despite physical continuity at the event. We give a separate admission law that projects the complete residual table onto incumbent-centered and newcomer-tracking components. The newcomer's physical residual cancels exactly from incumbent feedback while its priority row participates in the actual delayed network. Under the parent paper's coherent-history and small-age assumptions, incumbent common translation obeys its pre-admission free-mode equation, the newcomer approaches the prescribed offset geometry, and a later history-gated switch recovers the ordinary full-cohort dynamics. The incumbent displacement and final common-mode seam have bounds independent of the newcomer's initial absolute distance, although capture time and newcomer actuation do not. We retain the parent disturbance-recovery theorem and the existing membership and delayed-priority results as dependencies, rather than reproving them.",
      "abstract_source": "/research/papers/2610030143-admission-shield/paper.md"
    },
    {
      "id": "2610030143-delayed-restoration",
      "code": "2610030143",
      "short_name": "delayed-restoration",
      "source_package_id": "2610030143-delayed-priority-restoration",
      "title": "Exact Restoration and Historical Memory in Delayed Priority Networks with Three-Dimensional Motion",
      "author": "Guillaume Bolduc",
      "version": "v0.6",
      "date": "2026-10-03",
      "folder": "/research/papers/2610030143-delayed-restoration/",
      "pdf": "/research/papers/2610030143-delayed-restoration/paper.pdf",
      "markdown": "/research/papers/2610030143-delayed-restoration/paper.md",
      "pdf_sha256": "8cd68abb9262d4dbc0727ac9bae67364dcaa27bb77972a09c787e0fff71973f0",
      "pdf_bytes": 405295,
      "pages": 13,
      "markdown_sha256": "65afd409ae6302ee6c20d1c435797d9de2f82389a4ef37f0f27256588ab51df2",
      "markdown_bytes": 78666,
      "certified_source_sha256": "65afd409ae6302ee6c20d1c435797d9de2f82389a4ef37f0f27256588ab51df2",
      "certificate_sha256": "44ae2498e972bb95bf55ea7a69549cb604632735b2c5065d5d5b1c623a777e7b",
      "review_status": "certified frozen source frame; internal mathematical CLEAN STOP",
      "doi": "10.5281/zenodo.23202024",
      "zenodo": "https://doi.org/10.5281/zenodo.23202024",
      "citation": "G. Bolduc, \"Exact Restoration and Historical Memory in Delayed Priority Networks with Three-Dimensional Motion,\" Zenodo, preprint, version v0.6, Oct. 3, 2026, doi: 10.5281/zenodo.23202024.",
      "publication_type": "preprint",
      "keywords": [
        "priority consensus",
        "communication delays",
        "historical restoration",
        "dynamic membership",
        "rendezvous",
        "formation control"
      ],
      "abstract": "We study restoration of probability-valued priorities after finite changes in network membership. For fixed uniform or unequal directional communication delays, the endpoint depends on the complete initialized history. We derive the exact returned endpoint after one admission, finite mixing and proportional departure. Priority restoration is an affine equation in the admitted conditional preference; restoration of a three-dimensional objective centre is its projection through the anchor matrix. A causal packet protocol preserves origin-dependent historical transport, uses reception ordinals to order simultaneous readiness, and yields bounded-age stochastic dynamics after finite membership changes. Under bounded joint connectivity and positive current self-weights, those dynamics converge with an explicit sufficient contraction bound. Restoration over unknown admissible futures is characterized by finitely many endpoint functionals; a finite polynomial characterization additionally requires positive-polynomial initial and bootstrap data. We prove historical survivor-query memory bounds in distinct smooth-state and deterministic finite-bit models. A reference service retaining unmixed rows provides eventual restoration under a modified update law. Finally, a double-integrator controller converts priority convergence into point rendezvous or separated formation convergence. A staged finite-pool construction parks retired bodies in reserved finite-depth berths, while preserving all-body separation and speed and acceleration bounds. All conclusions retain their stated information, timing, storage and geometric assumptions.",
      "abstract_source": "/research/papers/2610030143-delayed-restoration/paper.md"
    },
    {
      "id": "2610030143-history-rank",
      "code": "2610030143",
      "short_name": "history-rank",
      "source_package_id": "2610030143-future-functional-rank",
      "title": "Complete Historical Distinguishability in Two-Agent Delayed Asynchronous Consensus",
      "author": "Guillaume Bolduc",
      "version": "v02",
      "date": "2026-10-03",
      "folder": "/research/papers/2610030143-history-rank/",
      "pdf": "/research/papers/2610030143-history-rank/paper.pdf",
      "markdown": "/research/papers/2610030143-history-rank/paper.md",
      "pdf_sha256": "4f3be9fa7a7d7cecfa7976c8b3c0cdf2ff2aabec6cdd2240b658ab1f2ef051ea",
      "pdf_bytes": 126034,
      "pages": 8,
      "markdown_sha256": "0fd1e57a704a2957d15c0b0edcfd0093a8e4241fdad20a6aaa62a112013dd9cf",
      "markdown_bytes": 36178,
      "certified_source_sha256": "5923628cefb1eb3e5a35c73794f83bc0bfe0c17f303d821f2824c4f09dc5ec17",
      "certificate_sha256": "06fdc3c02d11761f2dca30fced4e7931ef6f67bcc4e7c8daf091143b01bf8b19",
      "review_status": "certified frozen source frame; source-bound mathematical CLEAN STOP",
      "doi": "10.5281/zenodo.23252608",
      "zenodo": "https://doi.org/10.5281/zenodo.23252608",
      "citation": "G. Bolduc, \"Complete Historical Distinguishability in Two-Agent Delayed Asynchronous Consensus,\" Zenodo, preprint, version v02, Oct. 3, 2026, doi: 10.5281/zenodo.23252608.",
      "publication_type": "preprint",
      "keywords": [
        "asynchronous consensus",
        "communication delay",
        "historical state",
        "observability",
        "restoration"
      ],
      "abstract": "We study a scalar two-agent asynchronous averaging process with bounded discrete communication age. At each primitive action, one agent replaces its current value by a fixed convex combination of its own current value and a delayed value of the other agent, while the other agent holds. A maximum age \\(D\\) gives an augmented history of dimension \\(M=2(D+1)\\). Every admissible infinite future that reaches consensus induces a linear functional on that history. Finite-word observability and minimal realization are established switched-system concepts. Here the output family consists of asymptotic endpoints; its static row-space interpretation is elementary and is not claimed as new. The contribution is a protocol-specific rank theorem. For every \\(D\\ge 0\\) and every self-weight \\(\\theta\\in(0,1)\\), we construct \\(2(D+1)\\) admissible period-two futures whose consensus endpoint functionals are linearly independent. The future-functional span is therefore the complete dual of the augmented history space. Consequently, no nontrivial linear historical compression can reproduce the consensus endpoint for every admissible future. The same scalar lower bound holds for continuously differentiable encoders and decoders on a nonempty open set of independently initialized histories. For complete probability rows with \\(m\\ge2\\) objective coordinates, the corresponding intrinsic initialized-history dimension is \\(M(m-1)\\). These counts do not automatically apply to histories constrained by a preceding lawful execution. Finally, equality of consensus endpoints under every admissible future is equivalent to equality of the complete augmented histories; an affine intervention can therefore achieve schedule-robust restoration only by exactly repairing the full history. Exact rational computations corroborate the witness construction for delays through 12 and six rational self-weights. The result concerns the declared two-agent recurrence. It does not characterize larger graphs, packet availability, nonlinear discontinuous encodings, hardware, or publication priority.",
      "abstract_source": "/research/papers/2610030143-history-rank/paper.md"
    },
    {
      "id": "2610030143-roster-tracking",
      "code": "2610030143",
      "short_name": "roster-tracking",
      "source_package_id": "2610030143-sampled-tracking",
      "title": "Sampled Tracking with a Changing Roster",
      "author": "Guillaume Bolduc",
      "version": "v0.6",
      "date": "2026-10-03",
      "folder": "/research/papers/2610030143-roster-tracking/",
      "pdf": "/research/papers/2610030143-roster-tracking/paper.pdf",
      "markdown": "/research/papers/2610030143-roster-tracking/paper.md",
      "pdf_sha256": "5b4b0c148f5f2cbb35bbe927b2d0e10a2d96a82e4c8f22579fd1321e1a1dd3e1",
      "pdf_bytes": 191457,
      "pages": 23,
      "markdown_sha256": "234ed73f9eb966f5ac7e53039e7109df66acd156893b3c47e4cb689e1374c30a",
      "markdown_bytes": 84141,
      "certified_source_sha256": "f4cab13f9f0036193c9a6dc8933e97bea6cbc50f70b359b80b5435449d13d844",
      "certificate_sha256": "c3df855625348ce221abe8c824d9fb8f3b95ce9df1107141759424bd2f9fc166",
      "review_status": "certified frozen source frame; matching PDF compiled from the certified v0.6 source",
      "doi": "10.5281/zenodo.23252610",
      "zenodo": "https://doi.org/10.5281/zenodo.23252610",
      "citation": "G. Bolduc, \"Sampled Tracking with a Changing Roster,\" Zenodo, preprint, version v0.6, Oct. 3, 2026, doi: 10.5281/zenodo.23252610.",
      "publication_type": "preprint",
      "keywords": [
        "sampled tracking",
        "changing membership",
        "double integrators",
        "event budgets",
        "translation latch",
        "bounded storage"
      ],
      "abstract": "We study a sampled reference controller on a finite set of nominal double integrators with changing logical participation. A correct reference service, coherent delayed physical tables, a common clock, and a constrained translation latch are specified as resources. An error estimate accounts for disturbance integrals, goal changes, admission state, snapshot age, and projection error. A weighted event budget gives a tracking bound without requiring participation eventually to become fixed. Separate convex-cell assumptions give continuous separation, speed, and acceleration bounds for all bodies, including inactive bodies. Under a supplied finite service discipline, a delayed-observation gate permits repeated logical reinitialization and readmission of the same bodies without accumulating bodies or workspace. Uniform operational storage additionally requires bounded message production, frame sizes, lifetime, and serviced queues. A convergent quiet tail gives eventual latch freeze under the stated contraction condition. These are conditional results for fixed task coordinates, reserved operating cells, exact local feedback, and correct services; numerical and physical realization remain separate questions.",
      "abstract_source": "/research/papers/2610030143-roster-tracking/paper.md"
    },
    {
      "id": "2610040143-conditional-queries",
      "code": "2610040143",
      "short_name": "conditional-queries",
      "source_package_id": "2610040143-conditional-queries",
      "title": "Conditional Queries with Finite Historical States and Periodic Replacement",
      "author": "Guillaume Bolduc",
      "version": "v09 correction 01",
      "date": "2026-10-04",
      "folder": "/research/papers/2610040143-conditional-queries/",
      "pdf": "/research/papers/2610040143-conditional-queries/paper.pdf",
      "markdown": "/research/papers/2610040143-conditional-queries/paper.md",
      "pdf_sha256": "efd6cf0bc123e1be3b801a95dec5e713a273451d401cdd013be70ceab070aa7c",
      "pdf_bytes": 1570514,
      "pages": 10,
      "markdown_sha256": "daca9233ac454a3c8251295a415a6983f09d2bcbb708d783e995ec12bcbb5e6d",
      "markdown_bytes": 58574,
      "certified_source_sha256": "6a9513f62d35186dd6fbed91a63645beb9ec0e370b8b23eda101beb7a72951ca",
      "certificate_sha256": "ba5438617d6fdba5152ea57e859bf485ec90815c11901182e1c5b20a1fdbb08d",
      "review_status": "certified frozen source frame; ARP v1.3 CLEAN STOP with one minor editorial issue",
      "doi": "10.5281/zenodo.23202022",
      "zenodo": "https://doi.org/10.5281/zenodo.23202022",
      "citation": "G. Bolduc, \"Conditional Queries with Finite Historical States and Periodic Replacement,\" Zenodo, preprint, version v09 correction 01, Oct. 4, 2026, doi: 10.5281/zenodo.23202022.",
      "public_revision": "2026-10-09-provider-neutral-attribution",
      "scientific_content_modified": false,
      "publication_type": "preprint",
      "keywords": [
        "information constraints",
        "membership changes",
        "communication delay",
        "deterministic minimax estimation"
      ],
      "abstract": "We study a deterministic conditional-query problem in which a sampled index is encoded before a later query, the current index may change, and every surviving input-dependent distinction belongs to a finite historical alphabet. On a logarithmic probability grid with \\(P\\) points, displacement bound \\(A\\), spacing \\(h\\), and at most \\(K\\) historical states, we obtain the exact worst Euclidean query error \\(\\tanh(hD_*/4)/\\sqrt2\\). The optimal expanded-fiber diameter is \\(D_*=P-1\\) when \\(2A\\ge P-1\\), and \\(D_*=2A+\\lceil(P-2A)/K\\rceil-1\\) otherwise. Consecutive encoder blocks and query-dependent midpoint responses attain the bound. Rational geometric parameters give a bit-machine implementation with separately counted workspace and output-precision error. A two-slot periodic construction retains bounded-age codes under correct fresh acquisition, bounded acknowledged service and initialized-only scoring. After a finite attack on stored symbols or forward payload fields, clean overwrite restores current-task accuracy while acquisition, executable encoder/decoder and control remain correct. A separate one-hop replicated crash-erasure model admits an exact period-endpoint law under all-copy lifetime, full-drain and no-side-channel contracts. Quadratic objectives transfer the query law to optimizer-estimation error. A normalized family expresses the conditional error in terms of retained mass. The results have distinct information, timing and fault assumptions; they do not establish a general network resource optimum or Byzantine source/control recovery.",
      "abstract_source": "/research/papers/2610040143-conditional-queries/paper.md"
    },
    {
      "id": "2610060143-disturbance-recovery",
      "code": "2610060143",
      "short_name": "disturbance-recovery",
      "source_package_id": "2610060143-translation-equivariant-disturbance-recovery",
      "title": "Translation-Equivariant Disturbance Recovery in Delayed Open Priority Networks",
      "author": "Guillaume Bolduc",
      "version": "v05",
      "date": "2026-10-06",
      "folder": "/research/papers/2610060143-disturbance-recovery/",
      "pdf": "/research/papers/2610060143-disturbance-recovery/paper.pdf",
      "markdown": "/research/papers/2610060143-disturbance-recovery/paper.md",
      "pdf_sha256": "bf5abdde72b808d0ecd9bc3fb49ad6b413f673631035731e89cf664ef0e0abc2",
      "pdf_bytes": 1233939,
      "pages": 9,
      "markdown_sha256": "7ed5a54cb45177b7ab4c533efd0505f5c93c912a56f21dffd5637696c12131b9",
      "markdown_bytes": 53016,
      "certified_source_sha256": "165c9b5dda01ae9573a2af28f0b9bd78ec380bce653e594cc4a3ba4662260773",
      "certificate_sha256": "5c31e0b94de3fc16ca03e86029a11bb6f11fb0fa1e0e1153471a63708b62070c",
      "review_status": "certified frozen source frame; internal mathematical CLEAN STOP",
      "doi": "10.5281/zenodo.23202026",
      "zenodo": "https://doi.org/10.5281/zenodo.23202026",
      "citation": "G. Bolduc, \"Translation-Equivariant Disturbance Recovery in Delayed Open Priority Networks,\" Zenodo, preprint, version v05, Oct. 6, 2026, doi: 10.5281/zenodo.23202026.",
      "public_revision": "2026-10-09-provider-neutral-attribution",
      "scientific_content_modified": false,
      "publication_type": "preprint",
      "keywords": [
        "formation control",
        "communication delay",
        "consensus",
        "disturbance recovery",
        "open multi-agent systems"
      ],
      "abstract": "We study recovery of relative three-dimensional geometry without an absolute restoring force on the formation translation. A least-squares translation removes the mean target error. For equal-gain double integrators, the resulting common mode is a damped integrator and the relative modes are stable second-order systems. A causal realization uses complete same-time origin snapshots, a shared commit clock and a current local residual innovation. Its estimation errors sum to zero exactly, although individual estimates are stale. A sufficient small-age condition proves boundedness and recovery for the coupled sampled feedback under actual communication contracts, including directional and state-dependent delays. An actual delayed priority process supplies convergent inputs under bounded use ages and joint connectivity of consumed influence. Finite cohort changes retain surviving physical and estimator states and preserve departed bodies under a separate law. Shared anchor tables cancel from terminal relative shape; fixed local profile tables yield an explicit priority-dependent shape and a nonconstancy criterion. Finite-variation velocity impulses, conditional active-body tubes and an exact nominal event map are treated separately. Finite checks illustrate the formulas. No rigid-body implementation, continuous trajectory safety or novelty claim is inferred from them.",
      "abstract_source": "/research/papers/2610060143-disturbance-recovery/paper.md"
    },
    {
      "id": "2610060143-translation-latch",
      "code": "2610060143",
      "short_name": "translation-latch",
      "source_package_id": "2610060143-common-translation-latch",
      "title": "A Sampled Common-Translation Latch for Nominal Double Integrators",
      "author": "Guillaume Bolduc",
      "version": "v01",
      "date": "2026-10-06",
      "folder": "/research/papers/2610060143-translation-latch/",
      "pdf": "/research/papers/2610060143-translation-latch/paper.pdf",
      "markdown": "/research/papers/2610060143-translation-latch/paper.md",
      "pdf_sha256": "e2036235589350d2f212ac81da717583a04ec3f48a4f84400b452539f49cc381",
      "pdf_bytes": 86188,
      "pages": 4,
      "markdown_sha256": "3d6ef3bf222eb91a647a6a1fbf5af343747ff8f8a278d0f9d3cee97ff083a991",
      "markdown_bytes": 22986,
      "certified_source_sha256": "f23cb924b2e499e8163a30757ae48b50feabc6c7f213ab1cce18e9244b0fe61d",
      "certificate_sha256": "c70bad3cbcb2666fa4dd17415672cf4b8a89e5955d831a98ef0d17d787d592a2",
      "review_status": "certified frozen source frame; internal mathematical CLEAN STOP",
      "doi": "10.5281/zenodo.23202028",
      "zenodo": "https://doi.org/10.5281/zenodo.23202028",
      "citation": "G. Bolduc, \"A Sampled Common-Translation Latch for Nominal Double Integrators,\" Zenodo, preprint, version v01, Oct. 6, 2026, doi: 10.5281/zenodo.23202028.",
      "publication_type": "preprint",
      "keywords": [
        "formation control",
        "sampled feedback",
        "common translation",
        "hybrid systems",
        "disturbance recovery"
      ],
      "abstract": "We study a sampled common-translation latch coupled to equal-gain nominal double integrators. The sampled branches follow the recovery callbacks in the Flying Cats version cited by the parent article: settled bodies are skipped, recomputation precedes a possible priority update, and the returning branch holds the translation while its timer advances. For a fixed finite cohort, convergent goals and vanishing disturbance integrals on fixed sampling cells, exact nominal flow and every sequence of holds or recomputations produce vanishing tracking error and velocity. The source-bound guard consequently stops recomputing after finitely many samples. The endpoint contains the actual frozen translation. We prove augmented translation equivariance, well-posedness, a last-recomputation error formula, and separate timer, impulse and bounded-residual statements. Complete-cohort information and a common clock are explicit resources. The result does not establish a rigid-body, airflow or floating-point realization.",
      "abstract_source": "/research/papers/2610060143-translation-latch/paper.md"
    },
    {
      "id": "2610070414-common-mode-shield",
      "code": "2610070414",
      "short_name": "common-mode-shield",
      "source_package_id": "2610070414-common-mode-shielding",
      "title": "Common-Mode Shielding During Finite Population Changes",
      "author": "Guillaume Bolduc",
      "version": "v0.3",
      "date": "2026-10-07",
      "folder": "/research/papers/2610070414-common-mode-shield/",
      "pdf": "/research/papers/2610070414-common-mode-shield/paper.pdf",
      "markdown": "/research/papers/2610070414-common-mode-shield/paper.md",
      "pdf_sha256": "0b73c5856dd875024549a3339766fe3d52401c9062ae04aba61464a7e8a01d67",
      "pdf_bytes": 127385,
      "pages": 7,
      "markdown_sha256": "a87b962db3c8edd711657623e81426c4be515a1e806ffac0c37cfef2d1b29c97",
      "markdown_bytes": 39930,
      "certified_source_sha256": "df6a1bf4ea8e94b90e1754781e0b6fb31c6b6f3c812085b4ad5d822024b2e4fe",
      "certificate_sha256": "bbbf2b671953acaa2a269d30b9404462496fb1afa94d222f622e4048836f73eb",
      "review_status": "certified revised frozen source frame; mathematical CLEAN STOP",
      "doi": "10.5281/zenodo.23252612",
      "zenodo": "https://doi.org/10.5281/zenodo.23252612",
      "citation": "G. Bolduc, \"Common-Mode Shielding During Finite Population Changes,\" Zenodo, preprint, version v0.3, Oct. 7, 2026, doi: 10.5281/zenodo.23252612.",
      "publication_type": "preprint",
      "keywords": [
        "formation control",
        "delayed feedback",
        "population changes",
        "staged admission"
      ],
      "abstract": "We study a nominal admission controller with a nonempty protected cohort and finitely many shielded newcomers. Complete coherent residual tables centered on the protected cohort cancel all shielded physical residuals from its mean acceleration. Protected departures and gated promotions have explicit position and velocity coordinate maps. Each population or role event invalidates the preceding residual epoch and uses a bounded zero-correction waiting law. With finitely many born incarnations, at most one promotion per incarnation, the stated delayed-priority contracts, and the parent factored-gain small-age condition, a final continued shield phase captures every remaining newcomer. A finite group release is then admissible, and final relative geometry recovers with position and velocity retained at the switch. Uniform protected-relative and event-seam bounds require an explicit family of uniformly bounded histories, service, forcing, event counts and stability margins; capture time and newcomer effort may grow with initial distance. We derive the final group-release mean response and distinguish summable limiting shifts from summable whole-response envelopes. Proofs concern exact nominal dynamics. New finite rational checks corroborate selected algebra only; no online release detector, collision, actuator, radio, rigid-body or perpetual-churn result is established.",
      "abstract_source": "/research/papers/2610070414-common-mode-shield/paper.md"
    }
  ],
  "simulations": [
    {
      "id": "2609062308-priority-state",
      "code": "2609062308",
      "title": "Priority-State Dynamics simulation",
      "title_fr": "Simulation de la dynamique des états de priorité",
      "fit": {
        "en": "Members can join or leave while the display tracks the history-based priority state and its restored consensus target.",
        "fr": "Des membres peuvent entrer ou sortir tandis que l’affichage suit l’état de priorité fondé sur l’historique et sa cible de consensus restaurée."
      },
      "route": "/research/simulation/2609062308-priority-state/",
      "release_manifest": "/research/simulation/2609062308-priority-state/release-manifest.json",
      "started_at": "2026-09-06T23:08:37-04:00",
      "first_commit": "d3fb94e470813b34e8b815e931259b47fb370d2a",
      "provenance_basis": "Earliest Git addition of files in the simulation lineage.",
      "status": "current",
      "aliases": [
        "/swarm/",
        "/research/priority-state-dynamics/",
        "/research/simulation/priority-state/"
      ]
    },
    {
      "id": "2610042159-delayed-priority-3d",
      "code": "2610042159",
      "title": "Delayed Priority Networks 3D laboratory",
      "title_fr": "Laboratoire 3D de réseaux de priorité retardés",
      "fit": {
        "en": "The 3D motion makes delayed historical restoration visible while retained-state equations rebuild the shared priority endpoint.",
        "fr": "Le mouvement 3D rend visible la restauration historique retardée pendant que les équations à états conservés reconstruisent le point final de priorité commun."
      },
      "route": "/research/simulation/2610042159-delayed-priority-3d/",
      "started_at": "2026-10-04T21:59:10-04:00",
      "first_commit": "e5d72c8f6bedfed5e20ecf5549d826413a24d920",
      "provenance_basis": "Earliest Git addition of the laboratory file.",
      "status": "current numerical laboratory",
      "aliases": [
        "/research/delayed-priority-networks/laboratory/",
        "/research/simulation/delayed-priority-3d/"
      ]
    },
    {
      "id": "2610051632-disturbance-recovery",
      "code": "2610051632",
      "title": "Translation-Equivariant Disturbance Recovery simulation",
      "title_fr": "Simulation de récupération de perturbations équivariante par translation",
      "fit": {
        "en": "Wind and common translation move the fleet while the model tests whether relative formation recovery survives that shared motion.",
        "fr": "Le vent et la translation commune déplacent la flotte tandis que le modèle vérifie si la formation relative se rétablit malgré ce mouvement partagé."
      },
      "route": "/research/simulation/2610051632-disturbance-recovery/",
      "release_manifest": "/research/simulation/2610051632-disturbance-recovery/release-manifest.json",
      "started_at": "2026-10-05T16:32:13-04:00",
      "first_commit": "565dcf7f26981480e8adc12de3f45657eb3d7a11",
      "provenance_basis": "Earliest Git addition of the current disturbance-recovery simulation lineage.",
      "components": [
        {
          "id": "2610052201-proof-lab",
          "route": "/research/simulation/2610051632-disturbance-recovery/labs/2610052201-proof-lab/",
          "started_at": "2026-10-05T22:01:38-04:00",
          "first_commit": "1fac49a302a9d1599a37e142a92bd948a48c0633"
        },
        {
          "simulation_id": "2610062307-hover-lab"
        }
      ],
      "status": "current",
      "aliases": [
        "/research/swarm3d/",
        "/swarm3d/",
        "/research/simulation/disturbance-recovery/"
      ]
    },
    {
      "id": "2610062307-hover-lab",
      "code": "2610062307",
      "title": "Priority-State Dynamics — interactive simulation",
      "title_fr": "Dynamique des états de priorité — simulation interactive",
      "fit": {
        "en": "Numerical illustration of open-membership priority states, delayed restoration, admission shielding and formation recovery. Camera, lights and music are presentation layers.",
        "fr": "Illustration numérique des états de priorité à population ouverte, de la restauration retardée, de l’admission protégée et de la récupération de formation. Caméra, lumières et musique servent à la présentation."
      },
      "route": "/research/simulation/2610062307-priority-state-dynamics/",
      "started_at": "2026-10-06T23:07:06-04:00",
      "first_commit": "c909593d57d36f09e69e658f1f5f7426ec96b5b5",
      "provenance_basis": "Earliest Git addition of the separate powered-hover and Firefly laboratory.",
      "parent_simulation_id": "2610051632-disturbance-recovery",
      "status": "current interactive numerical laboratory",
      "aliases": [
        "/research/translation-equivariant-disturbance-recovery/proof-lab-a6f4d921/",
        "/research/simulation/2610051632-disturbance-recovery/labs/2610062307-hover-lab/",
        "/research/audio/adaptive-score/preview.html"
      ]
    }
  ],
  "relationships": [
    {
      "paper_id": "2609030143-priority-state",
      "simulation_id": "2609062308-priority-state",
      "kind": "primary-companion",
      "scope": "Implements the article’s finite-membership priority-state model and restoration trial."
    },
    {
      "paper_id": "2609110143-spectral-contraction",
      "simulation_id": "2609062308-priority-state",
      "kind": "mathematical-support",
      "scope": "Supplies the fixed-epoch averaging-matrix result used by the simulation explanation."
    },
    {
      "paper_id": "2610070414-common-mode-shield",
      "simulation_id": "2609062308-priority-state",
      "kind": "related-research",
      "scope": "Shares the finite-population common-mode preservation setting."
    },
    {
      "paper_id": "2610030143-delayed-restoration",
      "simulation_id": "2610042159-delayed-priority-3d",
      "kind": "primary-companion",
      "scope": "The laboratory was created as the article’s selected 3D numerical illustration."
    },
    {
      "paper_id": "2610030143-history-rank",
      "simulation_id": "2610042159-delayed-priority-3d",
      "kind": "related-research",
      "scope": "Analyzes historical distinguishability in a delayed consensus setting."
    },
    {
      "paper_id": "2610030143-roster-tracking",
      "simulation_id": "2610042159-delayed-priority-3d",
      "kind": "related-research",
      "scope": "Studies sampled tracking with changing membership."
    },
    {
      "paper_id": "2610060143-disturbance-recovery",
      "simulation_id": "2610051632-disturbance-recovery",
      "kind": "primary-companion",
      "scope": "The simulation is the current implementation companion for this article."
    },
    {
      "paper_id": "2610060143-translation-latch",
      "simulation_id": "2610051632-disturbance-recovery",
      "kind": "implemented-extension",
      "scope": "The proof laboratory includes the sampled common-translation latch extension."
    },
    {
      "paper_id": "2610030143-admission-shield",
      "simulation_id": "2610051632-disturbance-recovery",
      "kind": "implemented-extension",
      "scope": "The proof laboratory includes the live-admission shield extension."
    },
    {
      "paper_id": "2610070414-common-mode-shield",
      "simulation_id": "2610051632-disturbance-recovery",
      "kind": "related-research",
      "scope": "Provides the finite-population shielding result related to live admission."
    },
    {
      "paper_id": "2610030143-roster-tracking",
      "simulation_id": "2610051632-disturbance-recovery",
      "kind": "related-research",
      "scope": "Provides a changing-roster tracking result connected to the recovery line."
    },
    {
      "paper_id": "2609030143-priority-state",
      "simulation_id": "2610062307-hover-lab",
      "kind": "model-lineage",
      "scope": "Provides the open-membership priority-state model retained by the laboratory."
    },
    {
      "paper_id": "2609110143-spectral-contraction",
      "simulation_id": "2610062307-hover-lab",
      "kind": "mathematical-support",
      "scope": "Cited in the laboratory for the admissibility, mean and spectral-contraction result for the fixed-epoch averaging matrix."
    },
    {
      "paper_id": "2610030143-delayed-restoration",
      "simulation_id": "2610062307-hover-lab",
      "kind": "mathematical-basis",
      "scope": "Provides the delayed-priority exact-reference model retained by the laboratory."
    },
    {
      "paper_id": "2610060143-disturbance-recovery",
      "simulation_id": "2610062307-hover-lab",
      "kind": "implemented-mode",
      "scope": "The laboratory includes the translation-equivariant disturbance-recovery mode; Firefly optics remain an independent visual subsystem."
    },
    {
      "paper_id": "2610060143-translation-latch",
      "simulation_id": "2610062307-hover-lab",
      "kind": "implemented-extension",
      "scope": "The laboratory includes the sampled common-translation latch extension."
    },
    {
      "paper_id": "2610030143-admission-shield",
      "simulation_id": "2610062307-hover-lab",
      "kind": "implemented-extension",
      "scope": "The laboratory includes the live-admission shield extension."
    },
    {
      "paper_id": "2610070414-common-mode-shield",
      "simulation_id": "2610062307-hover-lab",
      "kind": "design-reference",
      "scope": "The finite-population shielding result informed the design review without certifying the browser simulation end to end."
    },
    {
      "paper_id": "2610030143-roster-tracking",
      "simulation_id": "2610062307-hover-lab",
      "kind": "design-reference",
      "scope": "The changing-roster tracking result informed the design review without certifying the browser simulation end to end."
    },
    {
      "paper_id": "2610040143-conditional-queries",
      "simulation_id": "2610062307-hover-lab",
      "kind": "cited-research",
      "scope": "Historical source review considered this conditional-query mechanism; it is not implemented by this simulation."
    },
    {
      "paper_id": "2610030143-history-rank",
      "simulation_id": "2610062307-hover-lab",
      "kind": "cited-research",
      "scope": "Historical source review considered this history-rank theorem; its asynchronous rank witnesses are not implemented."
    }
  ],
  "archives": [
    {
      "id": "2610032108-swarm3d-r15",
      "route": "/research/simulation/archive/2610032108-swarm3d-r15/",
      "started_at": "2026-10-03T21:08:20-04:00",
      "first_commit": "ab75c45d7f14d3ff1ba055421593b492937cb574",
      "status": "archived superseded simulation source"
    },
    {
      "id": "2610071458-disturbance-recovery-math-audit",
      "route": "/research/simulation/archive/2610071458-disturbance-recovery-math-audit/",
      "started_at": "2026-10-07T14:58:16-04:00",
      "first_commit": "ea3b54de46f942506115b9f9b43f15ae5c65d9b1",
      "status": "archived mathematical-audit fixture"
    },
    {
      "route": "/research/archive/disclosure-revision-20261004/",
      "status": "immutable disclosure-revision evidence"
    }
  ],
  "revision_manifest": "/research/provider-neutral-attribution-20261009.json",
  "external_preprints": [
    {
      "id": "arxiv-2603.16523",
      "title": "Consensus in Multi-Agent Systems with Uniform and Nonuniform Communication Delays",
      "author": "Shokoufeh Naderi, Maude J. Blondin, Sébastien Roy, Guillaume Bolduc*",
      "published_authors": [
        "Shokoufeh Naderi",
        "Maude J. Blondin",
        "Sébastien Roy"
      ],
      "authorship_note": "*Guillaume Bolduc: fourth-author credit pending update. The linked arXiv v1 currently lists Shokoufeh Naderi, Maude J. Blondin, and Sébastien Roy.",
      "version": "arXiv v1",
      "date": "2026-03-17",
      "publication_type": "preprint",
      "doi": "10.48550/arXiv.2603.16523",
      "url": "https://arxiv.org/abs/2603.16523v1",
      "pdf": "https://arxiv.org/pdf/2603.16523v1",
      "keywords": [
        "multi-agent consensus",
        "uniform communication delays",
        "nonuniform communication delays",
        "multi-objective optimization",
        "robotic swarms"
      ],
      "abstract": "This paper analyzes consensus in multi-agent systems under uniform and nonuniform communication delays, a key challenge in distributed coordination with applications to robotic swarms. It investigates the convergence of a consensus algorithm accounting for delays across communication links in a connected, undirected graph. Novel convergence results are derived using Rouché's theorem and Lyapunov-based stability analysis. The system is shown to reach consensus at a steady-state value given by a weighted average determined by the delay distribution, with stability ensured under explicit parameter bounds. Both uniform and nonuniform delay scenarios are analyzed, and the corresponding convergence values are explicitly derived. The theoretical results are validated through simulations, which explore the impact of delay heterogeneity on consensus outcomes. Furthermore, the algorithm is implemented and experimentally tested on a swarm of QBOT3 ground robots to solve the rendezvous problem, demonstrating the agents’ ability to converge to a common location despite realistic communication constraints, thus confirming the algorithm’s robustness and practical applicability. The results provide guidelines for designing consensus protocols that tolerate communication delays, offer insights into the relationship between network delays and coordination performance, and demonstrate their applicability to distributed robotic systems.",
      "abstract_source": "https://arxiv.org/abs/2603.16523v1"
    }
  ]
}