pi-mega-compact 0.20.11 → 0.20.13

package/src/vector-cortex/cache/crystal.ts

@@ -0,0 +1,217 @@
+/**
+ * vector-cortex/cache/crystal.ts — canonical crystal key encoding (VC7A).
+ *
+ * Turns a `CrystalKeyV1` into a single stable digest. Everything about the
+ * encoding exists to make two properties simultaneously true:
+ *
+ *   1. IDENTICAL INPUTS ⇒ IDENTICAL KEY, regardless of how the caller ordered
+ *      its ranges or which host produced them. Hence the explicit sort and the
+ *      length-prefixed field framing below.
+ *   2. ANY IDENTITY CHANGE ⇒ DIFFERENT KEY, with no accidental aliasing. Hence
+ *      length prefixes rather than delimiters: a delimiter-joined encoding lets
+ *      an attacker (or an unlucky session name) push a separator into a field
+ *      and forge a collision — `("a|b", "c")` and `("a", "b|c")` hash the same.
+ *      Prefixing every variable-length field with its byte length makes the
+ *      encoding injective, so a collision requires an actual SHA-256 collision.
+ *
+ * WHAT IS DELIBERATELY ABSENT. The global ledger frontier. It is not a
+ * parameter, it is not readable from here, and there is no code path that could
+ * fold it in. An unrelated append advances the frontier constantly; including it
+ * would invalidate every crystal on every turn and the cache would never hit.
+ * The key covers what the render DEPENDED ON, not what the world has since done.
+ *
+ * OVERLAP IS REJECTED, NOT MERGED. Two overlapping ranges in the same session
+ * make "the covered bytes" ambiguous: the overlap region would be hashed twice,
+ * and if the two spans pinned different digests the key would silently encode a
+ * contradiction. `CRY_RANGE_OVERLAP` fails the key closed instead. Ranges in
+ * DIFFERENT sessions never conflict — they cover disjoint byte streams by
+ * construction — so cross-session keys are legal and common.
+ *
+ * PURE. No clock, no storage, no console, no network (PREVENT-PI-004 /
+ * PREVENT-011). Runs identically with `MEGACOMPACT_VC7A` on or off — the flag
+ * gates only the reporter/dashboard seam in `crystal-emit.ts`.
+ */
+
+import { createHash } from "node:crypto";
+
+import {
+  CRYSTAL_LIMIT_BYTES,
+  CRYSTAL_LIMIT_RANGES,
+  type CrystalFailureCode,
+  type CrystalKeyResult,
+  type CrystalKeyV1,
+  type DagSpan,
+} from "./types.js";
+
+/** Encoding version, folded into the digest so a future change cannot alias. */
+const KEY_ENCODING_VERSION = "crystal-key-v1";
+
+/**
+ * Length-prefixed field append. `<byteLength>:<bytes>` makes the concatenation
+ * injective, so no combination of field contents can impersonate another.
+ */
+function field(parts: string[], value: string): void {
+  parts.push(`${Buffer.byteLength(value, "utf8")}:${value}`);
+}
+
+/**
+ * Total order over covered ranges: session, then start seq, then start byte.
+ *
+ * Ordering by SOURCE START (not by insertion, not by digest) is what makes the
+ * key independent of how the planner happened to enumerate its spans. `sessionId`
+ * leads because seq numbers are only comparable within a session.
+ */
+export function compareSpans(a: DagSpan, b: DagSpan): number {
+  if (a.sessionId !== b.sessionId) return a.sessionId < b.sessionId ? -1 : 1;
+  if (a.startSeq !== b.startSeq) return a.startSeq < b.startSeq ? -1 : 1;
+  if (a.startByte !== b.startByte) return a.startByte - b.startByte;
+  if (a.endSeq !== b.endSeq) return a.endSeq < b.endSeq ? -1 : 1;
+  return a.endByte - b.endByte;
+}
+
+/** Sort covered ranges into canonical order (never mutates the input array). */
+export function sortSpans(spans: readonly DagSpan[]): readonly DagSpan[] {
+  return [...spans].sort(compareSpans);
+}
+
+/** A range is malformed if either bound runs backwards or a byte bound is negative. */
+function isMalformed(s: DagSpan): boolean {
+  return (
+    s.endSeq < s.startSeq ||
+    s.startByte < 0 ||
+    s.endByte < s.startByte ||
+    !Number.isSafeInteger(s.startByte) ||
+    !Number.isSafeInteger(s.endByte)
+  );
+}
+
+/**
+ * Byte-range overlap between two spans of the SAME session. Byte bounds are
+ * half-open (`[startByte, endByte)`), so touching ranges (`a.end === b.start`)
+ * are adjacent, not overlapping, and are legal.
+ */
+function overlaps(a: DagSpan, b: DagSpan): boolean {
+  return a.sessionId === b.sessionId && a.startByte < b.endByte && b.startByte < a.endByte;
+}
+
+/**
+ * Validate covered ranges: non-empty, bounded, well-formed, and disjoint within
+ * each session. Returns deduplicated codes in a deterministic order.
+ */
+export function validateRanges(spans: readonly DagSpan[]): readonly CrystalFailureCode[] {
+  const codes = new Set<CrystalFailureCode>();
+  if (spans.length === 0) codes.add("CRY_RANGE_EMPTY");
+  if (spans.length > CRYSTAL_LIMIT_RANGES) codes.add("CRY_KEY_LIMIT");
+
+  let totalBytes = 0;
+  for (const s of spans) {
+    if (isMalformed(s)) codes.add("CRY_RANGE_INVALID");
+    else totalBytes += s.endByte - s.startByte;
+  }
+  if (totalBytes > CRYSTAL_LIMIT_BYTES) codes.add("CRY_KEY_LIMIT");
+
+  // Sorted order makes overlap a neighbour check within each session run.
+  const sorted = sortSpans(spans);
+  for (let i = 1; i < sorted.length; i += 1) {
+    const prev = sorted[i - 1];
+    const cur = sorted[i];
+    if (prev !== undefined && cur !== undefined && overlaps(prev, cur)) {
+      codes.add("CRY_RANGE_OVERLAP");
+      break;
+    }
+  }
+
+  const order: CrystalFailureCode[] = [
+    "CRY_RANGE_EMPTY",
+    "CRY_RANGE_INVALID",
+    "CRY_RANGE_OVERLAP",
+    "CRY_KEY_LIMIT",
+  ];
+  return order.filter((c) => codes.has(c));
+}
+
+/**
+ * The covered-bytes digest: SHA-256 over the SORTED ranges' identities and their
+ * pinned span digests, `sha256:` prefixed (matching the `DagSpan.digest`
+ * convention the ranges themselves carry).
+ *
+ * The span digests are what make this sensitive to a single covered BYTE: the
+ * ranges alone would be identical if a byte inside an unchanged range mutated,
+ * but the span's pinned digest would not be (CRY-COVERED-002).
+ */
+export function computeCoveredDigest(spans: readonly DagSpan[]): string {
+  const h = createHash("sha256");
+  for (const s of sortSpans(spans)) {
+    const parts: string[] = [];
+    field(parts, s.sessionId);
+    field(parts, s.startSeq.toString());
+    field(parts, s.endSeq.toString());
+    field(parts, String(s.startByte));
+    field(parts, String(s.endByte));
+    field(parts, s.digest);
+    h.update(parts.join(""), "utf8");
+  }
+  return `sha256:${h.digest("hex")}`;
+}
+
+/**
+ * Canonical key bytes. Field order is fixed and every field is length-prefixed;
+ * the ranges are emitted in canonical sort order with an explicit count so a
+ * key with N ranges can never encode the same bytes as one with M.
+ */
+export function encodeCrystalKeyBytes(key: CrystalKeyV1): string {
+  const parts: string[] = [];
+  field(parts, KEY_ENCODING_VERSION);
+  field(parts, key.profileId);
+  field(parts, key.profileVersion);
+  field(parts, key.requestDigest);
+  field(parts, key.rendererVersion);
+  field(parts, key.dependencyHighWater.toString());
+  field(parts, key.coveredDigest);
+  const sorted = sortSpans(key.sourceRanges);
+  field(parts, String(sorted.length));
+  for (const s of sorted) {
+    field(parts, s.sessionId);
+    field(parts, s.startSeq.toString());
+    field(parts, s.endSeq.toString());
+    field(parts, String(s.startByte));
+    field(parts, String(s.endByte));
+    field(parts, s.digest);
+  }
+  return parts.join("");
+}
+
+/**
+ * Build the canonical key digest for a crystal identity.
+ *
+ * The returned `key` carries the ranges in canonical sorted order and the
+ * RE-DERIVED `coveredDigest`, so a caller that supplied a stale or wrong covered
+ * digest cannot mint a key that disagrees with its own ranges. The digest itself
+ * is bare lowercase hex (it addresses an identity, not source bytes).
+ */
+export function encodeCrystalKey(key: CrystalKeyV1): CrystalKeyResult {
+  const codes = validateRanges(key.sourceRanges);
+  if (codes.length > 0) return { ok: false, codes };
+
+  const normalized: CrystalKeyV1 = {
+    ...key,
+    sourceRanges: sortSpans(key.sourceRanges),
+    coveredDigest: computeCoveredDigest(key.sourceRanges),
+  };
+  const keyDigest = createHash("sha256")
+    .update(encodeCrystalKeyBytes(normalized), "utf8")
+    .digest("hex");
+  return { ok: true, keyDigest, key: normalized };
+}
+
+/**
+ * Whether two identities are the same crystal. Used by invalidation fixtures to
+ * state the sprint invariant directly: the key changes IFF an identity field
+ * changes — an unrelated frontier append is not an identity field, so it cannot
+ * appear here at all.
+ */
+export function sameCrystalKey(a: CrystalKeyV1, b: CrystalKeyV1): boolean {
+  const ea = encodeCrystalKey(a);
+  const eb = encodeCrystalKey(b);
+  return ea.ok && eb.ok && ea.keyDigest === eb.keyDigest;
+}

package/src/vector-cortex/cache/store.ts

@@ -0,0 +1,213 @@
+/**
+ * vector-cortex/cache/store.ts — content-addressed, write-once crystal store
+ * (VC7A).
+ *
+ * WRITE ONCE, NEVER OVERWRITE. A key that already holds bytes is final. Writing
+ * the SAME bytes again is accepted and idempotent (two concurrent renders raced;
+ * both are right). Writing DIFFERENT bytes under the same key returns
+ * `CRY_KEY_COLLISION` and the stored crystal is left exactly as it was.
+ *
+ * Why refuse rather than take the newer bytes? Because the key already names
+ * everything the render depended on — covered ranges, their digest, the validated
+ * dependency high-water, the renderer, the profile. If two renders of that same
+ * identity disagree, the renderer is NOT deterministic, and that is a bug to
+ * surface loudly, not to paper over by picking a winner. Last-write-wins would
+ * make the failure invisible and let a corrupted render silently displace a good
+ * one. So the store is a one-way ratchet per key.
+ *
+ * CONTENT ADDRESSED. Every crystal carries the SHA-256 of exactly its own bytes
+ * (bare lowercase hex, matching `ExactShardV1.digest`), recomputed HERE from the
+ * bytes rather than trusted from the caller — a caller-supplied digest would let
+ * a mismatched pair be stored and later "verify" against itself.
+ *
+ * ATOMIC COMMIT (the crash invariant). Writes go through a staging slot and are
+ * only published by `commit`. A write interrupted before commit leaves the
+ * staging entry orphaned and the visible map untouched, so `read` can never
+ * observe a partial crystal. On restart, `recover()` DISCARDS staged entries —
+ * it never promotes them — and a fresh write then produces exactly one valid
+ * crystal. This models the real filesystem shape (write temp file → fsync →
+ * rename) without doing any I/O here: persistence is the runtime's job, and
+ * `src/` stays storage-free and pure (PREVENT-PI-004).
+ *
+ * MODE C. `setAvailable(false)` marks the store unavailable: reads serve nothing
+ * and writes refuse with `CRY_STORE_UNAVAILABLE`. Mode C is a real triad state,
+ * not an error path — the caller must fall back to a fresh render and disclose
+ * that nothing came from cache.
+ *
+ * No console, no network (PREVENT-PI-004 / PREVENT-011).
+ */
+
+import { createHash } from "node:crypto";
+
+import type {
+  CrystalMode,
+  CrystalStoreStats,
+  CrystalV1,
+  CrystalWriteResult,
+} from "./types.js";
+
+/** SHA-256 over bytes, BARE lowercase hex (the content address). */
+export function contentAddress(bytes: Uint8Array): string {
+  return createHash("sha256").update(bytes).digest("hex");
+}
+
+/** Byte equality without allocating — a length check first, then a scan. */
+function bytesEqual(a: Uint8Array, b: Uint8Array): boolean {
+  if (a.length !== b.length) return false;
+  for (let i = 0; i < a.length; i += 1) if (a[i] !== b[i]) return false;
+  return true;
+}
+
+/**
+ * An in-memory, content-addressed, write-once crystal store.
+ *
+ * Deliberately holds no filesystem handle: the process-local map IS the store as
+ * far as `src/` is concerned, and durability is layered on by the runtime. That
+ * keeps the write-once/collision arithmetic testable end-to-end with real
+ * modules and no I/O mocking.
+ */
+export class CrystalStore {
+  /** Published crystals, keyed by canonical key digest. */
+  private readonly committed = new Map<string, CrystalV1>();
+  /** Staged-but-uncommitted writes — invisible to `read` until committed. */
+  private readonly staged = new Map<string, CrystalV1>();
+  private available = true;
+  private hits = 0;
+  private misses = 0;
+  private hitBytes = 0;
+  private writes = 0;
+  private duplicateWrites = 0;
+  private collisions = 0;
+
+  /** Freeze a crystal object for a key/bytes pair (digest computed here). */
+  static freeze(keyDigest: string, bytes: Uint8Array, key: CrystalV1["key"]): CrystalV1 {
+    const copy = new Uint8Array(bytes);
+    return {
+      schema: "crystal-v1",
+      keyDigest,
+      bytes: copy,
+      contentDigest: contentAddress(copy),
+      byteCount: copy.length,
+      key,
+    };
+  }
+
+  /** Toggle store availability (mode C when false). */
+  setAvailable(value: boolean): void {
+    this.available = value;
+  }
+
+  isAvailable(): boolean {
+    return this.available;
+  }
+
+  /**
+   * Stage a write without publishing it. Returns the staging handle (the key
+   * digest) so a test — or a crash — can leave it uncommitted.
+   */
+  stage(crystal: CrystalV1): CrystalWriteResult {
+    if (!this.available) {
+      return { ok: false, code: "CRY_STORE_UNAVAILABLE", contentDigest: crystal.contentDigest };
+    }
+    this.staged.set(crystal.keyDigest, crystal);
+    return { ok: true, written: false, contentDigest: crystal.contentDigest };
+  }
+
+  /**
+   * Publish a staged write. Enforces write-once at the commit point: an existing
+   * key with identical bytes is idempotent, with different bytes is a collision
+   * and is NEVER overwritten.
+   */
+  commit(keyDigest: string): CrystalWriteResult {
+    const pending = this.staged.get(keyDigest);
+    if (pending === undefined) {
+      return { ok: false, code: "CRY_STORE_UNAVAILABLE", contentDigest: "" };
+    }
+    this.staged.delete(keyDigest);
+    if (!this.available) {
+      return { ok: false, code: "CRY_STORE_UNAVAILABLE", contentDigest: pending.contentDigest };
+    }
+    const existing = this.committed.get(keyDigest);
+    if (existing !== undefined) {
+      if (bytesEqual(existing.bytes, pending.bytes)) {
+        this.duplicateWrites += 1;
+        return { ok: true, written: false, contentDigest: existing.contentDigest };
+      }
+      this.collisions += 1;
+      return { ok: false, code: "CRY_KEY_COLLISION", contentDigest: existing.contentDigest };
+    }
+    this.committed.set(keyDigest, pending);
+    this.writes += 1;
+    return { ok: true, written: true, contentDigest: pending.contentDigest };
+  }
+
+  /** Stage + commit in one step (the normal path). */
+  write(crystal: CrystalV1): CrystalWriteResult {
+    const staged = this.stage(crystal);
+    if (!staged.ok) return staged;
+    return this.commit(crystal.keyDigest);
+  }
+
+  /**
+   * Restart recovery: DISCARD every staged entry. A write interrupted before
+   * commit is never promoted — a fresh write afterwards produces exactly one
+   * valid crystal. Returns how many partial writes were dropped.
+   */
+  recover(): number {
+    const dropped = this.staged.size;
+    this.staged.clear();
+    return dropped;
+  }
+
+  /** Read a committed crystal. Mode C (unavailable) serves nothing. */
+  read(keyDigest: string): CrystalV1 | undefined {
+    if (!this.available) {
+      this.misses += 1;
+      return undefined;
+    }
+    const found = this.committed.get(keyDigest);
+    if (found === undefined) {
+      this.misses += 1;
+      return undefined;
+    }
+    this.hits += 1;
+    this.hitBytes += found.byteCount;
+    return found;
+  }
+
+  /** Whether a key holds a committed crystal (does not count as a read). */
+  has(keyDigest: string): boolean {
+    return this.available && this.committed.has(keyDigest);
+  }
+
+  /** Number of writes staged but not yet committed (0 after `recover`). */
+  pendingCount(): number {
+    return this.staged.size;
+  }
+
+  /**
+   * The triad mode the store is currently in: C when unavailable, A once a read
+   * has been served from the store, B while every read has forced a fresh render.
+   */
+  mode(): CrystalMode {
+    if (!this.available) return "C";
+    return this.hits > 0 ? "A" : "B";
+  }
+
+  /** Reader-only aggregate for the dashboard seam — counts and bytes only. */
+  stats(): CrystalStoreStats {
+    let totalBytes = 0;
+    for (const c of this.committed.values()) totalBytes += c.byteCount;
+    return {
+      mode: this.mode(),
+      crystalCount: this.committed.size,
+      totalBytes,
+      hits: this.hits,
+      misses: this.misses,
+      hitBytes: this.hitBytes,
+      writes: this.writes,
+      duplicateWrites: this.duplicateWrites,
+      collisions: this.collisions,
+    };
+  }
+}

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

@@ -1,2 +0,0 @@
-import{j as e,B as a,r as n}from"./index-CuLdiHRl.js";import{C as o,a as d,b as i,c as x}from"./card-BLPT2-8G.js";async function Q(){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 W(){const s=await fetch("/api/vector-cortex/topology");if(!s.ok)throw new Error(`vector-cortex topology: ${s.status}`);return s.json()}async function Z(){const s=await fetch("/api/vector-cortex/query");if(!s.ok)throw new Error(`vector-cortex query: ${s.status}`);return s.json()}async function J(){const s=await fetch("/api/vector-cortex/shards");if(!s.ok)throw new Error(`vector-cortex shards: ${s.status}`);return s.json()}async function K(){const s=await fetch("/api/vector-cortex/reconstruct");if(!s.ok)throw new Error(`vector-cortex reconstruct: ${s.status}`);return s.json()}async function X(){const s=await fetch("/api/vector-cortex/plans");if(!s.ok)throw new Error(`vector-cortex plans: ${s.status}`);return s.json()}async function ee(){const s=await fetch("/api/vector-cortex/render");if(!s.ok)throw new Error(`vector-cortex render: ${s.status}`);return s.json()}async function se(){const s=await fetch("/api/vector-cortex/rollout");if(!s.ok)throw new Error(`vector-cortex rollout: ${s.status}`);return s.json()}async function te(){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 re(){const s=await fetch("/api/vector-cortex/restore");if(!s.ok)throw new Error(`vector-cortex restore: ${s.status}`);return s.json()}async function ae(){const s=await fetch("/api/vector-cortex/repair");if(!s.ok)throw new Error(`vector-cortex repair: ${s.status}`);return s.json()}async function ne(s="default"){const r=await fetch(`/api/vector-cortex/ledger?session=${encodeURIComponent(s)}`);if(!r.ok)throw new Error(`vector-cortex ledger: ${r.status}`);return r.json()}async function le(s){const r=await fetch("/api/vector-cortex/breakers/reset",{method:"POST",headers:{"Content-Type":"application/json"},body:JSON.stringify({subsystem:s})});if(!r.ok)throw new Error(`vector-cortex reset: ${r.status}`);return r.json()}function t({label:s,value:r}){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:r})]})}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:"Validated Prompt Renderer (VC5B)"}),s?.enabled?e.jsx(a,{variant:"success",children:"ACTIVE"}):e.jsx(a,{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 oe({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(a,{variant:"success",children:"ACTIVE"}):e.jsx(a,{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 de({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(a,{variant:"success",children:"ACTIVE"}):e.jsx(a,{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 ie({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(a,{variant:"success",children:"ACTIVE"}):e.jsx(a,{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 xe({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(a,{variant:"success",children:"ACTIVE"}):e.jsx(a,{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 ue({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(a,{variant:"success",children:"ACTIVE"}):e.jsx(a,{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 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:"Reconstruction Fidelity (VC4C)"}),s?.enabled?e.jsx(a,{variant:"success",children:"ACTIVE"}):e.jsx(a,{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 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:"Plan Manifests (VC5A)"}),s?.enabled?e.jsx(a,{variant:"success",children:"ACTIVE"}):e.jsx(a,{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 me({topology:s,query:r}){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(a,{variant:"success",children:"ACTIVE"}):e.jsx(a,{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)"}),r?.enabled?e.jsx(a,{variant:"success",children:"ACTIVE"}):e.jsx(a,{variant:"danger",children:"OFF"})]})}),e.jsx(x,{children:r?.enabled?e.jsx("div",{className:"grid grid-cols-2 gap-4 md:grid-cols-3",children:e.jsx(t,{label:"Router version",value:String(r.routerVersion)})}):e.jsx("div",{className:"vc-empty",children:"Query diagnostics unavailable (VC3C off)."})})]})]})}function ge({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(a,{variant:"success",children:"ACTIVE"}):e.jsx(a,{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(r=>e.jsxs("tr",{className:"border-b border-border/30",children:[e.jsx("td",{className:"py-1 pr-2 font-mono",children:r.seq}),e.jsx("td",{className:"py-1 pr-2 font-mono",children:r.eventId}),e.jsx("td",{className:"py-1 pr-2",children:r.kind}),e.jsx("td",{className:"py-1 pr-2 font-mono",children:r.toolCallId??"—"}),e.jsx("td",{className:"max-w-[180px] truncate font-mono text-muted-foreground",children:r.digest})]},`${r.seq}-${r.eventId}`))})]})})]}):e.jsx("div",{className:"vc-empty",children:"Ledger disabled (VC1B off)."})})]})}function m({mode:s,count:r}){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:r})]})}function pe(){const[s,r]=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),[R,E]=n.useState(null),[F,k]=n.useState(null),[T,A]=n.useState(null),[w,$]=n.useState(null),[I,P]=n.useState(null),[O,M]=n.useState(null),[B,L]=n.useState(null),[D,H]=n.useState(null),[z,_]=n.useState(null),[G,U]=n.useState(null),j=n.useCallback(()=>{Q().then(r).catch(l=>h(l instanceof Error?l.message:String(l))).finally(()=>N(!1)),C().then(g).catch(()=>{}),ne().then(V).catch(()=>{}),W().then(E).catch(()=>{}),Z().then(k).catch(()=>{}),J().then(A).catch(()=>{}),K().then($).catch(()=>{}),X().then(P).catch(()=>{}),ee().then(M).catch(()=>{}),se().then(L).catch(()=>{}),te().then(H).catch(()=>{}),re().then(_).catch(()=>{}),ae().then(U).catch(()=>{})},[]);n.useEffect(()=>{j();const l=setInterval(j,5e3);return()=>clearInterval(l)},[j]);const Y=()=>{le("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(a,{variant:"warning",children:"OBSERVER PENDING (A)"}):e.jsx(a,{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 q=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,q),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(a,{variant:"outline",children:"EPHEMERAL (non-live)"}),e.jsx("button",{onClick:Y,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(me,{topology:R,query:F}),e.jsx(ue,{view:T}),e.jsx(he,{view:w}),e.jsx(je,{view:I}),e.jsx(ce,{view:O}),e.jsx(oe,{view:B}),e.jsx(de,{view:D}),e.jsx(ie,{view:z}),e.jsx(xe,{view:G}),e.jsx(ge,{ledger:S})]})}export{pe as default};
-//# sourceMappingURL=VectorCortexTab-DD7vGaRS.js.map