@zxyycom/vibe-check 0.0.1 → 0.0.3

package/types/package-checks/function-metrics/analyzer/shared/golike.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Derived from terryyin/lizard 1.24.0.
+ * Source: lizard_languages/golike.py.
+ * Upstream revision: 308b1c3efd8c1c69bcc3eb82deeaec64fd3662ec.
+ * SPDX-License-Identifier: MIT
+ * Modified: translated to TypeScript while retaining Go-like function and
+ * nested-block state transitions.
+ */
+import { CodeStateMachine } from "./code-reader.ts";
+/**
+ * Shared state machine for Go-like readers.
+ *
+ * Function transition methods deliberately remain prototype methods: source
+ * subclasses use `super` and the state machine invokes stored methods with its
+ * owning receiver. This preserves both override dispatch and state identity.
+ */
+export declare class GoLikeStates extends CodeStateMachine {
+    protected static readonly FUNC_KEYWORD: string;
+    private _type_param_open;
+    private _type_param_close;
+    _state_global(token: string): void;
+    protected readonly _type_definition: (_token: string) => void;
+    private readonly _after_type_name;
+    private readonly _struct_definition;
+    private readonly _interface_definition;
+    /** Source `_function_name` virtual seam used by Kotlin. */
+    protected _function_name(token: string): void;
+    private readonly _expect_function_dec;
+    private readonly _skip_type_parameters;
+    private readonly _member_function;
+    private readonly addMemberFunctionToken;
+    private readonly _function_dec;
+    private readonly addFunctionParameter;
+    /** Source `_expect_function_impl` virtual seam used by Scala and Kotlin. */
+    protected _expect_function_impl(token: string): void;
+    protected readonly _function_impl: (_token: string) => void;
+    private readonly ignoreToken;
+    private getFunctionKeyword;
+}

package/types/package-checks/function-metrics/analyzer/shared/js-style-regex.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Derived from terryyin/lizard 1.24.0.
+ * Source: lizard_languages/js_style_regex_expression.py.
+ * Upstream revision: 308b1c3efd8c1c69bcc3eb82deeaec64fd3662ec.
+ * SPDX-License-Identifier: MIT
+ * Modified: translated to a TypeScript tokenizer wrapper while preserving the
+ * upstream eager regex-token combination order.
+ */
+import type { TokenFactory } from "./code-reader.ts";
+/** A static reader tokenizer shape accepted by the JavaScript regex wrapper. */
+export type TokenGenerator = (sourceCode: string, addition?: string, tokenFactory?: TokenFactory) => Generator<string>;
+/**
+ * Wrap a tokenizer with Lizard's JavaScript-style regular-expression joining.
+ * The final index advance intentionally mirrors the upstream implementation.
+ */
+export declare function js_style_regex_expression(generator: TokenGenerator): TokenGenerator;

package/types/package-checks/function-metrics/analyzer/shared/rubylike.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Derived from terryyin/lizard 1.24.0.
+ * Source: lizard_languages/rubylike.py.
+ * Upstream revision: 308b1c3efd8c1c69bcc3eb82deeaec64fd3662ec.
+ * SPDX-License-Identifier: MIT
+ * Modified: translated to TypeScript with source-aligned nested-state and
+ * callback sequencing for Ruby-like readers.
+ */
+import type { FileInfoBuilder } from "../analysis-context.ts";
+import { CodeReader, CodeStateMachine } from "./code-reader.ts";
+/** The embedded-document substate from the upstream module. */
+export declare function state_embedded_doc(token: string): boolean;
+/** Shared function/block state machine for Ruby-like languages. */
+export declare class RubylikeStateMachine extends CodeStateMachine {
+    protected static readonly FUNC_KEYWORD: string;
+    constructor(context: FileInfoBuilder);
+    _state_global(token: string): void;
+    is_newline(): boolean;
+    private getFunctionKeyword;
+    /** Source `_def` seam used by Lua's `_anonymous_def` transition. */
+    protected readonly _def: (token: string) => void;
+    private readonly _it;
+    /** Source `_def_continue` seam used by Lua _defs. */
+    protected readonly _def_continue: (token: string) => void;
+    /** Source `_def_class_method` seam used by Lua _defs. */
+    protected readonly _def_class_method: (token: string) => void;
+    /** Source `_def_parameters` seam used by Lua's `_anonymous_def` transition. */
+    protected readonly _def_parameters: (token: string) => void;
+    private readonly _if;
+    private readonly _for_while;
+}
+/** Shared reader configuration for Ruby-like languages. */
+export declare class RubylikeReader extends CodeReader {
+    static controlFlowKeywords: ReadonlySet<string>;
+    static logicalOperators: ReadonlySet<string>;
+    static caseKeywords: ReadonlySet<string>;
+    static ternaryOperators: ReadonlySet<string>;
+    constructor(context: FileInfoBuilder);
+    get_comment_from_token(token: string): string | undefined;
+}

package/types/package-checks/function-metrics/analyzer/shared/script-language.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Derived from terryyin/lizard 1.24.0.
+ * Source: lizard_languages/script_language.py.
+ * Upstream revision: 308b1c3efd8c1c69bcc3eb82deeaec64fd3662ec.
+ * SPDX-License-Identifier: MIT
+ * Modified: translated to TypeScript while retaining the source mixin's
+ * static comment and tokenizer members.
+ */
+import { type TokenFactory } from "./code-reader.ts";
+/** Common comment extraction and tokenization used by script-language readers. */
+export declare class ScriptLanguageMixIn {
+    static get_comment_from_token(token: string): string | undefined;
+    static generate_common_tokens(sourceCode: string, addition: string, tokenFactory?: TokenFactory): Generator<string>;
+    /** TS-facing call sites share the source methods' implementations. */
+    static getCommentFromToken(token: string): string | undefined;
+    static generateCommonTokens(sourceCode: string, addition: string, tokenFactory?: TokenFactory): Generator<string>;
+}

package/types/package-checks/function-metrics/analyzer-adapter.d.ts

@@ -0,0 +1,26 @@
+import type { FunctionMetric } from "./measurement-model.ts";
+/** One parent-admitted source passed through the Product adapter to the Lizard port. */
+export interface FunctionMetricsAnalyzerSource {
+    readonly path: string;
+    readonly source: string;
+}
+/** The complete in-memory source batch that one Worker asks the adapter to analyze. */
+export interface FunctionMetricsAnalyzerInput {
+    readonly files: readonly FunctionMetricsAnalyzerSource[];
+}
+/** Product-facing result of a complete adapter analysis; failures never carry a prefix. */
+export type FunctionMetricsAnalyzerResult = Readonly<{
+    readonly kind: "analysis-failed";
+}> | Readonly<{
+    readonly kind: "complete";
+    readonly metrics: readonly FunctionMetric[];
+}>;
+/** The translated port's fixed suffix capability, presented for functionMetrics selection. */
+export declare const FUNCTION_METRICS_SUPPORTED_FILE_EXTENSIONS: readonly string[];
+/** Whether a Product-selected path is supported by the translated Lizard port. */
+export declare function isFunctionMetricsAnalyzerSourceSupported(filePath: string): boolean;
+/**
+ * Maps complete Lizard-domain analyses into the Product's function metrics.
+ * An unsupported source or analyzer exception discards every collected metric.
+ */
+export declare function analyzeFunctionMetricsSources(input: FunctionMetricsAnalyzerInput): FunctionMetricsAnalyzerResult;

package/types/package-checks/function-metrics/analyzer-worker-contract.d.ts

@@ -0,0 +1,5 @@
+import type { FunctionMetricsAnalyzerInput, FunctionMetricsAnalyzerResult } from "./analyzer-adapter.ts";
+/** Exact, already-admitted source texts passed from one functionMetrics Check to its Worker. */
+export type FunctionMetricsAnalysisWorkerRequest = FunctionMetricsAnalyzerInput;
+/** The one-shot Worker response; errors never carry partial measurements. */
+export type FunctionMetricsAnalysisWorkerResponse = FunctionMetricsAnalyzerResult;

package/types/package-checks/function-metrics/analyzer-worker-port.d.ts

@@ -0,0 +1,24 @@
+import type { FunctionMetricsAnalysisWorkerRequest } from "./analyzer-worker-contract.ts";
+import type { FunctionMetric } from "./measurement-model.ts";
+type FunctionMetricsWorkerAnalysisResult = Readonly<{
+    kind: "analysis-failed";
+} | {
+    kind: "cancelled";
+} | {
+    kind: "complete";
+    metrics: readonly FunctionMetric[];
+}>;
+export interface FunctionMetricsWorkerPort {
+    readonly postMessage: (value: unknown) => void;
+    readonly subscribe: (listeners: Readonly<{
+        readonly error: () => void;
+        readonly exit: (code: number) => void;
+        readonly message: (value: unknown) => void;
+    }>) => () => void;
+    readonly terminate: () => void;
+}
+/** Creates the private Node Worker transport for one admitted analyzer batch. */
+export declare function createNodeFunctionMetricsWorker(): FunctionMetricsWorkerPort;
+/** Runs one admitted batch through a Worker and settles its transport exactly once. */
+export declare function analyzeAdmittedSources(request: FunctionMetricsAnalysisWorkerRequest, approvedExactPaths: readonly string[], signal: AbortSignal, createWorker: () => FunctionMetricsWorkerPort): Promise<FunctionMetricsWorkerAnalysisResult>;
+export {};

package/types/package-checks/function-metrics/analyzer-worker.d.ts

@@ -0,0 +1 @@
+export {};

package/types/package-checks/function-metrics/constructor.d.ts

@@ -1,11 +1,14 @@
 import { type TypedCheckWithOptions } from "../../check/check.ts";
+import { type PackageCheckIdentityInput } from "../check-authoring.ts";
 import { parseFunctionMetricsData } from "./final-data.ts";
 import type { FunctionMetricsOptions, ResolvedFunctionMetricsOptions } from "./options.ts";
 /**
  * 使用可省略的区域、阈值与 finding policy 构造一个完整 function-metrics Check。
  *
  * @param options - 省略字段由 package 补齐；显式 files 数组完整替换对应字段的默认数组。
- * @returns 固定 `function-metrics` identity、完整冻结 options、preflight 与 execution。
- * @throws {TypeError} input 含未知字段、空 area、非法 finding policy、非法 limit 或空 executable 时抛出。
+ * @returns 固定 `function-metrics` identity、完整冻结 options、preparation 与 execution。
+ * @throws {TypeError} input 含未知字段、空 area、非法 finding policy/waiver 或非法 limit 时抛出。
  */
-export declare function functionMetrics(options?: FunctionMetricsOptions): TypedCheckWithOptions<"function-metrics", ResolvedFunctionMetricsOptions, typeof parseFunctionMetricsData>;
+export declare function functionMetrics(options?: FunctionMetricsOptions<"function-metrics">): TypedCheckWithOptions<"function-metrics", ResolvedFunctionMetricsOptions, typeof parseFunctionMetricsData>;
+export declare function functionMetrics<const Id extends string>(options: FunctionMetricsOptions<Id> & PackageCheckIdentityInput<Id>): TypedCheckWithOptions<Id, ResolvedFunctionMetricsOptions, typeof parseFunctionMetricsData>;
+export declare function functionMetrics(options: FunctionMetricsOptions): TypedCheckWithOptions<string, ResolvedFunctionMetricsOptions, typeof parseFunctionMetricsData>;

package/types/package-checks/function-metrics/execution.d.ts

@@ -1,7 +1,10 @@
 import type { CheckExecutionContext, CheckResult } from "../../check/check.ts";
+import { type FunctionMeasurementDependencies } from "./measurement.ts";
 import type { ResolvedFunctionMetricsOptions } from "./options.ts";
 import type { FunctionMetricsFinalData } from "./final-data.ts";
 /** `function-metrics` whole-Check unavailable outcome 的稳定 reason code。 */
-export type FunctionMetricsUnavailableReasonCode = "cancelled" | "external-dependency-unavailable" | "external-execution-failed" | "external-result-invalid" | "invalid-options" | "source-unavailable";
+export type FunctionMetricsUnavailableReasonCode = "analysis-failed" | "cancelled" | "invalid-options" | "resource-limit-exceeded" | "source-unavailable";
 /** Default Check callback；一次扫描完整 area exact-input union。 */
-export declare function executeFunctionMetrics(context: CheckExecutionContext<ResolvedFunctionMetricsOptions>): Promise<CheckResult<FunctionMetricsFinalData>>;
+export declare function executeFunctionMetrics(context: CheckExecutionContext<ResolvedFunctionMetricsOptions>, dependencies?: Readonly<{
+    readonly measurement?: Partial<FunctionMeasurementDependencies>;
+}>): Promise<CheckResult<FunctionMetricsFinalData>>;

package/types/package-checks/function-metrics/finding-messages.d.ts

@@ -0,0 +1,9 @@
+import type { CheckMessage } from "../../check/check.ts";
+import type { FindingWaiverReconciliation } from "../../package-tools/finding-waivers/reconciliation.ts";
+import { type FunctionInputRejectedCandidate, type FunctionRecordCandidate } from "./records.ts";
+type FunctionFindingCandidate = FunctionRecordCandidate | FunctionInputRejectedCandidate;
+/** Projects metric and rejected-input Records into bounded terminal summaries. */
+export declare function functionFindingMessages(findings: readonly FunctionFindingCandidate[]): readonly CheckMessage[];
+/** 将每项 function-metrics waiver audit 投影为可行动的 terminal message。 */
+export declare function functionWaiverMessages(reconciliation: FindingWaiverReconciliation<FunctionRecordCandidate>): readonly CheckMessage[];
+export {};

package/types/package-checks/function-metrics/finding-waiver-identity.d.ts

@@ -0,0 +1,2 @@
+import type { FunctionMetricsFindingIdentity } from "./options.ts";
+export declare function resolveFunctionMetricsFindingIdentity(value: unknown): FunctionMetricsFindingIdentity | undefined;

package/types/package-checks/function-metrics/measurement-model.d.ts

@@ -1,15 +1,27 @@
 import type { FindingPolicy } from "../code-quality-findings/policy.ts";
 import type { ResolvedFunctionMetricsLimits } from "./options.ts";
 export interface MetricValue {
-    readonly source: "lizard";
+    readonly source: "typescript-analyzer";
     readonly value: number | null;
 }
+/** One CCN-contributing token and its one-based source line. */
+export interface ComplexityContributor {
+    readonly line: number;
+    readonly token: string;
+}
+/** A nesting-depth value is complete for every function admitted to this Product metric. */
+export interface NestingDepthMetricValue {
+    readonly source: "typescript-analyzer";
+    readonly value: number;
+}
 export interface FunctionMetric {
+    readonly complexityContributors: readonly ComplexityContributor[];
     readonly cyclomaticComplexity: MetricValue;
     readonly endLine: number;
     readonly file: string;
     readonly lines: number;
     readonly name: string;
+    readonly nestingDepth: NestingDepthMetricValue;
     readonly parameterCount: number;
     readonly startLine: number;
 }

package/types/package-checks/function-metrics/measurement.d.ts

@@ -1,21 +1,36 @@
+import { type FunctionMetricsWorkerPort } from "./analyzer-worker-port.ts";
 import type { FunctionMetric, FunctionMetricsExactInputSet } from "./measurement-model.ts";
-import type { ResolvedFunctionMetricsScannerOptions } from "./options.ts";
 export type FunctionMeasurementResult = Readonly<{
+    kind: "analysis-failed";
+} | {
     kind: "cancelled";
 } | {
     kind: "complete";
     metrics: readonly FunctionMetric[];
 } | {
-    kind: "execution-failed";
-} | {
-    kind: "invalid-result";
+    kind: "resource-limit-exceeded";
 } | {
-    kind: "unavailable";
+    kind: "source-unavailable";
 }>;
 interface FunctionMeasurementInput {
-    readonly dependency: ResolvedFunctionMetricsScannerOptions;
     readonly input: FunctionMetricsExactInputSet;
     readonly signal: AbortSignal;
 }
-export declare function measureFunctionMetrics({ dependency, input, signal }: FunctionMeasurementInput): Promise<FunctionMeasurementResult>;
+export interface FunctionMeasurementDependencies {
+    readonly createWorker: () => FunctionMetricsWorkerPort;
+    readonly yieldAdmission: () => Promise<void>;
+}
+/**
+ * The Check parent admits exactly its selected sources and bounds their bytes;
+ * one Worker only analyzes those source texts and never discovers or reads paths.
+ */
+export declare function measureFunctionMetrics({ input, signal }: FunctionMeasurementInput, dependencies?: Partial<FunctionMeasurementDependencies>): Promise<FunctionMeasurementResult>;
+/**
+ * Product-owned replacement for Lizard 1.24 `auto_open.auto_read` at the
+ * admitted-source boundary. A valid initial UTF-8 BOM is `utf-8-sig` and text
+ * newlines are universal; a decoding failure retries the complete byte sequence
+ * with Python's `errors="ignore"`, which deliberately retains an initial BOM
+ * and raw newlines on that retry.
+ */
+export declare function decodeLizardAutoRead(bytes: Uint8Array): string;
 export {};

package/types/package-checks/function-metrics/options.d.ts

@@ -1,5 +1,7 @@
+import type { PackageCheckAuthoringOptions } from "../check-authoring.ts";
 import type { ProjectFileSelection, ProjectFileSelectionOptions } from "../project-files/configuration.ts";
 import type { FindingPolicy } from "../code-quality-findings/policy.ts";
+import type { FindingWaiver } from "../../package-tools/finding-waivers/reconciliation.ts";
 /** `functionMetrics` 构造函数可省略的文件选择策略。 */
 export type FunctionMetricsFileOptions = ProjectFileSelectionOptions;
 /** `functionMetrics` 构造函数可省略的函数指标上限。 */
@@ -18,6 +20,10 @@ export interface FunctionMetricsLimitOptions {
         /** 省略时为 `12`。 */
         readonly maximum?: number;
     }>;
+    readonly nestingDepth?: Readonly<{
+        /** 省略时为 `7`。 */
+        readonly maximum?: number;
+    }>;
     readonly parameters?: Readonly<{
         /** 省略时为 `6`。 */
         readonly maximum?: number;
@@ -32,24 +38,32 @@ export interface FunctionMetricsCodeAreaOptions {
     /** 省略的嵌套上限使用 package 默认值。 */
     readonly limits?: FunctionMetricsLimitOptions;
 }
-/** `functionMetrics` 构造函数可省略的 Lizard 可执行文件策略。 */
-export interface FunctionMetricsScannerOptions {
-    /** 省略时为 `lizard`；显式命令必须直接接受 adapter 拥有的 Lizard 参数。 */
-    readonly executable?: string;
+/** function-metrics 可形成 Finding 的封闭 metric 名称。 */
+export type FunctionMetricsFindingMetric = "cyclomatic-complexity" | "function-code-density" | "nesting-depth" | "parameter-count";
+/** function-metrics 用于精确识别一条可豁免 metric finding 的稳定字段。 */
+export interface FunctionMetricsFindingIdentity {
+    readonly functionName: string;
+    readonly metric: FunctionMetricsFindingMetric;
+    /** 已 normalized 的 project-root-relative slash path。 */
+    readonly path: string;
+    /** 该次 finding 中函数起始位置的一基行号；位置变化会让旧 waiver 进入 unused audit。 */
+    readonly startLine: number;
 }
+/** 一项 function-metrics metric finding 的声明式豁免。 */
+export type FunctionMetricsFindingWaiver = FindingWaiver<FunctionMetricsFindingIdentity>;
 /** `functionMetrics(options?)` 接受并补齐默认值的公开策略。 */
-export interface FunctionMetricsOptions {
+export interface FunctionMetricsOptions<Id extends string = string> extends PackageCheckAuthoringOptions<Id> {
     /** 省略时建立默认 `project` 区域；显式映射必须非空，且每个区域必须声明 `files`。 */
     readonly codeAreas?: Readonly<Record<string, FunctionMetricsCodeAreaOptions>>;
     /** 省略时为 `non-blocking`；区域可局部覆盖。 */
     readonly findingPolicy?: FindingPolicy;
-    /** 省略时使用 PATH 中的 `lizard`。 */
-    readonly scanner?: FunctionMetricsScannerOptions;
+    /** 省略时没有豁免；只匹配 normal metric finding，不匹配 input rejection。 */
+    readonly findingWaivers?: readonly FunctionMetricsFindingWaiver[];
 }
-/** 构造函数生成并由 Check preflight/execution 消费的完整 options。 */
+/** 构造函数生成并由 Check preparation/execution 消费的完整 options。 */
 export interface ResolvedFunctionMetricsOptions {
     readonly codeAreas: Readonly<Record<string, ResolvedFunctionMetricsCodeAreaOptions>>;
-    readonly scanner: ResolvedFunctionMetricsScannerOptions;
+    readonly findingWaivers: readonly FunctionMetricsFindingWaiver[];
 }
 export interface ResolvedFunctionMetricsCodeAreaOptions {
     readonly files: ProjectFileSelection;
@@ -67,10 +81,10 @@ export interface ResolvedFunctionMetricsLimits {
     readonly cyclomaticComplexity: Readonly<{
         readonly maximum: number;
     }>;
+    readonly nestingDepth: Readonly<{
+        readonly maximum: number;
+    }>;
     readonly parameters: Readonly<{
         readonly maximum: number;
     }>;
 }
-export interface ResolvedFunctionMetricsScannerOptions {
-    readonly executable: string;
-}

package/types/package-checks/function-metrics/records.d.ts

@@ -1,17 +1,30 @@
 import { type FunctionMetricAnalysis } from "./analysis.ts";
+import type { MaterializedFindingWaiver } from "../../package-tools/finding-waivers/reconciliation.ts";
+import { type FindingWaiverAuditRecordData, type FindingWaiverRecordAudit } from "../code-quality-findings/finding-waiver-evidence.ts";
 import type { FunctionMetricsAreaInput } from "./measurement-model.ts";
-type FunctionMetricName = "cyclomatic-complexity" | "function-code-density" | "parameter-count";
+import type { FunctionMetricsFindingIdentity, FunctionMetricsFindingMetric } from "./options.ts";
 /** 一条超出函数 metric 上限的 supplemental Record data。 */
 export type FunctionMetricsFindingRecordData = Readonly<{
     readonly blocking: boolean;
     readonly codeAreas: readonly string[];
+    /** Complete source-ordered CCN contributors; present only for CCN findings. */
+    readonly complexityContributors?: readonly Readonly<{
+        readonly line: number;
+        readonly token: string;
+    }>[];
     readonly functionName: string;
     readonly limit: number;
-    readonly metric: FunctionMetricName;
+    readonly metric: FunctionMetricsFindingMetric;
     readonly path: string;
     readonly startLine: number;
     readonly value: number;
+    /** 精确匹配 waiver 时保留理由，并令该 finding 不再参与 actionable settlement。 */
+    readonly waiver?: Readonly<{
+        readonly reason: string;
+    }>;
 }>;
+/** 未使用或过宽 function-metrics waiver 的 supplemental audit Record data。 */
+export type FunctionMetricsFindingWaiverAuditRecordData = FindingWaiverAuditRecordData<FunctionMetricsFindingIdentity>;
 /** 一条已被 files policy 选中、但不受 functionMetrics 支持的输入 Finding。 */
 export type FunctionMetricsInputRejectedRecordData = Readonly<{
     readonly blocking: false;
@@ -20,8 +33,8 @@ export type FunctionMetricsInputRejectedRecordData = Readonly<{
     readonly path: string;
     readonly reason: "unsupported-file-type";
 }>;
-/** functionMetrics 发布的 metric 或 input-rejection Record data。 */
-export type FunctionMetricsRecordData = FunctionMetricsFindingRecordData | FunctionMetricsInputRejectedRecordData;
+/** functionMetrics 发布的 metric、input-rejection 或 finding-waiver audit Record data。 */
+export type FunctionMetricsRecordData = FunctionMetricsFindingRecordData | FunctionMetricsInputRejectedRecordData | FunctionMetricsFindingWaiverAuditRecordData;
 export interface FunctionRecordCandidate {
     readonly data: FunctionMetricsFindingRecordData;
     readonly id: string;
@@ -32,6 +45,12 @@ export interface FunctionInputRejectedCandidate {
 }
 /** 为每个 rejected path 构造一条 area-aware、固定 non-blocking 的 Finding。 */
 export declare function buildFunctionInputRejectedCandidates(codeAreasByPath: ReadonlyMap<string, readonly string[]>): readonly FunctionInputRejectedCandidate[];
+export declare function functionMetricsFindingIdentity(candidate: FunctionRecordCandidate): FunctionMetricsFindingIdentity;
+export declare function functionMetricsWaiverIdentity(waiver: MaterializedFindingWaiver): FunctionMetricsFindingIdentity;
+/** 为一项未使用或过宽 waiver 构造 Check-owned audit Record。 */
+export declare function functionMetricsWaiverAuditRecord(audit: FindingWaiverRecordAudit): Readonly<{
+    readonly data: FunctionMetricsFindingWaiverAuditRecordData;
+    readonly id: string;
+}>;
 /** 为每个超过 matching-area 最严格阈值的 metric 构造 supplemental fact。 */
 export declare function buildFunctionRecordCandidates(analysis: FunctionMetricAnalysis, areas: readonly FunctionMetricsAreaInput[]): readonly FunctionRecordCandidate[] | undefined;
-export {};

package/types/package-checks/function-metrics/target-files.d.ts

@@ -1,3 +1,4 @@
-/** functionMetrics 默认 files.include 使用的 case-insensitive extension globs。 */
-export declare const LIZARD_SUPPORTED_FILE_GLOBS: readonly string[];
-export declare function isLizardTarget(filePath: string): boolean;
+/** functionMetrics default files.include uses the adapter's case-insensitive suffix capability. */
+export declare const FUNCTION_METRICS_SUPPORTED_FILE_GLOBS: readonly string[];
+/** Whether an exact project-relative path has a translated analyzer reader. */
+export declare function isFunctionMetricsTarget(filePath: string): boolean;

package/types/package-checks/host-environment/csv.d.ts

@@ -0,0 +1,2 @@
+/** Parses untrusted scanner CSV into a complete matrix of strings. */
+export declare function parseCsvRows(csv: string): string[][];

package/types/package-checks/host-environment/git.d.ts

@@ -1,10 +1,12 @@
-import type { ProcessResult, RunProcessSyncOptions } from "./process/command.ts";
+import type { ProcessResult, RunProcessSyncOptions } from "./process.ts";
 export type RunGitOptions = Omit<RunProcessSyncOptions, "command">;
 export type GitCommitOptions = {
     readonly cwd: string;
     readonly sha: string;
 };
 export declare function runGit(options: RunGitOptions): ProcessResult;
+/** Renders the actionable failure evidence shared by Git operation boundaries. */
+export declare function gitFailureDetail(result: ProcessResult): string;
 export declare function gitHeadSha(cwd: string): string | null;
 export declare function gitCommitDate(options: GitCommitOptions): string | null;
 export declare function gitCommitTitle(options: GitCommitOptions): string | null;

package/types/package-checks/host-environment/path.d.ts

@@ -1,3 +1 @@
-export declare function toSlashPath(filePath: string): string;
-/** 判断值是否已是跨平台可稳定发布的 project-root-relative slash path。 */
-export declare function isNormalizedProjectRelativePath(value: unknown): value is string;
+export { isNormalizedProjectRelativePath, toSlashPath } from "../../data-boundary/project-path.ts";

package/types/package-checks/host-environment/process/contract.d.ts

@@ -9,9 +9,12 @@ export interface ProcessFailure extends Error {
 }
 export type ProcessResult = {
     readonly error?: Error;
+    readonly isCanceled?: true;
+    readonly isMaxBuffer?: true;
     readonly signal: NodeJS.Signals | null;
     readonly status: number | null;
     readonly stderr: string;
+    readonly timedOut?: true;
     readonly stdout: string;
 };
 export type RunProcessSyncOptions = {
@@ -27,8 +30,11 @@ export type RunProcessSyncOptions = {
 };
 export type RunProcessOptions = {
     readonly args?: readonly string[];
+    readonly cancelSignal?: AbortSignal;
     readonly command: string;
     readonly cwd?: string | URL;
+    /** `false` uses only the supplied `env`; omission preserves Execa's inherited default. */
+    readonly extendEnv?: boolean;
     readonly env?: NodeJS.ProcessEnv;
     readonly label?: string;
     readonly maxBuffer?: number;
@@ -36,15 +42,17 @@ export type RunProcessOptions = {
     readonly windowsHide?: boolean;
 };
 export type ExecaResultLike = {
-    readonly code?: string;
-    readonly exitCode?: number;
-    readonly failed?: boolean;
-    readonly isMaxBuffer?: boolean;
-    readonly message?: string;
-    readonly originalMessage?: string;
-    readonly shortMessage?: string;
-    readonly signal?: NodeJS.Signals;
+    /** Execa's imported result types permit explicitly present `undefined` values. */
+    readonly code?: string | undefined;
+    readonly exitCode?: number | undefined;
+    readonly failed?: boolean | undefined;
+    readonly isCanceled?: boolean | undefined;
+    readonly isMaxBuffer?: boolean | undefined;
+    readonly message?: string | undefined;
+    readonly originalMessage?: string | undefined;
+    readonly shortMessage?: string | undefined;
+    readonly signal?: NodeJS.Signals | undefined;
     readonly stderr?: unknown;
     readonly stdout?: unknown;
-    readonly timedOut?: boolean;
+    readonly timedOut?: boolean | undefined;
 };

package/types/package-checks/host-environment/process.d.ts

@@ -0,0 +1,5 @@
+export { processFailure, processFailureFromResult, processFailed } from "./process/failure.ts";
+export { PLAIN_TEXT_PROCESS_ENV, plainTextProcessEnv } from "./process/env.ts";
+export { runProcess, runProcessSync } from "./process/runner.ts";
+export { DEFAULT_PROCESS_MAX_BUFFER_BYTES } from "./process/contract.ts";
+export type { ProcessFailure, ProcessResult, RunProcessOptions, RunProcessSyncOptions } from "./process/contract.ts";

package/types/package-checks/json-schema-validation/default-check.d.ts

@@ -1,4 +1,5 @@
 import { type TypedCheckWithOptions } from "../../check/check.ts";
+import { type PackageCheckIdentityInput } from "../check-authoring.ts";
 import { parseJsonSchemaValidationData } from "./final-data.ts";
 import type { JsonSchemaValidationOptions, ResolvedJsonSchemaValidationOptions } from "./options.ts";
 /**
@@ -8,4 +9,6 @@ import type { JsonSchemaValidationOptions, ResolvedJsonSchemaValidationOptions }
  * @returns 固定 `json-schema-validation` identity、完整冻结 options、parser 与执行逻辑。
  * @throws {TypeError} input 不符合 closed authoring policy、identity 或 binding 不变量时抛出。
  */
-export declare function jsonSchemaValidation(options?: JsonSchemaValidationOptions): TypedCheckWithOptions<"json-schema-validation", ResolvedJsonSchemaValidationOptions, typeof parseJsonSchemaValidationData>;
+export declare function jsonSchemaValidation(options?: JsonSchemaValidationOptions<"json-schema-validation">): TypedCheckWithOptions<"json-schema-validation", ResolvedJsonSchemaValidationOptions, typeof parseJsonSchemaValidationData>;
+export declare function jsonSchemaValidation<const Id extends string>(options: JsonSchemaValidationOptions<Id> & PackageCheckIdentityInput<Id>): TypedCheckWithOptions<Id, ResolvedJsonSchemaValidationOptions, typeof parseJsonSchemaValidationData>;
+export declare function jsonSchemaValidation(options: JsonSchemaValidationOptions): TypedCheckWithOptions<string, ResolvedJsonSchemaValidationOptions, typeof parseJsonSchemaValidationData>;

package/types/package-checks/json-schema-validation/final-data.d.ts

@@ -2,13 +2,21 @@
 export declare const MAX_REPORTED_JSON_SCHEMA_ISSUES = 100;
 /** `json-schema-validation` 在 passed/failed outcome 中发布的主数据。 */
 export interface JsonSchemaValidationFinalData {
+    /** Definition 中已声明的 binding 总数。 */
     readonly bindingCount: number;
+    /** 因所引用 schema 存在 document 或 compile issue 而未验证 instance 的 binding 数。 */
     readonly blockedBindingCount: number;
+    /** instance out-of-scope、document invalid 或不符合对应 schema 的 binding 数。 */
     readonly invalidBindingCount: number;
+    /** schema document、compile、instance 与 keyword issue 的总数。 */
     readonly issueCount: number;
+    /** 是否因发布上限而省略了一个或多个 issue Record。 */
     readonly issuesTruncated: boolean;
+    /** 实际发布为 Record 的 issue 数。 */
     readonly reportedIssueCount: number;
+    /** Definition 中声明的不同 schema identity 数。 */
     readonly schemaCount: number;
+    /** input 符合对应 schema 的 binding 数。 */
     readonly validBindingCount: number;
 }
 /** 验证计数与截断不变量并脱离 canonical final data。 */