File size: 2,158 Bytes
57f97ec 6fd9491 57f97ec | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 | {
"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"
]
}
|