@senpi/runtime 3.0.55 → 3.0.57

package/dist/validate/codes.js

@@ -0,0 +1,375 @@
+/**
+ * The closed set of `senpi validate` finding codes, and their metadata.
+ *
+ * Same shape as `utils/event-catalog.ts`'s `SENPI_ERROR_CODE`: a const map for call sites plus a
+ * companion record for per-code data. Two structures rather than one because the map gives call
+ * sites `VALIDATE_CODE.scanMissing` instead of a bare string literal, and the record is a
+ * `Record<ValidateCode, …>` so the compiler — not a test — enforces that every code has metadata.
+ *
+ * ## Why these do not reuse the supervision codes
+ *
+ * `SENPI_ERROR_CODE` already carries `E_SCANNER_TICK_ERROR` / `E_SCANNER_TICK_TIMEOUT`, and some
+ * conditions here are the same *condition*. They are deliberately NOT reused. A validation finding
+ * is an authoring-time observation; a supervision code is a production event on a running
+ * strategy. Sharing identifiers would make authoring noise indistinguishable from production
+ * failure the moment anything starts consuming either — dashboards, alerts, or the telemetry that
+ * exists to show which mistakes agents actually make.
+ *
+ * ## Severity lives in the prefix
+ *
+ * `E_` fails the run; `W_` is reported and only fails under `--strict`. Severity is DERIVED from
+ * the prefix rather than declared, so the two can never disagree.
+ */
+/**
+ * Call-site handles for every validate code.
+ *
+ * Grouped by the stage that produces them. Codes are added here as the layer that raises them
+ * lands — the table is the taxonomy, so an entry with no producer is a promise, not a record.
+ */
+export const VALIDATE_CODE = {
+    // ── invocation: you pointed at the wrong thing ────────────────────────────
+    /** The target path does not exist. */
+    targetNotFound: "E_VALIDATE_TARGET_NOT_FOUND",
+    /** A directory with no recipe in it — often a package root holding instance directories. */
+    noRecipe: "E_VALIDATE_NO_RECIPE",
+    /** More than one recipe candidate and no conventional name to break the tie. */
+    ambiguousRecipe: "E_VALIDATE_AMBIGUOUS_RECIPE",
+    /** A depth that needs a recipe was requested against a target that has none. */
+    needsRecipe: "E_VALIDATE_NEEDS_RECIPE",
+    /** Inline recipe content with no directory to resolve a relative scanner path against. */
+    needsDir: "E_VALIDATE_NEEDS_DIR",
+    /** `--scanner` named something the recipe does not declare. */
+    unknownScanner: "E_VALIDATE_UNKNOWN_SCANNER",
+    /** `--wallet` is not a well-formed address. */
+    badWallet: "E_VALIDATE_BAD_WALLET",
+    // ── static: the recipe itself ─────────────────────────────────────────────
+    /** The recipe is not parseable. */
+    yamlSyntax: "E_VALIDATE_YAML_SYNTAX",
+    /** The recipe parses but violates the schema. */
+    schema: "E_VALIDATE_SCHEMA",
+    /** Two scanners share a name — they would silently share state. */
+    dupScannerName: "E_VALIDATE_DUP_SCANNER_NAME",
+    /** Two actions share a name — same problem. */
+    dupActionName: "E_VALIDATE_DUP_ACTION_NAME",
+    /** An action prompt references a placeholder nothing supplies. */
+    promptPlaceholder: "E_VALIDATE_PROMPT_PLACEHOLDER",
+    /** The exit/protection block is absent or invalid. */
+    exitPreset: "E_VALIDATE_EXIT_PRESET",
+    /** An entry action with no resolvable margin source: it starts, then declines every signal. */
+    unsized: "E_VALIDATE_UNSIZED",
+    /** An entry action with no risk guardrails. */
+    ungated: "E_VALIDATE_UNGATED",
+    /** A declared entrypoint file that is not on disk. */
+    entrypointMissing: "E_VALIDATE_ENTRYPOINT_MISSING",
+    /** A scanner path that cannot be resolved to an absolute directory. */
+    unresolvableScannerPath: "E_VALIDATE_UNRESOLVABLE_SCANNER_PATH",
+    /** A margin percentage given as a fraction — sizes a hundred times too small, silently. */
+    marginPctFraction: "E_VALIDATE_MARGIN_PCT_FRACTION",
+    /** An LLM-mode decision action with no model configured. */
+    llmNoModel: "E_VALIDATE_LLM_NO_MODEL",
+    // ── import: will the code load ────────────────────────────────────────────
+    /** A syntax error in some file under the scanner root — including files never imported. */
+    syntax: "E_VALIDATE_SYNTAX",
+    /** The entrypoint's import chain raised. */
+    importFailed: "E_VALIDATE_IMPORT_FAILED",
+    /** The module imported but exposes no entry function. */
+    scanMissing: "E_VALIDATE_SCAN_MISSING",
+    /** The entry symbol exists but is not callable. */
+    scanNotCallable: "E_VALIDATE_SCAN_NOT_CALLABLE",
+    /** The entry function's signature does not match the contract. */
+    scanBadArity: "E_VALIDATE_SCAN_BAD_ARITY",
+    /** A package marker in the scanner root — invites relative imports that fail at run time. */
+    scannersIsPackage: "W_VALIDATE_SCANNERS_IS_PACKAGE",
+    /** A file shadowing a standard-library module for everything imported after it. */
+    shadowsStdlib: "W_VALIDATE_SHADOWS_STDLIB",
+    /** Data sourced outside the sanctioned client — invisible to the runtime and to this check. */
+    nonMcpSource: "W_VALIDATE_NON_MCP_SOURCE",
+    // ── live: execution, data, and output ─────────────────────────────────────
+    /** The tick raised. */
+    tickException: "E_VALIDATE_TICK_EXCEPTION",
+    /** The tick exceeded the budget its own recipe declares. */
+    tickTimeout: "E_VALIDATE_TICK_TIMEOUT",
+    /** Clean tick, no data read — nothing proves the scanner can fetch anything. */
+    tickUnproven: "E_VALIDATE_TICK_UNPROVEN",
+    /** The scanner attempted to send data out. Validation collects and reports; it never delivers. */
+    egressBlocked: "E_VALIDATE_EGRESS_BLOCKED",
+    /** The scanner attempted a state-changing operation. */
+    mcpPermission: "E_VALIDATE_MCP_PERMISSION",
+    /** Every data read failed — the scanner could not fetch anything. */
+    mcpToolError: "E_VALIDATE_MCP_TOOL_ERROR",
+    /** A data source that does not exist. Swallowed by the contract, so silent in production. */
+    unknownMcpTool: "E_VALIDATE_UNKNOWN_MCP_TOOL",
+    /** A hardcoded instrument that is not tradeable. */
+    unknownTicker: "E_VALIDATE_UNKNOWN_TICKER",
+    /** An emitted signal the runtime would reject on arrival. */
+    signalRejected: "E_VALIDATE_SIGNAL_REJECTED",
+    /** Credentials absent or partially configured. */
+    noCredentials: "E_VALIDATE_NO_CREDENTIALS",
+    /** A required runtime dependency is not installed. */
+    envMissingSdk: "E_VALIDATE_ENV_MISSING_SDK",
+    /** The import checker itself could not run — the environment, not the package. */
+    importHarnessFailed: "E_VALIDATE_IMPORT_HARNESS_FAILED",
+    /** Loading the scanner's modules did not terminate. */
+    importTimeout: "E_VALIDATE_IMPORT_TIMEOUT",
+    /** An exception was raised and caught — invisible in production, where it looks healthy. */
+    suppressedException: "W_VALIDATE_SUPPRESSED_EXCEPTION",
+    /** Some reads failed while others succeeded. */
+    someReadsFailed: "W_VALIDATE_MCP_TOOL_ERROR",
+    /** A response was fetched and none of it read — usually a key that does not exist. */
+    unusedMcpResponse: "W_VALIDATE_UNUSED_MCP_RESPONSE",
+    /** Numeric values delivered as text: arithmetic raises, but comparison silently misorders. */
+    stringNumerics: "W_VALIDATE_STRING_NUMERICS",
+    /** A clean tick that emitted nothing. Normal for a quiet scanner; worth surfacing. */
+    noSignalsEmitted: "W_VALIDATE_NO_SIGNALS_EMITTED",
+    /** Signals emitted having read nothing — output derived from no input. */
+    signalsWithoutReads: "W_VALIDATE_SIGNALS_WITHOUT_READS",
+    /** The recipe declares no author-written scanner, so there is no code to prove. */
+    noExternalScanners: "W_VALIDATE_NO_EXTERNAL_SCANNERS",
+    /** An emitted margin percentage below 1 — accepted by the schema, but likely a fraction. */
+    marginPctSuspicious: "W_VALIDATE_MARGIN_PCT_SUSPICIOUS",
+    // ── proof ─────────────────────────────────────────────────────────────────
+    /** No proof exists for this package's content. */
+    noProof: "E_VALIDATE_NO_PROOF",
+    /** A proof exists, but the package has changed since it was made. */
+    contentChanged: "E_VALIDATE_CONTENT_CHANGED",
+    /** The runtime moved since the proof was made, so it no longer describes this runtime. */
+    runtimeVersionChanged: "E_VALIDATE_RUNTIME_VERSION_CHANGED",
+    /** The run passed but the proof could not be written. Not a defect in the strategy. */
+    proofNotRecorded: "W_VALIDATE_PROOF_NOT_RECORDED",
+};
+/**
+ * Metadata for every code.
+ *
+ * Typed as a total `Record`, so adding a code to {@link VALIDATE_CODE} without describing it here
+ * is a compile error rather than something a test has to notice.
+ */
+export const VALIDATE_CODE_META = {
+    // ── invocation ────────────────────────────────────────────────────────────
+    [VALIDATE_CODE.targetNotFound]: {
+        stage: "invocation", actor: "agent", fix_kind: "command",
+        condition: "The target path does not exist.",
+    },
+    [VALIDATE_CODE.noRecipe]: {
+        stage: "invocation", actor: "agent", fix_kind: "choice",
+        condition: "The target is a directory with no recipe in it.",
+    },
+    [VALIDATE_CODE.ambiguousRecipe]: {
+        stage: "invocation", actor: "agent", fix_kind: "choice",
+        condition: "Several recipe candidates and no conventional name to break the tie.",
+    },
+    [VALIDATE_CODE.needsRecipe]: {
+        stage: "invocation", actor: "agent", fix_kind: "command",
+        condition: "A depth requiring a recipe was requested against a target that has none.",
+    },
+    [VALIDATE_CODE.needsDir]: {
+        stage: "invocation", actor: "agent", fix_kind: "command",
+        condition: "Inline recipe content with no directory to resolve relative paths against.",
+    },
+    [VALIDATE_CODE.unknownScanner]: {
+        stage: "invocation", actor: "agent", fix_kind: "choice",
+        condition: "The named scanner is not declared by the recipe.",
+    },
+    [VALIDATE_CODE.badWallet]: {
+        stage: "invocation", actor: "agent", fix_kind: "command",
+        condition: "The supplied account address is not well formed.",
+    },
+    // ── static ────────────────────────────────────────────────────────────────
+    [VALIDATE_CODE.yamlSyntax]: {
+        stage: "static", actor: "agent", fix_kind: "edit",
+        condition: "The recipe cannot be parsed.",
+    },
+    [VALIDATE_CODE.schema]: {
+        stage: "static", actor: "agent", fix_kind: "edit",
+        condition: "The recipe parses but violates the schema.",
+    },
+    [VALIDATE_CODE.dupScannerName]: {
+        stage: "static", actor: "agent", fix_kind: "edit",
+        condition: "Two scanners share a name and would silently share state.",
+    },
+    [VALIDATE_CODE.dupActionName]: {
+        stage: "static", actor: "agent", fix_kind: "edit",
+        condition: "Two actions share a name and would silently share state.",
+    },
+    [VALIDATE_CODE.promptPlaceholder]: {
+        stage: "static", actor: "agent", fix_kind: "edit",
+        condition: "An action prompt references a placeholder nothing supplies.",
+    },
+    [VALIDATE_CODE.exitPreset]: {
+        stage: "static", actor: "agent", fix_kind: "edit",
+        condition: "The exit block is absent or invalid, leaving positions unmanaged.",
+    },
+    [VALIDATE_CODE.unsized]: {
+        stage: "static", actor: "agent", fix_kind: "edit",
+        condition: "An entry action has no resolvable margin source, so every signal is declined.",
+    },
+    [VALIDATE_CODE.ungated]: {
+        stage: "static", actor: "agent", fix_kind: "edit",
+        condition: "An entry action has no risk guardrails.",
+    },
+    [VALIDATE_CODE.entrypointMissing]: {
+        stage: "static", actor: "agent", fix_kind: "edit",
+        condition: "The declared entrypoint file is not on disk.",
+    },
+    [VALIDATE_CODE.unresolvableScannerPath]: {
+        stage: "static", actor: "agent", fix_kind: "edit",
+        condition: "A relative scanner path has no directory to resolve against.",
+    },
+    [VALIDATE_CODE.marginPctFraction]: {
+        stage: "static", actor: "agent", fix_kind: "edit",
+        condition: "A margin percentage is given as a fraction, sizing a hundred times too small.",
+    },
+    [VALIDATE_CODE.llmNoModel]: {
+        stage: "static", actor: "agent", fix_kind: "edit",
+        condition: "A decision action is in model mode with no model configured.",
+    },
+    // ── import ────────────────────────────────────────────────────────────────
+    [VALIDATE_CODE.syntax]: {
+        stage: "import", actor: "agent", fix_kind: "edit",
+        condition: "A file under the scanner root does not compile.",
+    },
+    [VALIDATE_CODE.importFailed]: {
+        stage: "import", actor: "agent", fix_kind: "edit",
+        condition: "The entrypoint's import chain raised.",
+    },
+    [VALIDATE_CODE.scanMissing]: {
+        stage: "import", actor: "agent", fix_kind: "edit",
+        condition: "The module exposes no entry function.",
+    },
+    [VALIDATE_CODE.scanNotCallable]: {
+        stage: "import", actor: "agent", fix_kind: "edit",
+        condition: "The entry symbol exists but is not callable.",
+    },
+    [VALIDATE_CODE.scanBadArity]: {
+        stage: "import", actor: "agent", fix_kind: "edit",
+        condition: "The entry function's signature does not match the contract.",
+    },
+    [VALIDATE_CODE.scannersIsPackage]: {
+        stage: "import", actor: "agent", fix_kind: "edit",
+        condition: "A package marker in the scanner root invites relative imports that fail at run time.",
+    },
+    [VALIDATE_CODE.shadowsStdlib]: {
+        stage: "import", actor: "agent", fix_kind: "edit",
+        condition: "A file shadows a standard-library module for everything imported after it.",
+    },
+    [VALIDATE_CODE.nonMcpSource]: {
+        stage: "import", actor: "agent", fix_kind: "edit",
+        condition: "Data is sourced outside the sanctioned client, invisible to the runtime.",
+    },
+    // ── live ──────────────────────────────────────────────────────────────────
+    [VALIDATE_CODE.tickException]: {
+        stage: "live", actor: "agent", fix_kind: "locate-only",
+        condition: "The tick raised.",
+    },
+    [VALIDATE_CODE.tickTimeout]: {
+        stage: "live", actor: "agent", fix_kind: "edit",
+        condition: "The tick exceeded the budget its own recipe declares.",
+    },
+    [VALIDATE_CODE.tickUnproven]: {
+        stage: "live", actor: "agent", fix_kind: "edit",
+        condition: "A clean tick that read no data, so nothing proves the scanner can fetch.",
+    },
+    [VALIDATE_CODE.egressBlocked]: {
+        stage: "live", actor: "agent", fix_kind: "edit",
+        condition: "The scanner attempted to send data out; validation never delivers.",
+    },
+    [VALIDATE_CODE.mcpPermission]: {
+        stage: "live", actor: "agent", fix_kind: "edit",
+        condition: "The scanner attempted a state-changing operation.",
+    },
+    [VALIDATE_CODE.mcpToolError]: {
+        stage: "live", actor: "agent", fix_kind: "locate-only",
+        condition: "Every data read failed, so the scanner fetched nothing.",
+    },
+    [VALIDATE_CODE.unknownMcpTool]: {
+        stage: "live", actor: "agent", fix_kind: "lookup",
+        condition: "A data source was called that the server does not expose.",
+    },
+    [VALIDATE_CODE.unknownTicker]: {
+        stage: "live", actor: "agent", fix_kind: "lookup",
+        condition: "A hardcoded instrument is not tradeable.",
+    },
+    [VALIDATE_CODE.signalRejected]: {
+        stage: "live", actor: "agent", fix_kind: "edit",
+        condition: "An emitted signal would be rejected by the runtime on arrival.",
+    },
+    [VALIDATE_CODE.noCredentials]: {
+        stage: "live", actor: "ops", fix_kind: "command",
+        condition: "Credentials are absent or only partially configured.",
+    },
+    [VALIDATE_CODE.envMissingSdk]: {
+        stage: "live", actor: "ops", fix_kind: "command",
+        condition: "A required runtime dependency is not installed.",
+    },
+    [VALIDATE_CODE.importHarnessFailed]: {
+        stage: "import", actor: "ops", fix_kind: "command",
+        condition: "The import checker could not be run at all.",
+    },
+    [VALIDATE_CODE.importTimeout]: {
+        stage: "import", actor: "agent", fix_kind: "locate-only",
+        condition: "Loading the scanner's modules did not terminate — work at module level.",
+    },
+    [VALIDATE_CODE.suppressedException]: {
+        stage: "live", actor: "agent", fix_kind: "locate-only",
+        condition: "An exception was raised and caught, so it is invisible in production.",
+    },
+    [VALIDATE_CODE.someReadsFailed]: {
+        stage: "live", actor: "agent", fix_kind: "locate-only",
+        condition: "Some data reads failed while others succeeded.",
+    },
+    [VALIDATE_CODE.unusedMcpResponse]: {
+        stage: "live", actor: "agent", fix_kind: "edit",
+        condition: "A response was fetched and none of its keys were read.",
+    },
+    [VALIDATE_CODE.stringNumerics]: {
+        stage: "live", actor: "agent", fix_kind: "edit",
+        condition: "Numeric values arrived as text, which compares and sorts wrongly without raising.",
+    },
+    [VALIDATE_CODE.noSignalsEmitted]: {
+        stage: "live", actor: "agent", fix_kind: "locate-only",
+        condition: "A clean tick emitted nothing.",
+    },
+    [VALIDATE_CODE.signalsWithoutReads]: {
+        stage: "live", actor: "agent", fix_kind: "edit",
+        condition: "Signals were emitted having read no data.",
+    },
+    [VALIDATE_CODE.noExternalScanners]: {
+        stage: "live", actor: "agent", fix_kind: "locate-only",
+        condition: "The recipe declares no author-written scanner, so there is no code to prove.",
+    },
+    [VALIDATE_CODE.marginPctSuspicious]: {
+        stage: "live", actor: "agent", fix_kind: "edit",
+        condition: "An emitted margin percentage below one is accepted but is probably a fraction.",
+    },
+    // ── proof ─────────────────────────────────────────────────────────────────
+    [VALIDATE_CODE.noProof]: {
+        stage: "proof", actor: "agent", fix_kind: "command",
+        condition: "No proof exists for this package's content.",
+    },
+    [VALIDATE_CODE.contentChanged]: {
+        stage: "proof", actor: "agent", fix_kind: "command",
+        condition: "The package has changed since its proof was made.",
+    },
+    [VALIDATE_CODE.runtimeVersionChanged]: {
+        stage: "proof", actor: "agent", fix_kind: "command",
+        condition: "The runtime moved since the proof was made.",
+    },
+    [VALIDATE_CODE.proofNotRecorded]: {
+        stage: "proof", actor: "ops", fix_kind: "command",
+        condition: "The run passed but its proof could not be written.",
+    },
+};
+/** Every code, in declaration order. */
+export const ALL_VALIDATE_CODES = Object.values(VALIDATE_CODE);
+/**
+ * Severity for a code, derived from its prefix so the two can never disagree.
+ *
+ * `E_` fails the run. `W_` is reported and only fails under `--strict`.
+ */
+export function severityOf(code) {
+    return code.startsWith("W_") ? "warning" : "error";
+}
+/** Every code raised at a given depth. Used to scope coverage while stages are still being built. */
+export function codesForStage(stage) {
+    return ALL_VALIDATE_CODES.filter((code) => VALIDATE_CODE_META[code].stage === stage);
+}
+//# sourceMappingURL=codes.js.map

package/dist/validate/codes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codes.js","sourceRoot":"","sources":["../../src/validate/codes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAIH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,6EAA6E;IAC7E,sCAAsC;IACtC,cAAc,EAAE,6BAA6B;IAC7C,4FAA4F;IAC5F,QAAQ,EAAE,sBAAsB;IAChC,gFAAgF;IAChF,eAAe,EAAE,6BAA6B;IAC9C,gFAAgF;IAChF,WAAW,EAAE,yBAAyB;IACtC,0FAA0F;IAC1F,QAAQ,EAAE,sBAAsB;IAChC,+DAA+D;IAC/D,cAAc,EAAE,4BAA4B;IAC5C,+CAA+C;IAC/C,SAAS,EAAE,uBAAuB;IAElC,6EAA6E;IAC7E,mCAAmC;IACnC,UAAU,EAAE,wBAAwB;IACpC,iDAAiD;IACjD,MAAM,EAAE,mBAAmB;IAC3B,mEAAmE;IACnE,cAAc,EAAE,6BAA6B;IAC7C,+CAA+C;IAC/C,aAAa,EAAE,4BAA4B;IAC3C,kEAAkE;IAClE,iBAAiB,EAAE,+BAA+B;IAClD,sDAAsD;IACtD,UAAU,EAAE,wBAAwB;IACpC,+FAA+F;IAC/F,OAAO,EAAE,oBAAoB;IAC7B,+CAA+C;IAC/C,OAAO,EAAE,oBAAoB;IAC7B,sDAAsD;IACtD,iBAAiB,EAAE,+BAA+B;IAClD,uEAAuE;IACvE,uBAAuB,EAAE,sCAAsC;IAC/D,2FAA2F;IAC3F,iBAAiB,EAAE,gCAAgC;IACnD,4DAA4D;IAC5D,UAAU,EAAE,yBAAyB;IAErC,6EAA6E;IAC7E,2FAA2F;IAC3F,MAAM,EAAE,mBAAmB;IAC3B,4CAA4C;IAC5C,YAAY,EAAE,0BAA0B;IACxC,yDAAyD;IACzD,WAAW,EAAE,yBAAyB;IACtC,mDAAmD;IACnD,eAAe,EAAE,8BAA8B;IAC/C,kEAAkE;IAClE,YAAY,EAAE,2BAA2B;IACzC,6FAA6F;IAC7F,iBAAiB,EAAE,gCAAgC;IACnD,mFAAmF;IACnF,aAAa,EAAE,2BAA2B;IAC1C,+FAA+F;IAC/F,YAAY,EAAE,2BAA2B;IAEzC,6EAA6E;IAC7E,uBAAuB;IACvB,aAAa,EAAE,2BAA2B;IAC1C,4DAA4D;IAC5D,WAAW,EAAE,yBAAyB;IACtC,gFAAgF;IAChF,YAAY,EAAE,0BAA0B;IACxC,kGAAkG;IAClG,aAAa,EAAE,2BAA2B;IAC1C,wDAAwD;IACxD,aAAa,EAAE,2BAA2B;IAC1C,qEAAqE;IACrE,YAAY,EAAE,2BAA2B;IACzC,6FAA6F;IAC7F,cAAc,EAAE,6BAA6B;IAC7C,oDAAoD;IACpD,aAAa,EAAE,2BAA2B;IAC1C,6DAA6D;IAC7D,cAAc,EAAE,4BAA4B;IAC5C,kDAAkD;IAClD,aAAa,EAAE,2BAA2B;IAC1C,sDAAsD;IACtD,aAAa,EAAE,4BAA4B;IAC3C,kFAAkF;IAClF,mBAAmB,EAAE,kCAAkC;IACvD,uDAAuD;IACvD,aAAa,EAAE,2BAA2B;IAC1C,4FAA4F;IAC5F,mBAAmB,EAAE,iCAAiC;IACtD,gDAAgD;IAChD,eAAe,EAAE,2BAA2B;IAC5C,sFAAsF;IACtF,iBAAiB,EAAE,gCAAgC;IACnD,8FAA8F;IAC9F,cAAc,EAAE,4BAA4B;IAC5C,sFAAsF;IACtF,gBAAgB,EAAE,+BAA+B;IACjD,0EAA0E;IAC1E,mBAAmB,EAAE,kCAAkC;IACvD,mFAAmF;IACnF,kBAAkB,EAAE,iCAAiC;IACrD,4FAA4F;IAC5F,mBAAmB,EAAE,kCAAkC;IAEvD,6EAA6E;IAC7E,kDAAkD;IAClD,OAAO,EAAE,qBAAqB;IAC9B,qEAAqE;IACrE,cAAc,EAAE,4BAA4B;IAC5C,0FAA0F;IAC1F,qBAAqB,EAAE,oCAAoC;IAC3D,uFAAuF;IACvF,gBAAgB,EAAE,+BAA+B;CACzC,CAAC;AAcX;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA2C;IACxE,6EAA6E;IAC7E,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE;QAC9B,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;QACxD,SAAS,EAAE,iCAAiC;KAC7C;IACD,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE;QACxB,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ;QACvD,SAAS,EAAE,iDAAiD;KAC7D;IACD,CAAC,aAAa,CAAC,eAAe,CAAC,EAAE;QAC/B,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ;QACvD,SAAS,EAAE,sEAAsE;KAClF;IACD,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE;QAC3B,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;QACxD,SAAS,EAAE,0EAA0E;KACtF;IACD,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE;QACxB,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;QACxD,SAAS,EAAE,4EAA4E;KACxF;IACD,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE;QAC9B,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ;QACvD,SAAS,EAAE,kDAAkD;KAC9D;IACD,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE;QACzB,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;QACxD,SAAS,EAAE,kDAAkD;KAC9D;IAED,6EAA6E;IAC7E,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE;QAC1B,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,8BAA8B;KAC1C;IACD,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE;QACtB,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,4CAA4C;KACxD;IACD,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE;QAC9B,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,2DAA2D;KACvE;IACD,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE;QAC7B,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,0DAA0D;KACtE;IACD,CAAC,aAAa,CAAC,iBAAiB,CAAC,EAAE;QACjC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,6DAA6D;KACzE;IACD,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE;QAC1B,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,mEAAmE;KAC/E;IACD,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE;QACvB,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,+EAA+E;KAC3F;IACD,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE;QACvB,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,yCAAyC;KACrD;IACD,CAAC,aAAa,CAAC,iBAAiB,CAAC,EAAE;QACjC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,8CAA8C;KAC1D;IACD,CAAC,aAAa,CAAC,uBAAuB,CAAC,EAAE;QACvC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,8DAA8D;KAC1E;IACD,CAAC,aAAa,CAAC,iBAAiB,CAAC,EAAE;QACjC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,+EAA+E;KAC3F;IACD,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE;QAC1B,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,8DAA8D;KAC1E;IAED,6EAA6E;IAC7E,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE;QACtB,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,iDAAiD;KAC7D;IACD,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE;QAC5B,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,uCAAuC;KACnD;IACD,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE;QAC3B,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,uCAAuC;KACnD;IACD,CAAC,aAAa,CAAC,eAAe,CAAC,EAAE;QAC/B,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,8CAA8C;KAC1D;IACD,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE;QAC5B,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,6DAA6D;KACzE;IACD,CAAC,aAAa,CAAC,iBAAiB,CAAC,EAAE;QACjC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,sFAAsF;KAClG;IACD,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE;QAC7B,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,4EAA4E;KACxF;IACD,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE;QAC5B,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACjD,SAAS,EAAE,0EAA0E;KACtF;IAED,6EAA6E;IAC7E,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE;QAC7B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa;QACtD,SAAS,EAAE,kBAAkB;KAC9B;IACD,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE;QAC3B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QAC/C,SAAS,EAAE,uDAAuD;KACnE;IACD,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE;QAC5B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QAC/C,SAAS,EAAE,0EAA0E;KACtF;IACD,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE;QAC7B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QAC/C,SAAS,EAAE,oEAAoE;KAChF;IACD,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE;QAC7B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QAC/C,SAAS,EAAE,mDAAmD;KAC/D;IACD,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE;QAC5B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa;QACtD,SAAS,EAAE,yDAAyD;KACrE;IACD,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE;QAC9B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ;QACjD,SAAS,EAAE,2DAA2D;KACvE;IACD,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE;QAC7B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ;QACjD,SAAS,EAAE,0CAA0C;KACtD;IACD,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE;QAC9B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QAC/C,SAAS,EAAE,gEAAgE;KAC5E;IACD,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE;QAC7B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS;QAChD,SAAS,EAAE,sDAAsD;KAClE;IACD,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE;QAC7B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS;QAChD,SAAS,EAAE,iDAAiD;KAC7D;IACD,CAAC,aAAa,CAAC,mBAAmB,CAAC,EAAE;QACnC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS;QAClD,SAAS,EAAE,6CAA6C;KACzD;IACD,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE;QAC7B,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa;QACxD,SAAS,EAAE,yEAAyE;KACrF;IACD,CAAC,aAAa,CAAC,mBAAmB,CAAC,EAAE;QACnC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa;QACtD,SAAS,EAAE,uEAAuE;KACnF;IACD,CAAC,aAAa,CAAC,eAAe,CAAC,EAAE;QAC/B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa;QACtD,SAAS,EAAE,gDAAgD;KAC5D;IACD,CAAC,aAAa,CAAC,iBAAiB,CAAC,EAAE;QACjC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QAC/C,SAAS,EAAE,wDAAwD;KACpE;IACD,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE;QAC9B,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QAC/C,SAAS,EAAE,mFAAmF;KAC/F;IACD,CAAC,aAAa,CAAC,gBAAgB,CAAC,EAAE;QAChC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa;QACtD,SAAS,EAAE,+BAA+B;KAC3C;IACD,CAAC,aAAa,CAAC,mBAAmB,CAAC,EAAE;QACnC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QAC/C,SAAS,EAAE,2CAA2C;KACvD;IACD,CAAC,aAAa,CAAC,kBAAkB,CAAC,EAAE;QAClC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa;QACtD,SAAS,EAAE,8EAA8E;KAC1F;IACD,CAAC,aAAa,CAAC,mBAAmB,CAAC,EAAE;QACnC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QAC/C,SAAS,EAAE,gFAAgF;KAC5F;IAED,6EAA6E;IAC7E,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE;QACvB,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;QACnD,SAAS,EAAE,6CAA6C;KACzD;IACD,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE;QAC9B,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;QACnD,SAAS,EAAE,mDAAmD;KAC/D;IACD,CAAC,aAAa,CAAC,qBAAqB,CAAC,EAAE;QACrC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;QACnD,SAAS,EAAE,6CAA6C;KACzD;IACD,CAAC,aAAa,CAAC,gBAAgB,CAAC,EAAE;QAChC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS;QACjD,SAAS,EAAE,oDAAoD;KAChE;CACF,CAAC;AAEF,wCAAwC;AACxC,MAAM,CAAC,MAAM,kBAAkB,GAA4B,MAAM,CAAC,MAAM,CACtE,aAAa,CACI,CAAC;AAEpB;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAkB;IAC3C,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;AACrD,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,aAAa,CAAC,KAAsB;IAClD,OAAO,kBAAkB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;AACvF,CAAC"}

package/dist/validate/coverage.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Coverage accounting for the finding taxonomy.
+ *
+ * The premise of `senpi validate` is that its messages are the product — so a code that no test
+ * ever produces is a message nobody has read. A hand-maintained checklist of "codes we tested"
+ * rots the first time someone is in a hurry; this makes the accounting mechanical instead.
+ *
+ * Pure functions over an observed set. The suite that collects real findings feeds them in; these
+ * decide what is missing. Nothing here reads the filesystem or knows how findings are produced.
+ */
+import { type ValidateCode } from "./codes.js";
+import type { ValidationStage } from "./types.js";
+export interface CoverageOptions {
+    /**
+     * Only account for codes raised at these depths.
+     *
+     * Exists because the taxonomy is declared whole while the checks that raise it are built in
+     * layers. Scoping to the stages that exist keeps the assertion meaningful — and honest — instead
+     * of permanently red or, worse, permanently disabled. Widen this as each layer lands; the day it
+     * covers every stage, the option can go.
+     */
+    stages: readonly ValidationStage[];
+}
+/** Codes that should have been produced by some test, and were not. */
+export declare function findUncoveredCodes(observed: Iterable<string>, options: CoverageOptions): ValidateCode[];
+/**
+ * Observed codes that are not in the taxonomy at all.
+ *
+ * Catches the opposite failure from {@link findUncoveredCodes}: a finding emitted with a
+ * hand-written string that never made it into the table, so it has no metadata, no entry in the
+ * generated reference, and no route through the actor/fix-kind logic that depends on it.
+ */
+export declare function findUnknownCodes(observed: Iterable<string>): string[];
+//# sourceMappingURL=coverage.d.ts.map

package/dist/validate/coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../src/validate/coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAA0C,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AACvF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,MAAM,WAAW,eAAe;IAC9B;;;;;;;OAOG;IACH,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;CACpC;AAED,uEAAuE;AACvE,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,EAC1B,OAAO,EAAE,eAAe,GACvB,YAAY,EAAE,CAMhB;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAOrE"}

package/dist/validate/coverage.js

@@ -0,0 +1,34 @@
+/**
+ * Coverage accounting for the finding taxonomy.
+ *
+ * The premise of `senpi validate` is that its messages are the product — so a code that no test
+ * ever produces is a message nobody has read. A hand-maintained checklist of "codes we tested"
+ * rots the first time someone is in a hurry; this makes the accounting mechanical instead.
+ *
+ * Pure functions over an observed set. The suite that collects real findings feeds them in; these
+ * decide what is missing. Nothing here reads the filesystem or knows how findings are produced.
+ */
+import { ALL_VALIDATE_CODES, VALIDATE_CODE_META } from "./codes.js";
+/** Codes that should have been produced by some test, and were not. */
+export function findUncoveredCodes(observed, options) {
+    const seen = new Set(observed);
+    const inScope = new Set(options.stages);
+    return ALL_VALIDATE_CODES.filter((code) => inScope.has(VALIDATE_CODE_META[code].stage) && !seen.has(code));
+}
+/**
+ * Observed codes that are not in the taxonomy at all.
+ *
+ * Catches the opposite failure from {@link findUncoveredCodes}: a finding emitted with a
+ * hand-written string that never made it into the table, so it has no metadata, no entry in the
+ * generated reference, and no route through the actor/fix-kind logic that depends on it.
+ */
+export function findUnknownCodes(observed) {
+    const known = new Set(ALL_VALIDATE_CODES);
+    const unknown = new Set();
+    for (const code of observed) {
+        if (!known.has(code))
+            unknown.add(code);
+    }
+    return [...unknown].sort();
+}
+//# sourceMappingURL=coverage.js.map

package/dist/validate/coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.js","sourceRoot":"","sources":["../../src/validate/coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAqB,MAAM,YAAY,CAAC;AAevF,uEAAuE;AACvE,MAAM,UAAU,kBAAkB,CAChC,QAA0B,EAC1B,OAAwB;IAExB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAkB,OAAO,CAAC,MAAM,CAAC,CAAC;IACzD,OAAO,kBAAkB,CAAC,MAAM,CAC9B,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CACzE,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAA0B;IACzD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,kBAAkB,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7B,CAAC"}

package/dist/validate/import-stage.d.ts

@@ -0,0 +1,56 @@
+/**
+ * The import depth: run the loadability checks and turn what they find into findings.
+ *
+ * The checks themselves live in Python, next to the loader the scaffold uses before its own first
+ * tick — so a package that passes has satisfied the contract production applies. This side spawns
+ * that checker, one process per scanner, and translates its output.
+ *
+ * ## Why a process per scanner
+ *
+ * Importing puts the scanner's directory at the front of the module search path, and two scanners
+ * routinely contain files of the same name. Checking several in one interpreter lets one scanner's
+ * `scoring` satisfy another's import of a file that does not exist — a broken package reporting
+ * clean. Production spawns a process per scanner for the same reason, so this matches it.
+ */
+import type { Finding } from "./types.js";
+/** One scanner to check: where its code lives and which file is the entry. */
+export interface ScannerTarget {
+    /** Recipe name, or a stand-in when checking a bare directory. */
+    name: string;
+    root: string;
+    entrypoint?: string;
+}
+/** Raw shape emitted by the Python checker. Field presence varies by code. */
+interface RawFinding {
+    code: string;
+    file?: string;
+    line?: number | null;
+    message?: string;
+    module?: string;
+    error_type?: string;
+    where?: {
+        file: string;
+        line: number;
+    } | null;
+    import_chain?: string[];
+    traceback?: string;
+}
+/** The directory the `scaffold` package is importable from, in dev and in the built package alike. */
+export declare function scaffoldPackageDir(): string;
+/**
+ * Turn one raw result into findings.
+ *
+ * The Python side reports *what it observed*; the reasons and remedies are composed here, so all
+ * message policy lives in one language rather than being split across the boundary.
+ */
+export declare function toFindings(scanner: ScannerTarget, raw: RawFinding): Finding[];
+/** Run the Python checker for one scanner. */
+export declare function checkScanner(scanner: ScannerTarget, options?: {
+    pythonBin?: string;
+    cwd?: string;
+    budgetMs?: number;
+}): Promise<Finding[]>;
+/** Absolute scanner root for a declared path, resolved against the recipe's directory. */
+export declare function resolveRoot(declared: string, baseDir: string | undefined): string | undefined;
+export {};
+//# sourceMappingURL=import-stage.d.ts.map

package/dist/validate/import-stage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"import-stage.d.ts","sourceRoot":"","sources":["../../src/validate/import-stage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAMH,OAAO,KAAK,EAAE,OAAO,EAA4B,MAAM,YAAY,CAAC;AAUpE,8EAA8E;AAC9E,MAAM,WAAW,aAAa;IAC5B,iEAAiE;IACjE,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,8EAA8E;AAC9E,UAAU,UAAU;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAC9C,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAQD,sGAAsG;AACtG,wBAAgB,kBAAkB,IAAI,MAAM,CAE3C;AAWD;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,UAAU,GAAG,OAAO,EAAE,CAyH7E;AAED,8CAA8C;AAC9C,wBAAsB,YAAY,CAChC,OAAO,EAAE,aAAa,EACtB,OAAO,GAAE;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GACpE,OAAO,CAAC,OAAO,EAAE,CAAC,CAsFpB;AAED,0FAA0F;AAC1F,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAI7F"}