feat(relation): refuse inferred status as observed evidence

[seonghobae]

Inferred relations stay inferred (ADR 0003). LLM, reasoner, and heuristic proposals cannot be treated as observed documentary evidence or as forward state transitions. Recovery is the computed share of recovered statuses that match known truth versus collapsing every status to observed.

Complementary to #132 (relation_absence: unobserved is not a negative edge). This crate owns inferred-versus-observed promotion.

Local gates:

• cargo test -p inferred_status --all-targets GREEN after RED (package did not exist)
• clippy -D warnings PASS
• workspace contract PASS
• docstring contract PASS
• lines 15/15; nightly-2026-08-01 branches 6/6

Does not allocate migration 0008. Does not recreate relation_absence, support_edge, or other in-flight crates.

Keep this PR draft. Preferred merge remains #46 only when exact-head required Checks pass and a qualifying independent (non-Cursor/CodeRabbit) APPROVE exists. OpenCode CHANGES_REQUESTED on #46 is still on stale 835922c — do not empty-commit.

[coderabbitai]

Important

Review skipped

Draft detected.

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: b5e5125f-1647-40b2-b33b-041372070d29

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

• X
• Mastodon
• Reddit
• LinkedIn

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