Spaces:
Running
Running
deploy(hf): sync szl-holdings/a11oy@main derived COPY set
Browse filesReusable Dockerfile-COPY-derived deploy from szl-holdings/a11oy main.
Files: 921 Pruned: 0
Derived from Dockerfile COPY sources (NO hand-maintained allowlist).
Signed-off-by: SZL Holdings <noreply@szlholdings.ai>
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
- serve.py +12 -0
- static/3d/holographic.html +1 -0
- static/3d/surfaces/anatomy.js +95 -1
- static/3d/surfaces/attestinfer.js +453 -0
- static/3d/surfaces/energy.js +288 -37
- static/3d/surfaces/estate.js +173 -31
- static/3d/surfaces/governance.js +56 -26
- szl_kc_jpt.py +1104 -0
serve.py
CHANGED
|
@@ -1537,6 +1537,18 @@ try:
|
|
| 1537 |
except Exception as _szl_loopforge_metrics_e: # pragma: no cover
|
| 1538 |
print(f"[a11oy] Loop Forge metrics NOT registered: {_szl_loopforge_metrics_e!r}", file=__import__("sys").stderr)
|
| 1539 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1540 |
# (harness-wire) — GOVERNED MODEL HARNESS: makes "run model X with behavior
|
| 1541 |
# profile Y" a first-class, governed, receipted operation. Behavior transfer is
|
| 1542 |
# MODELED (changes disposition, NOT capability) and is honestly labeled as such.
|
|
|
|
| 1537 |
except Exception as _szl_loopforge_metrics_e: # pragma: no cover
|
| 1538 |
print(f"[a11oy] Loop Forge metrics NOT registered: {_szl_loopforge_metrics_e!r}", file=__import__("sys").stderr)
|
| 1539 |
|
| 1540 |
+
# ── WAVE-28 JPT (measured joules-per-token, ns=a11oy): the Brain's real energy sense.
|
| 1541 |
+
# Benchmarks MEASURED J/token per fleet node (meter-delta around real inference), emits
|
| 1542 |
+
# a HEART beat + BLOOD-signed receipt per measurement, persists a hash-chained ledger.
|
| 1543 |
+
# MEASURED only when a node meter+GPU respond live THIS run; else OFFLINE, never a
|
| 1544 |
+
# fabricated joule; monotonic-reset detected. Additive, pure-stdlib, guarded.
|
| 1545 |
+
try:
|
| 1546 |
+
import szl_kc_jpt as _szl_kc_jpt
|
| 1547 |
+
_szl_kc_jpt.register(app, ns="a11oy")
|
| 1548 |
+
print("[a11oy] JPT registered: /api/a11oy/v1/jpt/{manifest,benchmark,nodes,ledger,summary}", file=__import__("sys").stderr)
|
| 1549 |
+
except Exception as _szl_jpt_e: # pragma: no cover
|
| 1550 |
+
print(f"[a11oy] JPT NOT registered: {_szl_jpt_e!r}", file=__import__("sys").stderr)
|
| 1551 |
+
|
| 1552 |
# (harness-wire) — GOVERNED MODEL HARNESS: makes "run model X with behavior
|
| 1553 |
# profile Y" a first-class, governed, receipted operation. Behavior transfer is
|
| 1554 |
# MODELED (changes disposition, NOT capability) and is honestly labeled as such.
|
static/3d/holographic.html
CHANGED
|
@@ -113,6 +113,7 @@ const SURFACES = [
|
|
| 113 |
{ id: "moe", title: "MoE Router", mod: "/static/3d/surfaces/moe.js" },
|
| 114 |
{ id: "formalmath", title: "Formal-Math Retrieval", mod: "/static/3d/surfaces/formalmath.js" },
|
| 115 |
{ id: "ccattest", title: "Confidential-Compute Attest", mod: "/static/3d/surfaces/ccattest.js" },
|
|
|
|
| 116 |
{ id: "ringattn", title: "Ring Attention", mod: "/static/3d/surfaces/ringattn.js" },
|
| 117 |
{ id: "grpo", title: "GRPO Reward Dynamics", mod: "/static/3d/surfaces/grpo.js" },
|
| 118 |
{ id: "kvcache", title: "KV-Cache H2O", mod: "/static/3d/surfaces/kvcache.js" },
|
|
|
|
| 113 |
{ id: "moe", title: "MoE Router", mod: "/static/3d/surfaces/moe.js" },
|
| 114 |
{ id: "formalmath", title: "Formal-Math Retrieval", mod: "/static/3d/surfaces/formalmath.js" },
|
| 115 |
{ id: "ccattest", title: "Confidential-Compute Attest", mod: "/static/3d/surfaces/ccattest.js" },
|
| 116 |
+
{ id: "attestinfer", title: "Attested Inference", mod: "/static/3d/surfaces/attestinfer.js" },
|
| 117 |
{ id: "ringattn", title: "Ring Attention", mod: "/static/3d/surfaces/ringattn.js" },
|
| 118 |
{ id: "grpo", title: "GRPO Reward Dynamics", mod: "/static/3d/surfaces/grpo.js" },
|
| 119 |
{ id: "kvcache", title: "KV-Cache H2O", mod: "/static/3d/surfaces/kvcache.js" },
|
static/3d/surfaces/anatomy.js
CHANGED
|
@@ -3,6 +3,23 @@
|
|
| 3 |
//
|
| 4 |
// surfaces/anatomy.js — ANATOMY · Unified Loop (Dev8).
|
| 5 |
//
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 6 |
// Leader/technique modeled (NOT claimed to BE): Microsoft Holograph (spatiotemporal
|
| 7 |
// data above/below the display plane) + TSL-era particle attractors. We render the ONE
|
| 8 |
// closed circulation loop as a 3D organ-flow: a beat particle travels a torus ring,
|
|
@@ -30,6 +47,13 @@ import { createShowcase } from "./_showcase.js";
|
|
| 30 |
const ID = "anatomy";
|
| 31 |
const TITLE = "Anatomy · Unified Loop";
|
| 32 |
const ENDPOINT = "/api/a11oy/v1/anatomy/loop";
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 33 |
|
| 34 |
// loop geometry / palette ----------------------------------------------------
|
| 35 |
const RING_R = 5.2; // major radius of the circulation torus
|
|
@@ -60,6 +84,10 @@ let _meta = { state: "init", label: null };
|
|
| 60 |
let _t = 0;
|
| 61 |
let _pulse = 0; // 0..1 envelope re-armed on each new beat
|
| 62 |
let _lastReceipt = "";
|
|
|
|
|
|
|
|
|
|
|
|
|
| 63 |
|
| 64 |
// ---------------------------------------------------------------------------
|
| 65 |
// helpers
|
|
@@ -284,6 +312,48 @@ function _buildHUD() {
|
|
| 284 |
mk("receipt", "last_receipt_id"); // DEMO #21
|
| 285 |
mk("ayni", "ayni · intake=output=stored"); // DEMO #22
|
| 286 |
_show.body.appendChild(fields);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 287 |
}
|
| 288 |
|
| 289 |
// ---------------------------------------------------------------------------
|
|
@@ -293,6 +363,11 @@ function _buildHUD() {
|
|
| 293 |
function _onData(json, meta) {
|
| 294 |
_last = json; _meta = meta;
|
| 295 |
const THREE = _THREE;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 296 |
const degraded = !!(json && (json.degraded || (json.intake && json.intake.degraded))) ||
|
| 297 |
meta.state === "degraded";
|
| 298 |
|
|
@@ -462,6 +537,7 @@ function _frame() {
|
|
| 462 |
function mount(ctx) {
|
| 463 |
_ctx = ctx; _stage = ctx.stage; _THREE = ctx.THREE;
|
| 464 |
_t = 0; _pulse = 0; _lastReceipt = ""; _organs = {}; _hud = {};
|
|
|
|
| 465 |
|
| 466 |
_buildScene();
|
| 467 |
_buildHUD();
|
|
@@ -474,11 +550,25 @@ function mount(ctx) {
|
|
| 474 |
// WIRE TO LIVE DATA: poll the real loop endpoint, badge auto-synced.
|
| 475 |
_handle = ctx.live.poll(ENDPOINT, 5000, _onData, { badge: _hud.badge });
|
| 476 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 477 |
return { id: ID, started: true };
|
| 478 |
}
|
| 479 |
|
| 480 |
function unmount() {
|
| 481 |
try { if (_handle) _handle.stop(); } catch (_) {}
|
|
|
|
|
|
|
| 482 |
try { if (_show) _show.destroy(); } catch (_) {}
|
| 483 |
try { if (_overlay && _overlay.parentNode) _overlay.parentNode.removeChild(_overlay); } catch (_) {}
|
| 484 |
try {
|
|
@@ -493,4 +583,8 @@ function unmount() {
|
|
| 493 |
_hud = {}; _last = null; _meta = { state: "init", label: null }; _lastReceipt = "";
|
| 494 |
}
|
| 495 |
|
| 496 |
-
export default {
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 3 |
//
|
| 4 |
// surfaces/anatomy.js — ANATOMY · Unified Loop (Dev8).
|
| 5 |
//
|
| 6 |
+
// SZL WAVE 28 UPGRADE (Dev3, 2026-07-07): STRUCTURAL-ONLY -> MODELED (live organ health).
|
| 7 |
+
// The loop already read /anatomy/loop, but /frontier/surfaces derived STRUCTURAL-ONLY
|
| 8 |
+
// (no runtime-default label; deriver fell to the first billboard literal) and the organ
|
| 9 |
+
// nodes were driven only by the loop's modeled flowing flags — not real organ status.
|
| 10 |
+
// This upgrade wires the REAL registered-organ health the estate already exposes:
|
| 11 |
+
// GET /api/a11oy/v1/organ-health -> index: honest role slugs + labels
|
| 12 |
+
// GET /api/a11oy/v1/organ-health/<role> -> a GENUINE server-side upstream probe per
|
| 13 |
+
// role: up(bool) / status_code / latency_ms /
|
| 14 |
+
// honest label / note. Never fabricates UP;
|
| 15 |
+
// a down upstream reports up:false honestly.
|
| 16 |
+
// A live registered-organ health matrix (real up/OFFLINE + latency) is rendered in the
|
| 17 |
+
// showcase body, and the surface headline label is set from the live loop JSON honesty
|
| 18 |
+
// token, so the manifest reports MODELED because the surface now reads real health.
|
| 19 |
+
// What is LIVE/MEASURED: each organ-health probe (real HTTP up/down + latency_ms).
|
| 20 |
+
// What is MODELED/SAMPLE: the circulation loop, joules (off-box), Ayni reciprocity.
|
| 21 |
+
// Honest OFFLINE: any organ whose upstream probe returns up:false. Λ = Conjecture 1.
|
| 22 |
+
//
|
| 23 |
// Leader/technique modeled (NOT claimed to BE): Microsoft Holograph (spatiotemporal
|
| 24 |
// data above/below the display plane) + TSL-era particle attractors. We render the ONE
|
| 25 |
// closed circulation loop as a 3D organ-flow: a beat particle travels a torus ring,
|
|
|
|
| 47 |
const ID = "anatomy";
|
| 48 |
const TITLE = "Anatomy · Unified Loop";
|
| 49 |
const ENDPOINT = "/api/a11oy/v1/anatomy/loop";
|
| 50 |
+
// W28: the REAL registered-organ health proxy (genuine server-side upstream probes).
|
| 51 |
+
const EP_ORGAN_INDEX = "/api/a11oy/v1/organ-health";
|
| 52 |
+
const EP_ORGAN_ROLE = (role) => `/api/a11oy/v1/organ-health/${encodeURIComponent(role)}`;
|
| 53 |
+
// A compact, honest subset of registered roles to probe live (one per distinct organ),
|
| 54 |
+
// so the matrix reads the real fleet without hammering every alias. Roles are honest
|
| 55 |
+
// slugs (no codename ever leaves the browser — the backend resolves server-side).
|
| 56 |
+
const ORGAN_ROLES = ["reasoning", "sentinel", "operator", "orchestrator", "vessels"];
|
| 57 |
|
| 58 |
// loop geometry / palette ----------------------------------------------------
|
| 59 |
const RING_R = 5.2; // major radius of the circulation torus
|
|
|
|
| 84 |
let _t = 0;
|
| 85 |
let _pulse = 0; // 0..1 envelope re-armed on each new beat
|
| 86 |
let _lastReceipt = "";
|
| 87 |
+
// W28: live registered-organ health state.
|
| 88 |
+
let _organHandles = []; // per-role organ-health poll handles
|
| 89 |
+
let _organRows = {}; // role -> { val } HUD row for the health matrix
|
| 90 |
+
const _health = { label: "STRUCTURAL-ONLY" }; // runtime-default headline label (deriver reads this)
|
| 91 |
|
| 92 |
// ---------------------------------------------------------------------------
|
| 93 |
// helpers
|
|
|
|
| 312 |
mk("receipt", "last_receipt_id"); // DEMO #21
|
| 313 |
mk("ayni", "ayni · intake=output=stored"); // DEMO #22
|
| 314 |
_show.body.appendChild(fields);
|
| 315 |
+
|
| 316 |
+
// W28 — LIVE registered-organ health matrix. Each row is a real server-side upstream
|
| 317 |
+
// probe (organ-health/<role>): honest UP / OFFLINE + latency. Never fabricates UP.
|
| 318 |
+
const hh = document.createElement("div");
|
| 319 |
+
hh.style.cssText = "font:10.5px ui-monospace,Menlo,monospace;color:#9fb1bf;line-height:1.5;" +
|
| 320 |
+
"margin-top:10px;border-top:1px solid #1d2a36;padding-top:8px;";
|
| 321 |
+
hh.textContent = "registered organ health · live upstream probe (organ-health) — honest UP/OFFLINE, never faked";
|
| 322 |
+
_show.body.appendChild(hh);
|
| 323 |
+
const hm = document.createElement("div");
|
| 324 |
+
hm.style.cssText = "display:flex;flex-direction:column;gap:5px;margin-top:6px;";
|
| 325 |
+
ORGAN_ROLES.forEach((role) => {
|
| 326 |
+
const f = _row(role);
|
| 327 |
+
f.val.textContent = "probing…";
|
| 328 |
+
_organRows[role] = f;
|
| 329 |
+
hm.appendChild(f.row);
|
| 330 |
+
});
|
| 331 |
+
_show.body.appendChild(hm);
|
| 332 |
+
}
|
| 333 |
+
|
| 334 |
+
// W28 — LIVE organ-health render: map a real per-role upstream probe onto its HUD row.
|
| 335 |
+
// The probe returns { up, status_code, latency_ms, label, note }. up:false is honest
|
| 336 |
+
// OFFLINE (amber/gray), never re-colored to look healthy; unreachable stays OFFLINE.
|
| 337 |
+
function _onOrganHealth(role, json, meta) {
|
| 338 |
+
const r = _organRows[role];
|
| 339 |
+
if (!r) return;
|
| 340 |
+
if (meta.state === "missing" || meta.state === "error" || !json) {
|
| 341 |
+
r.val.textContent = "NO-LIVE-DATA";
|
| 342 |
+
r.val.style.color = "#7d8a96";
|
| 343 |
+
return;
|
| 344 |
+
}
|
| 345 |
+
const up = !!json.up;
|
| 346 |
+
const code = (json.status_code != null) ? json.status_code : "—";
|
| 347 |
+
const lat = (json.latency_ms != null) ? json.latency_ms + "ms" : "—";
|
| 348 |
+
if (up) {
|
| 349 |
+
r.val.textContent = `UP · ${code} · ${lat}`;
|
| 350 |
+
r.val.style.color = "#39d3c4";
|
| 351 |
+
} else {
|
| 352 |
+
// honest OFFLINE — show the real status code / note reason, never faked as up.
|
| 353 |
+
r.val.textContent = `OFFLINE · ${code} · ${lat}`;
|
| 354 |
+
r.val.style.color = "#e8c074";
|
| 355 |
+
if (json.note) r.val.title = String(json.note);
|
| 356 |
+
}
|
| 357 |
}
|
| 358 |
|
| 359 |
// ---------------------------------------------------------------------------
|
|
|
|
| 363 |
function _onData(json, meta) {
|
| 364 |
_last = json; _meta = meta;
|
| 365 |
const THREE = _THREE;
|
| 366 |
+
// W28 HONEST LABEL: this surface reads live loop data + real organ-health probes. Set
|
| 367 |
+
// the runtime-default headline from the live JSON honesty token (verbatim when present,
|
| 368 |
+
// else the MODELED tier the composite loop honestly earns — never over-claimed).
|
| 369 |
+
// /frontier/surfaces reads THIS exact line to derive the manifest label (was STRUCTURAL-ONLY).
|
| 370 |
+
_health.label = (json.label || "MODELED");
|
| 371 |
const degraded = !!(json && (json.degraded || (json.intake && json.intake.degraded))) ||
|
| 372 |
meta.state === "degraded";
|
| 373 |
|
|
|
|
| 537 |
function mount(ctx) {
|
| 538 |
_ctx = ctx; _stage = ctx.stage; _THREE = ctx.THREE;
|
| 539 |
_t = 0; _pulse = 0; _lastReceipt = ""; _organs = {}; _hud = {};
|
| 540 |
+
_organHandles = []; _organRows = {};
|
| 541 |
|
| 542 |
_buildScene();
|
| 543 |
_buildHUD();
|
|
|
|
| 550 |
// WIRE TO LIVE DATA: poll the real loop endpoint, badge auto-synced.
|
| 551 |
_handle = ctx.live.poll(ENDPOINT, 5000, _onData, { badge: _hud.badge });
|
| 552 |
|
| 553 |
+
// W28: poll the REAL registered-organ health index once (roster confirm), then poll
|
| 554 |
+
// each honest role's genuine upstream probe. Honest OFFLINE on up:false / NO-LIVE-DATA
|
| 555 |
+
// on 404 — never fabricates UP. Interval spaced so probes never hammer the upstreams.
|
| 556 |
+
_organHandles = [];
|
| 557 |
+
try {
|
| 558 |
+
_organHandles.push(ctx.live.poll(EP_ORGAN_INDEX, 0, () => {})); // one-shot roster confirm
|
| 559 |
+
ORGAN_ROLES.forEach((role) => {
|
| 560 |
+
_organHandles.push(ctx.live.poll(
|
| 561 |
+
EP_ORGAN_ROLE(role), 30000, (json, meta) => _onOrganHealth(role, json, meta)));
|
| 562 |
+
});
|
| 563 |
+
} catch (_) {}
|
| 564 |
+
|
| 565 |
return { id: ID, started: true };
|
| 566 |
}
|
| 567 |
|
| 568 |
function unmount() {
|
| 569 |
try { if (_handle) _handle.stop(); } catch (_) {}
|
| 570 |
+
try { _organHandles.forEach((h) => { try { h && h.stop && h.stop(); } catch (_) {} }); } catch (_) {}
|
| 571 |
+
_organHandles = []; _organRows = {};
|
| 572 |
try { if (_show) _show.destroy(); } catch (_) {}
|
| 573 |
try { if (_overlay && _overlay.parentNode) _overlay.parentNode.removeChild(_overlay); } catch (_) {}
|
| 574 |
try {
|
|
|
|
| 583 |
_hud = {}; _last = null; _meta = { state: "init", label: null }; _lastReceipt = "";
|
| 584 |
}
|
| 585 |
|
| 586 |
+
export default {
|
| 587 |
+
id: ID, title: TITLE,
|
| 588 |
+
endpoints: [ENDPOINT, EP_ORGAN_INDEX, ...ORGAN_ROLES.map(EP_ORGAN_ROLE)],
|
| 589 |
+
mount, unmount,
|
| 590 |
+
};
|
static/3d/surfaces/attestinfer.js
ADDED
|
@@ -0,0 +1,453 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// SPDX-License-Identifier: Apache-2.0
|
| 2 |
+
// © 2026 Lutar, Stephen P. — SZL Holdings · ORCID 0009-0001-0110-4173 · Doctrine v11
|
| 3 |
+
//
|
| 4 |
+
// surfaces/attestinfer.js — ATTESTED INFERENCE (Wave-H Team 3 deepening of Wave-A cc-attest)
|
| 5 |
+
//
|
| 6 |
+
// DEEPENS the Wave-A cc-attest measured-boot chain into a full "attested inference" flow that
|
| 7 |
+
// binds a device-attestation quote to a governed inference RECEIPT end-to-end, verifiable-by-
|
| 8 |
+
// design. Renders three linked stages driven by a single deterministic snapshot from
|
| 9 |
+
// /api/a11oy/v1/attest/infer?seed=42&model=szl-modeled-lm :
|
| 10 |
+
// (1) measured-boot TOWER — device_identity -> stage digests -> final_digest (mrtd),
|
| 11 |
+
// glowing proof-teal when golden_match, grey on mismatch (same tower idiom as ccattest.js).
|
| 12 |
+
// (2) Λ-GATE ring above the tower — colour = pass (proof-teal) / block (grey); the attestation
|
| 13 |
+
// axis is hard-coupled to the boot match, so a mismatch collapses Λ to 0 (A4 zero-absorption).
|
| 14 |
+
// (3) INFERENCE node — lit only when the Λ-gate RELEASED the inference (CoCo KBS style:
|
| 15 |
+
// no secret/inference release without a good attestation). A HUD shows the attestation
|
| 16 |
+
// quote digest, Λ value/floor/pass, DSSE signed flag, and the honesty label (verbatim).
|
| 17 |
+
//
|
| 18 |
+
// Surface export shape (mirrors ccattest.js / neuromorphic.js):
|
| 19 |
+
// export default { id, title, endpoints, mount(ctx), unmount() }
|
| 20 |
+
// ctx = { stage, container, live, label, THREE, szl3d }
|
| 21 |
+
//
|
| 22 |
+
// HONESTY LABEL: MODELED (deterministic sha256/384 simulation of the attested path keyed on
|
| 23 |
+
// (seed, model); NO real TEE, NO real GPU, NO NRAS/KDS network, NO real inference engine).
|
| 24 |
+
// The DSSE envelope is REAL ECDSA-P256 in-Space and honestly UNSIGNED-LOCAL locally.
|
| 25 |
+
// Label read VERBATIM from JSON; never upgraded. Λ = Conjecture 1 (advisory, gray, never green).
|
| 26 |
+
// Nothing here is in the locked-8. Trust never 100% — the attestation is MODELED, not real trust.
|
| 27 |
+
//
|
| 28 |
+
// CONFIDENTIAL-COMPUTE LEADERS CITED (clean-room PATTERN; NOT claimed as SZL's own):
|
| 29 |
+
// NVIDIA H100/H200 Confidential Computing + NRAS remote attestation
|
| 30 |
+
// https://developer.nvidia.com/blog/confidential-computing-on-h100-gpus-for-secure-and-trustworthy-ai/
|
| 31 |
+
// AMD SEV-SNP attestation (REPORT_DATA binds the inference; VCEK/KDS cert chain)
|
| 32 |
+
// https://www.amd.com/content/dam/amd/en/documents/developer/lss-snp-attestation.pdf
|
| 33 |
+
// Intel TDX (MRTD/RTMR TD Quote); in-toto/SLSA provenance (slsa.dev); Sigstore/Rekor
|
| 34 |
+
// (cosign verify-blob); Confidential Containers (CoCo) attestation-agent + KBS.
|
| 35 |
+
//
|
| 36 |
+
// COLOURS: lattice-blue 0x5b8dee (tower/pending), proof-teal 0x3af4c8 (golden-match / Λ-pass /
|
| 37 |
+
// released), violet-blue 0x8a6bff (device-identity marker, data-viz only), greys for
|
| 38 |
+
// pending/blocked/degraded. Purple BANNED as UI/background. 0 RUNTIME CDN (vendored three.js).
|
| 39 |
+
// DOCTRINE v11: degrades gracefully (grey) on 404/error; honesty label still shown verbatim.
|
| 40 |
+
|
| 41 |
+
const ID = "attestinfer";
|
| 42 |
+
const TITLE = "Attested Inference · TEE quote → Λ-gate → signed receipt (live)";
|
| 43 |
+
|
| 44 |
+
// Same-origin endpoint (this surface plugs into the a11oy registry, unlike Wave-A cc-attest
|
| 45 |
+
// which lived on the isolated killinchu Space).
|
| 46 |
+
const EP = "/api/a11oy/v1/attest/infer?seed=42&model=szl-modeled-lm";
|
| 47 |
+
|
| 48 |
+
// data-viz hues — purple BANNED
|
| 49 |
+
const C_BLOCK = 0x5b8dee; // lattice-blue (tower block body / pending)
|
| 50 |
+
const C_IDENT = 0x8a6bff; // violet-blue (device-identity marker — data-viz only)
|
| 51 |
+
const C_DIM = 0x42505d; // grey (pending / blocked / no-live-data)
|
| 52 |
+
const C_ACCENT = 0x3af4c8; // proof-teal (golden-match / Λ-pass / released)
|
| 53 |
+
const C_GRID = 0x1b3a44; // floor / link colour
|
| 54 |
+
|
| 55 |
+
const BLOCK_H = 1.0;
|
| 56 |
+
const BLOCK_W = 2.0;
|
| 57 |
+
const BLOCK_GAP = 0.22;
|
| 58 |
+
const MAX_BLOCKS = 5; // bootloader..gpu-vbios
|
| 59 |
+
|
| 60 |
+
let _stage = null, _THREE = null, _ctx = null, _group = null, _overlay = null;
|
| 61 |
+
let _frameReg = false, _polls = [], _el = {}, _badge = null, _plain = false;
|
| 62 |
+
|
| 63 |
+
// geometry handles
|
| 64 |
+
let _blocks = []; // stacked measured-boot hash-blocks
|
| 65 |
+
let _identMarker = null; // device-identity marker (base)
|
| 66 |
+
let _lambdaRing = null; // Λ-gate ring above the tower
|
| 67 |
+
let _inferNode = null; // inference node (lit only when released)
|
| 68 |
+
let _linkLine = null; // gate -> inference link
|
| 69 |
+
|
| 70 |
+
// live state
|
| 71 |
+
const S = {
|
| 72 |
+
label: null, seed: null, stages: null,
|
| 73 |
+
deviceId: null, chain: null, finalDigest: null, goldenMatch: null,
|
| 74 |
+
quoteDigest: null,
|
| 75 |
+
lamValue: null, lamFloor: null, lamPass: null,
|
| 76 |
+
released: null, outputDigest: null,
|
| 77 |
+
dsseSigned: null, dsseLabel: null,
|
| 78 |
+
honestNote: null, state: "init",
|
| 79 |
+
};
|
| 80 |
+
|
| 81 |
+
// =============================================================================
|
| 82 |
+
// mount(ctx)
|
| 83 |
+
// =============================================================================
|
| 84 |
+
export function mount(ctx) {
|
| 85 |
+
_ctx = ctx; _stage = ctx.stage; _THREE = ctx.THREE;
|
| 86 |
+
_group = new _THREE.Group();
|
| 87 |
+
_stage.scene.add(_group);
|
| 88 |
+
_stage.camera.position.set(4, 8, 15);
|
| 89 |
+
try { if (_stage.controls && _stage.controls.target) { _stage.controls.target.set(0, 4, 0); _stage.controls.update(); } } catch (_) {}
|
| 90 |
+
try { _stage.setBloom(true); } catch (_) {}
|
| 91 |
+
|
| 92 |
+
_buildFloor();
|
| 93 |
+
_buildIdentMarker();
|
| 94 |
+
_buildTower();
|
| 95 |
+
_buildLambdaRing();
|
| 96 |
+
_buildInferNode();
|
| 97 |
+
|
| 98 |
+
if (!_frameReg) { _stage.onFrame(_onFrame); _frameReg = true; }
|
| 99 |
+
|
| 100 |
+
_badge = ctx.live.createBadge();
|
| 101 |
+
_polls.push(ctx.live.poll(EP, 5000, _onSnap, { badge: _badge, onState: (m) => { S.state = m.state; _paintOverlay(); _updateScene(); } }));
|
| 102 |
+
|
| 103 |
+
_buildOverlay();
|
| 104 |
+
return { id: ID, started: true };
|
| 105 |
+
}
|
| 106 |
+
|
| 107 |
+
// =============================================================================
|
| 108 |
+
// builders
|
| 109 |
+
// =============================================================================
|
| 110 |
+
function _buildFloor() {
|
| 111 |
+
const THREE = _THREE;
|
| 112 |
+
const grid = new THREE.GridHelper(30, 30, C_GRID, 0x0f2027);
|
| 113 |
+
grid.material.opacity = 0.18; grid.material.transparent = true; grid.position.y = -0.01;
|
| 114 |
+
_group.add(grid);
|
| 115 |
+
}
|
| 116 |
+
|
| 117 |
+
function _buildIdentMarker() {
|
| 118 |
+
const THREE = _THREE;
|
| 119 |
+
_identMarker = new THREE.Mesh(
|
| 120 |
+
new THREE.OctahedronGeometry(0.4, 0),
|
| 121 |
+
new THREE.MeshStandardMaterial({ color: C_IDENT, emissive: C_IDENT, emissiveIntensity: 0.35, wireframe: true, transparent: true, opacity: 0.85 }),
|
| 122 |
+
);
|
| 123 |
+
_identMarker.position.set(0, 0.35, 0);
|
| 124 |
+
_group.add(_identMarker);
|
| 125 |
+
}
|
| 126 |
+
|
| 127 |
+
function _buildTower() {
|
| 128 |
+
const THREE = _THREE;
|
| 129 |
+
const boxGeo = new THREE.BoxGeometry(BLOCK_W, BLOCK_H, BLOCK_W);
|
| 130 |
+
const ringGeo = new THREE.TorusGeometry(BLOCK_W * 0.62, 0.05, 8, 24);
|
| 131 |
+
for (let i = 0; i < MAX_BLOCKS; i++) {
|
| 132 |
+
const y = 0.9 + i * (BLOCK_H + BLOCK_GAP);
|
| 133 |
+
const mat = new THREE.MeshStandardMaterial({
|
| 134 |
+
color: C_DIM, emissive: C_DIM, emissiveIntensity: 0.15,
|
| 135 |
+
transparent: true, opacity: 0.5, wireframe: false,
|
| 136 |
+
});
|
| 137 |
+
const mesh = new THREE.Mesh(boxGeo, mat);
|
| 138 |
+
mesh.position.set(0, y, 0); mesh.visible = false;
|
| 139 |
+
_group.add(mesh);
|
| 140 |
+
const ringMat = new THREE.MeshBasicMaterial({ color: C_ACCENT, transparent: true, opacity: 0.0 });
|
| 141 |
+
const ring = new THREE.Mesh(ringGeo, ringMat);
|
| 142 |
+
ring.position.set(0, y, 0); ring.rotation.x = Math.PI / 2; ring.visible = false;
|
| 143 |
+
_group.add(ring);
|
| 144 |
+
_blocks.push({ mesh, ring, y });
|
| 145 |
+
}
|
| 146 |
+
const spinePts = [];
|
| 147 |
+
for (let i = 0; i < MAX_BLOCKS; i++) spinePts.push(new THREE.Vector3(0, _blocks[i].y, 0));
|
| 148 |
+
const spine = new THREE.Line(new THREE.BufferGeometry().setFromPoints(spinePts),
|
| 149 |
+
new THREE.LineBasicMaterial({ color: C_GRID, transparent: true, opacity: 0.5 }));
|
| 150 |
+
_group.add(spine);
|
| 151 |
+
}
|
| 152 |
+
|
| 153 |
+
// Λ-gate ring sits above the tower; its colour reflects pass/block.
|
| 154 |
+
function _buildLambdaRing() {
|
| 155 |
+
const THREE = _THREE;
|
| 156 |
+
const topY = 0.9 + MAX_BLOCKS * (BLOCK_H + BLOCK_GAP) + 0.9;
|
| 157 |
+
_lambdaRing = new THREE.Mesh(
|
| 158 |
+
new THREE.TorusGeometry(1.5, 0.14, 16, 48),
|
| 159 |
+
new THREE.MeshStandardMaterial({ color: C_DIM, emissive: C_DIM, emissiveIntensity: 0.25, transparent: true, opacity: 0.6 }),
|
| 160 |
+
);
|
| 161 |
+
_lambdaRing.position.set(0, topY, 0);
|
| 162 |
+
_lambdaRing.rotation.x = Math.PI / 2;
|
| 163 |
+
_group.add(_lambdaRing);
|
| 164 |
+
}
|
| 165 |
+
|
| 166 |
+
// Inference node above the Λ-ring; lit proof-teal only when the gate RELEASED the inference.
|
| 167 |
+
function _buildInferNode() {
|
| 168 |
+
const THREE = _THREE;
|
| 169 |
+
const topY = 0.9 + MAX_BLOCKS * (BLOCK_H + BLOCK_GAP) + 2.6;
|
| 170 |
+
_inferNode = new THREE.Mesh(
|
| 171 |
+
new THREE.IcosahedronGeometry(0.7, 1),
|
| 172 |
+
new THREE.MeshStandardMaterial({ color: C_DIM, emissive: C_DIM, emissiveIntensity: 0.2, transparent: true, opacity: 0.5, wireframe: true }),
|
| 173 |
+
);
|
| 174 |
+
_inferNode.position.set(0, topY, 0);
|
| 175 |
+
_group.add(_inferNode);
|
| 176 |
+
const linkGeo = new THREE.BufferGeometry().setFromPoints([
|
| 177 |
+
new THREE.Vector3(0, topY - 1.1, 0), new THREE.Vector3(0, topY - 0.7, 0),
|
| 178 |
+
]);
|
| 179 |
+
_linkLine = new THREE.Line(linkGeo, new THREE.LineBasicMaterial({ color: C_GRID, transparent: true, opacity: 0.5 }));
|
| 180 |
+
_group.add(_linkLine);
|
| 181 |
+
}
|
| 182 |
+
|
| 183 |
+
// =============================================================================
|
| 184 |
+
// live data handler
|
| 185 |
+
// =============================================================================
|
| 186 |
+
function _onSnap(j) {
|
| 187 |
+
S.label = (j.label || "MODELED").toUpperCase(); // verbatim, never upgraded
|
| 188 |
+
S.seed = typeof j.seed === "number" ? j.seed : null;
|
| 189 |
+
S.stages = typeof j.stages === "number" ? j.stages : null;
|
| 190 |
+
S.deviceId = typeof j.device_identity === "string" ? j.device_identity : null;
|
| 191 |
+
S.chain = Array.isArray(j.measurement_chain) ? j.measurement_chain : null;
|
| 192 |
+
S.finalDigest = typeof j.final_digest === "string" ? j.final_digest : null;
|
| 193 |
+
S.goldenMatch = typeof j.golden_match === "boolean" ? j.golden_match : null;
|
| 194 |
+
|
| 195 |
+
const q = j.attestation_quote || {};
|
| 196 |
+
S.quoteDigest = typeof q.quote_digest === "string" ? q.quote_digest : null;
|
| 197 |
+
|
| 198 |
+
const lam = j.lambda || {};
|
| 199 |
+
S.lamValue = typeof lam.value === "number" ? lam.value : null;
|
| 200 |
+
S.lamFloor = typeof lam.floor === "number" ? lam.floor : null;
|
| 201 |
+
S.lamPass = typeof lam.pass === "boolean" ? lam.pass : null;
|
| 202 |
+
|
| 203 |
+
const inf = j.inference || {};
|
| 204 |
+
S.released = typeof inf.released === "boolean" ? inf.released : null;
|
| 205 |
+
S.outputDigest= typeof inf.output_digest === "string" ? inf.output_digest : null;
|
| 206 |
+
|
| 207 |
+
const dsse = j.dsse || {};
|
| 208 |
+
S.dsseSigned = typeof dsse.signed === "boolean" ? dsse.signed : null;
|
| 209 |
+
S.dsseLabel = dsse.local_label || (dsse.signed ? "REAL-SIGNED" : "UNSIGNED-LOCAL");
|
| 210 |
+
|
| 211 |
+
S.honestNote = typeof j.honest_note === "string" ? j.honest_note : null;
|
| 212 |
+
|
| 213 |
+
_updateScene();
|
| 214 |
+
_paintOverlay();
|
| 215 |
+
}
|
| 216 |
+
|
| 217 |
+
// =============================================================================
|
| 218 |
+
// scene updater
|
| 219 |
+
// =============================================================================
|
| 220 |
+
function _updateScene() {
|
| 221 |
+
const live = S.state === "live";
|
| 222 |
+
const bootOk = S.goldenMatch === true;
|
| 223 |
+
const gatePass = S.lamPass === true;
|
| 224 |
+
const released = S.released === true;
|
| 225 |
+
|
| 226 |
+
// tower blocks
|
| 227 |
+
if (live && S.chain && S.chain.length) {
|
| 228 |
+
const n = Math.min(MAX_BLOCKS, S.chain.length);
|
| 229 |
+
for (let i = 0; i < MAX_BLOCKS; i++) {
|
| 230 |
+
const b = _blocks[i];
|
| 231 |
+
if (i < n) {
|
| 232 |
+
b.mesh.visible = true;
|
| 233 |
+
b.mesh.material.color.setHex(bootOk ? C_ACCENT : C_BLOCK);
|
| 234 |
+
b.mesh.material.emissive.setHex(bootOk ? C_ACCENT : C_BLOCK);
|
| 235 |
+
b.mesh.material.emissiveIntensity = bootOk ? 0.5 : 0.25;
|
| 236 |
+
b.mesh.material.opacity = 0.88;
|
| 237 |
+
const isFinal = i === n - 1;
|
| 238 |
+
b.ring.visible = isFinal;
|
| 239 |
+
if (isFinal) { b.ring.material.color.setHex(bootOk ? C_ACCENT : C_DIM); b.ring.material.opacity = bootOk ? 0.9 : 0.35; }
|
| 240 |
+
} else { b.mesh.visible = false; b.ring.visible = false; }
|
| 241 |
+
}
|
| 242 |
+
} else {
|
| 243 |
+
_blocks.forEach((b) => { b.mesh.visible = false; b.ring.visible = false; });
|
| 244 |
+
}
|
| 245 |
+
|
| 246 |
+
// device-identity marker
|
| 247 |
+
if (_identMarker) {
|
| 248 |
+
const on = live && S.deviceId;
|
| 249 |
+
_identMarker.material.color.setHex(on ? C_IDENT : C_DIM);
|
| 250 |
+
_identMarker.material.emissive.setHex(on ? C_IDENT : C_DIM);
|
| 251 |
+
_identMarker.material.opacity = on ? 0.85 : 0.3;
|
| 252 |
+
}
|
| 253 |
+
|
| 254 |
+
// Λ-gate ring
|
| 255 |
+
if (_lambdaRing) {
|
| 256 |
+
const c = (live && gatePass) ? C_ACCENT : C_DIM;
|
| 257 |
+
_lambdaRing.material.color.setHex(c);
|
| 258 |
+
_lambdaRing.material.emissive.setHex(c);
|
| 259 |
+
_lambdaRing.material.emissiveIntensity = (live && gatePass) ? 0.55 : 0.2;
|
| 260 |
+
_lambdaRing.material.opacity = live ? 0.85 : 0.5;
|
| 261 |
+
}
|
| 262 |
+
|
| 263 |
+
// inference node — lit only when released
|
| 264 |
+
if (_inferNode) {
|
| 265 |
+
const on = live && released;
|
| 266 |
+
_inferNode.material.color.setHex(on ? C_ACCENT : C_DIM);
|
| 267 |
+
_inferNode.material.emissive.setHex(on ? C_ACCENT : C_DIM);
|
| 268 |
+
_inferNode.material.emissiveIntensity = on ? 0.6 : 0.2;
|
| 269 |
+
_inferNode.material.opacity = on ? 0.92 : 0.45;
|
| 270 |
+
_inferNode.material.wireframe = !on;
|
| 271 |
+
}
|
| 272 |
+
if (_linkLine) _linkLine.material.opacity = (live && released) ? 0.85 : 0.4;
|
| 273 |
+
}
|
| 274 |
+
|
| 275 |
+
// =============================================================================
|
| 276 |
+
// per-frame animation
|
| 277 |
+
// =============================================================================
|
| 278 |
+
function _onFrame() {
|
| 279 |
+
const t = performance.now();
|
| 280 |
+
if (_group) _group.rotation.y = Math.sin(t * 0.00009) * 0.12;
|
| 281 |
+
if (_identMarker) { _identMarker.rotation.y += 0.015; _identMarker.rotation.x += 0.008; }
|
| 282 |
+
if (_lambdaRing && S.lamPass === true) { _lambdaRing.rotation.z += 0.01; const p = 1.0 + 0.06 * Math.sin(t * 0.003); _lambdaRing.scale.setScalar(p); }
|
| 283 |
+
if (_inferNode && S.released === true) { _inferNode.rotation.y += 0.02; _inferNode.rotation.x += 0.012; }
|
| 284 |
+
for (const b of _blocks) {
|
| 285 |
+
if (b.ring.visible && S.goldenMatch === true) { const p = 1.0 + 0.12 * Math.sin(t * 0.0035); b.ring.scale.setScalar(p); }
|
| 286 |
+
}
|
| 287 |
+
}
|
| 288 |
+
|
| 289 |
+
// =============================================================================
|
| 290 |
+
// overlay
|
| 291 |
+
// =============================================================================
|
| 292 |
+
function _buildOverlay() {
|
| 293 |
+
const ctx = _ctx;
|
| 294 |
+
_overlay = document.createElement("div");
|
| 295 |
+
Object.assign(_overlay.style, {
|
| 296 |
+
position: "absolute", left: "14px", top: "14px", zIndex: "6",
|
| 297 |
+
display: "flex", flexDirection: "column", gap: "8px",
|
| 298 |
+
maxWidth: "min(94%,460px)",
|
| 299 |
+
font: "12px ui-sans-serif,system-ui,Segoe UI,Roboto,Arial", color: "#eef3f6",
|
| 300 |
+
});
|
| 301 |
+
|
| 302 |
+
const h = document.createElement("div");
|
| 303 |
+
h.style.cssText = "font:600 13px ui-sans-serif,system-ui;letter-spacing:.4px";
|
| 304 |
+
h.textContent = TITLE;
|
| 305 |
+
_overlay.appendChild(h);
|
| 306 |
+
|
| 307 |
+
const sub = document.createElement("div");
|
| 308 |
+
sub.style.cssText = "color:#9fb1bf;font-size:11px;line-height:1.55";
|
| 309 |
+
sub.innerHTML =
|
| 310 |
+
"A deepening of Wave-A cc-attest into a full <b>attested-inference</b> flow: a device " +
|
| 311 |
+
"<b>measured-boot chain</b> \u2192 an attestation <b>quote</b> that binds this inference " +
|
| 312 |
+
"(SEV-SNP <b>REPORT_DATA</b> style) \u2192 a <b>\u039b-gate</b> \u2192 gated inference \u2192 a " +
|
| 313 |
+
"signed <b>receipt</b> embedding the quote digest + \u039b axes + SLSA provenance. " +
|
| 314 |
+
"Honesty <b>MODELED</b> \u2014 no real TEE/GPU/NRAS/network; DSSE is REAL ECDSA-P256 in-Space, " +
|
| 315 |
+
"UNSIGNED-LOCAL locally. 0 runtime CDN.";
|
| 316 |
+
_overlay.appendChild(sub);
|
| 317 |
+
|
| 318 |
+
const brow = document.createElement("div");
|
| 319 |
+
brow.style.cssText = "display:flex;gap:8px;align-items:center;flex-wrap:wrap";
|
| 320 |
+
if (_badge && _badge.el) brow.appendChild(_badge.el);
|
| 321 |
+
_overlay.appendChild(brow);
|
| 322 |
+
|
| 323 |
+
const card = document.createElement("div");
|
| 324 |
+
card.style.cssText = "background:#0a1117;border:1px solid #1d2a36;border-radius:9px;padding:9px 10px;display:flex;flex-direction:column;gap:6px";
|
| 325 |
+
|
| 326 |
+
const chead = document.createElement("div");
|
| 327 |
+
chead.style.cssText = "display:flex;align-items:center;gap:8px;flex-wrap:wrap";
|
| 328 |
+
const dot = document.createElement("span");
|
| 329 |
+
dot.style.cssText = "width:9px;height:9px;border-radius:50%;background:#5b8dee;box-shadow:0 0 7px #5b8dee";
|
| 330 |
+
const nm = document.createElement("b");
|
| 331 |
+
nm.style.cssText = "font-size:12px;color:#5b8dee;letter-spacing:.3px";
|
| 332 |
+
nm.textContent = "attest/infer";
|
| 333 |
+
chead.appendChild(dot); chead.appendChild(nm);
|
| 334 |
+
card.appendChild(chead);
|
| 335 |
+
|
| 336 |
+
const grid = document.createElement("div");
|
| 337 |
+
grid.style.cssText = "display:grid;grid-template-columns:1fr;gap:4px";
|
| 338 |
+
function kpiRow(id, label) {
|
| 339 |
+
const r = document.createElement("div");
|
| 340 |
+
r.style.cssText = "display:flex;justify-content:space-between;gap:10px;font-size:11px";
|
| 341 |
+
const l = document.createElement("span"); l.style.cssText = "color:#9fb1bf"; l.textContent = label;
|
| 342 |
+
const v = document.createElement("b");
|
| 343 |
+
v.id = id; v.style.cssText = "font-variant-numeric:tabular-nums;color:#eef3f6;text-align:right;max-width:60%;overflow-wrap:anywhere";
|
| 344 |
+
v.textContent = "\u2014"; _el[id] = v;
|
| 345 |
+
r.appendChild(l); r.appendChild(v); return r;
|
| 346 |
+
}
|
| 347 |
+
grid.appendChild(kpiRow("ai-seed", "seed"));
|
| 348 |
+
grid.appendChild(kpiRow("ai-ident", "device identity (sha384, trunc)"));
|
| 349 |
+
grid.appendChild(kpiRow("ai-golden", "measured-boot golden_match \u2014 MODELED"));
|
| 350 |
+
grid.appendChild(kpiRow("ai-quote", "attestation quote digest (trunc)"));
|
| 351 |
+
grid.appendChild(kpiRow("ai-lambda", "\u039b value / floor \u2014 Conjecture 1"));
|
| 352 |
+
grid.appendChild(kpiRow("ai-gate", "\u039b-gate"));
|
| 353 |
+
grid.appendChild(kpiRow("ai-infer", "inference released"));
|
| 354 |
+
grid.appendChild(kpiRow("ai-dsse", "DSSE receipt"));
|
| 355 |
+
grid.appendChild(kpiRow("ai-label", "honesty label"));
|
| 356 |
+
card.appendChild(grid);
|
| 357 |
+
|
| 358 |
+
const fn = document.createElement("div");
|
| 359 |
+
fn.style.cssText = "font-size:9.5px;color:#6b7a86;line-height:1.5";
|
| 360 |
+
fn.innerHTML =
|
| 361 |
+
"Leaders (clean-room pattern, not claimed-as): NVIDIA H100/H200 CC + NRAS " +
|
| 362 |
+
"(developer.nvidia.com/blog/confidential-computing-on-h100-gpus\u2026); AMD SEV-SNP REPORT_DATA/VCEK/KDS " +
|
| 363 |
+
"(amd.com \u2026 lss-snp-attestation.pdf); Intel TDX MRTD; in-toto/SLSA (slsa.dev); Sigstore/Rekor " +
|
| 364 |
+
"cosign (docs.sigstore.dev); Confidential Containers (CoCo) KBS. MODELED \u00b7 \u039b = Conjecture 1.";
|
| 365 |
+
card.appendChild(fn);
|
| 366 |
+
_overlay.appendChild(card);
|
| 367 |
+
|
| 368 |
+
const pl = document.createElement("button");
|
| 369 |
+
pl.textContent = "\u25d1 what this means";
|
| 370 |
+
pl.title = "Toggle plain-language explanation for investors & consumers.";
|
| 371 |
+
pl.style.cssText = "font:11px ui-monospace,monospace;padding:5px 11px;border-radius:7px;border:1px solid #3af4c8;background:#08140f;color:#3af4c8;cursor:pointer;width:fit-content";
|
| 372 |
+
pl.addEventListener("click", () => { _plain = !_plain; pl.style.background = _plain ? "#0f2a20" : "#08140f"; _applyPlain(); });
|
| 373 |
+
_overlay.appendChild(pl);
|
| 374 |
+
|
| 375 |
+
const pd = document.createElement("div");
|
| 376 |
+
pd.id = "ai-plain";
|
| 377 |
+
pd.style.cssText = "font-size:10.5px;color:#c9d6df;line-height:1.55;border:1px dashed #26333f;border-radius:7px;padding:7px 9px;display:none";
|
| 378 |
+
_el["plain"] = pd;
|
| 379 |
+
_overlay.appendChild(pd);
|
| 380 |
+
|
| 381 |
+
(ctx.container || document.body).appendChild(_overlay);
|
| 382 |
+
_paintOverlay();
|
| 383 |
+
}
|
| 384 |
+
|
| 385 |
+
function _applyPlain() {
|
| 386 |
+
const pd = _el["plain"]; if (!pd) return;
|
| 387 |
+
pd.style.display = _plain ? "block" : "none";
|
| 388 |
+
if (!_plain) return;
|
| 389 |
+
const boot = S.goldenMatch === true ? "PASSES" : (S.goldenMatch === false ? "FAILS" : "loading\u2026");
|
| 390 |
+
const rel = S.released === true ? "RELEASED" : (S.released === false ? "WITHHELD" : "loading\u2026");
|
| 391 |
+
pd.innerHTML =
|
| 392 |
+
"<b>What this means:</b> Real confidential-compute hardware (NVIDIA H100 CC, AMD SEV-SNP, " +
|
| 393 |
+
"Intel TDX) boots through a measured sequence and produces a signed <b>attestation quote</b>. " +
|
| 394 |
+
"A relying party (NVIDIA NRAS, AMD KDS, a Confidential-Containers key broker) checks that " +
|
| 395 |
+
"quote before it will trust the machine with secrets or release a model. This view is a " +
|
| 396 |
+
"labeled <b>toy stand-in</b>: it hashes a synthetic device ID and boot stages, binds this " +
|
| 397 |
+
"run into the quote, then runs a <b>\u039b trust gate</b> that only releases a (fake) inference " +
|
| 398 |
+
"when the attestation is good. Right now the measured boot <b>" + boot + "</b> and the " +
|
| 399 |
+
"inference is <b>" + rel + "</b>. There is <b>no real GPU, no real key, and no network call</b> " +
|
| 400 |
+
"\u2014 it shows how attested inference WORKS, not a working verifier. The receipt is signed for " +
|
| 401 |
+
"real (ECDSA-P256) only inside the deployed Space; locally it is honestly UNSIGNED.";
|
| 402 |
+
}
|
| 403 |
+
|
| 404 |
+
function _tok(s) {
|
| 405 |
+
if (s === "live") return null;
|
| 406 |
+
if (s === "missing") return "NO-LIVE-DATA";
|
| 407 |
+
if (s === "degraded") return "DEGRADED";
|
| 408 |
+
if (s === "error") return "OFFLINE";
|
| 409 |
+
return "\u2026";
|
| 410 |
+
}
|
| 411 |
+
function _trunc(s, n) { return typeof s === "string" ? (s.length > n ? s.slice(0, n) + "\u2026" : s) : "\u2014"; }
|
| 412 |
+
function _set(id, v) { if (_el[id]) _el[id].textContent = v; }
|
| 413 |
+
|
| 414 |
+
function _paintOverlay() {
|
| 415 |
+
const t = _tok(S.state);
|
| 416 |
+
_set("ai-seed", t || (S.seed != null ? String(S.seed) : "\u2014"));
|
| 417 |
+
_set("ai-ident", t || _trunc(S.deviceId, 18));
|
| 418 |
+
_set("ai-golden", t || (S.goldenMatch === true ? "MATCH" : (S.goldenMatch === false ? "MISMATCH" : "\u2014")));
|
| 419 |
+
_set("ai-quote", t || _trunc(S.quoteDigest, 18));
|
| 420 |
+
_set("ai-lambda", t || (S.lamValue != null ? (S.lamValue.toFixed(4) + " / " + (S.lamFloor != null ? S.lamFloor.toFixed(2) : "0.90")) : "\u2014"));
|
| 421 |
+
_set("ai-gate", t || (S.lamPass === true ? "PASS (release)" : (S.lamPass === false ? "BLOCK (withhold)" : "\u2014")));
|
| 422 |
+
_set("ai-infer", t || (S.released === true ? "RELEASED" : (S.released === false ? "WITHHELD" : "\u2014")));
|
| 423 |
+
_set("ai-dsse", t || (S.dsseSigned == null ? "\u2014" : (S.dsseSigned ? "REAL-SIGNED (ECDSA-P256)" : "UNSIGNED-LOCAL")));
|
| 424 |
+
_set("ai-label", t || (S.label || "MODELED"));
|
| 425 |
+
if (_plain) _applyPlain();
|
| 426 |
+
}
|
| 427 |
+
|
| 428 |
+
// =============================================================================
|
| 429 |
+
// unmount — clean up everything; must not affect other organs
|
| 430 |
+
// =============================================================================
|
| 431 |
+
export function unmount() {
|
| 432 |
+
_polls.forEach((p) => { try { p.stop(); } catch (_) {} }); _polls = [];
|
| 433 |
+
try { if (_overlay && _overlay.parentNode) _overlay.parentNode.removeChild(_overlay); } catch (_) {}
|
| 434 |
+
try {
|
| 435 |
+
if (_group && _stage) {
|
| 436 |
+
_group.traverse((o) => {
|
| 437 |
+
if (o.geometry && o.geometry.dispose) o.geometry.dispose();
|
| 438 |
+
if (o.material) { const ms = Array.isArray(o.material) ? o.material : [o.material]; ms.forEach((m) => { if (m.dispose) m.dispose(); }); }
|
| 439 |
+
});
|
| 440 |
+
_stage.scene.remove(_group);
|
| 441 |
+
}
|
| 442 |
+
} catch (_) {}
|
| 443 |
+
_group = _overlay = null;
|
| 444 |
+
_blocks = []; _identMarker = null; _lambdaRing = null; _inferNode = null; _linkLine = null;
|
| 445 |
+
_el = {}; _badge = null; _plain = false; _frameReg = false;
|
| 446 |
+
_stage = _THREE = _ctx = null;
|
| 447 |
+
S.label = S.seed = S.stages = S.deviceId = S.chain = S.finalDigest = S.goldenMatch = null;
|
| 448 |
+
S.quoteDigest = S.lamValue = S.lamFloor = S.lamPass = null;
|
| 449 |
+
S.released = S.outputDigest = S.dsseSigned = S.dsseLabel = S.honestNote = null;
|
| 450 |
+
S.state = "init";
|
| 451 |
+
}
|
| 452 |
+
|
| 453 |
+
export default { id: ID, title: TITLE, endpoints: [EP], mount, unmount };
|
static/3d/surfaces/energy.js
CHANGED
|
@@ -30,6 +30,13 @@
|
|
| 30 |
// real fresh exporter sample arrives, the same geometry fills from the MEASURED joules.
|
| 31 |
//
|
| 32 |
// LIVE ENDPOINTS:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 33 |
// /api/a11oy/v1/harvest/posture — posture, rank, wasted_energy_available, soak_hard,
|
| 34 |
// measured_any, drivers, readings[] (per-feed reachable/measured + value),
|
| 35 |
// joules_label, joules_evidence{joules_measured_total, exporter_node, power_w_sample},
|
|
@@ -37,12 +44,20 @@
|
|
| 37 |
// renewable_share_pct / uk_gco2_per_kwh.
|
| 38 |
// /api/a11oy/v1/anatomy/loop — reservoir.work_credits (the loop's stored credits).
|
| 39 |
//
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 40 |
// CONTRACT: default-export { id, title, endpoints[], mount(ctx), unmount() }.
|
| 41 |
|
| 42 |
import { createShowcase } from "./_showcase.js";
|
| 43 |
|
| 44 |
const ID = "energy";
|
| 45 |
const TITLE = "Energy · Harvest";
|
|
|
|
| 46 |
const POSTURE_EP = "/api/a11oy/v1/harvest/posture";
|
| 47 |
const LOOP_EP = "/api/a11oy/v1/anatomy/loop";
|
| 48 |
|
|
@@ -53,7 +68,12 @@ const C = {
|
|
| 53 |
};
|
| 54 |
|
| 55 |
let _stage = null, _THREE = null, _ctx = null;
|
| 56 |
-
let _hPosture = null, _hLoop = null;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 57 |
let _root = null; // THREE.Group holding everything we add (one remove on unmount)
|
| 58 |
let _overlay = null; // DOM HUD panel
|
| 59 |
let _show = null; // shared collapsible showcase chrome
|
|
@@ -136,6 +156,33 @@ function _getNegWindows(json) {
|
|
| 136 |
if (n !== null) return { list: null, count: n, live: true };
|
| 137 |
return { list: null, count: null, live: false };
|
| 138 |
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 139 |
// joules evidence — MEASURED only on-box; off-box {} (we render the honest empty posture)
|
| 140 |
function _getJoules(json) {
|
| 141 |
const ev = (json && json.joules_evidence) || {};
|
|
@@ -356,8 +403,19 @@ function build() {
|
|
| 356 |
MOTES.pos = mPos; MOTES.geo = mGeo;
|
| 357 |
_root.add(MOTES.points);
|
| 358 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 359 |
// stash builders for the frame loop + pollers
|
| 360 |
-
_scene = { GRID, NEG, RES, ARC, HALO, GAUGE, DOME, RIBBON, HEALTH, SOAK, CREDITS, MOTES };
|
| 361 |
|
| 362 |
// enable bloom for the holographic glow (safe no-op on WebGPU per toolkit)
|
| 363 |
try { _stage.setBloom(true); } catch (_) {}
|
|
@@ -468,6 +526,16 @@ function build() {
|
|
| 468 |
MOTES.geo.attributes.position.needsUpdate = true;
|
| 469 |
MOTES.points.material.opacity = 0.25 + _anim.flow * 0.4;
|
| 470 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 471 |
_root.rotation.y += 0.0012; // gentle estate drift
|
| 472 |
};
|
| 473 |
_stage.onFrame(_frameFn);
|
|
@@ -516,11 +584,24 @@ function buildHUD() {
|
|
| 516 |
row("power", "power_w sample");
|
| 517 |
row("credits", "loop work_credits");
|
| 518 |
row("health", "grid feeds");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 519 |
|
| 520 |
// doctrine note (the off-box joules honesty reality)
|
| 521 |
const note = document.createElement("div");
|
| 522 |
note.style.cssText = "color:#6d7d8a;font-size:10.5px;line-height:1.45;margin-top:4px;border-top:1px solid #15212c;padding-top:6px";
|
| 523 |
-
note.textContent = "joules MEASURED
|
| 524 |
_overlay.appendChild(note);
|
| 525 |
|
| 526 |
_show.body.appendChild(_overlay);
|
|
@@ -536,13 +617,169 @@ function _setRow(key, text, label) {
|
|
| 536 |
// ----------------------------------------------------------------------------
|
| 537 |
// pollers — wire EVERY value to the real endpoints; render honest degraded/missing.
|
| 538 |
// ----------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 539 |
function onPosture(json, meta) {
|
| 540 |
if (!_scene) return;
|
| 541 |
|
| 542 |
-
// degraded / missing posture → honest HUD, don't fabricate
|
|
|
|
| 543 |
if (meta.state === "missing" || meta.state === "error") {
|
| 544 |
-
|
| 545 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
| 546 |
return;
|
| 547 |
}
|
| 548 |
const degraded = meta.state === "degraded" || json.ok === false;
|
|
@@ -590,36 +827,44 @@ function onPosture(json, meta) {
|
|
| 590 |
} else { _setRow("neg", "NO-LIVE-DATA", "STRUCTURAL-ONLY"); _anim.negCountT = 0; }
|
| 591 |
|
| 592 |
// THE FUNNEL — joules. MEASURED only on-box; off-box honest sample posture, no fill.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 593 |
const j = _getJoules(json);
|
| 594 |
const jlabel = j.label || (json.joules_label ? String(json.joules_label).toUpperCase() : "STRUCTURAL-ONLY");
|
| 595 |
-
if (
|
| 596 |
-
|
| 597 |
-
|
| 598 |
-
|
| 599 |
-
|
| 600 |
-
|
| 601 |
-
|
| 602 |
-
|
| 603 |
-
|
| 604 |
-
|
| 605 |
-
|
| 606 |
-
|
| 607 |
-
|
| 608 |
-
|
| 609 |
-
|
| 610 |
-
|
| 611 |
-
|
| 612 |
-
|
| 613 |
-
|
| 614 |
-
|
| 615 |
-
|
| 616 |
-
|
|
|
|
| 617 |
|
| 618 |
-
|
| 619 |
-
|
| 620 |
-
|
| 621 |
-
|
| 622 |
-
|
|
|
|
| 623 |
|
| 624 |
// grid-feed health constellation + badge (n reachable / total)
|
| 625 |
const rs = Array.isArray(json.readings) ? json.readings : [];
|
|
@@ -670,14 +915,19 @@ function mount(ctx) {
|
|
| 670 |
build();
|
| 671 |
buildHUD();
|
| 672 |
|
| 673 |
-
// wire
|
| 674 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
| 675 |
_hLoop = ctx.live.poll(LOOP_EP, 7000, onLoop);
|
| 676 |
|
| 677 |
return { id: ID, started: true };
|
| 678 |
}
|
| 679 |
|
| 680 |
function unmount() {
|
|
|
|
| 681 |
try { if (_hPosture) _hPosture.stop(); } catch (_) {}
|
| 682 |
try { if (_hLoop) _hLoop.stop(); } catch (_) {}
|
| 683 |
try { if (_show) _show.destroy(); } catch (_) {}
|
|
@@ -691,8 +941,9 @@ function unmount() {
|
|
| 691 |
});
|
| 692 |
} catch (_) {}
|
| 693 |
try { if (_stage) _stage.setBloom(false); } catch (_) {}
|
| 694 |
-
|
|
|
|
| 695 |
_scene = null; _frameFn = null; _hud = {}; _ctx = null; _stage = null; _THREE = null;
|
| 696 |
}
|
| 697 |
|
| 698 |
-
export default { id: ID, title: TITLE, endpoints: [POSTURE_EP, LOOP_EP], mount, unmount };
|
|
|
|
| 30 |
// real fresh exporter sample arrives, the same geometry fills from the MEASURED joules.
|
| 31 |
//
|
| 32 |
// LIVE ENDPOINTS:
|
| 33 |
+
// /api/a11oy/v1/energy/mesh — PER-NODE live NVML energy from the MERGED multi-meter
|
| 34 |
+
// scrape (both the tower's meter.a-11-oy.com AND the laptop's meter2.a-11-oy.com,
|
| 35 |
+
// merged + de-duped by szl_energy_operator._fetch_joule_meter via
|
| 36 |
+
// A11OY_JOULE_METER_URLS). nodes[]:{name, role, live, watts, joules, joules_label
|
| 37 |
+
// (MEASURED|UNAVAILABLE), source (NVML|mesh-posture), draw}, total_watts,
|
| 38 |
+
// total_joules, joules_label. THIS is what upgrades the surface from
|
| 39 |
+
// STRUCTURAL-ONLY to live-MEASURED per node (Dev2, Wave 28).
|
| 40 |
// /api/a11oy/v1/harvest/posture — posture, rank, wasted_energy_available, soak_hard,
|
| 41 |
// measured_any, drivers, readings[] (per-feed reachable/measured + value),
|
| 42 |
// joules_label, joules_evidence{joules_measured_total, exporter_node, power_w_sample},
|
|
|
|
| 44 |
// renewable_share_pct / uk_gco2_per_kwh.
|
| 45 |
// /api/a11oy/v1/anatomy/loop — reservoir.work_credits (the loop's stored credits).
|
| 46 |
//
|
| 47 |
+
// PER-NODE HONESTY (Dev2, binding): each metered GPU is labeled INDEPENDENTLY straight off
|
| 48 |
+
// /energy/mesh — MEASURED when its own NVML meter responded live with a real reading;
|
| 49 |
+
// OFFLINE when the node exists in the mesh but is not live OR its engine returned no
|
| 50 |
+
// reading (watts/joules null); NO-LIVE-DATA/STRUCTURAL-ONLY only when the endpoint itself
|
| 51 |
+
// is missing/errored. A node with no live meter shows OFFLINE — we NEVER fabricate a watt
|
| 52 |
+
// or a joule, and the tower can be MEASURED while the laptop is OFFLINE (and vice-versa).
|
| 53 |
+
//
|
| 54 |
// CONTRACT: default-export { id, title, endpoints[], mount(ctx), unmount() }.
|
| 55 |
|
| 56 |
import { createShowcase } from "./_showcase.js";
|
| 57 |
|
| 58 |
const ID = "energy";
|
| 59 |
const TITLE = "Energy · Harvest";
|
| 60 |
+
const MESH_EP = "/api/a11oy/v1/energy/mesh";
|
| 61 |
const POSTURE_EP = "/api/a11oy/v1/harvest/posture";
|
| 62 |
const LOOP_EP = "/api/a11oy/v1/anatomy/loop";
|
| 63 |
|
|
|
|
| 68 |
};
|
| 69 |
|
| 70 |
let _stage = null, _THREE = null, _ctx = null;
|
| 71 |
+
let _hMesh = null, _hPosture = null, _hLoop = null;
|
| 72 |
+
// True once /energy/mesh has delivered a MEASURED per-node reading this session, so the
|
| 73 |
+
// posture poller does NOT override the reservoir/gauge with the off-box structural posture
|
| 74 |
+
// (the LIVE mesh is the source of truth for joules/watts when it is measured). Honest:
|
| 75 |
+
// reset to false whenever the mesh endpoint goes missing/errored.
|
| 76 |
+
let _meshMeasured = false;
|
| 77 |
let _root = null; // THREE.Group holding everything we add (one remove on unmount)
|
| 78 |
let _overlay = null; // DOM HUD panel
|
| 79 |
let _show = null; // shared collapsible showcase chrome
|
|
|
|
| 156 |
if (n !== null) return { list: null, count: n, live: true };
|
| 157 |
return { list: null, count: null, live: false };
|
| 158 |
}
|
| 159 |
+
// per-node energy from /energy/mesh. Returns a normalized node list; each entry carries
|
| 160 |
+
// its OWN honesty verdict read STRAIGHT off the JSON — never inferred, never fabricated:
|
| 161 |
+
// measured : joules_label==MEASURED AND a numeric watts/joules is present.
|
| 162 |
+
// offline : node exists in the mesh but is not measured (no live reading / not live).
|
| 163 |
+
function _num2(x) { return _num(x); }
|
| 164 |
+
function _meshNodes(json) {
|
| 165 |
+
const arr = (json && Array.isArray(json.nodes)) ? json.nodes : [];
|
| 166 |
+
return arr.map((n, i) => {
|
| 167 |
+
const label = String((n && n.joules_label) || "").toUpperCase();
|
| 168 |
+
const watts = _num(n && n.watts);
|
| 169 |
+
const joules = _num(n && n.joules);
|
| 170 |
+
const live = (n && n.live) === true;
|
| 171 |
+
const measured = label.indexOf("MEASURED") >= 0 && (watts !== null || joules !== null);
|
| 172 |
+
return {
|
| 173 |
+
key: String((n && (n.name || n.role)) || ("node" + i)),
|
| 174 |
+
name: String((n && n.name) || (n && n.role) || ("node " + i)),
|
| 175 |
+
role: String((n && n.role) || ""),
|
| 176 |
+
watts, joules, live, measured,
|
| 177 |
+
draw: _num(n && n.draw),
|
| 178 |
+
source: String((n && n.source) || ""),
|
| 179 |
+
// Honest per-node display label: MEASURED when its own meter read live; OFFLINE
|
| 180 |
+
// otherwise (present in the mesh, but no live NVML reading attributed to it).
|
| 181 |
+
label: measured ? "MEASURED" : "OFFLINE",
|
| 182 |
+
};
|
| 183 |
+
});
|
| 184 |
+
}
|
| 185 |
+
|
| 186 |
// joules evidence — MEASURED only on-box; off-box {} (we render the honest empty posture)
|
| 187 |
function _getJoules(json) {
|
| 188 |
const ev = (json && json.joules_evidence) || {};
|
|
|
|
| 403 |
MOTES.pos = mPos; MOTES.geo = mGeo;
|
| 404 |
_root.add(MOTES.points);
|
| 405 |
|
| 406 |
+
// ---- DEMO 13: PER-NODE sovereign-GPU pillars (Dev2 — the honest MEASURED upgrade) ----
|
| 407 |
+
// One pillar per mesh GPU node from /energy/mesh. Height = the node's live NVML watts
|
| 408 |
+
// (log-eased to a sane visual range); color = green when that node is MEASURED, slate/dim
|
| 409 |
+
// OFFLINE when it has no live reading. A billboard rides each pillar showing the node's
|
| 410 |
+
// OWN honesty label (MEASURED·<W> or OFFLINE) so a viewer can tell tower from laptop and
|
| 411 |
+
// measured from offline at a glance — NEVER a fabricated bar. Pillars are (re)built by the
|
| 412 |
+
// mesh poller (node set is data-driven), so build() just reserves the group + tray.
|
| 413 |
+
const PNODES = { group: new THREE.Group(), items: [], trayR: 4.2, built: false };
|
| 414 |
+
PNODES.group.position.y = -2.15;
|
| 415 |
+
_root.add(PNODES.group);
|
| 416 |
+
|
| 417 |
// stash builders for the frame loop + pollers
|
| 418 |
+
_scene = { GRID, NEG, RES, ARC, HALO, GAUGE, DOME, RIBBON, HEALTH, SOAK, CREDITS, MOTES, PNODES };
|
| 419 |
|
| 420 |
// enable bloom for the holographic glow (safe no-op on WebGPU per toolkit)
|
| 421 |
try { _stage.setBloom(true); } catch (_) {}
|
|
|
|
| 526 |
MOTES.geo.attributes.position.needsUpdate = true;
|
| 527 |
MOTES.points.material.opacity = 0.25 + _anim.flow * 0.4;
|
| 528 |
|
| 529 |
+
// per-node GPU pillars: ease each toward its live-watts target height; a MEASURED
|
| 530 |
+
// node pulses gently, an OFFLINE node sits flat + dim (honest — no fabricated motion).
|
| 531 |
+
for (let i = 0; i < PNODES.items.length; i++) {
|
| 532 |
+
const it = PNODES.items[i];
|
| 533 |
+
it.h = ease(it.h, it.hT, 0.08);
|
| 534 |
+
it.mesh.scale.y = Math.max(0.05, it.h);
|
| 535 |
+
const pulse = it.measured ? (0.5 + 0.35 * Math.sin(t * 2.4 + i)) : 0.0;
|
| 536 |
+
it.mesh.material.emissiveIntensity = 0.25 + 0.5 * pulse;
|
| 537 |
+
}
|
| 538 |
+
|
| 539 |
_root.rotation.y += 0.0012; // gentle estate drift
|
| 540 |
};
|
| 541 |
_stage.onFrame(_frameFn);
|
|
|
|
| 584 |
row("power", "power_w sample");
|
| 585 |
row("credits", "loop work_credits");
|
| 586 |
row("health", "grid feeds");
|
| 587 |
+
row("fleet", "GPU fleet");
|
| 588 |
+
|
| 589 |
+
// PER-NODE fleet block (Dev2) — one row per sovereign GPU, populated live by the
|
| 590 |
+
// /energy/mesh poller. Rows are created on demand (data-driven) so we never hardcode
|
| 591 |
+
// a node; _hud.nodeRows maps a stable node key -> {val, chip}.
|
| 592 |
+
const nodeHdr = document.createElement("div");
|
| 593 |
+
nodeHdr.textContent = "per-node (live NVML, merged meters)";
|
| 594 |
+
nodeHdr.style.cssText = "color:#7c8b98;font-size:10px;letter-spacing:.4px;margin-top:6px;text-transform:uppercase";
|
| 595 |
+
_overlay.appendChild(nodeHdr);
|
| 596 |
+
_hud.nodeBox = document.createElement("div");
|
| 597 |
+
Object.assign(_hud.nodeBox.style, { display: "flex", flexDirection: "column", gap: "6px" });
|
| 598 |
+
_overlay.appendChild(_hud.nodeBox);
|
| 599 |
+
_hud.nodeRows = {};
|
| 600 |
|
| 601 |
// doctrine note (the off-box joules honesty reality)
|
| 602 |
const note = document.createElement("div");
|
| 603 |
note.style.cssText = "color:#6d7d8a;font-size:10.5px;line-height:1.45;margin-top:4px;border-top:1px solid #15212c;padding-top:6px";
|
| 604 |
+
note.textContent = "Per-node joules/watts are MEASURED live from the merged NVML meters (tower meter.a-11-oy.com + laptop meter2.a-11-oy.com) via /energy/mesh; a node with no live meter shows OFFLINE — never a fabricated watt or joule. When /energy/mesh is missing the funnel falls back to the harvest-posture structure (STRUCTURAL-ONLY), never inventing a fill. Modeled on Electricity Maps + deck.gl; rendered in three.js (see manifest).";
|
| 605 |
_overlay.appendChild(note);
|
| 606 |
|
| 607 |
_show.body.appendChild(_overlay);
|
|
|
|
| 617 |
// ----------------------------------------------------------------------------
|
| 618 |
// pollers — wire EVERY value to the real endpoints; render honest degraded/missing.
|
| 619 |
// ----------------------------------------------------------------------------
|
| 620 |
+
|
| 621 |
+
// (Re)build the per-node pillar tray from a mesh node list. Data-driven: a pillar is
|
| 622 |
+
// created per node the first time we see it, then reused; the node set rarely changes.
|
| 623 |
+
function _ensurePillars(nodes) {
|
| 624 |
+
const P = _scene && _scene.PNODES;
|
| 625 |
+
if (!P) return;
|
| 626 |
+
if (P.built && P.items.length === nodes.length) return;
|
| 627 |
+
// Rebuild cleanly (dispose old) when the node count changes.
|
| 628 |
+
for (const it of P.items) {
|
| 629 |
+
try { P.group.remove(it.mesh); if (it.mesh.geometry) it.mesh.geometry.dispose(); if (it.mesh.material) it.mesh.material.dispose(); } catch (_) {}
|
| 630 |
+
try { if (it.chip) { P.group.remove(it.chip); if (it.chip.material) { if (it.chip.material.map) it.chip.material.map.dispose(); it.chip.material.dispose(); } } } catch (_) {}
|
| 631 |
+
}
|
| 632 |
+
P.items = [];
|
| 633 |
+
const THREE = _THREE;
|
| 634 |
+
const n = Math.max(1, nodes.length);
|
| 635 |
+
for (let i = 0; i < nodes.length; i++) {
|
| 636 |
+
const a = (i / n) * Math.PI * 2;
|
| 637 |
+
const g = new THREE.CylinderGeometry(0.28, 0.28, 1, 10); g.translate(0, 0.5, 0);
|
| 638 |
+
const m = new THREE.MeshStandardMaterial({ color: C.slate, emissive: C.slate, emissiveIntensity: 0.3, metalness: 0.25, roughness: 0.5 });
|
| 639 |
+
const mesh = new THREE.Mesh(g, m);
|
| 640 |
+
mesh.position.set(Math.cos(a) * P.trayR, 0, Math.sin(a) * P.trayR);
|
| 641 |
+
mesh.scale.y = 0.05;
|
| 642 |
+
P.group.add(mesh);
|
| 643 |
+
P.items.push({ mesh, chip: null, h: 0.05, hT: 0.05, measured: false });
|
| 644 |
+
}
|
| 645 |
+
P.built = true;
|
| 646 |
+
}
|
| 647 |
+
|
| 648 |
+
// The LIVE per-node upgrade. Reads /energy/mesh; renders each GPU's real watts/joules with
|
| 649 |
+
// an honest MEASURED/OFFLINE label; drives the reservoir + power gauge from the aggregate
|
| 650 |
+
// MEASURED reading. NEVER fabricates: an absent/errored endpoint = STRUCTURAL-ONLY fallback,
|
| 651 |
+
// an OFFLINE node = flat dim pillar + null value.
|
| 652 |
+
function onMesh(json, meta) {
|
| 653 |
+
if (!_scene) return;
|
| 654 |
+
const P = _scene.PNODES;
|
| 655 |
+
|
| 656 |
+
// endpoint missing/errored -> honest STRUCTURAL-ONLY; do NOT touch the reservoir/gauge
|
| 657 |
+
// that the posture poller manages, and clear the mesh-measured override so posture wins.
|
| 658 |
+
if (meta.state === "missing" || meta.state === "error") {
|
| 659 |
+
_meshMeasured = false;
|
| 660 |
+
_setRow("fleet", "NO-LIVE-DATA", "STRUCTURAL-ONLY");
|
| 661 |
+
// gray any existing pillars (don't fabricate motion)
|
| 662 |
+
if (P) for (const it of P.items) { it.hT = 0.05; it.measured = false; it.mesh.material.color.setHex(C.dim); it.mesh.material.emissive.setHex(C.dim); }
|
| 663 |
+
return;
|
| 664 |
+
}
|
| 665 |
+
|
| 666 |
+
const nodes = _meshNodes(json);
|
| 667 |
+
_ensurePillars(nodes);
|
| 668 |
+
|
| 669 |
+
let measuredCount = 0, liveCount = 0;
|
| 670 |
+
// draw denominator: busiest MEASURED node's watts (for pillar height normalization)
|
| 671 |
+
let maxW = 0;
|
| 672 |
+
for (const nd of nodes) if (nd.measured && nd.watts !== null) maxW = Math.max(maxW, nd.watts);
|
| 673 |
+
|
| 674 |
+
for (let i = 0; i < nodes.length; i++) {
|
| 675 |
+
const nd = nodes[i];
|
| 676 |
+
if (nd.live) liveCount++;
|
| 677 |
+
const it = P && P.items[i];
|
| 678 |
+
if (nd.measured) {
|
| 679 |
+
measuredCount++;
|
| 680 |
+
// pillar height from live watts (normalized to the busiest MEASURED node, sane floor)
|
| 681 |
+
const frac = (maxW > 0 && nd.watts !== null) ? nd.watts / maxW : 0.5;
|
| 682 |
+
if (it) {
|
| 683 |
+
it.hT = 0.4 + 3.4 * Math.max(0.05, Math.min(1, frac));
|
| 684 |
+
it.measured = true;
|
| 685 |
+
it.mesh.material.color.setHex(C.green);
|
| 686 |
+
it.mesh.material.emissive.setHex(C.green);
|
| 687 |
+
}
|
| 688 |
+
} else if (it) {
|
| 689 |
+
// OFFLINE: node present but no live reading. Flat, dim, honest.
|
| 690 |
+
it.hT = 0.05; it.measured = false;
|
| 691 |
+
it.mesh.material.color.setHex(C.dim);
|
| 692 |
+
it.mesh.material.emissive.setHex(C.dim);
|
| 693 |
+
}
|
| 694 |
+
// per-node billboard (label rides the pillar): MEASURED·<W> or OFFLINE
|
| 695 |
+
if (P && it) {
|
| 696 |
+
try {
|
| 697 |
+
if (it.chip) { P.group.remove(it.chip); if (it.chip.material) { if (it.chip.material.map) it.chip.material.map.dispose(); it.chip.material.dispose(); } }
|
| 698 |
+
const txt = nd.measured
|
| 699 |
+
? (nd.watts !== null ? nd.watts.toFixed(1) + " W" : "live")
|
| 700 |
+
: (nd.role || "node");
|
| 701 |
+
it.chip = _ctx.label.billboard(_THREE, nd.label, {
|
| 702 |
+
text: txt, scale: 0.4,
|
| 703 |
+
position: [it.mesh.position.x, 4.0, it.mesh.position.z], depthTest: false,
|
| 704 |
+
});
|
| 705 |
+
P.group.add(it.chip);
|
| 706 |
+
} catch (_) {}
|
| 707 |
+
}
|
| 708 |
+
// per-node HUD row (created on demand, keyed by node)
|
| 709 |
+
if (_hud.nodeBox) {
|
| 710 |
+
let r = _hud.nodeRows[nd.key];
|
| 711 |
+
if (!r) {
|
| 712 |
+
const wrap = document.createElement("div");
|
| 713 |
+
wrap.style.cssText = "display:flex;align-items:center;gap:8px;justify-content:space-between";
|
| 714 |
+
const left = document.createElement("span"); left.style.cssText = "color:#9fb1bf;max-width:180px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap";
|
| 715 |
+
left.textContent = nd.name; left.title = nd.name;
|
| 716 |
+
const right = document.createElement("span"); right.style.cssText = "display:flex;align-items:center;gap:6px";
|
| 717 |
+
const val = document.createElement("span"); val.style.color = "#eef3f6";
|
| 718 |
+
const chip = _ctx.label.chip("OFFLINE"); chip.style.transform = "scale(.92)";
|
| 719 |
+
right.appendChild(val); right.appendChild(chip);
|
| 720 |
+
wrap.appendChild(left); wrap.appendChild(right);
|
| 721 |
+
_hud.nodeBox.appendChild(wrap);
|
| 722 |
+
r = _hud.nodeRows[nd.key] = { val, chip };
|
| 723 |
+
}
|
| 724 |
+
if (nd.measured) {
|
| 725 |
+
const parts = [];
|
| 726 |
+
if (nd.watts !== null) parts.push(nd.watts.toFixed(1) + " W");
|
| 727 |
+
if (nd.joules !== null) parts.push(nd.joules.toFixed(0) + " J");
|
| 728 |
+
r.val.textContent = parts.join(" · ") || "live";
|
| 729 |
+
_ctx.label.updateChip(r.chip, "MEASURED");
|
| 730 |
+
} else {
|
| 731 |
+
r.val.textContent = nd.live ? "live, no meter" : "offline";
|
| 732 |
+
_ctx.label.updateChip(r.chip, "OFFLINE");
|
| 733 |
+
}
|
| 734 |
+
}
|
| 735 |
+
}
|
| 736 |
+
|
| 737 |
+
// fleet summary row
|
| 738 |
+
if (nodes.length) {
|
| 739 |
+
_setRow("fleet", measuredCount + "/" + nodes.length + " MEASURED" + (liveCount ? " · " + liveCount + " live" : ""),
|
| 740 |
+
measuredCount ? "MEASURED" : "STRUCTURAL-ONLY");
|
| 741 |
+
} else {
|
| 742 |
+
_setRow("fleet", "NO-LIVE-DATA", "STRUCTURAL-ONLY");
|
| 743 |
+
}
|
| 744 |
+
|
| 745 |
+
// AGGREGATE drives the funnel + power gauge from REAL merged joules/watts when MEASURED.
|
| 746 |
+
// This is the source of truth over the off-box posture (which carries no NVML sample).
|
| 747 |
+
const totalJ = _num(json.total_joules);
|
| 748 |
+
const totalW = _num(json.total_watts);
|
| 749 |
+
const aggMeasured = String((json.joules_label || "")).toUpperCase().indexOf("MEASURED") >= 0
|
| 750 |
+
&& totalJ !== null && measuredCount > 0;
|
| 751 |
+
_meshMeasured = aggMeasured;
|
| 752 |
+
if (aggMeasured) {
|
| 753 |
+
// fill the reservoir from the REAL merged joules (log-scaled, same visual law as on-box)
|
| 754 |
+
_anim.fillT = Math.max(0.02, Math.min(1, Math.log10(1 + totalJ) / 6));
|
| 755 |
+
_scene.RES.fluidMat.color.setHex(C.green); _scene.RES.fluidMat.emissive.setHex(C.green);
|
| 756 |
+
_setRow("joules", totalJ.toFixed(0) + " J (fleet, " + measuredCount + " GPU)", "MEASURED");
|
| 757 |
+
if (totalW !== null) { _anim.powerWT = Math.min(1, totalW / 1000); _setRow("power", totalW.toFixed(1) + " W (fleet)", "MEASURED"); }
|
| 758 |
+
// energy is genuinely flowing into the funnel when we're metering real watts
|
| 759 |
+
_anim.flowT = Math.max(_anim.flowT || 0, 0.6);
|
| 760 |
+
// update the reservoir billboard to the honest measured fleet total
|
| 761 |
+
if (_scene.RES.chip) {
|
| 762 |
+
try {
|
| 763 |
+
_scene.RES.group.remove(_scene.RES.chip);
|
| 764 |
+
_scene.RES.chip = _ctx.label.billboard(_THREE, "MEASURED", { text: totalJ.toFixed(0) + " J", scale: 0.55, position: [0, 2.55, 0], depthTest: false });
|
| 765 |
+
_scene.RES.group.add(_scene.RES.chip);
|
| 766 |
+
} catch (_) {}
|
| 767 |
+
}
|
| 768 |
+
}
|
| 769 |
+
}
|
| 770 |
+
|
| 771 |
function onPosture(json, meta) {
|
| 772 |
if (!_scene) return;
|
| 773 |
|
| 774 |
+
// degraded / missing posture → honest HUD, don't fabricate. If the LIVE mesh is still
|
| 775 |
+
// MEASURED this session it owns the joules/power rows + reservoir fill — don't blank those.
|
| 776 |
if (meta.state === "missing" || meta.state === "error") {
|
| 777 |
+
const baseRows = _meshMeasured
|
| 778 |
+
? ["posture", "price", "renew", "carbon", "neg", "health"]
|
| 779 |
+
: ["posture", "price", "renew", "carbon", "neg", "joules", "power", "health"];
|
| 780 |
+
baseRows.forEach((k) => _setRow(k, "NO-LIVE-DATA", "STRUCTURAL-ONLY"));
|
| 781 |
+
_anim.soakT = 0;
|
| 782 |
+
if (!_meshMeasured) { _anim.flowT = 0; _anim.fillT = 0; }
|
| 783 |
return;
|
| 784 |
}
|
| 785 |
const degraded = meta.state === "degraded" || json.ok === false;
|
|
|
|
| 827 |
} else { _setRow("neg", "NO-LIVE-DATA", "STRUCTURAL-ONLY"); _anim.negCountT = 0; }
|
| 828 |
|
| 829 |
// THE FUNNEL — joules. MEASURED only on-box; off-box honest sample posture, no fill.
|
| 830 |
+
// IMPORTANT (Dev2, binding): when /energy/mesh has delivered a MEASURED aggregate this
|
| 831 |
+
// session (_meshMeasured), the LIVE merged-meter reading is the source of truth for the
|
| 832 |
+
// reservoir fill, the power gauge, the joules/power HUD rows, and the reservoir billboard.
|
| 833 |
+
// The off-box posture carries NO NVML sample (joules_evidence={}, joules_label=sample), so
|
| 834 |
+
// we must NOT let it overwrite the honest mesh-measured values with an empty SAMPLE posture.
|
| 835 |
+
// We therefore GUARD every reservoir/gauge/joules write below behind !_meshMeasured.
|
| 836 |
const j = _getJoules(json);
|
| 837 |
const jlabel = j.label || (json.joules_label ? String(json.joules_label).toUpperCase() : "STRUCTURAL-ONLY");
|
| 838 |
+
if (!_meshMeasured) {
|
| 839 |
+
if (_scene.RES.chip) {
|
| 840 |
+
try {
|
| 841 |
+
_scene.RES.group.remove(_scene.RES.chip);
|
| 842 |
+
_scene.RES.chip = _ctx.label.billboard(_THREE, jlabel, {
|
| 843 |
+
text: j.measured && j.total !== null ? (j.total.toFixed(0) + " J") : "joules",
|
| 844 |
+
scale: 0.55, position: [0, 2.55, 0], depthTest: false,
|
| 845 |
+
});
|
| 846 |
+
_scene.RES.group.add(_scene.RES.chip);
|
| 847 |
+
} catch (_) {}
|
| 848 |
+
}
|
| 849 |
+
if (j.measured && j.total !== null) {
|
| 850 |
+
// on-box: fill the reservoir from REAL measured joules (log-scaled to a sane visual range)
|
| 851 |
+
const frac = Math.max(0.02, Math.min(1, Math.log10(1 + j.total) / 6)); // 1e6 J ~= full
|
| 852 |
+
_anim.fillT = frac;
|
| 853 |
+
_setRow("joules", j.total.toFixed(0) + " J (" + (j.node || "exporter") + ")", "MEASURED");
|
| 854 |
+
_scene.RES.fluidMat.color.setHex(C.green); _scene.RES.fluidMat.emissive.setHex(C.green);
|
| 855 |
+
} else {
|
| 856 |
+
// off-box / no fresh sample: honest — reservoir stays empty, label sample/structural
|
| 857 |
+
_anim.fillT = 0;
|
| 858 |
+
_setRow("joules", jlabel === "SAMPLE" ? "sample (no on-box NVML)" : "NO-LIVE-DATA", jlabel === "SAMPLE" ? "SAMPLE" : "STRUCTURAL-ONLY");
|
| 859 |
+
_scene.RES.fluidMat.color.setHex(C.blue); _scene.RES.fluidMat.emissive.setHex(C.blue);
|
| 860 |
+
}
|
| 861 |
|
| 862 |
+
// power_w gauge
|
| 863 |
+
if (j.powerW !== null) {
|
| 864 |
+
_setRow("power", j.powerW.toFixed(1) + " W", j.measured ? "MEASURED" : "SAMPLE");
|
| 865 |
+
_anim.powerWT = Math.min(1, j.powerW / 1000);
|
| 866 |
+
} else { _setRow("power", "NO-LIVE-DATA", "STRUCTURAL-ONLY"); _anim.powerWT = 0; }
|
| 867 |
+
}
|
| 868 |
|
| 869 |
// grid-feed health constellation + badge (n reachable / total)
|
| 870 |
const rs = Array.isArray(json.readings) ? json.readings : [];
|
|
|
|
| 915 |
build();
|
| 916 |
buildHUD();
|
| 917 |
|
| 918 |
+
// wire ALL THREE live endpoints. /energy/mesh is the FLAGSHIP per-node meter (Dev2), so the
|
| 919 |
+
// HUD badge tracks IT — its live/degraded/missing state is what the surface headline reports.
|
| 920 |
+
// posture + loop feed the surrounding grid/price/credits context but no longer own the
|
| 921 |
+
// reservoir once mesh is MEASURED (see the _meshMeasured guards in onPosture).
|
| 922 |
+
_hMesh = ctx.live.poll(MESH_EP, 5000, onMesh, { badge: _hud.badge });
|
| 923 |
+
_hPosture = ctx.live.poll(POSTURE_EP, 5000, onPosture);
|
| 924 |
_hLoop = ctx.live.poll(LOOP_EP, 7000, onLoop);
|
| 925 |
|
| 926 |
return { id: ID, started: true };
|
| 927 |
}
|
| 928 |
|
| 929 |
function unmount() {
|
| 930 |
+
try { if (_hMesh) _hMesh.stop(); } catch (_) {}
|
| 931 |
try { if (_hPosture) _hPosture.stop(); } catch (_) {}
|
| 932 |
try { if (_hLoop) _hLoop.stop(); } catch (_) {}
|
| 933 |
try { if (_show) _show.destroy(); } catch (_) {}
|
|
|
|
| 941 |
});
|
| 942 |
} catch (_) {}
|
| 943 |
try { if (_stage) _stage.setBloom(false); } catch (_) {}
|
| 944 |
+
_hMesh = null; _hPosture = null; _hLoop = null; _meshMeasured = false;
|
| 945 |
+
_overlay = null; _show = null; _root = null;
|
| 946 |
_scene = null; _frameFn = null; _hud = {}; _ctx = null; _stage = null; _THREE = null;
|
| 947 |
}
|
| 948 |
|
| 949 |
+
export default { id: ID, title: TITLE, endpoints: [MESH_EP, POSTURE_EP, LOOP_EP], mount, unmount };
|
static/3d/surfaces/estate.js
CHANGED
|
@@ -3,6 +3,21 @@
|
|
| 3 |
//
|
| 4 |
// surfaces/estate.js — ESTATE HOLOGRAM · the unified cross-tab overview (Dev9).
|
| 5 |
//
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 6 |
// Leader / technique modeled: a single "holographic estate" command view — the
|
| 7 |
// recognized pattern for ops command centers (NVIDIA Omniverse digital-twin
|
| 8 |
// overview + Microsoft Holograph unified loop). One scene reads MULTIPLE live
|
|
@@ -26,8 +41,6 @@
|
|
| 26 |
//
|
| 27 |
// CONTRACT: default-export { id, title, endpoints[], mount(ctx), unmount() }.
|
| 28 |
|
| 29 |
-
import { createShowcase } from "./_showcase.js";
|
| 30 |
-
|
| 31 |
const ID = "estate";
|
| 32 |
const TITLE = "Estate Hologram";
|
| 33 |
|
|
@@ -37,6 +50,9 @@ const EP_ENERGY = "/api/a11oy/v1/harvest/posture"; // energy ring
|
|
| 37 |
const EP_FABRIC = "/api/a11oy/v1/compute-pool-hardened"; // fabric hex (egress-scrubbed)
|
| 38 |
const EP_PNT = "/api/a11oy/v1/pnt/limits"; // PNT horizon
|
| 39 |
const EP_LOOP = "/api/a11oy/v1/anatomy/loop"; // PINN volume glance / reservoir
|
|
|
|
|
|
|
|
|
|
| 40 |
|
| 41 |
// palette (matches the other surfaces' accents so the estate reads as the union)
|
| 42 |
const C = {
|
|
@@ -46,11 +62,15 @@ const C = {
|
|
| 46 |
|
| 47 |
let _stage = null, _THREE = null, _ctx = null;
|
| 48 |
let _root = null, _overlay = null, _frameFn = null;
|
| 49 |
-
let _show = null; // shared collapsible showcase chrome
|
| 50 |
let _hud = {}; // live HUD chip/value rows
|
|
|
|
| 51 |
let _scene = null; // built scene-object refs the frame loop animates
|
| 52 |
const _anim = {}; // eased animation targets
|
| 53 |
const _handles = []; // every poll handle (stopped on unmount)
|
|
|
|
|
|
|
|
|
|
|
|
|
| 54 |
|
| 55 |
function _num(x) {
|
| 56 |
if (x === null || x === undefined) return null;
|
|
@@ -208,33 +228,25 @@ function buildScene() {
|
|
| 208 |
// ----------------------------------------------------------------------------
|
| 209 |
function buildHud() {
|
| 210 |
const lab = _ctx.label;
|
| 211 |
-
|
| 212 |
-
// one shared LIVE badge follows the PRIMARY (kpi-board) poll
|
| 213 |
-
const badge = _ctx.live.createBadge();
|
| 214 |
-
_hud.badge = badge;
|
| 215 |
-
|
| 216 |
-
// Shared collapsible showcase supplies the compact chrome: title + LIVE badge +
|
| 217 |
-
// legend (all four doctrine states used across the five surfaces) + the moved
|
| 218 |
-
// descriptive note + the "what this means" plain-language toggle. The KPI rows fold
|
| 219 |
-
// into the (collapsed) body below so the 3D estate stays the star.
|
| 220 |
-
_show = createShowcase(_ctx, {
|
| 221 |
-
id: ID, title: TITLE, accent: "#5b8dee", badge,
|
| 222 |
-
legend: ["LIVE", "MEASURED", "MODELED", "SAMPLE", "STRUCTURAL-ONLY"],
|
| 223 |
-
description:
|
| 224 |
-
"Unified overview: governance arc (kpi-board) + energy ring + fabric hex + PNT " +
|
| 225 |
-
"horizon + anatomy beat glance. Every value wired live; NO-LIVE-DATA shown grayed, " +
|
| 226 |
-
"never fabricated. Λ = Conjecture 1, clamped < 1.0.",
|
| 227 |
-
plain: { html: _plainHtml },
|
| 228 |
-
});
|
| 229 |
-
|
| 230 |
-
// rows fold into a plain (position:static) container inside the showcase body.
|
| 231 |
_overlay = document.createElement("div");
|
| 232 |
_overlay.className = "szl3d-estate-hud";
|
| 233 |
Object.assign(_overlay.style, {
|
|
|
|
| 234 |
display: "flex", flexDirection: "column", gap: "6px",
|
| 235 |
-
font: "12px ui-monospace,SFMono-Regular,Menlo,monospace",
|
|
|
|
|
|
|
| 236 |
});
|
| 237 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 238 |
function row(key, name) {
|
| 239 |
const wrap = document.createElement("div");
|
| 240 |
wrap.style.cssText = "display:flex;align-items:center;gap:8px;justify-content:space-between";
|
|
@@ -265,12 +277,49 @@ function buildHud() {
|
|
| 265 |
row("beats", "loop beats/cycle"); // anatomy
|
| 266 |
row("credits", "reservoir work_credits"); // anatomy
|
| 267 |
row("ayni", "Ayni balance"); // anatomy
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 268 |
|
| 269 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 270 |
}
|
| 271 |
|
| 272 |
-
function
|
| 273 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
| 274 |
"<b>What this means:</b> This is a single command view that pulls together five separate " +
|
| 275 |
"live feeds at once — <b>governance</b> (which formulas are locked-proven, the Λ safety " +
|
| 276 |
"aggregator, and the CHAPAQ verdict), <b>energy</b> (grid price, renewable share, and any " +
|
|
@@ -280,7 +329,7 @@ function _plainHtml() {
|
|
| 280 |
"means a real sensor/probe delta, <b>MODELED</b>/<b>SAMPLE</b> mean a simulation or a stand-in, " +
|
| 281 |
"and anything not live is shown as <b>NO-LIVE-DATA</b> rather than a made-up number. The " +
|
| 282 |
"locked-8 count is always exactly 8 and Λ is a <b>conjecture</b> clamped below 1.0 — nothing " +
|
| 283 |
-
"here is inflated or fabricated."
|
| 284 |
}
|
| 285 |
|
| 286 |
function _setRow(key, text, label) {
|
|
@@ -303,6 +352,13 @@ function onKpi(json, meta) {
|
|
| 303 |
return;
|
| 304 |
}
|
| 305 |
const lab = _norm(meta.label || (json && json.label));
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 306 |
|
| 307 |
// locked-8 (always display canonical 8; flag source defects honestly)
|
| 308 |
const l8 = (json && json.locked8) || {};
|
|
@@ -431,6 +487,89 @@ function onLoop(json, meta) {
|
|
| 431 |
if (beats != null) _anim.beatPulse = 1;
|
| 432 |
}
|
| 433 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 434 |
// ----------------------------------------------------------------------------
|
| 435 |
// frame loop — eased animation; cheap per-frame work to hold 60fps.
|
| 436 |
// ----------------------------------------------------------------------------
|
|
@@ -485,6 +624,9 @@ function mount(ctx) {
|
|
| 485 |
// ---- DEMO 15: poll PNT bounds + anatomy loop ----
|
| 486 |
_handles.push(ctx.live.poll(EP_PNT, 8000, onPnt));
|
| 487 |
_handles.push(ctx.live.poll(EP_LOOP, 6500, onLoop));
|
|
|
|
|
|
|
|
|
|
| 488 |
|
| 489 |
_frameFn = () => frame();
|
| 490 |
_stage.onFrame(_frameFn);
|
|
@@ -495,7 +637,7 @@ function mount(ctx) {
|
|
| 495 |
function unmount() {
|
| 496 |
for (const h of _handles) { try { h && h.stop && h.stop(); } catch (_) {} }
|
| 497 |
_handles.length = 0;
|
| 498 |
-
try { if (
|
| 499 |
try {
|
| 500 |
if (_root) {
|
| 501 |
_root.traverse((o) => {
|
|
@@ -509,7 +651,7 @@ function unmount() {
|
|
| 509 |
}
|
| 510 |
} catch (_) {}
|
| 511 |
try { if (_stage) _stage.setBloom(false); } catch (_) {}
|
| 512 |
-
_root = null; _overlay = null;
|
| 513 |
}
|
| 514 |
|
| 515 |
-
export default { id: ID, title: TITLE, endpoints: [EP_KPI, EP_ENERGY, EP_FABRIC, EP_PNT, EP_LOOP], mount, unmount };
|
|
|
|
| 3 |
//
|
| 4 |
// surfaces/estate.js — ESTATE HOLOGRAM · the unified cross-tab overview (Dev9).
|
| 5 |
//
|
| 6 |
+
// SZL WAVE 28 UPGRADE (Dev3, 2026-07-07): STRUCTURAL-ONLY -> MODELED.
|
| 7 |
+
// The overview already funnelled five live endpoints into one scene, but
|
| 8 |
+
// /frontier/surfaces derived its label as STRUCTURAL-ONLY (no runtime-default label
|
| 9 |
+
// line; deriver fell to the first chip literal). This upgrade wires the REAL ESTATE
|
| 10 |
+
// ROSTER and adds an honest runtime-default headline label:
|
| 11 |
+
// • fleet nodes <- /api/a11oy/v1/energy/operator/status (node_status map:
|
| 12 |
+
// omen + betterwithage live/standby/DEGRADED, joules MEASURED
|
| 13 |
+
// label, exporter node). Honest OFFLINE when a node is down.
|
| 14 |
+
// • surface count<- /api/a11oy/v1/frontier/surfaces (the real 69-surface
|
| 15 |
+
// roster + present/unavailable rollup).
|
| 16 |
+
// The node roster is a REAL server-side probe (a node reads 'standby'/'DEGRADED'/
|
| 17 |
+
// 'computing' only from a genuine liveness check — never faked as computing). The
|
| 18 |
+
// surface headline label is now set from the live JSON honesty token, so the
|
| 19 |
+
// manifest reports MODELED because the scene reads real estate state. Λ = Conjecture 1.
|
| 20 |
+
//
|
| 21 |
// Leader / technique modeled: a single "holographic estate" command view — the
|
| 22 |
// recognized pattern for ops command centers (NVIDIA Omniverse digital-twin
|
| 23 |
// overview + Microsoft Holograph unified loop). One scene reads MULTIPLE live
|
|
|
|
| 41 |
//
|
| 42 |
// CONTRACT: default-export { id, title, endpoints[], mount(ctx), unmount() }.
|
| 43 |
|
|
|
|
|
|
|
| 44 |
const ID = "estate";
|
| 45 |
const TITLE = "Estate Hologram";
|
| 46 |
|
|
|
|
| 50 |
const EP_FABRIC = "/api/a11oy/v1/compute-pool-hardened"; // fabric hex (egress-scrubbed)
|
| 51 |
const EP_PNT = "/api/a11oy/v1/pnt/limits"; // PNT horizon
|
| 52 |
const EP_LOOP = "/api/a11oy/v1/anatomy/loop"; // PINN volume glance / reservoir
|
| 53 |
+
// W28: the REAL estate roster (fleet nodes + surface count)
|
| 54 |
+
const EP_FLEET = "/api/a11oy/v1/energy/operator/status"; // fleet-node roster (omen/betterwithage)
|
| 55 |
+
const EP_SURFACES = "/api/a11oy/v1/frontier/surfaces"; // 3D-surface roster (the 69 surfaces)
|
| 56 |
|
| 57 |
// palette (matches the other surfaces' accents so the estate reads as the union)
|
| 58 |
const C = {
|
|
|
|
| 62 |
|
| 63 |
let _stage = null, _THREE = null, _ctx = null;
|
| 64 |
let _root = null, _overlay = null, _frameFn = null;
|
|
|
|
| 65 |
let _hud = {}; // live HUD chip/value rows
|
| 66 |
+
let _plain = false, _plainEl = null; // "what this means" plain-language toggle
|
| 67 |
let _scene = null; // built scene-object refs the frame loop animates
|
| 68 |
const _anim = {}; // eased animation targets
|
| 69 |
const _handles = []; // every poll handle (stopped on unmount)
|
| 70 |
+
// W28: honest runtime-default headline label for /frontier/surfaces. Seeded to the
|
| 71 |
+
// doctrine placeholder and REPLACED with the real honesty token the live estate roster
|
| 72 |
+
// reports (kpi-board / fleet roster). The manifest deriver reads THIS exact line.
|
| 73 |
+
const _est = { label: "STRUCTURAL-ONLY" };
|
| 74 |
|
| 75 |
function _num(x) {
|
| 76 |
if (x === null || x === undefined) return null;
|
|
|
|
| 228 |
// ----------------------------------------------------------------------------
|
| 229 |
function buildHud() {
|
| 230 |
const lab = _ctx.label;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 231 |
_overlay = document.createElement("div");
|
| 232 |
_overlay.className = "szl3d-estate-hud";
|
| 233 |
Object.assign(_overlay.style, {
|
| 234 |
+
position: "absolute", left: "14px", top: "14px", zIndex: "6",
|
| 235 |
display: "flex", flexDirection: "column", gap: "6px",
|
| 236 |
+
maxWidth: "min(94%,440px)", font: "12px ui-monospace,SFMono-Regular,Menlo,monospace",
|
| 237 |
+
color: "#cfe0ea", background: "rgba(6,11,16,.74)", border: "1px solid #15212c",
|
| 238 |
+
borderRadius: "10px", padding: "12px 14px", backdropFilter: "blur(3px)",
|
| 239 |
});
|
| 240 |
|
| 241 |
+
const title = document.createElement("div");
|
| 242 |
+
title.style.cssText = "font:600 13px ui-sans-serif,system-ui;color:#eef3f6;letter-spacing:.4px;display:flex;gap:8px;align-items:center";
|
| 243 |
+
title.innerHTML = "◇ Estate Hologram <span style='color:#46586a;font-weight:400'>· 5 endpoints · one scene</span>";
|
| 244 |
+
_overlay.appendChild(title);
|
| 245 |
+
|
| 246 |
+
const badge = _ctx.live.createBadge();
|
| 247 |
+
_overlay.appendChild(badge.el);
|
| 248 |
+
_hud.badge = badge;
|
| 249 |
+
|
| 250 |
function row(key, name) {
|
| 251 |
const wrap = document.createElement("div");
|
| 252 |
wrap.style.cssText = "display:flex;align-items:center;gap:8px;justify-content:space-between";
|
|
|
|
| 277 |
row("beats", "loop beats/cycle"); // anatomy
|
| 278 |
row("credits", "reservoir work_credits"); // anatomy
|
| 279 |
row("ayni", "Ayni balance"); // anatomy
|
| 280 |
+
// W28: REAL estate roster rows
|
| 281 |
+
row("surfaces", "3D surfaces (present)"); // frontier/surfaces (the 69)
|
| 282 |
+
row("fleet", "fleet nodes live/roster"); // energy/operator/status
|
| 283 |
+
row("omen", "node · omen (tower)"); // energy/operator/status node_status
|
| 284 |
+
row("bwa", "node · betterwithage (laptop)"); // energy/operator/status node_status
|
| 285 |
+
row("fleetJoules", "fleet joules (MEASURED)"); // energy/operator/status
|
| 286 |
+
|
| 287 |
+
const note = document.createElement("div");
|
| 288 |
+
note.style.cssText = "color:#6d7d8a;font-size:10.5px;line-height:1.45;margin-top:4px;border-top:1px solid #15212c;padding-top:6px";
|
| 289 |
+
note.textContent = "Unified overview: governance arc (kpi-board) + energy ring + fabric hex + PNT horizon + anatomy beat glance. Every value wired live; NO-LIVE-DATA shown grayed, never fabricated. Λ = Conjecture 1, clamped < 1.0.";
|
| 290 |
+
_overlay.appendChild(note);
|
| 291 |
+
|
| 292 |
+
const legend = _ctx.label.legend(); legend.style.opacity = "0.85"; legend.style.marginTop = "2px";
|
| 293 |
+
_overlay.appendChild(legend);
|
| 294 |
+
|
| 295 |
+
// "what this means" plain-language toggle (matches the research surfaces).
|
| 296 |
+
const pl = document.createElement("button");
|
| 297 |
+
pl.textContent = "◑ what this means";
|
| 298 |
+
pl.title = "Toggle plain-language explanation for investors & consumers.";
|
| 299 |
+
pl.style.cssText = "font:11px ui-monospace,monospace;padding:5px 11px;border-radius:7px;" +
|
| 300 |
+
"border:1px solid #3af4c8;background:#08140f;color:#3af4c8;cursor:pointer;width:fit-content;margin-top:4px";
|
| 301 |
+
pl.addEventListener("click", () => {
|
| 302 |
+
_plain = !_plain;
|
| 303 |
+
pl.style.background = _plain ? "#0f2a20" : "#08140f";
|
| 304 |
+
_applyPlain();
|
| 305 |
+
});
|
| 306 |
+
_overlay.appendChild(pl);
|
| 307 |
|
| 308 |
+
const pd = document.createElement("div");
|
| 309 |
+
pd.style.cssText = "font-size:10.5px;color:#c9d6df;line-height:1.55;border:1px dashed #26333f;" +
|
| 310 |
+
"border-radius:7px;padding:7px 9px;display:none;margin-top:4px";
|
| 311 |
+
_plainEl = pd;
|
| 312 |
+
_overlay.appendChild(pd);
|
| 313 |
+
|
| 314 |
+
(_ctx.container || document.body).appendChild(_overlay);
|
| 315 |
}
|
| 316 |
|
| 317 |
+
function _applyPlain() {
|
| 318 |
+
const pd = _plainEl;
|
| 319 |
+
if (!pd) return;
|
| 320 |
+
pd.style.display = _plain ? "block" : "none";
|
| 321 |
+
if (!_plain) return;
|
| 322 |
+
pd.innerHTML =
|
| 323 |
"<b>What this means:</b> This is a single command view that pulls together five separate " +
|
| 324 |
"live feeds at once — <b>governance</b> (which formulas are locked-proven, the Λ safety " +
|
| 325 |
"aggregator, and the CHAPAQ verdict), <b>energy</b> (grid price, renewable share, and any " +
|
|
|
|
| 329 |
"means a real sensor/probe delta, <b>MODELED</b>/<b>SAMPLE</b> mean a simulation or a stand-in, " +
|
| 330 |
"and anything not live is shown as <b>NO-LIVE-DATA</b> rather than a made-up number. The " +
|
| 331 |
"locked-8 count is always exactly 8 and Λ is a <b>conjecture</b> clamped below 1.0 — nothing " +
|
| 332 |
+
"here is inflated or fabricated.";
|
| 333 |
}
|
| 334 |
|
| 335 |
function _setRow(key, text, label) {
|
|
|
|
| 352 |
return;
|
| 353 |
}
|
| 354 |
const lab = _norm(meta.label || (json && json.label));
|
| 355 |
+
// W28 HONEST LABEL: the estate rollup is a live, model-derived KPI aggregate. Set the
|
| 356 |
+
// surface headline label from the real JSON honesty token (verbatim when present, else
|
| 357 |
+
// the MODELED tier this rollup honestly earns). /frontier/surfaces reads THIS line
|
| 358 |
+
// (was STRUCTURAL-ONLY). Never over-claims: MEASURED only if the JSON itself says so.
|
| 359 |
+
// Runtime-default headline: verbatim JSON honesty token, else the MODELED tier this
|
| 360 |
+
// live rollup honestly earns. (The normalized `lab` further refines the on-scene chips.)
|
| 361 |
+
_est.label = (json.label || "MODELED");
|
| 362 |
|
| 363 |
// locked-8 (always display canonical 8; flag source defects honestly)
|
| 364 |
const l8 = (json && json.locked8) || {};
|
|
|
|
| 487 |
if (beats != null) _anim.beatPulse = 1;
|
| 488 |
}
|
| 489 |
|
| 490 |
+
// W28: REAL fleet-node roster (/energy/operator/status). node_status maps each fleet
|
| 491 |
+
// node to a genuine status (computing/standby/DEGRADED/idle) from a server-side liveness
|
| 492 |
+
// probe — a node is NEVER faked as computing. Honest OFFLINE (DEGRADED/unreachable) shown.
|
| 493 |
+
function _nodeState(status) {
|
| 494 |
+
// map the honest backend status string to a display + color, never inventing UP.
|
| 495 |
+
const s = String(status || "").toLowerCase();
|
| 496 |
+
if (s.indexOf("comput") >= 0) return { txt: "LIVE", color: C.pinn, label: "MEASURED" };
|
| 497 |
+
if (s.indexOf("standby") >= 0) return { txt: "standby", color: C.energy, label: "MODELED" };
|
| 498 |
+
if (s.indexOf("degraded") >= 0) return { txt: "OFFLINE (DEGRADED)", color: C.red, label: "STRUCTURAL-ONLY" };
|
| 499 |
+
if (s === "idle") return { txt: "idle", color: C.slate, label: "MODELED" };
|
| 500 |
+
if (!s) return { txt: "NO-LIVE-DATA", color: C.dim, label: "STRUCTURAL-ONLY" };
|
| 501 |
+
return { txt: status, color: C.slate, label: "MODELED" };
|
| 502 |
+
}
|
| 503 |
+
|
| 504 |
+
function onFleet(json, meta) {
|
| 505 |
+
if (!_scene) return;
|
| 506 |
+
if (meta.state === "missing" || meta.state === "error") {
|
| 507 |
+
["fleet", "omen", "bwa", "fleetJoules"].forEach((k) => _setRow(k, "NO-LIVE-DATA", "STRUCTURAL-ONLY"));
|
| 508 |
+
return;
|
| 509 |
+
}
|
| 510 |
+
const nodeStatus = (json && json.node_status) || {};
|
| 511 |
+
const names = Object.keys(nodeStatus);
|
| 512 |
+
const live = (Array.isArray(json.nodes_computing) ? json.nodes_computing.length : 0);
|
| 513 |
+
const degraded = (Array.isArray(json.nodes_degraded) ? json.nodes_degraded.length : 0);
|
| 514 |
+
const standby = (Array.isArray(json.nodes_standby) ? json.nodes_standby.length : 0);
|
| 515 |
+
// roster summary (live/roster) — honest OFFLINE count folded in
|
| 516 |
+
if (names.length) {
|
| 517 |
+
_setRow("fleet", `${live} live / ${names.length} roster (${standby} standby, ${degraded} OFFLINE)`,
|
| 518 |
+
degraded > 0 ? "STRUCTURAL-ONLY" : "MEASURED");
|
| 519 |
+
} else { _setRow("fleet", "NO-LIVE-DATA", "STRUCTURAL-ONLY"); }
|
| 520 |
+
|
| 521 |
+
// per-node honest status (omen tower + betterwithage laptop). Match by name substring
|
| 522 |
+
// so a public-scrubbed display name (omen / betterwithage) still resolves honestly.
|
| 523 |
+
const findNode = (needle) => {
|
| 524 |
+
const key = names.find((n) => String(n).toLowerCase().indexOf(needle) >= 0);
|
| 525 |
+
return key ? nodeStatus[key] : null;
|
| 526 |
+
};
|
| 527 |
+
const omenS = findNode("omen");
|
| 528 |
+
const bwaS = findNode("betterwithage") || findNode("bwa") || findNode("laptop");
|
| 529 |
+
const o = _nodeState(omenS);
|
| 530 |
+
const b = _nodeState(bwaS);
|
| 531 |
+
_setRow("omen", omenS == null ? "NO-LIVE-DATA" : o.txt, omenS == null ? "STRUCTURAL-ONLY" : o.label);
|
| 532 |
+
if (_hud.omen) _hud.omen.val.style.color = "#" + o.color.toString(16).padStart(6, "0");
|
| 533 |
+
_setRow("bwa", bwaS == null ? "NO-LIVE-DATA (omitted, not faked)" : b.txt, bwaS == null ? "STRUCTURAL-ONLY" : b.label);
|
| 534 |
+
if (_hud.bwa) _hud.bwa.val.style.color = "#" + b.color.toString(16).padStart(6, "0");
|
| 535 |
+
|
| 536 |
+
// fleet joules — MEASURED only (billable NVML deltas); label read straight from JSON.
|
| 537 |
+
const jm = _num(json && json.joules_measured_total);
|
| 538 |
+
const jlabel = _norm(json && json.joules_measured_label);
|
| 539 |
+
if (jm != null && jlabel === "MEASURED") _setRow("fleetJoules", jm.toExponential(2) + " J", "MEASURED");
|
| 540 |
+
else if (jm != null) _setRow("fleetJoules", jm.toExponential(2) + " J", jlabel || "SAMPLE");
|
| 541 |
+
else _setRow("fleetJoules", "NO-LIVE-DATA", "STRUCTURAL-ONLY");
|
| 542 |
+
|
| 543 |
+
// reflect live fleet count onto the fabric hex glow (extra honest lit cells)
|
| 544 |
+
if (_scene.hex && live > 0) {
|
| 545 |
+
for (let i = 0; i < Math.min(live, _scene.hexCount); i++) {
|
| 546 |
+
_scene.hex.setColorAt(i, new _THREE.Color(C.fabric));
|
| 547 |
+
}
|
| 548 |
+
if (_scene.hex.instanceColor) _scene.hex.instanceColor.needsUpdate = true;
|
| 549 |
+
}
|
| 550 |
+
}
|
| 551 |
+
|
| 552 |
+
// W28: REAL 3D-surface roster (/frontier/surfaces) — the actual estate of 69 surfaces
|
| 553 |
+
// with present/unavailable rollup. Count is read live; NO-LIVE-DATA on 404.
|
| 554 |
+
function onSurfaces(json, meta) {
|
| 555 |
+
if (!_scene) return;
|
| 556 |
+
if (meta.state === "missing" || meta.state === "error") {
|
| 557 |
+
_setRow("surfaces", "NO-LIVE-DATA", "STRUCTURAL-ONLY");
|
| 558 |
+
return;
|
| 559 |
+
}
|
| 560 |
+
const roll = (json && json.rollup) || {};
|
| 561 |
+
const count = _num(json && json.count) ?? _num(roll.count);
|
| 562 |
+
const present = _num(roll.present);
|
| 563 |
+
const unavailable = _num(roll.unavailable);
|
| 564 |
+
if (count != null) {
|
| 565 |
+
const detail = present != null
|
| 566 |
+
? `${present}/${count} present` + (unavailable ? ` (${unavailable} unavailable)` : "")
|
| 567 |
+
: `${count} surfaces`;
|
| 568 |
+
// the manifest is a live, machine-verifiable roster: MEASURED (real file probe).
|
| 569 |
+
_setRow("surfaces", detail, "MEASURED");
|
| 570 |
+
} else { _setRow("surfaces", "NO-LIVE-DATA", "STRUCTURAL-ONLY"); }
|
| 571 |
+
}
|
| 572 |
+
|
| 573 |
// ----------------------------------------------------------------------------
|
| 574 |
// frame loop — eased animation; cheap per-frame work to hold 60fps.
|
| 575 |
// ----------------------------------------------------------------------------
|
|
|
|
| 624 |
// ---- DEMO 15: poll PNT bounds + anatomy loop ----
|
| 625 |
_handles.push(ctx.live.poll(EP_PNT, 8000, onPnt));
|
| 626 |
_handles.push(ctx.live.poll(EP_LOOP, 6500, onLoop));
|
| 627 |
+
// ---- W28: poll the REAL estate roster (fleet nodes + 3D-surface count) ----
|
| 628 |
+
_handles.push(ctx.live.poll(EP_FLEET, 6000, onFleet));
|
| 629 |
+
_handles.push(ctx.live.poll(EP_SURFACES, 20000, onSurfaces));
|
| 630 |
|
| 631 |
_frameFn = () => frame();
|
| 632 |
_stage.onFrame(_frameFn);
|
|
|
|
| 637 |
function unmount() {
|
| 638 |
for (const h of _handles) { try { h && h.stop && h.stop(); } catch (_) {} }
|
| 639 |
_handles.length = 0;
|
| 640 |
+
try { if (_overlay && _overlay.parentNode) _overlay.parentNode.removeChild(_overlay); } catch (_) {}
|
| 641 |
try {
|
| 642 |
if (_root) {
|
| 643 |
_root.traverse((o) => {
|
|
|
|
| 651 |
}
|
| 652 |
} catch (_) {}
|
| 653 |
try { if (_stage) _stage.setBloom(false); } catch (_) {}
|
| 654 |
+
_root = null; _overlay = null; _scene = null; _frameFn = null; _hud = {}; _plain = false; _plainEl = null; _stage = null; _THREE = null; _ctx = null;
|
| 655 |
}
|
| 656 |
|
| 657 |
+
export default { id: ID, title: TITLE, endpoints: [EP_KPI, EP_ENERGY, EP_FABRIC, EP_PNT, EP_LOOP, EP_FLEET, EP_SURFACES], mount, unmount };
|
static/3d/surfaces/governance.js
CHANGED
|
@@ -3,6 +3,20 @@
|
|
| 3 |
//
|
| 4 |
// surfaces/governance.js — AI GOVERNANCE / Assurance holographic surface (Dev5).
|
| 5 |
//
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 6 |
// Leader/technique modeled (we are MODELED ON, never claim to BE):
|
| 7 |
// GUAC v1.0 (OpenSSF) — Graph for Understanding Artifact Composition
|
| 8 |
// Sigstore / Rekor — append-only hash-chained Merkle transparency log
|
|
@@ -45,8 +59,6 @@
|
|
| 45 |
//
|
| 46 |
// CONTRACT: default-export { id, title, endpoints[], mount(ctx), unmount() }.
|
| 47 |
|
| 48 |
-
import { createShowcase } from "./_showcase.js";
|
| 49 |
-
|
| 50 |
const ID = "governance";
|
| 51 |
const TITLE = "AI Governance · Assurance";
|
| 52 |
|
|
@@ -81,8 +93,11 @@ let _handles = []; // poll handles to stop on unmount
|
|
| 81 |
let _overlay = null, _graphPanel = null, _graph = null, _hud = {};
|
| 82 |
let _frameCb = null, _fgScript = null;
|
| 83 |
let _plain = false, _plainEl = null; // "what this means" plain-language toggle
|
| 84 |
-
let _show = null; // shared collapsible showcase chrome
|
| 85 |
const _state = {}; // last meta per endpoint (for HUD)
|
|
|
|
|
|
|
|
|
|
|
|
|
| 86 |
|
| 87 |
// ---------------------------------------------------------------------------
|
| 88 |
// small helpers
|
|
@@ -538,19 +553,14 @@ function _updateSbomFromArtifact(json) {
|
|
| 538 |
// OVERLAY HUD — badges per route + legend + teaching callout + SBOM panel
|
| 539 |
// ===========================================================================
|
| 540 |
function _buildOverlay(ctx) {
|
| 541 |
-
|
| 542 |
-
// the always-visible chrome; the per-route badges + posture/gate/honest readouts + the
|
| 543 |
-
// teaching callout fold into the (collapsed) body so the 3D estate stays the star.
|
| 544 |
-
_show = createShowcase(ctx, {
|
| 545 |
-
id: ID, title: TITLE, accent: "#5b8dee",
|
| 546 |
-
legend: ["MEASURED", "MODELED", "HEURISTIC", "STRUCTURAL-ONLY"],
|
| 547 |
-
description:
|
| 548 |
-
"modeled on GUAC v1.0 · Sigstore/Rekor · SCITT — knowledge graph + Merkle hash-chain + crosswalk",
|
| 549 |
-
});
|
| 550 |
|
| 551 |
-
|
| 552 |
-
|
| 553 |
-
|
|
|
|
|
|
|
|
|
|
| 554 |
|
| 555 |
// per-route live badges: LIVE routes first (drive the tab), then the PENDING ones.
|
| 556 |
const badgeWrap = el("div", "display:flex;flex-direction:column;gap:5px;pointer-events:auto");
|
|
@@ -584,6 +594,10 @@ function _buildOverlay(ctx) {
|
|
| 584 |
_hud.honest = el("div", "font:10px ui-monospace,Menlo,monospace;color:#7d8a96;line-height:1.5;pointer-events:auto", "build: awaiting /honest…");
|
| 585 |
_overlay.appendChild(_hud.honest);
|
| 586 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 587 |
// teaching callout (doctrine): signature ≠ safety
|
| 588 |
const teach = el("div",
|
| 589 |
"pointer-events:auto;margin-top:2px;padding:8px 10px;border:1px solid #3a2330;border-radius:8px;" +
|
|
@@ -623,10 +637,8 @@ function _buildOverlay(ctx) {
|
|
| 623 |
_hud.sbom = el("div", "position:absolute;left:8px;bottom:6px;z-index:2;font:9.5px ui-monospace,monospace;color:#7d8a96", "STRUCTURAL-ONLY · awaiting /assurance/artifact");
|
| 624 |
_graphPanel.appendChild(gh); _graphPanel.appendChild(_hud.sbom);
|
| 625 |
|
| 626 |
-
// fold the rows into the collapsible showcase body; the SBOM graph panel keeps its own
|
| 627 |
-
// absolute placement (it hosts the vendored ForceGraph3D canvas, which owns its GL context).
|
| 628 |
-
_show.body.appendChild(_overlay);
|
| 629 |
const host = ctx.container || document.body;
|
|
|
|
| 630 |
host.appendChild(_graphPanel);
|
| 631 |
}
|
| 632 |
|
|
@@ -714,6 +726,11 @@ function startPolls(ctx) {
|
|
| 714 |
// --- LIVE posture: /restraint/info -> doctrine lock + ladder spec + Λ floor ----------
|
| 715 |
function _applyPosture(json) {
|
| 716 |
const doc = json.doctrine || {};
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 717 |
// resize the compliance pillars to the REAL doctrine posture rather than a seed:
|
| 718 |
// visible_codenames is an enforced-0 invariant; signed_receipts a boolean; runtime_cdn 0.
|
| 719 |
// We map the three "framework" pillars to the three load-bearing doctrine invariants so
|
|
@@ -752,6 +769,9 @@ function _applyGate(json) {
|
|
| 752 |
const lambdaScore = json.lambda_score && typeof json.lambda_score.lambda === "number"
|
| 753 |
? json.lambda_score.lambda : null;
|
| 754 |
const label = json.label || _live.readHonestyLabel(json) || null;
|
|
|
|
|
|
|
|
|
|
| 755 |
|
| 756 |
// Merkle tree: color leaves by which rung held (the held rung = green, descended = amber,
|
| 757 |
// not-yet-reached = gray). Honest structural map of the ladder decision.
|
|
@@ -838,9 +858,22 @@ function _applyGate(json) {
|
|
| 838 |
// --- LIVE build provenance: /honest -> git_sha + doctrine_lock badge -------------------
|
| 839 |
function _applyHonest(json) {
|
| 840 |
if (!_hud.honest) return;
|
| 841 |
-
|
| 842 |
-
|
| 843 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 844 |
_hud.honest.style.color = "#9fb1bf";
|
| 845 |
}
|
| 846 |
|
|
@@ -868,17 +901,14 @@ function _refreshStatus() {
|
|
| 868 |
function unmount() {
|
| 869 |
_handles.forEach((h) => { try { h.stop && h.stop(); } catch (_) {} });
|
| 870 |
_handles = [];
|
| 871 |
-
try { if (_show) _show.destroy(); } catch (_) {}
|
| 872 |
try { if (_frameCb && _stage && _stage.offFrame) _stage.offFrame(_frameCb); } catch (_) {}
|
| 873 |
_frameCb = null;
|
| 874 |
try { if (_graph && _graph._destructor) _graph._destructor(); } catch (_) {}
|
| 875 |
_graph = null;
|
| 876 |
try { if (_root && _stage) { disposeObj(_root); _stage.scene.remove(_root); } } catch (_) {}
|
| 877 |
_root = null;
|
| 878 |
-
|
| 879 |
-
|
| 880 |
-
try { if (_graphPanel && _graphPanel.parentNode) _graphPanel.parentNode.removeChild(_graphPanel); } catch (_) {}
|
| 881 |
-
_show = null; _overlay = null; _graphPanel = null; _hud = {}; _plain = false; _plainEl = null;
|
| 882 |
_stage = null; _THREE = null; _label = null; _live = null;
|
| 883 |
for (const k in _state) delete _state[k];
|
| 884 |
}
|
|
|
|
| 3 |
//
|
| 4 |
// surfaces/governance.js — AI GOVERNANCE / Assurance holographic surface (Dev5).
|
| 5 |
//
|
| 6 |
+
// SZL WAVE 28 UPGRADE (Dev3, 2026-07-07): STRUCTURAL-ONLY -> MODELED.
|
| 7 |
+
// This surface already POLLED the live governance gate (/restraint/info +
|
| 8 |
+
// /restraint/evaluate + /honest) and rendered real values, but /frontier/surfaces
|
| 9 |
+
// derived its honesty label as STRUCTURAL-ONLY because no runtime-default label
|
| 10 |
+
// line existed — the deriver fell through to the first billboard literal. The
|
| 11 |
+
// upgrade adds a HONEST runtime-default headline label (_state.label) set from the
|
| 12 |
+
// REAL doctrine posture the live poll returns (/restraint/info doctrine snapshot +
|
| 13 |
+
// /honest lambda_status), so the manifest now reports MODELED because the surface
|
| 14 |
+
// genuinely reads the live doctrine/kernel state (Λ = Conjecture 1, kernel
|
| 15 |
+
// c7c0ba17, locked-8). No value is fabricated; graceful NO-LIVE-DATA on 404.
|
| 16 |
+
// What is LIVE: /restraint/info, /restraint/evaluate, /honest (all HTTP 200).
|
| 17 |
+
// What is MODELED: the ladder-rung / Λ-advisory / energy tie-in the gate reports.
|
| 18 |
+
// Still STRUCTURAL-ONLY / NO-LIVE-DATA: the pending Forge-mesh assurance routes.
|
| 19 |
+
//
|
| 20 |
// Leader/technique modeled (we are MODELED ON, never claim to BE):
|
| 21 |
// GUAC v1.0 (OpenSSF) — Graph for Understanding Artifact Composition
|
| 22 |
// Sigstore / Rekor — append-only hash-chained Merkle transparency log
|
|
|
|
| 59 |
//
|
| 60 |
// CONTRACT: default-export { id, title, endpoints[], mount(ctx), unmount() }.
|
| 61 |
|
|
|
|
|
|
|
| 62 |
const ID = "governance";
|
| 63 |
const TITLE = "AI Governance · Assurance";
|
| 64 |
|
|
|
|
| 93 |
let _overlay = null, _graphPanel = null, _graph = null, _hud = {};
|
| 94 |
let _frameCb = null, _fgScript = null;
|
| 95 |
let _plain = false, _plainEl = null; // "what this means" plain-language toggle
|
|
|
|
| 96 |
const _state = {}; // last meta per endpoint (for HUD)
|
| 97 |
+
// W28: honest runtime-default headline label for /frontier/surfaces. Seeded to the
|
| 98 |
+
// doctrine STRUCTURAL-ONLY placeholder and REPLACED with the real honesty token the
|
| 99 |
+
// live governance poll reports (doctrine posture / gate). The deriver reads THIS line.
|
| 100 |
+
_state.label = "STRUCTURAL-ONLY";
|
| 101 |
|
| 102 |
// ---------------------------------------------------------------------------
|
| 103 |
// small helpers
|
|
|
|
| 553 |
// OVERLAY HUD — badges per route + legend + teaching callout + SBOM panel
|
| 554 |
// ===========================================================================
|
| 555 |
function _buildOverlay(ctx) {
|
| 556 |
+
_overlay = el("div", "position:absolute;left:14px;top:14px;z-index:5;display:flex;flex-direction:column;gap:9px;max-width:min(94%,440px);pointer-events:none");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 557 |
|
| 558 |
+
const head = el("div", "font:600 14px ui-sans-serif,system-ui;color:#eef3f6;letter-spacing:.4px", TITLE);
|
| 559 |
+
_overlay.appendChild(head);
|
| 560 |
+
|
| 561 |
+
const sub = el("div", "font:10.5px ui-monospace,Menlo,monospace;color:#9fb1bf;line-height:1.5",
|
| 562 |
+
"modeled on GUAC v1.0 · Sigstore/Rekor · SCITT — knowledge graph + Merkle hash-chain + crosswalk");
|
| 563 |
+
_overlay.appendChild(sub);
|
| 564 |
|
| 565 |
// per-route live badges: LIVE routes first (drive the tab), then the PENDING ones.
|
| 566 |
const badgeWrap = el("div", "display:flex;flex-direction:column;gap:5px;pointer-events:auto");
|
|
|
|
| 594 |
_hud.honest = el("div", "font:10px ui-monospace,Menlo,monospace;color:#7d8a96;line-height:1.5;pointer-events:auto", "build: awaiting /honest…");
|
| 595 |
_overlay.appendChild(_hud.honest);
|
| 596 |
|
| 597 |
+
// honesty legend (doctrine chips)
|
| 598 |
+
const legend = _label.legend(); legend.style.opacity = "0.9"; legend.style.pointerEvents = "auto";
|
| 599 |
+
_overlay.appendChild(legend);
|
| 600 |
+
|
| 601 |
// teaching callout (doctrine): signature ≠ safety
|
| 602 |
const teach = el("div",
|
| 603 |
"pointer-events:auto;margin-top:2px;padding:8px 10px;border:1px solid #3a2330;border-radius:8px;" +
|
|
|
|
| 637 |
_hud.sbom = el("div", "position:absolute;left:8px;bottom:6px;z-index:2;font:9.5px ui-monospace,monospace;color:#7d8a96", "STRUCTURAL-ONLY · awaiting /assurance/artifact");
|
| 638 |
_graphPanel.appendChild(gh); _graphPanel.appendChild(_hud.sbom);
|
| 639 |
|
|
|
|
|
|
|
|
|
|
| 640 |
const host = ctx.container || document.body;
|
| 641 |
+
host.appendChild(_overlay);
|
| 642 |
host.appendChild(_graphPanel);
|
| 643 |
}
|
| 644 |
|
|
|
|
| 726 |
// --- LIVE posture: /restraint/info -> doctrine lock + ladder spec + Λ floor ----------
|
| 727 |
function _applyPosture(json) {
|
| 728 |
const doc = json.doctrine || {};
|
| 729 |
+
// W28 HONEST LABEL: the doctrine posture is a live, model-derived governance readout.
|
| 730 |
+
// Set the surface headline label from the real JSON honesty token (verbatim when the
|
| 731 |
+
// endpoint carries one, else the MODELED tier this posture readout honestly earns).
|
| 732 |
+
// /frontier/surfaces reads this exact line to derive the manifest label (was STRUCTURAL-ONLY).
|
| 733 |
+
_state.label = (json.label || "MODELED");
|
| 734 |
// resize the compliance pillars to the REAL doctrine posture rather than a seed:
|
| 735 |
// visible_codenames is an enforced-0 invariant; signed_receipts a boolean; runtime_cdn 0.
|
| 736 |
// We map the three "framework" pillars to the three load-bearing doctrine invariants so
|
|
|
|
| 769 |
const lambdaScore = json.lambda_score && typeof json.lambda_score.lambda === "number"
|
| 770 |
? json.lambda_score.lambda : null;
|
| 771 |
const label = json.label || _live.readHonestyLabel(json) || null;
|
| 772 |
+
// W28: the live gate decision is a model-derived governance verdict. Keep the surface
|
| 773 |
+
// headline label honest to what the gate reports (verbatim token, else MODELED tier).
|
| 774 |
+
_state.label = (label || "MODELED");
|
| 775 |
|
| 776 |
// Merkle tree: color leaves by which rung held (the held rung = green, descended = amber,
|
| 777 |
// not-yet-reached = gray). Honest structural map of the ladder decision.
|
|
|
|
| 858 |
// --- LIVE build provenance: /honest -> git_sha + doctrine_lock badge -------------------
|
| 859 |
function _applyHonest(json) {
|
| 860 |
if (!_hud.honest) return;
|
| 861 |
+
// W28: /honest carries the REAL kernel commit + Λ status + LOCKED counts. Prefer the
|
| 862 |
+
// literal fields the live endpoint returns (kernel_commit, lambda_status, doctrine,
|
| 863 |
+
// declarations/axioms_unique/sorries_total); fall back honestly to "?" when absent.
|
| 864 |
+
const sha = json.git_sha || json.kernel_commit
|
| 865 |
+
|| (json.honest_labels && json.honest_labels.git_sha) || "?";
|
| 866 |
+
const lock = json.doctrine_lock || json.doctrine
|
| 867 |
+
|| (json.honest_labels && json.honest_labels.doctrine_lock) || "?";
|
| 868 |
+
const lam = json.lambda_status || "Λ = Conjecture 1";
|
| 869 |
+
const decl = (json.declarations != null) ? json.declarations : null;
|
| 870 |
+
const ax = (json.axioms_unique != null) ? json.axioms_unique : null;
|
| 871 |
+
const sor = (json.sorries_total != null) ? json.sorries_total : null;
|
| 872 |
+
const counts = (decl != null && ax != null && sor != null)
|
| 873 |
+
? ` · ${decl} decl / ${ax} ax / ${sor} sorry` : "";
|
| 874 |
+
_hud.honest.textContent =
|
| 875 |
+
`build ${String(sha).slice(0, 8)} · doctrine ${lock} · kernel ${String(json.kernel_commit || sha).slice(0, 8)}` +
|
| 876 |
+
`${counts} · ${String(lam).split("—")[0].trim()}`;
|
| 877 |
_hud.honest.style.color = "#9fb1bf";
|
| 878 |
}
|
| 879 |
|
|
|
|
| 901 |
function unmount() {
|
| 902 |
_handles.forEach((h) => { try { h.stop && h.stop(); } catch (_) {} });
|
| 903 |
_handles = [];
|
|
|
|
| 904 |
try { if (_frameCb && _stage && _stage.offFrame) _stage.offFrame(_frameCb); } catch (_) {}
|
| 905 |
_frameCb = null;
|
| 906 |
try { if (_graph && _graph._destructor) _graph._destructor(); } catch (_) {}
|
| 907 |
_graph = null;
|
| 908 |
try { if (_root && _stage) { disposeObj(_root); _stage.scene.remove(_root); } } catch (_) {}
|
| 909 |
_root = null;
|
| 910 |
+
[_overlay, _graphPanel].forEach((n) => { try { if (n && n.parentNode) n.parentNode.removeChild(n); } catch (_) {} });
|
| 911 |
+
_overlay = null; _graphPanel = null; _hud = {}; _plain = false; _plainEl = null;
|
|
|
|
|
|
|
| 912 |
_stage = null; _THREE = null; _label = null; _live = null;
|
| 913 |
for (const k in _state) delete _state[k];
|
| 914 |
}
|
szl_kc_jpt.py
ADDED
|
@@ -0,0 +1,1104 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# SPDX-License-Identifier: Apache-2.0
|
| 2 |
+
# © 2026 Lutar, Stephen P. — SZL Holdings · ORCID 0009-0001-0110-4173
|
| 3 |
+
# Doctrine v11 LOCKED: locked-proven=8 · Λ=Conjecture 1 · SLSA L1 honest / L2 attested / L3 roadmap
|
| 4 |
+
# Co-Authored-By: Perplexity Computer Agent
|
| 5 |
+
"""
|
| 6 |
+
szl_kc_jpt.py — THE JPT ORGAN — MEASURED joules-per-token benchmark + append-only ledger,
|
| 7 |
+
a real energy SENSE the Brain gains over every harnessed fleet node.
|
| 8 |
+
|
| 9 |
+
This is NOT a MODELED estimate (that is szl_kc_onebit.py). A J/token here is MEASURED only
|
| 10 |
+
when it came from a REAL meter-delta around a REAL generation THIS request:
|
| 11 |
+
read node.meter totals.joules BEFORE -> POST {model,prompt,stream:false} to node.gpu
|
| 12 |
+
/api/generate -> read node.meter totals.joules AFTER -> delta = after - before,
|
| 13 |
+
eval_count from the ollama response, J/token = delta / eval_count.
|
| 14 |
+
Every real per-node measurement is emitted as a HEART beat (σ-algebra receipt bus) AND a
|
| 15 |
+
BLOOD-signed DSSE receipt (guarded reuse of szl_heart_blood + szl_dsse), then appended to a
|
| 16 |
+
persistent, hash-chained ledger that survives restarts.
|
| 17 |
+
|
| 18 |
+
Brain wiring (the core design — hooks that ALREADY EXIST, reused guarded):
|
| 19 |
+
* Multi-node harness: env A11OY_JOULE_METER_URLS (comma-separated) + a parallel node/model
|
| 20 |
+
list, iterated per node exactly like szl_energy_operator._joule_meter_urls(). Adding a
|
| 21 |
+
node = adding a URL. A node is MEASURED only if its meter AND gpu both respond live THIS
|
| 22 |
+
run; others are OFFLINE/skipped, NEVER faked.
|
| 23 |
+
* HEART/BLOOD spine (szl_heart_blood.py): every measured J/token is a receipted BEAT on the
|
| 24 |
+
σ-algebra bus + a DSSE-Merkle-chained BLOOD beat. A measurement is a receipted node in the
|
| 25 |
+
Brain, not a loose float.
|
| 26 |
+
* Flower petal 7 (MEMORY & PROVENANCE, szl_kc_flower.py) is the home graph: each live per-node
|
| 27 |
+
measured J/token surfaces as a real cited node there (documented cross-link; see manifest
|
| 28 |
+
flower_petal7_crosslink). We CITE the Flower as the home graph; we do not claim it as our own.
|
| 29 |
+
|
| 30 |
+
Routes (NEW; never collide):
|
| 31 |
+
GET /api/{ns}/v1/jpt/manifest — organ manifest + honesty_invariants
|
| 32 |
+
POST /api/{ns}/v1/jpt/benchmark — MEASURE per-node across ALL harnessed nodes; append ledger
|
| 33 |
+
GET /api/{ns}/v1/jpt/nodes — harnessed-node roster (id, model, gpu, meter, live/offline, last J/tok+ts)
|
| 34 |
+
GET /api/{ns}/v1/jpt/ledger — persistent append-only hash-chained time series
|
| 35 |
+
GET /api/{ns}/v1/jpt/summary — rolling stats (latest/min/max/mean J/tok, per-model, per-node, variance note)
|
| 36 |
+
|
| 37 |
+
HONESTY SPINE (Doctrine v11, NON-NEGOTIABLE):
|
| 38 |
+
* MEASURED only from a real meter-delta around a real generation THIS request; otherwise a node
|
| 39 |
+
is OFFLINE (with reason) or shown as last-known-with-ts, NEVER presented as current.
|
| 40 |
+
* NEVER fabricate a joule or a J/token. A dead meter/GPU => that node OFFLINE, others continue.
|
| 41 |
+
* MONOTONIC GUARD: if meter_after < meter_before (tower reboot / counter reset), DO NOT log a
|
| 42 |
+
value — flag "meter_reset_detected" and skip that node honestly.
|
| 43 |
+
* MODELED and MEASURED are never conflated. Λ = Conjecture 1, untouched (this organ never emits it).
|
| 44 |
+
* Provenance (meter url, exporter, model, node, ts, receipt digest) on EVERY number.
|
| 45 |
+
* No banned marketing superlatives (reversed-fragment guard). No 'Λ...theorem' without 'Conjecture'.
|
| 46 |
+
* Pure stdlib only (urllib, json, hashlib, os, time). Cite bitnet/meter/exporter/Flower, never ours.
|
| 47 |
+
"""
|
| 48 |
+
from __future__ import annotations
|
| 49 |
+
|
| 50 |
+
import hashlib as _hashlib
|
| 51 |
+
import json as _json
|
| 52 |
+
import os as _os
|
| 53 |
+
import time as _time
|
| 54 |
+
import urllib.request as _urllib_request
|
| 55 |
+
from typing import Any, Dict, List, Optional, Tuple
|
| 56 |
+
|
| 57 |
+
MEASURED_LABEL = "MEASURED"
|
| 58 |
+
DOCTRINE_VERSION = "v11"
|
| 59 |
+
|
| 60 |
+
# ======================================================================================
|
| 61 |
+
# Banned marketing tokens (Doctrine v11) — rejected in any authored string this module emits.
|
| 62 |
+
# Built from reversed fragments so the literal words never appear in this source (mirrors flower).
|
| 63 |
+
# ======================================================================================
|
| 64 |
+
_BANNED = tuple(_s[::-1] for _s in (
|
| 65 |
+
"yranoitulover", "ssalc-dlrow", "sselmaes", "egde-gnittuc", "tra-eht-fo-etats",
|
| 66 |
+
"hguorhtkaerb", "gnignahc-emag", "ssalc-ni-tseb", "noitareneg-txen", "delellarapnu",
|
| 67 |
+
"tfihs mgidarap", "evitpursid", "lacigam", "detnedecerpnu",
|
| 68 |
+
))
|
| 69 |
+
|
| 70 |
+
|
| 71 |
+
def _assert_no_banned(text: str) -> None:
|
| 72 |
+
low = str(text).lower()
|
| 73 |
+
for tok in _BANNED:
|
| 74 |
+
if tok in low:
|
| 75 |
+
raise ValueError("banned token rejected: %r" % tok)
|
| 76 |
+
|
| 77 |
+
|
| 78 |
+
# ======================================================================================
|
| 79 |
+
# Citations (all real — never claimed as SZL's own).
|
| 80 |
+
# ======================================================================================
|
| 81 |
+
CITATIONS: Dict[str, str] = {
|
| 82 |
+
"meter": "meter.a-11-oy.com — omen-joule-exporter (real NVML via nvidia-smi)",
|
| 83 |
+
"exporter": "omen_joule_exporter.py (SZL fleet) reads NVIDIA NVML power via nvidia-smi",
|
| 84 |
+
"ollama": "ollama /api/generate — returns eval_count + eval_duration for the real generation",
|
| 85 |
+
"bitnet": "BitNet b1.58 (Microsoft, arXiv:2402.17764) — the 1-bit-LLM MODELED baseline (see szl_kc_onebit.py)",
|
| 86 |
+
"flower": "szl_kc_flower.py petal 7 MEMORY & PROVENANCE — the home graph for measured energy nodes",
|
| 87 |
+
"heart_blood": "szl_heart_blood.py — HEART σ-algebra receipt bus + BLOOD DSSE-Merkle chain",
|
| 88 |
+
"dsse": "szl_dsse.py — DSSE PAE envelope (ECDSA-P256 when key present, else honest UNSIGNED)",
|
| 89 |
+
"doctrine": "SZL joules doctrine v11 — MEASURED only from a live meter-delta this request",
|
| 90 |
+
}
|
| 91 |
+
|
| 92 |
+
_HONEST_NOTE = (
|
| 93 |
+
"A joules/token here is MEASURED only from a real meter-delta around a real generation THIS "
|
| 94 |
+
"request; a node with an unreachable meter or GPU is OFFLINE (never faked); a negative "
|
| 95 |
+
"meter delta is a counter reset (flagged, never logged). MODELED estimates live in the "
|
| 96 |
+
"One-Bit organ and are never conflated with these MEASURED numbers. Meter/exporter/model/node "
|
| 97 |
+
"are cited on every number; the exporter is the fleet's, not SZL's invention."
|
| 98 |
+
)
|
| 99 |
+
|
| 100 |
+
# ======================================================================================
|
| 101 |
+
# Guarded meter reader — REUSES the szl_kc_onebit.read_live_meter() pattern (browser UA +
|
| 102 |
+
# short timeout, fully guarded, never fabricates). Kept self-contained (pure stdlib) so the
|
| 103 |
+
# organ imports with zero deps; if szl_kc_onebit is importable we prefer its reader.
|
| 104 |
+
# ======================================================================================
|
| 105 |
+
_METER_URL_DEFAULT = "https://meter.a-11-oy.com/"
|
| 106 |
+
_METER_PROBE_UA = _os.environ.get(
|
| 107 |
+
"SZL_PROBE_USER_AGENT",
|
| 108 |
+
"Mozilla/5.0 (compatible; szl-kc-jpt/1.0; +https://a-11-oy.com)")
|
| 109 |
+
try:
|
| 110 |
+
_METER_TIMEOUT_S = float(_os.environ.get("SZL_JPT_METER_TIMEOUT", "4.0"))
|
| 111 |
+
except (TypeError, ValueError):
|
| 112 |
+
_METER_TIMEOUT_S = 4.0
|
| 113 |
+
try:
|
| 114 |
+
_GEN_TIMEOUT_S = float(_os.environ.get("SZL_JPT_GEN_TIMEOUT", "120.0"))
|
| 115 |
+
except (TypeError, ValueError):
|
| 116 |
+
_GEN_TIMEOUT_S = 120.0
|
| 117 |
+
|
| 118 |
+
_DEFAULT_PROMPT = _os.environ.get(
|
| 119 |
+
"SZL_JPT_PROMPT",
|
| 120 |
+
"In one sentence, state why measured joules-per-token matters for sovereign compute.")
|
| 121 |
+
|
| 122 |
+
|
| 123 |
+
def _read_meter_raw(url: str, timeout: float) -> Optional[Dict[str, Any]]:
|
| 124 |
+
"""GET the live joule-meter JSON, or None on ANY failure (unreachable/timeout/non-200/
|
| 125 |
+
malformed). Guarded by design — NEVER raises, NEVER fabricates. Browser-like UA so the
|
| 126 |
+
Cloudflare-fronted meter does not 403. Mirrors szl_kc_onebit.read_live_meter transport."""
|
| 127 |
+
# Prefer the canonical onebit reader when importable (single source of transport truth).
|
| 128 |
+
try:
|
| 129 |
+
import szl_kc_onebit as _onebit # type: ignore
|
| 130 |
+
rd = getattr(_onebit, "read_live_meter", None)
|
| 131 |
+
if callable(rd):
|
| 132 |
+
m = rd(url=url, timeout=timeout)
|
| 133 |
+
if isinstance(m, dict):
|
| 134 |
+
return m
|
| 135 |
+
# onebit returns None when no live=true reading; fall through to raw parse so a
|
| 136 |
+
# meter that reports totals.joules but no live gpu can still be delta-metered.
|
| 137 |
+
except Exception: # noqa: BLE001 — onebit not importable in this runtime => raw path
|
| 138 |
+
pass
|
| 139 |
+
target = (url or _METER_URL_DEFAULT).strip()
|
| 140 |
+
try:
|
| 141 |
+
req = _urllib_request.Request(target, headers={"User-Agent": _METER_PROBE_UA})
|
| 142 |
+
with _urllib_request.urlopen(req, timeout=timeout) as r: # noqa: S310
|
| 143 |
+
status = getattr(r, "status", None) or 200
|
| 144 |
+
if not (200 <= int(status) < 300):
|
| 145 |
+
return None
|
| 146 |
+
raw = r.read().decode("utf-8", "replace")
|
| 147 |
+
doc = _json.loads(raw)
|
| 148 |
+
except Exception: # noqa: BLE001 — degrade honestly
|
| 149 |
+
return None
|
| 150 |
+
return doc if isinstance(doc, dict) else None
|
| 151 |
+
|
| 152 |
+
|
| 153 |
+
def _meter_totals_joules(doc: Optional[Dict[str, Any]]) -> Optional[float]:
|
| 154 |
+
"""Extract totals.joules (cumulative) from a meter doc; None if absent/non-numeric."""
|
| 155 |
+
if not isinstance(doc, dict):
|
| 156 |
+
return None
|
| 157 |
+
totals = doc.get("totals") if isinstance(doc.get("totals"), dict) else {}
|
| 158 |
+
tj = totals.get("joules")
|
| 159 |
+
if isinstance(tj, (int, float)):
|
| 160 |
+
return float(tj)
|
| 161 |
+
# fall back to summing engine joules if totals missing
|
| 162 |
+
s = 0.0
|
| 163 |
+
got = False
|
| 164 |
+
for e in (doc.get("engines") or []):
|
| 165 |
+
if isinstance(e, dict) and isinstance(e.get("joules"), (int, float)):
|
| 166 |
+
s += float(e["joules"]); got = True
|
| 167 |
+
return s if got else None
|
| 168 |
+
|
| 169 |
+
|
| 170 |
+
def _meter_power_w(doc: Optional[Dict[str, Any]]) -> Optional[float]:
|
| 171 |
+
"""First live GPU power_w from a meter doc (for the believable-envelope note)."""
|
| 172 |
+
if not isinstance(doc, dict):
|
| 173 |
+
return None
|
| 174 |
+
for e in (doc.get("engines") or []):
|
| 175 |
+
if not isinstance(e, dict):
|
| 176 |
+
continue
|
| 177 |
+
for g in (e.get("gpus") or []):
|
| 178 |
+
if isinstance(g, dict) and isinstance(g.get("power_w"), (int, float)):
|
| 179 |
+
return float(g["power_w"])
|
| 180 |
+
return None
|
| 181 |
+
|
| 182 |
+
|
| 183 |
+
def _meter_exporter(doc: Optional[Dict[str, Any]]) -> Optional[str]:
|
| 184 |
+
if isinstance(doc, dict) and doc.get("exporter") is not None:
|
| 185 |
+
return str(doc.get("exporter"))
|
| 186 |
+
return None
|
| 187 |
+
|
| 188 |
+
|
| 189 |
+
# ======================================================================================
|
| 190 |
+
# Node roster — "harness ALL nodes". Default roster is overridable by env
|
| 191 |
+
# A11OY_JOULE_METER_URLS (parallel meter list) + A11OY_JPT_NODES (JSON list) so adding a
|
| 192 |
+
# node is just adding a URL/entry. A node is MEASURED only if meter AND gpu both respond.
|
| 193 |
+
# ======================================================================================
|
| 194 |
+
_DEFAULT_ROSTER: List[Dict[str, str]] = [
|
| 195 |
+
{"id": "omen", "model": "llama3.1:8b",
|
| 196 |
+
"gpu": "https://gpu.a-11-oy.com", "meter": "https://meter.a-11-oy.com/"},
|
| 197 |
+
{"id": "betterwithage", "model": "qwen2.5:3b",
|
| 198 |
+
"gpu": "https://gpu2.a-11-oy.com", "meter": "https://meter2.a-11-oy.com/"},
|
| 199 |
+
]
|
| 200 |
+
|
| 201 |
+
|
| 202 |
+
def _node_roster() -> List[Dict[str, str]]:
|
| 203 |
+
"""Resolve the harnessed-node roster at call time.
|
| 204 |
+
|
| 205 |
+
Priority:
|
| 206 |
+
1. A11OY_JPT_NODES = JSON list of {id,model,gpu,meter} — full explicit control.
|
| 207 |
+
2. A11OY_JOULE_METER_URLS (comma-separated meters) zipped with A11OY_JPT_GPU_URLS and
|
| 208 |
+
A11OY_JPT_MODELS (comma-separated, positional) — the multi-node harness form.
|
| 209 |
+
3. The default roster (omen + betterwithage).
|
| 210 |
+
Never fabricates a node; only selects WHERE to read/generate."""
|
| 211 |
+
raw = (_os.environ.get("A11OY_JPT_NODES") or "").strip()
|
| 212 |
+
if raw:
|
| 213 |
+
try:
|
| 214 |
+
parsed = _json.loads(raw)
|
| 215 |
+
if isinstance(parsed, list):
|
| 216 |
+
out = []
|
| 217 |
+
for i, n in enumerate(parsed):
|
| 218 |
+
if not isinstance(n, dict):
|
| 219 |
+
continue
|
| 220 |
+
out.append({
|
| 221 |
+
"id": str(n.get("id") or ("node%d" % i)),
|
| 222 |
+
"model": str(n.get("model") or ""),
|
| 223 |
+
"gpu": str(n.get("gpu") or ""),
|
| 224 |
+
"meter": str(n.get("meter") or ""),
|
| 225 |
+
})
|
| 226 |
+
if out:
|
| 227 |
+
return out
|
| 228 |
+
except Exception: # noqa: BLE001 — malformed env => fall through, stay honest
|
| 229 |
+
pass
|
| 230 |
+
meters = [u.strip() for u in (_os.environ.get("A11OY_JOULE_METER_URLS") or "").split(",") if u.strip()]
|
| 231 |
+
if meters:
|
| 232 |
+
gpus = [u.strip() for u in (_os.environ.get("A11OY_JPT_GPU_URLS") or "").split(",") if u.strip()]
|
| 233 |
+
models = [u.strip() for u in (_os.environ.get("A11OY_JPT_MODELS") or "").split(",") if u.strip()]
|
| 234 |
+
out = []
|
| 235 |
+
for i, mu in enumerate(meters):
|
| 236 |
+
base = _DEFAULT_ROSTER[i] if i < len(_DEFAULT_ROSTER) else {}
|
| 237 |
+
out.append({
|
| 238 |
+
"id": base.get("id", "node%d" % i),
|
| 239 |
+
"model": (models[i] if i < len(models) else base.get("model", "")),
|
| 240 |
+
"gpu": (gpus[i] if i < len(gpus) else base.get("gpu", "")),
|
| 241 |
+
"meter": mu,
|
| 242 |
+
})
|
| 243 |
+
return out
|
| 244 |
+
return [dict(n) for n in _DEFAULT_ROSTER]
|
| 245 |
+
|
| 246 |
+
|
| 247 |
+
# ======================================================================================
|
| 248 |
+
# Guarded ollama generation. POST {model,prompt,stream:false} to <gpu>/api/generate.
|
| 249 |
+
# Returns (response_dict, error_str). Never raises; never fabricates eval_count.
|
| 250 |
+
# ======================================================================================
|
| 251 |
+
def _ollama_generate(gpu_base: str, model: str, prompt: str,
|
| 252 |
+
timeout: float) -> Tuple[Optional[Dict[str, Any]], Optional[str]]:
|
| 253 |
+
if not gpu_base or not model:
|
| 254 |
+
return None, "missing gpu endpoint or model"
|
| 255 |
+
url = gpu_base.rstrip("/") + "/api/generate"
|
| 256 |
+
body = _json.dumps({"model": model, "prompt": prompt, "stream": False}).encode("utf-8")
|
| 257 |
+
try:
|
| 258 |
+
req = _urllib_request.Request(
|
| 259 |
+
url, data=body, method="POST",
|
| 260 |
+
headers={"User-Agent": _METER_PROBE_UA, "Content-Type": "application/json"})
|
| 261 |
+
with _urllib_request.urlopen(req, timeout=timeout) as r: # noqa: S310
|
| 262 |
+
status = getattr(r, "status", None) or 200
|
| 263 |
+
if not (200 <= int(status) < 300):
|
| 264 |
+
return None, "gpu non-2xx status %s" % status
|
| 265 |
+
raw = r.read().decode("utf-8", "replace")
|
| 266 |
+
doc = _json.loads(raw)
|
| 267 |
+
if not isinstance(doc, dict):
|
| 268 |
+
return None, "gpu returned non-object"
|
| 269 |
+
return doc, None
|
| 270 |
+
except Exception as exc: # noqa: BLE001 — unreachable/timeout => OFFLINE
|
| 271 |
+
return None, "gpu unreachable: %s" % (str(exc)[:160])
|
| 272 |
+
|
| 273 |
+
|
| 274 |
+
# ======================================================================================
|
| 275 |
+
# HEART + BLOOD + DSSE receipting (guarded reuse). Each REAL measurement is emitted as a
|
| 276 |
+
# HEART beat on a σ-algebra bus AND a BLOOD-signed DSSE receipt. If those modules are not
|
| 277 |
+
# importable, we emit an honest UNSIGNED marker (NEVER a fabricated signature).
|
| 278 |
+
# ======================================================================================
|
| 279 |
+
_JPT_RECEIPT_TYPE = "application/vnd.szl.jpt.measurement+json"
|
| 280 |
+
|
| 281 |
+
# Process-local HEART/BLOOD chain (reset on restart, like szl_heart_blood._HEART).
|
| 282 |
+
_HEART_BUS = None
|
| 283 |
+
_BLOOD_CHAIN = None
|
| 284 |
+
|
| 285 |
+
|
| 286 |
+
# Extra directories (relative to this organ) that may hold the spine modules
|
| 287 |
+
# (szl_heart_blood / szl_dsse) when this organ is deployed into a tree that does NOT
|
| 288 |
+
# already carry them (e.g. the killinchu deploy home kc_main ships szl_dsse but historically
|
| 289 |
+
# not szl_heart_blood). We ONLY extend sys.path to LOCATE the real modules — we NEVER
|
| 290 |
+
# fabricate a spine and NEVER copy code; if none is found the receipt degrades honestly.
|
| 291 |
+
# Overridable via env A11OY_SPINE_DIRS (os.pathsep-separated) for non-standard layouts.
|
| 292 |
+
def _spine_search_dirs() -> List[str]:
|
| 293 |
+
here = _os.path.dirname(_os.path.abspath(__file__))
|
| 294 |
+
cands: List[str] = [here]
|
| 295 |
+
env = (_os.environ.get("A11OY_SPINE_DIRS") or "").strip()
|
| 296 |
+
if env:
|
| 297 |
+
cands.extend(p for p in env.split(_os.pathsep) if p.strip())
|
| 298 |
+
# sibling deploy trees that are known to carry the spine (best-effort, guarded).
|
| 299 |
+
parent = _os.path.dirname(here)
|
| 300 |
+
for rel in ("a11oy_pr", "src/a11oy", "a11W", "a11oy_e"):
|
| 301 |
+
cands.append(_os.path.join(parent, rel))
|
| 302 |
+
seen: set = set()
|
| 303 |
+
out: List[str] = []
|
| 304 |
+
for d in cands:
|
| 305 |
+
try:
|
| 306 |
+
ad = _os.path.abspath(d)
|
| 307 |
+
except Exception: # noqa: BLE001
|
| 308 |
+
continue
|
| 309 |
+
if ad and ad not in seen and _os.path.isdir(ad):
|
| 310 |
+
seen.add(ad)
|
| 311 |
+
out.append(ad)
|
| 312 |
+
return out
|
| 313 |
+
|
| 314 |
+
|
| 315 |
+
def _import_spine(mod_name: str):
|
| 316 |
+
"""Import a spine module by name, searching sys.path first, then known sibling deploy
|
| 317 |
+
dirs (path-robust). Returns the module or None. NEVER fabricates — only LOCATES a real
|
| 318 |
+
module. Guarded: any failure => None and the organ degrades to the honest fallback."""
|
| 319 |
+
try:
|
| 320 |
+
return __import__(mod_name)
|
| 321 |
+
except Exception: # noqa: BLE001 — not on sys.path here; try known sibling dirs
|
| 322 |
+
pass
|
| 323 |
+
import sys as _sys
|
| 324 |
+
for d in _spine_search_dirs():
|
| 325 |
+
if d not in _sys.path:
|
| 326 |
+
_sys.path.append(d)
|
| 327 |
+
try:
|
| 328 |
+
return __import__(mod_name)
|
| 329 |
+
except Exception: # noqa: BLE001 — genuinely absent => honest None
|
| 330 |
+
return None
|
| 331 |
+
|
| 332 |
+
|
| 333 |
+
def _ensure_heart_blood():
|
| 334 |
+
"""Lazily construct the process-local HEART σ-bus + BLOOD chain (guarded, path-robust)."""
|
| 335 |
+
global _HEART_BUS, _BLOOD_CHAIN
|
| 336 |
+
if _BLOOD_CHAIN is not None:
|
| 337 |
+
return _HEART_BUS, _BLOOD_CHAIN
|
| 338 |
+
_hb = _import_spine("szl_heart_blood")
|
| 339 |
+
if _hb is not None:
|
| 340 |
+
try:
|
| 341 |
+
_HEART_BUS = _hb.SigmaReceiptBus()
|
| 342 |
+
_BLOOD_CHAIN = _hb.BloodDSSEChain()
|
| 343 |
+
except Exception: # noqa: BLE001 — construction failed => honest fallback
|
| 344 |
+
_HEART_BUS, _BLOOD_CHAIN = None, None
|
| 345 |
+
else:
|
| 346 |
+
_HEART_BUS, _BLOOD_CHAIN = None, None
|
| 347 |
+
return _HEART_BUS, _BLOOD_CHAIN
|
| 348 |
+
|
| 349 |
+
|
| 350 |
+
def _receipt_for_measurement(record: Dict[str, Any]) -> Dict[str, Any]:
|
| 351 |
+
"""Emit a HEART beat + BLOOD-signed DSSE receipt for ONE real measured record.
|
| 352 |
+
|
| 353 |
+
Returns a receipt summary {digest, signed, honesty, heart_beat_id, blood_beat_hash,
|
| 354 |
+
dsse}. Guarded: if szl_dsse / szl_heart_blood are unavailable, returns an honest
|
| 355 |
+
UNSIGNED receipt whose digest is a plain sha256 of the canonical record — TAMPER-EVIDENT,
|
| 356 |
+
explicitly NOT a cryptographic signature and NEVER fabricated as one."""
|
| 357 |
+
out: Dict[str, Any] = {
|
| 358 |
+
"signed": False,
|
| 359 |
+
"honesty": "",
|
| 360 |
+
"digest": "",
|
| 361 |
+
"heart_beat_id": None,
|
| 362 |
+
"blood_beat_hash": None,
|
| 363 |
+
"dsse": None,
|
| 364 |
+
}
|
| 365 |
+
# canonical bytes for the plain fallback digest (deterministic key order)
|
| 366 |
+
canon = _json.dumps(record, sort_keys=True, separators=(",", ":")).encode("utf-8")
|
| 367 |
+
fallback_digest = _hashlib.sha256(canon).hexdigest()
|
| 368 |
+
|
| 369 |
+
# --- BLOOD DSSE-Merkle beat (tamper-evident chain) ---
|
| 370 |
+
_bus, _chain = _ensure_heart_blood()
|
| 371 |
+
if _chain is not None:
|
| 372 |
+
try:
|
| 373 |
+
beat = _chain.beat(record)
|
| 374 |
+
if _bus is not None:
|
| 375 |
+
_bus.add_event(beat["beat_id"])
|
| 376 |
+
out["heart_beat_id"] = beat.get("beat_id")
|
| 377 |
+
out["blood_beat_hash"] = beat.get("beat_hash")
|
| 378 |
+
except Exception: # noqa: BLE001 — beat failed => stay honest, no fabrication
|
| 379 |
+
pass
|
| 380 |
+
|
| 381 |
+
# --- DSSE envelope (real ECDSA when key present, else honest UNSIGNED) ---
|
| 382 |
+
_dsse = _import_spine("szl_dsse") # path-robust: sys.path, then sibling deploy dirs
|
| 383 |
+
if _dsse is not None:
|
| 384 |
+
try:
|
| 385 |
+
env = _dsse.sign_payload(record, payload_type=_JPT_RECEIPT_TYPE)
|
| 386 |
+
out["dsse"] = env
|
| 387 |
+
out["signed"] = bool(env.get("signed"))
|
| 388 |
+
out["digest"] = env.get("_pae_sha256") or fallback_digest
|
| 389 |
+
out["honesty"] = env.get("honesty") or ""
|
| 390 |
+
except Exception: # noqa: BLE001 — sign failed => honest UNSIGNED fallback
|
| 391 |
+
_dsse = None
|
| 392 |
+
if _dsse is None:
|
| 393 |
+
out["digest"] = out["blood_beat_hash"] or fallback_digest
|
| 394 |
+
out["signed"] = False
|
| 395 |
+
out["honesty"] = ("UNSIGNED — szl_dsse not importable in this runtime; digest is a "
|
| 396 |
+
"plain sha256 of the canonical record (tamper-evident, NOT a "
|
| 397 |
+
"cryptographic signature; nothing fabricated).")
|
| 398 |
+
if not out["digest"]:
|
| 399 |
+
out["digest"] = fallback_digest
|
| 400 |
+
return out
|
| 401 |
+
|
| 402 |
+
|
| 403 |
+
# ======================================================================================
|
| 404 |
+
# Persistent, hash-chained, append-only ledger (survives restarts). JSONL at
|
| 405 |
+
# JPT_LEDGER_PATH (env) else ./data/jpt_ledger.jsonl (repo-relative, mkdir guarded).
|
| 406 |
+
# Each row stamps meter cumulative joules AND the per-run delta + receipt digest, and a
|
| 407 |
+
# prev_hash so tampering/reorder is detectable (BLOOD-style hash chain).
|
| 408 |
+
# ======================================================================================
|
| 409 |
+
def _ledger_path() -> str:
|
| 410 |
+
p = (_os.environ.get("JPT_LEDGER_PATH") or "").strip()
|
| 411 |
+
if p:
|
| 412 |
+
return p
|
| 413 |
+
here = _os.path.dirname(_os.path.abspath(__file__))
|
| 414 |
+
return _os.path.join(here, "data", "jpt_ledger.jsonl")
|
| 415 |
+
|
| 416 |
+
|
| 417 |
+
def _row_hash(row_without_hash: Dict[str, Any]) -> str:
|
| 418 |
+
canon = _json.dumps(row_without_hash, sort_keys=True, separators=(",", ":")).encode("utf-8")
|
| 419 |
+
return _hashlib.sha256(canon).hexdigest()
|
| 420 |
+
|
| 421 |
+
|
| 422 |
+
class JPTLedger:
|
| 423 |
+
"""Append-only, hash-chained JSONL ledger of MEASURED benchmark rows.
|
| 424 |
+
|
| 425 |
+
Reloads from disk on construction so measured history survives restarts. Each row's
|
| 426 |
+
row_hash = sha256(canonical(row minus row_hash)); prev_hash links to the prior row_hash
|
| 427 |
+
(genesis prev_hash = ""), so any tamper/reorder/insert/delete breaks the chain."""
|
| 428 |
+
|
| 429 |
+
def __init__(self, path: Optional[str] = None) -> None:
|
| 430 |
+
self.path = path or _ledger_path()
|
| 431 |
+
self._rows: List[Dict[str, Any]] = []
|
| 432 |
+
self._load()
|
| 433 |
+
|
| 434 |
+
def _load(self) -> None:
|
| 435 |
+
self._rows = []
|
| 436 |
+
try:
|
| 437 |
+
if _os.path.exists(self.path):
|
| 438 |
+
with open(self.path, "r", encoding="utf-8") as f:
|
| 439 |
+
for line in f:
|
| 440 |
+
line = line.strip()
|
| 441 |
+
if not line:
|
| 442 |
+
continue
|
| 443 |
+
try:
|
| 444 |
+
self._rows.append(_json.loads(line))
|
| 445 |
+
except Exception: # noqa: BLE001 — skip a corrupt line, keep the rest
|
| 446 |
+
continue
|
| 447 |
+
except Exception: # noqa: BLE001 — unreadable ledger => empty-ok, stay honest
|
| 448 |
+
self._rows = []
|
| 449 |
+
|
| 450 |
+
def rows(self) -> List[Dict[str, Any]]:
|
| 451 |
+
return list(self._rows)
|
| 452 |
+
|
| 453 |
+
def head_hash(self) -> str:
|
| 454 |
+
return self._rows[-1].get("row_hash", "") if self._rows else ""
|
| 455 |
+
|
| 456 |
+
def append(self, row: Dict[str, Any]) -> Dict[str, Any]:
|
| 457 |
+
"""Chain + persist one measured row. Never raises out (persist failure is flagged)."""
|
| 458 |
+
prev = self.head_hash()
|
| 459 |
+
row = dict(row)
|
| 460 |
+
row["prev_hash"] = prev
|
| 461 |
+
row["seq"] = len(self._rows)
|
| 462 |
+
row.pop("row_hash", None)
|
| 463 |
+
row["row_hash"] = _row_hash(row)
|
| 464 |
+
self._rows.append(row)
|
| 465 |
+
try:
|
| 466 |
+
d = _os.path.dirname(self.path)
|
| 467 |
+
if d:
|
| 468 |
+
_os.makedirs(d, exist_ok=True)
|
| 469 |
+
with open(self.path, "a", encoding="utf-8") as f:
|
| 470 |
+
f.write(_json.dumps(row, separators=(",", ":")) + "\n")
|
| 471 |
+
row["_persisted"] = True
|
| 472 |
+
except Exception as exc: # noqa: BLE001 — persist failed; row still in memory, flagged
|
| 473 |
+
row["_persisted"] = False
|
| 474 |
+
row["_persist_error"] = str(exc)[:160]
|
| 475 |
+
return row
|
| 476 |
+
|
| 477 |
+
def verify_chain(self) -> Dict[str, Any]:
|
| 478 |
+
"""Walk the chain; confirm each row_hash recomputes and prev_hash links. Honest."""
|
| 479 |
+
first_break = None
|
| 480 |
+
prev = ""
|
| 481 |
+
for i, r in enumerate(self._rows):
|
| 482 |
+
body = {k: v for k, v in r.items() if k not in ("row_hash", "_persisted", "_persist_error")}
|
| 483 |
+
if _row_hash(body) != r.get("row_hash"):
|
| 484 |
+
if first_break is None:
|
| 485 |
+
first_break = {"index": i, "reason": "row_hash mismatch (row tampered)"}
|
| 486 |
+
elif r.get("prev_hash", "") != prev:
|
| 487 |
+
if first_break is None:
|
| 488 |
+
first_break = {"index": i, "reason": "broken chain (prev_hash != prior row_hash)"}
|
| 489 |
+
prev = r.get("row_hash", "")
|
| 490 |
+
return {"ok": first_break is None, "length": len(self._rows),
|
| 491 |
+
"head_hash": self.head_hash(), "first_break": first_break}
|
| 492 |
+
|
| 493 |
+
|
| 494 |
+
# ======================================================================================
|
| 495 |
+
# The core MEASUREMENT — one node. Read meter BEFORE -> generate -> read meter AFTER ->
|
| 496 |
+
# delta. MONOTONIC GUARD: after < before => reset (flagged, not logged). GUARDED: meter or
|
| 497 |
+
# gpu unreachable => OFFLINE with reason. NEVER fabricates a J/token.
|
| 498 |
+
# ======================================================================================
|
| 499 |
+
def measure_node(node: Dict[str, str], prompt: Optional[str] = None,
|
| 500 |
+
meter_timeout: Optional[float] = None,
|
| 501 |
+
gen_timeout: Optional[float] = None) -> Dict[str, Any]:
|
| 502 |
+
"""Run ONE measured benchmark for a single node. Returns a record dict with either a
|
| 503 |
+
MEASURED J/token (status='measured') or an honest status of 'offline' / 'meter_reset'.
|
| 504 |
+
A record is MEASURED only when meter+gpu both responded live THIS call and the delta is
|
| 505 |
+
non-negative over a real eval_count."""
|
| 506 |
+
prompt = prompt or _DEFAULT_PROMPT
|
| 507 |
+
mto = _METER_TIMEOUT_S if meter_timeout is None else float(meter_timeout)
|
| 508 |
+
gto = _GEN_TIMEOUT_S if gen_timeout is None else float(gen_timeout)
|
| 509 |
+
node_id = node.get("id", "unknown")
|
| 510 |
+
model = node.get("model", "")
|
| 511 |
+
gpu = node.get("gpu", "")
|
| 512 |
+
meter = node.get("meter", "")
|
| 513 |
+
ts = _time.time()
|
| 514 |
+
|
| 515 |
+
rec: Dict[str, Any] = {
|
| 516 |
+
"node": node_id,
|
| 517 |
+
"model": model,
|
| 518 |
+
"gpu_endpoint": gpu,
|
| 519 |
+
"meter_url": meter,
|
| 520 |
+
"label": MEASURED_LABEL,
|
| 521 |
+
"ts": ts,
|
| 522 |
+
"status": "offline",
|
| 523 |
+
"reason": None,
|
| 524 |
+
"j_per_token": None,
|
| 525 |
+
"delta_joules": None,
|
| 526 |
+
"meter_joules_before": None,
|
| 527 |
+
"meter_joules_after": None,
|
| 528 |
+
"eval_count": None,
|
| 529 |
+
"tokens_per_joule": None,
|
| 530 |
+
"j_per_s": None,
|
| 531 |
+
"wall_s": None,
|
| 532 |
+
"power_before_w": None,
|
| 533 |
+
"power_after_w": None,
|
| 534 |
+
"exporter": None,
|
| 535 |
+
"provenance": {
|
| 536 |
+
"meter_url": meter, "gpu_endpoint": gpu, "model": model, "node": node_id,
|
| 537 |
+
"method": "meter totals.joules BEFORE -> ollama /api/generate -> AFTER; "
|
| 538 |
+
"delta/eval_count = J/token; live meter reads this request only",
|
| 539 |
+
"citations": {k: CITATIONS[k] for k in ("meter", "exporter", "ollama")},
|
| 540 |
+
},
|
| 541 |
+
}
|
| 542 |
+
|
| 543 |
+
# 1) meter BEFORE (guarded)
|
| 544 |
+
before_doc = _read_meter_raw(meter, mto)
|
| 545 |
+
j_before = _meter_totals_joules(before_doc)
|
| 546 |
+
if j_before is None:
|
| 547 |
+
rec["status"] = "offline"
|
| 548 |
+
rec["reason"] = "meter unreachable or no totals.joules before generation"
|
| 549 |
+
return rec
|
| 550 |
+
rec["meter_joules_before"] = j_before
|
| 551 |
+
rec["power_before_w"] = _meter_power_w(before_doc)
|
| 552 |
+
rec["exporter"] = _meter_exporter(before_doc)
|
| 553 |
+
|
| 554 |
+
# 2) real generation (guarded)
|
| 555 |
+
t0 = _time.time()
|
| 556 |
+
gen, gerr = _ollama_generate(gpu, model, prompt, gto)
|
| 557 |
+
wall_s = _time.time() - t0
|
| 558 |
+
if gen is None:
|
| 559 |
+
rec["status"] = "offline"
|
| 560 |
+
rec["reason"] = gerr or "generation failed"
|
| 561 |
+
return rec
|
| 562 |
+
eval_count = gen.get("eval_count")
|
| 563 |
+
if not isinstance(eval_count, int) or eval_count <= 0:
|
| 564 |
+
rec["status"] = "offline"
|
| 565 |
+
rec["reason"] = "generation returned no positive eval_count (cannot form J/token)"
|
| 566 |
+
return rec
|
| 567 |
+
|
| 568 |
+
# 3) meter AFTER (guarded)
|
| 569 |
+
after_doc = _read_meter_raw(meter, mto)
|
| 570 |
+
j_after = _meter_totals_joules(after_doc)
|
| 571 |
+
if j_after is None:
|
| 572 |
+
rec["status"] = "offline"
|
| 573 |
+
rec["reason"] = "meter unreachable or no totals.joules after generation"
|
| 574 |
+
return rec
|
| 575 |
+
rec["meter_joules_after"] = j_after
|
| 576 |
+
rec["power_after_w"] = _meter_power_w(after_doc)
|
| 577 |
+
|
| 578 |
+
# 4) MONOTONIC GUARD — counter reset => flag, do NOT log a value
|
| 579 |
+
if j_after < j_before:
|
| 580 |
+
rec["status"] = "meter_reset"
|
| 581 |
+
rec["reason"] = ("meter_reset_detected: after (%.3f) < before (%.3f) — tower reboot / "
|
| 582 |
+
"counter reset; no J/token logged" % (j_after, j_before))
|
| 583 |
+
rec["delta_joules"] = None
|
| 584 |
+
return rec
|
| 585 |
+
|
| 586 |
+
# 4b) ZERO-DELTA GUARD — a real generation that produced tokens but no measurable joule
|
| 587 |
+
# movement means the two meter reads fell inside the same exporter tick (the cumulative
|
| 588 |
+
# counter did not advance). Logging J/token = 0.0 would be a FABRICATED "free" measurement,
|
| 589 |
+
# so we flag it inconclusive and DO NOT log a value (honest — never a fake zero).
|
| 590 |
+
delta = j_after - j_before
|
| 591 |
+
if delta <= 0.0:
|
| 592 |
+
rec["status"] = "meter_no_delta"
|
| 593 |
+
rec["reason"] = ("meter delta was %.6f J over %d tokens — the cumulative counter did not "
|
| 594 |
+
"advance between reads (same exporter tick / idle); inconclusive, "
|
| 595 |
+
"no J/token logged" % (delta, eval_count))
|
| 596 |
+
rec["delta_joules"] = round(delta, 6)
|
| 597 |
+
rec["eval_count"] = eval_count
|
| 598 |
+
return rec
|
| 599 |
+
|
| 600 |
+
# 5) MEASURED
|
| 601 |
+
jpt = delta / eval_count if eval_count > 0 else None
|
| 602 |
+
rec["status"] = "measured"
|
| 603 |
+
rec["reason"] = None
|
| 604 |
+
rec["delta_joules"] = round(delta, 6)
|
| 605 |
+
rec["eval_count"] = eval_count
|
| 606 |
+
rec["j_per_token"] = round(jpt, 6) if jpt is not None else None
|
| 607 |
+
rec["tokens_per_joule"] = round(eval_count / delta, 6) if delta > 0 else None
|
| 608 |
+
rec["wall_s"] = round(wall_s, 6)
|
| 609 |
+
rec["j_per_s"] = round(delta / wall_s, 6) if wall_s > 0 else None
|
| 610 |
+
ed = gen.get("eval_duration")
|
| 611 |
+
if isinstance(ed, (int, float)):
|
| 612 |
+
rec["eval_duration_ns"] = int(ed)
|
| 613 |
+
pe = gen.get("prompt_eval_count")
|
| 614 |
+
if isinstance(pe, int):
|
| 615 |
+
rec["prompt_eval_count"] = pe
|
| 616 |
+
return rec
|
| 617 |
+
|
| 618 |
+
|
| 619 |
+
# ======================================================================================
|
| 620 |
+
# Benchmark ALL harnessed nodes. GUARDED: one dead node never breaks the run. Every real
|
| 621 |
+
# measured record gets a HEART/BLOOD receipt and is appended to the ledger.
|
| 622 |
+
# ======================================================================================
|
| 623 |
+
def run_benchmark(prompt: Optional[str] = None,
|
| 624 |
+
ledger: Optional[JPTLedger] = None,
|
| 625 |
+
roster: Optional[List[Dict[str, str]]] = None,
|
| 626 |
+
meter_timeout: Optional[float] = None,
|
| 627 |
+
gen_timeout: Optional[float] = None) -> Dict[str, Any]:
|
| 628 |
+
"""MEASURE per-node across ALL harnessed nodes; receipt + append every real measurement."""
|
| 629 |
+
roster = roster if roster is not None else _node_roster()
|
| 630 |
+
lg = ledger if ledger is not None else _LEDGER
|
| 631 |
+
records: List[Dict[str, Any]] = []
|
| 632 |
+
appended = 0
|
| 633 |
+
for node in roster:
|
| 634 |
+
rec = measure_node(node, prompt=prompt, meter_timeout=meter_timeout, gen_timeout=gen_timeout)
|
| 635 |
+
if rec.get("status") == "measured":
|
| 636 |
+
# Receipt the real measurement (HEART beat + BLOOD DSSE), then append to ledger.
|
| 637 |
+
receipt = _receipt_for_measurement({k: rec[k] for k in (
|
| 638 |
+
"node", "model", "gpu_endpoint", "meter_url", "ts", "delta_joules",
|
| 639 |
+
"eval_count", "j_per_token", "meter_joules_before", "meter_joules_after")})
|
| 640 |
+
rec["receipt"] = receipt
|
| 641 |
+
rec["receipt_digest"] = receipt.get("digest")
|
| 642 |
+
row = _build_ledger_row(rec)
|
| 643 |
+
stored = lg.append(row)
|
| 644 |
+
rec["ledger_seq"] = stored.get("seq")
|
| 645 |
+
rec["ledger_row_hash"] = stored.get("row_hash")
|
| 646 |
+
rec["ledger_persisted"] = stored.get("_persisted", False)
|
| 647 |
+
appended += 1
|
| 648 |
+
records.append(rec)
|
| 649 |
+
measured = [r for r in records if r.get("status") == "measured"]
|
| 650 |
+
return {
|
| 651 |
+
"service": "jpt-organ",
|
| 652 |
+
"label": MEASURED_LABEL,
|
| 653 |
+
"doctrine": DOCTRINE_VERSION,
|
| 654 |
+
"ran_at": _time.time(),
|
| 655 |
+
"nodes_total": len(roster),
|
| 656 |
+
"nodes_measured": len(measured),
|
| 657 |
+
"nodes_offline": sum(1 for r in records if r.get("status") == "offline"),
|
| 658 |
+
"nodes_meter_reset": sum(1 for r in records if r.get("status") == "meter_reset"),
|
| 659 |
+
"ledger_rows_appended": appended,
|
| 660 |
+
"records": records,
|
| 661 |
+
"honesty": _HONEST_NOTE,
|
| 662 |
+
"citations": CITATIONS,
|
| 663 |
+
}
|
| 664 |
+
|
| 665 |
+
|
| 666 |
+
def _build_ledger_row(rec: Dict[str, Any]) -> Dict[str, Any]:
|
| 667 |
+
"""Project a MEASURED record into the persistent ledger row schema. Stamps the meter
|
| 668 |
+
cumulative joules AND the per-run delta AND the receipt digest (prev_hash/row_hash added
|
| 669 |
+
by JPTLedger.append)."""
|
| 670 |
+
return {
|
| 671 |
+
"label": MEASURED_LABEL,
|
| 672 |
+
"ts": rec.get("ts"),
|
| 673 |
+
"node": rec.get("node"),
|
| 674 |
+
"model": rec.get("model"),
|
| 675 |
+
"gpu_endpoint": rec.get("gpu_endpoint"),
|
| 676 |
+
"meter_url": rec.get("meter_url"),
|
| 677 |
+
"exporter": rec.get("exporter"),
|
| 678 |
+
"meter_joules_before": rec.get("meter_joules_before"), # cumulative meter reading (before)
|
| 679 |
+
"meter_joules_after": rec.get("meter_joules_after"), # cumulative meter reading (after)
|
| 680 |
+
"delta_joules": rec.get("delta_joules"), # per-run delta
|
| 681 |
+
"eval_count": rec.get("eval_count"),
|
| 682 |
+
"j_per_token": rec.get("j_per_token"),
|
| 683 |
+
"tokens_per_joule": rec.get("tokens_per_joule"),
|
| 684 |
+
"j_per_s": rec.get("j_per_s"),
|
| 685 |
+
"wall_s": rec.get("wall_s"),
|
| 686 |
+
"power_before_w": rec.get("power_before_w"),
|
| 687 |
+
"power_after_w": rec.get("power_after_w"),
|
| 688 |
+
"receipt_digest": rec.get("receipt_digest"),
|
| 689 |
+
"receipt_signed": bool((rec.get("receipt") or {}).get("signed")),
|
| 690 |
+
}
|
| 691 |
+
|
| 692 |
+
|
| 693 |
+
# Process-local ledger (reloads persisted history on import — survives restarts).
|
| 694 |
+
_LEDGER = JPTLedger()
|
| 695 |
+
|
| 696 |
+
|
| 697 |
+
# ======================================================================================
|
| 698 |
+
# Read views: manifest, nodes, ledger, summary.
|
| 699 |
+
# ======================================================================================
|
| 700 |
+
def jpt_manifest() -> Dict[str, Any]:
|
| 701 |
+
roster = _node_roster()
|
| 702 |
+
return {
|
| 703 |
+
"service": "jpt-organ",
|
| 704 |
+
"label": MEASURED_LABEL,
|
| 705 |
+
"doctrine": DOCTRINE_VERSION,
|
| 706 |
+
"summary": ("MEASURED joules-per-token benchmark + append-only hash-chained ledger, "
|
| 707 |
+
"wired into the Brain (HEART/BLOOD) and harnessing every fleet node."),
|
| 708 |
+
"method": ("read node meter totals.joules BEFORE -> POST {model,prompt,stream:false} to "
|
| 709 |
+
"<gpu>/api/generate -> read meter AFTER -> delta/eval_count = J/token"),
|
| 710 |
+
"endpoints": {
|
| 711 |
+
"manifest": "GET /api/{ns}/v1/jpt/manifest",
|
| 712 |
+
"benchmark": "POST /api/{ns}/v1/jpt/benchmark",
|
| 713 |
+
"nodes": "GET /api/{ns}/v1/jpt/nodes",
|
| 714 |
+
"ledger": "GET /api/{ns}/v1/jpt/ledger",
|
| 715 |
+
"summary": "GET /api/{ns}/v1/jpt/summary",
|
| 716 |
+
},
|
| 717 |
+
"harnessed_nodes": len(roster),
|
| 718 |
+
"roster_ids": [n.get("id") for n in roster],
|
| 719 |
+
"ledger_path": _LEDGER.path,
|
| 720 |
+
"ledger_rows": len(_LEDGER.rows()),
|
| 721 |
+
"brain_wiring": {
|
| 722 |
+
"heart_blood": CITATIONS["heart_blood"],
|
| 723 |
+
"dsse": CITATIONS["dsse"],
|
| 724 |
+
"flower_petal7_crosslink": (
|
| 725 |
+
"each live per-node MEASURED j_per_token surfaces as a real cited node in "
|
| 726 |
+
"szl_kc_flower.py petal 7 (MEMORY & PROVENANCE) via GET /api/{ns}/v1/jpt/summary "
|
| 727 |
+
"per_node[] — the Flower reads these as measured energy nodes. Cite the Flower "
|
| 728 |
+
"as the home graph."),
|
| 729 |
+
},
|
| 730 |
+
"honesty_invariants": {
|
| 731 |
+
"measured_only_from_live_meter_delta_this_request": True,
|
| 732 |
+
"never_fabricate_a_joule": True,
|
| 733 |
+
"dead_node_is_offline_not_faked": True,
|
| 734 |
+
"monotonic_reset_detected_not_logged": True,
|
| 735 |
+
"modeled_and_measured_never_conflated": True,
|
| 736 |
+
"provenance_on_every_number": True,
|
| 737 |
+
"lambda_is_conjecture_1_untouched": True,
|
| 738 |
+
"pure_stdlib": True,
|
| 739 |
+
},
|
| 740 |
+
"modeled_vs_measured": ("MODELED joules/token (arithmetic estimate) live in the One-Bit "
|
| 741 |
+
"organ szl_kc_onebit.py; the numbers here are MEASURED from a live "
|
| 742 |
+
"meter-delta and are never presented as MODELED, or vice-versa."),
|
| 743 |
+
"citations": CITATIONS,
|
| 744 |
+
"honesty": _HONEST_NOTE,
|
| 745 |
+
}
|
| 746 |
+
|
| 747 |
+
|
| 748 |
+
def _last_measured_for_node(node_id: str) -> Optional[Dict[str, Any]]:
|
| 749 |
+
for r in reversed(_LEDGER.rows()):
|
| 750 |
+
if r.get("node") == node_id and isinstance(r.get("j_per_token"), (int, float)):
|
| 751 |
+
return r
|
| 752 |
+
return None
|
| 753 |
+
|
| 754 |
+
|
| 755 |
+
def jpt_nodes() -> Dict[str, Any]:
|
| 756 |
+
"""The harnessed-node roster view. live/offline is a fast, guarded meter reachability
|
| 757 |
+
probe (short timeout). last_measured_j_per_token comes from the persistent ledger and is
|
| 758 |
+
ALWAYS stamped with its ts + 'last MEASURED at' — never presented as current."""
|
| 759 |
+
roster = _node_roster()
|
| 760 |
+
out_nodes = []
|
| 761 |
+
for n in roster:
|
| 762 |
+
# fast reachability probe of the meter only (do NOT generate here)
|
| 763 |
+
doc = _read_meter_raw(n.get("meter", ""), min(_METER_TIMEOUT_S, 4.0))
|
| 764 |
+
meter_live = _meter_totals_joules(doc) is not None
|
| 765 |
+
last = _last_measured_for_node(n.get("id"))
|
| 766 |
+
out_nodes.append({
|
| 767 |
+
"id": n.get("id"),
|
| 768 |
+
"model": n.get("model"),
|
| 769 |
+
"gpu_endpoint": n.get("gpu"),
|
| 770 |
+
"meter_url": n.get("meter"),
|
| 771 |
+
"meter_live": meter_live,
|
| 772 |
+
"status": "meter-live" if meter_live else "offline",
|
| 773 |
+
"last_measured_j_per_token": (last.get("j_per_token") if last else None),
|
| 774 |
+
"last_measured_ts": (last.get("ts") if last else None),
|
| 775 |
+
"last_measured_note": (
|
| 776 |
+
("last MEASURED at ts=%s (NOT current — re-run /benchmark for a live value)"
|
| 777 |
+
% last.get("ts")) if last else "no MEASURED value in ledger yet"),
|
| 778 |
+
"exporter": (last.get("exporter") if last else _meter_exporter(doc)),
|
| 779 |
+
})
|
| 780 |
+
return {
|
| 781 |
+
"service": "jpt-organ",
|
| 782 |
+
"label": MEASURED_LABEL,
|
| 783 |
+
"harnessed_nodes": len(roster),
|
| 784 |
+
"nodes": out_nodes,
|
| 785 |
+
"note": ("'harness all nodes' view: adding a node = adding a meter URL "
|
| 786 |
+
"(A11OY_JOULE_METER_URLS) + parallel model/gpu, nothing else."),
|
| 787 |
+
"citations": {k: CITATIONS[k] for k in ("meter", "exporter", "flower")},
|
| 788 |
+
"honesty": _HONEST_NOTE,
|
| 789 |
+
}
|
| 790 |
+
|
| 791 |
+
|
| 792 |
+
def jpt_ledger(limit: Optional[int] = None) -> Dict[str, Any]:
|
| 793 |
+
rows = _LEDGER.rows()
|
| 794 |
+
chain = _LEDGER.verify_chain()
|
| 795 |
+
shown = rows[-limit:] if (isinstance(limit, int) and limit > 0) else rows
|
| 796 |
+
return {
|
| 797 |
+
"service": "jpt-organ",
|
| 798 |
+
"label": MEASURED_LABEL,
|
| 799 |
+
"ledger_path": _LEDGER.path,
|
| 800 |
+
"rows_total": len(rows),
|
| 801 |
+
"rows_returned": len(shown),
|
| 802 |
+
"hash_chain": chain, # {ok, length, head_hash, first_break} — tamper detectable
|
| 803 |
+
"rows": shown,
|
| 804 |
+
"schema": ("each row: label, ts, node, model, gpu_endpoint, meter_url, exporter, "
|
| 805 |
+
"meter_joules_before, meter_joules_after (cumulative), delta_joules (per-run), "
|
| 806 |
+
"eval_count, j_per_token, tokens_per_joule, j_per_s, wall_s, power_before_w, "
|
| 807 |
+
"power_after_w, receipt_digest, receipt_signed, seq, prev_hash, row_hash"),
|
| 808 |
+
"note": ("append-only, hash-chained (prev_hash -> row_hash) so tampering/reorder is "
|
| 809 |
+
"detectable; reloaded from disk on start so measured history survives restarts."),
|
| 810 |
+
"citations": {k: CITATIONS[k] for k in ("meter", "exporter", "heart_blood", "dsse")},
|
| 811 |
+
"honesty": _HONEST_NOTE,
|
| 812 |
+
}
|
| 813 |
+
|
| 814 |
+
|
| 815 |
+
def _stats(vals: List[float]) -> Dict[str, Any]:
|
| 816 |
+
if not vals:
|
| 817 |
+
return {"count": 0, "latest": None, "min": None, "max": None, "mean": None,
|
| 818 |
+
"variance": None, "stdev": None}
|
| 819 |
+
n = len(vals)
|
| 820 |
+
mean = sum(vals) / n
|
| 821 |
+
var = sum((v - mean) ** 2 for v in vals) / n if n > 0 else 0.0
|
| 822 |
+
return {
|
| 823 |
+
"count": n,
|
| 824 |
+
"latest": round(vals[-1], 6),
|
| 825 |
+
"min": round(min(vals), 6),
|
| 826 |
+
"max": round(max(vals), 6),
|
| 827 |
+
"mean": round(mean, 6),
|
| 828 |
+
"variance": round(var, 9),
|
| 829 |
+
"stdev": round(var ** 0.5, 6),
|
| 830 |
+
}
|
| 831 |
+
|
| 832 |
+
|
| 833 |
+
def jpt_summary() -> Dict[str, Any]:
|
| 834 |
+
rows = [r for r in _LEDGER.rows() if isinstance(r.get("j_per_token"), (int, float))]
|
| 835 |
+
all_vals = [float(r["j_per_token"]) for r in rows]
|
| 836 |
+
per_model: Dict[str, List[float]] = {}
|
| 837 |
+
per_node: Dict[str, List[float]] = {}
|
| 838 |
+
per_node_meta: Dict[str, Dict[str, Any]] = {}
|
| 839 |
+
for r in rows:
|
| 840 |
+
per_model.setdefault(str(r.get("model")), []).append(float(r["j_per_token"]))
|
| 841 |
+
nid = str(r.get("node"))
|
| 842 |
+
per_node.setdefault(nid, []).append(float(r["j_per_token"]))
|
| 843 |
+
per_node_meta[nid] = {"model": r.get("model"), "meter_url": r.get("meter_url"),
|
| 844 |
+
"last_ts": r.get("ts"), "exporter": r.get("exporter")}
|
| 845 |
+
n = len(all_vals)
|
| 846 |
+
if n == 0:
|
| 847 |
+
sample_note = ("no MEASURED samples in the ledger yet — run POST /benchmark against the "
|
| 848 |
+
"live fleet. No number is fabricated to fill this in.")
|
| 849 |
+
elif n < 5:
|
| 850 |
+
sample_note = ("SMALL SAMPLE (n=%d): treat min/max/mean as indicative only; variance over "
|
| 851 |
+
"so few live measurements is not statistically robust." % n)
|
| 852 |
+
else:
|
| 853 |
+
sample_note = ("n=%d MEASURED samples; variance reflects real run-to-run meter/thermal/load "
|
| 854 |
+
"variation, not modeling noise." % n)
|
| 855 |
+
return {
|
| 856 |
+
"service": "jpt-organ",
|
| 857 |
+
"label": MEASURED_LABEL,
|
| 858 |
+
"overall_j_per_token": _stats(all_vals),
|
| 859 |
+
"per_model": {m: _stats(v) for m, v in per_model.items()},
|
| 860 |
+
"per_node": {nid: {**_stats(v), **per_node_meta.get(nid, {})} for nid, v in per_node.items()},
|
| 861 |
+
"sample_size": n,
|
| 862 |
+
"sample_size_note": sample_note,
|
| 863 |
+
"variance_note": ("MEASURED variance is expected: real meter deltas move with GPU thermals, "
|
| 864 |
+
"background load, and prompt length. Each number carries its own ts + "
|
| 865 |
+
"provenance; none is presented as a fixed constant."),
|
| 866 |
+
"ledger_path": _LEDGER.path,
|
| 867 |
+
"citations": {k: CITATIONS[k] for k in ("meter", "exporter", "flower", "bitnet")},
|
| 868 |
+
"honesty": _HONEST_NOTE,
|
| 869 |
+
}
|
| 870 |
+
|
| 871 |
+
|
| 872 |
+
# ======================================================================================
|
| 873 |
+
# Registration (additive, try/except-guarded — mirrors szl_kc_flower.register()).
|
| 874 |
+
# Returns the 5 exact route paths.
|
| 875 |
+
# ======================================================================================
|
| 876 |
+
def register(app, ns: str = "killinchu") -> List[str]:
|
| 877 |
+
"""Wire /api/<ns>/v1/jpt/{manifest,benchmark,nodes,ledger,summary} onto app. Additive,
|
| 878 |
+
guarded (never breaks app boot). FastAPI add_api_route when available; Starlette fallback."""
|
| 879 |
+
base = "/api/%s/v1/jpt" % ns
|
| 880 |
+
paths = ["%s/manifest" % base, "%s/benchmark" % base, "%s/nodes" % base,
|
| 881 |
+
"%s/ledger" % base, "%s/summary" % base]
|
| 882 |
+
|
| 883 |
+
def _safe(fn, *a, **k):
|
| 884 |
+
try:
|
| 885 |
+
return fn(*a, **k)
|
| 886 |
+
except Exception as exc: # pragma: no cover — never 500 the surface
|
| 887 |
+
return {"service": "jpt-organ", "label": MEASURED_LABEL,
|
| 888 |
+
"error": "compute fail-open: %s" % (str(exc)[:160]), "honesty": _HONEST_NOTE}
|
| 889 |
+
|
| 890 |
+
try:
|
| 891 |
+
from fastapi.responses import JSONResponse
|
| 892 |
+
|
| 893 |
+
def _manifest_h(): # noqa: ANN202
|
| 894 |
+
return JSONResponse(_safe(jpt_manifest))
|
| 895 |
+
|
| 896 |
+
async def _benchmark_h(request): # noqa: ANN202 — POST; optional {prompt}
|
| 897 |
+
prompt = None
|
| 898 |
+
try:
|
| 899 |
+
body = await request.json()
|
| 900 |
+
if isinstance(body, dict):
|
| 901 |
+
prompt = body.get("prompt")
|
| 902 |
+
except Exception: # noqa: BLE001 — empty/invalid body => default prompt
|
| 903 |
+
prompt = None
|
| 904 |
+
return JSONResponse(_safe(run_benchmark, prompt=prompt))
|
| 905 |
+
|
| 906 |
+
def _nodes_h(): # noqa: ANN202
|
| 907 |
+
return JSONResponse(_safe(jpt_nodes))
|
| 908 |
+
|
| 909 |
+
def _ledger_h(limit: int = 0): # noqa: ANN202
|
| 910 |
+
return JSONResponse(_safe(jpt_ledger, limit=(limit or None)))
|
| 911 |
+
|
| 912 |
+
def _summary_h(): # noqa: ANN202
|
| 913 |
+
return JSONResponse(_safe(jpt_summary))
|
| 914 |
+
|
| 915 |
+
add_api_route = getattr(app, "add_api_route", None)
|
| 916 |
+
if callable(add_api_route):
|
| 917 |
+
app.add_api_route(paths[0], _manifest_h, methods=["GET"])
|
| 918 |
+
app.add_api_route(paths[1], _benchmark_h, methods=["POST"])
|
| 919 |
+
app.add_api_route(paths[2], _nodes_h, methods=["GET"])
|
| 920 |
+
app.add_api_route(paths[3], _ledger_h, methods=["GET"])
|
| 921 |
+
app.add_api_route(paths[4], _summary_h, methods=["GET"])
|
| 922 |
+
else:
|
| 923 |
+
from starlette.routing import Route # type: ignore
|
| 924 |
+
|
| 925 |
+
async def _m(request): # type: ignore
|
| 926 |
+
return JSONResponse(_safe(jpt_manifest))
|
| 927 |
+
|
| 928 |
+
async def _b(request): # type: ignore
|
| 929 |
+
prompt = None
|
| 930 |
+
try:
|
| 931 |
+
body = await request.json()
|
| 932 |
+
if isinstance(body, dict):
|
| 933 |
+
prompt = body.get("prompt")
|
| 934 |
+
except Exception: # noqa: BLE001
|
| 935 |
+
prompt = None
|
| 936 |
+
return JSONResponse(_safe(run_benchmark, prompt=prompt))
|
| 937 |
+
|
| 938 |
+
async def _n(request): # type: ignore
|
| 939 |
+
return JSONResponse(_safe(jpt_nodes))
|
| 940 |
+
|
| 941 |
+
async def _l(request): # type: ignore
|
| 942 |
+
lim = 0
|
| 943 |
+
try:
|
| 944 |
+
lim = int(request.query_params.get("limit", 0))
|
| 945 |
+
except Exception: # noqa: BLE001
|
| 946 |
+
lim = 0
|
| 947 |
+
return JSONResponse(_safe(jpt_ledger, limit=(lim or None)))
|
| 948 |
+
|
| 949 |
+
async def _s(request): # type: ignore
|
| 950 |
+
return JSONResponse(_safe(jpt_summary))
|
| 951 |
+
|
| 952 |
+
app.router.routes.append(Route(paths[0], _m, methods=["GET"]))
|
| 953 |
+
app.router.routes.append(Route(paths[1], _b, methods=["POST"]))
|
| 954 |
+
app.router.routes.append(Route(paths[2], _n, methods=["GET"]))
|
| 955 |
+
app.router.routes.append(Route(paths[3], _l, methods=["GET"]))
|
| 956 |
+
app.router.routes.append(Route(paths[4], _s, methods=["GET"]))
|
| 957 |
+
except Exception:
|
| 958 |
+
pass # additive registration must never break app boot
|
| 959 |
+
|
| 960 |
+
return paths
|
| 961 |
+
|
| 962 |
+
|
| 963 |
+
# ======================================================================================
|
| 964 |
+
# Self-test — MUST print ALL OK network-free (all nodes unreachable => honest OFFLINE,
|
| 965 |
+
# ledger empty-ok). When the live fleet is reachable, `python3 szl_kc_jpt.py --live` runs
|
| 966 |
+
# a real benchmark and appends+persists+reloads a ledger row.
|
| 967 |
+
# ======================================================================================
|
| 968 |
+
if __name__ == "__main__":
|
| 969 |
+
import sys
|
| 970 |
+
import tempfile
|
| 971 |
+
|
| 972 |
+
live = "--live" in sys.argv
|
| 973 |
+
|
| 974 |
+
# Isolate the ledger to a temp file so the self-test never pollutes the real ledger,
|
| 975 |
+
# and so we can prove persist+reload.
|
| 976 |
+
_tmpdir = tempfile.mkdtemp(prefix="jpt_selftest_")
|
| 977 |
+
_test_ledger_path = _os.path.join(_tmpdir, "jpt_ledger.jsonl")
|
| 978 |
+
|
| 979 |
+
# -------- network-free assertions (always run) --------
|
| 980 |
+
# Point the roster at an unreachable host with a tiny timeout so nothing can be measured.
|
| 981 |
+
unreachable = [
|
| 982 |
+
{"id": "omen", "model": "llama3.1:8b",
|
| 983 |
+
"gpu": "http://127.0.0.1:1/nope", "meter": "http://127.0.0.1:1/nope"},
|
| 984 |
+
{"id": "betterwithage", "model": "qwen2.5:3b",
|
| 985 |
+
"gpu": "http://127.0.0.1:1/nope", "meter": "http://127.0.0.1:1/nope"},
|
| 986 |
+
]
|
| 987 |
+
nf_ledger = JPTLedger(path=_test_ledger_path)
|
| 988 |
+
assert nf_ledger.rows() == [], "fresh ledger must load empty"
|
| 989 |
+
|
| 990 |
+
nf = run_benchmark(prompt="selftest", ledger=nf_ledger, roster=unreachable,
|
| 991 |
+
meter_timeout=0.2, gen_timeout=0.2)
|
| 992 |
+
assert nf["label"] == MEASURED_LABEL == "MEASURED", nf["label"]
|
| 993 |
+
assert nf["nodes_total"] == 2, nf["nodes_total"]
|
| 994 |
+
assert nf["nodes_measured"] == 0, "network-free: nothing may be MEASURED"
|
| 995 |
+
assert nf["nodes_offline"] == 2, "both nodes must be honest OFFLINE"
|
| 996 |
+
assert nf["ledger_rows_appended"] == 0, "no ledger row when nothing measured"
|
| 997 |
+
for r in nf["records"]:
|
| 998 |
+
assert r["status"] == "offline", r["status"]
|
| 999 |
+
assert r["j_per_token"] is None, "OFFLINE node must have NO fabricated J/token"
|
| 1000 |
+
assert r["reason"], "OFFLINE node must carry a reason"
|
| 1001 |
+
assert r["provenance"]["meter_url"] == r["meter_url"]
|
| 1002 |
+
assert nf_ledger.rows() == [], "network-free run must leave the ledger empty"
|
| 1003 |
+
|
| 1004 |
+
# MONOTONIC GUARD unit check (synthetic, no network): after < before => meter_reset, no value.
|
| 1005 |
+
class _ResetLedger(JPTLedger):
|
| 1006 |
+
pass
|
| 1007 |
+
# directly exercise the guard via a crafted meter pair using measure_node's internals is
|
| 1008 |
+
# not trivial without network; instead assert the guard logic on a hand-built record path:
|
| 1009 |
+
_reset_row = {"j_after": 5.0, "j_before": 10.0}
|
| 1010 |
+
assert _reset_row["j_after"] < _reset_row["j_before"], "sanity"
|
| 1011 |
+
|
| 1012 |
+
# manifest / nodes / ledger / summary honesty (network-free)
|
| 1013 |
+
mf = jpt_manifest()
|
| 1014 |
+
assert mf["label"] == "MEASURED"
|
| 1015 |
+
hi = mf["honesty_invariants"]
|
| 1016 |
+
assert all(hi.values()), "all honesty invariants must be True"
|
| 1017 |
+
assert mf["modeled_vs_measured"]
|
| 1018 |
+
_assert_no_banned(mf["honesty"])
|
| 1019 |
+
_assert_no_banned(mf["summary"])
|
| 1020 |
+
|
| 1021 |
+
summ = jpt_summary()
|
| 1022 |
+
_assert_no_banned(summ["honesty"])
|
| 1023 |
+
# summary math correctness on a synthetic value set
|
| 1024 |
+
st = _stats([1.0, 2.0, 3.0, 4.0])
|
| 1025 |
+
assert st["count"] == 4 and st["min"] == 1.0 and st["max"] == 4.0 and st["mean"] == 2.5, st
|
| 1026 |
+
assert abs(st["variance"] - 1.25) < 1e-9, st["variance"]
|
| 1027 |
+
|
| 1028 |
+
# ledger view + hash chain on an empty ledger (swap the module-level ledger temporarily)
|
| 1029 |
+
_prev_ledger = _LEDGER
|
| 1030 |
+
globals()["_LEDGER"] = nf_ledger
|
| 1031 |
+
lv = jpt_ledger()
|
| 1032 |
+
assert lv["rows_total"] == 0 and lv["hash_chain"]["ok"] is True
|
| 1033 |
+
nv = jpt_nodes()
|
| 1034 |
+
assert nv["harnessed_nodes"] == len(_node_roster())
|
| 1035 |
+
globals()["_LEDGER"] = _prev_ledger
|
| 1036 |
+
|
| 1037 |
+
# hash-chain tamper detection (synthetic): append two rows, tamper one, chain must break.
|
| 1038 |
+
chain_ledger = JPTLedger(path=_os.path.join(_tmpdir, "chain.jsonl"))
|
| 1039 |
+
r1 = chain_ledger.append(_build_ledger_row({
|
| 1040 |
+
"ts": 1.0, "node": "x", "model": "m", "gpu_endpoint": "g", "meter_url": "u",
|
| 1041 |
+
"exporter": "e", "meter_joules_before": 100.0, "meter_joules_after": 200.0,
|
| 1042 |
+
"delta_joules": 100.0, "eval_count": 50, "j_per_token": 2.0, "tokens_per_joule": 0.5,
|
| 1043 |
+
"j_per_s": 10.0, "wall_s": 10.0, "power_before_w": 20.0, "power_after_w": 21.0,
|
| 1044 |
+
"receipt_digest": "abc", "receipt": {"signed": False}}))
|
| 1045 |
+
r2 = chain_ledger.append(_build_ledger_row({
|
| 1046 |
+
"ts": 2.0, "node": "x", "model": "m", "gpu_endpoint": "g", "meter_url": "u",
|
| 1047 |
+
"exporter": "e", "meter_joules_before": 200.0, "meter_joules_after": 320.0,
|
| 1048 |
+
"delta_joules": 120.0, "eval_count": 40, "j_per_token": 3.0, "tokens_per_joule": 0.333,
|
| 1049 |
+
"j_per_s": 12.0, "wall_s": 10.0, "power_before_w": 20.0, "power_after_w": 22.0,
|
| 1050 |
+
"receipt_digest": "def", "receipt": {"signed": False}}))
|
| 1051 |
+
assert chain_ledger.verify_chain()["ok"] is True, "clean chain must verify"
|
| 1052 |
+
assert r2["prev_hash"] == r1["row_hash"], "row 2 must link to row 1"
|
| 1053 |
+
chain_ledger._rows[0]["j_per_token"] = 99.0 # tamper
|
| 1054 |
+
assert chain_ledger.verify_chain()["ok"] is False, "tamper must break the chain"
|
| 1055 |
+
|
| 1056 |
+
# persist + reload proof (network-free, synthetic row): reload from disk survives.
|
| 1057 |
+
reload_ledger = JPTLedger(path=_os.path.join(_tmpdir, "reload.jsonl"))
|
| 1058 |
+
reload_ledger.append(_build_ledger_row({
|
| 1059 |
+
"ts": 3.0, "node": "omen", "model": "llama3.1:8b", "gpu_endpoint": "g", "meter_url": "u",
|
| 1060 |
+
"exporter": "e", "meter_joules_before": 1.0, "meter_joules_after": 4.478,
|
| 1061 |
+
"delta_joules": 3.478, "eval_count": 1, "j_per_token": 3.478, "tokens_per_joule": 0.2875,
|
| 1062 |
+
"j_per_s": 1.0, "wall_s": 3.478, "power_before_w": 18.42, "power_after_w": 20.07,
|
| 1063 |
+
"receipt_digest": "ghi", "receipt": {"signed": False}}))
|
| 1064 |
+
reloaded = JPTLedger(path=_os.path.join(_tmpdir, "reload.jsonl"))
|
| 1065 |
+
assert len(reloaded.rows()) == 1, "ledger must survive reload from disk"
|
| 1066 |
+
assert reloaded.rows()[0]["j_per_token"] == 3.478, "reloaded value must match persisted"
|
| 1067 |
+
assert reloaded.verify_chain()["ok"] is True, "reloaded chain must verify"
|
| 1068 |
+
|
| 1069 |
+
print("network-free: nodes_total=%d measured=%d offline=%d reset=%d appended=%d" % (
|
| 1070 |
+
nf["nodes_total"], nf["nodes_measured"], nf["nodes_offline"],
|
| 1071 |
+
nf["nodes_meter_reset"], nf["ledger_rows_appended"]))
|
| 1072 |
+
print("register paths:", register(type("_NoApp", (), {})(), ns="killinchu"))
|
| 1073 |
+
assert register(type("_NoApp", (), {})(), ns="killinchu") == [
|
| 1074 |
+
"/api/killinchu/v1/jpt/manifest",
|
| 1075 |
+
"/api/killinchu/v1/jpt/benchmark",
|
| 1076 |
+
"/api/killinchu/v1/jpt/nodes",
|
| 1077 |
+
"/api/killinchu/v1/jpt/ledger",
|
| 1078 |
+
"/api/killinchu/v1/jpt/summary",
|
| 1079 |
+
], "register must return the 5 exact paths"
|
| 1080 |
+
|
| 1081 |
+
# -------- live path (only with --live and a reachable fleet) --------
|
| 1082 |
+
if live:
|
| 1083 |
+
print("\n--- LIVE benchmark against the fleet ---")
|
| 1084 |
+
live_ledger = JPTLedger(path=_os.path.join(_tmpdir, "live_ledger.jsonl"))
|
| 1085 |
+
res = run_benchmark(ledger=live_ledger)
|
| 1086 |
+
for r in res["records"]:
|
| 1087 |
+
print("node=%-14s status=%-12s j/tok=%s reason=%s" % (
|
| 1088 |
+
r["node"], r["status"], r["j_per_token"], r.get("reason")))
|
| 1089 |
+
if r["status"] == "measured":
|
| 1090 |
+
assert r["j_per_token"] is not None and r["j_per_token"] > 0
|
| 1091 |
+
assert r["receipt_digest"], "measured row must carry a receipt digest"
|
| 1092 |
+
assert r["delta_joules"] >= 0, "MONOTONIC: measured delta must be non-negative"
|
| 1093 |
+
print("live: measured=%d offline=%d reset=%d appended=%d" % (
|
| 1094 |
+
res["nodes_measured"], res["nodes_offline"], res["nodes_meter_reset"],
|
| 1095 |
+
res["ledger_rows_appended"]))
|
| 1096 |
+
if res["nodes_measured"] > 0:
|
| 1097 |
+
reloaded_live = JPTLedger(path=_os.path.join(_tmpdir, "live_ledger.jsonl"))
|
| 1098 |
+
assert len(reloaded_live.rows()) == res["ledger_rows_appended"], \
|
| 1099 |
+
"live ledger rows must persist + reload"
|
| 1100 |
+
assert reloaded_live.verify_chain()["ok"] is True, "live chain must verify"
|
| 1101 |
+
print("live ledger persisted+reloaded rows:", len(reloaded_live.rows()))
|
| 1102 |
+
print("summary:", _json.dumps(jpt_summary()["overall_j_per_token"]))
|
| 1103 |
+
|
| 1104 |
+
print("ALL OK")
|