feat(pr-review): add bounded semantic triage and repair guidance - #4459

Merged

huangruiteng merged 18 commits into

loopx-project:mainfrom

songoow:codex/pr-review-semantic-alignment

Sep 16, 2026

Commits on Sep 15, 2026

docs(semantics): define relative completeness boundary
songoow
committed
9e6dc84
docs(semantics): align formal value domains
songoow
committed
9b71c5c
feat(pr-review): surface semantic alignment constraints
songoow
committed
34e43f1
chore(semantics): refresh inventory for review contract
songoow
committed
92f9e36
Merge remote-tracking branch 'upstream/main' into codex/pr-review-semantic-alignment
songoow
committed
c35c35f
fix(pr-review): scope semantic evidence to affected contracts
songoow
committed
6902499
docs(pr-review): define semantic triage and repair boundaries
songoow
committed
940f518
Merge remote-tracking branch 'upstream/main' into codex/pr-review-semantic-alignment
songoow
committed
673afad
docs(development): use uv for current-checkout validation
songoow
committed
732acf0

Commits on Sep 16, 2026