{
  "artifacts": {
    "mini_embed.npz": {
      "loss": null,
      "seed": 20260721,
      "sha256": "ae31a3a7214d1f142d8ea3f4f86c35bdedd7c108bc5d04ea00c87e7b674e6e3b",
      "steps": 0,
      "what": "V=64 d=12 L2 table. Not a foundation embed."
    },
    "moons.npz": {
      "acc": 0.93,
      "loss": 0.12973121797997034,
      "seed": 20260721,
      "sha256": "dda50e3b293534de3f5aec01ebf9f8d6688e06069931618dfd35f01369904104",
      "steps": 400,
      "what": "2\u21928\u21922 MLP on two moons. Not 1.5B."
    },
    "receipt_agent.npz": {
      "agree": 0.905,
      "loss": null,
      "seed": 20260721,
      "sha256": "8aca4d24c90d6159cbb2bb885c7a94822d715899437f58abe69fb5c9664a1381",
      "steps": 1531.0,
      "what": "ReceiptAgent-Nano 4-way gate silhouette; kernel is truth"
    },
    "tiny_khipu.npz": {
      "abstain": 1.0,
      "hallucinated": 0.0,
      "loss": null,
      "plan_valid": 1.0,
      "seed": 20260721,
      "sha256": "cc8d0385b2c75079669df809d7e4823f1ad8d9d535aec511446347490b11dff9",
      "steps": 280,
      "what": "TinyKhipu-Nano NAVIGATE/ABSTAIN silhouette"
    }
  },
  "conjecture_1": "OPEN",
  "cpu_numpy": "LIVE",
  "cuda": "UNAVAILABLE",
  "doctrine": "v11 LOCKED",
  "energy_j": null,
  "energy_status": "UNAVAILABLE",
  "honesty": "REPORTED",
  "id": "szl-khipu.training.v0.1.0",
  "locked": {
    "axioms": 14,
    "declarations": 749,
    "proven": 8,
    "sorries": 163
  },
  "loss": {
    "moons": 0.12973121797997034,
    "receipt_agent": null,
    "tiny_khipu": null
  },
  "proven_trust": false,
  "seed": 20260721,
  "steps": {
    "moons": 400,
    "receipt_agent": 1531.0,
    "tiny_khipu": 280
  },
  "ts": "2026-08-29T17:11:32.518042+00:00",
  "whatNot": [
    "Not Qwen",
    "Not 1.5B trained here",
    "Not SZL-Khipu-1.5B",
    "Not SZL-Forge-1.5B-ReceiptAgent",
    "Not a FlashAttention rehost",
    "Not SageAttention",
    "Lambda uniqueness remains Conjecture 1 OPEN",
    "No fabricated joules",
    "CUDA UNAVAILABLE",
    "proven_trust is false",
    "TinyKhipu is a NAVIGATE/ABSTAIN silhouette",
    "ReceiptAgent-Nano is a 4-way gate silhouette; the kernel is truth"
  ]
}