Kıyas
Docs

Operators — the generative moves

Mirrored from the skill package. This is the canonical English text that Claude actually loads, published here so it can be read next to its Turkish mirror instead of only on GitHub. Edit the source above, not this page; the Turkish mirror is docs/tr/operatorler.md.

Kıyas — Generative Operators, Anti-Pattern Sweep, Mizan Seed

[Revised 2026-07-22 — A1/A3/A4] The operational half of SKILL.md’s A1–A4 patches lives here: (A1) Prior art + discrimination test fields in the output contract and the seed template; (A3) instrument-specific calibration nuance in AD1 (thresholds are not inherited across instruments); (A4) the new AD6 — trace base-rate prior; plus the capacity-control arm (A2) and trace base-rate prediction (A4) fields in the seed template. The seven operators and the analogical core did not change.

[Revised 2026-08-19 — G8/G9] §2’s contract is now enforced where it was only stated: an [H-aday] needs its cheapest refutation and a prior-art search, both mandatory in this file since v1.0 and neither checked until now. The seven operators are unchanged.

[Revised 2026-08-19 — G7] §2’s contract now states that the batch carries its discards, and the schema enforces it. The seven operators and the analogical core are unchanged.

[Revised 2026-07-23 — G1–G6] §2’s contract and §4’s template have a machine-readable twin in schemas/kiyas-seed.yaml, enforced by tools/kiyas_validate.py. The prose below stays authoritative for how to think; the schema is what a project commits to a repo. §3’s flags are not equal in force — AD1/AD2/AD4 force a tier, AD5/AD6 require a caveat to travel with the seed. That distinction is deliberate: if every flag blocked promotion, authors would learn to leave the sweep silent, which is worse than a flagged seed that states its scope.

Contents:

  1. The seven generative operators (when / how / worked example)
  2. The output contract (every idea leaves in this envelope)
  3. The anti-pattern sweep list
  4. The Mizan preregistration-seed template

Worked examples are drawn from the user’s SpectralLM/GS-SSM project; the goal is to give the operator a concrete feel, not to re-assert those results.


1. The seven generative operators

Use at least three different operators in a single generation. Diversity comes from operator choice, not from saying “more analogies”.

O1 — Kıyas (analogy transfer) [core]

O2 — Inversion

O3 — Constraint relaxation

O4 — Limit / edge case

O5 — Scale transfer

O6 — Combination (collision)

O7 — Substrate swap


2. The output contract (every idea leaves in this envelope)

IDEA: <one sentence, refutable claim>
Operator: <O1..O7>
Illet: <the structural equivalence CARRYING the analogy/relation — NOT surface
  resemblance>
Breaking point: <where the analogy/relation stops holding — MANDATORY>
Cheapest refutation: <the smallest test that kills it; a Mizan preregistration
  seed. [A2] if the test adds capacity/parameters, a MATCHED-BUDGET control arm
  is MANDATORY>
Arbiter: <who returns the verdict: runtime / instrument / third_party / author
  / none, plus the concrete judge. author or none caps the seed — say so>
Prior art: <closest literature lineage, name+year; if a SUPERIORITY claim is
  made, name the strongest relative — if that rival is not in the comparison
  set, the tier stays [S]>
Tier: [S] / [H-aday] / [NK] / [GB]

If the Illet line is empty the idea was not generated — discard it, do not even call it “decorative”. If the Prior art line says “not searched”, a superiority/originality claim CANNOT be [H-aday] [A1].

The machine-readable form of this envelope is schemas/kiyas-seed.yaml; the checker is tools/kiyas_validate.py (G1–G15, plus non-blocking W1–W7). It verifies that the fields are filled, never that they are true — see SKILL.md §”The runtime arbiter”.

The batch also carries its discards [G7]. Alongside the seeds, record what was weighed and refused, each entry naming the idea and the reason it was refused — the anti-pattern that caught it (AD1..AD6) or the prior art that already occupies it. The block is required even when nothing was discarded, in which case say so and name what was considered. A batch listing only survivors is indistinguishable from one where nothing was ever weighed.


3. The anti-pattern sweep list

Run every generated idea through this; take whatever flag catches.

AD1 — Notation coincidence → [NK]

AD2 — Surface resonance → discard or [S]

AD3 — Confirmation bias → add symmetry

AD4 — Relative of a past refutation → [GB]

AD5 — Scale/regime leak → scope caveat

AD6 — Trace base-rate prior → write the base rate into the prediction [A4]


4. The Mizan preregistration-seed template

Turn [H-aday] ideas into seeds that paste straight into a Mizan Registry Entry (Kıyas stops here; the tier is Mizan’s/the user’s business):

### HX — <idea name> `[H]` `[preregistration seed — Kıyas O# generation, YYYY-MM-DD]`
*(Origin: Kıyas, operator O#, <problem sentence>. Illet: <...>)*
- Formal: <refutable claim>
- Metric: <what, with which instrument — file/script/data>
- Arbiter: <runtime / instrument / third_party / author / none + the concrete
  judge + verdict latency. Mizan R8 will demand this field; a seed that carries
  it arrives complete>
- Capacity-control arm [A2]: <symmetric arm giving the extra budget to a
  generic channel (amplitude/diagonal/hidden dim); promotion rule:
  Δ(target) − Δ(generic capacity) ≥ threshold. If the test adds NO capacity,
  write "not needed">
- Threshold (proposal, Mizan locks it): <numeric decision rule; from the
  instrument's OWN null — not inherited [A3]>
- Refutation: <which result kills it; two-sided informativeness>
- Prior art (named): <closest lineage, name+year>
- Discrimination test [A1]: <the strongest relative; is it in the comparison
  set; how the claimed distinction gets tested against that rival>
- Trace base-rate prediction [A4]: <if a relevant trace exists, the base rate
  plus the in-/out-of-distribution caveat>
- Breaking point (carried from Kıyas): <the analogy's limit>
- Anti-pattern flag: [NK]/[GB]/AD5/AD6/none
- Cost: <rough effort>
- STATUS: ⏳ Kıyas seed — awaiting Mizan preregistration