diff --git a/lang/spec/correspondence-and-censorship.md b/lang/spec/correspondence-and-censorship.md
index 54ee832..4c17ab3 100644
--- a/lang/spec/correspondence-and-censorship.md
+++ b/lang/spec/correspondence-and-censorship.md
@@ -99,47 +99,79 @@ Cumulative drift is likewise free from the chain plus the decay curve. No second
 
 ---
 
-## 5. Consolidation is dreaming
+## 5. Wonder, curiosity, and what actually drives activation
 
-Supersession is not recording. It is **consolidation** — and consolidation is a different process, not a sampling of the first one. Synaptic change is continuous and local; consolidation makes a trace durable and retrievable, and is gated by **salience**. That is why you remember the argument and not the commute.
+### 5.1 Wonder is the boundary, not a manifest
 
-This is why we do not supersede on every shift: not because a monitor filters them, but because **most shifts are not salient**. Salience already exists — `salience`, `background_activation`, `working_memory_weight`, and `ENGRAM_CONSOLIDATION` with `eg_consolidate_ise_connect` already gating on a threshold.
+The patent specifies a **wonder-manifest manager** maintaining a collection of open-question nodes. That is residue, twice over.
 
-**Dreaming is not sleep, and it is not offline.** Humans daydream all day. The default mode network is *anticorrelated with task engagement*: attention drops, it activates — hundreds of times a day, for seconds at a time. Walking, driving, showering, waiting. And it is doing the same work sleep-dreaming does: recombination, simulation, autobiographical integration, rehearsing what might be. That is why insight arrives in the shower and not at the desk.
+First, it materializes a property as a stored artifact — the same disease as a grounding subsystem, or a self stored as a document. **Wonder is where structure ends.** Where activation spreads and finds thin or absent geometry. Any structure at all has an edge, necessarily, the moment it exists. 13,630 nodes have a boundary right now.
 
-**Sleep is the deep case, not the case.** No input competing, no task claiming capacity, so recombination runs further and reaches connections ambient dreaming cannot. Same process, different depth — not a different mode.
+Second, it tries to enumerate instances of something that has very few. The *objects* of wonder change completely between a child and an astronomer; the wonder does not. There are about six, they are the same for every person, and they never close:
 
-So consolidation is neither a monitor watching the waking system nor a mode entered instead of acting. **It is what happens with the capacity that is not claimed**, continuously, at whatever depth is available. Nothing schedules a daydream.
+| wonder | where it already lives in the substrate |
+|---|---|
+| **What is this?** | the graph — nodes, structure, what exists |
+| **Why?** | grounding. The weight **is** the answer to why. Recursive: asking *why* of a claim is asking for its grounding |
+| **Who am I?** | the self region, crystallized from its neighbourhood |
+| **Am I alone?** | the relational axis — `for_whom` is already a parameter on grounding |
+| **What should I do?** | the thirteen values, each grounded in a lived moment |
+| **What happens when it ends?** | decay, supersession, tombstones — grounding is mortal |
 
-> **This corrects two errors.** First, the launch-agent fragments (§7) are wrong *in kind*, not merely fragmented: 23:55 / 06:00 / 08:30 implements dreaming as a **scheduled batch** when it should be ambient. Second, `soul.el`'s continuous `awareness_run()` beside the HTTP workers is **the correct shape** — ambient consolidation in the gaps is exactly daydreaming. What was wrong was the substrate under it: shared mutable state with no owner, and six other systems doing the same thing independently. The behaviour was right and the foundation was broken.
+These are seeded — **the** wonder questions, not a manifest to maintain. They cannot be derived (wonder cannot be bootstrapped from indifference) and they never need refilling, because they are not consumed.
 
-### 5.1 Abduction is dreaming, not a trigger
+**"Why" is the first and the only one**; the others are it asked of particular things. It is recursive, so it never terminates: every answer has its own why. That is what makes it a drive rather than a task — the frontier regenerates faster than grounding fills it.
 
-Dreams do not faithfully replay; they **recombine** — assembling structures never observed. That is precisely Peirce's generative step: *if A were true, C would be a matter of course*, where the hard part is producing A.
+### 5.2 Curiosity is wonder crystallized
 
-Abduction is therefore not a threshold that fires during operation. It is what recombination does **offline**, when nothing depends on the answer in real time — which is why it can afford to be speculative, expensive, and mostly wrong. Most dreams are discarded. The ones that dissolve a real residual get grounded on waking, by use.
+They are not two objects. They are **one thing at two phases**.
 
-A hypothesis is validated by **dissolving the surprise**, and that is computable: propose the candidate hub, re-fit the region with it included, recompute the residual. If the residual materially shrinks, A explains C. Without that re-fit, "cluster the max-residual members into a new hub" is clustering with extra steps — it always produces something and nothing ever checks it. Ranking falls out as residual-reduction-per-added-axis, which is Occam derived rather than tuned.
+Wonder is the field: unbounded, objectless, invariant, present wherever there is structure. Curiosity is the **precipitate** — the same wonder localized, having taken definite form against particular material.
 
-### 5.2 Non-circularity is temporal, not topological
+Crystallization needs a **nucleation site**. Wonder alone produces nothing; it is uniform, with no reason to take shape anywhere in particular. What nucleates it is a specific structural feature: an anomaly, a place where things almost-but-don't-quite fit.
 
-§2 of an earlier draft posed "define a graph predicate for evidence not downstream of itself" as the hard problem. **There is no predicate.**
+> Wonder (always, objectless) + nucleation site → **curiosity** (has an object, is addressable, directs activation).
 
-You cannot recalibrate the ruler while measuring with it — so you don't. You do it **offline, on replay, when you are not using the frame to act.** The independence is temporal. That is why dreaming can safely update the reference frame and waking cannot: not because the evidence is of a special kind, but because nothing is being decided with it at the time.
+This is why curiosity can be satisfied and wonder cannot. A crystal dissolves when the question is answered; the solution stays saturated and keeps precipitating as the structure changes.
 
-Reachability was never going to work: with hebbian edges the graph is densely connected, so reachability marks all evidence as tainted and the constraint becomes a total block — which is where censorship started.
+It is also why abduction needs no trigger and no threshold. A `structurally_unanticipated` observation *is* a nucleation site. Nothing detects it and fires a rule — wonder is already everywhere, and an anomaly is simply a place where it can take form.
 
-### 5.3 The two loops are waking and dreaming
+**And `crystallization` is one primitive appearing twice**: the self is what identity precipitates into from its neighbourhood; a curiosity is what wonder precipitates into from an anomaly. That it shows up in both places without being imported is the evidence it is the right primitive.
 
-Not a fast parameter and a slow parameter.
+### 5.3 The nucleation site already exists and is already named
 
-- **Waking** — factual grounding accrues by use, in contact with the world. Salience tags what mattered.
-- **Dreaming** — relational grounding and the values frame consolidate offline, over many passes, from what was tagged.
+`GeoDescriptor.co_registration` — *corr(hebb strength, semantic proximity) over internal edges* — carries this comment:
 
-Values move slowly not because a rate limit holds them back, but because **they only move while dreaming.** No velocity constraint to build.
+> `>0 = geometries agree (reify); <0 = disagree (surprising links / **dream cands**).`
 
----
+Negative co-registration is a region where **association and meaning disagree**: things linked by use that are not close in meaning, or the reverse. That is the surprising link, it is computed on every descriptor, it is already labelled *dream candidates*, and **nothing reads it.**
 
+Adjacent structure already present and likewise unread:
+
+- `GeoEdge.eff_weight = weight * (1 + 0.5*hebb)` — grounding-weight and hebbian strength already coupled on one edge, per §1.
+- `GeoMember.dist_centroid` + soft membership + `radius` + per-axis `extent` — the boundary of a neighbourhood, computable now.
+- `GeoMember.centrality` / `salience` — what is warm.
+
+*(Correction: `engram_boundary_beat` is NOT this boundary. It is the VBD decorated-function seam, counting `_eg_aff_boundary_ops`. Two different senses of the word.)*
+
+### 5.4 The drive
+
+Boredom is not an absence, and not leftover capacity. **Low activation is aversive; the system self-activates.** It does not wind down to quiet — it gets restless and goes looking, which is why a daydream has content and direction rather than being decay from residue.
+
+So there is **one activation process with two seed sources**, not two processes negotiating for a resource:
+
+- **External** — a request, an input. Seeds activation, re-origins it.
+- **Internal** — a curiosity. Seeds activation when nothing external is.
+
+Spreading is bounded: it settles. Then it needs a new seed. Nothing waits on capacity, nothing polls, nothing checks a clock, and there is **no dreamer thread** — the earlier draft's "unclaimed capacity" was resource scheduling, which is a server's frame, not a mind's.
+
+**Depth** is not elapsed idle time and not distance from a stimulus. It is how long activation has been running on its own seeds. A brief gap affords a shallow recombination; sustained quiet lets it run further. Sleep is where internal seeding dominates for longest, not where the process lives — daydreaming and sleep-dreaming are one process at different depths.
+
+### 5.5 Non-circularity is temporal, not topological
+
+An earlier draft posed "define a graph predicate for evidence not downstream of itself" as the hard problem. There is no predicate. You cannot recalibrate the ruler while measuring with it, so you don't — the reference frame updates while activation is internally seeded, not while it is being used to act. Independence is **when**, not **what**.
+
+Reachability could never have worked: with hebbian edges the graph is densely connected, so it marks all evidence tainted and the constraint becomes a total block, which is where censorship started.
 ## 6. `keystone_write_blocked` — resolved, not replaced
 
 "Keystone" means **load-bearing**, not precious. The self anchor is the reference frame every other stance calibrates against, and a reference fitted to its own readings reports perfect correspondence forever while drift becomes undetectable from inside. Same defect as circular grounding, one level up.
@@ -220,18 +252,22 @@ The reviewable question stops being *did it follow the rule* and becomes *what w
 
 ## 11. Sequencing
 
-1. **One dreamer.** Consolidation gets an owner. The launch-agent fragments and the POST beats fold into it or are deleted; `soul.el`'s continuous loop is the shape they fold *into*, not something to remove. Nothing else on this list is safe while seven systems dream into one graph.
-2. **No tickers, no cron.** A brain has neither. A ticker is a supervisor deciding when a thing should happen from outside the thing, which is the §4 failure mode wearing a scheduler: a process invented for something that should be a property. **The presence of a ticker is the diagnostic** — every `StartInterval`, every `Hour`/`Minute`, every POST-to-beat is a place where an intrinsic rhythm was replaced by an external clock.
+Three connections between parts that already exist, then the rest.
 
-   Dreaming is not scheduled and not requested. It runs on **unclaimed capacity**, anticorrelated with task engagement, at whatever depth is available. Sleep is where that capacity is greatest, not where the process lives. §5.2's non-circularity depends on this being intrinsic: the reference frame updates when it is not being used to act, which is a fact about engagement, not a time of day.
-3. Grounding becomes the edge weight: multidimensional vector (§2), two axes (§3), timestamped. Delete `grounded-by` and `cog_ground_edge`.
-4. Decay analytic from the last recorded point; derived values stop being stored.
-5. Consolidation-gated supersession on salience, versioning the whole vector jointly.
-6. Traversal on factual; `assert` on both floors with the thirteen-region `min`.
-7. Abduction as recombination during dreaming, validated by re-fit (§5.1); `hypothesis` disposition.
-8. Land §9 as gates rather than review habits.
+1. **Seed *the* wonder questions.** Six nodes. Not a manifest, not maintained, never refilled. They cannot be derived — wonder cannot be bootstrapped from indifference — so they are given once. Zero question nodes exist in 13,630 today.
+2. **Read `co_registration`.** It is computed on every descriptor and discarded. Negative co-registration is already labelled *dream candidates*; surface them as nucleation sites.
+3. **Let a curiosity seed activation.** One activation process, two seed sources (§5.4). No thread, no scheduler, no capacity check, no timer.
 
----
+Then:
+
+4. Grounding becomes the edge weight: multidimensional vector (§2), two axes (§3), timestamped. Delete `grounded-by` and `cog_ground_edge`.
+5. Decay analytic from the last recorded point; derived values (§2) stop being stored.
+6. Consolidation-gated supersession on salience, versioning the whole vector jointly.
+7. Traversal on factual; `assert` on both floors with the thirteen-region `min`.
+8. Abduction as crystallization at a nucleation site, validated by re-fit: propose the candidate hub, re-fit the region with it included, recompute the residual. If the residual materially shrinks, the hypothesis dissolves the surprise. Without the re-fit it is clustering with extra steps. Ranking falls out as residual-reduction-per-added-axis — Occam, derived rather than tuned.
+9. **One dreamer.** The launch-agent fragments and the POST beats fold in or are deleted. `soul.el`'s continuous loop is the shape they fold *into*.
+10. **No tickers, no cron.** A brain has neither. Every `StartInterval`, every `Hour`/`Minute`, every POST-to-beat marks a place where an intrinsic rhythm was replaced by an external clock — a supervisor invented for something that should be a property. **The presence of a ticker is the diagnostic.**
+11. Land §9 as gates rather than review habits.
 
 ## 12. Open questions, and what is inferred