audit-tools 0.52.5 → 0.54.0

package/dist/remediate/contractPipeline/testPlanCarry.js

@@ -1,72 +0,0 @@
-/**
- * Diff-carry for the test-validator plan (C3).
- *
- * Friction: the test-plan is re-derived whole whenever the obligation ledger
- * re-stales (e.g. a repair round changes a module contract). The host then
- * re-authors EVERY spec's assertions — even for obligations whose premise did
- * not change at all.
- *
- * Fix: when a test-plan is ingested, snapshot each authored spec's identity
- * (`name` + `scope_anchors`) plus its assertions, keyed by obligation_id. On a
- * later re-emit, the scaffold pre-fills assertions for every obligation whose
- * premise is unchanged (see `buildTestValidatorPlanScaffold`), so the host only
- * authors the genuinely new/changed specs. Enforced by the tool (the re-emitted
- * skeleton carries the assertions), never left to the host to remember.
- */
-import { mkdir } from "node:fs/promises";
-import { join } from "node:path";
-import { discardOnSchemaVersionMismatch, isRecord, readOptionalJsonFile, writeJsonFile, } from "audit-tools/shared";
-import { contractPipelineDir } from "./artifactStore.js";
-const CARRY_SCHEMA_VERSION = "remediate-code-contract-pipeline/test-plan-carry/v1alpha1";
-export function testPlanCarryPath(artifactsDir) {
-    return join(contractPipelineDir(artifactsDir), "test-plan-carry.json");
-}
-function asStringArray(value) {
-    return Array.isArray(value)
-        ? value.filter((x) => typeof x === "string")
-        : [];
-}
-/**
- * Snapshot a freshly-ingested test-plan's authored specs (identity + assertions)
- * keyed by obligation_id, overwriting any prior snapshot. Only specs with at
- * least one assertion are carried (an `inapplicable_claim` spec re-authors).
- */
-export async function captureTestPlanCarry(artifactsDir, payload, capturedAt) {
-    const specsArray = isRecord(payload) ? payload.test_specs : undefined;
-    if (!Array.isArray(specsArray))
-        return;
-    const specs = {};
-    for (const raw of specsArray) {
-        if (!isRecord(raw))
-            continue;
-        const id = typeof raw.obligation_id === "string" ? raw.obligation_id : "";
-        const name = typeof raw.name === "string" ? raw.name : "";
-        const assertions = asStringArray(raw.assertions);
-        if (!id || assertions.length === 0)
-            continue;
-        specs[id] = {
-            name,
-            scope_anchors: asStringArray(raw.scope_anchors),
-            assertions,
-        };
-    }
-    const carry = {
-        schema_version: CARRY_SCHEMA_VERSION,
-        captured_at: capturedAt,
-        specs,
-    };
-    await mkdir(contractPipelineDir(artifactsDir), { recursive: true });
-    await writeJsonFile(testPlanCarryPath(artifactsDir), carry);
-}
-/**
- * Read the carried prior specs keyed by obligation_id; empty when none.
- *
- * The carry is REGENERABLE state — a carry from another schema version is
- * discarded rather than reinterpreted, which costs one re-authoring of the
- * affected specs and is the same fail-shape as an absent file (below).
- */
-export async function readTestPlanCarry(artifactsDir) {
-    const carry = discardOnSchemaVersionMismatch(await readOptionalJsonFile(testPlanCarryPath(artifactsDir)), CARRY_SCHEMA_VERSION);
-    return carry?.specs ?? {};
-}
-//# sourceMappingURL=testPlanCarry.js.map

package/dist/remediate/contractPipeline/testPlanCarry.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"testPlanCarry.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/testPlanCarry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,QAAQ,EACR,oBAAoB,EACpB,aAAa,GACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAGzD,MAAM,oBAAoB,GACxB,2DAAoE,CAAC;AAUvE,MAAM,UAAU,iBAAiB,CAAC,YAAoB;IACpD,OAAO,IAAI,CAAC,mBAAmB,CAAC,YAAY,CAAC,EAAE,sBAAsB,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QACzD,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,YAAoB,EACpB,OAAgB,EAChB,UAAkB;IAElB,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO;IACvC,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QAC7B,MAAM,EAAE,GAAG,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjD,IAAI,CAAC,EAAE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7C,KAAK,CAAC,EAAE,CAAC,GAAG;YACV,IAAI;YACJ,aAAa,EAAE,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC;YAC/C,UAAU;SACX,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAkB;QAC3B,cAAc,EAAE,oBAAoB;QACpC,WAAW,EAAE,UAAU;QACvB,KAAK;KACN,CAAC;IACF,MAAM,KAAK,CAAC,mBAAmB,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACpE,MAAM,aAAa,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,YAAoB;IAEpB,MAAM,KAAK,GAAG,8BAA8B,CAC1C,MAAM,oBAAoB,CAAgB,iBAAiB,CAAC,YAAY,CAAC,CAAC,EAC1E,oBAAoB,CACrB,CAAC;IACF,OAAO,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC;AAC5B,CAAC"}

package/dist/remediate/steps/dispatch/marshal.d.ts

@@ -1,7 +0,0 @@
-/**
- * Read the planning pipeline's handoff artifact when it exists. Implementation
- * execution no longer has a second dispatch-plan marshalling layer: the only
- * production implementation boundary is hostHandoff.ts.
- */
-export declare function readExtractedPlanIfPresent(artifactsDir: string): Promise<unknown | undefined>;
-//# sourceMappingURL=marshal.d.ts.map

package/dist/remediate/steps/dispatch/marshal.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"marshal.d.ts","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/marshal.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AACH,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC,CAE9B"}

package/dist/remediate/steps/dispatch/marshal.js

@@ -1,11 +0,0 @@
-import { join } from "node:path";
-import { readOptionalJsonFile } from "audit-tools/shared";
-/**
- * Read the planning pipeline's handoff artifact when it exists. Implementation
- * execution no longer has a second dispatch-plan marshalling layer: the only
- * production implementation boundary is hostHandoff.ts.
- */
-export async function readExtractedPlanIfPresent(artifactsDir) {
-    return readOptionalJsonFile(join(artifactsDir, "extracted-plan.json"));
-}
-//# sourceMappingURL=marshal.js.map

package/dist/remediate/steps/dispatch/marshal.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"marshal.js","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/marshal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAE1D;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,YAAoB;IAEpB,OAAO,oBAAoB,CAAC,IAAI,CAAC,YAAY,EAAE,qBAAqB,CAAC,CAAC,CAAC;AACzE,CAAC"}

package/dist/remediate/validation/contractPipeline.d.ts

@@ -1,35 +0,0 @@
-/**
- * Validation helpers for contract-pipeline artifacts.
- * Follows the ValidationIssue[] pattern used by the rest of the remediator
- * validation layer.
- */
-import { type ValidationIssue } from "audit-tools/shared";
-import type { ContractPipelineArtifactName } from "../contractPipeline/artifactStore.js";
-export declare const CP_CYCLIC_SEAM_RESOLUTION_VERSION: "remediate-code-contract-pipeline/cyclic-seam-resolution/v1alpha1";
-export declare const CP_MODULE_DECOMPOSITION_VERSION: "remediate-code-contract-pipeline/module-decomposition/v1alpha1";
-export declare const CP_MODULE_CONTRACTS_VERSION: "remediate-code-contract-pipeline/module-contracts/v1alpha1";
-export declare const CP_SEAM_RECONCILIATION_REPORT_VERSION: "remediate-code-contract-pipeline/seam-reconciliation-report/v1alpha1";
-export declare const CP_FINALIZED_MODULE_CONTRACTS_VERSION: "remediate-code-contract-pipeline/finalized-module-contracts/v1alpha1";
-export declare function validateGoalSpec(value: unknown, path?: string): ValidationIssue[];
-export declare function validateContextBundle(value: unknown, path?: string): ValidationIssue[];
-export declare function validateModuleDecomposition(value: unknown, path?: string): ValidationIssue[];
-export declare function validateModuleContracts(value: unknown, path?: string): ValidationIssue[];
-export declare function validateSeamReconciliationReport(value: unknown, path?: string): ValidationIssue[];
-export declare function validateFinalizedModuleContracts(value: unknown, path?: string): ValidationIssue[];
-export { validateDesignSpecGates, validateGoalIdConsistency, validateImplementationDAGIntegrity, validatePairedObligations, validateEvidenceThreaded, validateDigestCoverage, validateWorkBlockSeamPreparation, validateReconciliationDerivation, validateContractCitationGrounding, validateDecompositionFileScope, validateFinalizedModuleSetPreserved, enumerateRepoTreePaths, isInsideGitWorkTree, type ContractCitationGroundingResult, type ContractPipelineCrossGateInputs, } from "./contractPipelineGates.js";
-export declare function validateConceptualDesignCritique(value: unknown, path?: string): ValidationIssue[];
-export declare function validateObligationLedger(value: unknown, path?: string): ValidationIssue[];
-export declare function validateTestValidatorPlan(value: unknown, path?: string): ValidationIssue[];
-export declare function validateContractAssessmentReport(value: unknown, path?: string): ValidationIssue[];
-export declare function validateCounterexample(value: unknown, path?: string): ValidationIssue[];
-export declare function validateJudgeReport(value: unknown, path?: string): ValidationIssue[];
-export declare function validateImplementationDAG(value: unknown, path?: string): ValidationIssue[];
-export declare function validateVerificationReport(value: unknown, path?: string): ValidationIssue[];
-export declare function validateCyclicSeamResolution(value: unknown, path?: string): ValidationIssue[];
-/**
- * One validator per contract-pipeline artifact payload. Used by the driver's
- * ingestion pass (worker-written raw payloads are untrusted until validated)
- * and by the artifacts validation sweep.
- */
-export declare const CONTRACT_PIPELINE_VALIDATORS: Record<ContractPipelineArtifactName, (value: unknown, path: string) => ValidationIssue[]>;
-//# sourceMappingURL=contractPipeline.d.ts.map

package/dist/remediate/validation/contractPipeline.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"contractPipeline.d.ts","sourceRoot":"","sources":["../../../src/remediate/validation/contractPipeline.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AACH,OAAO,EACL,KAAK,eAAe,EAIrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AA0CzF,eAAO,MAAM,iCAAiC,EAC5C,kEAA2E,CAAC;AAG9E,eAAO,MAAM,+BAA+B,EAC1C,gEAAyE,CAAC;AAC5E,eAAO,MAAM,2BAA2B,EACtC,4DAAqE,CAAC;AACxE,eAAO,MAAM,qCAAqC,EAChD,sEAA+E,CAAC;AAClF,eAAO,MAAM,qCAAqC,EAChD,sEAA+E,CAAC;AAyElF,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,OAAO,EACd,IAAI,SAAc,GACjB,eAAe,EAAE,CAUnB;AAID,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,IAAI,SAAmB,GACtB,eAAe,EAAE,CAoBnB;AAID,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,OAAO,EACd,IAAI,SAAyB,GAC5B,eAAe,EAAE,CAiCnB;AAcD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,OAAO,EACd,IAAI,SAAqB,GACxB,eAAe,EAAE,CAiBnB;AAID,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAA+B,GAClC,eAAe,EAAE,CAuCnB;AAID,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAA+B,GAClC,eAAe,EAAE,CAkCnB;AAOD,OAAO,EACL,uBAAuB,EACvB,yBAAyB,EACzB,kCAAkC,EAClC,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,gCAAgC,EAChC,gCAAgC,EAChC,iCAAiC,EACjC,8BAA8B,EAC9B,mCAAmC,EACnC,sBAAsB,EACtB,mBAAmB,EACnB,KAAK,+BAA+B,EACpC,KAAK,+BAA+B,GACrC,MAAM,4BAA4B,CAAC;AAIpC,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAA+B,GAClC,eAAe,EAAE,CAwBnB;AAID,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,OAAO,EACd,IAAI,SAAsB,GACzB,eAAe,EAAE,CAqBnB;AAID,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,OAAO,EACd,IAAI,SAAwB,GAC3B,eAAe,EAAE,CAwDnB;AAID,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAA+B,GAClC,eAAe,EAAE,CAqBnB;AAID,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,OAAO,EACd,IAAI,SAAmB,GACtB,eAAe,EAAE,CAoBnB;AAID,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,OAAO,EACd,IAAI,SAAiB,GACpB,eAAe,EAAE,CAgDnB;AAID,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,OAAO,EACd,IAAI,SAAuB,GAC1B,eAAe,EAAE,CAyGnB;AAID,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,OAAO,EACd,IAAI,SAAwB,GAC3B,eAAe,EAAE,CAwCnB;AAID,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,OAAO,EACd,IAAI,SAA2B,GAC9B,eAAe,EAAE,CAyCnB;AAID;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,EAAE,MAAM,CAC/C,4BAA4B,EAC5B,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,KAAK,eAAe,EAAE,CAiBpD,CAAC"}