court-measure

The groupant beside yom-hadin/src/measure.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`
composition	partial	descriptant
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
`denominator_projection`	denominator_projection	partial source derived model	denominator_projection
`shift_control`	shift_control	partial source derived model	shift_control
`recall_existential`	recall_existential	partial source derived model	recall_existential
`gold_row_loss`	gold_row_loss	partial source derived model	gold_row_loss

Parts

court-measure-precision

Model text

descriptant

Own-rule selection and synthetic gold precision/recall accounting.

Epoch 2026-10-31

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

Composition: sample selects matching owner jurisdiction and sentence membership. judge_rule matches force and any act/condition verb, authority ASCII-insensitive. precision maps sentence through supplied order+shift, omits unavailable gold, excludes '?' authority denominator; recall counts each expected entry once if any sample matches.

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

Own-rule selection and synthetic gold precision/recall accounting.

sample selects matching owner jurisdiction and sentence membership. judge_rule matches force and any act/condition verb, authority ASCII-insensitive. precision maps sentence through supplied order+shift, omits unavailable gold, excludes '?' authority denominator; recall counts each expected entry once if any sample matches.

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: Own-rule selection and synthetic gold precision/recall accounting.

Subject: yom-hadin/src/measure.rs, SHA-256 c08d407318b3b1f8c70263d6ce08fd1325f4bbe5bb08c8bab82530a5c57511c7. 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

Excluded outputs include judging a sample absent from order, counting inherited rules as own when r.jur!=j.id, and unknown '?' authority increasing authority denominator. Metric correctness does not establish real legal precision.