court-native-fixtures

The groupant beside yom-hadin/tests/court.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
`independent_count_oracle`	independent_count_oracle	partial source derived model	independent_count_oracle
`fixture_intervention`	fixture_intervention	partial source derived model	fixture_intervention
`repeatability_observation`	repeatability_observation	partial source derived model	repeatability_observation
`source_mutation_control`	source_mutation_control	partial source derived model	source_mutation_control

Model text

descriptant

Tiny hand-built rule/case integration witnesses using actual crate APIs.

Epoch 2026-10-31

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

Composition: Construct deterministic Clauses/Rules/Jurisdictions/Facts without parser models. Existing tests cover empty match, path count changes, broad reading, conflict resolution, report determinism, flag filtering, stats, devices and absurd criteria. Wave31 adds explicit count enumeration, tie/zero-tip boundaries, postprocessing/metrics, codec/status fibers and lookup order.

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

Tiny hand-built rule/case integration witnesses using actual crate APIs.

Construct deterministic Clauses/Rules/Jurisdictions/Facts without parser models. Existing tests cover empty match, path count changes, broad reading, conflict resolution, report determinism, flag filtering, stats, devices and absurd criteria. Wave31 adds explicit count enumeration, tie/zero-tip boundaries, postprocessing/metrics, codec/status fibers and lookup order.

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: Tiny hand-built rule/case integration witnesses using actual crate APIs.

Subject: yom-hadin/tests/court.rs, SHA-256 2b4c2a041025b717d7518564a83ef2b98d6f3b97cf66a1298361fabc9cf5df41. 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

The selected test traces cannot query teacher, parse a corpus or write production rules because fixtures call in-memory helpers/report only. A passing test does not exclude bugs outside asserted observations.