Invariant Map

Status: Machine-readable matrix exists at docs/traceability.md (generated 2026-03-01). This page will contain the rendered narrative form with cross-links.

!!! info The canonical traceability matrix is maintained in docs/traceability.md at the repo root. This page will embed or link to it once the docs site build pipeline is complete.

Quick Reference

Invariant

Short Description

Primary Code Module

FI Test(s)

INV-01

No Shared State

edge/storage/localstore.go, edge/config/startup.go

(scan-only)

INV-02

No Convergence Tracking

edge/ci/scan_prohibited

(scan-only)

INV-03

No Leader Election

(architectural prohibition)

(scan-only)

INV-04

Disk Ceiling

edge/storage/localstore.go, edge/eviction/local.go

FI-C1-01, FI-C2-01, FI-C2-02

INV-05

Platform Assurance Binding

edge/assurance/assurance.go

FI-C1-05

INV-06

Local-Only Activation

edge/scheduler/local.go

(structural)

INV-07

Bounded Memory

edge/storage/localstore.go, edge/transport/transport.go

(structural)

INV-08

Idempotent Segment Receive

edge/index/localindex.go

(unit tests)

INV-09

Authorization Boundary

edge/transport/tcptls.go, edge/transport/crl.go

FI-C3-02

INV-10

Mission-Layer Decoupling

edge/ (no mission imports)

FI-C1-03

INV-11

Deterministic Relay

edge/scheduler/local.go

(structural)

INV-12

Bounded Retry

edge/retry/retry.go

FI-C4-01, FI-C4-02, FI-C4-03

INV-13

Per-Peer Ingest Quota

edge/quota/localquota.go

FI-C3-03

See Also