Elamur Groupantsworld-worldbook-compression
The groupant beside world/src/worldbook.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 | composition |
| cost | partial | cost |
| descriptant | present | descriptant |
| invariant | partial | invariant |
| tests | partial bounded parent 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 |
reverse_reconstruction | reverse_reconstruction | partial source derived model | reverse_reconstruction |
world_worldbook_compression_invariants | world_worldbook_compression_invariants | partial source derived model | world_worldbook_compression_invariants |
world_worldbook_compression_resource_cost | world_worldbook_compression_resource_cost | partial source derived model | world_worldbook_compression_resource_cost |
world_worldbook_compression_representation_join | world_worldbook_compression_representation_join | partial source derived model | world_worldbook_compression_representation_join |
world_worldbook_compression_domain_partition | world_worldbook_compression_domain_partition | partial source derived model | world_worldbook_compression_domain_partition |
Model text
descriptant
world-worldbook-compression
depth follows1-based heads<=Lhops. Stable depth sort; keep[root]=true, keep[child]=keep[head] AND predict(attrs). One surface-index pass reactivates function/negation child of currently kept head. Select forms in source order, normalize punctuation and append period.
Modeling epoch 2026-10-31
Prospective source/branch/cost hypotheses were saved externally before source edits. This partial source-derived model retains observed boundaries rather than claiming complete verification. Compression/outcome/brain/standalone/list/writer/mini helpers tested; build/principles/teacher/gather/site/passenger read chains unexecuted. No surrogate.
approximant
Forward relation
depth follows1-based heads<=Lhops. Stable depth sort; keep[root]=true, keep[child]=keep[head] AND predict(attrs). One surface-index pass reactivates function/negation child of currently kept head. Select forms in source order, normalize punctuation and append period.
Domain: Heads0..L, valid acyclic tree for connectedness, finite in-memory List, no model load.
No executable percent surrogate: these categorical/effect observations lack a useful approximation metric. Future supported caps1/2/5/10% need a defined domain/metric and real reference evidence; no error or speed bound is claimed.
invariant
For valid acyclic tree, every kept child had kept parent when activated; content order unchanged. word attrs depth cap4/children3 and relative side/half lose structure.
Cost component: cost.md.
cost
O(L^2) depth/kids plus O(L log L) sort, O(L*ruleconditions) prediction, O(L+output) memory.
composition
learned_fact rejects<3word compression; root existence does not ensure grammatical sentence. Tabular predictions overridden by final function pass.
models
behavior_complement
Drop-all still keeps roots/direct function words. Empty gives '.'. Function child before a later-restored parent may stay dropped because no revisit: no transitive function closure guarantee.
reverse_reconstruction
Text admits arbitrary deleted branches with compatible kept attrs, different lists giving same decisions, and whitespace/punctuation variants normalized away.
world_worldbook_compression_invariants
For valid acyclic tree, every kept child had kept parent when activated; content order unchanged. word attrs depth cap4/children3 and relative side/half lose structure.
world_worldbook_compression_resource_cost
O(L^2) depth/kids plus O(L log L) sort, O(L*ruleconditions) prediction, O(L+output) memory.
world_worldbook_compression_representation_join
learned_fact rejects<3word compression; root existence does not ensure grammatical sentence. Tabular predictions overridden by final function pass.
world_worldbook_compression_domain_partition
Heads0..L, valid acyclic tree for connectedness, finite in-memory List, no model load.
tests
Scoped evidence
Parent selected test names: ["worldbook::wave29_worldlearn::brain_projection_counts_beyond_twelve_and_stops_sources", "worldbook::wave29_worldlearn::compression_root_function_words_and_empty", "worldbook::wave29_worldlearn::list_roundtrip_and_bounded_writer_citations", "worldbook::wave29_worldlearn::mini_zero_budget_keeps_floor_and_first_note"]. These finite tests touch only the named behaviors, not every statement in this fragment. See parent evidence. control-worldbook: compiled source mutation failed with exit101; source restored byte-for-byte and15positive tests passed.
Scope bytes [89383,94437) are bound to the shared parent syntax projection and full source hash. Compression/outcome/brain/standalone/list/writer/mini helpers tested; build/principles/teacher/gather/site/passenger read chains unexecuted. No surrogate.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/world/src/worldbook.rs.groupant/compression.groupant/