🜄Headwater

How it works Compare Proof Tutorial

Obligation records

Nothing states why the vendored package root is visible in an adopter tree
Whether an admitted library entry may require a bundle that admission refuses
A facet-only entry has no kind, and the entry anatomy asks for two things that presume one
The registered-deviation edge of the compliance tradition cannot be declared
The negative compliance edge and the governance precedence clause contradict
A base shelf path is closed to every later entry over the same ground
A voice regime carries a forbid list, so a normative keyword rule has no form
An unknown discriminator value removes a document from every check and no gate reports it
Assumptions that a library entry takes where the specification does not speak
Admission criterion 5 has no reading for an entry that serves neither core purpose
The base ships one voice regime and a prospective document has none
A requirement has no identity, so a descoped requirement has no form
A relation writes a state onto a kind that binds no lifecycle regime and nothing reads that pair
A superseded document claims no reliance, and nothing measures whether a session honors that
Nothing states how much of a session's budget the standing instructions consume before work starts
An observation snapshot records a commit and nothing reads it back
Three graded regression runs are owed a fresh recording against a moved taxonomy lock
No coverage or mutation measurement has ever been taken over the engine's test suite
docs/decisions/0077 still describes HW-DR-0049's rewrite as pending, after #574 made it
Two sample counts, HW-OBL-0002's and voice.rs's own census, predate the scent-role fix and need retaking
Four small test and wording gaps from run 20260923-0733 filed together
The commit gate does not see docs/taxonomies/README.md drift from its vendored copy
A bless run of the conformance render tests races two tests over one fixture file
The opening sentence of the self-found list in spec 13 counts forty-nine items in ranges that do not match the list
Ten rules of the editions ledger have one recorded corpus, so a rule change blessed with an edit to that corpus passes
No run measures whether the documents under docs change what an agent builds
Six corpus gaps from run 20260929-1205, filed together
The subsystem specs claim evidence their targets do not carry, and two rules of the shelf live only in a test
The counterfactual campaign evaluation withholds its discharges edge until a person promotes it
Comments in the command-surface crates and their subsystem spec state eight stale facts

All 209 on this shelf →

Rendered from docs/obligations/0229-the-counterfactual-campaign-evaluation-withholds-its-discharges-edge-until-a-person-promotes-it.md in the Headwater corpus. Every document on this half of the site is typed by the taxonomy the descriptor names: corpus.json.

The counterfactual campaign evaluation withholds its discharges edge until a person promotes it

Context

1511 changed the evidence direction of `discharges`, and HW-DR-0103 records the change. The build of #1511 in run `20261001-1107` found that `docs/evaluations/what-the-counterfactual-campaign-of-2026-09-30-measured-by-component.md` still declares no `discharges` edge onto HW-OBL-0223 or HW-OBL-0197, although its What the documents alone change rows measure what HW-OBL-0223 asks for. Its `provenance` declares `warrant: asserted` on `d309e914`. Spec 1 says that an asserted document does not discharge an evidence obligation. So the edge, if it is added now, is reported and does not discharge.

Obligation

A person reads the evaluation and decides whether to promote its warrant. After a promotion, the evaluation declares discharges onto HW-OBL-0223 and onto HW-OBL-0197 where its figures answer that obligation. No agent promotes a warrant, so this record waits on a ruling and not on a build.

Discharge

This record discharges when the evaluation declares the discharges edges with a warrant inside the closed set, or when a person records why the evaluation stays asserted.

Keys	Action
`?`	Open this help
`n`	Next page
`p`	Previous page
`s`	Search