# Extract Invariants > >- - **Type:** Skill - **Install:** `agentstack add skill-ariaxhan-the-agent-library-extract-invariants` - **Verified:** Yes — security-reviewed for prompt injection and unsafe behavior - **Seller:** [ariaxhan](https://agentstack.voostack.com/s/ariaxhan) - **Installs:** 0 - **Category:** [AI & ML](https://agentstack.voostack.com/c/ai-and-ml) - **Latest version:** 0.1.0 - **License:** MIT - **Upstream author:** [ariaxhan](https://github.com/ariaxhan) - **Source:** https://github.com/ariaxhan/the-agent-library/tree/main/process-engines/extract-invariants ## Install ```sh agentstack add skill-ariaxhan-the-agent-library-extract-invariants ``` Requires the [AgentStack CLI](https://agentstack.voostack.com/docs/cli). Works with Claude Code, Cursor, and any MCP-compatible agent. ## About # Extract Invariants Metaphors are how good ideas travel between domains, and also how decorative complexity sneaks into systems. The failure mode is consistent: a compelling name ("immune memory", "pheromone trails", "energy minimization") gets an API before anyone checks whether a distinct mechanism exists under it. Months later the code performs elaborate ceremony that reduces to a cache, a counter, or nothing at all. This skill is the gate. A borrowed idea passes only as a domain-free mechanism; the vocabulary it arrived in never ships. ## The test in one line If the idea still needs its source-domain noun to sound meaningful, it has not been abstracted yet. ## 1. State the phenomenon plainly Write down what the source system actually does, in the source domain's own terms. One paragraph. No implications for your system yet. Example: "Black holes have event horizons: regions where causal influence flows in one direction only." ## 2. Strip every domain noun Rewrite the phenomenon with all source-specific vocabulary removed. Every noun must be generic: boundary, log, score, budget, gate, copy, signal, decay. - "Event horizon" becomes "an irreversible causal boundary: information may cross in one direction and never back." - "Immune memory" becomes "a pattern store keyed by past attacks, with faster response on re-encounter and gradual decay." - "Pheromone trail" becomes "a shared score that successful paths increment and time decays." If the rewrite says nothing, stop: you had a mood, not a mechanism. Record the rejection and why. ## 3. Extract the smallest invariant Reduce the stripped description to the minimal relationship that must hold, plus its necessary conditions. Ask: what is the smallest claim that, if false, kills the idea? Format: - **Invariant**: the domain-free claim. - **Necessary conditions**: what must be true of any system for the invariant to apply. - **Tradeoffs**: what enforcing it costs. - **Failure modes**: how systems that rely on it break. ## 4. Demand independent recurrence One domain is an anecdote. Search for the same invariant, independently evolved, in at least two unrelated domains (biology and markets; distributed systems and law; ecology and open source). Kill rule: no recurrence across genuinely unlike domains within a bounded search, then classify it as an interesting metaphor and stop. Recurrence is the evidence. Convergent evolution under similar constraints is what separates an organizational law from a poetic resemblance. Beware the near-miss: two domains that share ancestry (two internet communities, two mammal species) are one domain for this test. ## 5. Check it is operational and falsifiable A surviving candidate must answer all three: - **Instantiation**: what is the smallest software or process change that implements it? Name the concrete primitive (append-only log, quarantine boundary, expiring authority, reputation score, selection loop). - **Falsifier**: what observation would prove it wrong or useless here? - **Cost of being wrong**: what breaks if you adopt it and the invariant does not actually hold in your system? No falsifier means it is faith, not design. Reject or park it. ## 6. Record the verdict either way Write the outcome where future work will find it: - **Admitted**: invariant, conditions, tradeoffs, failure modes, domains observed, proposed instantiation, falsifier, confidence. - **Rejected**: the candidate, which step killed it, and the one-line reason. Rejections prevent the same metaphor from being re-excavated every quarter. The record is the deliverable. An extraction that lives only in the conversation will be repeated, badly, by someone else. ## Worked warning: how it fails without the gate A real system built "crystallographic structure factors" for measuring code quality: complex numbers, phase agreement, R-factors, three hundred lines. Under review, the machinery computed its elaborate score, then overrode it with the raw test-failure rate whenever the two disagreed. The metaphor had an API; the mechanism was a division. The same system's "pheromone-based coordination" scored answers by character length. The tell in both cases: the vocabulary was doing the persuading. Strip the names and read what the code does. When the names carry the meaning, this skill was skipped. ## Anti-patterns - **Metaphor-as-API**: naming modules after the source domain. Names should describe the mechanism (pattern-cache, decay-score), never the inspiration. - **Recurrence by ancestry**: citing sibling domains as independent evidence. - **Poetic invariants**: claims with no possible falsifier ("systems seek balance"). - **Batch romanticism**: importing a whole source domain at once. Invariants pass one at a time, each with its own evidence. - **Skipping the rejection record**: unrecorded rejections guarantee re-litigation. ## Source & license This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code. - **Author:** [ariaxhan](https://github.com/ariaxhan) - **Source:** [ariaxhan/the-agent-library](https://github.com/ariaxhan/the-agent-library) - **License:** MIT Install and usage instructions live in the source repository linked above. ## Pricing - **Free** — Free ## Security capabilities Automated source analysis of v0.1.0 — what this tool can access: - **Network access:** no - **Filesystem access:** no - **Shell / process execution:** no - **Environment & secrets:** no - **Dynamic code execution:** no *"Yes" means the capability is present in the source — more access means more to trust, not that it is unsafe.* ## Versions - **0.1.0** — security scan: passed — Imported from the upstream source. ## Links - Listing page: https://agentstack.voostack.com/l/skill-ariaxhan-the-agent-library-extract-invariants - Seller: https://agentstack.voostack.com/s/ariaxhan - Browse the marketplace: https://agentstack.voostack.com/browse --- Listed on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Creators keep 70%.