# Operator 05 — Generalization / Lift (Stage-0 template)

**Operator.** Generalization: take a prime P and propose its **genus** — the abstraction obtained
by stripping ONE constraint or the domain frame, such that P becomes a species/instance of it.
The historically highest-yield operator (companion doc §3: stochastic_process, coercion,
natural_selection, calibrated_rule_vs_moving_world were all reactive generalization finds), and
the strategic one: on framed primes it moves mass from the open framed layer into the closed
structural core (§5 — the staircase, not the treadmill).

**Status 2026-07-03 (v2 — FRAMED-STRATUM SWEEP COMPLETE).** 236 framed/mixed-framed primes:
60 NEW (25.4%) → 35 survivors → **8 new holds** (exploration_exploitation and consilience
STRONG — both verified absent, both glaring; referent_drift, default_frame_projection ×2-input
convergence, availability_cascade, scapegoat_discharge, agentless_patterned_harm, scaling_law)
+ 9 alias confirmations + **34 missing-edge flags** (genus exists but is not a DAG ancestor) +
stigmergy spotted absent as a side-find. ≈0.39M tokens, ≈49K/new-hold — the staircase pays.
**§D AMENDMENT (mandatory for future op-05 Stage 4): the input being the top search hit for its
own genus is EXPECTED when the genus is absent — retrieval proximity is NOT evidence of
restatement; the sibling test is the discriminator.** Sonnet Stage-4 blanket-zeroed on this
fallacy (~40% of rejects) and was frontier-overridden. Results: `../manifest_op05_framed.yaml`.
Remaining op-05 ground: the structural/unlabeled strata (~1,065 primes ≈ 4M sonnet) — expected
lower yield (structural primes are nearer their genera); owner decides.

**Status 2026-07-03 (v2 PILOTED — GATE PASS).** Sonnet + sibling-evidence rule (§A) cleared the
capability floor: 8 genuine lifts / 53 (v1-haiku: 0), alias-claim precision 13/14, G3 lift
performed (resolved onto existing `cue_outcome_decoupling` — correct corpus-state-aware
outcome; broader `maladaptation` genus remains an open sweep target). Yield: 6 new holds
(inductive_bias STRONG, internal_signal_as_evidence, cross_context_redeployment,
baseline_plus_correction, alternative_space_quantification, magnitude_vs_significance-weak)
+ 2 alias confirmations + foundationalism route #4. Cost 3.6K tokens/app.
**Sweep authorized-pending-owner: framed stratum first** (~260 primes ≈ 10 sonnet batches).
Results: `../manifest_op05_pilot.yaml`. v1 fail record below kept for the methods write-up.

**Status 2026-07-03 (v1, PILOTED — GATE FAIL on Stage-2 content; superseded by v2 above).**
Pilot on the frozen 53-prime sample: 53 apps → 32 NEW → retrieval check killed only 13 →
25 survivors, of which frontier review found **zero genuine genera — every survivor is a
restatement of its input at the same level** (G3 holdout NOT reproduced: the model described
evolutionary_trap instead of lifting to maladaptation). Diagnosis: **the lift move exceeds
haiku's capability floor** — dualization's "flip one axis" is mechanical, but generalization
requires holding the input AND its prospective siblings simultaneously; haiku defaults to
paraphrase. The op-01-style cheap-crank architecture does NOT transfer to this operator.
**v2 spec (pending owner):** (1) SIBLING-EVIDENCE requirement — a valid genus must cover the
input AND ≥2 structurally DIFFERENT siblings, named in REASON; cannot name two → COLLAPSE;
few-shot rewritten to model sibling-naming (stochastic_process: random_walk + branching +
queueing). (2) Run Stage 2 on SONNET, not haiku — costlier per app (~5×) but the operator is
worthless below the capability floor; budget by running framed-stratum first (§5 staircase,
~260 labeled framed/mixed-framed primes ≈ 10 sonnet batches). (3) Retrieval-check restatement
label needs the sibling test too ("would this cover things unlike the input?" — it caught only
6/25 restatements in the pilot).

---

## A. The crank prompt (Stage 2 — cheapest capable model, batched)

> You are applying a single, precise transformation called **GENERALIZATION (lift)** to entries
> from a catalog of "prime abstractions" — domain-general structural patterns of thought.
> Generalization proposes the GENUS of the input: strip exactly ONE constraint or the domain
> frame, so the input becomes a special case of your proposal. Do not skip levels — propose the
> nearest natural genus, not the top of the ontology.
>
> A valid genus is itself a prime: domain-general, structurally distinct, with its own anatomy.
> It is NOT:
> - the input reworded at the same level (COLLAPSE — restatement),
> - a genus the catalog already names under a slug you can actually name (COLLAPSE — alias;
>   report the slug in NEAREST — your claim WILL BE VERIFIED, so never collapse on "surely
>   exists"; if you cannot name a specific slug, the verdict is NEW),
> - a vacuous umbrella ("interaction", "structure", "process", "system", "change") that could
>   parent half the catalog (COLLAPSE — overgeneral; the genus must still exclude most things).
>
> Think about what constraint to strip, then decide. **SIBLING-EVIDENCE RULE (v2): a valid genus
> must cover the input AND at least two structurally DIFFERENT siblings — other instances of the
> genus that are not mere variants of the input. Name them. If you cannot name two honest
> siblings, your "genus" is a restatement of the input: output COLLAPSE with REASON "no siblings
> — restatement".** Bias toward COLLAPSE. For EACH input below, output EXACTLY this contract and
> nothing else:
>
> ```
> INPUT:     <slug, copied from the payload line>
> CANDIDATE: <one sentence, domain-stripped, describing the genus — or NONE if COLLAPSE>
> SIBLINGS:  <2-3 instances of the genus that are structurally unlike the input, or NONE>
> NEAREST:   <slug of the closest existing prime you can name, or NONE>
> VERDICT:   NEW | COLLAPSE
> REASON:    <=12 words
> ```
>
> **Payload:** `P.slug` · `P.one_liner` · `P.core_idea` (~2 sentences) · `P.structural_signature`

**Batching.** 27 payloads/batch, INPUT-line contract, harness counts blocks vs payloads and
re-asks missing slugs (op-01 lesson: agents silently drop payloads at ~2–8% rates).

**Few-shot (all solved; G1–G2 from Phase-C reactive finds, G3 is the calibration holdout — do
NOT include G3 in the prompt):**

```
INPUT:     random_walk
(payload: random_walk · "a path built as the running sum of independent random increments" · [stochastic path: iid steps])
CANDIDATE: A family of random variables indexed by time whose evolution is governed by probabilistic law.
NEAREST:   NONE
VERDICT:   NEW
REASON:    genus of random_walk/markov/brownian; stochastic_process was absent
```
```
INPUT:     concept_drift
(payload: concept_drift · "a learned input-output relationship degrades because the underlying relationship changed" · [learned rule vs moving world])
CANDIDATE: Any calibrated rule degrading as the world it was fitted to moves — the rule-vs-world gap growing over time.
NEAREST:   NONE
VERDICT:   NEW
REASON:    genus of concept/data drift; calibrated_rule_vs_moving_world was absent
```
**Counter-example (alias COLLAPSE — genus now present):**
```
INPUT:     markov_process
(payload: markov_process · "future depends only on present state" · [memoryless stochastic dynamics])
CANDIDATE: NONE
NEAREST:   stochastic_process
VERDICT:   COLLAPSE
REASON:    genus already in corpus (alias)
```
**Counter-example (overgeneral COLLAPSE):**
```
INPUT:     dialectic
(payload: dialectic · "truth-seeking through structured opposition of views" · [thesis-antithesis exchange])
CANDIDATE: NONE
NEAREST:   NONE
VERDICT:   COLLAPSE
REASON:    overgeneral — nearest honest genus is just "interaction", vacuous
```

## B. Collapse test (inherits op-01 v4.2 machinery wholesale)

0. **Alias-claim verification** on every COLLAPSE NEAREST (slug + alias map; unverifiable →
   clean-gap route to Stage 4). Fuzzy matches are menu-hints only.
1. **Ancestor-triviality check (op-05 specific, deterministic):** if the verified NEAREST is
   already an ANCESTOR of the input in the subsumption DAG, the application is a trivial
   rediscovery — trusted collapse, log as DAG-consistency confirmation. If NEAREST exists but is
   NOT an ancestor, that is a **missing-edge flag** (op-13-style byproduct worklist).
2. **Retrieval-grounded cheap-model check** (defanged labels; for op-05, `restatement` = same
   LEVEL as the input, and add label `overgeneral` = vacuous umbrella): candidate + top-6
   one_liner neighbors menu → ALIAS_OF / NOT_A_PRIME<absence|restatement|domain_instance|overgeneral|NONE>.
3. **Protection rule (v4/v4.1):** no cheap-check kill (incl. Stage-2 self-collapse) may retire a
   manifest-known or ≥2-route-convergent candidate's last route.
4. **Deterministic slug-existence check (v4.2)** on every Stage-4 proposed SLUG before frontier
   review.

**Calibration target (pilot, corpus-state-aware).** G3 holdout: evolutionary_trap →
maladaptation (verified still absent 2026-07-02) must surface as NEW or clean-gap and reach
Stage 4. The two few-shot genera (stochastic_process, calibrated_rule_vs_moving_world) are now
IN corpus — their species (e.g. brownian_motion, data_drift if sampled) must resolve as verified
alias-collapses naming them. Zero silent deaths.

## C. Pilot procedure

1. Frozen 53-prime sample (`../pilot_sample.jsonl`) + inject evolutionary_trap if absent (it is
   in the sample). One flavor only (generalization has no sub-flavors; run single pass).
2. Stages 2–4 with the §B machinery; sonnet Stage-4 with search; frontier shortlist review.
3. Gate: zero silent deaths + cost-per-accepted-prime acceptable to owner. Then full sweep,
   which SHOULD be biased toward the framed stratum first (§5 staircase) — sort worklist by
   sf_label: framed, mixed-framed, then unlabeled/structural.
4. NOTE (owner decision 2026-07-03): corpus frozen at 1,325; emergent finds accumulate in
   manifests/stubs for end-of-search batch curation.
