@sensigo/realm 0.41.0 → 0.42.0

package/dist/workflow/step-key-registry.d.ts

@@ -0,0 +1,1258 @@
+import type { WarningCode } from './diagnostics.js';
+import { KNOWN_STEP_KEYS } from '../types/workflow-definition.js';
+import type { ExecutionMode } from '../types/workflow-definition.js';
+export type StepKeyWitness = {
+    file: string;
+    pattern: string;
+    count?: number;
+};
+export type StepKeyVia = {
+    kind: 'advisory';
+    code: WarningCode;
+} | {
+    kind: 'waived';
+    reason: string;
+} | {
+    kind: 'tracked';
+    issue: `#${number}`;
+};
+export type StepKeyCell = {
+    c: 'consumed';
+    where: StepKeyWitness[];
+    when?: {
+        desc: string;
+        witness: StepKeyWitness;
+    };
+    inert_subpop?: Array<{
+        desc: string;
+        via: StepKeyVia;
+    }>;
+} | {
+    c: 'prohibited';
+    by: StepKeyWitness[];
+    line: 'key' | 'path' | 'step';
+    except?: {
+        desc: string;
+        via: StepKeyVia;
+    };
+    message_data?: string;
+    /** #517: the minted FRONT-CLAUSE grammar for a GENERIC (no-`message_data`) minted cell.
+     *  'not_valid'  → `'X' is not valid on execution: <this cell's kind> steps` — the historical
+     *                 kind-prohibition-loop grammar, preserved byte-for-byte (golden-proven).
+     *  'only_valid' → `'X' is only valid on execution: <derived consumed kinds> steps` — the
+     *                 historical twin-only grammar; the valid-kind set is DERIVED from this
+     *                 registry's own consumed cells (`consumedKindsFor`), never typed by hand.
+     *  Exactly the generic minted population carries this field: `message_data` XOR `front` on
+     *  every minted cell, and neither on an `except` cell — a conformance cell asserts the
+     *  partition. */
+    front?: 'not_valid' | 'only_valid';
+} | {
+    c: 'blocked_transitive';
+    via: (typeof KNOWN_STEP_KEYS)[number];
+    by: StepKeyWitness[];
+    message_data?: string;
+} | {
+    c: 'inert';
+    via: StepKeyVia;
+} | {
+    c: 'na';
+    reason: string;
+};
+/** Strips block and line comments, then collapses every whitespace run to a single space. Run on
+ *  BOTH the real source and the registry's own pattern before matching, so a pattern can be
+ *  written as a readable one-line slice of code that may itself span or sit beside comments in
+ *  the file. The single-char lookback on `//` keeps a `https://…` literal from being truncated as
+ *  if it opened a line comment.
+ *
+ *  Deliberately a manual, single left-to-right scan rather than the equivalent lazy-regex pair
+ *  (`/\/\*[\s\S]*?\*\//g` + a lookback-guarded `//` strip) that a first draft of this file
+ *  shipped: CodeQL flagged that pair as a genuine polynomial-time DoS — a run of unterminated
+ *  `/*` occurrences (no closing `*\/` anywhere after them) forces a full failed scan-to-end for
+ *  EACH occurrence, which is quadratic in the number of occurrences. The scan below still does at
+ *  most one `indexOf` per comment opener, but a failed `indexOf` (no closer anywhere in the rest
+ *  of the string) ends the whole pass immediately — linear, not quadratic, in the worst case. */
+export declare function normalizeSource(text: string): string;
+/** Exact non-overlapping occurrence count of `pattern` inside `source`, both normalized first. */
+export declare function countWitnessMatches(source: string, pattern: string): number;
+export declare const MINT_WITNESS_PATTERN = "errors.push( withKeyLine( stepName, key, `Step '${stepName}': ${renderRegistryProhibition(key, kind, cell)}`,";
+/** #517 rung 2: file-shorthand → the operator phrase a consequence clause names it by. TOTAL over
+ *  every file this registry cites as a witness (conformance-checked below — a missing entry is a
+ *  red cell, not a silent fallback). Operator words, never file basenames (D7-5). */
+export declare const SURFACE_NAME: Record<string, string>;
+/** #517 rung 2: where a generic-prohibited key actually LIVES — the data behind the minted
+ *  message's witness-backed consequence clause. `kinds` is asserted deep-equal to the DERIVED set
+ *  of kinds whose cell is `consumed` (truth cell 1); `site` is REFERENCE-IDENTICAL to a member of
+ *  one of this key's consumed cells' `where[]` (truth cell 2) — the message's factual citation IS
+ *  the tested witness, one object; `mechanism` is asserted byte-contained in every minted generic
+ *  message for the key (truth cell 3) and must CONTAIN `SURFACE_NAME[site.file]` (truth cell 4).
+ *
+ *  STATED RESIDUAL (the D4-4 honesty line): a wrong VERB in the mechanism prose is not
+ *  machine-caught — the truth cells bind the surface named and the witness cited, not the
+ *  grammar of what the surface DOES with the key. That last inch stays on review.
+ *
+ *  `remedy` is per-key judgment: a re-admission clause appears ONLY where a genuine widening is
+ *  on the board (the three-clause doctrine — no boilerplate fourth clause). Two are open today:
+ *  #360 (when×finalizer — a mint-time 'when' evaluation for finalizers), carried by the `when`
+ *  remedy, and #366 (guard failure-gating), carried by the `trigger_rule` guard remedy; no other
+ *  entry has one.
+ *
+ *  `mechanism`/`remedy` are per-kind-CAPABLE (`PerKindText`, issue #417's message-claim-truth
+ *  sweep): a per-kind variant exists ONLY where one string cannot be truthful for every
+ *  prohibited kind at once (the same fork #362/#413 already use for per-key rules, lifted into
+ *  data here). The truth cells iterate EVERY variant a `PerKindText` can mint
+ *  (`homeTextVariants`); the mint selects the refused step's own kind (`homeText`). */
+export type PerKindText = string | ({
+    default: string;
+} & Partial<Record<ExecutionMode, string>>);
+export type ConsumedHome = {
+    kinds: ExecutionMode[];
+    mechanism: PerKindText;
+    site: StepKeyWitness;
+    remedy: PerKindText;
+};
+/** The minted text for one refused kind: the per-kind arm when one exists for it, else the
+ *  shared default. */
+export declare function homeText(text: PerKindText, kind: ExecutionMode): string;
+/** Every DISTINCT string a `PerKindText` can mint, across all kinds — what the truth cells
+ *  assert over (strictly stronger than asserting only the `default` arm). */
+export declare function homeTextVariants(text: PerKindText): string[];
+export declare const CONSUMED_HOME: Partial<Record<(typeof KNOWN_STEP_KEYS)[number], ConsumedHome>>;
+/** #517: the TRUE prohibited set per kind — every key whose cell on `mode` is `prohibited`
+ *  WITHOUT an `except` arm (the except cell, today exactly trust×finalizer, keeps its
+ *  value-conditional hand-written check and is deliberately absent). The loader's exported
+ *  `GUARD_PROHIBITED_STEP_KEYS` / `FINALIZER_PROHIBITED_STEP_KEYS` are computed from this — one
+ *  source, no membership drift possible. */
+export declare function prohibitedKeysFor(mode: ExecutionMode): string[];
+/** #517: the kinds a key is actually CONSUMED on — the derived valid-kind set behind an
+ *  'only_valid' front clause (and truth cell 1's comparator for consumed_home.kinds). */
+export declare function consumedKindsFor(key: (typeof KNOWN_STEP_KEYS)[number]): ExecutionMode[];
+/**
+ * Real program defects on a key×kind surface that cannot be expressed as a cell arm — the key
+ * itself IS consumed (or the arm is otherwise fully accounted for); the defect lives in an
+ * adjacent mechanism. Recorded here so the #417 program's fate-line contract covers them from
+ * the registry itself, not just from the PR body. Via-hygiene-checked exactly like a tracked
+ * citation inside a cell.
+ */
+export declare const TRACKED_RESIDUALS: Array<{
+    issue: `#${number}`;
+    desc: string;
+}>;
+export declare const STEP_KEY_REGISTRY: {
+    description: {
+        auto: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+        };
+        agent: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+        };
+        guard: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+        };
+        finalizer: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+        };
+    };
+    execution: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        agent: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+        };
+        guard: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+        };
+        finalizer: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+        };
+    };
+    depends_on: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        guard: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+    };
+    trigger_rule: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+    };
+    when: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        guard: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            when: {
+                desc: string;
+                witness: {
+                    file: string;
+                    pattern: string;
+                };
+            };
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+    };
+    abort_unless: {
+        auto: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        agent: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        guard: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+    };
+    abort_message: {
+        auto: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        agent: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        guard: {
+            c: "consumed";
+            where: ({
+                file: string;
+                pattern: string;
+                count: number;
+            } | {
+                file: string;
+                pattern: string;
+                count?: never;
+            })[];
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+    };
+    on_outcome: {
+        auto: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        agent: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        finalizer: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+        };
+    };
+    idempotent: {
+        auto: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "advisory";
+                    code: "IDEMPOTENT_INERT_IN_FINALIZER";
+                };
+            }[];
+        };
+        agent: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+    };
+    uses_service: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        agent: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#511";
+            };
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+    };
+    service_method: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "waived";
+                    reason: string;
+                };
+            }[];
+        };
+        agent: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#511";
+            };
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+    };
+    operation: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "waived";
+                    reason: string;
+                };
+            }[];
+        };
+        agent: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#511";
+            };
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+    };
+    input_map: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "waived";
+                    reason: string;
+                };
+            }[];
+        };
+        agent: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+    };
+    handler: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "tracked";
+                    issue: "#511";
+                };
+            }[];
+        };
+        agent: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+            when: {
+                desc: string;
+                witness: {
+                    file: string;
+                    pattern: string;
+                };
+            };
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+        finalizer: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+            when: {
+                desc: string;
+                witness: {
+                    file: string;
+                    pattern: string;
+                };
+            };
+        };
+    };
+    config: {
+        auto: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "waived";
+                    reason: string;
+                };
+            }[];
+        };
+        agent: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#511";
+            };
+        };
+        guard: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#511";
+            };
+        };
+        finalizer: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+            when: {
+                desc: string;
+                witness: {
+                    file: string;
+                    pattern: string;
+                };
+            };
+        };
+    };
+    input_schema: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+        finalizer: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#512";
+            };
+        };
+    };
+    output_schema: {
+        auto: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+    };
+    trace_schema: {
+        auto: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+    };
+    trace_validation_mode: {
+        auto: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "tracked";
+                    issue: "#514";
+                };
+            }[];
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+    };
+    preconditions: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        finalizer: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#509";
+            };
+        };
+    };
+    trust: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "step";
+            except: {
+                desc: string;
+                via: {
+                    kind: "waived";
+                    reason: string;
+                };
+            };
+        };
+    };
+    timeout_seconds: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            when: {
+                desc: string;
+                witness: {
+                    file: string;
+                    pattern: string;
+                };
+            };
+        };
+        agent: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+        finalizer: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+        };
+    };
+    retry: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        agent: {
+            c: "inert";
+            via: {
+                kind: "advisory";
+                code: "RETRY_INERT_NON_AUTO";
+            };
+        };
+        guard: {
+            c: "inert";
+            via: {
+                kind: "advisory";
+                code: "RETRY_INERT_NON_AUTO";
+            };
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+    };
+    validation_exhaustion: {
+        auto: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+    };
+    instructions: {
+        auto: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+        };
+        agent: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+            when: {
+                desc: string;
+                witness: {
+                    file: string;
+                    pattern: string;
+                };
+            };
+        };
+        guard: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#513";
+            };
+        };
+        finalizer: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#513";
+            };
+        };
+    };
+    prompt: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "waived";
+                    reason: string;
+                };
+            }[];
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        guard: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#513";
+            };
+        };
+        finalizer: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#513";
+            };
+        };
+    };
+    display: {
+        auto: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+            when: {
+                desc: string;
+                witness: {
+                    file: string;
+                    pattern: string;
+                };
+            };
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "waived";
+                    reason: string;
+                };
+            }[];
+        };
+        agent: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+        };
+        guard: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#513";
+            };
+        };
+        finalizer: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#513";
+            };
+        };
+    };
+    use_template: {
+        auto: {
+            c: "na";
+            reason: string;
+        };
+        agent: {
+            c: "na";
+            reason: string;
+        };
+        guard: {
+            c: "na";
+            reason: string;
+        };
+        finalizer: {
+            c: "na";
+            reason: string;
+        };
+    };
+    gate: {
+        auto: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "advisory";
+                    code: "DEAD_GATE_CONFIG";
+                };
+            }[];
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "advisory";
+                    code: "DEAD_GATE_CONFIG";
+                };
+            }[];
+        };
+        guard: {
+            c: "inert";
+            via: {
+                kind: "advisory";
+                code: "DEAD_GATE_CONFIG";
+            };
+        };
+        finalizer: {
+            c: "inert";
+            via: {
+                kind: "advisory";
+                code: "DEAD_GATE_CONFIG";
+            };
+        };
+    };
+    agent_profile: {
+        auto: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        agent: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+    };
+    tools: {
+        auto: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "tracked";
+                    issue: "#510";
+                };
+            }[];
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "not_valid";
+        };
+    };
+    max_tool_calls: {
+        auto: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#510";
+            };
+        };
+        agent: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "tracked";
+                    issue: "#510";
+                };
+            }[];
+        };
+        guard: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#510";
+            };
+        };
+        finalizer: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#510";
+            };
+        };
+    };
+    max_fan_out: {
+        auto: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#510";
+            };
+        };
+        agent: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+            inert_subpop: {
+                desc: string;
+                via: {
+                    kind: "tracked";
+                    issue: "#510";
+                };
+            }[];
+        };
+        guard: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#510";
+            };
+        };
+        finalizer: {
+            c: "inert";
+            via: {
+                kind: "tracked";
+                issue: "#510";
+            };
+        };
+    };
+    tool_timeout: {
+        auto: {
+            c: "blocked_transitive";
+            via: "tools";
+            by: StepKeyWitness[];
+            message_data: string;
+        };
+        agent: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+            when: {
+                desc: string;
+                witness: StepKeyWitness;
+            };
+        };
+        guard: {
+            c: "blocked_transitive";
+            via: "tools";
+            by: StepKeyWitness[];
+            message_data: string;
+        };
+        finalizer: {
+            c: "blocked_transitive";
+            via: "tools";
+            by: StepKeyWitness[];
+            message_data: string;
+        };
+    };
+    structured_output: {
+        auto: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+        agent: {
+            c: "consumed";
+            where: StepKeyWitness[];
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            front: "only_valid";
+        };
+    };
+    llm_timeout_seconds: {
+        auto: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        agent: {
+            c: "consumed";
+            where: {
+                file: string;
+                pattern: string;
+            }[];
+        };
+        guard: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+        finalizer: {
+            c: "prohibited";
+            by: StepKeyWitness[];
+            line: "key";
+            message_data: string;
+        };
+    };
+};
+//# sourceMappingURL=step-key-registry.d.ts.map