chainlesschain 0.166.15 → 0.166.16

package/src/lib/formal-quality-eval-runtime.js

@@ -1,8 +1,12 @@
+import { createHash } from "node:crypto";
+import fs from "node:fs";
 import os from "node:os";
 import path from "node:path";
 
 export const FORMAL_QUALITY_HERMETIC_ENV = "CC_FORMAL_QUALITY_EVAL_HERMETIC";
 export const FORMAL_QUALITY_PROVIDER_ENV = "CC_FORMAL_QUALITY_EVAL_PROVIDER";
+export const FORMAL_QUALITY_ISOLATION_ROOT_ENV =
+  "CC_FORMAL_QUALITY_EVAL_ISOLATION_ROOT";
 export const FORMAL_QUALITY_ALLOWED_FILES_ENV =
   "CC_FORMAL_QUALITY_EVAL_ALLOWED_FILES";
 export const FORMAL_QUALITY_FILE_TOOLS = Object.freeze([
@@ -34,6 +38,102 @@ export function isFormalQualityHermeticRuntime(environment = process.env) {
   );
 }
 
+function formalQualityIsolationRoot(environment) {
+  if (!isFormalQualityHermeticRuntime(environment)) return null;
+  const configuredRoot = String(
+    environment?.[FORMAL_QUALITY_ISOLATION_ROOT_ENV] || "",
+  ).trim();
+  if (!configuredRoot) {
+    throw new Error("formal quality isolation root is missing");
+  }
+  const temporaryRoot = path.resolve(os.tmpdir());
+  const resolvedRoot = path.resolve(configuredRoot);
+  const relation = path.relative(temporaryRoot, resolvedRoot);
+  const configuredHome = path.resolve(String(environment.CHAINLESSCHAIN_HOME));
+  const homeRelation = path.relative(resolvedRoot, configuredHome);
+  if (
+    !relation ||
+    relation === ".." ||
+    relation.startsWith(`..${path.sep}`) ||
+    path.isAbsolute(relation) ||
+    !homeRelation ||
+    homeRelation === ".." ||
+    homeRelation.startsWith(`..${path.sep}`) ||
+    path.isAbsolute(homeRelation)
+  ) {
+    throw new Error("formal quality isolation root is invalid");
+  }
+  return resolvedRoot;
+}
+
+/**
+ * Give concurrent formal teammates separate ephemeral config/cache trees.
+ * Sharing one Windows config root makes independent processes contend on DACL
+ * repair and lets platform first-use caches leak into the benchmark cwd.
+ */
+export function formalQualityChildEnvironment(
+  identity,
+  environment = process.env,
+) {
+  const isolationRoot = formalQualityIsolationRoot(environment);
+  if (!isolationRoot) return null;
+  const normalizedIdentity = String(identity || "").trim();
+  if (
+    !normalizedIdentity ||
+    normalizedIdentity.length > 256 ||
+    normalizedIdentity.includes("\0")
+  ) {
+    throw new Error("formal quality child identity is invalid");
+  }
+  const identityDigest = createHash("sha256")
+    .update(normalizedIdentity, "utf8")
+    .digest("hex")
+    .slice(0, 24);
+  const childRoot = path.join(isolationRoot, "agent-homes", identityDigest);
+  const userHome = path.join(childRoot, "user-home");
+  const configHome = path.join(childRoot, "chainlesschain-home");
+  const appData = path.join(userHome, "app-data");
+  const localAppData = path.join(userHome, "local-app-data");
+  const xdgConfigHome = path.join(userHome, "xdg-config");
+  const xdgCacheHome = path.join(userHome, "xdg-cache");
+  const xdgDataHome = path.join(userHome, "xdg-data");
+  const dotnetHome = path.join(userHome, "dotnet-home");
+  const nugetPackages = path.join(userHome, "nuget-packages");
+  for (const directory of [
+    childRoot,
+    userHome,
+    configHome,
+    appData,
+    localAppData,
+    xdgConfigHome,
+    xdgCacheHome,
+    xdgDataHome,
+    dotnetHome,
+    nugetPackages,
+  ]) {
+    fs.mkdirSync(directory, { recursive: true });
+  }
+  const childEnvironment = {
+    HOME: userHome,
+    USERPROFILE: userHome,
+    APPDATA: appData,
+    LOCALAPPDATA: localAppData,
+    XDG_CONFIG_HOME: xdgConfigHome,
+    XDG_CACHE_HOME: xdgCacheHome,
+    XDG_DATA_HOME: xdgDataHome,
+    CHAINLESSCHAIN_HOME: configHome,
+    DOTNET_CLI_HOME: dotnetHome,
+    NUGET_PACKAGES: nugetPackages,
+    POWERSHELL_TELEMETRY_OPTOUT: "1",
+    POWERSHELL_UPDATECHECK: "Off",
+  };
+  if (/^[A-Za-z]:[\\/]/u.test(userHome)) {
+    childEnvironment.HOMEDRIVE = userHome.slice(0, 2);
+    childEnvironment.HOMEPATH = userHome.slice(2);
+  }
+  return Object.freeze(childEnvironment);
+}
+
 /** Resolve the provider that the formal harness bound before any model call. */
 export function formalQualityProvider(environment = process.env) {
   if (!isFormalQualityHermeticRuntime(environment)) return null;

package/src/lib/graph-kernel/cutover-contract.js

@@ -0,0 +1,7 @@
+export const GRAPH_CUTOVER_LEDGER_SCHEMA =
+  "chainlesschain.graph-cutover-ledger/v1";
+export const GRAPH_CUTOVER_REQUIRED_PLATFORMS = Object.freeze([
+  "linux",
+  "windows",
+  "macos",
+]);

package/src/lib/graph-kernel/cutover-ledger.js

@@ -8,14 +8,15 @@ import {
   normalizeGraphRetirementEvidence,
 } from "./retirement-evidence.js";
 import { graphStoreEvidenceDigest } from "./store-cutover-evidence.js";
+import {
+  GRAPH_CUTOVER_LEDGER_SCHEMA,
+  GRAPH_CUTOVER_REQUIRED_PLATFORMS,
+} from "./cutover-contract.js";
 
-export const GRAPH_CUTOVER_LEDGER_SCHEMA =
-  "chainlesschain.graph-cutover-ledger/v1";
-export const GRAPH_CUTOVER_REQUIRED_PLATFORMS = Object.freeze([
-  "linux",
-  "windows",
-  "macos",
-]);
+export {
+  GRAPH_CUTOVER_LEDGER_SCHEMA,
+  GRAPH_CUTOVER_REQUIRED_PLATFORMS,
+} from "./cutover-contract.js";
 
 const IDENTIFIER = /^[A-Za-z0-9][A-Za-z0-9._:/-]{0,159}$/u;
 const DIGEST = /^sha256:[a-f0-9]{64}$/u;

package/src/lib/graph-kernel/evidence-digest.js

@@ -0,0 +1,47 @@
+import { createHash } from "node:crypto";
+
+function stableValue(value, state = { seen: new WeakSet(), nodes: 0 }) {
+  state.nodes += 1;
+  if (state.nodes > 250_000) {
+    throw new TypeError("Graph evidence exceeds canonicalization limits");
+  }
+  if (Array.isArray(value))
+    return value.map((item) => stableValue(item, state));
+  if (!value || typeof value !== "object") {
+    if (typeof value === "number" && !Number.isFinite(value)) {
+      throw new TypeError("Graph evidence contains a non-finite number");
+    }
+    if (["bigint", "function", "symbol", "undefined"].includes(typeof value)) {
+      throw new TypeError("Graph evidence contains a non-JSON value");
+    }
+    return value;
+  }
+  if (state.seen.has(value)) {
+    throw new TypeError("Graph evidence contains a cycle or repeated object");
+  }
+  state.seen.add(value);
+  if (
+    Object.getPrototypeOf(value) !== Object.prototype &&
+    Object.getPrototypeOf(value) !== null
+  ) {
+    throw new TypeError("Graph evidence must contain plain JSON objects");
+  }
+  return Object.fromEntries(
+    Object.keys(value)
+      .filter((key) => value[key] !== undefined)
+      .sort()
+      .map((key) => [key, stableValue(value[key], state)]),
+  );
+}
+
+export function canonicalGraphEvidenceJson(value) {
+  return JSON.stringify(stableValue(value));
+}
+
+export function graphEvidenceDigest(value, domain) {
+  return `sha256:${createHash("sha256")
+    .update(domain)
+    .update("\0")
+    .update(canonicalGraphEvidenceJson(value))
+    .digest("hex")}`;
+}

package/src/lib/graph-kernel/graph-runtime-surfaces.json

@@ -6,7 +6,14 @@
     "ledgerSchema": "chainlesschain.graph-cutover-ledger/v1",
     "scope": "entry",
     "requiredPlatforms": ["linux", "windows", "macos"],
-    "existingCanonicalRunRollback": "retain_authority"
+    "existingCanonicalRunRollback": "retain_authority",
+    "legacyMutationErrorCodes": {
+      "browser": "CC_CLI_LEGACY_RUNTIME_READ_ONLY",
+      "cli_team": "CC_CLI_LEGACY_RUNTIME_READ_ONLY",
+      "cowork": "CC_CLI_LEGACY_RUNTIME_READ_ONLY",
+      "desktop": "CC_DESKTOP_LEGACY_RUNTIME_READ_ONLY",
+      "scheduler": "CC_CLI_LEGACY_RUNTIME_READ_ONLY"
+    }
   },
   "surfaces": [
     {