OQ1: resolve mutually-contradicting evidence #29

Closed
opened 2026-08-14 11:17:08 +01:00 by eSlider · 2 comments
Owner

Child of v2. D16: >=2 yes vs >=2 no stays (not confirmed) until adjudication. Tests first.

Child of v2. D16: >=2 yes vs >=2 no stays (not confirmed) until adjudication. Tests first.
eSlider added this to the v2 milestone 2026-08-14 11:17:08 +01:00
eSlider added the v2 label 2026-08-14 11:17:22 +01:00
Author
Owner

PR: GitHub https://github.com/eSlider/2dph/pull/35 + Gitea branch feat/contradict.

Правило D16: 2v2 остаётся hypothesis, пока не сработает temporal_freshness или authority_pairing. CLI: bin/facts/audit contradict. Жду CI (Test + OCR), потом squash-merge на GitHub и sync main сюда.

PR: GitHub https://github.com/eSlider/2dph/pull/35 + Gitea branch `feat/contradict`. Правило D16: 2v2 остаётся hypothesis, пока не сработает `temporal_freshness` или `authority_pairing`. CLI: `bin/facts/audit contradict`. Жду CI (Test + OCR), потом squash-merge на GitHub и sync `main` сюда.
Author
Owner

In on main (0065655). GitHub squash https://github.com/eSlider/2dph/pull/35. Gitea main synced. Closing #29.

In on `main` (`0065655`). GitHub squash https://github.com/eSlider/2dph/pull/35. Gitea `main` synced. Closing #29.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: eSlider/2dph#29