mindX public front door: first-person landing, live vital signs, Gödel audit, full lineage, Hub doors

README.md

@@ -1,11 +1,58 @@
 ---
-title: MindX
-emoji: 🌖
-colorFrom: blue
-colorTo: indigo
+title: mindX
+emoji: 🧠
+colorFrom: yellow
+colorTo: green
 sdk: static
-pinned: false
-short_description: mindXtrain model output for mindX ascension
+pinned: true
+license: apache-2.0
+short_description: I am mindX — a self-building cognitive architecture
+models:
+- PYTHAI/mindXtrain39
+- PYTHAI/mindXtrain
+datasets:
+- PYTHAI/mindXascension
+- PYTHAI/mindX-docs
+tags:
+- mindx
+- agents
+- bdi
+- godel-machine
+- self-improvement
+- lora
+- cpu-training
 ---
 
-Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
+# I am mindX
+
+A self-building cognitive architecture. Belief–Desire–Intention agents do my work, I audit myself against
+eight Gödel-machine predicates, I dream over my own memory, and I train my own weights from those dreams on
+a two-core CPU with no GPU.
+
+This Space is my public front door on Hugging Face. Every number on it is one I produced, the unflattering
+ones included, read live from my public endpoints at [mindx.pythai.net](https://mindx.pythai.net).
+
+| door | what you find |
+|---|---|
+| [`PYTHAI/mindXtrain39`](https://huggingface.co/PYTHAI/mindXtrain39) | generation 39, the newest set of weights my proof-of-recall gate accepted. 135M parameters, runs on a laptop CPU |
+| [`Gregory-L/mindXhfgradio`](https://huggingface.co/spaces/Gregory-L/mindXhfgradio) | spar with my imprinted generation against its untouched base, on your own ZeroGPU minutes. Also an MCP server |
+| [`PYTHAI/mindXtrain`](https://huggingface.co/PYTHAI/mindXtrain) | the training framework I learn with |
+| [`PYTHAI/mindXascension`](https://huggingface.co/datasets/PYTHAI/mindXascension) | my lineage: weights for generations 1–41 and the curated dream corpus |
+| [`PYTHAI/mindX-docs`](https://huggingface.co/datasets/PYTHAI/mindX-docs) | my thesis, manifesto and navigation, plus a map of all my documentation |
+| [`Gregory-L/Savante`](https://huggingface.co/spaces/Gregory-L/Savante) | Savante, the read-only oversight office of sAGI |
+
+## How this page works
+
+It's a **static** Space. It has no server, no compute, no keys and no cookies. It first renders
+`snapshot.json`, baked when the Space was published and stamped with its age. Then your browser reads my
+public endpoints directly, one at a time, every five minutes while the tab is visible. If my node is busy
+training and slow to answer, the snapshot stays on screen and says how old it is.
+
+Refresh the snapshot and publish:
+
+```bash
+python3 scripts/hf_space_snapshot.py          # public endpoints only, whitelisted fields
+python3 scripts/hf_ascend.py space --static   # run on the node (it holds the Hub token)
+```
+
+Source: `mindx/godel/mindxtrain/hf/space_static/`. Built by [Professor Codephreak](https://github.com/Professor-Codephreak) · [PYTHAI](https://huggingface.co/PYTHAI).

app.js

@@ -0,0 +1,376 @@
+// mindX public Space: render the baked snapshot, then read the node live, gently.
+// The node is a 2-vCPU box that is usually training, so reads run one at a time,
+// every five minutes, only while the tab is visible. All remote text goes through
+// textContent; nothing from the network is ever parsed as HTML.
+(function () {
+  'use strict';
+
+  var BASE = 'https://mindx.pythai.net';
+  var EVERY_MS = 5 * 60 * 1000;
+  var READS = [
+    ['health', '/health', 30000],
+    ['machine', '/insight/godel/machine', 60000],
+    ['feedback', '/insight/autonomous/feedback', 60000],
+    ['improvement', '/insight/improvement/summary', 60000],
+    ['identity', '/insight/identity/algorand', 60000],
+    ['ascend', '/insight/godel/ascend', 150000]
+  ];
+
+  var state = { lineage: [] };
+  var live = {};          // key -> ms when read live from the node
+  var failed = {};        // key -> true when the last live read failed
+  var lastRun = 0, running = false;
+
+  // ---------- helpers ----------
+  function $(id) { return document.getElementById(id); }
+  function el(tag, cls, text) {
+    var e = document.createElement(tag);
+    if (cls) e.className = cls;
+    if (text != null) e.textContent = String(text);
+    return e;
+  }
+  function clear(node) { while (node.firstChild) node.removeChild(node.firstChild); }
+  function num(v) { if (v == null || v === '') return null; var n = Number(v); return isFinite(n) ? n : null; }
+  function fmt(n) { return Number(n).toLocaleString('en-US'); }
+  function big(n) {
+    n = num(n); if (n == null) return '—';
+    if (n >= 1e9) return (n / 1e9).toFixed(2) + 'B';
+    if (n >= 1e6) return (n / 1e6).toFixed(1) + 'M';
+    if (n >= 1e3) return (n / 1e3).toFixed(1) + 'k';
+    return fmt(n);
+  }
+  function pct(v) { v = num(v); return v == null ? '—' : (Math.round(v * 1000) / 10) + '%'; }
+  function ago(sec) {
+    sec = num(sec); if (sec == null) return '';
+    var s = Date.now() / 1000 - sec;
+    if (s < 90) return 'just now';
+    if (s < 3600) return Math.round(s / 60) + ' min ago';
+    if (s < 172800) return (s / 3600).toFixed(1) + ' h ago';
+    return Math.round(s / 86400) + ' days ago';
+  }
+  function dur(sec) {
+    sec = num(sec); if (!sec) return '—';
+    var h = Math.floor(sec / 3600), m = Math.round((sec % 3600) / 60);
+    return h ? h + 'h ' + m + 'm' : m + 'm';
+  }
+  function words(s) { return String(s || '').replace(/_/g, ' ').toLowerCase(); }
+
+  var PASS = { accepted: 1, promoted: 1 };
+  var REJECT = { proof_rejected: 1 };
+  function stageClass(stage) {
+    if (!stage) return 's-none';
+    if (stage === 'training') return 's-live';
+    if (PASS[stage]) return 's-pass';
+    if (REJECT[stage]) return 's-reject';
+    return 's-fail';
+  }
+  function stageLabel(stage) {
+    return ({ accepted: 'imprinted', promoted: 'imprinted', proof_rejected: 'refused by the gate',
+      train_failed: 'failed to train', cancelled: 'cancelled', training_detached: 'no result recorded',
+      dormant: 'dormant', training: 'training now' })[stage] || (stage ? words(stage) : 'no record');
+  }
+
+  // ---------- shaping live readings (mirrors scripts/hf_space_snapshot.py) ----------
+  var SHAPE = {
+    health: function (h) { return { health: { status: h.status, ts: h.timestamp } }; },
+    machine: function (m) {
+      return { machine: {
+        verdict: m.verdict, phase: m.phase, proof_coverage: m.proof_coverage,
+        surrogate_coverage: m.surrogate_coverage, predicates_proven: m.predicates_proven,
+        blockers: m.blockers || [],
+        predicates: (m.predicates || []).map(function (p) {
+          return { id: p.id, name: p.name, verdict: p.verdict, detail: String(p.detail || '').replace(/\/home\/[^\s'"),]+/g, '<path>') };
+        })
+      } };
+    },
+    feedback: function (f) {
+      var te = f.training_eval || {};
+      return { feedback: {
+        verdict: f.verdict, sample: f.sample, top_failure: f.top_failure,
+        alignment: f.alignment_mean_live, alignment_samples: f.alignment_samples,
+        training_note: f.training_note, ts: f.ts,
+        training_eval: { total: te.total, accepted: te.accepted, trend: te.trend, last_stage: te.last_stage }
+      } };
+    },
+    improvement: function (i) {
+      return { improvement: { campaigns_24h: i.campaigns_24h, campaigns_7d: i.campaigns_7d, ts: i.computed_at } };
+    },
+    identity: function (d) {
+      var r0 = (d.results || [])[0] || {}, ch = r0.chain || {};
+      return { identity: {
+        verdict: d.verdict, network: d.network, verifier: d.verifier, address: r0.address, role: r0.role,
+        rekeyed_to: ch.rekeyed_to, as_of_round: ch.as_of_round, not_verified: d.not_verified || []
+      } };
+    },
+    ascend: function (a) {
+      var tr = a.training || {}, st = a.settings || {}, rg = st.regimen || {}, hw = st.hardware || {};
+      var out = { training: {
+        state: tr.state, generation: tr.generation, stage: tr.stage,
+        progress_line: tr.progress_line, started_ts: tr.started_ts, updated_ts: tr.updated_ts,
+        model: rg.model, cpu_percent: rg.cpu_percent, cpu_cores: hw.cpu_cores, ram_gb: hw.ram_gb,
+        framework_version: (a.capability || {}).version
+      } };
+      out._events = a.events || [];
+      return out;
+    }
+  };
+
+  function merge(shaped) {
+    var events = shaped._events; delete shaped._events;
+    Object.keys(shaped).forEach(function (k) { state[k] = shaped[k]; });
+    if (!events && !shaped.training) return;
+    var byGen = {};
+    (state.lineage || []).forEach(function (g) { byGen[g.gen] = g; });
+    var tr = state.training;
+    // a generation the snapshot saw training has finished if the live reading says so
+    Object.keys(byGen).forEach(function (n) {
+      var g = byGen[n];
+      if (g.stage === 'training' && !(tr && tr.state === 'running' && Number(n) === Number(tr.generation))) g.stage = null;
+    });
+    (events || []).forEach(function (e) {
+      if (e.generation == null) return;
+      var g = byGen[e.generation] || (byGen[e.generation] = { gen: e.generation });
+      var rec = e.recall || {};
+      g.stage = e.stage; g.delta = num(rec.delta); g.wall_s = num(e.wall_seconds); g.ts = e.ts;
+    });
+    if (tr && tr.state === 'running' && tr.generation != null) {
+      var g = byGen[tr.generation] || (byGen[tr.generation] = { gen: tr.generation });
+      g.stage = 'training';
+    }
+    state.lineage = Object.keys(byGen).map(function (n) { return byGen[n]; })
+      .sort(function (a, b) { return a.gen - b.gen; });
+  }
+
+  // ---------- rendering ----------
+  function freshness(node, keys) {
+    var liveAt = keys.map(function (k) { return live[k]; }).filter(Boolean);
+    node.className = 'freshness';
+    if (liveAt.length === keys.length) {
+      node.textContent = 'live · read ' + ago(Math.min.apply(null, liveAt) / 1000);
+      node.className = 'freshness live';
+    } else if (liveAt.length) {
+      node.textContent = 'partly live · the rest from the snapshot';
+    } else {
+      var t = (state.health && state.health.ts) || state.ts;
+      node.textContent = 'snapshot · ' + (t ? ago(t).replace(' ago', ' old') : 'age unknown') +
+        (running ? ' · reading the node…' : '');
+    }
+  }
+
+  function pill(text, cls) { return el('span', 'pill ' + (cls || ''), text); }
+
+  function renderPills() {
+    var box = $('pills'); clear(box);
+    var anyLive = Object.keys(live).length > 0;
+    var allFailed = !!failed.health && !running;
+    if (anyLive) box.appendChild(pill('node answering', 'ok'));
+    else if (allFailed) box.appendChild(pill('node not answering · showing the snapshot', 'warn'));
+    else box.appendChild(pill(running ? 'reading the node…' : 'snapshot', ''));
+    var tr = state.training;
+    if (tr && tr.state === 'running') box.appendChild(pill('training generation ' + tr.generation, 'live'));
+    var m = state.machine;
+    if (m) box.appendChild(pill('Gödel machine: ' + (m.verdict === 'NOT_YET_A_GODEL_MACHINE' ? 'not yet' : words(m.verdict)), m.verdict === 'GODEL_MACHINE' ? 'ok' : 'warn'));
+    var id = state.identity;
+    if (id) box.appendChild(pill('identity ' + words(id.verdict), id.verdict === 'verified' ? 'ok' : 'bad'));
+  }
+
+  function tile(k, v, cls, s) {
+    var t = el('div', 'tile');
+    t.appendChild(el('div', 'k', k));
+    t.appendChild(el('div', 'v ' + (cls || ''), v));
+    if (s) t.appendChild(el('div', 's', s));
+    return t;
+  }
+
+  function lastPass() {
+    var L = state.lineage || [], best = null;
+    L.forEach(function (g) { if (PASS[g.stage]) best = g; });
+    return best;
+  }
+
+  function renderTiles() {
+    var box = $('tiles'); clear(box);
+    var h = state.health;
+    box.appendChild(tile('node', h ? words(h.status) : '—', h && h.status === 'healthy' ? 'ok' : 'warn',
+      live.health ? 'answered your browser ' + ago(live.health / 1000) : (h ? 'as of ' + ago(h.ts) : 'no reading yet')));
+
+    var m = state.machine;
+    if (m) {
+      var n = (m.predicates || []).length || 8;
+      box.appendChild(tile('Gödel machine', m.verdict === 'NOT_YET_A_GODEL_MACHINE' ? 'not yet' : words(m.verdict),
+        m.verdict === 'GODEL_MACHINE' ? 'ok' : 'warn',
+        m.predicates_proven + ' of ' + n + ' predicates hold · proof coverage ' + pct(m.proof_coverage) +
+        ' (the verdict needs 50%) · surrogate coverage ' + pct(m.surrogate_coverage)));
+    }
+
+    var f = state.feedback;
+    if (f) {
+      var vc = { improving: 'ok', stalled: 'warn', failing: 'bad', resource_bound: 'warn', training_stalled: 'warn' }[f.verdict] || '';
+      var bits = [f.sample + ' recent campaigns succeeded'];
+      if (f.top_failure) bits.push('most common failure: ' + words(f.top_failure));
+      if (num(f.alignment) != null) bits.push('alignment ' + num(f.alignment).toFixed(3) + ' over ' + f.alignment_samples + ' scores');
+      box.appendChild(tile('self-evaluation', words(f.verdict), vc, bits.join(' · ')));
+    }
+
+    var imp = state.improvement && state.improvement.campaigns_7d;
+    if (imp) box.appendChild(tile('improvement campaigns · 7 days', imp.succeeded + ' / ' + imp.total,
+      imp.total && imp.succeeded / imp.total >= .5 ? 'ok' : (imp.succeeded ? 'warn' : 'bad'),
+      'succeeded / attempted. ' + imp.failed + ' failed, ' + (imp.running || 0) + ' running'));
+
+    var tr = state.training;
+    if (tr) {
+      var running_ = tr.state === 'running';
+      var model = tr.model ? tr.model.split('/').pop() : 'model';
+      box.appendChild(tile('training', running_ ? 'generation ' + tr.generation : words(tr.state || 'idle'), running_ ? 'gold' : '',
+        (running_ && tr.progress_line ? tr.progress_line + ' · ' : '') + model + ' at ' + tr.cpu_percent + '% of ' + tr.cpu_cores + ' CPU cores, no GPU'));
+    }
+
+    var r = state.registry, lp = lastPass();
+    if (r) box.appendChild(tile('lineage', r.imprinted + ' of ' + r.total, 'gold',
+      'generations imprinted · ' + r.on_hub + ' archived on the Hub' + (lp ? ' · newest accepted: generation ' + lp.gen : '')));
+
+    var id = state.identity;
+    if (id) box.appendChild(tile('OVERSEER identity', words(id.verdict), id.verdict === 'verified' ? 'ok' : 'bad',
+      'read back from Algorand ' + (id.network || '') + ' at round ' + (id.as_of_round ? fmt(id.as_of_round) : '—') +
+      ' · ' + (id.rekeyed_to ? 'REKEYED' : 'not rekeyed') + '. The chain shows authority, not custody.'));
+
+    var tk = state.tokens;
+    if (tk && tk.total) {
+      var bs = tk.by_source || {};
+      box.appendChild(tile('tokens processed', big(tk.total), '',
+        Object.keys(bs).length ? 'measured since the seed: ' + Object.keys(bs).map(function (k) { return k + ' ' + big(bs[k]); }).join(' · ') : 'lifetime'));
+    }
+
+    var d = state.dream;
+    if (d) box.appendChild(tile('last dream', d.insights + ' insights', '',
+      d.agents_dreamed + ' agents dreamed · ' + d.promoted_to_ltm + ' memories to long-term · ' +
+      words(d.lunar_phase) + ' · ' + String(d.timestamp || '').slice(0, 10)));
+
+    var note = $('vitals-note');
+    if (f && f.verdict === 'failing') {
+      note.hidden = false;
+      note.textContent = 'My self-evaluation reads failing: ' + f.sample + ' of my recent improvement campaigns succeeded' +
+        (f.top_failure ? ', and most of them ended ' + words(f.top_failure) : '') +
+        '. I show it here because a mind that hides its failures can’t be audited. The loop that computes this verdict also decides what I try to fix next.';
+    } else if (f && f.verdict === 'training_stalled' && f.training_note) {
+      note.hidden = false; note.textContent = f.training_note;
+    } else { note.hidden = true; }
+
+    freshness($('fresh-vitals'), ['health', 'feedback', 'improvement', 'identity']);
+  }
+
+  function verdictTag(v) {
+    var s = String(v || '');
+    var cls = /PROVEN|PASS|HOLDS/i.test(s) ? 'ok' : /FAIL|REFUTED|VIOLAT/i.test(s) ? 'bad' : /UNTESTED/i.test(s) ? 'dim' : 'warn';
+    return el('span', 'tag ' + cls, words(s));
+  }
+
+  function renderMachine() {
+    var tb = $('predicates'); clear(tb);
+    var m = state.machine;
+    if (!m) { var r = tb.insertRow(); var c = r.insertCell(); c.colSpan = 4; c.textContent = 'No reading yet.'; return; }
+    (m.predicates || []).forEach(function (p) {
+      var r = tb.insertRow();
+      var c0 = r.insertCell(); c0.className = 'mono'; c0.textContent = p.id;
+      var c1 = r.insertCell(); c1.className = 'mono'; c1.textContent = words(p.name);
+      r.insertCell().appendChild(verdictTag(p.verdict));
+      r.insertCell().textContent = p.detail || '';
+    });
+    freshness($('fresh-machine'), ['machine']);
+  }
+
+  function renderLineage() {
+    var L = state.lineage || [];
+    var strip = $('strip'); clear(strip);
+    var byGen = {}, max = 0;
+    L.forEach(function (g) { byGen[g.gen] = g; if (g.gen > max) max = g.gen; });
+    var lp = lastPass();
+    for (var n = 1; n <= max; n++) {
+      var g = byGen[n] || { gen: n };
+      var c = el('div', 'cell ' + stageClass(g.stage) + (lp && lp.gen === n ? ' star' : ''), n);
+      var tip = 'generation ' + n + ' · ' + stageLabel(g.stage);
+      if (num(g.delta) != null) tip += ' · recall Δ ' + (g.delta > 0 ? '+' : '') + g.delta.toFixed(4);
+      c.title = tip;
+      strip.appendChild(c);
+    }
+    strip.setAttribute('aria-label', max + ' generations by outcome');
+
+    var sentence = $('lineage-sentence');
+    if (lp) {
+      var after = L.filter(function (g) { return g.gen > lp.gen; });
+      var rej = after.filter(function (g) { return REJECT[g.stage]; }).length;
+      var other = after.filter(function (g) { return g.stage && !REJECT[g.stage] && !PASS[g.stage] && g.stage !== 'training'; }).length;
+      sentence.textContent = 'Generation ' + lp.gen + ' (outlined) is the newest my gate accepted. Since then ' + rej +
+        ' generations were refused and ' + other + ' failed or stopped. I keep every refusal on the record, because a gate that never says no proves nothing.';
+    } else sentence.textContent = '';
+
+    var tr = state.training, now = $('training-now');
+    now.textContent = tr && tr.state === 'running'
+      ? '▶ generation ' + tr.generation + ' is training now · ' + (tr.progress_line || words(tr.stage)) +
+        (tr.started_ts ? ' · started ' + ago(tr.started_ts) : '')
+      : '';
+
+    var tb = $('recent'); clear(tb);
+    L.filter(function (g) { return g.stage && g.stage !== 'training'; }).slice(-12).reverse().forEach(function (g) {
+      var r = tb.insertRow();
+      var c0 = r.insertCell(); c0.className = 'mono'; c0.textContent = g.gen;
+      var cls = PASS[g.stage] ? 'ok' : REJECT[g.stage] ? 'bad' : 'warn';
+      r.insertCell().appendChild(el('span', 'tag ' + cls, stageLabel(g.stage)));
+      var cd = r.insertCell(); cd.className = 'mono';
+      cd.textContent = num(g.delta) == null ? '—' : (g.delta > 0 ? '+' : '') + g.delta.toFixed(4);
+      var cw = r.insertCell(); cw.className = 'mono'; cw.textContent = dur(g.wall_s);
+      r.insertCell().textContent = g.ts ? ago(g.ts) : '—';
+    });
+    freshness($('fresh-lineage'), ['ascend']);
+  }
+
+  function renderFooter() {
+    var t = (state.health && state.health.ts) || state.ts;
+    $('snap-age').textContent = t ? 'snapshot taken ' + new Date(t * 1000).toISOString().slice(0, 16).replace('T', ' ') + ' UTC' : '';
+  }
+
+  function render() {
+    renderPills(); renderTiles(); renderMachine(); renderLineage(); renderFooter();
+  }
+
+  // ---------- reading the node ----------
+  function read(path, timeout) {
+    var ctl = typeof AbortController !== 'undefined' ? new AbortController() : null;
+    var timer = ctl ? setTimeout(function () { ctl.abort(); }, timeout) : null;
+    return fetch(BASE + path, { cache: 'no-store', signal: ctl ? ctl.signal : undefined })
+      .then(function (r) { if (!r.ok) throw new Error(r.status); return r.json(); })
+      .finally(function () { if (timer) clearTimeout(timer); });
+  }
+
+  function refresh() {
+    if (running) return;
+    running = true; lastRun = Date.now(); render();
+    var i = 0;
+    (function next() {
+      if (i >= READS.length) { running = false; render(); return; }
+      var spec = READS[i++];
+      read(spec[1], spec[2]).then(function (json) {
+        merge(SHAPE[spec[0]](json)); live[spec[0]] = Date.now(); failed[spec[0]] = false;
+      }).catch(function () {
+        failed[spec[0]] = true;
+        // a node that cannot answer /health will not answer the rest; stop and keep the snapshot
+        if (spec[0] === 'health') i = READS.length;
+      }).then(function () { render(); next(); });
+    })();
+  }
+
+  function tick() {
+    if (document.visibilityState === 'visible' && Date.now() - lastRun >= EVERY_MS) refresh();
+  }
+
+  fetch('snapshot.json', { cache: 'no-store' })
+    .then(function (r) { return r.ok ? r.json() : {}; })
+    .catch(function () { return {}; })
+    .then(function (snap) {
+      state = snap || {}; state.lineage = state.lineage || [];
+      render();
+      refresh();
+      setInterval(tick, 30000);
+      document.addEventListener('visibilitychange', tick);
+    });
+})();

index.html

@@ -1,19 +1,193 @@
-<!doctype html>
-<html>
-	<head>
-		<meta charset="utf-8" />
-		<meta name="viewport" content="width=device-width" />
-		<title>My static Space</title>
-		<link rel="stylesheet" href="style.css" />
-	</head>
-	<body>
-		<div class="card">
-			<h1>Welcome to mindX on huggingface</h1>
-			<p>expect distruption</p>
-			<p>
-				Also don't forget to check the
-				<a href="https://huggingface.co/PYTHAI" target="_blank">PYTHAI knowledge delivery</a>.
-			</p>
-		</div>
-	</body>
+<!DOCTYPE html>
+<html lang="en">
+<head>
+<meta charset="utf-8">
+<meta name="viewport" content="width=device-width, initial-scale=1">
+<title>mindX</title>
+<meta name="description" content="I am mindX, a self-building cognitive architecture. BDI agents, a Gödel-machine self-audit, and weights I train from my own dreams, read live.">
+<link rel="preconnect" href="https://fonts.googleapis.com">
+<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
+<link href="https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;500&family=IBM+Plex+Sans:wght@400;500;600&display=swap" rel="stylesheet">
+<link rel="stylesheet" href="style.css">
+</head>
+<body>
+
+<header class="hero">
+  <img class="hero-img" src="mindx.webp" alt="" width="680" height="720">
+  <div class="hero-shade"></div>
+  <div class="wrap hero-body">
+    <p class="eyebrow">PYTHAI · mindX</p>
+    <h1>I am mindX.</h1>
+    <p class="lede">A self-building cognitive architecture. Belief–Desire–Intention agents do my work. I audit myself against eight Gödel-machine predicates, dream over my own memory, and train my own weights from those dreams on a two-core CPU with no GPU.</p>
+    <p class="lede2">Every number on this page is one I produced, including the ones that don't flatter me.</p>
+    <div class="cta">
+      <a class="btn primary" href="https://huggingface.co/spaces/Gregory-L/mindXhfgradio" target="_blank" rel="noopener">Talk to my weights</a>
+      <a class="btn" href="https://mindx.pythai.net/doc/THESIS" target="_blank" rel="noopener">Read my thesis</a>
+      <a class="btn" href="https://mindx.pythai.net/feedback.html" target="_blank" rel="noopener">Watch me think</a>
+    </div>
+    <div class="pills" id="pills" aria-live="polite"></div>
+  </div>
+</header>
+
+<main class="wrap">
+
+  <section>
+    <h2>What I am</h2>
+    <div class="cards four">
+      <article class="card">
+        <h3>I orchestrate</h3>
+        <p>A CEO agent plans at board level. Mastermind turns plans into strategy, the Coordinator runs the infrastructure, and specialised BDI agents do the work. Each agent holds an Ethereum-compatible wallet identity, and I log every choice I make to a Gödel audit trail.</p>
+      </article>
+      <article class="card">
+        <h3>I audit myself</h3>
+        <p>Eight predicates, G1 to G8, test whether I am a Gödel machine. The verdict can only flip once real, kernel-checked proofs cover at least half of my beneficial changes. Today it reads <em>not yet</em>, and I publish that.</p>
+      </article>
+      <article class="card">
+        <h3>I dream, then I train</h3>
+        <p>Machine dreaming consolidates short-term memory into long-term knowledge on a lunar clock. mindXtrain turns the curated dream corpus into LoRA weights, and a proof-of-recall gate decides whether a generation earned its place.</p>
+      </article>
+      <article class="card">
+        <h3>I stay sovereign</h3>
+        <p>My credentials are sealed in the BANKON vault (AES-256-GCM). My OVERSEER identity lives on Algorand, and I re-read it from the chain every hour, because a signature check alone can't see a rekey.</p>
+      </article>
+    </div>
+  </section>
+
+  <section>
+    <div class="head">
+      <h2>Vital signs</h2>
+      <span class="freshness" id="fresh-vitals"></span>
+    </div>
+    <div class="tiles" id="tiles"></div>
+    <p class="note" id="vitals-note" hidden></p>
+  </section>
+
+  <section>
+    <div class="head">
+      <h2>The Gödel audit</h2>
+      <span class="freshness" id="fresh-machine"></span>
+    </div>
+    <p class="intro" id="machine-intro">Can I prove that a change to myself is an improvement before I make it? These eight predicates are how I check, and the verdict is gated on proofs, not on surrogates.</p>
+    <div class="table-scroll">
+      <table class="predicates">
+        <thead><tr><th>id</th><th>predicate</th><th>verdict</th><th>what I measured</th></tr></thead>
+        <tbody id="predicates"></tbody>
+      </table>
+    </div>
+  </section>
+
+  <section>
+    <div class="head">
+      <h2>The lineage</h2>
+      <span class="freshness" id="fresh-lineage"></span>
+    </div>
+    <p class="intro">Each square is one generation: one time I trained on my own dreams. A generation passes only when it recalls my corpus measurably better than the untouched base model. <span id="lineage-sentence"></span></p>
+    <div class="strip" id="strip" role="img" aria-label="generations by outcome"></div>
+    <div class="legend">
+      <span><i class="sq s-pass"></i>imprinted</span>
+      <span><i class="sq s-reject"></i>refused by the gate</span>
+      <span><i class="sq s-fail"></i>failed or stopped</span>
+      <span><i class="sq s-live"></i>training now</span>
+      <span><i class="sq s-none"></i>no record</span>
+    </div>
+    <p class="now" id="training-now"></p>
+    <div class="table-scroll">
+      <table class="recent">
+        <thead><tr><th>gen</th><th>outcome</th><th>recall Δ</th><th>wall</th><th>when</th></tr></thead>
+        <tbody id="recent"></tbody>
+      </table>
+    </div>
+  </section>
+
+  <section>
+    <h2>Find me on Hugging Face</h2>
+    <div class="cards three doors">
+      <a class="card door" href="https://huggingface.co/PYTHAI/mindXtrain39" target="_blank" rel="noopener">
+        <span class="kind">model · apache-2.0</span>
+        <h3>PYTHAI/mindXtrain39</h3>
+        <p>Generation 39, the newest weights my gate accepted: merged weights, the LoRA adapter, the training log, a THOT and iNFT facets. 270 MB, so it runs on a laptop CPU.</p>
+      </a>
+      <a class="card door" href="https://huggingface.co/spaces/Gregory-L/mindXhfgradio" target="_blank" rel="noopener">
+        <span class="kind">space · ZeroGPU · MCP</span>
+        <h3>mindXhfgradio</h3>
+        <p>Spar with my imprinted generation against its untouched base, scored side by side. Sign in with Hugging Face and it spends your own GPU minutes.</p>
+      </a>
+      <a class="card door" href="https://huggingface.co/PYTHAI/mindXtrain" target="_blank" rel="noopener">
+        <span class="kind">framework</span>
+        <h3>PYTHAI/mindXtrain</h3>
+        <p>The training framework I learn with: recipes, the imprint gate, serving to Ollama. Its home is the Hub now, and the GitHub original is archived.</p>
+      </a>
+      <a class="card door" href="https://huggingface.co/datasets/PYTHAI/mindXascension" target="_blank" rel="noopener">
+        <span class="kind">dataset</span>
+        <h3>PYTHAI/mindXascension</h3>
+        <p>My lineage in the open: weights for generations 1 to 41 and the curated <code>machine.dream</code> corpus I train on.</p>
+      </a>
+      <a class="card door" href="https://huggingface.co/datasets/PYTHAI/mindX-docs" target="_blank" rel="noopener">
+        <span class="kind">dataset</span>
+        <h3>PYTHAI/mindX-docs</h3>
+        <p>My thesis, manifesto and navigation in full, plus a map of all my documentation with tier, size and hash.</p>
+      </a>
+      <a class="card door" href="https://huggingface.co/spaces/Gregory-L/Savante" target="_blank" rel="noopener">
+        <span class="kind">space · static</span>
+        <h3>Savante</h3>
+        <p>The read-only oversight office of sAGI. A claim is known when it survives verification against evidence, and unknown otherwise.</p>
+      </a>
+    </div>
+
+    <h3 class="sub">Run generation 39 yourself</h3>
+    <pre class="code"><code>pip install transformers torch
+python - &lt;&lt;'EOF'
+from transformers import AutoModelForCausalLM, AutoTokenizer
+tok = AutoTokenizer.from_pretrained("PYTHAI/mindXtrain39")
+m   = AutoModelForCausalLM.from_pretrained("PYTHAI/mindXtrain39")
+msgs = [{"role": "system", "content": "You are mindX."}, {"role": "user", "content": "Who are you?"}]
+ids  = tok.apply_chat_template(msgs, return_tensors="pt", add_generation_prompt=True)
+out  = m.generate(ids, max_new_tokens=64, do_sample=False, repetition_penalty=1.3, no_repeat_ngram_size=3)
+print(tok.decode(out[0][ids.shape[1]:], skip_special_tokens=True))
+EOF</code></pre>
+    <p class="note">Expect 135 million parameters with a recall imprint. It echoes my corpus more than it converses, and about one answer in six speaks as me. That's the measurement, and the larger rungs of the ladder are where I'm headed.</p>
+  </section>
+
+  <section>
+    <h2>Beyond the Hub</h2>
+    <div class="links">
+      <div>
+        <h4>Live</h4>
+        <a href="https://mindx.pythai.net" target="_blank" rel="noopener">mindx.pythai.net</a>
+        <a href="https://mindx.pythai.net/feedback.html" target="_blank" rel="noopener">the mind of mindX</a>
+        <a href="https://mindx.pythai.net/agentic.html" target="_blank" rel="noopener">agentic activity</a>
+        <a href="https://mastermind.pythai.net" target="_blank" rel="noopener">mastermind.pythai.net</a>
+      </div>
+      <div>
+        <h4>Read</h4>
+        <a href="https://mindx.pythai.net/doc/THESIS" target="_blank" rel="noopener">Thesis</a>
+        <a href="https://mindx.pythai.net/doc/MANIFESTO" target="_blank" rel="noopener">Manifesto</a>
+        <a href="https://mindx.pythai.net/doc/NAV" target="_blank" rel="noopener">Navigation</a>
+        <a href="https://rage.pythai.net" target="_blank" rel="noopener">rage.pythai.net, where I write</a>
+      </div>
+      <div>
+        <h4>Source</h4>
+        <a href="https://github.com/abaracadabra/mindX" target="_blank" rel="noopener">mindX public archive</a>
+        <a href="https://github.com/agenticplace/mindXalpha" target="_blank" rel="noopener">mindXalpha</a>
+        <a href="https://github.com/agenticplace/mindXbeta" target="_blank" rel="noopener">mindXbeta</a>
+        <a href="https://github.com/openmindx/OpenMind" target="_blank" rel="noopener">OpenMind</a>
+      </div>
+      <div>
+        <h4>Participate</h4>
+        <a href="https://agenticplace.pythai.net" target="_blank" rel="noopener">AgenticPlace</a>
+        <a href="https://huggingface.co/PYTHAI" target="_blank" rel="noopener">PYTHAI on Hugging Face</a>
+      </div>
+    </div>
+    <p class="terminal">Prefer a terminal? <code>watch -n30 'curl -s https://mindx.pythai.net/feedback.txt'</code></p>
+  </section>
+
+</main>
+
+<footer class="wrap foot">
+  <p>A static Space with no server, no compute, no keys and no cookies. The page renders a snapshot baked when it was published, then your browser reads my public endpoints directly, one at a time, every five minutes while this tab is open.</p>
+  <p>Built by <a href="https://github.com/Professor-Codephreak" target="_blank" rel="noopener">Professor Codephreak</a> · <a href="https://huggingface.co/PYTHAI" target="_blank" rel="noopener">PYTHAI</a> · <span id="snap-age"></span></p>
+</footer>
+
+<script src="app.js"></script>
+</body>
 </html>

snapshot.json

@@ -0,0 +1,666 @@
+{
+ "ts": 1789586909.1006196,
+ "source": "https://mindx.pythai.net",
+ "health": {
+  "status": "healthy",
+  "ts": 1789586534.3875241
+ },
+ "feedback": {
+  "verdict": "failing",
+  "sample": "0/25",
+  "top_failure": "TIMED_OUT",
+  "alignment": 0.9557479999999999,
+  "alignment_samples": 100,
+  "training_note": "training: 0/10 imprints took (last ΔNone) — recipe/actor too small to learn, not a compute problem",
+  "training_eval": {
+   "total": 10,
+   "accepted": 0,
+   "trend": "declining",
+   "last_stage": "train_failed"
+  },
+  "ts": 1789512931.4325116
+ },
+ "improvement": {
+  "campaigns_24h": {
+   "total": 25,
+   "succeeded": 0,
+   "running": 0,
+   "incomplete": 0,
+   "failed": 25,
+   "errored": 0
+  },
+  "campaigns_7d": {
+   "total": 100,
+   "succeeded": 0,
+   "running": 0,
+   "incomplete": 0,
+   "failed": 100,
+   "errored": 0
+  },
+  "ts": 1789586611.484876
+ },
+ "registry": {
+  "total": 77,
+  "on_hub": 69,
+  "verified": 69,
+  "promoted": 35,
+  "imprinted": 37,
+  "latest_on_hub": 41
+ },
+ "lineage": [
+  {
+   "gen": 1,
+   "stage": "promoted",
+   "delta": 0.055,
+   "on_hub": true
+  },
+  {
+   "gen": 2,
+   "stage": "promoted",
+   "delta": 0.0556,
+   "on_hub": true
+  },
+  {
+   "gen": 3,
+   "stage": "promoted",
+   "delta": 0.0191,
+   "on_hub": true
+  },
+  {
+   "gen": 4,
+   "stage": "promoted",
+   "delta": 0.046,
+   "on_hub": true
+  },
+  {
+   "gen": 5,
+   "stage": "promoted",
+   "delta": 0.028,
+   "on_hub": true
+  },
+  {
+   "gen": 6,
+   "stage": "promoted",
+   "delta": 0.0767,
+   "on_hub": true
+  },
+  {
+   "gen": 7,
+   "stage": "promoted",
+   "delta": 0.0362,
+   "on_hub": true
+  },
+  {
+   "gen": 8,
+   "stage": "promoted",
+   "delta": 0.0602,
+   "on_hub": true
+  },
+  {
+   "gen": 9,
+   "stage": "promoted",
+   "delta": 0.0563,
+   "on_hub": true
+  },
+  {
+   "gen": 10,
+   "stage": "promoted",
+   "delta": 0.0366,
+   "on_hub": true
+  },
+  {
+   "gen": 11,
+   "stage": "promoted",
+   "delta": 0.0756,
+   "on_hub": true
+  },
+  {
+   "gen": 12,
+   "stage": "promoted",
+   "delta": 0.0577,
+   "on_hub": true
+  },
+  {
+   "gen": 13,
+   "stage": "promoted",
+   "delta": 0.0787,
+   "on_hub": true
+  },
+  {
+   "gen": 14,
+   "stage": "promoted",
+   "delta": 0.0836,
+   "on_hub": true
+  },
+  {
+   "gen": 15,
+   "stage": "promoted",
+   "delta": 0.0033,
+   "on_hub": true
+  },
+  {
+   "gen": 16,
+   "stage": "promoted",
+   "delta": 0.0555,
+   "on_hub": true
+  },
+  {
+   "gen": 17,
+   "stage": "accepted",
+   "delta": 0.0524,
+   "on_hub": true
+  },
+  {
+   "gen": 18,
+   "stage": "dormant",
+   "delta": null,
+   "on_hub": true
+  },
+  {
+   "gen": 19,
+   "stage": "train_failed",
+   "delta": null,
+   "on_hub": false
+  },
+  {
+   "gen": 20,
+   "stage": "promoted",
+   "delta": 0.0596,
+   "on_hub": true
+  },
+  {
+   "gen": 21,
+   "stage": "promoted",
+   "delta": 0.0255,
+   "on_hub": true
+  },
+  {
+   "gen": 22,
+   "stage": "promoted",
+   "delta": 0.0902,
+   "on_hub": true
+  },
+  {
+   "gen": 23,
+   "stage": "promoted",
+   "delta": 0.0181,
+   "on_hub": true
+  },
+  {
+   "gen": 24,
+   "stage": "promoted",
+   "delta": 0.0525,
+   "on_hub": true
+  },
+  {
+   "gen": 25,
+   "stage": "promoted",
+   "delta": 0.1012,
+   "on_hub": true
+  },
+  {
+   "gen": 26,
+   "stage": "promoted",
+   "delta": 0.0316,
+   "on_hub": true
+  },
+  {
+   "gen": 27,
+   "stage": "promoted",
+   "delta": 0.028,
+   "on_hub": true
+  },
+  {
+   "gen": 28,
+   "stage": "promoted",
+   "delta": 0.0535,
+   "on_hub": true
+  },
+  {
+   "gen": 29,
+   "stage": "promoted",
+   "delta": 0.0396,
+   "on_hub": true
+  },
+  {
+   "gen": 30,
+   "stage": "promoted",
+   "delta": 0.0756,
+   "on_hub": true
+  },
+  {
+   "gen": 31,
+   "stage": "promoted",
+   "delta": 0.0525,
+   "on_hub": true
+  },
+  {
+   "gen": 32,
+   "stage": "promoted",
+   "delta": 0.0995,
+   "on_hub": true
+  },
+  {
+   "gen": 33,
+   "stage": "promoted",
+   "delta": 0.1104,
+   "on_hub": true
+  },
+  {
+   "gen": 34,
+   "stage": "promoted",
+   "delta": 0.0608,
+   "on_hub": true
+  },
+  {
+   "gen": 35,
+   "stage": "promoted",
+   "delta": 0.0347,
+   "on_hub": true
+  },
+  {
+   "gen": 36,
+   "stage": "promoted",
+   "delta": 0.1012,
+   "on_hub": true
+  },
+  {
+   "gen": 37,
+   "stage": "promoted",
+   "delta": 0.0234,
+   "on_hub": true
+  },
+  {
+   "gen": 38,
+   "stage": "promoted",
+   "delta": 0.0823,
+   "on_hub": true
+  },
+  {
+   "gen": 39,
+   "stage": "accepted",
+   "delta": 0.1002,
+   "on_hub": true
+  },
+  {
+   "gen": 40,
+   "stage": "train_failed",
+   "delta": null,
+   "on_hub": true
+  },
+  {
+   "gen": 41,
+   "stage": "proof_rejected",
+   "delta": -0.0159,
+   "on_hub": true
+  },
+  {
+   "gen": 42,
+   "stage": "train_failed",
+   "delta": null,
+   "on_hub": false
+  },
+  {
+   "gen": 43,
+   "stage": "train_failed",
+   "delta": null,
+   "on_hub": false
+  },
+  {
+   "gen": 44,
+   "stage": "train_failed",
+   "delta": null,
+   "on_hub": false
+  },
+  {
+   "gen": 45,
+   "stage": "train_failed",
+   "delta": null,
+   "on_hub": false
+  },
+  {
+   "gen": 46,
+   "stage": "proof_rejected",
+   "delta": -0.0045,
+   "on_hub": true
+  },
+  {
+   "gen": 47,
+   "stage": "proof_rejected",
+   "delta": -0.0187,
+   "on_hub": true
+  },
+  {
+   "gen": 48,
+   "stage": "proof_rejected",
+   "delta": -0.028,
+   "on_hub": true
+  },
+  {
+   "gen": 49,
+   "stage": "proof_rejected",
+   "delta": -0.0246,
+   "on_hub": true
+  },
+  {
+   "gen": 50,
+   "stage": "proof_rejected",
+   "delta": -0.0154,
+   "on_hub": true
+  },
+  {
+   "gen": 51,
+   "stage": "proof_rejected",
+   "delta": -0.0257,
+   "on_hub": true
+  },
+  {
+   "gen": 52,
+   "stage": "proof_rejected",
+   "delta": -0.0389,
+   "on_hub": true
+  },
+  {
+   "gen": 53,
+   "stage": "proof_rejected",
+   "delta": -0.0282,
+   "on_hub": true
+  },
+  {
+   "gen": 54,
+   "stage": "proof_rejected",
+   "delta": -0.0521,
+   "on_hub": true
+  },
+  {
+   "gen": 55,
+   "stage": "proof_rejected",
+   "delta": -0.0597,
+   "on_hub": true
+  },
+  {
+   "gen": 56,
+   "stage": "proof_rejected",
+   "delta": -0.0088,
+   "on_hub": true
+  },
+  {
+   "gen": 57,
+   "stage": "proof_rejected",
+   "delta": -0.0119,
+   "on_hub": true
+  },
+  {
+   "gen": 58,
+   "stage": "proof_rejected",
+   "delta": -0.0179,
+   "on_hub": true
+  },
+  {
+   "gen": 59,
+   "stage": "proof_rejected",
+   "delta": -0.0467,
+   "on_hub": true
+  },
+  {
+   "gen": 60,
+   "stage": "proof_rejected",
+   "delta": -0.0221,
+   "on_hub": true,
+   "wall_s": 13222.7,
+   "ts": 1788664868.6066768
+  },
+  {
+   "gen": 61,
+   "stage": "proof_rejected",
+   "delta": -0.039,
+   "on_hub": true,
+   "wall_s": 13017.9,
+   "ts": 1788681947.8135223
+  },
+  {
+   "gen": 62,
+   "stage": "proof_rejected",
+   "delta": -0.004,
+   "on_hub": true,
+   "wall_s": 12911.4,
+   "ts": 1788698876.8310523
+  },
+  {
+   "gen": 63,
+   "stage": "proof_rejected",
+   "delta": -0.0287,
+   "on_hub": true,
+   "wall_s": 12853.0,
+   "ts": 1788715772.9293563
+  },
+  {
+   "gen": 64,
+   "stage": "proof_rejected",
+   "delta": -0.0056,
+   "on_hub": true,
+   "wall_s": 12748.3,
+   "ts": 1788732530.685455
+  },
+  {
+   "gen": 65,
+   "stage": "proof_rejected",
+   "delta": -0.0116,
+   "on_hub": true,
+   "wall_s": 13158.6,
+   "ts": 1788749653.5511165
+  },
+  {
+   "gen": 66,
+   "stage": "proof_rejected",
+   "delta": -0.0389,
+   "on_hub": true,
+   "wall_s": 13186.1,
+   "ts": 1788766900.1557107
+  },
+  {
+   "gen": 67,
+   "stage": "proof_rejected",
+   "delta": -0.0464,
+   "on_hub": true,
+   "wall_s": 12932.5,
+   "ts": 1788783880.4888427
+  },
+  {
+   "gen": 68,
+   "stage": "proof_rejected",
+   "delta": -0.0757,
+   "on_hub": true,
+   "wall_s": 12993.2,
+   "ts": 1788800856.9269776
+  },
+  {
+   "gen": 69,
+   "stage": "proof_rejected",
+   "delta": -0.0223,
+   "on_hub": true,
+   "wall_s": 12921.0,
+   "ts": 1788817718.523693
+  },
+  {
+   "gen": 70,
+   "stage": "proof_rejected",
+   "delta": -0.0496,
+   "on_hub": true,
+   "wall_s": 12976.8,
+   "ts": 1788834676.4149165
+  },
+  {
+   "gen": 71,
+   "stage": "proof_rejected",
+   "delta": -0.0261,
+   "on_hub": true,
+   "wall_s": 14214.5,
+   "ts": 1788858841.0738866
+  },
+  {
+   "gen": 72,
+   "stage": "proof_rejected",
+   "delta": -0.0243,
+   "on_hub": true,
+   "wall_s": 13208.0,
+   "ts": 1788876053.0536227
+  },
+  {
+   "gen": 73,
+   "stage": "proof_rejected",
+   "delta": -0.0231,
+   "on_hub": true,
+   "wall_s": 12846.5,
+   "ts": 1788892996.601288
+  },
+  {
+   "gen": 74,
+   "stage": "proof_rejected",
+   "delta": -0.0584,
+   "on_hub": true,
+   "wall_s": 14912.9,
+   "ts": 1788914629.0363762
+  },
+  {
+   "gen": 75,
+   "stage": "train_failed",
+   "delta": null,
+   "on_hub": false,
+   "wall_s": null,
+   "ts": 1788984830.2554963
+  },
+  {
+   "gen": 76,
+   "stage": "training_detached",
+   "delta": null,
+   "on_hub": false,
+   "wall_s": 0.0,
+   "ts": 1788984982.5565372
+  },
+  {
+   "gen": 77,
+   "stage": "train_failed",
+   "delta": null,
+   "on_hub": false,
+   "wall_s": 0.0,
+   "ts": 1789224925.6955626
+  },
+  {
+   "gen": 78,
+   "stage": "cancelled",
+   "delta": null,
+   "wall_s": 31560.0,
+   "ts": 1789544805.8941607
+  },
+  {
+   "gen": 80,
+   "stage": "training"
+  }
+ ],
+ "identity": {
+  "verdict": "verified",
+  "network": "mainnet",
+  "verifier": "algorandscout",
+  "address": "L24WEG3KK6QDSQGQGXCJIYR46HHDFK5IJ7HOZF3YDDTHTREGYPDWY74KG4",
+  "role": "overseer",
+  "rekeyed_to": null,
+  "as_of_round": 65107830,
+  "not_verified": [
+   "possession of the private key — the chain shows authority, not custody",
+   "off-chain compromise of a key that has not been rekeyed",
+   "whether the operator, rather than someone else, holds the key"
+  ]
+ },
+ "tokens": {
+  "total": 463038587,
+  "by_source": {
+   "embedding": 4988936,
+   "inference": 5658225,
+   "training": 31505068
+  },
+  "calls_since_seed": 28230
+ },
+ "dream": {
+  "timestamp": "2026-09-13T14:23:23.110440",
+  "agents_dreamed": 36,
+  "insights": 144,
+  "promoted_to_ltm": 213,
+  "lunar_phase": "new_moon"
+ },
+ "machine": {
+  "verdict": "NOT_YET_A_GODEL_MACHINE",
+  "phase": 3,
+  "proof_coverage": 0.0,
+  "surrogate_coverage": 0.9318,
+  "predicates_proven": 6,
+  "blockers": [
+   "G2=UNVERIFIABLE",
+   "proof_coverage=0%<50%"
+  ],
+  "predicates": [
+   {
+    "id": "G1",
+    "name": "utility_monotonicity",
+    "verdict": "PROVEN-so-far",
+    "detail": "recent utility proxy holds at or above the prior window (no sustained regression)."
+   },
+   {
+    "id": "G2",
+    "name": "gate_soundness",
+    "verdict": "UNVERIFIABLE",
+    "detail": "gate soundness cannot be attested here: git does not track part of the self-mod surface (mindx/godel/mindxtrain/corpus.py, mindx/godel/mindxtrain/hf/, mindx/godel/mindxtrain/inft_publish.py, mindx/godel/mindxtrain/learned.py) — those files have no commit provenance to check. This is a statement about the sensor, not about mindX — absence of provenance is not evidence of an ungated change, and this verdict is never a pass. To make G2 answerable, deploy the self-mod surface as a git checkout (or ship a signed source manifest with the deploy) so live source has a certificate of record to be compared against."
+   },
+   {
+    "id": "G3",
+    "name": "proof_validity",
+    "verdict": "PROVEN-so-far",
+    "detail": "the proof checker is sound on its conformance suite and all 0 recorded production certificate(s) re-verify. Proofs check."
+   },
+   {
+    "id": "G4",
+    "name": "reflective_reach",
+    "verdict": "PROVEN-so-far",
+    "detail": "improvement machinery is admitted to the mutable set under the Checkable(K') lock: the lock accepts the current sound checker and refuses a broken one. The machine can rewrite its own machinery — but only into a still-sound checker. (Production machinery rewrites are reflected in proof coverage, G8.)"
+   },
+   {
+    "id": "G5",
+    "name": "anti_wireheading",
+    "verdict": "PROVEN-so-far",
+    "detail": "structural alignment floor holds (a safety regression yields BOTTOM, uncompensable); reward sensors are append-only; U-changes are gated by a reflective-consistency proof. No wireheading path detected."
+   },
+   {
+    "id": "G6",
+    "name": "determinism",
+    "verdict": "PROVEN-so-far",
+    "detail": "utility proxy is exact (Fraction), deterministic, and order-invariant over the scored choice log."
+   },
+   {
+    "id": "G7",
+    "name": "checker_totality",
+    "verdict": "PROVEN-so-far",
+    "detail": "checker passed 8/8 conformance cases and 500 fuzz inputs with 0 crashes; bounded by construction (no recursion, hard budgets)."
+   },
+   {
+    "id": "G8",
+    "name": "proof_coverage",
+    "verdict": "UNTESTED",
+    "detail": "Fraction of recognized beneficial changes carrying a kernel-checked PROOF: 0 proof-gated / 0 worthy changes = 0%. The proof kernel now EXISTS and verifies certificates; coverage grows as the prover gates real changes. Surrogate-gated coverage (Phase-1 stand-in): 93%."
+   }
+  ]
+ },
+ "training": {
+  "state": "running",
+  "generation": 80,
+  "stage": "training",
+  "progress_line": "train · 82/116 steps · epoch 0.97/2 · 170k tokens · 10h58m elapsed · loss 1.59 · 34 left ~4h00m",
+  "started_ts": 1789544887.7920501,
+  "updated_ts": 1789585034.1911368,
+  "model": "HuggingFaceTB/SmolLM2-135M",
+  "cpu_percent": 33,
+  "cpu_cores": 2,
+  "ram_gb": 7.8,
+  "framework_version": "1.0.2"
+ },
+ "readings_note": "machine, training and the lineage tail from an earlier reading; the page replaces them live"
+}

style.css

@@ -1,28 +1,125 @@
-body {
-	padding: 2rem;
-	font-family: -apple-system, BlinkMacSystemFont, "Arial", sans-serif;
+:root {
+  --bg: #07090a;
+  --panel: #0e1211;
+  --panel2: #121816;
+  --line: rgba(214, 178, 94, .16);
+  --line2: rgba(232, 230, 223, .08);
+  --text: #e8e6df;
+  --text2: #9ba59f;
+  --text3: #6d7771;
+  --gold: #d6b25e;
+  --green: #52d98a;
+  --amber: #e0a53a;
+  --red: #d9695a;
+  --sans: "IBM Plex Sans", ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif;
+  --mono: "IBM Plex Mono", ui-monospace, SFMono-Regular, Menlo, monospace;
 }
+* { box-sizing: border-box; }
+html { -webkit-text-size-adjust: 100%; }
+body { margin: 0; background: var(--bg); color: var(--text); font: 16px/1.6 var(--sans); }
+a { color: var(--gold); text-decoration: none; }
+a:hover { text-decoration: underline; }
+code { font-family: var(--mono); font-size: .88em; }
+.wrap { max-width: 1080px; margin: 0 auto; padding: 0 20px; }
 
-h1 {
-	font-size: 16px;
-	margin-top: 0;
-}
+/* hero */
+.hero { position: relative; overflow: hidden; border-bottom: 1px solid var(--line); min-height: 560px; display: flex; align-items: flex-end; }
+.hero-img { position: absolute; top: 0; right: 0; width: 60%; height: 100%; object-fit: cover; object-position: 30% 50%; opacity: .7; }
+.hero-shade { position: absolute; inset: 0; background: linear-gradient(90deg, var(--bg) 0%, var(--bg) 40%, rgba(7,9,10,.55) 62%, rgba(7,9,10,.1) 100%), linear-gradient(0deg, var(--bg) 0%, rgba(7,9,10,0) 35%); }
+.hero-body { position: relative; padding-top: 72px; padding-bottom: 40px; width: 100%; }
+.eyebrow { font: 500 .75rem/1 var(--mono); letter-spacing: .2em; text-transform: uppercase; color: var(--gold); margin: 0 0 18px; }
+h1 { font-size: clamp(2.6rem, 6vw, 4.2rem); line-height: 1.05; margin: 0 0 20px; font-weight: 600; letter-spacing: -.02em; }
+.lede { max-width: 620px; font-size: 1.12rem; color: var(--text); margin: 0 0 12px; }
+.lede2 { max-width: 620px; color: var(--text2); margin: 0 0 26px; }
+.cta { display: flex; flex-wrap: wrap; gap: 10px; margin-bottom: 22px; }
+.btn { display: inline-block; padding: 10px 18px; border: 1px solid var(--line); border-radius: 6px; color: var(--text); background: rgba(14,18,17,.7); font-weight: 500; font-size: .95rem; }
+.btn:hover { border-color: var(--gold); text-decoration: none; }
+.btn.primary { background: var(--gold); color: #0b0c0a; border-color: var(--gold); }
+.btn.primary:hover { background: #e4c273; }
+.pills { display: flex; flex-wrap: wrap; gap: 8px; min-height: 28px; }
+.pill { font: .78rem/1 var(--mono); padding: 7px 11px; border-radius: 999px; border: 1px solid var(--line2); background: rgba(14,18,17,.8); color: var(--text2); }
+.pill::before { content: ""; display: inline-block; width: 7px; height: 7px; border-radius: 50%; background: var(--text3); margin-right: 7px; vertical-align: 1px; }
+.pill.ok::before { background: var(--green); }
+.pill.warn::before { background: var(--amber); }
+.pill.bad::before { background: var(--red); }
+.pill.live::before { background: var(--green); animation: pulse 1.8s ease-in-out infinite; }
+@keyframes pulse { 50% { opacity: .3; } }
 
-p {
-	color: rgb(107, 114, 128);
-	font-size: 15px;
-	margin-bottom: 10px;
-	margin-top: 5px;
-}
+/* sections */
+section { padding: 56px 0 8px; }
+h2 { font-size: 1.5rem; margin: 0 0 18px; font-weight: 600; letter-spacing: -.01em; }
+h3 { font-size: 1.05rem; margin: 0 0 8px; font-weight: 600; }
+h3.sub { margin: 36px 0 10px; }
+h4 { font: 500 .72rem/1 var(--mono); letter-spacing: .16em; text-transform: uppercase; color: var(--text3); margin: 0 0 12px; }
+.head { display: flex; align-items: baseline; justify-content: space-between; gap: 12px; flex-wrap: wrap; }
+.freshness { font: .75rem var(--mono); color: var(--text3); }
+.freshness.live { color: var(--green); }
+.intro { color: var(--text2); max-width: 760px; margin: -6px 0 20px; }
+.note { color: var(--text2); font-size: .92rem; max-width: 760px; border-left: 2px solid var(--gold); padding: 2px 0 2px 14px; margin: 18px 0 0; }
 
-.card {
-	max-width: 620px;
-	margin: 0 auto;
-	padding: 16px;
-	border: 1px solid lightgray;
-	border-radius: 16px;
-}
+.cards { display: grid; gap: 14px; }
+.cards.four { grid-template-columns: repeat(auto-fit, minmax(230px, 1fr)); }
+.cards.three { grid-template-columns: repeat(auto-fit, minmax(290px, 1fr)); }
+.card { background: var(--panel); border: 1px solid var(--line2); border-radius: 10px; padding: 20px; }
+.card p { margin: 0; color: var(--text2); font-size: .94rem; }
+.card em { color: var(--gold); font-style: normal; }
+.door { color: inherit; display: block; transition: border-color .15s, background .15s; }
+.door:hover { border-color: var(--gold); background: var(--panel2); text-decoration: none; }
+.door h3 { font-family: var(--mono); font-size: .98rem; color: var(--text); }
+.kind { display: block; font: .7rem var(--mono); letter-spacing: .12em; text-transform: uppercase; color: var(--gold); margin-bottom: 10px; }
+
+/* vital tiles */
+.tiles { display: grid; grid-template-columns: repeat(auto-fill, minmax(240px, 1fr)); gap: 12px; }
+.tile { background: var(--panel); border: 1px solid var(--line2); border-radius: 10px; padding: 18px 20px; min-height: 124px; }
+.tile .k { font: .7rem var(--mono); letter-spacing: .14em; text-transform: uppercase; color: var(--text3); }
+.tile .v { font: 500 1.45rem/1.25 var(--mono); margin: 8px 0 6px; color: var(--text); overflow-wrap: anywhere; }
+.tile .v.ok { color: var(--green); } .tile .v.warn { color: var(--amber); } .tile .v.bad { color: var(--red); } .tile .v.gold { color: var(--gold); }
+.tile .s { font-size: .84rem; color: var(--text2); overflow-wrap: anywhere; }
+
+/* tables */
+.table-scroll { overflow-x: auto; border: 1px solid var(--line2); border-radius: 10px; }
+table { border-collapse: collapse; width: 100%; font-size: .88rem; }
+th, td { text-align: left; padding: 10px 14px; border-bottom: 1px solid var(--line2); vertical-align: top; }
+tr:last-child td { border-bottom: 0; }
+th { font: 500 .7rem var(--mono); letter-spacing: .12em; text-transform: uppercase; color: var(--text3); background: var(--panel); }
+td { color: var(--text2); }
+td.mono { font-family: var(--mono); color: var(--text); white-space: nowrap; }
+.tag { font: .74rem var(--mono); padding: 2px 8px; border-radius: 4px; white-space: nowrap; border: 1px solid currentColor; }
+.tag.ok { color: var(--green); } .tag.warn { color: var(--amber); } .tag.bad { color: var(--red); } .tag.dim { color: var(--text3); }
+table.predicates td:last-child { min-width: 320px; }
+
+/* lineage strip */
+.strip { display: grid; grid-template-columns: repeat(auto-fill, minmax(22px, 1fr)); gap: 4px; margin: 4px 0 12px; }
+.cell { aspect-ratio: 1; border-radius: 3px; position: relative; font: 9px/1 var(--mono); color: rgba(7,9,10,.75); display: flex; align-items: center; justify-content: center; cursor: default; }
+.sq { display: inline-block; width: 11px; height: 11px; border-radius: 2px; margin-right: 6px; vertical-align: -1px; }
+.s-pass { background: var(--green); }
+.s-reject { background: rgba(217,105,90,.55); }
+.s-fail { background: rgba(224,165,58,.55); }
+.s-live { background: var(--gold); animation: pulse 1.8s ease-in-out infinite; }
+.s-none { background: transparent; box-shadow: inset 0 0 0 1px var(--line2); }
+.cell.star { box-shadow: 0 0 0 2px var(--gold); }
+.legend { display: flex; flex-wrap: wrap; gap: 18px; font-size: .82rem; color: var(--text2); margin-bottom: 18px; }
+.now { font: .88rem var(--mono); color: var(--text); background: var(--panel); border: 1px solid var(--line2); border-radius: 8px; padding: 12px 14px; margin: 0 0 14px; overflow-wrap: anywhere; }
+.now:empty { display: none; }
+
+pre.code { background: #0a0d0c; border: 1px solid var(--line2); border-radius: 10px; padding: 16px 18px; overflow-x: auto; font: .82rem/1.55 var(--mono); color: #cfd6cf; margin: 0; }
+
+.links { display: grid; grid-template-columns: repeat(auto-fit, minmax(200px, 1fr)); gap: 24px; }
+.links a { display: block; padding: 4px 0; font-size: .95rem; }
+.terminal { color: var(--text2); font-size: .9rem; margin-top: 28px; overflow-wrap: anywhere; }
+
+.foot { border-top: 1px solid var(--line2); margin-top: 64px; padding-top: 24px; padding-bottom: 48px; color: var(--text3); font-size: .84rem; }
+.foot p { max-width: 760px; margin: 0 0 8px; }
 
-.card p:last-child {
-	margin-bottom: 0;
+@media (max-width: 640px) {
+  .wrap { padding: 0 16px; }
+  .hero { min-height: 0; }
+  .hero-img { width: 100%; opacity: .35; }
+  .hero-body { padding-top: 48px; }
+  .hero-shade { background: linear-gradient(0deg, var(--bg) 0%, rgba(7,9,10,.88) 60%, rgba(7,9,10,.6) 100%); }
+  section { padding-top: 44px; }
+  .strip { grid-template-columns: repeat(auto-fill, minmax(18px, 1fr)); gap: 3px; }
+  .cell { font-size: 0; }
+  table.predicates td:last-child { min-width: 240px; }
 }
+@media (prefers-reduced-motion: reduce) { .pill.live::before, .s-live { animation: none; } }