court-jurisdiction

The groupant beside yom-hadin/src/juris.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
`vocabulary_cover_lattice`	vocabulary_cover_lattice	partial source derived model	vocabulary_cover_lattice
`override_position`	override_position	partial source derived model	override_position
`lookup_tie_policy`	lookup_tie_policy	partial source derived model	lookup_tie_policy
`inheritance_snapshot`	inheritance_snapshot	partial source derived model	inheritance_snapshot

Parts

court-jurisdiction-vocabulary

Model text

descriptant

Jurisdiction TSV loading, vocabulary covers and ordered lookup policies.

Epoch 2026-10-31

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

Composition: Load metadata/id/principles, merge common+own terms by head preserving first insertion order, remove overridden common penalties, read optional rules/authorities/flags/devices. load_all snapshots own rules then prepends direct inherited lists. cover selects Sure equality/narrow before Broad; severity max rank, authority first matching pattern.

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

Jurisdiction TSV loading, vocabulary covers and ordered lookup policies.

Load metadata/id/principles, merge common+own terms by head preserving first insertion order, remove overridden common penalties, read optional rules/authorities/flags/devices. load_all snapshots own rules then prepends direct inherited lists. cover selects Sure equality/narrow before Broad; severity max rank, authority first matching pattern.

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: Jurisdiction TSV loading, vocabulary covers and ordered lookup policies.

Subject: yom-hadin/src/juris.rs, SHA-256 070c3346e18a26e34a47069d33438d78348dfcbe55d5464872d1df6a5119a4cc. 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 successful loads include absent jurisdiction id and unknown inheritance target. Cover cannot return No for equal words. Authority cannot select a later matching pattern over an earlier one; this does not validate external law tables.