AdeAtlas
Invariants / T-BOUND-01

T-BOUND-01

T true declared

Shell may observe nondeterminism but must convert to deterministic inputs before entering core

Source

Project constitution §2

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap