feat(semantics): give settlement binding kind executed production evidence - #4747

Merged

huangruiteng merged 7 commits into

loopx-project:mainfrom

songoow:codex/verify-settlement-binding-production

Sep 20, 2026

Commits on Sep 19, 2026

feat(semantics): give settlement binding kind executed production evidence

songoow
and
claude
committed
584a49d
fix(semantics): pin UTF-8 when the witness reads the builder probe

songoow
and
claude
committed
9560dcb

Commits on Sep 20, 2026

Merge remote-tracking branch 'origin/main' into codex/verify-settlement-binding-production
songoow
committed
765e1fe
fix(semantics): state the producer domain over the set the checks walk

songoow
and
claude
committed
b4d91ad
Merge remote-tracking branch 'origin/main' into codex/verify-settlement-binding-production
songoow
committed
488f648
fix(semantics): derive canonical producer claims from domain facts
songoow
committed
3b21a9c
docs(semantics): explain canonical domain statement validation
songoow
committed
e7ea7ec