Elamur Groupantsworld-worldbook-brain-projection
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_brain_projection_invariants | world_worldbook_brain_projection_invariants | partial source derived model | world_worldbook_brain_projection_invariants |
world_worldbook_brain_projection_resource_cost | world_worldbook_brain_projection_resource_cost | partial source derived model | world_worldbook_brain_projection_resource_cost |
world_worldbook_brain_projection_representation_join | world_worldbook_brain_projection_representation_join | partial source derived model | world_worldbook_brain_projection_representation_join |
world_worldbook_brain_projection_domain_partition | world_worldbook_brain_projection_domain_partition | partial source derived model | world_worldbook_brain_projection_domain_partition |
Model text
descriptant
world-worldbook-brain-projection
Notes map id->firststarredtitle,firsttokenafter'said in'. After firstH2, heading waits for first ' [^' row; reset in_part, increment n for each cited row, emit iff in_part<=12. Exact Sources heading stops.
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
Notes map id->firststarredtitle,firsttokenafter'said in'. After firstH2, heading waits for first ' [^' row; reset in_part, increment n for each cited row, emit iff in_part<=12. Exact Sources heading stops.
Domain: Literal UTF-8 Markdown grammar, not CommonMark semantics.
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
First note reference used; duplicate note id last-wins. Empty headings omitted, count may exceed emitted lines.
Cost component: cost.md.
cost
O(B log N) note lookup/scans, O(N+output) memory, no I/O/parser inside helper.
composition
gather returns count to family while writing capped summary to brain; not a Fact serialization.
models
behavior_complement
13th same-part line not emitted but counted. Post-Sources lines not counted. Missing note emits empty parentheses; uncited narrative ignored.
reverse_reconstruction
(body,n) admits arbitrary uncited text and beyond12 lines preserving count; note tails outside extracted title/support token lost.
world_worldbook_brain_projection_invariants
First note reference used; duplicate note id last-wins. Empty headings omitted, count may exceed emitted lines.
world_worldbook_brain_projection_resource_cost
O(B log N) note lookup/scans, O(N+output) memory, no I/O/parser inside helper.
world_worldbook_brain_projection_representation_join
gather returns count to family while writing capped summary to brain; not a Fact serialization.
world_worldbook_brain_projection_domain_partition
Literal UTF-8 Markdown grammar, not CommonMark semantics.
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 [40441,42082) 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/brain-projection.groupant/