Skip to content

Harden decision applicability and scope uncertainty - #91

Merged
grove merged 1 commit into
mainfrom
fix/83-decision-applicability
Oct 14, 2026
Merged

grove merged 1 commit into
mainfrom
fix/83-decision-applicability

Conversation

@grove

@grove grove commented Oct 14, 2026

Copy link
Copy Markdown
Owner

Unknown environment metadata could be overridden by an overconfident cross-source judgment, producing apparent agreement or a possible discrepancy without established applicability. Keep these comparisons explicitly uncertain and recommend confirming environment and current revisions. Refresh older interpretation contracts on the next update, including unchanged headless registries, then resume zero-call no-ops.

Add a compact source-passage matrix for environment/component boundaries, proposals, closed work, rejected approaches, grounded versus ungrounded supersession, actual documentary conflicts, A→B→A, OpenWiki authority, unknown environments, shared upstream evidence, missing policy, and advisory review acceptance. Regressions check exact evidence revisions and complete conflict groups under compression, plus the real evidence/review CLI surfaces. Existing authority types and registry schemas are unchanged.

Validation:

  • Reproduced the unknown-environment misclassification and stale-contract no-op in failing tests before fixing each path.
  • cargo test --all-targets --locked: 434 passed; final focused matrix/runtime/upgrade tests also pass.
  • cargo clippy --all-targets --locked -- -D warnings and formatting checks pass.
  • /opt/homebrew/bin/python3.14 -m unittest discover -s evaluation/tests -v: 271 tests run, all passed with one Linux-only test skipped on macOS.

The existing offline suites need host execution for loopback sockets and process-group cleanup on this macOS machine. Linux and Windows validation runs in the existing CI matrix.

Closes #83.

@grove
grove merged commit 08a9439 into main Oct 14, 2026
4 checks passed
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.

[P1][Post-focus] Harden decision applicability, supersession and conflict handling

1 participant