court-report-protocol

The groupant beside yom-hadin/src/report.rs in the Mova repository: what the code computes, what it never does, how to go back from its outputs, its invariants, cost and checks.

Facts

Implementation material. A Mova code model describes this code at one source revision: partial models, finite checks and their stated scope. It is not a reviewed general exposition, and its labels are shown as written, never raised.

Components

component	label	where
approximant	partial	approximant
ast	partial	`../syntax.json`
cost	partial	`model.md`
descriptant	present	descriptant
invariant	partial	Invariant
tests	finite native checks	tests

Obernants

The typed relations around the forward model: the behaviour complement (what the code never does), the reverse reconstruction (every input compatible with an output) and specialised views.

id	type	label	where
`behavior_complement`	behavior_complement	partial source derived model	behavior_complement
`reverse_reconstruction`	reverse_reconstruction	partial source derived model	reverse_reconstruction
`wrapping_recurrence`	wrapping_recurrence	partial source derived model	wrapping_recurrence
`disk_memory_split`	disk_memory_split	partial source derived model	disk_memory_split
`recomputation_join`	recomputation_join	partial source derived model	recomputation_join
`snapshot_assumption`	snapshot_assumption	partial source derived model	snapshot_assumption

Model text

descriptant

FNV byte recurrence and protocol observation boundary.

Epoch 2026-10-31

Prospective review preceded test edits. Runtime logic unchanged; three sources gain tests. Synthetic witnesses do not validate legal conclusions.

Composition: Start offset basis, xor each byte then wrapping multiply; protocol reads current rules bytes or empty on error, renders metadata/report and recomputed lattice summaries.

Retained limits: partial syntax, opaque macros; no live corpus, teacher, parser model, production filesystem or frozen gold. Complete semantics and executable approximants remain open.

approximant

Forward model

FNV byte recurrence and protocol observation boundary.

Start offset basis, xor each byte then wrapping multiply; protocol reads current rules bytes or empty on error, renders metadata/report and recomputed lattice summaries.

Not an executable substitute. Percentage approximation is unsupported without a useful metric; future profiles limited to 1/2/5/10% require actual-reference comparison.

models

Typed models: FNV byte recurrence and protocol observation boundary.

Subject: yom-hadin/src/report.rs, SHA-256 eb60c61212e8f64ad0b3c67ed5dfbd9623e384479ec54567ed762cc8504b58ff. Domain: bounded finite synthetic rules/cases; valid indices and successful allocation unless a section narrows this. Each relation observes implementation, not legal authority. Status: partial source-derived model, finite evidence mapped in tests.md.

behavior_complement

Protocol itself cannot write files; failed rules read cannot produce a distinct read-error record because default bytes replace it.