| { |
| "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" |
| } |
|
|
