agentfootprint 10.2.0 → 10.3.1

package/dist/types/context-bisect/types.d.ts

@@ -0,0 +1,463 @@
+/**
+ * context-bisect types — RFC-003 Part B: the contextual-bug localizer
+ * ("git bisect for context").
+ *
+ * Pattern: assembly contract. Part B is pure ASSEMBLY over shipped pieces:
+ *          footprintjs 9.8.0's complete causal DAG (control edges, honesty
+ *          markers, `EdgeWeigher` hook) × influence-core scoring (D6) ×
+ *          consumer-run counterfactual ablation. No new engine features,
+ *          no new typed events.
+ * Role:    `src/context-bisect/` leaf. Exported via
+ *          `agentfootprint/observe`.
+ *
+ * ## The two-tier honest-claims discipline (RFC-003 §B2)
+ *
+ * Every number in these types belongs to exactly ONE of two tiers, and the
+ * docs say which:
+ *
+ *   - **CORRELATIONAL** — edge weights, suspect scores, rankings. These are
+ *     deterministic embedding-geometry PROXIES (influence-core composite:
+ *     semantic alignment between what a source wrote and what the LLM step
+ *     produced). They mean "high semantic alignment", never "the model
+ *     answered BECAUSE of this". A report without reruns stops here and is
+ *     marked `mode: 'correlational'`.
+ *
+ *   - **CAUSAL** — ablation verdicts ONLY. A suspect earns `verdict:
+ *     'confirmed'` exclusively by counterfactual evidence: the consumer's
+ *     `AblationRunner` re-ran the scenario WITHOUT the suspect N seeded
+ *     times and the outcome flipped (with baseline stability checked and
+ *     variance reported — never a single-run verdict).
+ *
+ * Slice completeness is bounded by tracking — and SAYS so: untracked reads
+ * (`$getArgs()` / env / silent reads), missing control-dependence lookups,
+ * missing read tracking, and depth/node truncation all surface as
+ * `honestyFlags` on the report, mirrored from footprintjs's own A2/A4
+ * markers.
+ */
+import type { RuntimeSnapshot, StageSnapshot } from 'footprintjs/advanced';
+import type { CommitBundle, ControlDepLookup, ValueBasis } from 'foottrace';
+import type { CapturedEventLike } from '../recorders/observability/recordedManifest.js';
+import type { Embedder, InfluenceWeights } from '../influence-core/index.js';
+/**
+ * Minimal per-step quality lookup for trigger derivation — satisfied by
+ * footprintjs's `QualityRecorder` (structural, decoupled).
+ */
+export interface QualityTriggerLookup {
+    getLowest(): {
+        runtimeStageId: string;
+        entry: {
+            score: number;
+            stageName: string;
+        };
+    } | undefined;
+}
+/**
+ * The frozen evidence of one completed run — a structural SUPERSET of the
+ * trace-toolpack's `TraceToolpackArtifacts`, so the same bag literal can
+ * serve `traceToolpack(...)` and `localizeContextBug(...)`: every
+ * runtimeStageId in the report drills straight into the toolpack tools.
+ *
+ * - `snapshot` — `executor.getSnapshot()` / `agent.getLastSnapshot()`.
+ * - `structure` — OPTIONAL `runner.getSpec().buildTimeStructure`. Not read
+ *   by the localizer, which works entirely off the commit log — it is here
+ *   so that this bag is a complete RECORDING (`{ snapshot, events,
+ *   structure }`) and the same literal that localizes a bad answer can also
+ *   DRAW the run it came from. Without it the evidence is complete for
+ *   analysis and mute for viewing: a snapshot carries no chart, and a
+ *   finished run cannot produce one afterwards.
+ * - `controlDeps` — OPTIONAL `controlDepRecorder().asLookup()` from the
+ *   run. With it, the slice includes `[control: <rule label>]` edges to
+ *   the deciders that routed execution. Without it, the report carries the
+ *   `no-control-deps` honesty flag.
+ * - `quality` — OPTIONAL `QualityRecorder` from the run; its
+ *   lowest-scoring step is the default trigger when `atStep` is absent.
+ * - `events` — OPTIONAL captured typed events; used to extract LLM-call
+ *   step ids (`stream.llm_start`) when `llmCallIds` is not given.
+ * - `llmCallIds` — explicit override: the runtimeStageIds of LLM-call
+ *   executions (the steps whose parent edges D7 weighs).
+ */
+export interface ContextBugArtifacts {
+    readonly snapshot: RuntimeSnapshot;
+    /** The run's build-time chart — carried so the evidence can also be drawn. */
+    readonly structure?: unknown;
+    readonly controlDeps?: ControlDepLookup;
+    readonly quality?: QualityTriggerLookup;
+    readonly events?: readonly CapturedEventLike[];
+    readonly llmCallIds?: readonly string[];
+}
+/**
+ * What kind of context source a suspect is — picks which ablation adapter
+ * applies. `'stage'` is the honest fallback for slice nodes the classifier
+ * cannot map to an ablatable source (pipeline plumbing, plain stages).
+ */
+export type SuspectKind = 'tool' | 'injection' | 'memory' | 'arg' | 'stage';
+/** Kind-specific identity + the text the semantic refinement embedded. */
+export interface SuspectDetail {
+    /** Tool name (kind 'tool'). */
+    readonly toolName?: string;
+    /** Injection id (kind 'injection' / 'memory') — `Injection.id`. */
+    readonly injectionId?: string;
+    /** Injection flavor (fact / skill / rag / memory / …), when known. */
+    readonly flavor?: string;
+    /**
+     * The suspect's own content text (tool result / injection rawContent),
+     * already redaction-scrubbed by footprintjs at commit time. This is
+     * what the embedder saw for `semanticScore`.
+     */
+    readonly text?: string;
+    /**
+     * Why the committed value this suspect was read from is not exact, when it
+     * is not — footprintjs's `commitValueAtWithBasis` codes (e.g.
+     * `['nested-rows']` for a value a subflow seed or merge-back wrote only
+     * partly). Sentences: `HONESTY_CODES` on `foottrace`. ABSENT when
+     * exact.
+     */
+    readonly valueBasis?: readonly ValueBasis[];
+}
+/**
+ * One hop of a suspect's evidence path — the argmax-weight chain from the
+ * trigger step back to the suspect. Control edges carry `kind: 'control'`
+ * and (when decide() supplied one) the rule label in `key`.
+ */
+export interface EdgePathStep {
+    /** Child (downstream) step. The first hop's `from` is the trigger. */
+    readonly from: string;
+    readonly fromName: string;
+    /** Parent (upstream) step. The last hop's `to` is the suspect. */
+    readonly to: string;
+    readonly toName: string;
+    readonly kind: 'data' | 'control';
+    /** State key (data) or decide() rule label (control), when present. */
+    readonly key?: string;
+    /** Edge weight — 1.0 unless D7 weighed it (child was an LLM call). */
+    readonly weight: number;
+}
+/** Per-run similarity statistics — variance ALWAYS reported (D9). */
+export interface SimilarityStats {
+    readonly mean: number;
+    readonly min: number;
+    readonly max: number;
+    /** Population standard deviation across the N seeded reruns. */
+    readonly stdev: number;
+}
+/** Min/median/max of a cost metric across a probe's seeded reruns. */
+export interface CostRange {
+    readonly median: number;
+    readonly min: number;
+    readonly max: number;
+}
+/**
+ * Per-probe COST (loops/tokens) across its seeded reruns — the second readout
+ * (proposal 004). Present on `AblationRunStats` ONLY when the runner reported
+ * `RunCost`. Absent otherwise (quality-only, byte-identical to before).
+ */
+export interface CostStats {
+    readonly samples: number;
+    readonly loops?: CostRange;
+    readonly tokens?: CostRange;
+}
+/** Evidence from N seeded ablation reruns of one probe. */
+export interface AblationRunStats {
+    /** Seeded reruns performed (the consumer's runner was called N times). */
+    readonly samples: number;
+    /** Runs where `outcomeChanged(original, ablated)` was true. */
+    readonly flips: number;
+    /** Embedding similarity of each ablated output to the original. */
+    readonly similarity: SimilarityStats;
+    /** COST readout across the same reruns — present only when the runner
+     *  reported `RunCost` (proposal 004). */
+    readonly cost?: CostStats;
+}
+export type AblationVerdictKind = 'confirmed' | 'not-confirmed' | 'inconclusive';
+/**
+ * The ONLY causal claim in the report (§B2). `'confirmed'` = ablating the
+ * suspect flipped the outcome in a MAJORITY of N seeded reruns while the
+ * un-ablated baseline stayed stable. `'inconclusive'` = mixed flips, or an
+ * unstable baseline (the scenario itself doesn't reproduce — no ablation
+ * verdict is trustworthy then). `'not-confirmed'` = no flip observed; the
+ * suspect's score remains a correlational proxy only.
+ */
+export interface AblationVerdict {
+    readonly verdict: AblationVerdictKind;
+    /** Human-readable claim, phrased at the right tier (causal vs proxy). */
+    readonly claim: string;
+}
+/**
+ * A missing-context candidate (interface #3): a unit that was available for the
+ * turn but never reached the model. The mirror of a `Suspect`'s ablation
+ * verdict — `confirmed` here means RESTORING the unit flipped the outcome in a
+ * majority of seeded reruns on a stable baseline. Without a restoration runner
+ * it carries only `id`/`content` (a candidate, not a causal claim).
+ */
+export interface RestoredCandidate {
+    readonly id: string;
+    readonly content?: string;
+    /** Seeded restoration-probe stats (causal tier only). */
+    readonly runs?: AblationRunStats;
+    /** Restoration verdict (causal tier only). */
+    readonly verdict?: AblationVerdict;
+}
+/** One ranked suspect. */
+export interface Suspect {
+    /**
+     * runtimeStageId of the slice node this suspect lives at — drillable
+     * with the trace-toolpack tools (`trace_node(source)` etc.).
+     */
+    readonly source: string;
+    readonly stageName: string;
+    readonly kind: SuspectKind;
+    readonly detail?: SuspectDetail;
+    /**
+     * The ranking key — CORRELATIONAL proxy (§B2):
+     * `structuralScore × semanticScore` when a semantic refinement exists,
+     * else `structuralScore`. Means "semantically aligned and causally
+     * UPSTREAM", never "caused".
+     *
+     * Comparison caveat: a suspect WITHOUT content text (kind 'stage'/'arg',
+     * or a path through control edges only) keeps its bare structural score
+     * — an UPPER BOUND with no content evidence behind it. Plumbing can
+     * legitimately rank above ablatable sources; the ablation verdicts (and
+     * `semanticScore`'s presence) are what disambiguate.
+     */
+    readonly score: number;
+    /**
+     * Max-product of edge weights along the best path from the trigger to
+     * this node (1.0 when no D7-weighted LLM edge is on the path).
+     */
+    readonly structuralScore: number;
+    /**
+     * Influence-core composite of the suspect's own content vs the trigger
+     * step's output (clamped to [0, 1]); only for suspects with a known
+     * content text. The same proxy disclaimers as D6 apply.
+     */
+    readonly semanticScore?: number;
+    /**
+     * TRUE when `score` includes a content signal (semanticScore present).
+     * FALSE = path-only structural score — an UPPER BOUND that can reach 1.0
+     * through control-edge paths alone; rank such suspects with care and
+     * prefer ablation verdicts to disambiguate. (Machine-readable twin of
+     * the "path only — no content signal" report marking.)
+     */
+    readonly hasContentEvidence: boolean;
+    /** Evidence path, trigger → … → suspect, control edges labeled. */
+    readonly edgePath: readonly EdgePathStep[];
+    /** The counterfactual to run — absent for kind 'stage'. */
+    readonly ablation?: AblationSpec;
+    /** CAUSAL tier — present only when an `AblationRunner` was supplied. */
+    readonly verdict?: AblationVerdict;
+    /** The rerun evidence behind `verdict`. */
+    readonly runs?: AblationRunStats;
+    /** The COST readout (proposal 004) — present only when the runner reported
+     *  `RunCost`. A WEAKER tier than `verdict`: it shows removal reduced cost
+     *  beyond a placebo band, NOT that the work was "wasted". */
+    readonly cost?: CostVerdict;
+}
+/**
+ * The COST verdict for a suspect — a context bug's second cost (proposal 004).
+ * A WEAKER, gated tier than the flip `verdict`: it shows removing the suspect
+ * REDUCED cost (loops/tokens) beyond a length-matched placebo band with a stable
+ * sign — **necessity for the cost, NOT proof the work was "wasted".**
+ */
+export interface CostVerdict {
+    /** Removing the suspect reduced cost beyond the placebo band, stably. */
+    readonly reducedCostOnRemoval: boolean;
+    /** Loops saved by removal (baseline median − suspect median). */
+    readonly loopsSaved: number;
+    /** Tokens saved by removal. */
+    readonly tokensSaved: number;
+    /** Sign stable across seeds AND a placebo band existed to clear. When false,
+     *  `reducedCostOnRemoval` is not trustworthy (treat as no cost evidence). */
+    readonly stable: boolean;
+}
+/**
+ * The 2×2 class a suspect falls in, derived by `classifySuspect` from its flip
+ * `verdict` (quality) and its `cost` verdict. The no-bug cell is
+ * `'no-detected-effect'` — never "innocent": a piece can matter in ways neither
+ * axis sees (overdetermination, same-loops-different-path).
+ */
+export type SuspectClass = 'content-bug' | 'cost-cause' | 'both' | 'no-detected-effect';
+/**
+ * What to remove for one counterfactual rerun. The library BUILDS specs
+ * (one per suspect kind) and provides `applyAblations` to apply them to
+ * the inputs an agent is constructed from; the consumer's `AblationRunner`
+ * re-runs the scenario with the spec applied.
+ *
+ * THE TOOL SEAM (documented because `AgentOptions` has no `ignoredTools`):
+ * agentfootprint has no runtime tool kill-switch — tools enter an agent at
+ * construction (`.tools([...])` / injection `inject.tools`). Tool ablation
+ * therefore happens where tools are DECLARED: the runner rebuilds the
+ * agent with `applyAblations(specs, { tools }).tools`. The same pattern
+ * covers injections (rebuild without the excluded `Injection.id`s) and
+ * memory (filter `MemoryEntry`s by id before attaching).
+ */
+export type AblationSpec = 
+/** Drop these tools from the catalog the agent is built with. */
+{
+    readonly kind: 'tool';
+    readonly ignoredTools: readonly string[];
+}
+/** Drop these injections (facts / skills / instructions / steering / rag). */
+ | {
+    readonly kind: 'injection';
+    readonly excludeInjectionIds: readonly string[];
+}
+/** Drop these memory entries (matched by `MemoryEntry.id`). */
+ | {
+    readonly kind: 'memory';
+    readonly excludeMemoryIds: readonly string[];
+}
+/**
+ * The suspect is run INPUT (`$getArgs()` / seed args) — there is nothing
+ * the library can filter. The consumer's runner must override the arg
+ * itself (e.g. re-run with a neutralized field). `source` names the step
+ * that consumed the untracked input.
+ */
+ | {
+    readonly kind: 'arg';
+    readonly source: string;
+    readonly note: string;
+};
+/**
+ * Consumer-supplied counterfactual runner: re-run the SAME scenario with
+ * every spec in `specs` applied, and return the run's output text.
+ *
+ * Contract:
+ * - `specs` may be empty — that is the BASELINE probe (re-run unchanged);
+ *   its outputs measure the scenario's natural variance.
+ * - `run.seed` varies 0..N-1 across the N samples of one probe. Thread it
+ *   into any stochastic knob (sampling temperature seed, mock script
+ *   selection) so reruns are deterministic-but-distinct; ignore it for
+ *   fully deterministic scenarios.
+ * - Build a FRESH agent/provider per call — scripted mock providers are
+ *   stateful (replies consume in order).
+ */
+/**
+ * The COST of one re-run — the second readout the two-score localizer reads
+ * from the SAME ablation (proposal 004). Both optional; cost scoring is opt-in
+ * by a runner that reports them. `loops` = agent loop iterations the run took;
+ * `tokens` = total tokens it consumed.
+ */
+export interface RunCost {
+    readonly loops?: number;
+    readonly tokens?: number;
+}
+/**
+ * Consumer-supplied counterfactual runner (above). Returns the run's output
+ * text — OR, to ALSO unlock the cost score (proposal 004), `{ output, cost }`
+ * from the SAME re-run (one ablation, two readouts). Backward-compatible:
+ * `runAblationProbe` normalizes both shapes, so a bare-string runner keeps
+ * quality-only behavior unchanged.
+ */
+export type AblationRunner = (specs: readonly AblationSpec[], run: {
+    readonly seed: number;
+}) => Promise<string | {
+    readonly output: string;
+    readonly cost?: RunCost;
+}>;
+/**
+ * Did the ablated output mean something DIFFERENT from the original?
+ * Default: embedding similarity below `flipThreshold`. Override with a
+ * domain comparator (e.g. compare extracted decisions) — recommended with
+ * `mockEmbedder`, whose cosine compresses prose into ~0.85–0.97 (the C1
+ * calibration note: absolute thresholds only with real embedders).
+ */
+export type OutcomeComparator = (original: string, ablated: string) => boolean | Promise<boolean>;
+/** The rerun configuration that upgrades the report to the causal tier. */
+export interface AblationRerun {
+    readonly runner: AblationRunner;
+    /** The original (buggy) output the reruns are compared against. */
+    readonly originalOutput: string;
+    /** Seeded reruns per probe. Default 3. Never below 2 (no single-run verdicts — D9). */
+    readonly samples?: number;
+    /** Outcome-flip comparator. Default: similarity < `flipThreshold`. */
+    readonly outcomeChanged?: OutcomeComparator;
+    /** Similarity floor for the DEFAULT comparator. Default 0.8. */
+    readonly flipThreshold?: number;
+    /** Ablate only the top-K ranked suspects that carry a spec. Default 5. */
+    readonly maxSuspects?: number;
+}
+/** Slice-shape numbers — how much evidence the ranking stands on. */
+export interface SliceStats {
+    readonly nodes: number;
+    readonly dataEdges: number;
+    readonly controlEdges: number;
+    /** Edges that received a D7 (LLM-influence) weight. */
+    readonly weightedEdges: number;
+    /** Nodes that ALSO consumed untracked sources (args/env/silent reads). */
+    readonly incompleteNodes: number;
+    readonly maxDepth: number;
+    readonly maxNodes: number;
+    /** Present when a limit actually cut the slice (footprintjs A4). */
+    readonly truncated?: {
+        readonly byDepth: boolean;
+        readonly byNodes: boolean;
+    };
+}
+export type HonestyFlagKind = 'slice-truncated' | 'untracked-sources' | 'no-control-deps' | 'no-read-tracking' | 'no-llm-call-ids' | 'baseline-unstable';
+export interface HonestyFlag {
+    readonly flag: HonestyFlagKind;
+    readonly note: string;
+}
+/** The localizer's full output (D8). */
+export interface ContextBugReport {
+    /** The trigger step the slice was rooted at. */
+    readonly step: string;
+    readonly stepName: string;
+    /** Where the trigger came from. */
+    readonly triggerSource: 'explicit' | 'quality' | 'custom';
+    /** The quality score that selected the trigger (quality source only). */
+    readonly triggerScore?: number;
+    /**
+     * `'correlational'` — no `AblationRunner` supplied: the report STOPS at
+     * the ranking; every score is a proxy and no causal claim is made.
+     * `'causal'` — suspects additionally carry ablation verdicts (§B2: the
+     * verdicts are the only causal claims; the scores stay proxies).
+     */
+    readonly mode: 'correlational' | 'causal';
+    /**
+     * Name of the influence strategy that RANKED the suspects —
+     * `'semantic-alignment'` (the default), a strategy's `name` when an
+     * `InfluenceStrategy` was passed, or `'custom'` for a bare function.
+     * Ranking metadata only — the §B2 tiers are unchanged (scores stay
+     * proxies whatever ranked them; ablation alone convicts).
+     */
+    readonly rankedBy?: string;
+    /** Ranked suspects, best (most aligned + upstream) first. */
+    readonly suspects: readonly Suspect[];
+    /**
+     * Missing-context candidates (interface #3): units that were available for
+     * the turn but never reached the model. Each carries a RESTORATION verdict
+     * when a restoration runner was supplied (causal tier — restoring it flipped
+     * the outcome). Absent when no `missingContext` option was passed.
+     */
+    readonly dropped?: readonly RestoredCandidate[];
+    readonly sliceStats: SliceStats;
+    /** ⚠ everything that bounds what this report can honestly claim. */
+    readonly honestyFlags: readonly HonestyFlag[];
+    /** Ablation baseline probe stats (causal mode only). */
+    readonly baseline?: AblationRunStats;
+    /** Restoration baseline probe stats — the missing-context tier's twin of
+     *  `baseline` (present only when a restoration runner ran). An unstable one
+     *  also raises a `baseline-unstable` honesty flag. */
+    readonly restorationBaseline?: AblationRunStats;
+}
+export declare const CONTEXT_BISECT_DEFAULTS: {
+    /** Slice depth budget (forwarded to `causalChain`). */
+    readonly maxDepth: 12;
+    /** Slice node budget (forwarded to `causalChain`). */
+    readonly maxNodes: 80;
+    /** Ranked suspects kept on the report. */
+    readonly maxSuspects: 12;
+    /** Chars of written content embedded per step text (D7). */
+    readonly maxTextChars: 2000;
+    /** Seeded reruns per ablation probe (D9 — never single-run verdicts). */
+    readonly samples: 3;
+    /** Default similarity floor for the default outcome comparator. */
+    readonly flipThreshold: 0.8;
+    /** Ablation probes budget for `bisectCulprits`. */
+    readonly maxProbes: 24;
+    /** Independent-culprit search rounds for `bisectCulprits`. */
+    readonly maxCulprits: 4;
+};
+export type { CommitBundle, ControlDepLookup, Embedder, InfluenceWeights, RuntimeSnapshot, StageSnapshot, };
+//# sourceMappingURL=types.d.ts.map

package/dist/types/context-bisect/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/context-bisect/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gDAAgD,CAAC;AACxF,OAAO,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAO7E;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,SAAS,IAAI;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,GAAG,SAAS,CAAC;CAClG;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,8EAA8E;IAC9E,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC;IACxC,QAAQ,CAAC,OAAO,CAAC,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC/C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAID;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,WAAW,GAAG,QAAQ,GAAG,KAAK,GAAG,OAAO,CAAC;AAE5E,0EAA0E;AAC1E,MAAM,WAAW,aAAa;IAC5B,+BAA+B;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,mEAAmE;IACnE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,sEAAsE;IACtE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,kEAAkE;IAClE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,uEAAuE;IACvE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,sEAAsE;IACtE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,qEAAqE;AACrE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,sEAAsE;AACtE,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;CAC7B;AAED,2DAA2D;AAC3D,MAAM,WAAW,gBAAgB;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,+DAA+D;IAC/D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,mEAAmE;IACnE,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC;6CACyC;IACzC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;CAC3B;AAED,MAAM,MAAM,mBAAmB,GAAG,WAAW,GAAG,eAAe,GAAG,cAAc,CAAC;AAEjF;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,yEAAyE;IACzE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,yDAAyD;IACzD,QAAQ,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC;IACjC,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC;CACpC;AAED,0BAA0B;AAC1B,MAAM,WAAW,OAAO;IACtB;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC;IAChC;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC;;;;OAIG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC;;;;;;OAMG;IACH,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,2DAA2D;IAC3D,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,wEAAwE;IACxE,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IACnC,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC;IACjC;;iEAE6D;IAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;CAC7B;AAED;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,yEAAyE;IACzE,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,+BAA+B;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;iFAC6E;IAC7E,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,aAAa,GAAG,YAAY,GAAG,MAAM,GAAG,oBAAoB,CAAC;AAIxF;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,YAAY;AACtB,iEAAiE;AAC/D;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE;AACrE,8EAA8E;GAC5E;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE;AACjF,+DAA+D;GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE;AAC3E;;;;;GAKG;GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7E;;;;;;;;;;;;;GAaG;AACH;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GAAG,CAC3B,KAAK,EAAE,SAAS,YAAY,EAAE,EAC9B,GAAG,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,KAC3B,OAAO,CAAC,MAAM,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC;AAE5E;;;;;;GAMG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;AAElG,2EAA2E;AAC3E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,mEAAmE;IACnE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,uFAAuF;IACvF,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,cAAc,CAAC,EAAE,iBAAiB,CAAC;IAC5C,gEAAgE;IAChE,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,0EAA0E;IAC1E,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAID,qEAAqE;AACrE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,uDAAuD;IACvD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;CAC/E;AAED,MAAM,MAAM,eAAe,GACvB,iBAAiB,GACjB,mBAAmB,GACnB,iBAAiB,GACjB,kBAAkB,GAClB,iBAAiB,GACjB,mBAAmB,CAAC;AAExB,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,wCAAwC;AACxC,MAAM,WAAW,gBAAgB;IAC/B,gDAAgD;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,mCAAmC;IACnC,QAAQ,CAAC,aAAa,EAAE,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAC;IAC1D,yEAAyE;IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,eAAe,GAAG,QAAQ,CAAC;IAC1C;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,oEAAoE;IACpE,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IACrC;;0DAEsD;IACtD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,gBAAgB,CAAC;CACjD;AAID,eAAO,MAAM,uBAAuB;IAClC,uDAAuD;;IAEvD,sDAAsD;;IAEtD,0CAA0C;;IAE1C,4DAA4D;;IAE5D,yEAAyE;;IAEzE,mEAAmE;;IAEnE,mDAAmD;;IAEnD,8DAA8D;;CAEtD,CAAC;AAIX,YAAY,EACV,YAAY,EACZ,gBAAgB,EAChB,QAAQ,EACR,gBAAgB,EAChB,eAAe,EACf,aAAa,GACd,CAAC"}

package/dist/types/context-bisect/variable-recall.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variable-recall.d.ts","sourceRoot":"","sources":["../../../src/context-bisect/variable-recall.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AASH,OAAO,KAAK,EAIV,YAAY,EACZ,WAAW,EACX,SAAS,EACT,WAAW,EACX,kBAAkB,EAClB,aAAa,EACb,QAAQ,EAET,MAAM,WAAW,CAAC;AAGnB,OAAO,EAGL,KAAK,iBAAiB,EACvB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAsB,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACtE,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAKjF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,GAAG,cAAc,GAAG,SAAS,CAAC;AAEpE;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC;IAChC,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8CAA8C;IAC9C,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAClC,4EAA4E;IAC5E,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC,iFAAiF;IACjF,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,8DAA8D;IAC9D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,qEAAqE;IACrE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,oDAAoD;IACpD,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB;IACjC,wEAAwE;IACxE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,CAAC,EAAE,kBAAkB,CAAC;IACtC,sFAAsF;IACtF,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,qEAAqE;IACrE,QAAQ,CAAC,SAAS,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACpD,gFAAgF;IAChF,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,sEAAsE;IACtE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,8EAA8E;IAC9E,QAAQ,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;CACxC;AAED,MAAM,WAAW,wBAAwB;IACvC;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC;IAChC,4EAA4E;IAC5E,QAAQ,CAAC,QAAQ,CAAC,EAAE,iBAAiB,CAAC;CACvC;AAED,MAAM,WAAW,oBAAqB,SAAQ,wBAAwB;IACpE,yEAAyE;IACzE,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,qFAAqF;IACrF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AA2ID;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,WAAW,EAClB,UAAU,EAAE,UAAU,EACtB,IAAI,GAAE,wBAA6B,GAClC,kBAAkB,CA8DpB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,aAAa,CAC3B,SAAS,EAAE,mBAAmB,EAC9B,GAAG,EAAE,QAAQ,EACb,IAAI,GAAE,oBAAyB,GAC9B,kBAAkB,CAepB"}

package/dist/types/context-bisect/variableToBacktrackTrace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variableToBacktrackTrace.d.ts","sourceRoot":"","sources":["../../../src/context-bisect/variableToBacktrackTrace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,KAAK,EAGV,cAAc,EACf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAkB,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE/E,MAAM,WAAW,+BAA+B;IAC9C,wEAAwE;IACxE,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,GAAG,UAAU,CAAC;KACtC,CAAC;IACF,+DAA+D;IAC/D,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,gFAAgF;IAChF,QAAQ,CAAC,aAAa,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC;IACxC,oCAAoC;IACpC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,iFAAiF;IACjF,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAwBD;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,kBAAkB,EAC9B,IAAI,EAAE,+BAA+B,GACpC,cAAc,CA0GhB"}

package/dist/types/context-bisect/walk-to-root.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk-to-root.d.ts","sourceRoot":"","sources":["../../../src/context-bisect/walk-to-root.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAE3D,OAAO,EAA4B,KAAK,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAGjF,OAAO,KAAK,EAAa,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,KAAK,EACV,aAAa,EACb,eAAe,EACf,mBAAmB,EACnB,WAAW,EAEX,WAAW,EACZ,MAAM,YAAY,CAAC;AAGpB,OAAO,KAAK,EAAkB,kBAAkB,EAAoB,MAAM,sBAAsB,CAAC;AAEjG,2EAA2E;AAC3E,MAAM,MAAM,aAAa,GACrB,sBAAsB,GACtB,8BAA8B,GAC9B,kBAAkB,CAAC;AAEvB;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,aAAa,GAAG,iBAAiB,GAAG,UAAU,CAAC;AAE3D,wCAAwC;AACxC,MAAM,WAAW,YAAY;IAC3B,kCAAkC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,wEAAwE;IACxE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,qEAAqE;IACrE,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,mFAAmF;IACnF,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IACnC,2EAA2E;IAC3E,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,gGAAgG;IAChG,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,kDAAkD;IAClD,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B;AAED,MAAM,WAAW,aAAa;IAC5B,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,YAAY,EAAE,CAAC;IACvC,4FAA4F;IAC5F,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,QAAQ,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;KAAE,CAAC;CAClF;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,mFAAmF;IACnF,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;IAC/B,2GAA2G;IAC3G,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,wCAAwC;IACxC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;IACpB,oCAAoC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,qEAAqE;IACrE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACpD;AAKD;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,UAAU,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAMjF;AAgGD;;;GAGG;AACH,wBAAsB,UAAU,CAC9B,SAAS,EAAE,mBAAmB,EAC9B,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,aAAa,CAAC,CAExB;AAED;;;GAGG;AACH,wBAAsB,cAAc,CAClC,UAAU,EAAE,UAAU,EACtB,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,aAAa,CAAC,CAsKxB"}

package/dist/types/context-ledger/contextLedger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contextLedger.d.ts","sourceRoot":"","sources":["../../../src/context-ledger/contextLedger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAiBH,OAAO,KAAK,EACV,aAAa,EAMd,MAAM,YAAY,CAAC;AAgHpB,wBAAgB,aAAa,IAAI,aAAa,CA8S7C"}

package/dist/types/context-ledger/gates.d.ts

@@ -0,0 +1,64 @@
+/**
+ * context-ledger/gates.ts — L2: the ledger's rows feed what gets included.
+ *
+ * Three gates, one policy, each hooking an EXISTING seam (no new framework
+ * surface): `gatedTools(inner, predicate)` for tools, `skillGraph().entryBy`
+ * for skills, and a rule-trigger wrapper for injections.
+ *
+ * THE POLICY PRINCIPLE — demote, never starve: a piece the ledger judges
+ * poorly is demoted, but every `refreshEvery`-th decision lets it through
+ * anyway ("parole"), so it keeps generating fresh ledger data. Without
+ * parole a piece demoted once could never earn again — a self-fulfilling
+ * verdict. And the ledger never judges a piece it barely knows: below
+ * `minOffers` everything passes.
+ */
+import type { EntryScorer } from '../injection-engine/entryScorer.js';
+import type { Injection } from '../injection-engine/types.js';
+import type { ToolGatePredicate } from '../tools/toolProvider.js';
+import type { ContextLedger } from './types.js';
+/**
+ * When the ledger is allowed to judge, and how harshly.
+ * Plain-named knobs — a bookkeeper's rules, not ML hyperparameters.
+ */
+export interface LedgerPolicy {
+    /** Don't judge a piece until it has been offered this many times. Default 5. */
+    readonly minOffers?: number;
+    /** Demote below this used÷offered rate. Default 0.05 (essentially "never used"). */
+    readonly earnRateFloor?: number;
+    /**
+     * Parole: let a demoted piece through anyway every Nth demotion decision,
+     * so it keeps earning fresh data. Default 10. `Infinity` disables parole
+     * (NOT recommended — a starved piece can never redeem itself).
+     */
+    readonly refreshEvery?: number;
+}
+/**
+ * TOOL GATE — plug into the existing provider combinator:
+ *
+ * ```ts
+ * import { gatedTools, staticTools } from 'agentfootprint/providers';
+ * builder.toolProvider(gatedTools(staticTools(tools), ledgerToolGate(ledger)));
+ * ```
+ *
+ * Unused tool schemas are usually the biggest silent token cost — this is
+ * the gate to start with.
+ */
+export declare function ledgerToolGate(ledger: ContextLedger, policy?: LedgerPolicy): ToolGatePredicate;
+/**
+ * SKILL GATE — an `EntryScorer` for `skillGraph().entryBy(...)` that wraps
+ * another scorer (keyword, embedding, …) and demotes candidates the ledger
+ * says never earn. Demotion multiplies the inner score toward the floor —
+ * ranking pressure, not exclusion — and parole restores full weight
+ * periodically, so a demoted skill can still win when nothing else fits.
+ */
+export declare function ledgerEntryScorer(ledger: ContextLedger, inner: EntryScorer, policy?: LedgerPolicy): EntryScorer;
+/**
+ * INJECTION GATE — wrap ONE injection so the ledger's verdict joins its
+ * trigger. `always` becomes a ledger-backed rule; an existing `rule` is
+ * AND-ed with the verdict. `on-tool-return` / `llm-activated` are returned
+ * UNCHANGED (they are already demand-driven — the ledger has nothing to
+ * add). `always` pieces are exempt unless you explicitly wrap them — the
+ * safety-first default from the design.
+ */
+export declare function ledgerGated(injection: Injection, ledger: ContextLedger, policy?: LedgerPolicy): Injection;
+//# sourceMappingURL=gates.d.ts.map

package/dist/types/context-ledger/gates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gates.d.ts","sourceRoot":"","sources":["../../../src/context-ledger/gates.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EACV,WAAW,EAGZ,MAAM,oCAAoC,CAAC;AAC5C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,aAAa,EAAa,MAAM,YAAY,CAAC;AAE3D;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,gFAAgF;IAChF,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,oFAAoF;IACpF,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AA2BD;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE,YAAY,GAAG,iBAAiB,CAG9F;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,WAAW,EAClB,MAAM,CAAC,EAAE,YAAY,GACpB,WAAW,CAqBb;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CACzB,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,aAAa,EACrB,MAAM,CAAC,EAAE,YAAY,GACpB,SAAS,CAkBX"}

package/dist/types/context-ledger/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/context-ledger/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,YAAY,EACV,aAAa,EACb,UAAU,EACV,SAAS,EACT,SAAS,EACT,WAAW,EACX,UAAU,GACX,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,WAAW,EAAE,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC"}

package/dist/types/context-ledger/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/context-ledger/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C;sEACsE;AACtE,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,OAAO,GAAG,MAAM,CAAC;AAEvD;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,GAAG,aAAa,GAAG,iBAAiB,GAAG,oBAAoB,CAAC;AAElF,wEAAwE;AACxE,MAAM,WAAW,SAAS;IACxB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,+EAA+E;IAC/E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,0EAA0E;IAC1E,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAChE,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACpD,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,+EAA+E;AAC/E,MAAM,WAAW,WAAW;IAC1B,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,oEAAoE;IACpE,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,2EAA2E;IAC3E,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC;;;;;;;OAOG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC,CAAC;IACjE;;;;;;;;OAQG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;CAC3C;AAED,yDAAyD;AACzD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED,2EAA2E;AAC3E,MAAM,WAAW,UAAU;IACzB,eAAe,IAAI,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,aAAa;IAC5B;;;;;;;OAOG;IACH,SAAS,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,GAAG,WAAW,GAAG,SAAS,CAAC;IACjE;;;;;OAKG;IACH,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IACvD,sEAAsE;IACtE,IAAI,IAAI,SAAS,SAAS,EAAE,CAAC;IAC7B,8BAA8B;IAC9B,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;IACxD,4CAA4C;IAC5C,UAAU,IAAI,UAAU,CAAC;IACzB,0DAA0D;IAC1D,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;CACpC"}