🜄Headwater

How it works Compare Proof Tutorial

Obligation records

A British spelling reaches a serialized grain string, so the rename is a corpus change and a derived-bytes change at once
The rest of the editorial pass, with cli/src/main.rs at the head of the distribution
An identifier scheme glues three parts into one string, so nothing can decide that two schemes are disjoint
A check can meet the failing-fixture bar with a fixture that cannot distinguish the rule from its neighbour
An identifier scheme names no prefix, so an RDF projection derives a document IRI from a file path
The obligation register states its own size by hand, and it went stale three times in two days
A specification sentence closes a set with a count the source exceeds, and 115 of 127 candidates are unchecked
The cache-identity test reads the live working tree, so an edit during the run reports the correctness root as violated
The Stop hook reads its re-entry guard with an interpreter it does not require, so a machine with no python3 re-blocks the same turn
The help assertion never asks a subcommand, and no rust-version declares the floor clap now sits on
The write-time hook still picks pointer lines out of prose by their em dash
A `current` decision declares no required edge to the document it settled, so 22 of 23 reach no specification at all
The glossary's Package entry omits conformance and still lists plugins, which #367 dropped
Ledger::render() in adoption.rs has the same zero-count defect suppression.rs had before PR #450, still latent
The rewritten sentence splitter has no dedicated conformance fixtures
The adoption decay section is fixture-recorded only in its empty shape
probe's fourteen refusals have no coverage test, and three of them are named by no test at all
A help string and the interface contract that restates it can both be false with the whole suite green
The capture report says two denominators over a store that named seventeen taxonomies
clap owns the help flag, so -h, --help reads Print help on all 32 verb pages
A sentence that opens with a hash and an issue number is folded into the sentence before it
The generated half of the site loads highlight.js from a third party with no subresource integrity
The validation block of mkdocs.yml is a gate this repository owns and no fixture drives
Spec 7 prints a package version that no check compares with the recipe
Ten decision records claim a Q number the decision register does not carry
The regeneration check tests byte equality before the marker, so a file the census stopped counting as generated still passes
A rendered-page gate greps for a string it requires and states no denominator, so an empty build passes it
Spec 2 states a corpus-wide default language regime that no rule of this engine reads
The default branch requires no approving review, which is the condition HW-DR-0034 named as reopening it
A saturated pattern set and a clean corpus are the same zero, and no report separates them

All 209 on this shelf →

Rendered from docs/obligations/0154-the-adoption-decay-section-is-fixture-recorded-only-in-its-empty-shape.md in the Headwater corpus. Every document on this half of the site is typed by the taxonomy the descriptor names: corpus.json.

The adoption decay section is fixture-recorded only in its empty shape

Context

engine/crates/audit/fixtures/audit.report records the whole report of one run over the tree under engine/crates/audit/fixtures/. That file is the strongest instrument the audit crate has. Nothing outside the crate can move those bytes, and the clock is injected. Every other section of it renders over a populated corpus. The creator rows carry relations, the warrant rows carry documents, and the layout rows carry three separable answers.

The adoption section does not. The fixture tree has no lock and it declares no payload. So the recorded report holds the section in one shape: no reading, no task, and no denominator for the fraction.

Obligation

Every other shape of that section is asserted by substring rather than held byte for byte. engine/crates/audit/tests/readings.rs names the words of an open payload, a discharged one, two digests and an unreadable line. engine/crates/cli/tests/adoption.rs names a few of the same words end to end. A substring case passes over a report whose surrounding line moved. It says nothing about the order of the lines, or about the shape of the whole.

The identifier of this record is HW-OBL-0154 rather than the number the scaffolder minted. Two obligation drafts were open elsewhere at the numbers below it when this landed.

Discharge

A second recorded fixture over a tree that declares a payload closes this, and the audit crate already has the two halves it needs. What it does not have is a fixture tree with a lock, because Series is a parameter of take rather than something the crate reads.

The reader of this record is this repository alone, so it waits.

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