SIM
20 · SECURITY

Network Assumptions

STATUS
DRAFT
SPEC
NIL-010
VERSION
0.3.0
UPDATED
2025-10-14

Stated Assumptions

NIL-0 assumes: domains publish capability records at a bounded interval; a majority of Human Settlement Cells within any given domain are honest at any point in time; network partitions between domains are transient rather than permanent; and epoch boundaries are observed consistently across all participating routers.

Consequences of Violation

If a domain's HSC population is majority-dishonest, witness score alone is an insufficient safeguard, since a colluding majority can sustain high mutual witness scores. If epoch boundaries desynchronize across routers, compression results become inconsistent between them, and residual exposure figures may temporarily diverge until resynchronization.

These assumptions are stated explicitly so that deployments can evaluate whether their operating environment satisfies them, rather than leaving them implicit.