Invariants / T-TRANSPORT-01

T-TRANSPORT-01

T true declared

Transport nondeterminism (socket fragmentation, mux ordering, timeouts) must not leak into authoritative logic

Source: Project constitution §2, audit #4

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references