AdeAtlas
Invariants / CN-PROTO-04

CN-PROTO-04

CN true declared

Socket fragmentation, multiplexing, arrival order, and timeout behavior must not leak nondeterminism into authoritative logic

Source

classification_table.md §F

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references

T-TRANSPORT-01

Attack rationale

Separates scheduling noise from authoritative decisions.

Evidence notes

Universal: transport nondeterminism must not leak into authoritative logic. Evidence: ouroboros-network mux uses STM-protected queues.