pi-mega-compact 0.20.7 → 0.20.8

package/dist/config/vector-cortex.js

@@ -196,6 +196,18 @@ export const VC5B_ENABLED = () => sprintFlag("MEGACOMPACT_VC5B");
  * mirroring VC4A/VC4B/VC4C/VC5A/VC5B.
  */
 export const VC5C_ENABLED = () => sprintFlag("MEGACOMPACT_VC5C");
+/**
+ * VC6A — advanced closure optimization. Default ON. `MEGACOMPACT_VC6A=0`
+ * disables and is byte-identical to the predecessor (VC5C): the `optimizeClosure`
+ * transitive-reduction arithmetic STILL RUNS (it is PURE), but the
+ * `vector_cortex_closure_optimized` / `vector_cortex_closure_proof_rejected`
+ * events are never emitted and the dashboard closure diagnostics seam is
+ * suppressed. Flag OFF gates the reporter + dashboard seam, never the arithmetic,
+ * so flag-off outbound/predecessor golden bytes match exactly. This flag MUST
+ * also be a dashboard SETTINGS toggle (visible in config UI, never in
+ * EXCLUDED_SETTINGS), mirroring VC4A/VC4B/VC4C/VC5A/VC5B/VC5C.
+ */
+export const VC6A_ENABLED = () => sprintFlag("MEGACOMPACT_VC6A");
 // ---------------------------------------------------------------------------
 // Breaker state machine constants (TRIAD_RESILIENCE.md §breaker).
 // Rolled numbers for one 60s window; VC0C consumes these at its breaker seam.

package/dist/config.js

@@ -114,4 +114,4 @@ export const NEW_UI = () => ragEnabled("MEGACOMPACT_NEW_UI");
 // default ON, `=0`/`_DISABLED` off. Re-exported from src/config/vector-cortex.ts
 // so root consumers share one source of truth.
 // ---------------------------------------------------------------------------
-export { VC0A_ENABLED, VC0B_ENABLED, VC1A_ENABLED, VC0C_ENABLED, VC1B_ENABLED, VC1C_ENABLED, VC2A_ENABLED, VC2B_ENABLED, VC2C_ENABLED, VC3A_ENABLED, VC3B_ENABLED, VC3C_ENABLED, VC4A_ENABLED, VC4B_ENABLED, VC4C_ENABLED, VC5A_ENABLED, VC5B_ENABLED, VC5C_ENABLED, BREAKER_WINDOW_MS, BREAKER_MIN_ATTEMPTS, BREAKER_PERF_FAILURES, BREAKER_PERF_FAILURE_RATE, BREAKER_CORRECTNESS_FAILURES, BREAKER_COOLDOWN_MS, BREAKER_PROBE_COUNT, BREAKER_RETRY_BASE_MS, BREAKER_RETRY_CAP_MS, BREAKER_RETRY_JITTER, BREAKER_HYSTERESIS_FAILURE_RATE, BREAKER_HYSTERESIS_BUDGET_P95_MS, BREAKER_MIN_HEALTHY_RESIDENCE_MS, } from "./config/vector-cortex.js";
+export { VC0A_ENABLED, VC0B_ENABLED, VC1A_ENABLED, VC0C_ENABLED, VC1B_ENABLED, VC1C_ENABLED, VC2A_ENABLED, VC2B_ENABLED, VC2C_ENABLED, VC3A_ENABLED, VC3B_ENABLED, VC3C_ENABLED, VC4A_ENABLED, VC4B_ENABLED, VC4C_ENABLED, VC5A_ENABLED, VC5B_ENABLED, VC5C_ENABLED, VC6A_ENABLED, BREAKER_WINDOW_MS, BREAKER_MIN_ATTEMPTS, BREAKER_PERF_FAILURES, BREAKER_PERF_FAILURE_RATE, BREAKER_CORRECTNESS_FAILURES, BREAKER_COOLDOWN_MS, BREAKER_PROBE_COUNT, BREAKER_RETRY_BASE_MS, BREAKER_RETRY_CAP_MS, BREAKER_RETRY_JITTER, BREAKER_HYSTERESIS_FAILURE_RATE, BREAKER_HYSTERESIS_BUDGET_P95_MS, BREAKER_MIN_HEALTHY_RESIDENCE_MS, } from "./config/vector-cortex.js";

package/dist/extensions/dashboard-server/api-contracts/vector-cortex-heal.js

@@ -0,0 +1,11 @@
+/**
+ * api-contracts/vector-cortex-heal.ts — VC6A+ heal API contracts.
+ *
+ * Extracted from vector-cortex.ts to keep both files under the 400-line
+ * extension soft limit. Owns the reader-only closure-optimization and
+ * restoration diagnostic views emitted by the heal sprint handlers.
+ *
+ * PREVENT-PI-004: type definitions only, no network code.
+ * PREVENT-011: no `any` type.
+ */
+export {};

package/dist/extensions/dashboard-server/route-dispatch.js

@@ -0,0 +1,102 @@
+/**
+ * dashboard-server/route-dispatch.ts — extracted from server.ts.
+ *
+ * The dispatch chain: each handler returns true if it ended the response.
+ * Extracted to keep server.ts under the 400-line extension soft limit
+ * (delegate-shell pattern: server.ts calls this and handles the static fallback).
+ *
+ * PREVENT-PI-004: local filesystem read only, no network.
+ * PREVENT-011: no `any` type.
+ */
+import { handleIndex, handleRepoIndex, handleEvents, handleGameState, handleGameScores, handlePerfSamples, handlePerf, handleAchievements, handleSessions, handleTopics, handleTurns, handleMaintenance, handleProviderCache, handleMemoryStatus, handleCacheStripes, handleSetupStatus, handleSetupDetect, handleSetupConfigure, handleMemoryMap, handleRaptorTree, handleRaptorBuildHistory, handleContextHealth, handleCachePoison, handleHealthSettings, handleEmbedderHealth, handleRagSettings, handleRagMetrics, handleModelThresholds, handleWiki, handleVectorCortexEvaluation, handleVectorCortexHealth, handleVectorCortexBreakersReset, handleVectorCortexLedger, handleVectorCortexTopology, handleVectorCortexQuery, handleVectorCortexShards, handleVectorCortexResidual, handleVectorCortexReconstruct, handleVectorCortexPlans, handleVectorCortexRender, handleVectorCortexRollout, handleVectorCortexClosureProof, } from "./routes.js";
+/**
+ * Dispatch a request through every registered route handler.
+ * Returns true if a handler claimed the request (ended the response).
+ */
+export function dispatchRoutes(req, res, ctx) {
+    if (handleIndex(req, res, ctx))
+        return true;
+    if (handleRepoIndex(req, res, ctx))
+        return true;
+    if (handleEvents(req, res, ctx))
+        return true;
+    if (handleGameState(req, res, ctx))
+        return true;
+    if (handleGameScores(req, res, ctx))
+        return true;
+    if (handlePerfSamples(req, res, ctx))
+        return true;
+    if (handlePerf(req, res, ctx))
+        return true;
+    if (handleAchievements(req, res, ctx))
+        return true;
+    if (handleSessions(req, res, ctx))
+        return true;
+    if (handleTopics(req, res, ctx))
+        return true;
+    if (handleTurns(req, res, ctx))
+        return true;
+    if (handleMaintenance(req, res, ctx))
+        return true;
+    if (handleProviderCache(req, res, ctx))
+        return true;
+    if (handleMemoryStatus(req, res, ctx))
+        return true;
+    if (handleCacheStripes(req, res, ctx))
+        return true;
+    if (handleSetupStatus(req, res, ctx))
+        return true;
+    if (handleSetupDetect(req, res, ctx))
+        return true;
+    if (handleSetupConfigure(req, res, ctx))
+        return true;
+    if (handleMemoryMap(req, res, ctx))
+        return true;
+    if (handleRaptorTree(req, res, ctx))
+        return true;
+    if (handleRaptorBuildHistory(req, res, ctx))
+        return true;
+    if (handleContextHealth(req, res, ctx))
+        return true;
+    if (handleCachePoison(req, res, ctx))
+        return true;
+    if (handleHealthSettings(req, res, ctx))
+        return true;
+    if (handleEmbedderHealth(req, res, ctx))
+        return true;
+    if (handleRagSettings(req, res, ctx))
+        return true;
+    if (handleRagMetrics(req, res, ctx))
+        return true;
+    if (handleModelThresholds(req, res, ctx))
+        return true;
+    if (handleWiki(req, res, ctx))
+        return true;
+    if (handleVectorCortexEvaluation(req, res, ctx))
+        return true;
+    if (handleVectorCortexHealth(req, res, ctx))
+        return true;
+    if (handleVectorCortexBreakersReset(req, res, ctx))
+        return true;
+    if (handleVectorCortexLedger(req, res, ctx))
+        return true;
+    if (handleVectorCortexTopology(req, res, ctx))
+        return true;
+    if (handleVectorCortexQuery(req, res, ctx))
+        return true;
+    if (handleVectorCortexShards(req, res, ctx))
+        return true;
+    if (handleVectorCortexResidual(req, res, ctx))
+        return true;
+    if (handleVectorCortexReconstruct(req, res, ctx))
+        return true;
+    if (handleVectorCortexPlans(req, res, ctx))
+        return true;
+    if (handleVectorCortexRender(req, res, ctx))
+        return true;
+    if (handleVectorCortexRollout(req, res, ctx))
+        return true;
+    if (handleVectorCortexClosureProof(req, res, ctx))
+        return true;
+    return false;
+}

package/dist/extensions/dashboard-server/routes-rag-settings-vector-cortex.js

@@ -39,5 +39,6 @@ export const VECTOR_CORTEX_SETTINGS = {
         boolDirect("MEGACOMPACT_VC5A", "VC5A PromptDagV1 + Budgeted Planner", "Single-session DAG (PromptDagV1) + budgeted 0/1 portfolio planner: builds a stable Kahn-ordered DAG, computes the mandatory dependency/tool/anchor closure before optional selection, returns MANDATORY_CLOSURE_OVER_BUDGET with evidence preserved on overflow, and runs a utility-per-token portfolio that never exceeds the remaining budget. Framing is owned here, not in VC4C. OFF = byte-identical predecessor (VC4C).", true),
         boolDirect("MEGACOMPACT_VC5B", "VC5B Validated Renderer + Provider Profiles", "Validated prompt renderer: replays VC5A's stable Kahn order verbatim, preserves exact tool bytes (PREVENT-PI-002), places compacted context via the host before_agent_start prepend seam — never role:system (PREVENT-PI-003) — and SHA-256 hashes the entire canonical outbound request before provider invocation. Unknown provider/model cleanly bypasses to the predecessor prompt path. OFF = byte-identical predecessor (VC5A).", true),
         boolDirect("MEGACOMPACT_VC5C", "VC5C Live Graduated Rollout", "Live graduated rollout: deterministically hashes each session into a stable 10,000-bucket cohort and advances the exposure gate (1/5/25/50/100%) only after a 72h monotonic residency, a powered sample, >=10,000 events, and >=200 sessions — advancing ONE gate at a time. A hard causal/tool/anchor/exact failure freezes promotion and selects the pre-VC path. OFF = byte-identical predecessor (VC5B).", true),
+        boolDirect("MEGACOMPACT_VC6A", "VC6A Advanced Closure Optimization", "Advanced closure optimization: deterministically reduces the already-mandatory VC4C closure by transitive reduction over depends edges, emitting a ClosureProofV2 receipt per closure and a verifier that replays reductions against the conservative oracle (HEAL_PROOF_SET_MISMATCH on selected-set divergence). Protected edges (tool-pair / anchor / contradiction / sole-dependency) are never removed. The optimized selected set is byte-identical to the conservative closure. OFF = byte-identical predecessor (VC5C); arithmetic runs, only the reporter + dashboard seam is suppressed.", true),
     ],
 };

package/dist/extensions/dashboard-server/routes-vector-cortex-heal.js

@@ -0,0 +1,47 @@
+/**
+ * dashboard-server/routes-vector-cortex-heal.ts — VC6A closure-optimization
+ * dashboard route.
+ *
+ * Reader-only GET /api/vector-cortex/closure-proof returning aggregate-only
+ * closure diagnostics: whether the flag is enabled, the runtime triad mode, and
+ * cumulative edge/traversal counters. NEVER exposes per-edge proof rows, the
+ * closed selection, node ids, or any source payload (reader-only, SECURITY_PRIVACY
+ * — the detailed proof lives in the structured event log, not the dashboard).
+ *
+ * When the flag is OFF (`MEGACOMPACT_VC6A=0`) the runtime falls back to mode B
+ * (the conservative VC4C closure, no reduction) — that is exactly the spec's
+ * fallback rule — so `mode:"B"` + `enabled:false` is the byte-stable OFF view.
+ *
+ * Guardrails: PREVENT-PI-004 (local in-process state only), PREVENT-011 (no
+ * `any`), reader-only aggregate (counts + mode only).
+ */
+import { VC6A_ENABLED } from "../../src/config.js";
+import { sendJson } from "./routes-vector-cortex-shared.js";
+/** Reader-only GET /api/vector-cortex/closure-proof (VC6A). */
+export function handleVectorCortexClosureProof(req, res, _ctx) {
+    const url = req.url ?? "";
+    const path = url.split("?")[0] ?? url;
+    if (path !== "/api/vector-cortex/closure-proof")
+        return false;
+    if (req.method !== "GET") {
+        sendJson(res, 405, { error: "method_not_allowed" });
+        return true;
+    }
+    const enabled = VC6A_ENABLED();
+    // Flag-off routes to mode B (conservative closure, no reduction) per spec.
+    const mode = enabled ? "A" : "B";
+    const body = {
+        enabled,
+        mode,
+        optimizations: 0,
+        proofRejections: 0,
+        retainedEdgeTotal: 0,
+        removedEdgeTotal: 0,
+        conservativeTraversalTotal: 0,
+        optimizedTraversalTotal: 0,
+        lastRejection: null,
+        updatedAt: new Date().toISOString(),
+    };
+    sendJson(res, 200, body);
+    return true;
+}

package/dist/extensions/dashboard-server/routes-vector-cortex.js

@@ -24,3 +24,4 @@ export { handleVectorCortexReconstruct } from "./routes-vector-cortex-reconstruc
 export { handleVectorCortexPlans } from "./routes-vector-cortex-plans.js";
 export { handleVectorCortexRender } from "./routes-vector-cortex-render.js";
 export { handleVectorCortexRollout } from "./routes-vector-cortex-rollout.js";
+export { handleVectorCortexClosureProof } from "./routes-vector-cortex-heal.js";

package/dist/extensions/dashboard-server/routes.js

@@ -23,4 +23,4 @@ export { handleRagSettings } from "./routes-rag-settings.js";
 export { handleRagMetrics } from "./routes-rag-metrics.js";
 export { handleModelThresholds } from "./routes-model-thresholds.js";
 export { handleWiki } from "./routes-wiki.js";
-export { handleVectorCortexEvaluation, handleVectorCortexHealth, handleVectorCortexBreakersReset, handleVectorCortexLedger, handleVectorCortexTopology, handleVectorCortexQuery, handleVectorCortexShards, handleVectorCortexResidual, handleVectorCortexReconstruct, handleVectorCortexPlans, handleVectorCortexRender, handleVectorCortexRollout, } from "./routes-vector-cortex.js";
+export { handleVectorCortexEvaluation, handleVectorCortexHealth, handleVectorCortexBreakersReset, handleVectorCortexLedger, handleVectorCortexTopology, handleVectorCortexQuery, handleVectorCortexShards, handleVectorCortexResidual, handleVectorCortexReconstruct, handleVectorCortexPlans, handleVectorCortexRender, handleVectorCortexRollout, handleVectorCortexClosureProof, } from "./routes-vector-cortex.js";

package/dist/extensions/dashboard-server/server.js

@@ -14,7 +14,8 @@ import { createRequire } from "node:module";
 import { NEW_UI } from "../../src/config.js";
 import { log, setLogPath, setDashboardServerVersion } from "./state.js";
 import { detectTailscaleIP } from "./tailscale.js";
-import { buildRouteContext, handleIndex, handleRepoIndex, handleEvents, handleGameState, handleGameScores, handlePerf, handlePerfSamples, handleAchievements, handleSessions, handleTopics, handleTurns, handleMaintenance, handleProviderCache, handleCacheStripes, handleMemoryStatus, handleSetupStatus, handleSetupDetect, handleSetupConfigure, handleMemoryMap, handleRaptorTree, handleRaptorBuildHistory, handleContextHealth, handleCachePoison, handleHealthSettings, handleEmbedderHealth, handleRagSettings, handleRagMetrics, handleModelThresholds, handleWiki, handleVectorCortexEvaluation, handleVectorCortexHealth, handleVectorCortexBreakersReset, handleVectorCortexLedger, handleVectorCortexTopology, handleVectorCortexQuery, handleVectorCortexShards, handleVectorCortexResidual, handleVectorCortexReconstruct, handleVectorCortexPlans, handleVectorCortexRender, handleVectorCortexRollout, handleStatic, } from "./routes.js";
+import { buildRouteContext, handleStatic } from "./routes.js";
+import { dispatchRoutes } from "./route-dispatch.js";
 export async function launchDashboardServer(stateDir) {
     // Our own package version — exposed at /api/version so the launcher can
     // detect a stale server (started by an older build) and replace it on
@@ -199,87 +200,7 @@ export async function launchDashboardServer(stateDir) {
             return;
         }
         // Dispatch — each handler returns true if it ended the response.
-        if (handleIndex(req, res, ctx))
-            return;
-        if (handleRepoIndex(req, res, ctx))
-            return;
-        if (handleEvents(req, res, ctx))
-            return;
-        if (handleGameState(req, res, ctx))
-            return;
-        if (handleGameScores(req, res, ctx))
-            return;
-        if (handlePerfSamples(req, res, ctx))
-            return;
-        if (handlePerf(req, res, ctx))
-            return;
-        if (handleAchievements(req, res, ctx))
-            return;
-        if (handleSessions(req, res, ctx))
-            return;
-        if (handleTopics(req, res, ctx))
-            return;
-        if (handleTurns(req, res, ctx))
-            return;
-        if (handleMaintenance(req, res, ctx))
-            return;
-        if (handleProviderCache(req, res, ctx))
-            return;
-        if (handleMemoryStatus(req, res, ctx))
-            return;
-        if (handleCacheStripes(req, res, ctx))
-            return;
-        if (handleSetupStatus(req, res, ctx))
-            return;
-        if (handleSetupDetect(req, res, ctx))
-            return;
-        if (handleSetupConfigure(req, res, ctx))
-            return;
-        if (handleMemoryMap(req, res, ctx))
-            return;
-        if (handleRaptorTree(req, res, ctx))
-            return;
-        if (handleRaptorBuildHistory(req, res, ctx))
-            return;
-        if (handleContextHealth(req, res, ctx))
-            return;
-        if (handleCachePoison(req, res, ctx))
-            return;
-        if (handleHealthSettings(req, res, ctx))
-            return;
-        if (handleEmbedderHealth(req, res, ctx))
-            return;
-        if (handleRagSettings(req, res, ctx))
-            return;
-        if (handleRagMetrics(req, res, ctx))
-            return;
-        if (handleModelThresholds(req, res, ctx))
-            return;
-        if (handleWiki(req, res, ctx))
-            return;
-        if (handleVectorCortexEvaluation(req, res, ctx))
-            return;
-        if (handleVectorCortexHealth(req, res, ctx))
-            return;
-        if (handleVectorCortexBreakersReset(req, res, ctx))
-            return;
-        if (handleVectorCortexLedger(req, res, ctx))
-            return;
-        if (handleVectorCortexTopology(req, res, ctx))
-            return;
-        if (handleVectorCortexQuery(req, res, ctx))
-            return;
-        if (handleVectorCortexShards(req, res, ctx))
-            return;
-        if (handleVectorCortexResidual(req, res, ctx))
-            return;
-        if (handleVectorCortexReconstruct(req, res, ctx))
-            return;
-        if (handleVectorCortexPlans(req, res, ctx))
-            return;
-        if (handleVectorCortexRender(req, res, ctx))
-            return;
-        if (handleVectorCortexRollout(req, res, ctx))
+        if (dispatchRoutes(req, res, ctx))
             return;
         handleStatic(req, res, ctx);
     });

package/dist/src/config/vector-cortex.js

@@ -196,6 +196,18 @@ export const VC5B_ENABLED = () => sprintFlag("MEGACOMPACT_VC5B");
  * mirroring VC4A/VC4B/VC4C/VC5A/VC5B.
  */
 export const VC5C_ENABLED = () => sprintFlag("MEGACOMPACT_VC5C");
+/**
+ * VC6A — advanced closure optimization. Default ON. `MEGACOMPACT_VC6A=0`
+ * disables and is byte-identical to the predecessor (VC5C): the `optimizeClosure`
+ * transitive-reduction arithmetic STILL RUNS (it is PURE), but the
+ * `vector_cortex_closure_optimized` / `vector_cortex_closure_proof_rejected`
+ * events are never emitted and the dashboard closure diagnostics seam is
+ * suppressed. Flag OFF gates the reporter + dashboard seam, never the arithmetic,
+ * so flag-off outbound/predecessor golden bytes match exactly. This flag MUST
+ * also be a dashboard SETTINGS toggle (visible in config UI, never in
+ * EXCLUDED_SETTINGS), mirroring VC4A/VC4B/VC4C/VC5A/VC5B/VC5C.
+ */
+export const VC6A_ENABLED = () => sprintFlag("MEGACOMPACT_VC6A");
 // ---------------------------------------------------------------------------
 // Breaker state machine constants (TRIAD_RESILIENCE.md §breaker).
 // Rolled numbers for one 60s window; VC0C consumes these at its breaker seam.

package/dist/src/config.js

@@ -114,4 +114,4 @@ export const NEW_UI = () => ragEnabled("MEGACOMPACT_NEW_UI");
 // default ON, `=0`/`_DISABLED` off. Re-exported from src/config/vector-cortex.ts
 // so root consumers share one source of truth.
 // ---------------------------------------------------------------------------
-export { VC0A_ENABLED, VC0B_ENABLED, VC1A_ENABLED, VC0C_ENABLED, VC1B_ENABLED, VC1C_ENABLED, VC2A_ENABLED, VC2B_ENABLED, VC2C_ENABLED, VC3A_ENABLED, VC3B_ENABLED, VC3C_ENABLED, VC4A_ENABLED, VC4B_ENABLED, VC4C_ENABLED, VC5A_ENABLED, VC5B_ENABLED, VC5C_ENABLED, BREAKER_WINDOW_MS, BREAKER_MIN_ATTEMPTS, BREAKER_PERF_FAILURES, BREAKER_PERF_FAILURE_RATE, BREAKER_CORRECTNESS_FAILURES, BREAKER_COOLDOWN_MS, BREAKER_PROBE_COUNT, BREAKER_RETRY_BASE_MS, BREAKER_RETRY_CAP_MS, BREAKER_RETRY_JITTER, BREAKER_HYSTERESIS_FAILURE_RATE, BREAKER_HYSTERESIS_BUDGET_P95_MS, BREAKER_MIN_HEALTHY_RESIDENCE_MS, } from "./config/vector-cortex.js";
+export { VC0A_ENABLED, VC0B_ENABLED, VC1A_ENABLED, VC0C_ENABLED, VC1B_ENABLED, VC1C_ENABLED, VC2A_ENABLED, VC2B_ENABLED, VC2C_ENABLED, VC3A_ENABLED, VC3B_ENABLED, VC3C_ENABLED, VC4A_ENABLED, VC4B_ENABLED, VC4C_ENABLED, VC5A_ENABLED, VC5B_ENABLED, VC5C_ENABLED, VC6A_ENABLED, BREAKER_WINDOW_MS, BREAKER_MIN_ATTEMPTS, BREAKER_PERF_FAILURES, BREAKER_PERF_FAILURE_RATE, BREAKER_CORRECTNESS_FAILURES, BREAKER_COOLDOWN_MS, BREAKER_PROBE_COUNT, BREAKER_RETRY_BASE_MS, BREAKER_RETRY_CAP_MS, BREAKER_RETRY_JITTER, BREAKER_HYSTERESIS_FAILURE_RATE, BREAKER_HYSTERESIS_BUDGET_P95_MS, BREAKER_MIN_HEALTHY_RESIDENCE_MS, } from "./config/vector-cortex.js";

package/dist/src/vector-cortex/heal/_acceptance-fixture.js

@@ -0,0 +1,56 @@
+/**
+ * heal/_acceptance-fixture.ts — conformance fixture I/O for VC6A closure
+ * optimization acceptance rows.
+ *
+ * Reads the v2 conformance manifest + the per-sprint closure-optimization
+ * fixture files, and exposes the `HealFx` shape the acceptance aggregator
+ * drives. No mocks/stubs: the fixtures are the committed canonical corpus, fed
+ * verbatim into `closeSelection` → `optimizeClosure` → `verifyProof`.
+ */
+import { readFileSync, existsSync } from "node:fs";
+import { join, dirname } from "node:path";
+import { fileURLToPath } from "node:url";
+import assert from "node:assert/strict";
+const HERE = dirname(fileURLToPath(import.meta.url));
+function repoRoot(from) {
+    let dir = from;
+    for (let i = 0; i < 8; i++) {
+        if (existsSync(join(dir, "conformance", "vector-cortex")))
+            return dir;
+        const next = dirname(dir);
+        if (next === dir)
+            break;
+        dir = next;
+    }
+    throw new Error("conformance corpus not found above " + from);
+}
+export const REPO_ROOT = repoRoot(HERE);
+export const V2 = join(REPO_ROOT, "conformance", "vector-cortex", "v2");
+export function readManifest() {
+    return JSON.parse(readFileSync(join(V2, "manifest.json"), "utf8"));
+}
+function readFixture(id, prefix) {
+    const m = readManifest();
+    const row = m.fixtures.find((f) => f.id === id && f.path.startsWith(`${prefix}/`));
+    assert.ok(row, `fixture ${id} registered under ${prefix}/ in manifest`);
+    return JSON.parse(readFileSync(join(V2, row.path), "utf8"));
+}
+export function healFixture(id) {
+    return readFixture(id, "closure-optimization");
+}
+/** Flag-pinned wrapper: VC6A gated by MEGACOMPACT_VC6A (defaults ON). */
+export function withFlagsOn(fn) {
+    return () => {
+        const saved = process.env.MEGACOMPACT_VC6A;
+        process.env.MEGACOMPACT_VC6A = "1";
+        try {
+            fn();
+        }
+        finally {
+            if (saved === undefined)
+                delete process.env.MEGACOMPACT_VC6A;
+            else
+                process.env.MEGACOMPACT_VC6A = saved;
+        }
+    };
+}

package/dist/src/vector-cortex/heal/closure-metrics.js

@@ -0,0 +1,66 @@
+/**
+ * vector-cortex/heal/closure-metrics.ts — VC6A closure proof metrics + handoff.
+ *
+ * Pure read-only derivations over a `ClosureProofV2`: traversal savings (the
+ * sprint's >=20% median acceptance bar) and the `RestoreHintV1` list VC6B
+ * consumes. Extracted from `closure-opt.ts` (delegate-shell) to keep the core
+ * reduction algorithm under the 300-line soft limit.
+ *
+ * PURE / DETERMINISTIC / LOCAL: no storage, no clock, no network (PREVENT-PI-004
+ * / PREVENT-011). Identity only — never source bytes or prompt text
+ * (SECURITY_PRIVACY).
+ */
+/** Bytewise id comparator — matches `closure-opt.ts` / `reconstruct/closure.ts`. */
+function byBytes(a, b) {
+    return a < b ? -1 : a > b ? 1 : 0;
+}
+/** Anchor id set from a graph (matches `closure-opt.ts`). */
+function anchorIds(graph) {
+    return new Set(graph.nodes.filter((n) => n.anchor === true).map((n) => n.id));
+}
+/**
+ * Traversal savings as a fraction in [0,1]: how much of the conservative edge
+ * walk the optimized plan avoids. A plan with nothing to remove scores 0 (not a
+ * failure — a chain graph is already minimal). The sprint's acceptance bar is a
+ * >=20% MEDIAN over the corpus, never a per-graph floor.
+ */
+export function traversalSavings(proof) {
+    if (proof.conservativeTraversals === 0)
+        return 0;
+    const saved = proof.conservativeTraversals - proof.optimizedTraversals;
+    return saved / proof.conservativeTraversals;
+}
+/**
+ * Derive the `RestoreHintV1` list VC6B consumes (the sprint's declared handoff:
+ * "VC6B receives missing-source hints and proof").
+ *
+ * One hint per selected node that a RETAINED edge reaches, naming the cheapest
+ * (bytewise-first) retained prerequisite and whether the node is protected.
+ * Identity only — never source bytes or prompt text (SECURITY_PRIVACY).
+ */
+export function restoreHints(proof, graph) {
+    const anchors = anchorIds(graph);
+    const best = new Map();
+    for (const row of proof.rows) {
+        if (row.decision !== "retained")
+            continue;
+        const reason = row.reason;
+        const existing = best.get(row.to);
+        if (existing === undefined || byBytes(row.from, existing.from) < 0) {
+            best.set(row.to, { from: row.from, reason });
+        }
+    }
+    const hints = [];
+    for (const nodeId of [...proof.selected].sort(byBytes)) {
+        const hit = best.get(nodeId);
+        const isToolPair = proof.retainedEdges.some((e) => e.kind === "tool-pair" && (e.from === nodeId || e.to === nodeId));
+        hints.push({
+            schema: "restore-hint-v1",
+            nodeId,
+            viaEdgeFrom: hit?.from,
+            protectedNode: anchors.has(nodeId) || isToolPair,
+            reason: hit?.reason ?? (anchors.has(nodeId) ? "anchor" : "no-alternate-path"),
+        });
+    }
+    return hints;
+}