@getripple/core 1.0.4

package/dist/staged-check.d.ts

@@ -0,0 +1,96 @@
+import { ContextPlanAdapterSignal, FileFocusSummary, GraphEngine } from "./graph";
+import { SymbolNode } from "./types";
+import type { RippleAdapterDetectionSummary } from "./adapters";
+export type StagedCheckChangedLineRange = {
+    start: number;
+    end: number;
+    lineCount: number;
+};
+export type StagedCheckSymbolChangeKind = "implementation" | "signature-or-contract" | "return-shape-review";
+export type StagedCheckSymbolContractRisk = "none" | "review" | "high";
+export type StagedCheckSymbolStatus = "created" | "modified";
+export type StagedCheckChangedSymbol = {
+    symbol: string;
+    file: string;
+    name: string;
+    kind: SymbolNode["kind"];
+    layer: SymbolNode["layer"];
+    exported: boolean;
+    callers: number;
+    calls: number;
+    symbolStatus: StagedCheckSymbolStatus;
+    changeKind: StagedCheckSymbolChangeKind;
+    contractRisk: StagedCheckSymbolContractRisk;
+    signatureTouched: boolean;
+    signatureChanged: boolean;
+    contractChanged: boolean;
+    returnLineChanged: boolean;
+    changedLines: number[];
+    lineRange: {
+        start: number;
+        end: number;
+    };
+    reason: string;
+    adapterSignals: ContextPlanAdapterSignal[];
+};
+export type StagedCheckContractRisk = {
+    file: string;
+    symbol: string;
+    risk: Exclude<StagedCheckSymbolContractRisk, "none">;
+    reason: string;
+    callers: number;
+    exported: boolean;
+    verificationTargets: string[];
+    adapterSignals: ContextPlanAdapterSignal[];
+};
+export type StagedCheckFileSummary = {
+    file: string;
+    focus: string;
+    modificationRisk: FileFocusSummary["modificationRisk"];
+    importerCount: number;
+    symbolCount: number;
+    changedLineRanges: StagedCheckChangedLineRange[];
+    changedSymbols: StagedCheckChangedSymbol[];
+    contractRisks: StagedCheckContractRisk[];
+    readFirst: string[];
+    symbolFocus: string[];
+    verificationTargets: string[];
+    adapterSignals: ContextPlanAdapterSignal[];
+};
+export type StagedCheckAgentActions = {
+    trustedFindings: string[];
+    verifyBeforeCommit: string[];
+    manualReviewRequired: string[];
+};
+export type StagedCheckSummary = {
+    workspace: string;
+    mode: "staged" | "changed";
+    baseRef?: string;
+    stagedFiles: number;
+    checkedFiles: number;
+    skippedFiles: string[];
+    missingFiles: string[];
+    highestRisk: FileFocusSummary["modificationRisk"] | "none";
+    requiresAttention: boolean;
+    adapterSupport: RippleAdapterDetectionSummary;
+    agentActions: StagedCheckAgentActions;
+    changedSymbols: StagedCheckChangedSymbol[];
+    contractRisks: StagedCheckContractRisk[];
+    files: StagedCheckFileSummary[];
+};
+export type BuildStagedCheckSummaryOptions = {
+    workspaceRoot: string;
+    stagedFiles: string[];
+    mode?: "staged" | "changed";
+    baseRef?: string;
+    stagedDiff?: string;
+    task?: string;
+    tokenBudget?: number;
+};
+export declare function isRippleSourceFile(filePath: string): boolean;
+export declare function listGitStagedFiles(workspaceRoot: string): string[];
+export declare function listGitStagedDiff(workspaceRoot: string): string;
+export declare function listGitChangedFiles(workspaceRoot: string, baseRef: string): string[];
+export declare function listGitChangedDiff(workspaceRoot: string, baseRef: string): string;
+export declare function buildStagedCheckSummary(engine: GraphEngine, options: BuildStagedCheckSummaryOptions): StagedCheckSummary;
+export declare function highestStagedRisk(files: StagedCheckFileSummary[]): FileFocusSummary["modificationRisk"] | "none";