Repository navigation

docs(semantics): define relative completeness boundary - #4457

Closed

songoow wants to merge 8 commits into

loopx-project:mainfrom

songoow:codex/semantic-vocabulary-proof-boundary

Closed

docs(semantics): define relative completeness boundary#4457
songoow wants to merge 8 commits into
loopx-project:mainfrom
songoow:codex/semantic-vocabulary-proof-boundary

Commits on Sep 15, 2026
- docs(semantics): define relative completeness boundary
  songoow
  committed
  9e6dc84
- docs(semantics): align formal value domains
  songoow
  committed
  9b71c5c
Commits on Sep 16, 2026