court-library

The groupant beside yom-hadin/src/lib.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
`module_visibility`	module_visibility	partial source derived model	module_visibility
`dependency_resolution`	dependency_resolution	partial source derived model	dependency_resolution
`public_join_surface`	public_join_surface	partial source derived model	public_join_surface
`representation_limit`	representation_limit	partial source derived model	representation_limit

Model text

descriptant

Public module declaration boundary for the rule-processing crate.

Epoch 2026-10-31

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

Composition: Compiling the crate exposes absurd,court,extract,juris,measure,report,rule modules under yomhadin. Runtime behavior is delegated to those definitions.

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

Public module declaration boundary for the rule-processing crate.

Compiling the crate exposes absurd,court,extract,juris,measure,report,rule modules under yomhadin. Runtime behavior is delegated to those definitions.

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: Public module declaration boundary for the rule-processing crate.

Subject: yom-hadin/src/lib.rs, SHA-256 36c9035219cc3c4999ae99ac58fb4af95608e7f99b0bb5d183e25f275102f0b4. 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 module declaration unit itself cannot parse a case, write a protocol or select a verdict; such traces require a caller into another module. This is a syntactic exclusion, not whole-library nonbehavior.