PIRTM contractivity certification wired into the GoldSnnail SSN harness.
GoldR4 is the working fusion seam between two source repos:
- GoldSnnail (MIT, consumed unmodified) — the QLIF
Swarmengine and R-STDP learner drive the fused system. - PIRTM (PhaseMirror/PIRTM) — the contractivity mathematics of the
Constitutional Core (Jury/Schur stability criteria, bounded-iteration
theorems), dedicated irrevocably to the public domain by Prime Materia
License v1.0 Part II. GoldR4 re-derives that math rather than copying PIRTM
source (the repo's code is "Bound Work"; its core math is public domain)
and differentially tests the re-derivation against the upstream
pirtm-rsimplementation (dev-dependency only).
- Global envelope — after every plasticity step the weight operator is
clamped to a certified contraction factor
max(||W||_inf, ||W||_1) <= max_factor < 1. Sound for signed matrices, where per-synapse elastic bounds provably do not bound the spectral radius. - Exact block certificates — sign-agnostic Jury criteria for 2x2/3x3 operator blocks.
- Typed receipts — every enforcement carries measured numbers, no free text.
cargo run --bin fusion-demo runs the unmodified engine twice over the same
driven protocol (membranes initialized to rest, group A driven on t%3==0,
group B on t%3==1, so the engine's 3-step refractory cycle phase-locks
persistent A(t) -> B(t+1) causal pairs for R-STDP):
| ungated | gated | |
|---|---|---|
| max abs weight (engine elastic clamp) | 1.0000 | 0.3218 |
| certified operator factor | 4.4000 (breach) | 0.9800 pinned, 170 clamps |
power-iteration rho(|W|) |
1.2220 > 1 | <= 0.6552 |
surrogate ‖x_64‖ after 64 iterations |
1.7e5 (diverges) | 0 (strict contraction) |
Per-synapse elastic bounds hold while the operator breaches; the gate certifies what the elastic clamp cannot.
src/jury.rs— strict sign-agnostic Jury criteria (2x2, 3x3), re-derived; differentially tested against upstreampirtm-rs(20,000 random matrices per size + analytic ground truth) and deliberately strict at therho = 1boundary, where upstream's epsilon variant over-accepts.src/envelope.rs— certified factormax(||W||_inf, ||W||_1)over absolute weights (rigorous for every real matrix) plus a power-iterationrho(|W|)estimate (reported in receipts, never used for the clamp decision).src/gate.rs— typedStabilityGateenforcement with machine-checkableStabilityReceipts.src/bin/fusion_demo.rs— end-to-end demo: driven protocol, R-STDP learning, gate enforcement, linear-surrogate propagation.tests/envelope_contract.rs— property tests mirroring PIRTM'sBoundedIteration.leaninvariants at runtime (NonExpansiveMap,iterate_non_expansive,bounded_while_envelope).
Requires Rust 1.85+. The crate consumes path dependencies, so clone the siblings as follows:
git clone https://github.com/unicornd47-afk/GoldSnnail.git ../GoldSnnail
git clone https://github.com/PhaseMirror/PIRTM.git ../PIRTM
cargo test
cargo run --bin fusion-demoMIT — see LICENSE. The package crate name is goldsnnail-pirtm;
GoldR4 is the project name.