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