Skip to content

refactor: centralize meaning decisions - #197

Merged
akcorca merged 1 commit into
mainfrom
codex/issue-191-meaning-decision
Aug 10, 2026
Merged

refactor: centralize meaning decisions#197
akcorca merged 1 commit into
mainfrom
codex/issue-191-meaning-decision

Conversation

@akcorca

@akcorca akcorca commented Aug 10, 2026

Copy link
Copy Markdown
Collaborator

Closes #191

Summary

  • add one pure exhaustive decision table for established, partial, ambiguous, conflicting, and unsupported meaning
  • hard-cut Protocol 7 to a discriminated semanticView.decision union
  • remove parallel status, summary, and refusal policy fields from engine and hosts
  • expose bounded source-linked facts, missing requirements, alternatives, and conflicts
  • derive typed law status from condition states; required, unsupported, conflicting, or truncated evidence can no longer yield established
  • reject impossible cross-state fields at the Rust protocol boundary
  • update LSP/evaluation projections without retaining Protocol 6 adapters

The included Ohm-law foundation case now correctly expects partial: its roles are resolved across the include, but its pack-declared sign convention remains required rather than silently established. The relation remains available with the missing requirement.

Verification

  • cargo clippy --workspace --all-targets -- -D warnings
  • cargo test --workspace (128 tests)
  • bun run typecheck and bun test (77 tests)
  • bun run foundation (50/50 prose, 16/16 kernel, 52/52 quantities)
  • bun run parity
  • bun run legacy:audit (0 findings)
  • awiki lint
  • local Apple Silicon latency and rule-visit budgets pass; RSS remains diagnostic per documented policy and Linux CI is authoritative

Release WASM was rebuilt on the designated x86_64 Linux builder.

@coderabbitai

coderabbitai Bot commented Aug 10, 2026

Copy link
Copy Markdown

Important

Review skipped

Auto reviews are disabled on this repository. Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro Plus

Run ID: e0f6bde2-5d1d-4c5e-b956-20fb394e04d9

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@akcorca
akcorca merged commit 8f8efee into main Aug 10, 2026
2 checks passed
@akcorca
akcorca deleted the codex/issue-191-meaning-decision branch August 10, 2026 11:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

v0.19 4/6: Centralize meaning decisions and resolution plans

1 participant