pi-mega-compact 0.20.14 → 0.20.16

package/src/vector-cortex/migrations/request-hash-v2-types.ts

@@ -0,0 +1,87 @@
+/**
+ * request-hash-v2-types.ts — M5 request-hash-v2 migration types.
+ *
+ * Extracted from request-hash-v2.ts to keep the parent file under the 300-line
+ * soft limit (soft-as-hard gate). Pure type + constant definitions; no logic.
+ * PREVENT-002/011/PI-004 honored.
+ */
+
+/** The active-version value the v2 pointer is switched to. */
+export const REQUEST_HASH_V2_VERSION = 2;
+/** The legacy (predecessor) active version. */
+export const REQUEST_HASH_LEGACY_VERSION = 1;
+
+/** M5 failure codes. */
+export const M5_FAIL = {
+  COPY_PARTIAL: "M5_COPY_PARTIAL",
+  COUNT_MISMATCH: "M5_COUNT_MISMATCH",
+  DIGEST_MISMATCH: "M5_DIGEST_MISMATCH",
+  IDENTITY_DRIFT: "M5_IDENTITY_DRIFT",
+  /** Two distinct v1 rows map to the same v2 hash — blocks the switch. (VC7C) */
+  REQUEST_HASH_COLLISION: "M5_REQUEST_HASH_COLLISION",
+  /** The active pointer is not on v1; switching would be a no-op or a regression. */
+  NOT_ON_LEGACY: "M5_NOT_ON_LEGACY",
+} as const;
+export type M5MigrationCode = (typeof M5_FAIL)[keyof typeof M5_FAIL];
+
+/**
+ * Registered M5 conformance IDs (M5-001..020). The acceptance test reads these
+ * rows from the v2 `migrations/` domain and asserts each returns its manifest
+ * bytes or exactly its listed failure code. Mirrors M6_IDS / M4_IDS.
+ */
+export const M5_IDS: readonly string[] = Array.from(
+  { length: 20 },
+  (_v, i) => `M5-${String(i + 1).padStart(3, "0")}`,
+);
+
+/** Named M5 rows surfaced by the conformance corpus (mirrors M6_NAMED_IDS). */
+export const M5_NAMED_IDS = ["M5-COLLIDE-002"] as const;
+
+/** A predecessor (v1) request-hash row. */
+export interface RequestHashV1Row {
+  readonly profileId: string;
+  /** BARE lowercase hex canonical request digest (VC5B convention). */
+  readonly requestDigest: string;
+  /** The v1 cache-identity hash derived from the request. */
+  readonly hash: string;
+}
+
+/**
+ * A v2 request-hash row. Identity is `(profileId, requestDigest)` — unchanged
+ * from v1, which is the point: only `hash` is re-derived, now folding in the
+ * economics version.
+ */
+export interface RequestHashV2Row {
+  readonly profileId: string;
+  readonly requestDigest: string;
+  /** Economics version folded into the v2 hash (absent in v1). */
+  readonly economicsVersion: string;
+  /** The v2 cache-identity hash. */
+  readonly hash: string;
+}
+
+/** The host the migration reads from / writes to (capability-shaped). */
+export interface M5Host {
+  /** Every predecessor row being migrated. */
+  readonly v1Rows: () => readonly RequestHashV1Row[];
+  /** The economics version to fold in, per profile. */
+  readonly economicsVersionOf: (profileId: string) => string;
+  /** The session a profile belongs to, for M6 generation invalidation lookup. */
+  readonly sessionOf: (profileId: string) => string;
+  /** The currently live M6 generation for a session (for invalidation checks). */
+  readonly liveGenerationOf: (session: string) => bigint;
+  /** Persisted v2 rows already written (for resume). */
+  readonly existingV2: () => readonly RequestHashV2Row[];
+  /** Idempotent write of v2 rows (never mutates v1 rows). */
+  readonly putV2: (rows: readonly RequestHashV2Row[]) => void;
+  /** The currently ACTIVE version (1 = legacy; only v1 → v2 switching). */
+  readonly activeVersion: () => number;
+  /** Atomically flip the active pointer to v2. Mirrors M6Host.switchToV2. */
+  readonly switchToV2: () => void;
+}
+
+/** An M5 validation result. */
+export interface M5ValidateResult {
+  readonly ok: boolean;
+  readonly codes: readonly M5MigrationCode[];
+}

package/src/vector-cortex/migrations/request-hash-v2.ts

@@ -1,228 +1,80 @@
 /**
- * vector-cortex/migrations/request-hash-v2.ts — M5 request-hash-v2, COPY +
- * VALIDATE ONLY (VC7B). The switch lands in VC7C.
+ * vector-cortex/migrations/request-hash-v2.ts — M5 request-hash-v2 migration
+ * (COPY + VALIDATE + SWITCH).
+ *
+ * Delegate-shell: types + constants live in request-hash-v2-types.ts and the
+ * operational logic (copy/verify/switch/collision) lives in
+ * request-hash-v2-ops.ts. This file re-exports the public surface so callers
+ * import from a single module. Split to keep under the 300-line soft limit
+ * (soft-as-hard gate).
  *
  * M5 versions the canonical request hash: the predecessor hashed the outbound
  * request under the v1 scheme; v2 folds in the provider profile's ECONOMICS
  * version so a pricing/TTL/exclusion change cannot silently reuse a cache
  * identity minted under different economics. Like M4/M6 it follows the
- * copy/validate/switch contract — but VC7B deliberately stops after validate:
+ * copy/validate/switch contract:
  *
  *   - copy:     resumable per (profile, request) — an interrupted run resumes
  *               without duplicate rows or active-pointer drift.
  *   - validate: every v1 row has exactly one v2 row, every v2 digest re-hashes
- *               from its own declared fields, and — the M5-specific invariant —
- *               the migration is IDENTITY-PRESERVING: a v2 row must carry the
- *               same `requestDigest` as the v1 row it came from. v2 changes how
- *               a CACHE KEY is derived, never what the request IS. A row whose
- *               request digest drifted is rejected (`M5_IDENTITY_DRIFT`).
- *   - switch:   NOT IMPLEMENTED IN VC7B. `m5Switch` exists so the shape of the
- *               lifecycle is reviewable, but it always refuses with
- *               `M5_SWITCH_DEFERRED` and leaves the active pointer on v1.
+ *               from its own declared fields, the migration is IDENTITY-PRESERVING
+ *               (a v2 row carries the same `requestDigest` as its v1 source — v2
+ *               changes how a CACHE KEY is derived, never what the request IS), and
+ *               — the M5-specific invariant ADDED in VC7C — there are ZERO
+ *               collisions: no two distinct v1 rows may map to one v2 hash. A
+ *               collision (`M5_REQUEST_HASH_COLLISION`) means two different
+ *               conversations would share a cache key, the most dangerous outcome
+ *               in the subsystem, so it blocks the switch outright.
+ *   - switch:   ATOMICALLY flip the active pointer to v2 via `host.switchToV2()`.
+ *               VC7B deferred this; VC7C performs it — but ONLY after re-validating
+ *               against freshly-read host state at switch time.
  *
- * WHY THE SWITCH IS WITHHELD. Flipping the request-hash version invalidates
- * every crystal minted under v1 in one step. VC7C first runs the shadow
- * comparison (v1 vs v2 digests over live traffic) so the blast radius is
- * measured before it is taken. Shipping the switch here would mean flipping it
- * on evidence that does not exist yet — so the function is present, refuses, and
- * says why, rather than being a TODO comment someone later mistakes for done.
- * Old-binary protocol: a reader that predates v2 keeps reading v1 rows, which
- * remain untouched and authoritative for the whole of VC7B.
+ * WHY THE COLLISION CHECK RUNS AT SWITCH TIME, NOT VALIDATE TIME. The brief's
+ * failure-injection contract is explicit: crash after M5 validation, inject a
+ * collision into host state, then resume — and the RESUMED run must detect
+ * `M5_REQUEST_HASH_COLLISION`. If the collision were detected only from the result
+ * of an earlier `m5Verify` call, the cached result would be replayed and the
+ * injected collision would be invisible. So `m5Switch` RE-READS the host (`v1Rows`,
+ * `existingV2`, `activeVersion`) and RE-RUNS the collision check against that live
+ * state. Validation is a precondition; the switch is the only place that proves the
+ * hazard is absent *right now*. This is the same resume-after-crash discipline as
+ * M4/M6: a migration that trusts a stale verification is a migration that loses
+ * data on restart.
  *
- * Pure logic over an injected M5Host (deterministic + testable; no console).
- * PREVENT-002/011/PI-004 honored.
- */
-
-import { createHash } from "node:crypto";
-
-/** The active-version value the v2 pointer will be switched to — in VC7C. */
-export const REQUEST_HASH_V2_VERSION = 2;
-/** The legacy (predecessor) active version; VC7B never leaves this. */
-export const REQUEST_HASH_LEGACY_VERSION = 1;
-
-/** M5 failure codes. */
-export const M5_FAIL = {
-  COPY_PARTIAL: "M5_COPY_PARTIAL",
-  COUNT_MISMATCH: "M5_COUNT_MISMATCH",
-  DIGEST_MISMATCH: "M5_DIGEST_MISMATCH",
-  IDENTITY_DRIFT: "M5_IDENTITY_DRIFT",
-  SWITCH_DEFERRED: "M5_SWITCH_DEFERRED",
-} as const;
-export type M5MigrationCode = (typeof M5_FAIL)[keyof typeof M5_FAIL];
-
-/** A predecessor (v1) request-hash row. */
-export interface RequestHashV1Row {
-  readonly profileId: string;
-  /** BARE lowercase hex canonical request digest (VC5B convention). */
-  readonly requestDigest: string;
-  /** The v1 cache-identity hash derived from the request. */
-  readonly hash: string;
-}
-
-/**
- * A v2 request-hash row. Identity is `(profileId, requestDigest)` — unchanged
- * from v1, which is the point: only `hash` is re-derived, now folding in the
- * economics version.
- */
-export interface RequestHashV2Row {
-  readonly profileId: string;
-  readonly requestDigest: string;
-  /** Economics version folded into the v2 hash (absent in v1). */
-  readonly economicsVersion: string;
-  /** The v2 cache-identity hash. */
-  readonly hash: string;
-}
-
-/** The host the migration reads from / writes to (capability-shaped). */
-export interface M5Host {
-  /** Every predecessor row being migrated. */
-  readonly v1Rows: () => readonly RequestHashV1Row[];
-  /** The economics version to fold in, per profile. */
-  readonly economicsVersionOf: (profileId: string) => string;
-  /** Persisted v2 rows already written (for resume). */
-  readonly existingV2: () => readonly RequestHashV2Row[];
-  /** Idempotent write of v2 rows (never mutates v1 rows). */
-  readonly putV2: (rows: readonly RequestHashV2Row[]) => void;
-  /** The currently ACTIVE version (1 = legacy; VC7B never changes it). */
-  readonly activeVersion: () => number;
-}
-
-/** An M5 validation result. */
-export interface M5ValidateResult {
-  readonly ok: boolean;
-  readonly codes: readonly M5MigrationCode[];
-}
-
-/** Length-prefixed framing so the folded fields cannot alias. */
-function field(value: string): string {
-  return `${Buffer.byteLength(value, "utf8")}:${value}`;
-}
-
-/**
- * The authoritative v2 hash: SHA-256 over the version tag, profile, request
- * digest, and economics version. Length-prefixed for injectivity, exactly as the
- * crystal key encoder frames its fields.
- */
-export function deriveRequestHashV2(
-  profileId: string,
-  requestDigest: string,
-  economicsVersion: string,
-): string {
-  return createHash("sha256")
-    .update(
-      field("request-hash-v2") + field(profileId) + field(requestDigest) + field(economicsVersion),
-      "utf8",
-    )
-    .digest("hex");
-}
-
-/** Derive the v2 row for one v1 row. */
-export function deriveRequestHashRow(host: M5Host, v1: RequestHashV1Row): RequestHashV2Row {
-  const economicsVersion = host.economicsVersionOf(v1.profileId);
-  return {
-    profileId: v1.profileId,
-    // IDENTITY-PRESERVING: carried through verbatim, never re-derived.
-    requestDigest: v1.requestDigest,
-    economicsVersion,
-    hash: deriveRequestHashV2(v1.profileId, v1.requestDigest, economicsVersion),
-  };
-}
-
-const identity = (profileId: string, requestDigest: string): string =>
-  `${profileId}::${requestDigest}`;
-
-/**
- * Copy every v1 row into a v2 row BESIDE it (resumable, idempotent). Rows already
- * persisted with a matching derivation are left untouched; absent or stale rows
- * are (re)written from the authoritative derivation. The active pointer is never
- * touched — v1 remains authoritative throughout VC7B.
- */
-export function m5Copy(host: M5Host): {
-  readonly written: readonly RequestHashV2Row[];
-  readonly all: readonly RequestHashV2Row[];
-} {
-  const existing = new Map(host.existingV2().map((r) => [identity(r.profileId, r.requestDigest), r]));
-  const wanted: RequestHashV2Row[] = [];
-  for (const v1 of host.v1Rows()) {
-    const fresh = deriveRequestHashRow(host, v1);
-    const stored = existing.get(identity(v1.profileId, v1.requestDigest));
-    if (
-      stored !== undefined &&
-      stored.hash === fresh.hash &&
-      stored.economicsVersion === fresh.economicsVersion
-    ) {
-      continue; // healthy, already copied
-    }
-    wanted.push(fresh);
-  }
-  if (wanted.length > 0) host.putV2(wanted);
-  return { written: wanted, all: [...host.existingV2()] };
-}
-
-/**
- * Validate the copied set: exactly one v2 row per v1 row, every v2 hash
- * re-derives from its own declared fields, no orphan v2 rows, and every v2 row's
- * request digest equals its v1 source's (identity preservation). Never mutates.
- */
-export function m5Verify(host: M5Host): M5ValidateResult {
-  const codes: M5MigrationCode[] = [];
-  const stored = host.existingV2();
-  const v1Rows = host.v1Rows();
-
-  const counts = new Map<string, number>();
-  for (const r of stored) {
-    const id = identity(r.profileId, r.requestDigest);
-    counts.set(id, (counts.get(id) ?? 0) + 1);
-  }
-
-  const expected = new Set<string>();
-  for (const v1 of v1Rows) {
-    const id = identity(v1.profileId, v1.requestDigest);
-    expected.add(id);
-    const n = counts.get(id) ?? 0;
-    if (n === 0) codes.push(M5_FAIL.COPY_PARTIAL);
-    if (n > 1) codes.push(M5_FAIL.COUNT_MISMATCH);
-  }
-
-  // Every v1 request digest that must survive the migration unchanged.
-  const v1Digests = new Set(v1Rows.map((r) => identity(r.profileId, r.requestDigest)));
-  for (const r of stored) {
-    const fresh = deriveRequestHashV2(r.profileId, r.requestDigest, r.economicsVersion);
-    if (r.hash !== fresh) codes.push(M5_FAIL.DIGEST_MISMATCH);
-    const id = identity(r.profileId, r.requestDigest);
-    // A v2 row whose identity has no v1 source either drifted or is an orphan.
-    if (!v1Digests.has(id)) {
-      codes.push(expected.size > 0 ? M5_FAIL.IDENTITY_DRIFT : M5_FAIL.COUNT_MISMATCH);
-    }
-  }
-
-  return { ok: codes.length === 0, codes: dedupe(codes) };
-}
-
-/**
- * The switch — DEFERRED TO VC7C BY DESIGN.
+ * M6 INVALIDATION CONSUMPTION. A v2 request hash is only as trustworthy as the
+ * generation it was minted under. The switch consumes M6's structured invalidation
+ * keys via the REAL API (`invalidationKey` from `../topology/query.js`) rather than
+ * inventing one: when a v2 row's economics version maps to an invalidated router
+ * generation, that row cannot be promoted to active. We do not re-derive a
+ * generation here — topology is the authority on what generation is live — we only
+ * refuse to switch a row whose generation is dead. This keeps M5 from resurrecting
+ * cache identities tied to a generation the router has already invalidated.
  *
- * Always refuses and always leaves the active pointer on v1. It exists so the
- * lifecycle is complete and reviewable, and so a caller that tries to switch
- * early gets an explicit `M5_SWITCH_DEFERRED` instead of silence.
- */
-export function m5Switch(host: M5Host): M5ValidateResult {
-  void host;
-  return { ok: false, codes: [M5_FAIL.SWITCH_DEFERRED] };
-}
-
-/**
- * The VC7B M5 lifecycle: copy -> verify. NO SWITCH. Returns the verify result;
- * the active version pointer is guaranteed to still be
- * `REQUEST_HASH_LEGACY_VERSION` on return.
+ * PREVENT-002/011/PI-004 honored.
  */
-export function migrateRequestHashV2CopyValidate(host: M5Host): M5ValidateResult {
-  m5Copy(host);
-  return m5Verify(host);
-}
 
-function dedupe(codes: readonly M5MigrationCode[]): M5MigrationCode[] {
-  const out: M5MigrationCode[] = [];
-  for (const c of codes) if (!out.includes(c)) out.push(c);
-  return out;
-}
+export {
+  REQUEST_HASH_V2_VERSION,
+  REQUEST_HASH_LEGACY_VERSION,
+  M5_FAIL,
+  M5_IDS,
+  M5_NAMED_IDS,
+} from "./request-hash-v2-types.js";
+export type {
+  M5MigrationCode,
+  RequestHashV1Row,
+  RequestHashV2Row,
+  M5Host,
+  M5ValidateResult,
+} from "./request-hash-v2-types.js";
+
+export {
+  deriveRequestHashV2,
+  deriveRequestHashRow,
+  detectCollision,
+  isGenerationInvalidated,
+  m5Copy,
+  m5Verify,
+  m5Switch,
+  migrateRequestHashV2,
+} from "./request-hash-v2-ops.js";

package/extensions/dashboard-client/dist/assets/VectorCortexTab-BBa7rp6C.js

@@ -1,2 +0,0 @@
-import{j as e,B as r,r as n}from"./index-DVdDtRY4.js";import{C as o,a as d,b as i,c as x}from"./card-DXFuZph_.js";async function J(){const s=await fetch("/api/vector-cortex/evaluation");if(!s.ok)throw new Error(`vector-cortex evaluation: ${s.status}`);return s.json()}async function C(){const s=await fetch("/api/vector-cortex/health");if(!s.ok)throw new Error(`vector-cortex health: ${s.status}`);return s.json()}async function X(){const s=await fetch("/api/vector-cortex/topology");if(!s.ok)throw new Error(`vector-cortex topology: ${s.status}`);return s.json()}async function ee(){const s=await fetch("/api/vector-cortex/query");if(!s.ok)throw new Error(`vector-cortex query: ${s.status}`);return s.json()}async function se(){const s=await fetch("/api/vector-cortex/shards");if(!s.ok)throw new Error(`vector-cortex shards: ${s.status}`);return s.json()}async function te(){const s=await fetch("/api/vector-cortex/reconstruct");if(!s.ok)throw new Error(`vector-cortex reconstruct: ${s.status}`);return s.json()}async function re(){const s=await fetch("/api/vector-cortex/plans");if(!s.ok)throw new Error(`vector-cortex plans: ${s.status}`);return s.json()}async function ae(){const s=await fetch("/api/vector-cortex/render");if(!s.ok)throw new Error(`vector-cortex render: ${s.status}`);return s.json()}async function ne(){const s=await fetch("/api/vector-cortex/rollout");if(!s.ok)throw new Error(`vector-cortex rollout: ${s.status}`);return s.json()}async function le(){const s=await fetch("/api/vector-cortex/closure-proof");if(!s.ok)throw new Error(`vector-cortex closure-proof: ${s.status}`);return s.json()}async function ce(){const s=await fetch("/api/vector-cortex/restore");if(!s.ok)throw new Error(`vector-cortex restore: ${s.status}`);return s.json()}async function oe(){const s=await fetch("/api/vector-cortex/repair");if(!s.ok)throw new Error(`vector-cortex repair: ${s.status}`);return s.json()}async function de(s="default"){const a=await fetch(`/api/vector-cortex/ledger?session=${encodeURIComponent(s)}`);if(!a.ok)throw new Error(`vector-cortex ledger: ${a.status}`);return a.json()}async function ie(s){const a=await fetch("/api/vector-cortex/breakers/reset",{method:"POST",headers:{"Content-Type":"application/json"},body:JSON.stringify({subsystem:s})});if(!a.ok)throw new Error(`vector-cortex reset: ${a.status}`);return a.json()}async function xe(){const s=await fetch("/api/vector-cortex/cache-crystals");if(!s.ok)throw new Error(`vector-cortex cache-crystals: ${s.status}`);return s.json()}async function ue(){const s=await fetch("/api/vector-cortex/cache-economics");if(!s.ok)throw new Error(`vector-cortex cache-economics: ${s.status}`);return s.json()}function t({label:s,value:a}){return e.jsxs("div",{children:[e.jsx("div",{className:"text-xs text-muted-foreground",children:s}),e.jsx("div",{className:"font-mono text-sm",children:a})]})}function he({view:s}){return e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Validated Prompt Renderer (VC5B)"}),s?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:s?.enabled?e.jsxs(e.Fragment,{children:[e.jsxs("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-4",children:[e.jsx(t,{label:"Render fixtures",value:String(s.renderCount)}),e.jsx(t,{label:"Provider profiles",value:String(s.providerCount)}),e.jsx(t,{label:"Known profiles",value:String(s.knownProfiles.length)})]}),e.jsx("div",{className:"mt-3 text-xs text-muted-foreground",children:"Reader-only render conformance route — no prompt text or session payloads exposed."})]}):e.jsx("div",{className:"vc-empty",children:"Renderer disabled (VC5B off)."})})]})}function je({view:s}){return e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Live Graduated Rollout (VC5C)"}),s?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:s?.enabled?e.jsxs(e.Fragment,{children:[e.jsxs("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-4",children:[e.jsx(t,{label:"Gate",value:`${s.gatePct}%`}),e.jsx(t,{label:"Exposed buckets",value:String(s.bucketCount)}),e.jsx(t,{label:"Total buckets",value:String(s.buckets)}),e.jsx(t,{label:"Promotion",value:s.promotionBlocked?"FROZEN":"OPEN"}),e.jsx(t,{label:"Events",value:String(s.events)}),e.jsx(t,{label:"Sessions",value:String(s.sessions)})]}),e.jsx("div",{className:"mt-3 text-xs text-muted-foreground",children:"Reader-only rollout route — no session payloads or bucket→session mappings exposed."})]}):e.jsx("div",{className:"vc-empty",children:"Rollout disabled (VC5C off)."})})]})}function me({view:s}){return e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Closure Optimization (VC6A)"}),s?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:s?.enabled?e.jsxs(e.Fragment,{children:[e.jsxs("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-4",children:[e.jsx(t,{label:"Mode",value:s.mode}),e.jsx(t,{label:"Optimizations",value:String(s.optimizations)}),e.jsx(t,{label:"Proof rejections",value:String(s.proofRejections)}),e.jsx(t,{label:"Last rejection",value:s.lastRejection??"none"}),e.jsx(t,{label:"Retained edges",value:String(s.retainedEdgeTotal)}),e.jsx(t,{label:"Removed edges",value:String(s.removedEdgeTotal)}),e.jsx(t,{label:"Conservative walks",value:String(s.conservativeTraversalTotal)}),e.jsx(t,{label:"Optimized walks",value:String(s.optimizedTraversalTotal)})]}),e.jsx("div",{className:"mt-3 text-xs text-muted-foreground",children:"Reader-only closure diagnostics — aggregate counts only; per-edge proof rows, node ids, and source payloads are never exposed (SECURITY_PRIVACY)."})]}):e.jsx("div",{className:"vc-empty",children:"Closure optimization disabled (VC6A off) — conservative VC4C closure used directly (mode B)."})})]})}function ge({view:s}){return e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Exact Source Restoration (VC6B)"}),s?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:s?.enabled?e.jsxs(e.Fragment,{children:[e.jsxs("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-4",children:[e.jsx(t,{label:"Mode",value:s.mode}),e.jsx(t,{label:"Restore attempts",value:String(s.restoreAttempts)}),e.jsx(t,{label:"Restored",value:String(s.restoredCount)}),e.jsx(t,{label:"Missing source",value:String(s.missingCount)}),e.jsx(t,{label:"Digest rejections",value:String(s.digestRejections)}),e.jsx(t,{label:"Last rejection",value:s.lastRejection??"none"}),e.jsx(t,{label:"Updated",value:s.updatedAt})]}),e.jsx("div",{className:"mt-3 text-xs text-muted-foreground",children:"Reader-only restore diagnostics — counts and HEAL_RESTORE_* codes only. There is no payload endpoint: restored bytes, span ids, node ids, and ledger text are never exposed (SECURITY_PRIVACY)."})]}):e.jsx("div",{className:"vc-empty",children:"Exact source restoration disabled (VC6B off) — no exact source is restored; omitted context is disclosed as loss (mode C)."})})]})}function fe({view:s}){return e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Self-Healing Derived State (VC6C)"}),s?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:s?.enabled?e.jsxs(e.Fragment,{children:[e.jsxs("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-4",children:[e.jsx(t,{label:"Mode",value:s.mode}),e.jsx(t,{label:"Repair attempts",value:String(s.repairAttempts)}),e.jsx(t,{label:"Repairs planned",value:String(s.repairsPlanned)}),e.jsx(t,{label:"Pointers switched",value:String(s.pointersSwitched)}),e.jsx(t,{label:"Backoffs",value:String(s.backoffs)}),e.jsx(t,{label:"Last backoff",value:s.lastBackoffMs===null?"none":`${s.lastBackoffMs}ms`}),e.jsx(t,{label:"Last failure",value:s.lastFailure??"none"}),e.jsx(t,{label:"Updated",value:s.updatedAt})]}),e.jsx("div",{className:"mt-3 text-xs text-muted-foreground",children:"Reader-only repair diagnostics — counts and HEAL_REPAIR_* codes only. There is no payload endpoint: subsystem source bytes, gap ranges, high-water marks, root digests, and ledger text are never exposed (SECURITY_PRIVACY)."})]}):e.jsx("div",{className:"vc-empty",children:"Self-healing derived state disabled (VC6C off) — no controller detects gaps or rebuilds derived state; derived state is reported disabled rather than healed (mode C)."})})]})}function ve({view:s}){return e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Frozen Range Crystals (VC7A)"}),s?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:s?.enabled?e.jsxs(e.Fragment,{children:[e.jsxs("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-4",children:[e.jsx(t,{label:"Mode",value:s.mode}),e.jsx(t,{label:"Crystals",value:String(s.crystalCount)}),e.jsx(t,{label:"Frozen bytes",value:String(s.totalBytes)}),e.jsx(t,{label:"Hits",value:String(s.hits)}),e.jsx(t,{label:"Misses",value:String(s.misses)}),e.jsx(t,{label:"Hit bytes",value:String(s.hitBytes)}),e.jsx(t,{label:"Writes",value:String(s.writes)}),e.jsx(t,{label:"Duplicate writes",value:String(s.duplicateWrites)}),e.jsx(t,{label:"Collisions",value:String(s.collisions)}),e.jsx(t,{label:"Last failure",value:s.lastFailure??"none"}),e.jsx(t,{label:"Updated",value:s.updatedAt})]}),e.jsx("div",{className:"mt-3 text-xs text-muted-foreground",children:"Reader-only crystal diagnostics — counts, byte volumes, and CRY_* codes only. A crystal is a frozen rendered prompt, so frozen bytes, covered ranges, span/covered digests, request digests, and session ids are never exposed (SECURITY_PRIVACY). Keys exclude the global ledger frontier, so an unrelated append does not invalidate a crystal; a covered-byte, dependency, renderer, or profile change does. Collisions mean two renders of one identity disagreed — the stored crystal is never overwritten."})]}):e.jsx("div",{className:"vc-empty",children:"Frozen range crystals disabled (VC7A off) — nothing is served from the crystal cache and every render is produced fresh; the cache is reported bypassed rather than hit (mode C)."})})]})}function pe({view:s}){return e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Cache Economics (VC7B)"}),s?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:s?.enabled?e.jsxs(e.Fragment,{children:[e.jsxs("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-4",children:[e.jsx(t,{label:"Mode",value:s.mode}),e.jsx(t,{label:"Profiles",value:String(s.profileCount)}),e.jsx(t,{label:"Proven exclusions",value:String(s.provenExclusions)}),e.jsx(t,{label:"Unproven exclusions",value:String(s.unprovenExclusions)}),e.jsx(t,{label:"Last failure",value:s.lastFailure??"none"}),e.jsx(t,{label:"Updated",value:s.updatedAt})]}),e.jsx("div",{className:"mt-3 text-xs text-muted-foreground",children:"Reader-only cache-economics diagnostics — counts and ECON_* codes only. Cache economics price a frozen rendered prompt's reuse, so provider prices, covered ranges, span/covered digests, request digests, and session ids are never exposed (SECURITY_PRIVACY). An unproven exclusion (declared without a proving fixture id) is rejected by the exclusion-proof rule and is reported here only as a count."})]}):e.jsx("div",{className:"vc-empty",children:"Cache economics disabled (VC7B off) — no cache reuse is priced; the cache-economics surface is reported bypassed rather than priced (mode C)."})})]})}function be({view:s}){return e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Dual-Tier Shards (VC4A)"}),s?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:s?.enabled?e.jsxs(e.Fragment,{children:[e.jsxs("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-4",children:[e.jsx(t,{label:"Semantic shards",value:String(s.semanticCount)}),e.jsx(t,{label:"Exact shards",value:String(s.exactCount)}),e.jsx(t,{label:"Byte total",value:String(s.byteTotal)}),e.jsx(t,{label:"Protected bytes",value:String(s.protectedByteTotal)})]}),e.jsx("div",{className:"mt-3 text-xs text-muted-foreground",children:"Reader-only count/byte aggregate; staged in-memory this sprint."})]}):e.jsx("div",{className:"vc-empty",children:"Dual-tier shards disabled (VC4A off)."})})]})}function Ce({view:s}){return e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Reconstruction Fidelity (VC4C)"}),s?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:s?.enabled?e.jsxs(e.Fragment,{children:[e.jsxs("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-4",children:[e.jsx(t,{label:"Closure attempts",value:String(s.closureAttempts)}),e.jsx(t,{label:"Closure rejections",value:String(s.closureRejections)}),e.jsx(t,{label:"Validated",value:String(s.validatedCount)}),e.jsx(t,{label:"Invalidated",value:String(s.invalidatedCount)}),e.jsx(t,{label:"Span total",value:String(s.spanTotal)}),e.jsx(t,{label:"Byte total",value:String(s.byteTotal)})]}),e.jsx("div",{className:"mt-3 text-xs text-muted-foreground",children:"Reader-only closure/validation aggregate; staged in-memory this sprint."})]}):e.jsx("div",{className:"vc-empty",children:"Reconstruction fidelity disabled (VC4C off)."})})]})}function ye({view:s}){return e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Plan Manifests (VC5A)"}),s?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:s?.enabled?e.jsxs(e.Fragment,{children:[e.jsxs("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-4",children:[e.jsx(t,{label:"DAG fixtures",value:String(s.dagCount)}),e.jsx(t,{label:"Plan fixtures",value:String(s.plannerCount)}),e.jsx(t,{label:"Plans exposed",value:String(s.plans.length)})]}),e.jsx("div",{className:"mt-3 text-xs text-muted-foreground",children:"Reader-only plan manifests only — no session payloads or prompt text. Per-run plan outputs are staged in-memory this sprint."})]}):e.jsx("div",{className:"vc-empty",children:"PromptDagV1 + budgeted planner disabled (VC5A off)."})})]})}function Ne({topology:s,query:a}){return e.jsxs(e.Fragment,{children:[e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Derived Cortex Store (VC3A)"}),s?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:s?.enabled?e.jsxs(e.Fragment,{children:[e.jsxs("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-3",children:[e.jsx(t,{label:"Generation",value:s.generationId??"—"}),e.jsx(t,{label:"Ordinal",value:s.ordinal??"—"}),e.jsx(t,{label:"Records",value:String(s.recordCount)}),e.jsx(t,{label:"Frontier (HW)",value:s.sourceHighWater}),e.jsx(t,{label:"Root digest",value:s.rootDigest?s.rootDigest.slice(0,16):"—"}),s.nodes!==void 0&&e.jsxs(e.Fragment,{children:[e.jsx(t,{label:"Nodes",value:String(s.nodes?.length??0)}),e.jsx(t,{label:"Edges",value:String(s.edges?.length??0)}),e.jsx(t,{label:"Graph digest",value:s.generationDigest?s.generationDigest.slice(0,16):"—"})]})]}),s.nodes!==void 0&&(s.edges?.length??0)>0&&e.jsxs("div",{className:"mt-4 max-h-56 overflow-y-auto",children:[e.jsx("div",{className:"mb-1 text-xs font-medium text-muted-foreground",children:"Topology edges (VC3B)"}),e.jsxs("table",{className:"w-full text-left text-xs",children:[e.jsx("thead",{children:e.jsxs("tr",{className:"border-b border-border/50 text-muted-foreground",children:[e.jsx("th",{className:"py-1 pr-2",children:"source"}),e.jsx("th",{className:"py-1 pr-2",children:"target"}),e.jsx("th",{className:"py-1 pr-2",children:"head"}),e.jsx("th",{className:"py-1 pr-2",children:"dir"}),e.jsx("th",{className:"py-1",children:"score"})]})}),e.jsx("tbody",{children:s.edges?.map((u,h)=>e.jsxs("tr",{className:"border-b border-border/30",children:[e.jsx("td",{className:"py-1 pr-2 font-mono",children:u.source}),e.jsx("td",{className:"py-1 pr-2 font-mono",children:u.target}),e.jsx("td",{className:"py-1 pr-2 font-mono",children:u.head}),e.jsx("td",{className:"py-1 pr-2",children:u.direction}),e.jsx("td",{className:"py-1 font-mono",children:u.score})]},`${u.source}-${u.target}-${u.head}-${h}`))})]})]})]}):e.jsx("div",{className:"vc-empty",children:"Cortex store disabled (VC3A off)."})})]}),e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Topology Query Diagnostics (VC3C)"}),a?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:a?.enabled?e.jsx("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-3",children:e.jsx(t,{label:"Router version",value:String(a.routerVersion)})}):e.jsx("div",{className:"vc-empty",children:"Query diagnostics unavailable (VC3C off)."})})]})]})}function Se({ledger:s}){return e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Occurrence Ledger (VC1B)"}),s?.enabled?e.jsx(r,{variant:"success",children:"ACTIVE"}):e.jsx(r,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:s?.enabled?e.jsxs(e.Fragment,{children:[e.jsxs("div",{className:"mb-3 grid grid-cols-2 gap-4 md:grid-cols-3",children:[e.jsx(t,{label:"Session",value:s.session}),e.jsx(t,{label:"High-water",value:s.highWater}),e.jsx(t,{label:"Occurrences",value:String(s.count)})]}),s.occurrences.length===0?e.jsx("div",{className:"vc-empty",children:"No occurrences recorded."}):e.jsx("div",{className:"max-h-64 overflow-y-auto",children:e.jsxs("table",{className:"w-full text-left text-xs",children:[e.jsx("thead",{children:e.jsxs("tr",{className:"border-b border-border/50 text-muted-foreground",children:[e.jsx("th",{className:"py-1 pr-2",children:"seq"}),e.jsx("th",{className:"py-1 pr-2",children:"eventId"}),e.jsx("th",{className:"py-1 pr-2",children:"kind"}),e.jsx("th",{className:"py-1 pr-2",children:"toolCall"}),e.jsx("th",{className:"py-1",children:"digest"})]})}),e.jsx("tbody",{children:s.occurrences.map(a=>e.jsxs("tr",{className:"border-b border-border/30",children:[e.jsx("td",{className:"py-1 pr-2 font-mono",children:a.seq}),e.jsx("td",{className:"py-1 pr-2 font-mono",children:a.eventId}),e.jsx("td",{className:"py-1 pr-2",children:a.kind}),e.jsx("td",{className:"py-1 pr-2 font-mono",children:a.toolCallId??"—"}),e.jsx("td",{className:"max-w-[180px] truncate font-mono text-muted-foreground",children:a.digest})]},`${a.seq}-${a.eventId}`))})]})})]}):e.jsx("div",{className:"vc-empty",children:"Ledger disabled (VC1B off)."})})]})}function m({mode:s,count:a}){return e.jsxs("div",{className:"flex items-center justify-between border-b border-border/50 py-1 text-sm",children:[e.jsxs("span",{className:"text-muted-foreground",children:["Mode ",s]}),e.jsx("span",{className:"font-mono",children:a})]})}function Re(){const[s,a]=n.useState(null),[u,h]=n.useState(null),[y,N]=n.useState(!0),[c,g]=n.useState(null),[f,v]=n.useState(null),[S,V]=n.useState(null),[E,R]=n.useState(null),[F,A]=n.useState(null),[T,k]=n.useState(null),[I,P]=n.useState(null),[$,w]=n.useState(null),[O,B]=n.useState(null),[M,L]=n.useState(null),[D,H]=n.useState(null),[z,U]=n.useState(null),[Y,_]=n.useState(null),[q,G]=n.useState(null),[W,Q]=n.useState(null),j=n.useCallback(()=>{J().then(a).catch(l=>h(l instanceof Error?l.message:String(l))).finally(()=>N(!1)),C().then(g).catch(()=>{}),de().then(V).catch(()=>{}),X().then(R).catch(()=>{}),ee().then(A).catch(()=>{}),se().then(k).catch(()=>{}),te().then(P).catch(()=>{}),re().then(w).catch(()=>{}),ae().then(B).catch(()=>{}),ne().then(L).catch(()=>{}),le().then(H).catch(()=>{}),ce().then(U).catch(()=>{}),oe().then(_).catch(()=>{}),xe().then(G).catch(()=>{}),ue().then(Q).catch(()=>{})},[]);n.useEffect(()=>{j();const l=setInterval(j,5e3);return()=>clearInterval(l)},[j]);const K=()=>{ie("provider").then(l=>(v(`Breaker "${l.subsystem}" ${l.state}; evidence retained: ${l.failures} failures / ${l.attempts} attempts`),C())).then(g).catch(l=>v(l instanceof Error?l.message:String(l)))};if(y&&!s)return e.jsx("div",{className:"vc-loading",children:"Loading vector-cortex evaluation…"});if(u&&!s)return e.jsxs("div",{className:"vc-error",children:["Error: ",u]});if(!s)return e.jsx("div",{className:"vc-empty",children:"No evaluation data available."});const p=Math.max(1,...s.histogram.cells,s.histogram.overflow);return e.jsxs("div",{className:"flex flex-col gap-4",children:[e.jsxs("div",{className:"flex items-center gap-2",children:[e.jsx("h2",{className:"text-lg font-semibold",children:"Vector Cortex Evaluation"}),s.enabled?e.jsx(r,{variant:"warning",children:"OBSERVER PENDING (A)"}):e.jsx(r,{variant:"danger",children:"MODE C (OFF)"})]}),e.jsxs("div",{className:"grid grid-cols-1 gap-4 md:grid-cols-3",children:[e.jsxs(o,{children:[e.jsx(d,{children:e.jsx(i,{children:"Samples"})}),e.jsxs(x,{children:[e.jsx("div",{className:"text-3xl font-bold",children:s.samples}),e.jsxs("div",{className:"mt-2 flex flex-col",children:[e.jsx(m,{mode:"A",count:s.byMode.A}),e.jsx(m,{mode:"B",count:s.byMode.B}),e.jsx(m,{mode:"C",count:s.byMode.C})]})]})]}),e.jsxs(o,{className:"md:col-span-2",children:[e.jsx(d,{children:e.jsx(i,{children:"Latency Histogram (ms, inclusive edges)"})}),e.jsxs(x,{children:[e.jsxs("div",{className:"flex items-end gap-2",style:{height:160},children:[s.histogram.edges.map((l,b)=>{const Z=s.histogram.cells[b]/p*140;return e.jsxs("div",{className:"flex flex-1 flex-col items-center gap-1",children:[e.jsx("span",{className:"text-xs text-muted-foreground",children:s.histogram.cells[b]}),e.jsx("div",{className:"w-full rounded-t",style:{height:Math.max(2,Z),background:"#6366f1"}}),e.jsxs("span",{className:"text-[10px] text-muted-foreground",children:["≤",l]})]},l)}),e.jsxs("div",{className:"flex flex-1 flex-col items-center gap-1",children:[e.jsx("span",{className:"text-xs text-muted-foreground",children:s.histogram.overflow}),e.jsx("div",{className:"w-full rounded-t",style:{height:Math.max(2,s.histogram.overflow/p*140),background:"#f87171"}}),e.jsx("span",{className:"text-[10px] text-muted-foreground",children:">250"})]})]}),e.jsxs("div",{className:"mt-1 text-xs text-muted-foreground",children:["Total: ",s.histogram.total," · Rejects: ",s.rejects.length]})]})]})]}),e.jsxs(o,{children:[e.jsx(d,{children:e.jsxs("div",{className:"flex items-center justify-between",children:[e.jsx(i,{children:"Live Safety Envelope (VC0C)"}),e.jsxs("div",{className:"flex items-center gap-2",children:[c?.stateSource==="ephemeral"&&e.jsx(r,{variant:"outline",children:"EPHEMERAL (non-live)"}),e.jsx("button",{onClick:K,disabled:!c?.enabled,className:"rounded border border-border px-2 py-1 text-xs disabled:opacity-50",children:"Reset Cooldown"})]})]})}),e.jsxs(x,{children:[f&&e.jsx("div",{className:"mb-2 text-xs text-muted-foreground",children:f}),c?e.jsxs("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-4",children:[e.jsx(t,{label:"State",value:c.state}),e.jsx(t,{label:"Mode",value:c.mode}),e.jsx(t,{label:"Window",value:`${c.windowMs}ms`}),e.jsx(t,{label:"Probes",value:String(c.probeCount)}),e.jsx(t,{label:"Backoff",value:`${c.backoffDelayMs}ms`}),e.jsx(t,{label:"Failures",value:`${c.failures}/${c.attempts}`}),e.jsx(t,{label:"Frontier",value:c.stateSource==="ephemeral"?"non-live":c.frontierFrozen?"FROZEN":"LIVE"}),e.jsx(t,{label:"Spool lag",value:String(c.spoolLag)}),e.jsx(t,{label:"Encoder mode",value:c.encoderMode}),e.jsx(t,{label:"Encoder asset",value:c.encoderAssetDigest?c.encoderAssetDigest.slice(0,12):"none"})]}):e.jsx("div",{className:"vc-empty",children:"Health unavailable (VC0C off)."})]})]}),e.jsx(Ne,{topology:E,query:F}),e.jsx(be,{view:T}),e.jsx(Ce,{view:I}),e.jsx(ye,{view:$}),e.jsx(he,{view:O}),e.jsx(je,{view:M}),e.jsx(me,{view:D}),e.jsx(ge,{view:z}),e.jsx(fe,{view:Y}),e.jsx(ve,{view:q}),e.jsx(pe,{view:W}),e.jsx(Se,{ledger:S})]})}export{Re as default};
-//# sourceMappingURL=VectorCortexTab-BBa7rp6C.js.map