court-extract

The groupant beside yom-hadin/src/extract.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
`force_priority`	force_priority	partial source derived model	force_priority
`ownership_cycle_bound`	ownership_cycle_bound	partial source derived model	ownership_cycle_bound
`adjacent_exception_projection`	adjacent_exception_projection	partial source derived model	adjacent_exception_projection
`dispute_partition`	dispute_partition	partial source derived model	dispute_partition

Parts

Model text

descriptant

Frame-to-rule construction and address-local exception/dispute postprocessing.

Epoch 2026-10-31

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

Composition: force_of prioritizes copular attributes/guilt, passive lexical markers then modal sanctions. rules_of returns empty for question text; bounded parent walks assign deontic ownership/authority and separate acts, conditional OR groups, exception AND groups and reasons. extract initializes annotator, resets Ctx on address change, uses matching normalized DB text else parser, then attaches adjacent but-if and marks disputes.

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

Frame-to-rule construction and address-local exception/dispute postprocessing.

force_of prioritizes copular attributes/guilt, passive lexical markers then modal sanctions. rules_of returns empty for question text; bounded parent walks assign deontic ownership/authority and separate acts, conditional OR groups, exception AND groups and reasons. extract initializes annotator, resets Ctx on address change, uses matching normalized DB text else parser, then attaches adjacent but-if and marks disputes.

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: Frame-to-rule construction and address-local exception/dispute postprocessing.

Subject: yom-hadin/src/extract.rs, SHA-256 4df25340c2de0143478dac2f2b0777d937157f8f6f05706d0d84d301dbf49db2. 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 under admitted frame indices: question text yielding rules, conditional/irrealis frame chosen as deontic root, or but-if attachment across different source addresses. Parser/resource failures and malformed foreign frames remain outside executed evidence.