vdelta 0.1.0

package/dist/store.d.ts

@@ -0,0 +1,38 @@
+import { type RunRecord } from './schema.js';
+export declare class StoreCorruptError extends Error {
+    constructor(message: string);
+}
+export declare class LockHeldError extends Error {
+    constructor();
+}
+/** run_id = content address of the record excluding the recording group (§3.5). */
+export declare function computeRunId(record: RunRecord): string;
+export declare class RunStore {
+    readonly dir: string;
+    constructor(worktreeRoot: string);
+    private get runsDir();
+    private get indexPath();
+    private get lastPath();
+    private get lockPath();
+    ensure(): void;
+    /** Advisory lock via mkdir; throws LockHeldError when already held (fail-open at the caller, INV-5). */
+    acquireLock(): void;
+    releaseLock(): void;
+    /**
+     * Persist a record. Atomic (tmp+rename). Content-identical re-records are
+     * idempotent: no duplicate index line, no rewrite of the immutable record.
+     */
+    writeRun(record: RunRecord): {
+        runId: string;
+        isNew: boolean;
+    };
+    /** Insertion-ordered run ids, oldest first, de-duplicated (§4.3 floor). */
+    listRunIds(): string[];
+    lastRunId(): string | null;
+    /** Resolve a possibly-prefixed run id to a stored full id (§3.5 MAY). */
+    resolveRunId(idOrPrefix: string): string | null;
+    /** Read and validate a record; parse/validation failures are store corruption. */
+    readRun(runId: string): RunRecord;
+    /** INV-10: recompute the content address and compare with the stored id. */
+    verifyIntegrity(runId: string): boolean;
+}

package/dist/store.js

@@ -0,0 +1,161 @@
+/**
+ * Content-addressed run store (spec §4): immutable records, atomic writes,
+ * fail-open advisory lock, enforced gitignore. Recency is store insertion
+ * order (the append-only index), never timestamps (§7.8).
+ */
+import { appendFileSync, existsSync, mkdirSync, readFileSync, readdirSync, renameSync, rmdirSync, writeFileSync, } from 'node:fs';
+import { join } from 'node:path';
+import { randomUUID } from 'node:crypto';
+import { canonicalJson } from './canonical.js';
+import { sha256Hex } from './digest.js';
+import { parseRunRecord } from './schema.js';
+export class StoreCorruptError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'StoreCorruptError';
+    }
+}
+export class LockHeldError extends Error {
+    constructor() {
+        super('advisory lock is held');
+        this.name = 'LockHeldError';
+    }
+}
+const RUN_ID_RE = /^run_[0-9a-f]{64}$/;
+/** run_id = content address of the record excluding the recording group (§3.5). */
+export function computeRunId(record) {
+    const { recording: _recording, ...addressed } = record;
+    return `run_${sha256Hex(canonicalJson(addressed))}`;
+}
+export class RunStore {
+    dir;
+    constructor(worktreeRoot) {
+        this.dir = join(worktreeRoot, '.veridelta');
+    }
+    get runsDir() {
+        return join(this.dir, 'runs');
+    }
+    get indexPath() {
+        return join(this.dir, 'index');
+    }
+    get lastPath() {
+        return join(this.dir, 'last');
+    }
+    get lockPath() {
+        return join(this.dir, 'lock');
+    }
+    ensure() {
+        mkdirSync(this.runsDir, { recursive: true });
+        const gi = join(this.dir, '.gitignore');
+        if (!existsSync(gi))
+            writeFileSync(gi, '*\n');
+    }
+    /** Advisory lock via mkdir; throws LockHeldError when already held (fail-open at the caller, INV-5). */
+    acquireLock() {
+        try {
+            mkdirSync(this.lockPath);
+        }
+        catch {
+            throw new LockHeldError();
+        }
+    }
+    releaseLock() {
+        try {
+            rmdirSync(this.lockPath);
+        }
+        catch {
+            // releasing a lock we no longer hold is not an error path worth failing on
+        }
+    }
+    /**
+     * Persist a record. Atomic (tmp+rename). Content-identical re-records are
+     * idempotent: no duplicate index line, no rewrite of the immutable record.
+     */
+    writeRun(record) {
+        const runId = computeRunId(record);
+        const path = join(this.runsDir, `${runId}.json`);
+        const isNew = !existsSync(path);
+        if (isNew) {
+            const tmp = join(this.runsDir, `.tmp-${randomUUID()}`);
+            writeFileSync(tmp, `${JSON.stringify(record, null, 1)}\n`);
+            renameSync(tmp, path);
+            appendFileSync(this.indexPath, `${runId}\n`);
+        }
+        const tmpLast = join(this.dir, `.tmp-last-${randomUUID()}`);
+        writeFileSync(tmpLast, `${runId}\n`);
+        renameSync(tmpLast, this.lastPath);
+        return { runId, isNew };
+    }
+    /** Insertion-ordered run ids, oldest first, de-duplicated (§4.3 floor). */
+    listRunIds() {
+        if (!existsSync(this.indexPath))
+            return [];
+        let raw;
+        try {
+            raw = readFileSync(this.indexPath, 'utf8');
+        }
+        catch {
+            throw new StoreCorruptError('index unreadable');
+        }
+        const seen = new Set();
+        const out = [];
+        for (const line of raw.split('\n')) {
+            const id = line.trim();
+            if (id === '')
+                continue;
+            if (!RUN_ID_RE.test(id))
+                throw new StoreCorruptError(`malformed index line: ${id}`);
+            if (!seen.has(id)) {
+                seen.add(id);
+                out.push(id);
+            }
+        }
+        return out;
+    }
+    lastRunId() {
+        if (!existsSync(this.lastPath))
+            return null;
+        const id = readFileSync(this.lastPath, 'utf8').trim();
+        if (!RUN_ID_RE.test(id))
+            throw new StoreCorruptError(`malformed last pointer: ${id}`);
+        return id;
+    }
+    /** Resolve a possibly-prefixed run id to a stored full id (§3.5 MAY). */
+    resolveRunId(idOrPrefix) {
+        if (RUN_ID_RE.test(idOrPrefix)) {
+            return existsSync(join(this.runsDir, `${idOrPrefix}.json`)) ? idOrPrefix : null;
+        }
+        if (!existsSync(this.runsDir))
+            return null;
+        const matches = readdirSync(this.runsDir)
+            .filter((f) => f.endsWith('.json') && f.startsWith(idOrPrefix))
+            .map((f) => f.slice(0, -'.json'.length))
+            .filter((f) => RUN_ID_RE.test(f));
+        return matches.length === 1 ? (matches[0] ?? null) : null;
+    }
+    /** Read and validate a record; parse/validation failures are store corruption. */
+    readRun(runId) {
+        const path = join(this.runsDir, `${runId}.json`);
+        let raw;
+        try {
+            raw = readFileSync(path, 'utf8');
+        }
+        catch {
+            throw new StoreCorruptError(`run record missing: ${runId}`);
+        }
+        let parsed;
+        try {
+            parsed = JSON.parse(raw);
+        }
+        catch {
+            throw new StoreCorruptError(`run record unparseable: ${runId}`);
+        }
+        return parseRunRecord(parsed);
+    }
+    /** INV-10: recompute the content address and compare with the stored id. */
+    verifyIntegrity(runId) {
+        const record = this.readRun(runId);
+        return computeRunId(record) === runId;
+    }
+}
+//# sourceMappingURL=store.js.map

package/dist/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../src/store.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EACL,cAAc,EACd,UAAU,EACV,SAAS,EACT,YAAY,EACZ,WAAW,EACX,UAAU,EACV,SAAS,EACT,aAAa,GACd,MAAM,SAAS,CAAA;AAChB,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AACvC,OAAO,EAAE,cAAc,EAAkB,MAAM,aAAa,CAAA;AAE5D,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAA;IACjC,CAAC;CACF;AAED,MAAM,OAAO,aAAc,SAAQ,KAAK;IACtC;QACE,KAAK,CAAC,uBAAuB,CAAC,CAAA;QAC9B,IAAI,CAAC,IAAI,GAAG,eAAe,CAAA;IAC7B,CAAC;CACF;AAED,MAAM,SAAS,GAAG,oBAAoB,CAAA;AAEtC,mFAAmF;AACnF,MAAM,UAAU,YAAY,CAAC,MAAiB;IAC5C,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,SAAS,EAAE,GAAG,MAAM,CAAA;IACtD,OAAO,OAAO,SAAS,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,CAAA;AACrD,CAAC;AAED,MAAM,OAAO,QAAQ;IACV,GAAG,CAAQ;IAEpB,YAAY,YAAoB;QAC9B,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,YAAY,CAAC,CAAA;IAC7C,CAAC;IAED,IAAY,OAAO;QACjB,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IAC/B,CAAC;IAED,IAAY,SAAS;QACnB,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IAChC,CAAC;IAED,IAAY,QAAQ;QAClB,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IAC/B,CAAC;IAED,IAAY,QAAQ;QAClB,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IAC/B,CAAC;IAED,MAAM;QACJ,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;QAC5C,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAA;QACvC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAAE,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;IAC/C,CAAC;IAED,wGAAwG;IACxG,WAAW;QACT,IAAI,CAAC;YACH,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC1B,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,aAAa,EAAE,CAAA;QAC3B,CAAC;IACH,CAAC;IAED,WAAW;QACT,IAAI,CAAC;YACH,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC1B,CAAC;QAAC,MAAM,CAAC;YACP,2EAA2E;QAC7E,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,QAAQ,CAAC,MAAiB;QACxB,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAA;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,KAAK,OAAO,CAAC,CAAA;QAChD,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;QAC/B,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,UAAU,EAAE,EAAE,CAAC,CAAA;YACtD,aAAa,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;YAC1D,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;YACrB,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,KAAK,IAAI,CAAC,CAAA;QAC9C,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,UAAU,EAAE,EAAE,CAAC,CAAA;QAC3D,aAAa,CAAC,OAAO,EAAE,GAAG,KAAK,IAAI,CAAC,CAAA;QACpC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;QAClC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;IACzB,CAAC;IAED,2EAA2E;IAC3E,UAAU;QACR,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;YAAE,OAAO,EAAE,CAAA;QAC1C,IAAI,GAAW,CAAA;QACf,IAAI,CAAC;YACH,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;QAC5C,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,iBAAiB,CAAC,kBAAkB,CAAC,CAAA;QACjD,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,MAAM,GAAG,GAAa,EAAE,CAAA;QACxB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;YACtB,IAAI,EAAE,KAAK,EAAE;gBAAE,SAAQ;YACvB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,MAAM,IAAI,iBAAiB,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAA;YACnF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBACZ,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACd,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,SAAS;QACP,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAA;QAC3C,MAAM,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAA;QACrD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,iBAAiB,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAA;QACrF,OAAO,EAAE,CAAA;IACX,CAAC;IAED,yEAAyE;IACzE,YAAY,CAAC,UAAkB;QAC7B,IAAI,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/B,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,UAAU,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAA;QACjF,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAA;QAC1C,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;aACtC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;aAC9D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;aACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QACnC,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAC3D,CAAC;IAED,kFAAkF;IAClF,OAAO,CAAC,KAAa;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,KAAK,OAAO,CAAC,CAAA;QAChD,IAAI,GAAW,CAAA;QACf,IAAI,CAAC;YACH,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,iBAAiB,CAAC,uBAAuB,KAAK,EAAE,CAAC,CAAA;QAC7D,CAAC;QACD,IAAI,MAAe,CAAA;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QAC1B,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,iBAAiB,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAA;QACjE,CAAC;QACD,OAAO,cAAc,CAAC,MAAM,CAAC,CAAA;IAC/B,CAAC;IAED,4EAA4E;IAC5E,eAAe,CAAC,KAAa;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAClC,OAAO,YAAY,CAAC,MAAM,CAAC,KAAK,KAAK,CAAA;IACvC,CAAC;CACF"}

package/dist/tree-digest.d.ts

@@ -0,0 +1,11 @@
+export declare function treeDigest(worktree: string): Promise<string>;
+export declare function gitHead(worktree: string): Promise<string | null>;
+export declare function gitBranch(worktree: string): Promise<string>;
+export declare function gitRepoRoot(dir: string): Promise<string | null>;
+/** Resolve a ref to {commitSha, treeOid}; null when unresolvable. */
+export declare function resolveRef(worktree: string, ref: string): Promise<{
+    commit: string;
+    tree: string;
+} | null>;
+/** Deterministic digest material for the dirty state (status + diff vs HEAD). */
+export declare function dirtyDiffMaterial(worktree: string): Promise<string>;

package/dist/tree-digest.js

@@ -0,0 +1,103 @@
+/**
+ * tree_digest (spec §3.5, algorithm proven in
+ * claudedocs/2026-07-16-expA-tree-digest.md, ported verbatim):
+ * a git tree object id over tracked+staged+unstaged+untracked files,
+ * excluding committed-gitignore'd paths, computed against a dedicated
+ * throwaway index seeded from HEAD, with host-dependent git settings pinned.
+ * Rendered as a bare 40-hex OID (documented deviation from sha256:).
+ */
+import { execFile } from 'node:child_process';
+import { promisify } from 'node:util';
+import { randomUUID } from 'node:crypto';
+import { rm } from 'node:fs/promises';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+const execFileP = promisify(execFile);
+const PIN = [
+    '-c', 'core.autocrlf=false',
+    '-c', 'core.eol=lf',
+    '-c', 'core.excludesFile=/dev/null',
+    '-c', 'advice.addEmbeddedRepo=false',
+];
+async function git(worktree, args, env) {
+    const { stdout } = await execFileP('git', [...PIN, '-C', worktree, ...args], {
+        env: { ...process.env, ...env },
+        maxBuffer: 64 * 1024 * 1024,
+    });
+    return stdout.trim();
+}
+export async function treeDigest(worktree) {
+    const idx = join(tmpdir(), `vd-idx-${randomUUID()}`);
+    const idxEnv = { GIT_INDEX_FILE: idx };
+    try {
+        let hasHead = true;
+        try {
+            await git(worktree, ['rev-parse', '--verify', '-q', 'HEAD']);
+        }
+        catch {
+            hasHead = false;
+        }
+        if (hasHead) {
+            await git(worktree, ['read-tree', 'HEAD'], idxEnv);
+        }
+        else {
+            await git(worktree, ['read-tree', '--empty'], idxEnv);
+        }
+        await git(worktree, ['add', '-A'], idxEnv);
+        return await git(worktree, ['write-tree'], idxEnv);
+    }
+    finally {
+        await rm(idx, { force: true });
+    }
+}
+export async function gitHead(worktree) {
+    try {
+        return await git(worktree, ['rev-parse', 'HEAD']);
+    }
+    catch {
+        return null;
+    }
+}
+export async function gitBranch(worktree) {
+    try {
+        const b = await git(worktree, ['symbolic-ref', '--short', '-q', 'HEAD']);
+        return b === '' ? 'DETACHED' : b;
+    }
+    catch {
+        return 'DETACHED';
+    }
+}
+export async function gitRepoRoot(dir) {
+    try {
+        return await git(dir, ['rev-parse', '--show-toplevel']);
+    }
+    catch {
+        return null;
+    }
+}
+/** Resolve a ref to {commitSha, treeOid}; null when unresolvable. */
+export async function resolveRef(worktree, ref) {
+    try {
+        const commit = await git(worktree, ['rev-parse', '--verify', `${ref}^{commit}`]);
+        const tree = await git(worktree, ['rev-parse', '--verify', `${ref}^{tree}`]);
+        return { commit, tree };
+    }
+    catch {
+        return null;
+    }
+}
+/** Deterministic digest material for the dirty state (status + diff vs HEAD). */
+export async function dirtyDiffMaterial(worktree) {
+    try {
+        const status = await git(worktree, ['status', '--porcelain=v1', '--untracked-files=all']);
+        let diff = '';
+        if ((await gitHead(worktree)) !== null) {
+            diff = await git(worktree, ['diff', 'HEAD', '--no-color']);
+        }
+        return `${status}\n${diff}`;
+    }
+    catch {
+        return '';
+    }
+}
+//# sourceMappingURL=tree-digest.js.map

package/dist/tree-digest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tree-digest.js","sourceRoot":"","sources":["../src/tree-digest.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAA;AAChC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,MAAM,SAAS,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAA;AAErC,MAAM,GAAG,GAAG;IACV,IAAI,EAAE,qBAAqB;IAC3B,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,6BAA6B;IACnC,IAAI,EAAE,8BAA8B;CACrC,CAAA;AAED,KAAK,UAAU,GAAG,CAChB,QAAgB,EAChB,IAAc,EACd,GAA4B;IAE5B,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,EAAE;QAC3E,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,EAAE;QAC/B,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;KAC5B,CAAC,CAAA;IACF,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;AACtB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,QAAgB;IAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,UAAU,UAAU,EAAE,EAAE,CAAC,CAAA;IACpD,MAAM,MAAM,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,CAAA;IACtC,IAAI,CAAC;QACH,IAAI,OAAO,GAAG,IAAI,CAAA;QAClB,IAAI,CAAC;YACH,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;QAC9D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,GAAG,KAAK,CAAA;QACjB,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAA;QACpD,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,CAAA;QACvD,CAAC;QACD,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAA;QAC1C,OAAO,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,CAAA;IACpD,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;IAChC,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,QAAgB;IAC5C,IAAI,CAAC;QACH,OAAO,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAA;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,QAAgB;IAC9C,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;QACxE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,UAAU,CAAA;IACnB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,GAAW;IAC3C,IAAI,CAAC;QACH,OAAO,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAA;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,QAAgB,EAChB,GAAW;IAEX,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,GAAG,WAAW,CAAC,CAAC,CAAA;QAChF,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,GAAG,SAAS,CAAC,CAAC,CAAA;QAC5E,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,QAAgB;IACtD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,uBAAuB,CAAC,CAAC,CAAA;QACzF,IAAI,IAAI,GAAG,EAAE,CAAA;QACb,IAAI,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACvC,IAAI,GAAG,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAA;QAC5D,CAAC;QACD,OAAO,GAAG,MAAM,KAAK,IAAI,EAAE,CAAA;IAC7B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAA;IACX,CAAC;AACH,CAAC"}

package/package.json

@@ -0,0 +1,53 @@
+{
+  "name": "vdelta",
+  "version": "0.1.0",
+  "description": "Reference implementation of veridelta/1 — proof-carrying verification deltas for coding-agent development loops",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/it-all-playpark/veridelta.git"
+  },
+  "homepage": "https://github.com/it-all-playpark/veridelta#readme",
+  "bugs": {
+    "url": "https://github.com/it-all-playpark/veridelta/issues"
+  },
+  "keywords": [
+    "verification",
+    "testing",
+    "test-evidence",
+    "provenance",
+    "coding-agent",
+    "ai-agent",
+    "vitest",
+    "quality-gate"
+  ],
+  "type": "module",
+  "bin": {
+    "vdelta": "dist/cli.js"
+  },
+  "main": "./dist/index.js",
+  "exports": {
+    ".": "./dist/index.js",
+    "./vitest": "./dist/adapters/vitest/reporter.js"
+  },
+  "files": [
+    "dist",
+    "spec"
+  ],
+  "engines": {
+    "node": ">=20"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "prepublishOnly": "npm run build && npm run test",
+    "test": "vitest run",
+    "test:unit": "vitest run --project unit",
+    "test:conformance": "vitest run --project conformance",
+    "typecheck": "tsc --noEmit"
+  },
+  "devDependencies": {
+    "@types/node": "^24.0.0",
+    "typescript": "^5.9.0",
+    "vitest": "^4.0.0"
+  }
+}