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

Closed

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

Merge current main into semantic proof-boundary documentation
songoow
committed
1c385c4
fix(semantics): unify proof domains and candidate guidance
songoow
committed
e32659f
Merge current main before semantic dependency coordination
songoow
committed
bcc19d4
Refresh semantic foundation for the current Turn lane baseline
songoow
committed
3164b85
test(chat): isolate unbound channel fixture from installed runtime
songoow
committed
d12be19
Merge current main and drop duplicate channel fixture change
songoow
committed
27ef366