Huginn/tools
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Meta Vens 333e1c4314 Give the two failable loosenings entries of their own
Cut 9's entries file recorded three weakenings as unfailable. Two of them
are reachable in this Body, so they are entries now:

- The `semantic` check below `Reader::new` changes the answer for a store
  the reader refuses -- a doubled receipt, a row that does not decode --
  from the semantic refusal to the integrity one. `V8L` is that move, and
  the semantic test asks a semantic query of a mind whose receipts name one
  write twice.
- `resolutions_of` comparing a subject by `id` alone is reachable because
  the read side validates no `PipelineRef` it is handed. `V10L` is that
  comparison, and the subject-history test asks for a `Ruling` ref carrying
  a question's id after that question has ten resolutions.

`assignments_of` ignoring the instance stays recorded as unfailable, with
A5 and the derivations scoped to this mind as the reason.

`specs_without_report` compares the citation by exact id, but every fixture
report cited `.r1`, so the test could not tell an exact id from a cut
prefix. cut-9 now carries a report of the revision it superseded and cut-12
is a superseded revision no report names, so standing and citation are each
still visible on their own, and `V13L` compares by cut prefix.

Fork, not closed here: Soul asked that `view` and `history` validate the
ref through the leaf and refuse a malformed one typed rather than answering
empty. The leaf's `Bounded` is `pub(crate)` at the pinned rev d5a36c2, so
`PipelineRef::validate` cannot be called from this crate and the fix is an
Epiphany change. The history test pins today's empty answer and names the
reason.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-09-16 22:19:42 +02:00
..
eureka-cut8-mutations.psd1 Move every derivation out of admission into docs.rs 2026-09-16 21:13:03 +02:00
eureka-cut9-mutations.psd1 Give the two failable loosenings entries of their own 2026-09-16 22:19:42 +02:00