@praneeth_54/agentdoctor 1.1.1 → 2.0.1

package/dist/assurance/change.d.ts

@@ -0,0 +1,211 @@
+export declare const EVIDENCE_SCHEMA_VERSION = "1.0.0";
+export type VerificationStatus = "not-run" | "partial" | "evidence-produced" | "failed" | "verified";
+export interface ChangeAssessment {
+    changeId: string;
+    schemaVersion: string;
+    agentDoctorVersion: string;
+    repository: {
+        root: string;
+        remote: string | null;
+        branch: string | null;
+    };
+    baseRevision: string | null;
+    targetRevision: string | null;
+    changedFiles: Array<{
+        path: string;
+        kind: string;
+    }>;
+    changedSymbols: string[];
+    /** Graph nodes / paths that call or import into changed symbols/files. */
+    callers: string[];
+    /** Graph targets called or imported from changed symbols/files. */
+    callees: string[];
+    /** Files that import changed files (reverse import deps). */
+    reverseDependencies: string[];
+    /** Workspace packages touched by changed files (from package.json workspaces when present). */
+    packageImpact: string[];
+    affectedComponents: string[];
+    dependencyImpact: {
+        status: "observed" | "unknown" | "heuristic";
+        relatedPaths: string[];
+        edgeCount: number;
+        limitations: string[];
+    };
+    architectureImpact: {
+        status: "inferred" | "unknown";
+        viewLevels: string[];
+        limitations: string[];
+    };
+    knowledgeReferences: Array<{
+        id: string;
+        title: string;
+        status: string;
+        authoritative: boolean;
+    }>;
+    securityFindings: {
+        secretFindingCount: number;
+        mode: "heuristic";
+        limitations: string[];
+    };
+    policyResults: Array<{
+        policyId: string;
+        decision: string;
+        reason: string;
+        subject: string;
+        action: string;
+        evidence: string;
+    }>;
+    testImpact: {
+        mode: "heuristic" | "coverage-backed";
+        recommendedTests: string[];
+        confidence: "low" | "medium" | "high";
+        limitations: string[];
+    };
+    evidence: {
+        directory: string | null;
+        files: string[];
+    };
+    verificationStatus: VerificationStatus;
+    limitations: string[];
+    createdAt: string;
+}
+export interface EvidenceManifest {
+    schemaVersion: string;
+    agentDoctorVersion: string;
+    changeId: string;
+    repositoryRoot: string;
+    baseRevision: string | null;
+    targetRevision: string | null;
+    createdAt: string;
+    files: Array<{
+        name: string;
+        sha256: string;
+    }>;
+    verificationStatus: VerificationStatus;
+}
+/**
+ * Derive callers / callees / reverse import deps from the intelligence graph
+ * for the given changed files and symbol ids. Honest: empty when graph lacks edges.
+ */
+export declare function deriveGraphChangeImpact(graph: {
+    nodes: Array<{
+        id: string;
+        kind: string;
+        label: string;
+        path?: string;
+    }>;
+    edges: Array<{
+        from: string;
+        to: string;
+        kind: string;
+    }>;
+}, changedFiles: Array<{
+    path: string;
+    kind: string;
+}>, changedSymbols: string[]): {
+    callers: string[];
+    callees: string[];
+    reverseDependencies: string[];
+};
+/**
+ * Map changed files onto package.json workspaces (string globs or packages/*).
+ * Returns [] when workspaces are absent — does not invent packages.
+ */
+export declare function derivePackageImpact(root: string, changedFiles: Array<{
+    path: string;
+}>): Promise<string[]>;
+/**
+ * Assemble a ChangeAssessment from existing AgentDoctor signals.
+ * Never sets verificationStatus to "verified" — that requires evidence verify.
+ */
+export declare function analyzeChange(options: {
+    root: string;
+    since?: string;
+    changeId?: string;
+    coveragePath?: string;
+}): Promise<ChangeAssessment>;
+/**
+ * Persist evidence bundle. Status becomes evidence-produced (not "verified").
+ * "verified" is reserved for evidence verify when artifact hashes match.
+ */
+export declare function verifyChange(options: {
+    root: string;
+    since?: string;
+    changeId?: string;
+    coveragePath?: string;
+}): Promise<{
+    assessment: ChangeAssessment;
+    manifest: EvidenceManifest;
+}>;
+/**
+ * Human-readable explanation of a ChangeAssessment (does not claim correctness).
+ */
+export declare function explainChange(assessment: ChangeAssessment): string;
+/**
+ * Summarize base/target file diffs from git for a change.
+ */
+export declare function diffChange(options: {
+    root: string;
+    since?: string;
+    changeId?: string;
+}): Promise<{
+    changeId: string | null;
+    baseRevision: string | null;
+    targetRevision: string | null;
+    files: Array<{
+        path: string;
+        kind: string;
+    }>;
+    summary: {
+        added: number;
+        modified: number;
+        deleted: number;
+        renamed: number;
+        untracked: number;
+    };
+    stat: string | null;
+    limitations: string[];
+}>;
+/**
+ * Verification / evidence status for latest evidence or a specific change id.
+ */
+export declare function changeStatus(options: {
+    root: string;
+    changeId?: string;
+}): Promise<{
+    changeId: string | null;
+    evidenceDirectory: string | null;
+    verificationStatus: VerificationStatus;
+    evidencePresent: boolean;
+    proofPresent: boolean;
+    proofId: string | null;
+    integrityNote: string;
+    files: string[];
+}>;
+export declare function inspectEvidence(options: {
+    root: string;
+    changeId: string;
+}): Promise<{
+    ok: boolean;
+    directory: string;
+    manifest: EvidenceManifest | null;
+    presentFiles: string[];
+    error?: string;
+}>;
+/**
+ * Hash-check evidence bundle. Returns "verified" only when all listed files match.
+ */
+export declare function verifyEvidence(options: {
+    root: string;
+    changeId: string;
+}): Promise<{
+    ok: boolean;
+    verificationStatus: VerificationStatus;
+    checked: Array<{
+        name: string;
+        match: boolean;
+        expected?: string;
+        actual?: string;
+    }>;
+    error?: string;
+}>;