Elamur Groupantsworld-absurd
The groupant beside world/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 source model | forward |
| ast | partial | syntax.json |
| composition | partial source model | composition |
| cost | partial source model | cost |
| descriptant | partial source model | epoch-memory |
| invariant | partial source model | invariant |
| tests | partial source model | checks |
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 |
|---|---|---|---|
world-absurd-behavior-complement | behavior_complement | partial source model | behavior-complement |
world-absurd-reverse-reconstruction | reverse_reconstruction | partial source model | reverse-reconstruction |
world-absurd-coupling | constraint_relation | partial source model | coupling |
Parts
Model text
model
world-absurd
forward
Configured lexical matrix scoring, knowledge voting and dependency role judgments. Scoped native evidence covers supplied matrices and nodes; learning/reporting I/O is inspected only.
invariant
Stable compiled dependencies and successful bounded execution are premises. Configured lexical labels are not universal truth; finite checks are not general proofs.
cost
Compose scoped costs without double-counting shared traversals. External parser, knowledge, filesystem and teacher costs are not measured.
composition
Actual callers: domains_with projects Word to Node then consumes judge indices without reordering; rerank::items sums judgment penalties per candidate, and induce calls judge on supplied vectors. Only the domains join executes in these native tests.
epoch-memory
2026-10-30 initial source-bound epoch. Old native witnesses exposed role-index panic and spurious formal activation with empty overrides. Guards/default resolution repair these; explicit finite values and sparse-cell gap semantics remain. No optimization, surrogate or percentage bound is claimed.
checks
cargo test -p world --lib absurd::wave11_models -- --test-threads=1. Root evidence.md records repeated profiles and mutants. Partial syntax leaves macro bodies opaque; no semantic AST, parser, teacher or corpus execution.
behavior-complement
Universe: terminating scoped calls and their outputs. Inner absent-behavior model excludes outputs contradicting: Stable compiled dependencies and successful bounded execution are premises. Configured lexical labels are not universal truth; finite checks are not general proofs. Unknown external behavior remains outside this exclusion.
reverse-reconstruction
Keep all scoped inputs and intermediate states consistent with child constraints and shared identities. Labels/reports discard information; no unique inverse or actual causal history is recovered.
coupling
Actual callers: domains_with projects Word to Node then consumes judge indices without reordering; rerank::items sums judgment penalties per candidate, and induce calls judge on supplied vectors. Only the domains join executes in these native tests.
All typed entries bind this scope and manifest source revision. Domain and observation/operator are stated above. Status: partial source-derived relations with finite evidence named in checks, assuming stable dependencies and bounded successful execution. Reverse relations preserve ambiguity, with no complete-search or causal claim.
Epoch notes
- Comments repointed to consolidated docs, 2026-11-04.
evidence
Native evidence, 2026-10-30
Source SHA-256: 1593ab53f49cef78a22828855c3e41215973f696b2229127cf8393e8a558117d. Partial syntax SHA-256: 6905f549722e136f87034035905a7f91758f602fa2d2d446b27b21bcb15c2aa8. Raw logs: $MOVA_DATA/runs/octopus-wave11-domains-2026-10-30/.
Eight native tests pass twice debug and twice release with identical normalized test identities/results. Four tests per source. Independent finite matrix oracle: 36 score pairs, 25 valid; four malformed JSON fixtures. Role oracle: 25 score pairs x active/passive, exact index/role/swapped tuples. Three gap partitions; three unsupported roles each on file/global. Domain checks: sixteen label subsets, exact reason dedup, six thresholds x two genres, eight partial-default overrides x four default/nonfinite values, empty/default equality and explicit zero preservation. Threshold join uses actual judge outputs as interface observations; it is not an independent classifier-truth oracle.
Old code: score_role_boundary panicked at index 2; missing_and_nonfinite_overrides failed on empty map. Repair deliberately changes absent/nonfinite public override semantics; tune/family callers build full maps and explicit zero ablations remain supported. Sparse known cells still abstain without gap provenance.
Compiled production controls: swapping file matrix role columns fails role_identity_finite_oracle; replacing inclusive humor threshold with strict comparison fails annotation_judge_threshold_join. Exact source bytes restored; all eight tests pass again. No live parser/teacher/corpus/learning I/O or whole-world Clippy result. No measured optimization or surrogate profile.
- old.log: 07d0e14b6a8e7450debe53d871e622320cc9ae481629ddb83bafa03f0ca27679
- final-debug1.log: 5cd1363176f33184c8d933dcf446830740bbd60312be2ed8e73c87c90f553c90
- final-debug2.log: b5773c47d4cdeda654c0356bee29db735bb44b1aa07f58dfa903f058efe9842c
- final-release1.log: 4c7bd855c7fe45fb50aaea7dc6e33bec4d95cd0a0254e02cd74237ee51c7f3e4
- final-release2.log: 2c8c3c45a9fa96053cd5513f76538eac2e0f8a7b735f43ef34daa6ca7774eaf4
- mutant-absurd.log: 80984a63722b9cb369fe3fbc7b2f680e8ce6e5aef2e3c8bd73123fb3b23d7a9a
- mutant-domains.log: f8139f39d6746e413472bcec9a58aaff6e62399c82ea05b28b93493563caab50
- restored.log: 05c6a2ec20f16a06e0e759ccccead6d792e4b84f7190e046b6ead5fcec30c6fb
- normalized.txt: 96348f0f5c20fde6cc16afce1d34308e6eb314d6d2fcdf83bfac316146fe11b1
Only new wave11_models test fragments were rustfmt-formatted and checked; legacy production formatting is unchanged.
Two formatted source syntax runs are byte-identical. Two structural groupant reports are byte-identical and valid under an external registry scaffold: existing root plus these leaves, with one intentionally missing scaffold sidecar. Root ancestor integration is separate. Changed-source check registers both owned Rust files. Two legacy absurd::tests also pass.
- formatted-groupants1.json: ff7aae7c022d80f90e701bee2cb400f180cff623e5a6b8fe0a2e65da3f96d751
- formatted-groupants2.json: ff7aae7c022d80f90e701bee2cb400f180cff623e5a6b8fe0a2e65da3f96d751
- changed.json: e0c2f82e516cb5766b0601a12329ad6693a9916f6513f24636dbacb4709d24ff
- legacy-absurd.log: f959e97303a5fbd3828d32933d993d1720a2d4244d2f751d3d27c2dfb1356e86
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/world/src/absurd.rs.groupant/