agentfootprint 9.41.0 → 9.44.0

package/dist/esm/lib/context-bisect/arms/verdict.js

@@ -0,0 +1,103 @@
+/**
+ * The arm verdict — the same three tiers, phrased for a substitution.
+ *
+ * ## Why not widen `verdictFor`
+ *
+ * `verdictFor` already carries an `action` word (`'ablating'` | `'restoring'`)
+ * and a third would have been one line. It ends its NOT-CONFIRMED sentence with
+ * "its ranking remains a correlational proxy only" — true of a suspect, which
+ * was RANKED before it was probed, and meaningless for an arm, which was never
+ * ranked at all. Widening the union would have forced that sentence onto the
+ * new tier or edited a string three existing tests pin byte-for-byte. So the
+ * tier LOGIC is shared (`probeFlipped`, the majority rule, the zero-tolerance
+ * baseline gate) and only the prose is new.
+ *
+ * ## The tiers, in refusal order
+ *
+ * 1. **Unstable baseline** → inconclusive. The incumbent could not reproduce
+ *    the reference answer across its own seeds, so a difference measured
+ *    against it is measuring the scenario, not the arm. Zero tolerance, exactly
+ *    as `bisect.ts` and `localize.ts` apply it: ONE un-intervened flip is
+ *    enough, because the majority rule would let a 1-in-3 flaky scenario reach
+ *    a causal verdict.
+ * 2. **Arm did not take effect** → inconclusive. The run manifest contradicted
+ *    what the arm declared. Any difference here is evidence about a
+ *    configuration nobody meant to test.
+ * 3. **Inside the null band** → inconclusive. A majority flip whose mean
+ *    similarity still sits within the baseline arm's own seed-to-seed spread is
+ *    not separable from noise. Only applied when the flip comparator and the
+ *    band are the same instrument (see `NullBand.gates`).
+ * 4. **Majority flip, outside the band, stable baseline** → confirmed. This is
+ *    a causal claim of the same tier an ablation verdict makes: a
+ *    counterfactual intervention, seeded reruns, variance reported, and a
+ *    baseline that held.
+ * 5. **Minority flips** → inconclusive. 6. **No flips** → not-confirmed.
+ *
+ * Every claim is bounded by the scenario and the comparator, and says so — an
+ * arm confirmed on one question has been confirmed on one question.
+ */
+import { probeFlipped } from '../ablation.js';
+/** Translate one arm's probe evidence into its verdict. See module docs. */
+export function verdictForArm(armId, stats, context) {
+    const { baselineArmId, band } = context;
+    // 1. An unstable incumbent invalidates every comparison against it.
+    if (!context.baselineStable) {
+        return {
+            verdict: 'inconclusive',
+            claim: `INCONCLUSIVE: the baseline arm '${baselineArmId}' did not reproduce the reference answer ` +
+                `across its own seeded reruns (${context.baselineStats.flips}/${context.baselineStats.samples} ` +
+                `changed) — no arm-comparison verdict for '${armId}' is trustworthy on an unstable scenario.`,
+        };
+    }
+    // 2. The run manifest says this arm is not the arm that ran.
+    if (context.application.checked && !context.application.applied) {
+        const first = context.application.mismatches[0];
+        const observed = first?.observed ?? 'nothing (the manifest does not name it)';
+        return {
+            verdict: 'inconclusive',
+            claim: `INCONCLUSIVE: arm '${armId}' declared ${first?.facet ?? 'a facet'}=${first?.declared ?? '?'} but the run manifest reported ${observed} — the arm did not take effect, so any ` +
+                `difference measured here is not evidence about it.`,
+        };
+    }
+    const flipped = probeFlipped(stats);
+    const mean = stats.similarity.mean.toFixed(3);
+    // 3. Flipped, but not further than the incumbent drifts from itself.
+    if (flipped && band.gates && !context.outsideNullBand) {
+        return {
+            verdict: 'inconclusive',
+            claim: `INCONCLUSIVE: switching to arm '${armId}' changed the answer in ${stats.flips}/${stats.samples} ` +
+                `seeded reruns, but its mean similarity to the reference (${mean}) sits INSIDE the baseline ` +
+                `arm's own seed-to-seed band (floor ${band.floor.toFixed(3)}) — not separable from run-to-run ` +
+                `noise. Raise samples, or compare on a domain comparator.`,
+        };
+    }
+    // 4. The causal tier.
+    if (flipped) {
+        const bandClause = band.gates
+            ? `, outside the baseline arm's own band (floor ${band.floor.toFixed(3)})`
+            : '';
+        return {
+            verdict: 'confirmed',
+            claim: `CAUSAL: switching from baseline arm '${baselineArmId}' to '${armId}' changed the answer in ` +
+                `${stats.flips}/${stats.samples} seeded reruns (mean similarity to the reference ${mean} ± ` +
+                `${stats.similarity.stdev.toFixed(3)})${bandClause}, on a baseline that reproduced. Bounded ` +
+                `by this scenario and this comparator.`,
+        };
+    }
+    // 5. Minority — real movement, not a majority.
+    if (stats.flips > 0) {
+        return {
+            verdict: 'inconclusive',
+            claim: `INCONCLUSIVE: switching to arm '${armId}' changed the answer in only ${stats.flips}/${stats.samples} ` +
+                `seeded reruns — below majority; raise samples or check scenario stability.`,
+        };
+    }
+    // 6. No movement at all.
+    return {
+        verdict: 'not-confirmed',
+        claim: `NOT CONFIRMED: switching to arm '${armId}' did not change the answer in ${stats.samples} seeded ` +
+            `reruns — on this scenario, by this comparator, it is not distinguishable from baseline arm ` +
+            `'${baselineArmId}'. That is a finding about this scenario, not about the strategies.`,
+    };
+}
+//# sourceMappingURL=verdict.js.map

package/dist/esm/lib/context-bisect/arms/verdict.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verdict.js","sourceRoot":"","sources":["../../../../../src/lib/context-bisect/arms/verdict.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAgB9C,4EAA4E;AAC5E,MAAM,UAAU,aAAa,CAC3B,KAAa,EACb,KAAuB,EACvB,OAA0B;IAE1B,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IAExC,oEAAoE;IACpE,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,KAAK,EACH,mCAAmC,aAAa,2CAA2C;gBAC3F,iCAAiC,OAAO,CAAC,aAAa,CAAC,KAAK,IAAI,OAAO,CAAC,aAAa,CAAC,OAAO,GAAG;gBAChG,6CAA6C,KAAK,2CAA2C;SAChG,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,IAAI,OAAO,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;QAChE,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,KAAK,EAAE,QAAQ,IAAI,yCAAyC,CAAC;QAC9E,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,KAAK,EACH,sBAAsB,KAAK,cAAc,KAAK,EAAE,KAAK,IAAI,SAAS,IAChE,KAAK,EAAE,QAAQ,IAAI,GACrB,kCAAkC,QAAQ,yCAAyC;gBACnF,oDAAoD;SACvD,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAE9C,qEAAqE;IACrE,IAAI,OAAO,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;QACtD,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,KAAK,EACH,mCAAmC,KAAK,2BAA2B,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,GAAG;gBAClG,4DAA4D,IAAI,6BAA6B;gBAC7F,sCAAsC,IAAI,CAAC,KAAK,CAAC,OAAO,CACtD,CAAC,CACF,oCAAoC;gBACrC,0DAA0D;SAC7D,CAAC;IACJ,CAAC;IAED,sBAAsB;IACtB,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK;YAC3B,CAAC,CAAC,gDAAgD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG;YAC1E,CAAC,CAAC,EAAE,CAAC;QACP,OAAO;YACL,OAAO,EAAE,WAAW;YACpB,KAAK,EACH,wCAAwC,aAAa,SAAS,KAAK,0BAA0B;gBAC7F,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,oDAAoD,IAAI,KAAK;gBAC5F,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAC/B,CAAC,CACF,IAAI,UAAU,2CAA2C;gBAC1D,uCAAuC;SAC1C,CAAC;IACJ,CAAC;IAED,+CAA+C;IAC/C,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,KAAK,EACH,mCAAmC,KAAK,gCAAgC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,GAAG;gBACvG,4EAA4E;SAC/E,CAAC;IACJ,CAAC;IAED,yBAAyB;IACzB,OAAO;QACL,OAAO,EAAE,eAAe;QACxB,KAAK,EACH,oCAAoC,KAAK,kCAAkC,KAAK,CAAC,OAAO,UAAU;YAClG,6FAA6F;YAC7F,IAAI,aAAa,qEAAqE;KACzF,CAAC;AACJ,CAAC"}

package/dist/esm/lib/context-bisect/index.d.ts

@@ -26,6 +26,7 @@ export { sliceToBacktrackTrace, type SliceToBacktrackTraceOptions, } from './sli
 export { ablationForSuspect, applyAblations, costStatsFrom, defaultOutcomeComparator, median, probeFlipped, runAblationProbe, verdictFor, type AblationTargets, type ProbeConfig, } from './ablation.js';
 export { assignCostVerdicts, classifySuspect, MIN_LOOPS_SAVED } from './cost.js';
 export { removableSources, rerunWithoutSources, type IgnoredSource, type RemovableSource, type RerunWithoutSourcesOptions, type RerunWithoutSourcesResult, type WhatChanged, } from './rerun.js';
+export { applyArm, armConfigKey, armFacetsFromManifest, armLabel, checkArmApplication, checkArmApplied, collectArmRuns, compareStrategyArms, declaredFacetCount, manifestFromEvents, matchArm, nullBandFrom, RUN_CONFIGURED_EVENT, scoreArmRuns, validateStrategyArms, verdictForArm, type ArmApplication, type ArmFacetMismatch, type ArmFacets, type ArmMemoryFacet, type ArmOutcome, type ArmRunResult, type ArmRunner, type ArmRuns, type ArmVerdictContext, type CompareStrategyArmsOptions, type ManifestMemoryLike, type NullBand, type RunManifestLike, type StrategyArm, type StrategyComparison, } from './arms/index.js';
 export { shortlistEarlyCulprits, DEFAULT_RECENCY_DECAY, type LoopCandidate, type LoopRecallShortlist, type ShortlistEarlyCulpritsOptions, } from './loop-recall.js';
 export { walkToRoot, walkTrajectory, buildWriterFrameIndex, type HopNarrowedBy, type RootCauseHop, type RootCauseNote, type RootCausePath, type WalkToRootOptions, } from './walk-to-root.js';
 export { joinVariableSlice, traceVariable, type AgentKeyMoment, type AgentVariableSlice, type DataflowCoverage, type JoinVariableSliceOptions, type TraceVariableOptions, type VariableAblationHook, } from './variable-recall.js';

package/dist/esm/lib/context-bisect/index.js

@@ -32,6 +32,11 @@ export { assignCostVerdicts, classifySuspect, MIN_LOOPS_SAVED } from './cost.js'
 // The counterfactual re-run as one call — the product loop over the ablation
 // machinery (wraps applyAblations/runAblationProbe; no new machinery).
 export { removableSources, rerunWithoutSources, } from './rerun.js';
+// Strategy arms — the SUBSTITUTION tier. Ablation removes; an arm REPLACES, so
+// it is a sibling spec type rather than a fifth `AblationSpec` kind (the union
+// feeds a subset search that substitutions do not compose under). Statistics
+// shared, search machinery not. See src/lib/context-bisect/arms/README.md.
+export { applyArm, armConfigKey, armFacetsFromManifest, armLabel, checkArmApplication, checkArmApplied, collectArmRuns, compareStrategyArms, declaredFacetCount, manifestFromEvents, matchArm, nullBandFrom, RUN_CONFIGURED_EVENT, scoreArmRuns, validateStrategyArms, verdictForArm, } from './arms/index.js';
 // Per-loop recall shortlist (proposal 006, L3): rescue early culprits → narrow before ablation.
 export { shortlistEarlyCulprits, DEFAULT_RECENCY_DECAY, } from './loop-recall.js';
 // Root-cause backtracking debugger (proposal 007, L4): walk symptom → root (narrow → hop → convict).

package/dist/esm/lib/context-bisect/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/lib/context-bisect/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EACL,cAAc,EACd,cAAc,GAIf,MAAM,qBAAqB,CAAC;AAE7B,oFAAoF;AACpF,OAAO,EACL,kBAAkB,GAInB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,mBAAmB,GAIpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,YAAY,GAKb,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,gBAAgB,GAOjB,MAAM,uBAAuB,CAAC;AAC/B,yEAAyE;AACzE,qEAAqE;AACrE,OAAO,EACL,qBAAqB,GAEtB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,aAAa,EACb,wBAAwB,EACxB,MAAM,EACN,YAAY,EACZ,gBAAgB,EAChB,UAAU,GAGX,MAAM,eAAe,CAAC;AAEvB,8EAA8E;AAC9E,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAEjF,6EAA6E;AAC7E,uEAAuE;AACvE,OAAO,EACL,gBAAgB,EAChB,mBAAmB,GAMpB,MAAM,YAAY,CAAC;AAEpB,gGAAgG;AAChG,OAAO,EACL,sBAAsB,EACtB,qBAAqB,GAItB,MAAM,kBAAkB,CAAC;AAE1B,qGAAqG;AACrG,OAAO,EACL,UAAU,EACV,cAAc,EACd,qBAAqB,GAMtB,MAAM,mBAAmB,CAAC;AAE3B,wEAAwE;AACxE,+EAA+E;AAC/E,6EAA6E;AAC7E,OAAO,EACL,iBAAiB,EACjB,aAAa,GAOd,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,wBAAwB,GAEzB,MAAM,+BAA+B,CAAC;AAEvC,4EAA4E;AAC5E,6CAA6C;AAC7C,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,aAAa,GAOd,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,GAIf,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,uBAAuB,GA0BxB,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/lib/context-bisect/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EACL,cAAc,EACd,cAAc,GAIf,MAAM,qBAAqB,CAAC;AAE7B,oFAAoF;AACpF,OAAO,EACL,kBAAkB,GAInB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,mBAAmB,GAIpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,YAAY,GAKb,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,gBAAgB,GAOjB,MAAM,uBAAuB,CAAC;AAC/B,yEAAyE;AACzE,qEAAqE;AACrE,OAAO,EACL,qBAAqB,GAEtB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,aAAa,EACb,wBAAwB,EACxB,MAAM,EACN,YAAY,EACZ,gBAAgB,EAChB,UAAU,GAGX,MAAM,eAAe,CAAC;AAEvB,8EAA8E;AAC9E,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAEjF,6EAA6E;AAC7E,uEAAuE;AACvE,OAAO,EACL,gBAAgB,EAChB,mBAAmB,GAMpB,MAAM,YAAY,CAAC;AAEpB,+EAA+E;AAC/E,+EAA+E;AAC/E,6EAA6E;AAC7E,2EAA2E;AAC3E,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,qBAAqB,EACrB,QAAQ,EACR,mBAAmB,EACnB,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,QAAQ,EACR,YAAY,EACZ,oBAAoB,EACpB,YAAY,EACZ,oBAAoB,EACpB,aAAa,GAgBd,MAAM,iBAAiB,CAAC;AAEzB,gGAAgG;AAChG,OAAO,EACL,sBAAsB,EACtB,qBAAqB,GAItB,MAAM,kBAAkB,CAAC;AAE1B,qGAAqG;AACrG,OAAO,EACL,UAAU,EACV,cAAc,EACd,qBAAqB,GAMtB,MAAM,mBAAmB,CAAC;AAE3B,wEAAwE;AACxE,+EAA+E;AAC/E,6EAA6E;AAC7E,OAAO,EACL,iBAAiB,EACjB,aAAa,GAOd,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,wBAAwB,GAEzB,MAAM,+BAA+B,CAAC;AAEvC,4EAA4E;AAC5E,6CAA6C;AAC7C,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,aAAa,GAOd,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,GAIf,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,uBAAuB,GA0BxB,MAAM,YAAY,CAAC"}

package/dist/esm/lib/injection-engine/index.d.ts

@@ -19,7 +19,7 @@ export { pointerOf, SKIP_STEP_TOOL_NAME, skipStepDescriptor, type OnSkipPolicy,
 export { defineStepsHint, STEPS_HINT_METADATA_KEY, type StepsHintOptions, } from './factories/defineStepsHint.js';
 export { checkArtifactVocabularies, vocabularyOf, type ArtifactVocabulary, } from './skillVocabulary.js';
 export { SkillRegistry, type SkillRegistryOptions } from './SkillRegistry.js';
-export { skillsFromDir, type SkillsFromDirOptions } from './skillsFromDir.js';
+export { skillsFromDir, runbookFromDir, type SkillsFromDirOptions, type DirRunbook, } from './skillsFromDir.js';
 export { buildListSkillsTool, buildReadSkillTool, buildSkipStepTool, type ReadSkillOffer, type SkillToolPair, } from './skillTools.js';
 export { listSkillsDescriptor, readSkillDescriptor } from './skillToolDescriptors.js';
 export type { SkillCachePolicy, SkillCachePolicyContext, SkillGraphHost, SkillGraphIterationContext, SkillTool, SkillToolDescriptor, SkillToolSchema, } from './hostContract.js';

package/dist/esm/lib/injection-engine/index.js

@@ -45,7 +45,9 @@ export { SkillRegistry } from './SkillRegistry.js';
 // File-authored skills — a loader over `defineSkill`, not a second mechanism.
 // Node-only (reads the filesystem); node:fs is imported lazily inside the call
 // so this barrel stays safe to import from a browser bundle.
-export { skillsFromDir } from './skillsFromDir.js';
+// `runbookFromDir` is the same loader read as a whole runbook — skills PLUS the
+// edges each file's `routes:` declares, ready for `skillGraph({ ...runbook })`.
+export { skillsFromDir, runbookFromDir, } from './skillsFromDir.js';
 // Skill-tool builders — used by SkillRegistry.toTools() and the Agent's
 // auto-attach path. Exported so consumers building custom tool wiring
 // (e.g., gatedTools chains) can compose the same `list_skills` /

package/dist/esm/lib/injection-engine/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/lib/injection-engine/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,4EAA4E;AAC5E,6EAA6E;AAC7E,8EAA8E;AAC9E,sEAAsE;AACtE,2EAA2E;AAC3E,4EAA4E;AAC5E,2CAA2C;AAC3C,OAAO,kBAAkB,CAAC;AAY1B,+DAA+D;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEpD,uEAAuE;AACvE,8EAA8E;AAC9E,mFAAmF;AACnF,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,SAAS;AACT,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EACL,2BAA2B,GAE5B,MAAM,kCAAkC,CAAC;AAE1C,gFAAgF;AAChF,OAAO,EAAE,iBAAiB,EAAiC,MAAM,kCAAkC,CAAC;AACpG,OAAO,EACL,mBAAmB,EACnB,+BAA+B,GAEhC,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EACL,cAAc,EACd,sBAAsB,GAEvB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,WAAW,EACX,kBAAkB,GAKnB,MAAM,4BAA4B,CAAC;AAEpC,6EAA6E;AAC7E,8EAA8E;AAC9E,4EAA4E;AAC5E,6EAA6E;AAC7E,4EAA4E;AAC5E,OAAO,EACL,SAAS,EACT,mBAAmB,EACnB,kBAAkB,GAMnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,eAAe,EACf,uBAAuB,GAExB,MAAM,gCAAgC,CAAC;AAExC,+EAA+E;AAC/E,4EAA4E;AAC5E,gFAAgF;AAChF,4EAA4E;AAC5E,+EAA+E;AAC/E,yCAAyC;AACzC,OAAO,EACL,yBAAyB,EACzB,YAAY,GAEb,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,aAAa,EAA6B,MAAM,oBAAoB,CAAC;AAE9E,8EAA8E;AAC9E,+EAA+E;AAC/E,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAA6B,MAAM,oBAAoB,CAAC;AAE9E,wEAAwE;AACxE,sEAAsE;AACtE,iEAAiE;AACjE,+BAA+B;AAC/B,OAAO,EACL,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GAGlB,MAAM,iBAAiB,CAAC;AAEzB,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAC9E,uEAAuE;AACvE,2EAA2E;AAC3E,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAUtF,OAAO,EAAE,oBAAoB,EAAyB,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAsB,MAAM,cAAc,CAAC;AAExE,OAAO,EAAE,cAAc,EAA8B,MAAM,+BAA+B,CAAC;AAE3F,OAAO,EAAE,UAAU,EAA0B,MAAM,2BAA2B,CAAC;AAE/E,6EAA6E;AAC7E,0EAA0E;AAC1E,qDAAqD;AACrD,OAAO,EACL,eAAe,GAGhB,MAAM,gCAAgC,CAAC;AAExC,4EAA4E;AAC5E,8EAA8E;AAC9E,OAAO,EACL,UAAU,EACV,WAAW;AACX,mFAAmF;AACnF,qFAAqF;AACrF,uFAAuF;AACvF,6BAA6B;AAC7B,aAAa,EACb,wBAAwB;AAiCxB,+EAA+E;AAC/E,+EAA+E;AAC/E,qEAAqE;AACrE,6EAA6E;AAC7E,uFAAuF;AACvF,iCAAiC,GAQlC,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,aAAa,EACb,eAAe,EACf,WAAW,GAIZ,MAAM,kBAAkB,CAAC;AAC1B,2EAA2E;AAC3E,0EAA0E;AAC1E,6EAA6E;AAC7E,sDAAsD;AACtD,OAAO,EACL,oBAAoB,GAKrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,aAAa,EAA6B,MAAM,oBAAoB,CAAC;AAC9E,sEAAsE;AACtE,4EAA4E;AAC5E,OAAO,EACL,mBAAmB,GAGpB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,eAAe,EACf,SAAS,EACT,sBAAsB,EACtB,WAAW,EACX,eAAe,GAKhB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,cAAc,GAEf,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/lib/injection-engine/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,4EAA4E;AAC5E,6EAA6E;AAC7E,8EAA8E;AAC9E,sEAAsE;AACtE,2EAA2E;AAC3E,4EAA4E;AAC5E,2CAA2C;AAC3C,OAAO,kBAAkB,CAAC;AAY1B,+DAA+D;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEpD,uEAAuE;AACvE,8EAA8E;AAC9E,mFAAmF;AACnF,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,SAAS;AACT,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EACL,2BAA2B,GAE5B,MAAM,kCAAkC,CAAC;AAE1C,gFAAgF;AAChF,OAAO,EAAE,iBAAiB,EAAiC,MAAM,kCAAkC,CAAC;AACpG,OAAO,EACL,mBAAmB,EACnB,+BAA+B,GAEhC,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EACL,cAAc,EACd,sBAAsB,GAEvB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,WAAW,EACX,kBAAkB,GAKnB,MAAM,4BAA4B,CAAC;AAEpC,6EAA6E;AAC7E,8EAA8E;AAC9E,4EAA4E;AAC5E,6EAA6E;AAC7E,4EAA4E;AAC5E,OAAO,EACL,SAAS,EACT,mBAAmB,EACnB,kBAAkB,GAMnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,eAAe,EACf,uBAAuB,GAExB,MAAM,gCAAgC,CAAC;AAExC,+EAA+E;AAC/E,4EAA4E;AAC5E,gFAAgF;AAChF,4EAA4E;AAC5E,+EAA+E;AAC/E,yCAAyC;AACzC,OAAO,EACL,yBAAyB,EACzB,YAAY,GAEb,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,aAAa,EAA6B,MAAM,oBAAoB,CAAC;AAE9E,8EAA8E;AAC9E,+EAA+E;AAC/E,6DAA6D;AAC7D,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EACL,aAAa,EACb,cAAc,GAGf,MAAM,oBAAoB,CAAC;AAE5B,wEAAwE;AACxE,sEAAsE;AACtE,iEAAiE;AACjE,+BAA+B;AAC/B,OAAO,EACL,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GAGlB,MAAM,iBAAiB,CAAC;AAEzB,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAC9E,uEAAuE;AACvE,2EAA2E;AAC3E,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAUtF,OAAO,EAAE,oBAAoB,EAAyB,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAsB,MAAM,cAAc,CAAC;AAExE,OAAO,EAAE,cAAc,EAA8B,MAAM,+BAA+B,CAAC;AAE3F,OAAO,EAAE,UAAU,EAA0B,MAAM,2BAA2B,CAAC;AAE/E,6EAA6E;AAC7E,0EAA0E;AAC1E,qDAAqD;AACrD,OAAO,EACL,eAAe,GAGhB,MAAM,gCAAgC,CAAC;AAExC,4EAA4E;AAC5E,8EAA8E;AAC9E,OAAO,EACL,UAAU,EACV,WAAW;AACX,mFAAmF;AACnF,qFAAqF;AACrF,uFAAuF;AACvF,6BAA6B;AAC7B,aAAa,EACb,wBAAwB;AAiCxB,+EAA+E;AAC/E,+EAA+E;AAC/E,qEAAqE;AACrE,6EAA6E;AAC7E,uFAAuF;AACvF,iCAAiC,GAQlC,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,aAAa,EACb,eAAe,EACf,WAAW,GAIZ,MAAM,kBAAkB,CAAC;AAC1B,2EAA2E;AAC3E,0EAA0E;AAC1E,6EAA6E;AAC7E,sDAAsD;AACtD,OAAO,EACL,oBAAoB,GAKrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,aAAa,EAA6B,MAAM,oBAAoB,CAAC;AAC9E,sEAAsE;AACtE,4EAA4E;AAC5E,OAAO,EACL,mBAAmB,GAGpB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,eAAe,EACf,SAAS,EACT,sBAAsB,EACtB,WAAW,EACX,eAAe,GAKhB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,cAAc,GAEf,MAAM,oBAAoB,CAAC"}

package/dist/esm/lib/injection-engine/skillExamples.d.ts

@@ -93,12 +93,21 @@
  * visible wherever the graph reports its problems — because a reader who meets
  * it only in prose docs will meet a clean report first.
  *
+ * ## The opposite assertion lives next door
+ *
+ * Everything here is POSITIVE: this rule claims this phrase. The negative form
+ * — a phrase that must claim NO skill, which is the assertion that catches
+ * over-triggering — is `skillNeverRoutes.ts`, declared on the GRAPH rather than
+ * on a rule (a phrase that must route nowhere belongs to no skill). Both ask
+ * `startRuleClaim.ts` the same question and differ only in which answer is a
+ * defect; a phrase declared BOTH ways is reported there as the contradiction it
+ * is.
+ *
  * Composed into `graph.checkup()` by `skillGraph.ts`, exactly like
  * `skillContract`/`skillIntent`/`skillVocabulary`: this module owns the rule
  * AND its boundaries, and reports in the shared `GraphProblem` voice.
  */
-import type { InjectionContext } from './types.js';
-import { type SkillMatchData } from './skillMatch.js';
+import { type StartRuleDecl } from './startRuleClaim.js';
 import type { GraphProblem } from './skillGraphCheckup.js';
 /**
  * The statement the check-up makes about its own reach, carried on
@@ -111,18 +120,12 @@ export declare const EXAMPLES_BOUNDARY: string;
  *  only the order-independent check (self-match) could run. */
 export declare const EXAMPLES_ORDER_NOT_CHECKED: string;
 /**
- * The slice of an entry declaration this module reads — structural, so
- * `skillGraph.ts`'s module-private `EntryDecl` satisfies it unchanged (the
- * same trick `skillIntent.ts` uses).
+ * The slice of an entry declaration this module reads — the shared claim shape
+ * ({@link StartRuleDecl}, which owns "who claims a phrase") plus the one field
+ * only this check reads. Structural, so `skillGraph.ts`'s module-private
+ * `EntryDecl` satisfies it unchanged (the same trick `skillIntent.ts` uses).
  */
-export interface ExampleRuleDecl {
-    readonly id: string;
-    /** The compiled condition (from `match:`) or the author's `when`. Absent on
-     *  an unconditional entry and on an intent rule (no sync predicate). */
-    readonly when?: (ctx: InjectionContext) => boolean;
-    /** The serializable matcher behind `when`, when declared as data — quoted
-     *  back in the messages, and the one way to spot the intent arm. */
-    readonly match?: SkillMatchData;
+export interface ExampleRuleDecl extends StartRuleDecl {
     /** The phrasings this rule claims (build-time TEST material). */
     readonly examples?: readonly string[];
 }

package/dist/esm/lib/injection-engine/skillExamples.js

@@ -93,11 +93,21 @@
  * visible wherever the graph reports its problems — because a reader who meets
  * it only in prose docs will meet a clean report first.
  *
+ * ## The opposite assertion lives next door
+ *
+ * Everything here is POSITIVE: this rule claims this phrase. The negative form
+ * — a phrase that must claim NO skill, which is the assertion that catches
+ * over-triggering — is `skillNeverRoutes.ts`, declared on the GRAPH rather than
+ * on a rule (a phrase that must route nowhere belongs to no skill). Both ask
+ * `startRuleClaim.ts` the same question and differ only in which answer is a
+ * defect; a phrase declared BOTH ways is reported there as the contradiction it
+ * is.
+ *
  * Composed into `graph.checkup()` by `skillGraph.ts`, exactly like
  * `skillContract`/`skillIntent`/`skillVocabulary`: this module owns the rule
  * AND its boundaries, and reports in the shared `GraphProblem` voice.
  */
-import { plainMatchCaption } from './skillMatch.js';
+import { COLD_CONTEXT_PHRASE, claimLaws, describeCondition, runsOn, } from './startRuleClaim.js';
 /**
  * The statement the check-up makes about its own reach, carried on
  * `GraphCheckup.notes` whenever any rule declared examples. Same voice as the
@@ -183,24 +193,11 @@ export function checkStartRuleExamples(input) {
     if (!entries.some((e) => e.examples !== undefined && e.examples.length > 0))
         return NOTHING;
     // WHO CAN CLAIM A PHRASE — both routing laws, mirrored, not re-invented (see
-    // this file's header). Intent entries never claim synchronously in either
-    // (no predicate at all), so neither set carries them.
-    //
-    //   • COLD WALK (`makeResolveCursor`, the default mount): every non-intent
-    //     entry, unconditional ones included — they claim everything from their
-    //     position onward.
-    //   • CASCADE tier 1 (`firstRuleMatch`, mounted by `.classify()` OR by
-    //     `continuity: 'conversation'`): the CONDITIONAL non-intent entries only.
-    //
-    // With a classifier the cascade is certain, so it is the only law consulted.
-    // Without one, EITHER may be mounted — both are computed, and where they
-    // disagree the report says so instead of picking one.
-    const nonIntent = entries
-        .map((entry, index) => ({ entry, index }))
-        .filter(({ entry }) => entry.match?.kind !== 'intent');
-    const ruleClaimants = nonIntent.filter(({ entry }) => entry.when !== undefined);
-    const claimUnderCascade = (phrase) => ruleClaimants.find(({ entry }) => runsOn(entry, phrase) === 'match');
-    const claimUnderColdWalk = (phrase) => nonIntent.find(({ entry }) => runsOn(entry, phrase) === 'match');
+    // this file's header and `startRuleClaim.ts`, which owns them). With a
+    // classifier the cascade is certain, so it is the only law consulted. Without
+    // one, EITHER may be mounted — both are computed, and where they disagree the
+    // report says so instead of picking one.
+    const { underCascade: claimUnderCascade, underColdWalk: claimUnderColdWalk } = claimLaws(entries);
     const problems = [];
     for (const [index, entry] of entries.entries()) {
         const examples = entry.examples;
@@ -362,36 +359,6 @@ export function checkStartRuleExamples(input) {
         notes: orderDecides ? [EXAMPLES_BOUNDARY] : [EXAMPLES_ORDER_NOT_CHECKED, EXAMPLES_BOUNDARY],
     };
 }
-/**
- * Run one entry's condition over one phrase, on a COLD-START context — the
- * context a turn's first iteration really hands a start rule: iteration 1, the
- * phrase as `userMessage`, no history, no cursor, no tool results. A throw is
- * reported as `'threw'` and treated as a no-match by every caller, which is
- * exactly what the cursor resolver does with it at run time (so a claim made
- * here stays true of the run).
- *
- * An entry with NO condition matches everything: that is the cold walk's law
- * (`if (!e.when) return { to: e.id }`), not a shortcut.
- */
-function runsOn(entry, phrase) {
-    if (entry.when === undefined)
-        return 'match';
-    try {
-        return entry.when(coldContext(phrase)) ? 'match' : 'no-match';
-    }
-    catch {
-        return 'threw';
-    }
-}
-function coldContext(userMessage) {
-    return { iteration: 1, userMessage, history: [], activatedInjectionIds: [] };
-}
-/** The one context every predicate here is judged on, spelled out for the
- *  reader of a message — a check that names its own inputs can be argued with;
- *  one that hides them can only be guessed at. Kept as ONE string so every
- *  message describes the SAME context {@link coldContext} really builds. */
-const COLD_CONTEXT_PHRASE = 'a COLD-START context (iteration 1, the phrase as `userMessage`, empty `history`, no ' +
-    'cursor and no activated injections)';
 /** The `example-misses-own-rule` sentence. Two readings, and the message says
  *  which one it is: a data matcher's no-match holds under every context, an
  *  opaque `when`'s holds only under the context it was run on. */
@@ -421,15 +388,4 @@ function selfMissMessage(entry, phrase, own) {
         `example to the rule that claims the phrase cold — a rule-level \`examples\` list is only ` +
         `ever run on the context named above. (Proved by running this rule's own predicate on it.)`);
 }
-/** How a rule's condition is named in a message: the data matcher quoted back,
- *  the honest word for opaque code — or, for an entry that declares neither,
- *  what having no condition MEANS. Naming a `when` predicate an unconditional
- *  entry does not have is how a report describes a graph nobody wrote. */
-function describeCondition(entry) {
-    if (entry.match !== undefined)
-        return `its matcher \`${plainMatchCaption(entry.match)}\``;
-    return entry.when === undefined
-        ? 'declares no `match` and no `when`, so it claims every message'
-        : 'its `when` predicate';
-}
 //# sourceMappingURL=skillExamples.js.map

package/dist/esm/lib/injection-engine/skillExamples.js.map

@@ -1 +1 @@
-{"version":3,"file":"skillExamples.js","sourceRoot":"","sources":["../../../../src/lib/injection-engine/skillExamples.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkGG;AAGH,OAAO,EAAE,iBAAiB,EAAuB,MAAM,iBAAiB,CAAC;AAGzE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC5B,qFAAqF;IACrF,kEAAkE,CAAC;AAErE;+DAC+D;AAC/D,MAAM,CAAC,MAAM,0BAA0B,GACrC,0FAA0F;IAC1F,4FAA4F;IAC5F,iEAAiE,CAAC;AA0BpE,MAAM,OAAO,GAAoB,MAAM,CAAC,MAAM,CAAC;IAC7C,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAA4B;IACtD,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAsB;CAC9C,CAAC,CAAC;AAEH;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,yBAAyB,CACvC,QAAiB,EACjB,KAAa,EACb,IAAoE;IAEpE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CACb,eAAe,KAAK,4DAA4D;YAC9E,kFAAkF;YAClF,iFAAiF;YACjF,sDAAsD;YACtD,GACE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;gBACrB,CAAC,CAAC,iFAAiF;oBACjF,uCAAuC;gBACzC,CAAC,CAAC,EACN,gDAAgD,CACnD,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACtF,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,eAAe,KAAK,wBAAwB,GAAG,SAAS,IAAI,CAAC,SAAS,CACpE,QAAQ,CAAC,GAAG,CAAC,CACd,mFAAmF;YAClF,8EAA8E;YAC9E,sCAAsC,CACzC,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CACb,eAAe,KAAK,6DAA6D;YAC/E,gFAAgF;YAChF,mFAAmF;YACnF,mFAAmF;YACnF,kFAAkF;YAClF,kFAAkF;YAClF,mFAAmF,CACtF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,eAAe,KAAK,gEAAgE;YAClF,gFAAgF;YAChF,8EAA8E;YAC9E,gFAAgF;YAChF,8EAA8E;YAC9E,yBAAyB,CAC5B,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAI,QAAqB,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAItC;IACC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IACvD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC;IAE5F,6EAA6E;IAC7E,0EAA0E;IAC1E,sDAAsD;IACtD,EAAE;IACF,2EAA2E;IAC3E,4EAA4E;IAC5E,uBAAuB;IACvB,uEAAuE;IACvE,8EAA8E;IAC9E,EAAE;IACF,6EAA6E;IAC7E,yEAAyE;IACzE,sDAAsD;IACtD,MAAM,SAAS,GAAG,OAAO;SACtB,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAChF,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAqB,EAAE,CAC9D,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,CAAC;IACvE,MAAM,kBAAkB,GAAG,CAAC,MAAc,EAAqB,EAAE,CAC/D,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,CAAC;IAEnE,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;QAChC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC9D,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,uEAAuE;YACvE,0EAA0E;YAC1E,0EAA0E;YAC1E,2EAA2E;YAC3E,2EAA2E;YAC3E,0EAA0E;YAC1E,yEAAyE;YACzE,gDAAgD;YAChD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAClC,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;gBACpB,MAAM,QAAQ,GAAG,GAAG,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC;gBAC9D,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;oBACpC,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC;oBAC5C,KAAK,EAAE,KAAK,CAAC,EAAE;oBACf,OAAO,EAAE,MAAM;iBAChB,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,YAAY;gBAAE,SAAS;YAE5B,mEAAmE;YACnE,yEAAyE;YACzE,yEAAyE;YACzE,uCAAuC;YACvC,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;YACtF,wEAAwE;YACxE,2EAA2E;YAC3E,4EAA4E;YAC5E,yEAAyE;YACzE,uEAAuE;YACvE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,mBAAmB;oBACzB,OAAO,EACL,qCAAqC,MAAM,mBAAmB,KAAK,CAAC,EAAE,aAAa;wBACnF,+DAA+D,mBAAmB,GAAG;wBACrF,gDACE,aAAa;4BACX,CAAC,CAAC,6EAA6E;gCAC7E,UAAU;4BACZ,CAAC,CAAC,8EAA8E;gCAC9E,SACN,YAAY,KAAK,CAAC,EAAE,OAClB,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAC5C,kDAAkD;wBAClD,+EAA+E;wBAC/E,wCAAwC;oBAC1C,KAAK,EAAE,KAAK,CAAC,EAAE;oBACf,OAAO,EAAE,MAAM;iBAChB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,2EAA2E;YAC3E,uEAAuE;YACvE,0EAA0E;YAC1E,IAAI,MAAM,CAAC,KAAK,IAAI,KAAK;gBAAE,SAAS;YAEpC,uEAAuE;YACvE,yEAAyE;YACzE,oEAAoE;YACpE,uEAAuE;YACvE,sEAAsE;YACtE,sEAAsE;YACtE,yEAAyE;YACzE,qDAAqD;YACrD,EAAE;YACF,2EAA2E;YAC3E,0EAA0E;YAC1E,uEAAuE;YACvE,sEAAsE;YACtE,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EACL,mBAAmB,KAAK,CAAC,EAAE,2BAA2B,MAAM,qBAAqB;wBACjF,aAAa,MAAM,CAAC,KAAK,CAAC,EAAE,sBAAsB,iBAAiB,CACjE,MAAM,CAAC,KAAK,CACb,+EAA+E;wBAChF,0CAA0C,MAAM,CAAC,KAAK,CAAC,EAAE,cAAc;wBACvE,IAAI,KAAK,CAAC,EAAE,kCAAkC,KAAK,CAAC,EAAE,WAAW;wBACjE,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,kBAAkB,MAAM,CAAC,KAAK,CAAC,EAAE,0BAA0B;wBAC9E,2EAA2E;wBAC3E,8CAA8C;oBAChD,KAAK,EAAE,KAAK,CAAC,EAAE;oBACf,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;oBACrB,EAAE,EAAE,KAAK,CAAC,EAAE;oBACZ,OAAO,EAAE,MAAM;iBAChB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,0EAA0E;YAC1E,uEAAuE;YACvE,sEAAsE;YACtE,8DAA8D;YAC9D,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,GAAG,KAAK,EAAE,CAAC;gBACnD,oEAAoE;gBACpE,kEAAkE;gBAClE,oEAAoE;gBACpE,sEAAsE;gBACtE,oEAAoE;gBACpE,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EACL,mBAAmB,KAAK,CAAC,EAAE,2BAA2B,MAAM,oBAAoB;wBAChF,yEAAyE;wBACzE,IAAI,KAAK,CAAC,EAAE,uDAAuD;wBACnE,0CAA0C,MAAM,CAAC,KAAK,CAAC,EAAE,WAAW;wBACpE,GAAG,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,sCAAsC;wBACxE,iFAAiF;wBACjF,cAAc,OAAO,CAAC,KAAK,CAAC,EAAE,oBAAoB;wBAClD,IAAI,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,kCAAkC,KAAK,CAAC,EAAE,IAAI;wBAClF,2BAA2B,OAAO,CAAC,KAAK,CAAC,EAAE,uBAAuB;wBAClE,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,8DAA8D;wBACjF,mFAAmF;wBACnF,kFAAkF;wBAClF,WAAW;oBACb,KAAK,EAAE,KAAK,CAAC,EAAE;oBACf,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;oBACrB,EAAE,EAAE,KAAK,CAAC,EAAE;oBACZ,OAAO,EAAE,MAAM;iBAChB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,yEAAyE;YACzE,0EAA0E;YAC1E,wEAAwE;YACxE,wEAAwE;YACxE,6DAA6D;YAC7D,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EACL,mBAAmB,KAAK,CAAC,EAAE,2BAA2B,MAAM,qBAAqB;oBACjF,qFAAqF;oBACrF,0DAA0D,MAAM,CAAC,KAAK,CAAC,EAAE,aAAa;oBACtF,+EAA+E;oBAC/E,+EAA+E;oBAC/E,mCAAmC,MAAM,CAAC,KAAK,CAAC,EAAE,kCAAkC;oBACpF,6EAA6E;oBAC7E,gFAAgF;oBAChF,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,uCACjB,OAAO,KAAK,SAAS;wBACnB,CAAC,CAAC,kDAAkD;wBACpD,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,GAC1B,2CAA2C,KAAK,CAAC,EAAE,WAAW;oBAC9D,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,YAAY,MAAM,CAAC,KAAK,CAAC,EAAE,qCAAqC;oBACnF,oFAAoF;oBACpF,iFAAiF;oBACjF,0EAA0E;oBAC1E,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,iEAAiE;gBACtF,KAAK,EAAE,KAAK,CAAC,EAAE;gBACf,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;gBACrB,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,OAAO,EAAE,MAAM;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ;QACR,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,0BAA0B,EAAE,iBAAiB,CAAC;KAC5F,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,MAAM,CAAC,KAAsB,EAAE,MAAc;IACpD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAC7C,IAAI,CAAC;QACH,OAAO,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;IAChE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,OAAO,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,WAAmB;IACtC,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,EAAE,qBAAqB,EAAE,EAAE,EAAE,CAAC;AAC/E,CAAC;AAED;;;4EAG4E;AAC5E,MAAM,mBAAmB,GACvB,sFAAsF;IACtF,qCAAqC,CAAC;AAQxC;;kEAEkE;AAClE,SAAS,eAAe,CACtB,KAAsB,EACtB,MAAc,EACd,GAAyB;IAEzB,MAAM,IAAI,GAAG,mBAAmB,KAAK,CAAC,EAAE,2BAA2B,MAAM,SAAS,CAAC;IACnF,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;QACpB,OAAO,CACL,GAAG,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,sBAAsB,mBAAmB,OAAO;YAClF,sFAAsF;YACtF,oFAAoF;YACpF,sFAAsF;YACtF,wFAAwF;YACxF,0FAA0F,CAC3F,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,CACL,GAAG,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,oDAAoD;YACtF,mFAAmF;YACnF,yFAAyF;YACzF,uFAAuF;YACvF,0CAA0C,CAC3C,CAAC;IACJ,CAAC;IACD,OAAO,CACL,GAAG,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,+BAA+B,mBAAmB,SAAS;QAC7F,2FAA2F;QAC3F,4FAA4F;QAC5F,yFAAyF;QACzF,0FAA0F;QAC1F,4FAA4F;QAC5F,2FAA2F;QAC3F,2FAA2F,CAC5F,CAAC;AACJ,CAAC;AAED;;;0EAG0E;AAC1E,SAAS,iBAAiB,CAAC,KAAsB;IAC/C,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,iBAAiB,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;IAC1F,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS;QAC7B,CAAC,CAAC,+DAA+D;QACjE,CAAC,CAAC,sBAAsB,CAAC;AAC7B,CAAC"}
+{"version":3,"file":"skillExamples.js","sourceRoot":"","sources":["../../../../src/lib/injection-engine/skillExamples.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4GG;AAEH,OAAO,EACL,mBAAmB,EACnB,SAAS,EACT,iBAAiB,EACjB,MAAM,GAEP,MAAM,qBAAqB,CAAC;AAG7B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC5B,qFAAqF;IACrF,kEAAkE,CAAC;AAErE;+DAC+D;AAC/D,MAAM,CAAC,MAAM,0BAA0B,GACrC,0FAA0F;IAC1F,4FAA4F;IAC5F,iEAAiE,CAAC;AAoBpE,MAAM,OAAO,GAAoB,MAAM,CAAC,MAAM,CAAC;IAC7C,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAA4B;IACtD,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAsB;CAC9C,CAAC,CAAC;AAEH;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,yBAAyB,CACvC,QAAiB,EACjB,KAAa,EACb,IAAoE;IAEpE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CACb,eAAe,KAAK,4DAA4D;YAC9E,kFAAkF;YAClF,iFAAiF;YACjF,sDAAsD;YACtD,GACE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;gBACrB,CAAC,CAAC,iFAAiF;oBACjF,uCAAuC;gBACzC,CAAC,CAAC,EACN,gDAAgD,CACnD,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACtF,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,eAAe,KAAK,wBAAwB,GAAG,SAAS,IAAI,CAAC,SAAS,CACpE,QAAQ,CAAC,GAAG,CAAC,CACd,mFAAmF;YAClF,8EAA8E;YAC9E,sCAAsC,CACzC,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CACb,eAAe,KAAK,6DAA6D;YAC/E,gFAAgF;YAChF,mFAAmF;YACnF,mFAAmF;YACnF,kFAAkF;YAClF,kFAAkF;YAClF,mFAAmF,CACtF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,eAAe,KAAK,gEAAgE;YAClF,gFAAgF;YAChF,8EAA8E;YAC9E,gFAAgF;YAChF,8EAA8E;YAC9E,yBAAyB,CAC5B,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAI,QAAqB,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAItC;IACC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IACvD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC;IAE5F,6EAA6E;IAC7E,uEAAuE;IACvE,8EAA8E;IAC9E,8EAA8E;IAC9E,yCAAyC;IACzC,MAAM,EAAE,YAAY,EAAE,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAElG,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;QAChC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC9D,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,uEAAuE;YACvE,0EAA0E;YAC1E,0EAA0E;YAC1E,2EAA2E;YAC3E,2EAA2E;YAC3E,0EAA0E;YAC1E,yEAAyE;YACzE,gDAAgD;YAChD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAClC,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;gBACpB,MAAM,QAAQ,GAAG,GAAG,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC;gBAC9D,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;oBACpC,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC;oBAC5C,KAAK,EAAE,KAAK,CAAC,EAAE;oBACf,OAAO,EAAE,MAAM;iBAChB,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,YAAY;gBAAE,SAAS;YAE5B,mEAAmE;YACnE,yEAAyE;YACzE,yEAAyE;YACzE,uCAAuC;YACvC,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;YACtF,wEAAwE;YACxE,2EAA2E;YAC3E,4EAA4E;YAC5E,yEAAyE;YACzE,uEAAuE;YACvE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,mBAAmB;oBACzB,OAAO,EACL,qCAAqC,MAAM,mBAAmB,KAAK,CAAC,EAAE,aAAa;wBACnF,+DAA+D,mBAAmB,GAAG;wBACrF,gDACE,aAAa;4BACX,CAAC,CAAC,6EAA6E;gCAC7E,UAAU;4BACZ,CAAC,CAAC,8EAA8E;gCAC9E,SACN,YAAY,KAAK,CAAC,EAAE,OAClB,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAC5C,kDAAkD;wBAClD,+EAA+E;wBAC/E,wCAAwC;oBAC1C,KAAK,EAAE,KAAK,CAAC,EAAE;oBACf,OAAO,EAAE,MAAM;iBAChB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,2EAA2E;YAC3E,uEAAuE;YACvE,0EAA0E;YAC1E,IAAI,MAAM,CAAC,KAAK,IAAI,KAAK;gBAAE,SAAS;YAEpC,uEAAuE;YACvE,yEAAyE;YACzE,oEAAoE;YACpE,uEAAuE;YACvE,sEAAsE;YACtE,sEAAsE;YACtE,yEAAyE;YACzE,qDAAqD;YACrD,EAAE;YACF,2EAA2E;YAC3E,0EAA0E;YAC1E,uEAAuE;YACvE,sEAAsE;YACtE,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EACL,mBAAmB,KAAK,CAAC,EAAE,2BAA2B,MAAM,qBAAqB;wBACjF,aAAa,MAAM,CAAC,KAAK,CAAC,EAAE,sBAAsB,iBAAiB,CACjE,MAAM,CAAC,KAAK,CACb,+EAA+E;wBAChF,0CAA0C,MAAM,CAAC,KAAK,CAAC,EAAE,cAAc;wBACvE,IAAI,KAAK,CAAC,EAAE,kCAAkC,KAAK,CAAC,EAAE,WAAW;wBACjE,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,kBAAkB,MAAM,CAAC,KAAK,CAAC,EAAE,0BAA0B;wBAC9E,2EAA2E;wBAC3E,8CAA8C;oBAChD,KAAK,EAAE,KAAK,CAAC,EAAE;oBACf,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;oBACrB,EAAE,EAAE,KAAK,CAAC,EAAE;oBACZ,OAAO,EAAE,MAAM;iBAChB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,0EAA0E;YAC1E,uEAAuE;YACvE,sEAAsE;YACtE,8DAA8D;YAC9D,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,GAAG,KAAK,EAAE,CAAC;gBACnD,oEAAoE;gBACpE,kEAAkE;gBAClE,oEAAoE;gBACpE,sEAAsE;gBACtE,oEAAoE;gBACpE,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EACL,mBAAmB,KAAK,CAAC,EAAE,2BAA2B,MAAM,oBAAoB;wBAChF,yEAAyE;wBACzE,IAAI,KAAK,CAAC,EAAE,uDAAuD;wBACnE,0CAA0C,MAAM,CAAC,KAAK,CAAC,EAAE,WAAW;wBACpE,GAAG,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,sCAAsC;wBACxE,iFAAiF;wBACjF,cAAc,OAAO,CAAC,KAAK,CAAC,EAAE,oBAAoB;wBAClD,IAAI,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,kCAAkC,KAAK,CAAC,EAAE,IAAI;wBAClF,2BAA2B,OAAO,CAAC,KAAK,CAAC,EAAE,uBAAuB;wBAClE,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,8DAA8D;wBACjF,mFAAmF;wBACnF,kFAAkF;wBAClF,WAAW;oBACb,KAAK,EAAE,KAAK,CAAC,EAAE;oBACf,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;oBACrB,EAAE,EAAE,KAAK,CAAC,EAAE;oBACZ,OAAO,EAAE,MAAM;iBAChB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,yEAAyE;YACzE,0EAA0E;YAC1E,wEAAwE;YACxE,wEAAwE;YACxE,6DAA6D;YAC7D,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EACL,mBAAmB,KAAK,CAAC,EAAE,2BAA2B,MAAM,qBAAqB;oBACjF,qFAAqF;oBACrF,0DAA0D,MAAM,CAAC,KAAK,CAAC,EAAE,aAAa;oBACtF,+EAA+E;oBAC/E,+EAA+E;oBAC/E,mCAAmC,MAAM,CAAC,KAAK,CAAC,EAAE,kCAAkC;oBACpF,6EAA6E;oBAC7E,gFAAgF;oBAChF,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,uCACjB,OAAO,KAAK,SAAS;wBACnB,CAAC,CAAC,kDAAkD;wBACpD,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,GAC1B,2CAA2C,KAAK,CAAC,EAAE,WAAW;oBAC9D,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,YAAY,MAAM,CAAC,KAAK,CAAC,EAAE,qCAAqC;oBACnF,oFAAoF;oBACpF,iFAAiF;oBACjF,0EAA0E;oBAC1E,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,iEAAiE;gBACtF,KAAK,EAAE,KAAK,CAAC,EAAE;gBACf,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;gBACrB,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,OAAO,EAAE,MAAM;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ;QACR,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,0BAA0B,EAAE,iBAAiB,CAAC;KAC5F,CAAC;AACJ,CAAC;AAED;;kEAEkE;AAClE,SAAS,eAAe,CACtB,KAAsB,EACtB,MAAc,EACd,GAAyB;IAEzB,MAAM,IAAI,GAAG,mBAAmB,KAAK,CAAC,EAAE,2BAA2B,MAAM,SAAS,CAAC;IACnF,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;QACpB,OAAO,CACL,GAAG,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,sBAAsB,mBAAmB,OAAO;YAClF,sFAAsF;YACtF,oFAAoF;YACpF,sFAAsF;YACtF,wFAAwF;YACxF,0FAA0F,CAC3F,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,CACL,GAAG,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,oDAAoD;YACtF,mFAAmF;YACnF,yFAAyF;YACzF,uFAAuF;YACvF,0CAA0C,CAC3C,CAAC;IACJ,CAAC;IACD,OAAO,CACL,GAAG,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,+BAA+B,mBAAmB,SAAS;QAC7F,2FAA2F;QAC3F,4FAA4F;QAC5F,yFAAyF;QACzF,0FAA0F;QAC1F,4FAA4F;QAC5F,2FAA2F;QAC3F,2FAA2F,CAC5F,CAAC;AACJ,CAAC"}

package/dist/esm/lib/injection-engine/skillGraph.d.ts

@@ -208,6 +208,16 @@ export interface SkillGraphFlatConfig {
      * See {@link BuildOptions.scopeTools}.
      */
     readonly scopeTools?: boolean;
+    /**
+     * Phrasings this graph must claim NOWHERE — the negative routing rows. Same
+     * machine as `.neverRoutes([...])`; see that method for what the check
+     * proves and what it deliberately does not. A row a declared start rule
+     * claims is an ERROR (`never-routes-claimed`), naming the rule.
+     *
+     * @example
+     *   skillGraph({ skills, start: { rules }, neverRoutes: ['what is the weather'] });
+     */
+    readonly neverRoutes?: readonly string[];
     readonly check?: GraphCheckMode;
     /** Baseline agent tool names — see {@link BuildOptions.knownTools}. */
     readonly knownTools?: readonly string[];
@@ -232,6 +242,10 @@ export interface SkillGraphTreeConfig {
     readonly scopeTools?: boolean;
     readonly start?: never;
     readonly steps?: never;
+    /** A tree has no start RULES for a negative row to be judged against, so the
+     *  type refuses it here and `build()` refuses it at runtime (see
+     *  {@link SkillGraphBuilder.neverRoutes}). */
+    readonly neverRoutes?: never;
     readonly check?: GraphCheckMode;
     /** Baseline agent tool names — see {@link BuildOptions.knownTools}. */
     readonly knownTools?: readonly string[];
@@ -815,6 +829,42 @@ export interface SkillGraphBuilder {
      * router per graph. Flat graphs only.
      */
     classify(scorer: IntentScorer, policy?: Partial<RoutingPolicy>): SkillGraphBuilder;
+    /**
+     * Declare phrasings this graph must claim **NOWHERE** — the negative form of
+     * a rule's `examples`, and the one that catches the expensive failure.
+     *
+     * An under-triggering skill costs a turn (the model tier picks instead). An
+     * OVER-triggering skill costs the answer: the wrong body enters the system
+     * prompt and the wrong tools enter the tools slot, and everything said after
+     * that is shaped by a skill with no business in the turn.
+     *
+     * It is declared on the GRAPH, not on a skill, because a phrase that must
+     * route nowhere belongs to no skill: the assertion is satisfied only when
+     * EVERY rule declines, and a row hung on one skill would vanish the day that
+     * skill was deleted — exactly when a graph is re-partitioned, which is
+     * exactly when over-triggering appears.
+     *
+     * `graph.checkup()` runs every declared start condition over the phrase on a
+     * cold-start context and reports the rule that claims it, BY NAME, as an
+     * ERROR (`never-routes-claimed`) — so a default `.build()` refuses.
+     *
+     * **What it proves, exactly:** no declared start RULE claims the phrase. Not
+     * "no routing at all": an intent rule is judged by a classifier at run time, a
+     * scorer / `.entryByRead()` menu ranks descriptions, and `read_skill` can
+     * always open an open skill by name. That statement rides the report itself
+     * (`checkup().notes`).
+     *
+     * Accepts one phrase or a list; call it as often as you like (rows
+     * accumulate). A duplicate row is refused — one row already asserts it
+     * against every rule.
+     *
+     * @example
+     *   skillGraph()
+     *     .entry(billing, { match: { keywords: ['refund', 'charge'] } })
+     *     .neverRoutes(["what's the weather in Berlin"])
+     *     .build();
+     */
+    neverRoutes(phrases: string | readonly string[]): SkillGraphBuilder;
     build(opts?: BuildOptions): SkillGraph;
 }
 export declare function skillGraph(): SkillGraphBuilder;

package/dist/esm/lib/injection-engine/skillGraph.js

@@ -64,6 +64,8 @@ import { checkupGraph, formatCheckup, } from './skillGraphCheckup.js';
 import { checkSkillContracts } from './skillContract.js';
 import { checkArtifactVocabularies } from './skillVocabulary.js';
 import { checkStartRuleExamples, validateStartRuleExamples } from './skillExamples.js';
+import { checkNeverRoutes, neverRouteKey, validateNeverRoutes } from './skillNeverRoutes.js';
+import { checkPartition } from './skillPartition.js';
 import { compileMatch, mermaidMatchCaption, } from './skillMatch.js';
 import { resolveRoutingPolicy } from './routingPolicy.js';
 import { buildTurnRoutingPlan, findDuplicateIntentExamples, runCheckupIntents, } from './skillIntent.js';
@@ -126,6 +128,10 @@ export function skillGraph(config) {
     let entryByReadFlag = false;
     let classifyScorer;
     let classifyPolicy;
+    // The negative rows, in declaration order. A graph that never calls
+    // `.neverRoutes()` keeps an empty array and pays one length check at
+    // check-up time — zero cost when unused.
+    const neverRoutePhrases = [];
     /**
      * Register a skill under its id, refusing a second DIFFERENT skill under an id
      * already taken (8.4.0). Until then this was a bare `Map.set` — last write won,
@@ -241,6 +247,14 @@ export function skillGraph(config) {
             classifyPolicy = policy;
             return builder;
         },
+        neverRoutes(phrases) {
+            // Validated at the keystroke, like a rule's `examples` — an unusable row
+            // is refused where it was written instead of quietly asserting nothing at
+            // check-up time. The already-declared set makes the duplicate refusal
+            // work across calls, not just within one.
+            neverRoutePhrases.push(...validateNeverRoutes(phrases, '.neverRoutes(...)', new Set(neverRoutePhrases.map(neverRouteKey))));
+            return builder;
+        },
         build(opts = {}) {
             // One entry router per graph — classify is a third machine beside the
             // scorer and the model-read menu, and two of them deciding one turn
@@ -290,6 +304,17 @@ export function skillGraph(config) {
                     '.tree(), which declares tool scoping on .tree(root, { scopeTools }) (object ' +
                     "form: the tree arm's own `scopeTools` field) — set it there instead.");
             }
+            // A negative row is judged against the START RULES, and a `.tree()` has
+            // none — it routes by predicate on every iteration, with no turn start to
+            // claim or decline a phrase. Accepting the rows here would run them
+            // against an empty rule set and report a clean pass, which is the one
+            // answer a negative assertion must never give by construction.
+            if (treeRoot && neverRoutePhrases.length > 0) {
+                throw new Error(`skillGraph: .neverRoutes(...) declares ${plural(neverRoutePhrases.length, 'phrase', 'phrases')} that must claim no skill, but this graph is a .tree() — which routes by predicate ` +
+                    'on every iteration and has no start rules for a phrase to be judged against, so ' +
+                    'the rows would pass in silence and you would read that as proof. Assert them on ' +
+                    'a flat entry/route graph, or test the tree by running its predicates directly.');
+            }
             // A tree and the flat entry/route wiring are two ways to declare the same
             // thing, and only ONE of them compiles: the tree branch below never reads
             // `entries` or `routes`. Until 8.4.0 that was silent — the tree won and every
@@ -368,17 +393,37 @@ export function skillGraph(config) {
                     orderDecides: !(entryScorer !== undefined || entryByReadFlag) || classifyScorer !== undefined,
                     hasClassifier: classifyScorer !== undefined,
                 });
+                // The NEGATIVE rows — phrases this graph claims NOWHERE. No
+                // `orderDecides` gate: "nobody claims it" is an assertion every rule
+                // has to satisfy, so the order they are read in cannot change the
+                // answer (skillNeverRoutes.ts's header has the whole argument).
+                const negatives = checkNeverRoutes({ entries, phrases: neverRoutePhrases });
+                // The PARTITION advisories — how this graph cut the world into skills,
+                // read from names and structure alone. Warnings, always: every signal
+                // has a legitimate design behind it, and each message says which.
+                const partition = checkPartition({
+                    skills: [...skillsById.values()],
+                    routeCount: routes.length,
+                    entryCount: entries.length,
+                    isTree: treeRoot !== undefined,
+                });
                 const problems = [
                     ...wiring.problems,
                     ...intentDuplicates,
                     ...contract,
                     ...vocabularies,
                     ...examples.problems,
+                    ...negatives.problems,
+                    ...partition,
                 ];
+                // Notes are statements about the report's own REACH, and each check
+                // brings its own — a graph that declared both examples and negative
+                // rows carries both boundaries, in declaration order of the checks.
+                const notes = [...examples.notes, ...negatives.notes];
                 return {
                     ok: !problems.some((p) => p.kind === 'error'),
                     problems,
-                    ...(examples.notes.length > 0 && { notes: examples.notes }),
+                    ...(notes.length > 0 && { notes }),
                 };
             };
             // The cursor resolver — the single source of truth for `from`-gated, sticky
@@ -738,6 +783,12 @@ export function skillGraph(config) {
                     builder.entryByRead();
             }
         }
+        // The negative rows (graph level, like the skills list itself — a phrase
+        // that must route nowhere belongs to no skill and to no `start` arm).
+        // Declared BEFORE `build()` so the tree refusal fires there, in one place,
+        // for both forms.
+        if (config.neverRoutes !== undefined)
+            builder.neverRoutes(config.neverRoutes);
         for (const step of config.steps ?? []) {
             builder.route(resolve(step.from), resolve(step.to), {
                 ...(step.when && { when: step.when }),