Immutable, offline proof receipts. Last-observed revisions aid discovery but never count as working evidence.
Compatibility baseline: v1.0.1-beta.1 (62eada434c050cb688598bef1ab4f5a25b5cb404, beta).
| project | branch | project revision | proof | SSpec / test | last known | follow-up |
|---|---|---|---|---|---|---|
| simple I01,I02,I03,I04,I06,I07,I08,A10 · public | main | da48c00098e843a0465ba36a5850e664685f6c6c | failed | simple test test/01_unit/app/ffi_gen/module_gen_spec.spl --mode=interpreterreview: basic-static test/01_unit/app/ffi_gen/module_gen_spec.spl | 2026-09-07T11:59:11Z | upstream blocker |
| simple-os I11,I12,I13,A23 · public | main | 78eec14178debc8021e875b1aa914986b741621cobserved, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple-erp A02 · public | main | 420d1b3d5ef6202b8e0807bd4c6d019d78a19176observed, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple-ubs I29 · public | main | adf78b92737ec5e160bbd6525c13a1797d637408observed, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple-ide I08,A01 · public | main | bc7110fce667ab91eab3095e6b78bb013df034ddobserved, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple-browser I24 · public | main | 4d8394fcbc06c317b04c9242ba7de3abb49397d5observed, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple-baremetal I12,I13 · public | main | 4c6ba6caa132a74274c95751f254df477ead4e82observed, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple-qemu I11,I12 · public | main | 73c5b6fc1e8a234eb99925e089454d111bd221c7observed, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple-riscv I10,I13 · public | main | 3a1414ff77d166e48d77d6848a586ac2179492bfobserved, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple_cuda_example I10,I26,I30 · public | main | b58990d9e5642437a32631c5ef0c36cf8b4ca7b0observed, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple-restaurant A03 · public | main | 58d124eec8afaca1cdb7f05b4fd65b22b808ccb5observed, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple-payment A07 · public | main | 72345b1e426d07c4e90aa4d4fb7ed930d864d12aobserved, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple-spostgre I18 · private | main | private revision withheld | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple-llm-cli-tools I08,I30 · private | main | private revision withheld | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple_deeplearning_study I30 · public | main | 1d274135da84953a7227dd2a25be2706326fd3c9observed, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple_game A13 · public | main | 5e9fc771f7b8e4664c90417083de55effa846d20observed, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple.nvim I08 · public | main | 8c79c19bc34c6f9832621a479cc4ab2118f73132observed, not proof v0.1.0-alpha.1 at 8c79c19bc34c6f9832621a479cc4ab2118f73132 | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple_obsidian_tools I08 · public | main | 835d9073a113b6fd12334ccd7c7ba4c0ca0b231eobserved, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple_cmake_tutorial I06 · public | main | 0e7dd5c5d2a63a8944f6062d7cfb734be36b4624observed, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| simple-mllvm-qemu-rtl I10,I12 · public | main | b65c7cf5a05ad55b18016433fcdcaf18b8fb9d9aobserved, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |
| svllm I30 · public | main | 4de0f9256cc8354b6409469c69553a79e2f4d5bfobserved, not proof | unverified | — | 2026-09-07T12:16:25Z (observation) | receipt required |