taphound 0.2.0-dev.1 → 0.2.0-dev.11

package/dist/application/contract/contract-verifier.d.ts

@@ -0,0 +1,53 @@
+import type { TapHoundConfig } from "../../domain/config.js";
+import { type ContractVerdictView } from "../../domain/contract.js";
+import type { DeviceAssignment } from "../devices/resolve-device-assignments.js";
+import type { LoadedKnowledgeBundle } from "../../ports/knowledge-registry.js";
+import type { VerifyInput, VerifyResult } from "../runtime/verify-runtime.js";
+export interface ContractVerifyInput {
+    projectRoot: string;
+    config: TapHoundConfig;
+    devices: DeviceAssignment[];
+    toolVersions: Record<string, string>;
+    taphoundVersion?: string | undefined;
+    contractPath: string;
+    manualReplay?: boolean | undefined;
+    generatedReplayPolicy?: boolean | undefined;
+    requireFocusedInput?: boolean | undefined;
+    signal?: AbortSignal | undefined;
+}
+export interface ContractVerifierDependencies {
+    verify: (input: VerifyInput) => Promise<VerifyResult>;
+    loadKnowledge?: ((input: {
+        projectRoot: string;
+        packageName: string;
+    }) => Promise<LoadedKnowledgeBundle>) | undefined;
+    readText: (path: string) => Promise<string>;
+    writeVerdict?: ((input: {
+        reportPath: string;
+        verdict: ContractVerdictView;
+    }) => Promise<void>) | undefined;
+    now: () => Date;
+}
+export interface ContractVerifyResult {
+    view: ContractVerdictView;
+    exitCode: 0 | 1 | 2 | 3 | 4;
+}
+export declare class ContractVerifier {
+    private readonly dependencies;
+    private readonly loader;
+    private readonly detector;
+    constructor(dependencies: ContractVerifierDependencies);
+    readonly verify: (input: ContractVerifyInput) => Promise<ContractVerifyResult>;
+    private readonly invalidView;
+    private readonly evaluatePreconditions;
+    private readonly assessPrecondition;
+    private readonly evaluateAssertions;
+    private readonly assessAssertion;
+    private readonly checkActivity;
+    private readonly checkAnchor;
+    private readonly checkScreen;
+    private readonly buildRuntimeSnapshot;
+    private readonly checkElement;
+    private readonly checkEvidence;
+    private readonly withNotRun;
+}