[Epic] Multi-oracle re-proving & invariants #224
Labels
No labels
area: build
area: ci
area: compare
area: data
area: engine
area: model
area: provenance
area: rite
area: validation
backport
blocked
breaking
confirmed
dependencies
duplicate
epic
github_actions
invalid
needs-info
needs-triage
php
priority: high
priority: low
priority: medium
regression
type: bug
type: chore
type: correction
type: docs
type: enhancement
type: feature
type: fix
type: perf
type: refactor
type: security
wontfix
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
Directorium/Core#224
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Prove correctness against multiple independent authorities across every year and edition, and catch whole classes of bug with invariants no oracle can. Extends the validation harness (#45) from single-edition/fixture-range to wide-range, multi-edition, reconciling. Done when a coverage/confidence report is generated and thresholded in CI.
Epic — child issues are tracked as sub-issues.