court-cli

The groupant beside yom-hadin/src/main.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
`option_consumption`	option_consumption	partial source derived model	option_consumption
`numeric_default_boundary`	numeric_default_boundary	partial source derived model	numeric_default_boundary
`judge_effect_order`	judge_effect_order	partial source derived model	judge_effect_order
`extract_partial_commit`	extract_partial_commit	partial source derived model	extract_partial_commit

Parts

court-cli-arguments

Model text

descriptant

Argument helpers and effectful command dispatch for yomhadin.

Epoch 2026-10-31

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

Composition: Parse first command and rest; positional skips value after every nonboolean -- option. opts parses weights strictly but defaults malformed max/depth/given. Commands load jurisdiction state, invoke helpers and print; judge parses case, formats report then optionally creates/writes protocol; extract can persist each jurisdiction before later errors.

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

Argument helpers and effectful command dispatch for yomhadin.

Parse first command and rest; positional skips value after every nonboolean -- option. opts parses weights strictly but defaults malformed max/depth/given. Commands load jurisdiction state, invoke helpers and print; judge parses case, formats report then optionally creates/writes protocol; extract can persist each jurisdiction before later errors.

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: Argument helpers and effectful command dispatch for yomhadin.

Subject: yom-hadin/src/main.rs, SHA-256 28e5125a8b89752d7ae43bef5e31afb5e2b166ecb2dcb42824ce3f568fdd9ecf. 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

Pure flag/positional/opts helpers cannot load corpus or write protocols. A malformed weight pair cannot yield successful Opts. For full commands, earlier side effects before later errors are not excluded.