@izagood/avcs 0.1.0

package/dist/validation/repair.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repair.js","sourceRoot":"","sources":["../../src/validation/repair.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,oFAAoF;AACpF,gFAAgF;AAehF;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,GAAgB,EAChB,QAAoB,EACpB,SAAqB;IAErB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAa,CAAC,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,QAAQ;SACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;SACxE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1G,MAAM,gBAAgB,GAAG,SAAS;SAC/B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;SAC3E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAa,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IAE1F,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM;QAChC,CAAC,CAAC,WAAW,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,4GACzB,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,wCAAwC,CAAC,CAAC,CAAC,EACvE,EAAE,CAAC,IAAI,EAAE;QACX,CAAC,CAAC,0CAA0C,CAAC;IAE/C,OAAO;QACL,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACzB,GAAG,EAAE,CAAC,CAAC,GAAa;YACpB,OAAO,EAAE,CAAC,CAAC,eAAe;YAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE;YACrD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI;SAClB,CAAC,CAAC;QACH,QAAQ;QACR,gBAAgB;QAChB,UAAU;KACX,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,CAAqB,EAAE,CAAS;IAChD,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AACzE,CAAC"}

package/dist/validation/runner.d.ts

@@ -0,0 +1,20 @@
+import type { Repo } from "../api/repo.ts";
+import type { Actor, EvidenceKind } from "../objects/types.ts";
+/** A single validation step: what kind of evidence it produces + the shell command. */
+export interface CheckSpec {
+    kind: EvidenceKind;
+    command: string;
+}
+/**
+ * Materialize the view, write it to `workspaceDir`, run each check, and attach a
+ * pass/fail Evidence for every check (exit 0 → "pass", anything else → "fail").
+ * Returns the oids of the attached Evidence objects, in `checks` order.
+ */
+export declare function runChecks(repo: Repo, opts: {
+    ops: string[];
+    view?: string;
+    workspaceDir: string;
+    ciActor: Actor;
+    checks: CheckSpec[];
+}): Promise<string[]>;
+//# sourceMappingURL=runner.d.ts.map

package/dist/validation/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../src/validation/runner.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAE/D,uFAAuF;AACvF,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AA4DD;;;;GAIG;AACH,wBAAsB,SAAS,CAC7B,IAAI,EAAE,IAAI,EACV,IAAI,EAAE;IACJ,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,KAAK,CAAC;IACf,MAAM,EAAE,SAAS,EAAE,CAAC;CACrB,GACA,OAAO,CAAC,MAAM,EAAE,CAAC,CAyBnB"}

package/dist/validation/runner.js

@@ -0,0 +1,90 @@
+// Phase 3: validation runner.
+//
+// Self-contained module that turns real shell-command results into AVCS Evidence.
+// It materializes a view, writes the workspace to disk, runs each check command
+// against that workspace, and attaches a pass/fail Evidence object per check.
+//
+// Design notes:
+//   - Uses ONLY the public Repo API (materialize, writeWorkspace, attachEvidence).
+//   - Robust: a command that cannot be spawned (e.g. command-not-found) maps to a
+//     "fail" Evidence, never a thrown error, so one broken check can't abort the run.
+//   - Bounded: stdout/stderr capture is truncated so a runaway command can't bloat
+//     the object store.
+import { execFile } from "node:child_process";
+/** Detail (stdout/stderr) is truncated to keep evidence objects small. */
+const DETAIL_LIMIT = 2000;
+/** Per-command wall-clock budget. */
+const TIMEOUT_MS = 30_000;
+/**
+ * Run a shell command in `cwd`, capturing exit code + bounded stdout/stderr.
+ * Never rejects: a spawn failure (command-not-found) or a timeout resolves with a
+ * non-zero/null code so the caller can treat it as a "fail".
+ */
+function runCommand(command, cwd) {
+    return new Promise((resolve) => {
+        // Route through the shell so `command` can be an arbitrary command line.
+        const child = execFile(command, {
+            cwd,
+            shell: true,
+            timeout: TIMEOUT_MS,
+            // Cap captured bytes; overflow kills the child and surfaces as an error.
+            maxBuffer: DETAIL_LIMIT * 8,
+            windowsHide: true,
+        }, (err, stdout, stderr) => {
+            const out = String(stdout ?? "");
+            const errOut = String(stderr ?? "");
+            if (err) {
+                // execFile's error carries `.code` (exit code) for normal non-zero exits,
+                // but a number-or-string. A real spawn failure has no numeric exit code.
+                const code = typeof err.code === "number"
+                    ? (err.code)
+                    : child.exitCode;
+                resolve({
+                    code: typeof code === "number" ? code : null,
+                    stdout: out,
+                    stderr: errOut,
+                    spawnError: code === undefined || typeof code !== "number" ? err.message : undefined,
+                });
+                return;
+            }
+            resolve({ code: child.exitCode ?? 0, stdout: out, stderr: errOut });
+        });
+    });
+}
+function truncate(s, limit = DETAIL_LIMIT) {
+    if (s.length <= limit)
+        return s;
+    return s.slice(0, limit) + `\n…[truncated ${s.length - limit} chars]`;
+}
+/**
+ * Materialize the view, write it to `workspaceDir`, run each check, and attach a
+ * pass/fail Evidence for every check (exit 0 → "pass", anything else → "fail").
+ * Returns the oids of the attached Evidence objects, in `checks` order.
+ */
+export async function runChecks(repo, opts) {
+    const result = await repo.materialize(opts.view ?? "main");
+    await repo.writeWorkspace(result, opts.workspaceDir);
+    const evidenceOids = [];
+    for (const check of opts.checks) {
+        const run = await runCommand(check.command, opts.workspaceDir);
+        const pass = run.code === 0;
+        const detailParts = [`$ ${check.command}`, `exit: ${run.code ?? "null"}`];
+        if (run.spawnError)
+            detailParts.push(`spawn-error: ${run.spawnError}`);
+        if (run.stdout.trim())
+            detailParts.push(`--- stdout ---\n${run.stdout}`);
+        if (run.stderr.trim())
+            detailParts.push(`--- stderr ---\n${run.stderr}`);
+        const oid = await repo.attachEvidence({
+            forOps: opts.ops,
+            kind: check.kind,
+            result: pass ? "pass" : "fail",
+            producedBy: opts.ciActor,
+            command: check.command,
+            detail: truncate(detailParts.join("\n")),
+        });
+        evidenceOids.push(oid);
+    }
+    return evidenceOids;
+}
+//# sourceMappingURL=runner.js.map

package/dist/validation/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/validation/runner.ts"],"names":[],"mappings":"AAAA,8BAA8B;AAC9B,EAAE;AACF,kFAAkF;AAClF,gFAAgF;AAChF,8EAA8E;AAC9E,EAAE;AACF,gBAAgB;AAChB,mFAAmF;AACnF,kFAAkF;AAClF,sFAAsF;AACtF,mFAAmF;AACnF,wBAAwB;AAExB,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAU9C,0EAA0E;AAC1E,MAAM,YAAY,GAAG,IAAI,CAAC;AAC1B,qCAAqC;AACrC,MAAM,UAAU,GAAG,MAAM,CAAC;AAS1B;;;;GAIG;AACH,SAAS,UAAU,CAAC,OAAe,EAAE,GAAW;IAC9C,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC7B,yEAAyE;QACzE,MAAM,KAAK,GAAG,QAAQ,CACpB,OAAO,EACP;YACE,GAAG;YACH,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,UAAU;YACnB,yEAAyE;YACzE,SAAS,EAAE,YAAY,GAAG,CAAC;YAC3B,WAAW,EAAE,IAAI;SAClB,EACD,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;YACtB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;YACjC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;YACpC,IAAI,GAAG,EAAE,CAAC;gBACR,0EAA0E;gBAC1E,yEAAyE;gBACzE,MAAM,IAAI,GAAG,OAAQ,GAA0B,CAAC,IAAI,KAAK,QAAQ;oBAC/D,CAAC,CAAC,CAAE,GAAwB,CAAC,IAAI,CAAC;oBAClC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;gBACnB,OAAO,CAAC;oBACN,IAAI,EAAE,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;oBAC5C,MAAM,EAAE,GAAG;oBACX,MAAM,EAAE,MAAM;oBACd,UAAU,EAAE,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;iBACrF,CAAC,CAAC;gBACH,OAAO;YACT,CAAC;YACD,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,KAAK,GAAG,YAAY;IAC/C,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK;QAAE,OAAO,CAAC,CAAC;IAChC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAC,MAAM,GAAG,KAAK,SAAS,CAAC;AACxE,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,IAAU,EACV,IAMC;IAED,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC;IAC3D,MAAM,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IAErD,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QAC/D,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC;QAE5B,MAAM,WAAW,GAAa,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE,EAAE,SAAS,GAAG,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC,CAAC;QACpF,IAAI,GAAG,CAAC,UAAU;YAAE,WAAW,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QACvE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE;YAAE,WAAW,CAAC,IAAI,CAAC,mBAAmB,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QACzE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE;YAAE,WAAW,CAAC,IAAI,CAAC,mBAAmB,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QAEzE,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC;YACpC,MAAM,EAAE,IAAI,CAAC,GAAG;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YAC9B,UAAU,EAAE,IAAI,CAAC,OAAO;YACxB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACzC,CAAC,CAAC;QACH,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC"}

package/package.json

@@ -0,0 +1,83 @@
+{
+  "name": "@izagood/avcs",
+  "version": "0.1.0",
+  "type": "module",
+  "description": "Agentic Version Control System — an AI-native VCS where intent, session, operation, evidence and decision are first-class objects and code is a materialized projection of an operation graph.",
+  "license": "Apache-2.0",
+  "author": "jaebin lee",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/izagood/avcs.git"
+  },
+  "homepage": "https://github.com/izagood/avcs#readme",
+  "bugs": {
+    "url": "https://github.com/izagood/avcs/issues"
+  },
+  "keywords": [
+    "version-control",
+    "vcs",
+    "content-addressed",
+    "operation-graph",
+    "ai-native",
+    "deterministic",
+    "agentic"
+  ],
+  "bin": {
+    "avcs": "dist/cli.js"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./hub": {
+      "types": "./dist/hub/hubServer.d.ts",
+      "default": "./dist/hub/hubServer.js"
+    },
+    "./hub/client": {
+      "types": "./dist/hub/hubClient.d.ts",
+      "default": "./dist/hub/hubClient.js"
+    },
+    "./store": {
+      "types": "./dist/store/objectStore.d.ts",
+      "default": "./dist/store/objectStore.js"
+    },
+    "./identity": {
+      "types": "./dist/core/identity.d.ts",
+      "default": "./dist/core/identity.js"
+    },
+    "./types": {
+      "types": "./dist/objects/types.d.ts",
+      "default": "./dist/objects/types.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "avcs": "node --experimental-strip-types src/cli.ts",
+    "demo": "node --experimental-strip-types src/demo.ts",
+    "test": "node --experimental-strip-types --test test/*.test.ts",
+    "mcp": "node --experimental-strip-types src/mcp/server.ts",
+    "typecheck": "tsc --noEmit",
+    "build": "rm -rf dist && tsc -p tsconfig.build.json && node scripts/postbuild.mjs",
+    "prepublishOnly": "npm run typecheck && npm test && npm run build",
+    "bench": "node --experimental-strip-types bench/materialize-bench.ts",
+    "bench:incremental": "node --experimental-strip-types bench/incremental-bench.ts"
+  },
+  "engines": {
+    "node": ">=22.6"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {},
+  "devDependencies": {
+    "@modelcontextprotocol/sdk": "^1.0.0",
+    "@types/node": "^22.0.0",
+    "typescript": "^5.7.0"
+  }
+}