--- title: "court-absurd-swap — Mova code model" description: "Mova code model of yom-hadin/src/absurd.rs: components with their labels, obernants and the model text." url: "https://groupants.elamur.ai/free/en/mova/yom-hadin/src/absurd.rs.groupant/swap.groupant/" --- Elamur: [Mova](https://md.mova.elamur.ai/free/en/) · [Dictionary](https://md.dictionary.elamur.ai/free/en/) · [Research](https://md.research.elamur.ai/free/en/) · **Groupants** This page as HTML: # court-absurd-swap The groupant beside yom-hadin/src/absurd.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 - **kind:** groupant_fragment - **status:** partial source derived models - **source:** [`yom-hadin/src/absurd.rs`](https://github.com/ElamurAI/mova-free/blob/main/yom-hadin/src/absurd.rs) - **source SHA-256:** `31c4c2d448f44f62…` - **covers:** Two-word status substitution over selected Case fields. (bytes 2027–2747) - **part of:** [court-absurd](https://md.groupants.elamur.ai/free/en/mova/yom-hadin/src/absurd.rs.groupant/) - **repository folder:** [`yom-hadin/src/absurd.rs.groupant/swap.groupant`](https://github.com/ElamurAI/mova-free/tree/main/yom-hadin/src/absurd.rs.groupant/swap.groupant) - **repository commit:** `855da7bd4a7b` > **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](#approximant) | | **ast** | partial | `../syntax.json` | | **cost** | partial | `model.md` | | **descriptant** | present | [descriptant](#descriptant) | | **invariant** | partial | [Invariant](#invariant) | | **tests** | finite native checks | [tests](#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](#behavior-complement) | | `reverse_reconstruction` | reverse_reconstruction | partial source derived model | [reverse_reconstruction](#reverse-reconstruction) | | `colon_coordinate` | colon_coordinate | partial source derived model | [colon_coordinate](#colon-coordinate) | | `missing_role` | missing_role | partial source derived model | [missing_role](#missing-role) | | `paired_involution` | paired_involution | partial source derived model | [paired_involution](#paired-involution) | | `status_scope_gap` | status_scope_gap | partial source derived model | [status_scope_gap](#status-scope-gap) | ## Model text ### descriptant #### Two-word status substitution over selected Case fields. ##### Epoch 2026-10-31 Prospective review preceded test edits. Runtime logic unchanged; three sources gain tests. Synthetic witnesses do not validate legal conclusions. Composition: Clone case; swap a<->b for agent, patient, final colon-argument value and persons; return clone. Bare args, verbs, places and text remain. 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 Two-word status substitution over selected Case fields. Clone case; swap a<->b for agent, patient, final colon-argument value and persons; return clone. Bare args, verbs, places and text remain. 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: Two-word status substitution over selected Case fields. Subject: yom-hadin/src/absurd.rs, SHA-256 31c4c2d448f44f622e075fc1cbeb3ace70372bb1782a048942a9bee026a085c7. 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 transitions change a verb/place/text or bare argument because these fields are never swapped. Operator: stated relation on this source projection. Assumptions: named domain and unchanged dependencies. Evidence: tests.md maps finite observations; other branches remain source review only. ### reverse_reconstruction For distinct a,b, output uniquely recovers the full input Case by the same swap, including unchanged fields. Observing only facts loses text/places/persons. Operator: stated relation on this source projection. Assumptions: named domain and unchanged dependencies. Evidence: tests.md maps finite observations; other branches remain source review only. ### colon_coordinate For k:v swap only final suffix v via rsplit_once; preserve complete prefix k including earlier colons. Operator: stated relation on this source projection. Assumptions: named domain and unchanged dependencies. Evidence: tests.md maps finite observations; other branches remain source review only. ### missing_role None agent/patient stay None; empty strings swap only when explicitly equal to a or b. Operator: stated relation on this source projection. Assumptions: named domain and unchanged dependencies. Evidence: tests.md maps finite observations; other branches remain source review only. ### paired_involution For each selected word, transposition tau(tau(w))=w; structural clone lifts to Case equality by fields. Operator: stated relation on this source projection. Assumptions: named domain and unchanged dependencies. Evidence: tests.md maps finite observations; other branches remain source review only. ### status_scope_gap Words in places and verbs can trigger flags' case_words presence test yet remain unswapped here; presence is not proof of changed counterfactual. Operator: stated relation on this source projection. Assumptions: named domain and unchanged dependencies. Evidence: tests.md maps finite observations; other branches remain source review only. ### tests #### Checks and evidence External run label: octopus-wave31-court-2026-10-31; exact commands in native-commands.json, per-source observations in source-test-map.json, numeric exits and named outcomes in raw logs. 19 exact selected native tests twice debug and twice release execute actual linked code on bounded hand-built cases. CLI covers argument helpers only. Full extraction/model initialization, actual jurisdiction loading, protocol disk errors, resource exhaustion and malformed public lattices are unexecuted. Module declarations have compile evidence only. Three compiled source-behavior mutants: count weight, precedence tie, modal tie; each requires compile success, named assertion failure, exact byte/hash restoration and positive rerun. Legacy fixture interventions count separately. Final observations: external evidence-summary.md. This node observes: Two-word status substitution over selected Case fields.. Unmapped models remain source-derived/prospective, not verified by the whole test count. Parent source witness map: [source-evidence.md](https://md.groupants.elamur.ai/free/en/mova/yom-hadin/src/absurd.rs.groupant/#source-evidence). Only the described fragment observation is supported; parent test names do not imply every fragment branch executed. ### invariant-and-cost ## Invariant and cost ### Invariant Two applications with distinct a,b recover selected fields; same a=b is identity. ### Cost O(total field bytes) clone plus linear selected-field comparisons. Symbolic bounds, not timings. Resource exhaustion is not tested.