pi-mega-compact 0.20.7 → 0.20.8

package/extensions/dashboard-client/src/tabs/VectorCortexTab.tsx

@@ -17,6 +17,7 @@ import {
 	fetchVectorCortexPlans,
 	fetchVectorCortexRender,
 	fetchVectorCortexRollout,
+	fetchVectorCortexClosureProof,
 	fetchVectorCortexShards,
 	fetchVectorCortexTopology,
 	resetVectorCortexBreaker,
@@ -28,6 +29,7 @@ import {
 	type VectorCortexPlansView,
 	type VectorCortexRenderView,
 	type VectorCortexRolloutView,
+	type VectorCortexClosureProofView,
 	type VectorCortexShardsView,
 	type VectorCortexTopologyView,
 } from "../api/vector-cortex";
@@ -36,7 +38,10 @@ import { Badge } from "../components/ui/badge";
 import { Metric } from "./VectorCortexMetric";
 import { VectorCortexRenderCard } from "./VectorCortexRenderCard";
 import { VectorCortexRolloutCard } from "./VectorCortexRolloutCard";
+import { VectorCortexClosureCard } from "./VectorCortexClosureCard";
 import { VectorCortexPlansCard } from "./VectorCortexPlansCard";
+import { VectorCortexTopologyCard } from "./VectorCortexTopologyCard";
+import { VectorCortexLedgerCard } from "./VectorCortexLedgerCard";
 
 function ModeChip({ mode, count }: { mode: string; count: number }): React.ReactElement {
 	return (
@@ -61,6 +66,7 @@ export default function VectorCortexTab(): React.ReactElement {
 	const [plans, setPlans] = useState<VectorCortexPlansView | null>(null);
 	const [render, setRender] = useState<VectorCortexRenderView | null>(null);
 	const [rollout, setRollout] = useState<VectorCortexRolloutView | null>(null);
+	const [closureProof, setClosureProof] = useState<VectorCortexClosureProofView | null>(null);
 
 	const poll = useCallback(() => {
 		fetchVectorCortexEvaluation()
@@ -96,6 +102,9 @@ export default function VectorCortexTab(): React.ReactElement {
 		fetchVectorCortexRollout().then(setRollout).catch(() => {
 			/* rollout card is best-effort (VC5C) */
 		});
+		fetchVectorCortexClosureProof().then(setClosureProof).catch(() => {
+			/* closure-optimization card is best-effort (VC6A) */
+		});
 	}, []);
 
 	useEffect(() => {
@@ -246,110 +255,7 @@ export default function VectorCortexTab(): React.ReactElement {
 					)}
 				</CardContent>
 			</Card>
-			<Card>
-				<CardHeader>
-					<div className="flex items-center justify-between">
-						<CardTitle>Derived Cortex Store (VC3A)</CardTitle>
-						{topology?.enabled ? (
-							<Badge variant="success">ACTIVE</Badge>
-						) : (
-							<Badge variant="danger">OFF</Badge>
-						)}
-					</div>
-				</CardHeader>
-				<CardContent>
-					{!topology?.enabled ? (
-						<div className="vc-empty">Cortex store disabled (VC3A off).</div>
-					) : (
-						<>
-						<div className="grid grid-cols-2 gap-4 md:grid-cols-3">
-							<Metric label="Generation" value={topology.generationId ?? "—"} />
-							<Metric label="Ordinal" value={topology.ordinal ?? "—"} />
-							<Metric label="Records" value={String(topology.recordCount)} />
-							<Metric label="Frontier (HW)" value={topology.sourceHighWater} />
-							<Metric
-								label="Root digest"
-								value={topology.rootDigest ? topology.rootDigest.slice(0, 16) : "—"}
-							/>
-							{topology.nodes !== undefined && (
-								<>
-									<Metric
-										label="Nodes"
-										value={String(topology.nodes?.length ?? 0)}
-									/>
-									<Metric
-										label="Edges"
-										value={String(topology.edges?.length ?? 0)}
-									/>
-									<Metric
-										label="Graph digest"
-										value={
-											topology.generationDigest
-												? topology.generationDigest.slice(0, 16)
-												: "—"
-										}
-									/>
-								</>
-							)}
-						</div>
-						{topology.nodes !== undefined &&
-							(topology.edges?.length ?? 0) > 0 && (
-								<div className="mt-4 max-h-56 overflow-y-auto">
-									<div className="mb-1 text-xs font-medium text-muted-foreground">
-										Topology edges (VC3B)
-									</div>
-									<table className="w-full text-left text-xs">
-										<thead>
-											<tr className="border-b border-border/50 text-muted-foreground">
-												<th className="py-1 pr-2">source</th>
-												<th className="py-1 pr-2">target</th>
-												<th className="py-1 pr-2">head</th>
-												<th className="py-1 pr-2">dir</th>
-												<th className="py-1">score</th>
-											</tr>
-										</thead>
-										<tbody>
-											{topology.edges?.map((e, i) => (
-												<tr
-													key={`${e.source}-${e.target}-${e.head}-${i}`}
-													className="border-b border-border/30"
-												>
-													<td className="py-1 pr-2 font-mono">{e.source}</td>
-													<td className="py-1 pr-2 font-mono">{e.target}</td>
-													<td className="py-1 pr-2 font-mono">{e.head}</td>
-													<td className="py-1 pr-2">{e.direction}</td>
-													<td className="py-1 font-mono">{e.score}</td>
-												</tr>
-											))}
-										</tbody>
-									</table>
-								</div>
-							)}
-						</>
-					)}
-				</CardContent>
-			</Card>
-			<Card>
-				<CardHeader>
-					<div className="flex items-center justify-between">
-						<CardTitle>Topology Query Diagnostics (VC3C)</CardTitle>
-						{query?.enabled ? (
-							<Badge variant="success">ACTIVE</Badge>
-						) : (
-							<Badge variant="danger">OFF</Badge>
-						)}
-					</div>
-				</CardHeader>
-				<CardContent>
-					{!query?.enabled ? (
-						<div className="vc-empty">Query diagnostics unavailable (VC3C off).</div>
-					) : (
-						<div className="grid grid-cols-2 gap-4 md:grid-cols-3">
-							<Metric label="Router version" value={String(query.routerVersion)} />
-						</div>
-					)}
-				</CardContent>
-			</Card>
+			<VectorCortexTopologyCard topology={topology} query={query} />
 			<Card>
 				<CardHeader>
 					<div className="flex items-center justify-between">
@@ -413,66 +319,8 @@ export default function VectorCortexTab(): React.ReactElement {
 			<VectorCortexPlansCard view={plans} />
 			<VectorCortexRenderCard view={render} />
 			<VectorCortexRolloutCard view={rollout} />
-			<Card>
-				<CardHeader>
-					<div className="flex items-center justify-between">
-						<CardTitle>Occurrence Ledger (VC1B)</CardTitle>
-						{ledger?.enabled ? (
-							<Badge variant="success">ACTIVE</Badge>
-						) : (
-							<Badge variant="danger">OFF</Badge>
-						)}
-					</div>
-				</CardHeader>
-				<CardContent>
-					{!ledger?.enabled ? (
-						<div className="vc-empty">Ledger disabled (VC1B off).</div>
-					) : (
-						<>
-							<div className="mb-3 grid grid-cols-2 gap-4 md:grid-cols-3">
-								<Metric label="Session" value={ledger.session} />
-								<Metric label="High-water" value={ledger.highWater} />
-								<Metric label="Occurrences" value={String(ledger.count)} />
-							</div>
-							{ledger.occurrences.length === 0 ? (
-								<div className="vc-empty">No occurrences recorded.</div>
-							) : (
-								<div className="max-h-64 overflow-y-auto">
-									<table className="w-full text-left text-xs">
-										<thead>
-											<tr className="border-b border-border/50 text-muted-foreground">
-												<th className="py-1 pr-2">seq</th>
-												<th className="py-1 pr-2">eventId</th>
-												<th className="py-1 pr-2">kind</th>
-												<th className="py-1 pr-2">toolCall</th>
-												<th className="py-1">digest</th>
-											</tr>
-										</thead>
-										<tbody>
-											{ledger.occurrences.map((o) => (
-												<tr
-													key={`${o.seq}-${o.eventId}`}
-													className="border-b border-border/30"
-												>
-													<td className="py-1 pr-2 font-mono">{o.seq}</td>
-													<td className="py-1 pr-2 font-mono">{o.eventId}</td>
-													<td className="py-1 pr-2">{o.kind}</td>
-													<td className="py-1 pr-2 font-mono">
-														{o.toolCallId ?? "\u2014"}
-													</td>
-													<td className="max-w-[180px] truncate font-mono text-muted-foreground">
-														{o.digest}
-													</td>
-												</tr>
-											))}
-										</tbody>
-									</table>
-								</div>
-							)}
-						</>
-					)}
-				</CardContent>
-			</Card>
+			<VectorCortexClosureCard view={closureProof} />
+			<VectorCortexLedgerCard ledger={ledger} />
 		</div>
 	);
 }

package/extensions/dashboard-client/src/tabs/VectorCortexTopologyCard.tsx

@@ -0,0 +1,131 @@
+/**
+ * VectorCortexTopologyCard.tsx — VC3A/VC3B topology + VC3C query diagnostics cards.
+ *
+ * Extracted from VectorCortexTab.tsx to keep the parent tab under the 400-line
+ * extension soft limit (delegate-shell + impl-card pattern).
+ */
+
+import type {
+  VectorCortexTopologyView,
+  VectorCortexQueryView,
+} from "../api/vector-cortex";
+import { Card, CardContent, CardHeader, CardTitle } from "../components/ui/card";
+import { Badge } from "../components/ui/badge";
+import { Metric } from "./VectorCortexMetric";
+
+export function VectorCortexTopologyCard({
+  topology,
+  query,
+}: {
+  topology: VectorCortexTopologyView | null;
+  query: VectorCortexQueryView | null;
+}): React.ReactElement {
+  return (
+    <>
+      <Card>
+        <CardHeader>
+          <div className="flex items-center justify-between">
+            <CardTitle>Derived Cortex Store (VC3A)</CardTitle>
+            {topology?.enabled ? (
+              <Badge variant="success">ACTIVE</Badge>
+            ) : (
+              <Badge variant="danger">OFF</Badge>
+            )}
+          </div>
+        </CardHeader>
+        <CardContent>
+          {!topology?.enabled ? (
+            <div className="vc-empty">Cortex store disabled (VC3A off).</div>
+          ) : (
+            <>
+              <div className="grid grid-cols-2 gap-4 md:grid-cols-3">
+                <Metric label="Generation" value={topology.generationId ?? "—"} />
+                <Metric label="Ordinal" value={topology.ordinal ?? "—"} />
+                <Metric label="Records" value={String(topology.recordCount)} />
+                <Metric label="Frontier (HW)" value={topology.sourceHighWater} />
+                <Metric
+                  label="Root digest"
+                  value={topology.rootDigest ? topology.rootDigest.slice(0, 16) : "—"}
+                />
+                {topology.nodes !== undefined && (
+                  <>
+                    <Metric
+                      label="Nodes"
+                      value={String(topology.nodes?.length ?? 0)}
+                    />
+                    <Metric
+                      label="Edges"
+                      value={String(topology.edges?.length ?? 0)}
+                    />
+                    <Metric
+                      label="Graph digest"
+                      value={
+                        topology.generationDigest
+                          ? topology.generationDigest.slice(0, 16)
+                          : "—"
+                      }
+                    />
+                  </>
+                )}
+              </div>
+              {topology.nodes !== undefined &&
+                (topology.edges?.length ?? 0) > 0 && (
+                  <div className="mt-4 max-h-56 overflow-y-auto">
+                    <div className="mb-1 text-xs font-medium text-muted-foreground">
+                      Topology edges (VC3B)
+                    </div>
+                    <table className="w-full text-left text-xs">
+                      <thead>
+                        <tr className="border-b border-border/50 text-muted-foreground">
+                          <th className="py-1 pr-2">source</th>
+                          <th className="py-1 pr-2">target</th>
+                          <th className="py-1 pr-2">head</th>
+                          <th className="py-1 pr-2">dir</th>
+                          <th className="py-1">score</th>
+                        </tr>
+                      </thead>
+                      <tbody>
+                        {topology.edges?.map((e, i) => (
+                          <tr
+                            key={`${e.source}-${e.target}-${e.head}-${i}`}
+                            className="border-b border-border/30"
+                          >
+                            <td className="py-1 pr-2 font-mono">{e.source}</td>
+                            <td className="py-1 pr-2 font-mono">{e.target}</td>
+                            <td className="py-1 pr-2 font-mono">{e.head}</td>
+                            <td className="py-1 pr-2">{e.direction}</td>
+                            <td className="py-1 font-mono">{e.score}</td>
+                          </tr>
+                        ))}
+                      </tbody>
+                    </table>
+                  </div>
+                )}
+            </>
+          )}
+        </CardContent>
+      </Card>
+      <Card>
+        <CardHeader>
+          <div className="flex items-center justify-between">
+            <CardTitle>Topology Query Diagnostics (VC3C)</CardTitle>
+            {query?.enabled ? (
+              <Badge variant="success">ACTIVE</Badge>
+            ) : (
+              <Badge variant="danger">OFF</Badge>
+            )}
+          </div>
+        </CardHeader>
+        <CardContent>
+          {!query?.enabled ? (
+            <div className="vc-empty">Query diagnostics unavailable (VC3C off).</div>
+          ) : (
+            <div className="grid grid-cols-2 gap-4 md:grid-cols-3">
+              <Metric label="Router version" value={String(query.routerVersion)} />
+            </div>
+          )}
+        </CardContent>
+      </Card>
+    </>
+  );
+}

package/extensions/dashboard-client/src/types/vector-cortex.ts

@@ -208,3 +208,17 @@ export interface VectorCortexRolloutView {
   promotionBlocked: boolean;
   updatedAt: string;
 }
+
+/** Reader-only closure-optimization diagnostics view (VC6A). Aggregate only. */
+export interface VectorCortexClosureProofView {
+  enabled: boolean;
+  mode: "A" | "B" | "C";
+  optimizations: number;
+  proofRejections: number;
+  retainedEdgeTotal: number;
+  removedEdgeTotal: number;
+  conservativeTraversalTotal: number;
+  optimizedTraversalTotal: number;
+  lastRejection: string | null;
+  updatedAt: string;
+}

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

@@ -0,0 +1,43 @@
+/**
+ * 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.
+ */
+
+/**
+ * Reader-only closure-optimization diagnostics view for
+ * GET /api/vector-cortex/closure-proof (VC6A).
+ *
+ * AGGREGATE + IDENTITY ONLY: counts and the runtime mode. It deliberately does
+ * NOT carry the per-edge proof rows, node ids, the closed selection, or any
+ * source payload (SECURITY_PRIVACY — reader-only, no ledger text rendered through
+ * a diagnostic surface). The detailed proof lives in the structured event log,
+ * not the dashboard.
+ */
+export interface VectorCortexClosureProofView {
+  /** Whether the VC6A advanced-closure-optimization flag is enabled. */
+  readonly enabled: boolean;
+  /** Runtime triad mode of the most recent closure: "A" | "B" | "C". */
+  readonly mode: "A" | "B" | "C";
+  /** Total optimizations produced (event counter). */
+  readonly optimizations: number;
+  /** Total proofs rejected by the verifier (event counter). */
+  readonly proofRejections: number;
+  /** Cumulative retained edges across observed optimizations. */
+  readonly retainedEdgeTotal: number;
+  /** Cumulative removed edges across observed optimizations. */
+  readonly removedEdgeTotal: number;
+  /** Cumulative conservative traversal-walk count. */
+  readonly conservativeTraversalTotal: number;
+  /** Cumulative optimized traversal-walk count. */
+  readonly optimizedTraversalTotal: number;
+  /** Last rejection reason (a HEAL_* code), or null if none yet. */
+  readonly lastRejection: string | null;
+  /** ISO timestamp of the snapshot. */
+  readonly updatedAt: string;
+}

package/extensions/dashboard-server/api-contracts/vector-cortex.ts

@@ -373,3 +373,5 @@ export interface VectorCortexLedgerView {
   /** ISO timestamp of the snapshot. */
   readonly updatedAt: string;
 }
+
+export type { VectorCortexClosureProofView } from "./vector-cortex-heal.js";

package/extensions/dashboard-server/route-dispatch.ts

@@ -0,0 +1,112 @@
+/**
+ * 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 type { IncomingMessage, ServerResponse } from "node:http";
+import type { RouteContext } from "./routes-core.js";
+
+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: IncomingMessage,
+	res: ServerResponse,
+	ctx: RouteContext,
+): boolean {
+	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/extensions/dashboard-server/routes-rag-settings-vector-cortex.ts

@@ -138,5 +138,11 @@ export const VECTOR_CORTEX_SETTINGS: SettingGroup = {
 			"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/extensions/dashboard-server/routes-vector-cortex-heal.ts

@@ -0,0 +1,56 @@
+/**
+ * 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 type { IncomingMessage, ServerResponse } from "node:http";
+import type { RouteContext } from "./routes-core.js";
+import { VC6A_ENABLED } from "../../src/config.js";
+import { sendJson } from "./routes-vector-cortex-shared.js";
+import type { VectorCortexClosureProofView } from "./api-contracts/vector-cortex.js";
+
+/** Reader-only GET /api/vector-cortex/closure-proof (VC6A). */
+export function handleVectorCortexClosureProof(
+  req: IncomingMessage,
+  res: ServerResponse,
+  _ctx: RouteContext,
+): boolean {
+  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: "A" | "B" | "C" = enabled ? "A" : "B";
+  const body: VectorCortexClosureProofView = {
+    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/extensions/dashboard-server/routes-vector-cortex.ts

@@ -25,3 +25,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/extensions/dashboard-server/routes.ts

@@ -53,4 +53,5 @@ export {
 	handleVectorCortexPlans,
 	handleVectorCortexRender,
 	handleVectorCortexRollout,
+	handleVectorCortexClosureProof,
 } from "./routes-vector-cortex.js";