Elamur Groupantscourt-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
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 |
colon_coordinate | colon_coordinate | partial source derived model | colon_coordinate |
missing_role | missing_role | partial source derived model | missing_role |
paired_involution | paired_involution | partial source derived model | paired_involution |
status_scope_gap | status_scope_gap | partial source derived model | 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. 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.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/yom-hadin/src/absurd.rs.groupant/swap.groupant/