# Operator 11 — Analogy Completion (Stage-0 template)

**Operator.** Analogy completion: A:B :: C:? — given a known structural relationship between two
things (A→B), and a third prime C standing in an analogous position, extrapolate the missing fourth
term D. N-ary. The genuinely novel ground is **cross-relational** analogy — a deep structure-preserving
mapping (a "functor"), NOT a single-axis operator move.

**Critical scoping — exclude operator re-runs.** If the A→B relation is itself one of the operators
we have already swept (dualization, self-application, temporalization, spatialization, generalization,
modalization, threshold, perspective), then "complete the analogy for C" is just *re-applying that
operator to C* — already exhausted. Op-11's ONLY distinctive contribution is a D reached by a
**composite / cross-domain structural mapping** that no single operator produces. The template
enforces this: a candidate D is rejected if it is a simple dual / genus / meta / dynamic / field /
modal / threshold version of C.

**⚠ EXPECTED LOW YIELD.** The corpus was built largely by cross-domain mining, so most deep analogies
are already realized (the corpus is full of cross-domain abstractions that ARE completed analogies).
Op-11 is run as a bounded saturation-check pilot on the frozen 53-sample, like op-7/8/12.

**Model tier.** Sonnet (analogy generation + the "is this just an operator re-run?" filter need
judgment).

---

## A. The crank prompt (Stage 2 — sonnet, batched)

> You are applying ANALOGY COMPLETION to entries from a catalog of "prime abstractions" (domain-general
> structural patterns of thought). For each input prime **C**, construct a PROPORTIONAL ANALOGY
> A : B :: C : D where A→B is a well-known structural relationship between two OTHER concepts, C stands
> in the A-position of an analogous relationship, and **D is the missing fourth term** — the prime that
> completes it.
>
> Output a real prime D only if ALL hold: D is domain-general, structurally distinct, NOT already in
> the corpus, AND **not reachable by a single operator move on C** — i.e. D is NOT merely C's opposite
> (dualization), C's genus (generalization), C-applied-to-itself (self-application), C-over-time
> (temporalization), C-as-a-field (spatialization), C-made-modal (modalization), or C-at-a-threshold.
> D must come from a genuine CROSS-RELATIONAL / composite structural mapping (a functor), the kind that
> no single axis-move produces.
>
> It is NOT a valid NEW if: D already exists (COLLAPSE — alias, name it); D is just a single-operator
> transform of C (COLLAPSE — "operator re-run:<which>"); or no genuine analogy completes with a
> distinct D (COLLAPSE — "no completion"). Bias HARD toward COLLAPSE.
>
> For EACH input C, output EXACTLY:
>
> ```
> INPUT:     <C slug, copied>
> ANALOGY:   <A : B :: C : D — state the A→B relation and the analogy in one phrase>
> CANDIDATE: <one sentence describing D, the completing prime — or NONE>
> WHY_NEW:   <why D is NOT a single-operator transform of C — or NONE>
> NEAREST:   <closest existing prime to D you can name, or NONE>
> VERDICT:   NEW | COLLAPSE
> REASON:    <=12 words>
> ```
>
> **Payload:** `C.slug · "C.one_liner" · core (~1 sentence)`

## B. Collapse test
0. Alias-claim verification on NEAREST + on D's obvious name (slug + alias map). Exists → alias COLLAPSE.
1. Operator-re-run filter: if WHY_NEW is NONE or D is plainly C's dual/genus/meta/dynamic/field/modal/
   threshold form → COLLAPSE (not op-11's ground; already covered by that operator's sweep).
2. Deterministic slug check on any Stage-4 proposed slug. §D amendment inherited.
3. Survivors (D absent + genuinely cross-relational) → sonnet Stage-4, STRONG-only.

## C. Pilot / run procedure — DOUBLES AS SATURATION CHECK
1. Run over the frozen 53-sample (`../pilot_sample.jsonl`), sonnet, 2 batches. (Comparable to other
   pilots; the 53-sample spans structural+framed.)
2. Funnel; verify each surviving D is absent AND not an operator-re-run.
3. SATURATION: if ≈0 genuine cross-relational new primes → retire (record any real find). If ≥1,
   widen to a larger seed set.
4. Manifest + SATURATION row + stubs (if any) + runbook/memory/FINDINGS update.

## D. Notes
- The hardest judgment is the operator-re-run filter — many "analogies" collapse to a dualization or
  generalization already swept. That collapse is EXPECTED and correct; it confirms the unary sweeps
  covered that ground.
- A near-zero yield is a completeness result: the corpus's cross-domain analogies are largely realized.
