@skill-map/cli 0.35.0 → 0.37.0

package/dist/kernel/index.d.ts

@@ -552,6 +552,55 @@ interface LinkLocation {
     column?: number;
     offset?: number;
 }
+/**
+ * One syntactic site in the source node's body that contributed to a
+ * `Link`. Multiple occurrences accumulate when the same edge is detected
+ * by more than one extractor (e.g. `@./foo.md` from `at-directive` and
+ * `[label](./foo.md)` from `markdown-link` both resolve to the same
+ * target), or when the same extractor walks an extractor-internal
+ * dedup boundary. Today the merged edge's `trigger` / `location`
+ * mirror the FIRST occurrence; the array carries every site so the
+ * `core/redundant-target-reference` analyzer can flag multi-form
+ * references and rename operations can find every author surface.
+ */
+interface LinkOccurrence {
+    /**
+     * Extractor id that observed this occurrence. Matches an entry of
+     * the parent `Link.sources[]` (extractor + occurrence are not 1:1,
+     * the same extractor can produce multiple occurrences when the
+     * intra-extractor dedup is relaxed in the future).
+     */
+    extractor: string;
+    /**
+     * Original substring as it appeared in the body (`@./real-agent.md`,
+     * `[deploy](./deploy.md)`, `/help`, `@team-lead`). Preserves author
+     * casing and the leading sigil so the analyzer can surface it
+     * verbatim in fix-up messages.
+     */
+    originalTrigger: string;
+    /**
+     * Position of the occurrence in the body. Optional, an extractor
+     * that does not track line numbers yet (legacy emit paths) omits
+     * this field; the analyzer falls back to "unknown line" in messages.
+     */
+    location?: LinkLocation | null;
+}
+/**
+ * External URL referenced from a node's body. Populated by the
+ * `core/external-url-counter` extractor and surfaced on the node so
+ * the inspector can list every outgoing http(s) reference without
+ * re-walking the body. Distinct from internal `Link` (which connects
+ * nodes inside the graph), external refs are leaf metadata: no
+ * counterparty node, no resolution.
+ */
+interface IExternalRef {
+    /** Normalised URL (lowercased host, fragment stripped). */
+    url: string;
+    /** 1-indexed line of the occurrence in the source body, when known. */
+    line?: number;
+    /** Verbatim author substring (sigil-free; usually equals `url`). */
+    originalTrigger?: string;
+}
 interface Node {
     path: string;
     /**
@@ -570,6 +619,15 @@ interface Node {
     linksOutCount: number;
     linksInCount: number;
     externalRefsCount: number;
+    /**
+     * Distinct external URLs referenced from this node's body, in
+     * extractor-order (first-seen wins, dedup is by normalised URL).
+     * Empty / absent when the body has no http(s) URLs. The denormalised
+     * `externalRefsCount` MUST equal `externalRefs.length` whenever
+     * both are present. Surfaced via `/api/nodes` so the inspector can
+     * list each URL without an extra round-trip.
+     */
+    externalRefs?: IExternalRef[];
     frontmatter?: Record<string, unknown>;
     tokens?: TripleSplit;
     /**
@@ -657,6 +715,30 @@ interface Link {
     sources: string[];
     trigger?: LinkTrigger | null;
     location?: LinkLocation | null;
+    /**
+     * Every syntactic site in the source body that contributed to this
+     * edge. Populated by extractors at emit time (one entry per emission)
+     * and accumulated by `dedupeLinks` when two extractors converge on the
+     * same `(source, target, kind, normalizedTrigger)` key. Empty / absent
+     * for legacy emits or for synthetic links (frontmatter-driven
+     * references, sidecar annotations) that have no body position. The
+     * `core/redundant-target-reference` analyzer walks this array to
+     * detect multi-form references to the same target from one body.
+     */
+    occurrences?: LinkOccurrence[];
+    /**
+     * Node path the link resolves to, when the post-walk
+     * `liftResolvedLinkConfidence` transform succeeded in matching the
+     * (trigger-style or path-style) target against the live graph. Equal
+     * to `link.target` for path-style links that hit a node directly;
+     * different from `link.target` for trigger-style links (a Claude
+     * `@real-agent` mention resolves to `.claude/agents/real-agent.md`,
+     * but `link.target` keeps the authored trigger). Absent when the
+     * link is unresolved (broken). The BFF `/api/links?to=<path>` uses
+     * this field to surface incoming edges that reach the node by name,
+     * not just by literal path.
+     */
+    resolvedTarget?: string | null;
     raw?: string | null;
 }
 /**
@@ -677,11 +759,16 @@ type SignalScope = 'body' | 'frontmatter' | 'sidecar';
 type SignalContext = 'code-block' | 'inline-code' | 'escaped';
 /**
  * Byte-range location for a body-scope `Signal`. `start` is inclusive,
- * `end` is exclusive (one past the last char).
+ * `end` is exclusive (one past the last char). `line` is the optional
+ * 1-indexed line number containing `start`, populated by extractors
+ * that already compute line tracking via `computeLineStarts` so the
+ * resolver's materialised `Link` preserves `link.location.line`
+ * without re-walking the body.
  */
 interface SignalRange {
     start: number;
     end: number;
+    line?: number;
 }
 /**
  * One alternative interpretation of a `Signal`. The resolver picks the
@@ -735,6 +822,59 @@ interface Signal {
     context?: SignalContext | null;
     /** One or more alternative interpretations. At least one. */
     candidates: SignalCandidate[];
+    /**
+     * Resolver outcome annotation, populated by `resolveSignals`. Absent on
+     * raw extractor emissions (before the resolver runs). When
+     * `outcome === 'materialised'`, `winnerIndex` points into `candidates[]`
+     * of the candidate the resolver chose; a corresponding `Link` was added
+     * to the graph. When `outcome === 'rejected'`, one of `rejectedBy` /
+     * `extractorDisabled` / `belowFloor` is set and no Link materialised.
+     * Both materialised and rejected Signals remain on
+     * `IAnalyzerContext.signals` so the `core/signal-collision` analyzer can
+     * surface losers as `warn` issues. Mirrors
+     * `signal.schema.json#/properties/resolution`.
+     */
+    resolution?: ISignalResolution;
+}
+/**
+ * Why the resolver chose to materialise or reject a `Signal`. Populated by
+ * `resolveSignals`; carries no meaning before that pass.
+ */
+interface ISignalResolution {
+    outcome: 'materialised' | 'rejected';
+    /** Index into `Signal.candidates[]` of the winner. Set when `outcome === 'materialised'`. */
+    winnerIndex?: number;
+    /**
+     * Set when the Signal lost a cross-extractor range-overlap collision
+     * against another Signal at the same `source`. Names the winning Signal
+     * so an analyzer (or the operator drilling into the sidecar) can see WHO
+     * won and WHY.
+     */
+    rejectedBy?: {
+        source: string;
+        range: SignalRange;
+        /** Qualified id (`<plugin>/<extractor>`) of the winning candidate's extractor. */
+        extractorId: string;
+        reason: 'kind-priority' | 'higher-confidence' | 'longer-range' | 'earlier-declaration';
+    };
+    /**
+     * Phase 4+ stub: populated when every candidate of this Signal came from
+     * an extractor the operator disabled via
+     * `plugins.<id>.extensions.<extId>.enabled`. Today the resolver never
+     * sets this; documented so analyzer surfaces can be built when the filter
+     * lands.
+     */
+    extractorDisabled?: {
+        extractorId: string;
+    };
+    /**
+     * Phase 4+ stub: populated when every candidate's `confidence` fell below
+     * the configured floor. Today the resolver materialises every Signal that
+     * survives overlap regardless of confidence.
+     */
+    belowFloor?: {
+        threshold: number;
+    };
 }
 interface IssueFix {
     summary?: string;
@@ -1756,12 +1896,12 @@ interface IProviderKind {
      *     kinds (`agent`, `command`, `skill` per their schemas) typically
      *     declare this first.
      *   - `'filename-basename'`, `basename(path)` without the extension.
-     *     For Claude/Gemini/OpenAI agents and commands the filename IS the
+     *     For Claude/OpenAI agents and commands the filename IS the
      *     invocation handle when `name:` is absent.
-     *   - `'dirname'`, `basename(dirname(path))`. Anthropic skills + Gemini
-     *     skills + agent-skills resolve to the directory between the
-     *     skills root and the SKILL.md (e.g.
-     *     `.claude/skills/foo/SKILL.md` → `foo`).
+     *   - `'dirname'`, `basename(dirname(path))`. Anthropic skills +
+     *     agent-skills (open standard, also adopted by Antigravity)
+     *     resolve to the directory between the skills root and the
+     *     SKILL.md (e.g. `.claude/skills/foo/SKILL.md` → `foo`).
      *
      * Compare with `IProvider.resolution` (which declares which target
      * kinds resolve which link.kind): `identifiers` is a per-kind detail
@@ -1930,7 +2070,7 @@ interface IProvider extends IExtensionBase {
      * orchestrator drops the duplicate.
      *
      * Convention: a Provider's classify returns one of its own `kinds`
-     * map keys for paths in its territory (`.claude/`, `.gemini/`,
+     * map keys for paths in its territory (`.claude/`, `.codex/`,
      * `.agents/skills/`, etc.) and `null` elsewhere. External Providers
      * (Cursor, Obsidian, …) follow the same rule: claim what's yours,
      * disclaim everything else. The orchestrator does not validate the
@@ -1969,6 +2109,107 @@ interface IProvider extends IExtensionBase {
      * confidence-lift contract, which runs against the merged Link graph.
      */
     resolution?: Record<string, string[]>;
+    /**
+     * Lens gating flag for vendor providers. When `true`, this Provider's
+     * `classify()` only runs (and the walker only iterates its territory)
+     * if `provider.id === activeProvider` (the project's active lens).
+     * When `false` or omitted (default), the Provider is universal and
+     * classifies unconditionally, regardless of the active lens.
+     *
+     * Vendor providers (`claude`, `openai`, `antigravity`) MUST set this
+     * to `true`: the actual runtimes never read each other's on-disk
+     * formats (Claude Code does not consume `.codex/`; Codex CLI does not
+     * consume `.claude/`), and offering every file to every provider
+     * fabricates cross-vendor graph edges the runtimes themselves reject.
+     *
+     * Universal providers (the open-standard `agent-skills`, the markdown
+     * fallback `core/markdown`, any future format-based fallback) keep
+     * this `false`: their territory is consumed by every vendor and they
+     * MUST run on every scan, regardless of the active lens.
+     *
+     * When `activeProvider === null` (no lens resolved, e.g. a project
+     * with no provider markers), the walker bypasses the gate entirely
+     * and every gated Provider runs, mirroring the permissive
+     * extractor-side fallback for unlensed projects.
+     *
+     * Default `undefined` ≡ `false` ≡ universal. The field affects
+     * classification ONLY; extractors continue to filter via their own
+     * `precondition.provider` allowlist and are unaffected by this flag.
+     */
+    gatedByActiveLens?: boolean;
+    /**
+     * Reserved invocation names this Provider's runtime owns for each
+     * kind. Maps a `node.kind` to the set of normalised names the runtime
+     * uses for its built-in invocables (e.g. `claude` reserves
+     * `['help', 'clear', 'init', …]` under `command` because typing
+     * `/help` in the Claude CLI runs the built-in help screen, not a
+     * user-authored `.claude/commands/help.md`).
+     *
+     * Two consumers share the catalog:
+     *
+     *   1. The `core/reserved-name` analyzer scans every user node and
+     *      emits a `warn` issue when the node's normalised identifiers
+     *      (per `IProviderKind.identifiers`) intersect the reserved list
+     *      for its provider + kind. The user file is silently shadowed
+     *      by the runtime, the analyzer surfaces it so the operator can
+     *      rename.
+     *   2. The post-walk confidence-lift transform downgrades any link
+     *      that resolves to a reserved node (by path OR by name) to a
+     *      very low confidence floor (today `0.1`) instead of bumping
+     *      to `1.0`. The graph then reflects "this edge exists in disk
+     *      but the runtime ignores the target".
+     *
+     * Default `undefined` ≡ empty map ≡ no reserved names. Reserved
+     * lookup normalises both sides via the §Extractor · trigger
+     * normalization pipeline (lowercase, NFD, separator unification),
+     * so a literal `Init-Project` in the manifest still matches a user
+     * `name: init project` or filename `Init-Project.md`.
+     *
+     * The set is intentionally per-kind, not global: a name reserved for
+     * commands (`/help`) may legitimately appear as a skill (a "help"
+     * skill that triggers via something other than the command channel).
+     * Providers MUST scope each entry to the kind the runtime actually
+     * consumes.
+     */
+    reservedNames?: Record<string, readonly string[]>;
+    /**
+     * Per-Provider ranking hints consumed by the Signal IR **resolver
+     * phase** (kernel `resolveSignals`). Drives intra-Signal candidate
+     * selection AND cross-Signal range-overlap tiebreaks.
+     *
+     * Optional, when absent the resolver uses the default tiebreak chain:
+     * `confidence` DESC → `range` length DESC → extractor declaration
+     * order. Most Providers do not need to declare this; the default chain
+     * is correct unless the Provider has a kind-specific preference (e.g.
+     * "treat `invokes` edges as more important than `mentions` of the
+     * same range").
+     *
+     * Distinct from the `resolution` field above: `resolverRules` ranks
+     * candidates INSIDE the Signal IR (the candidate that becomes a Link
+     * in the first place); `resolution` ranks Links AFTER they exist
+     * (confidence lift on already-emitted edges). The two surfaces share
+     * no mechanism and intentionally do not compose.
+     */
+    resolverRules?: IResolverRules;
+}
+/**
+ * Per-Provider Signal IR resolver ranking hints. Mirrors
+ * `extensions/provider.schema.json#/properties/resolverRules`.
+ */
+interface IResolverRules {
+    /**
+     * When present, the resolver ranks candidates whose `kind` appears
+     * earlier in this array ABOVE candidates whose `kind` appears later.
+     * Candidates whose `kind` is absent from the array drop to the end
+     * (after every listed kind). Ties inside the same `kindPriority`
+     * bucket fall through to the `confidence` → range-length → declaration
+     * order tiebreaks.
+     *
+     * Example: a Provider that wants `invokes` edges to win against
+     * `mentions` / `references` of the same byte range declares
+     * `['invokes', 'references', 'mentions']`.
+     */
+    kindPriority?: readonly LinkKind[];
 }
 /**
  * Declarative read config a Provider declares via `IProvider.read`.
@@ -2234,6 +2475,21 @@ interface IAnalyzerContext {
      * adapter does not maintain the side index. Treat as read-only.
      */
     referenceablePaths?: ReadonlySet<string>;
+    /**
+     * Paths of nodes whose normalised identifier(s) intersect their
+     * Provider's `reservedNames[kind]` catalog (e.g. a user-authored
+     * `.claude/commands/help.md` whose name normalises to `help`,
+     * shadowed by Claude's built-in `/help` command). The set is
+     * computed once per scan by the orchestrator (mirroring the same
+     * set threaded to the post-walk confidence-lift transform), so
+     * analyzers consume it without re-deriving every node's
+     * identifiers. The single consumer today is `core/reserved-name`,
+     * which projects one warn issue per entry; future analyzers MAY
+     * read the set for cross-rule cohesion (e.g. an action that
+     * suggests rename targets). Absent for legacy callers (older
+     * `runScan` sites that never wired the field through).
+     */
+    reservedNodePaths?: ReadonlySet<string>;
     /**
      * Absolute path of the scan's project root (cwd of the invocation).
      * Threaded into the analyzer pass so an analyzer that needs to
@@ -3048,8 +3304,8 @@ interface RunScanOptions {
      *   - `null`: explicit "no lens". Provider-specific extractors are
      *     unconditionally skipped (spec-strict).
      *   - `undefined`: kernel auto-detects from `options.roots[0]` using
-     *     filesystem markers (`.claude/`, `.gemini/`, `.codex/`,
-     *     `AGENTS.md`). Convenient default for out-of-band callers
+     *     filesystem markers (`.claude/`, `.codex/`, `AGENTS.md`).
+     *     Convenient default for out-of-band callers
      *     (integration tests, embedders) that don't thread a settings
      *     reader. Production callers (scan-runner) resolve upstream and
      *     pass `string | null` explicitly, never `undefined`.
@@ -4042,4 +4298,4 @@ interface Kernel {
 }
 declare function createKernel(): Kernel;
 
-export { type Confidence, DuplicateExtensionError, EXTENSION_KINDS, type ExecutionFailureReason, type ExecutionKind, type ExecutionRecord, type ExecutionRunner, type ExecutionStatus, ExportQueryError, type Extension, type ExtensionKind, type FilesystemPort, HOOK_TRIGGERS, type HistoryStats, type HistoryStatsErrorRates, type HistoryStatsExecutionsPerPeriod, type HistoryStatsPerActionRate, type HistoryStatsTokensPerAction, type HistoryStatsTopNode, type HistoryStatsTotals, type IAction, type IActionContext, type IActionPrecondition, type IActionResult, type IAnalyzer, type IAnalyzerContext, type IAnnotationContribution, type ICreateFsWatcherOptions, type IDedicatedStorePersist, type IDedicatedStoreWrapper, type IDiscoveredPlugin, type IEnrichmentRecord, type IExportQuery, type IExportSubset, type IExtensionBase, type IExtractor, type IExtractorCallbacks, type IExtractorContext, type IExtractorRunRecord, type IFormatter, type IFormatterContext, type IFsWatcher, type IHook, type IHookContext, type IHookDispatcher, type IIssueRow, type IKvStorePersist, type IKvStoreWrapper, type ILoadedExtension, type INodeBundle, type INodeChange, type INodeCounts, type INodeFilter, type IPersistOptions, type IPersistedEnrichment, type IPluginManifest, type IPluginStorageSchema, type IPluginStore, type IProvider, type IRawNode, type IRegisteredAnnotationKey, type IRegisteredViewContribution, type IRunOptions, type IRunResult, type IScanDelta, type ISettingDeclaration, type ITransactionalStorage, type IViewContribution, type IWalkOptions, type IWatchBatch, type IWatchEvent, InMemoryProgressEmitter, type Issue, type IssueFix, KV_SCHEMA_KEY, type Kernel, LOG_LEVELS, type Link, type LinkKind, type LinkLocation, type LinkTrigger, type LogRecord, type LoggerPort, type Node, type NodeKind, type NodeStat, type PluginLoaderPort, type ProgressEmitterPort, type ProgressEvent, Registry, type RenameOp, type RunScanOptions, type RunnerPort, type ScanResult, type ScanScannedBy, type ScanStats, type Severity, SilentLogger, type Stability, type StoragePort, type TActionWrite, type TExecutionMode, type TGranularity, type THookFilter, type THookTrigger, type TInputTypeName, type TLogLevel, type TLogMethodLevel, type TNodeChangeReason, type TPluginLoadStatus, type TPluginStorage, type TProgressListener, type TSettingValue, type TSeverity, type TSlotName, type TWatchEventKind, type TripleSplit, applyExportQuery, computeScanDelta, configureLogger, createChokidarWatcher, createKernel, detectRenamesAndOrphans, getActiveLogger, isEmptyDelta, isLogLevel, log, logLevelRank, makeDedicatedStoreWrapper, makeEvent, makeHookDispatcher, makeKvStoreWrapper, makePluginStore, mergeNodeWithEnrichments, parseExportQuery, parseLogLevel, qualifiedExtensionId, resetLogger, runExtractorsForNode, runScan, runScanWithRenames };
+export { type Confidence, DuplicateExtensionError, EXTENSION_KINDS, type ExecutionFailureReason, type ExecutionKind, type ExecutionRecord, type ExecutionRunner, type ExecutionStatus, ExportQueryError, type Extension, type ExtensionKind, type FilesystemPort, HOOK_TRIGGERS, type HistoryStats, type HistoryStatsErrorRates, type HistoryStatsExecutionsPerPeriod, type HistoryStatsPerActionRate, type HistoryStatsTokensPerAction, type HistoryStatsTopNode, type HistoryStatsTotals, type IAction, type IActionContext, type IActionPrecondition, type IActionResult, type IAnalyzer, type IAnalyzerContext, type IAnnotationContribution, type ICreateFsWatcherOptions, type IDedicatedStorePersist, type IDedicatedStoreWrapper, type IDiscoveredPlugin, type IEnrichmentRecord, type IExportQuery, type IExportSubset, type IExtensionBase, type IExternalRef, type IExtractor, type IExtractorCallbacks, type IExtractorContext, type IExtractorRunRecord, type IFormatter, type IFormatterContext, type IFsWatcher, type IHook, type IHookContext, type IHookDispatcher, type IIssueRow, type IKvStorePersist, type IKvStoreWrapper, type ILoadedExtension, type INodeBundle, type INodeChange, type INodeCounts, type INodeFilter, type IPersistOptions, type IPersistedEnrichment, type IPluginManifest, type IPluginStorageSchema, type IPluginStore, type IProvider, type IRawNode, type IRegisteredAnnotationKey, type IRegisteredViewContribution, type IRunOptions, type IRunResult, type IScanDelta, type ISettingDeclaration, type ITransactionalStorage, type IViewContribution, type IWalkOptions, type IWatchBatch, type IWatchEvent, InMemoryProgressEmitter, type Issue, type IssueFix, KV_SCHEMA_KEY, type Kernel, LOG_LEVELS, type Link, type LinkKind, type LinkLocation, type LinkOccurrence, type LinkTrigger, type LogRecord, type LoggerPort, type Node, type NodeKind, type NodeStat, type PluginLoaderPort, type ProgressEmitterPort, type ProgressEvent, Registry, type RenameOp, type RunScanOptions, type RunnerPort, type ScanResult, type ScanScannedBy, type ScanStats, type Severity, SilentLogger, type Stability, type StoragePort, type TActionWrite, type TExecutionMode, type TGranularity, type THookFilter, type THookTrigger, type TInputTypeName, type TLogLevel, type TLogMethodLevel, type TNodeChangeReason, type TPluginLoadStatus, type TPluginStorage, type TProgressListener, type TSettingValue, type TSeverity, type TSlotName, type TWatchEventKind, type TripleSplit, applyExportQuery, computeScanDelta, configureLogger, createChokidarWatcher, createKernel, detectRenamesAndOrphans, getActiveLogger, isEmptyDelta, isLogLevel, log, logLevelRank, makeDedicatedStoreWrapper, makeEvent, makeHookDispatcher, makeKvStoreWrapper, makePluginStore, mergeNodeWithEnrichments, parseExportQuery, parseLogLevel, qualifiedExtensionId, resetLogger, runExtractorsForNode, runScan, runScanWithRenames };