Rendered from docs/obligations/0073-the-prior-version-still-owes-the-key-edit-that-the-clock.md in the Headwater corpus. Every document on this half of the site is typed by the taxonomy the descriptor names: corpus.json.

The prior version still owes the key edit that the clock has now made

Context

A key covers the in-scope input hashes, the taxonomy lock hash, the check version and the injected values. The fourth component had no instance until a windowed participation expectation read ctx.now, and it has one now. The key writes the clock where the scope declares it, so one declaration decides what a view carries and what the key covers.

Obligation

The prior version is the other injected value spec 12 names, and nothing forces whoever adds it to write the matching branch of the key.

Discharge

The differential of --no-cache cannot catch that omission, because both sides of it hold one value of each injected input. So no test in this engine reaches the defect, and a sentence in spec 12 is what would.

This record is discharged. engine/crates/check/src/cache.rs puts the content hash of the prior version into the cache key. The test two_prior_versions_are_two_keys_for_a_check_that_reads_one holds that branch, and spec 12 states the rule under its heading on temporal inputs. The owner accepted the discharge on 2026-09-30, in the roadmap review of that day.