fix(auditor): harden nested metric recursion, fix clippy needless_range_loop, relabel Class 36/37 as simulation prototypes, clarify source-available licensing
Browse files
evidence/10_00/latest/MANIFEST.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
{
|
| 2 |
"cargo": "cargo 1.96.1 (356927216 2026-06-26)",
|
| 3 |
-
"created_utc": "2026-08-
|
| 4 |
"files": [
|
| 5 |
{
|
| 6 |
"path": "claims_audit.json",
|
|
@@ -14,8 +14,8 @@
|
|
| 14 |
},
|
| 15 |
{
|
| 16 |
"path": "cuneiform_semantic.json",
|
| 17 |
-
"sha256": "
|
| 18 |
-
"size":
|
| 19 |
},
|
| 20 |
{
|
| 21 |
"path": "dna_grow_transmission_experiment_receipt.json",
|
|
@@ -27,11 +27,26 @@
|
|
| 27 |
"sha256": "d5d8bde46cda040267a8749348be84f7447a45912a981a8e8d0c50675b0384bd",
|
| 28 |
"size": 421
|
| 29 |
},
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 30 |
{
|
| 31 |
"path": "hyper_kv.json",
|
| 32 |
"sha256": "1c7ebf40555e193b9e4f24f3bfbd00fff9ec31ce011be485aa789c0ef8b22289",
|
| 33 |
"size": 395
|
| 34 |
},
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 35 |
{
|
| 36 |
"path": "license_audit.json",
|
| 37 |
"sha256": "08e77e6fe90c341ada61587e3c900d360028660faf126ae5341a9ac9a0b77063",
|
|
@@ -84,15 +99,20 @@
|
|
| 84 |
},
|
| 85 |
{
|
| 86 |
"path": "z_turnstile_recursive_folding_advancement.json",
|
| 87 |
-
"sha256": "
|
| 88 |
-
"size":
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 89 |
}
|
| 90 |
],
|
| 91 |
-
"git_head": "
|
| 92 |
-
"git_status_porcelain": "M
|
| 93 |
"platform": "Windows-10-10.0.19045-SP0",
|
| 94 |
"python": "3.14.2 (tags/v3.14.2:df79316, Dec 5 2025, 17:18:21) [MSC v.1944 64 bit (AMD64)]",
|
| 95 |
"rustc": "rustc 1.96.1 (31fca3adb 2026-06-26)",
|
| 96 |
"schema": "zymatica.evidence-manifest.v2",
|
| 97 |
-
"source_tree_sha256": "
|
| 98 |
}
|
|
|
|
| 1 |
{
|
| 2 |
"cargo": "cargo 1.96.1 (356927216 2026-06-26)",
|
| 3 |
+
"created_utc": "2026-08-31T08:14:39.585383+00:00",
|
| 4 |
"files": [
|
| 5 |
{
|
| 6 |
"path": "claims_audit.json",
|
|
|
|
| 14 |
},
|
| 15 |
{
|
| 16 |
"path": "cuneiform_semantic.json",
|
| 17 |
+
"sha256": "560e067dd6d2711fb78b557af5be4d631115a3928b13a8ccc83199830ac62a73",
|
| 18 |
+
"size": 474
|
| 19 |
},
|
| 20 |
{
|
| 21 |
"path": "dna_grow_transmission_experiment_receipt.json",
|
|
|
|
| 27 |
"sha256": "d5d8bde46cda040267a8749348be84f7447a45912a981a8e8d0c50675b0384bd",
|
| 28 |
"size": 421
|
| 29 |
},
|
| 30 |
+
{
|
| 31 |
+
"path": "fec.json",
|
| 32 |
+
"sha256": "6ee9a26f4f014899b5215ec0535e461b1b2a02a8670690df07a809dbc14e1738",
|
| 33 |
+
"size": 132
|
| 34 |
+
},
|
| 35 |
+
{
|
| 36 |
+
"path": "groth16.json",
|
| 37 |
+
"sha256": "de819897f45e6a07504ba721363a967c6ea03185b81e451f1b1610ed3be64216",
|
| 38 |
+
"size": 172
|
| 39 |
+
},
|
| 40 |
{
|
| 41 |
"path": "hyper_kv.json",
|
| 42 |
"sha256": "1c7ebf40555e193b9e4f24f3bfbd00fff9ec31ce011be485aa789c0ef8b22289",
|
| 43 |
"size": 395
|
| 44 |
},
|
| 45 |
+
{
|
| 46 |
+
"path": "lean4_theorem.json",
|
| 47 |
+
"sha256": "d9239d09c79a8b91353e3fd4be0416ea0f16ed3b15d90039241ee12877370963",
|
| 48 |
+
"size": 166
|
| 49 |
+
},
|
| 50 |
{
|
| 51 |
"path": "license_audit.json",
|
| 52 |
"sha256": "08e77e6fe90c341ada61587e3c900d360028660faf126ae5341a9ac9a0b77063",
|
|
|
|
| 99 |
},
|
| 100 |
{
|
| 101 |
"path": "z_turnstile_recursive_folding_advancement.json",
|
| 102 |
+
"sha256": "c639c57f7f324c53ee0273f215c1a5cf765596b020785745e23bea5b8bd74e8c",
|
| 103 |
+
"size": 1290
|
| 104 |
+
},
|
| 105 |
+
{
|
| 106 |
+
"path": "zhqspec.json",
|
| 107 |
+
"sha256": "8d7e31ccc69b33b2281784a537e95b744149f3bca2b8a65bddab6ed91d4731bf",
|
| 108 |
+
"size": 224
|
| 109 |
}
|
| 110 |
],
|
| 111 |
+
"git_head": "10266252669ec21c71e3ee150f8f7bc91dc937ce",
|
| 112 |
+
"git_status_porcelain": "M LICENSES.md\n M claims/claims.jsonl\n M crates/zymatica-zk-mesh/groth16/src/ceremony.rs\n M evidence/10_00/latest/cuneiform_semantic.json\n M evidence/10_00/latest/z_turnstile_recursive_folding_advancement.json\n M tools/ten_out_of_ten/claims_audit.py\n M tools/ten_out_of_ten/semantic_cuneiform_eval.py\n M tools/verify_z_turnstile_folding.py\n M verify_release.py\n?? evidence/10_00/latest/fec.json\n?? evidence/10_00/latest/groth16.json\n?? evidence/10_00/latest/lean4_theorem.json\n?? evidence/10_00/latest/zhqspec.json",
|
| 113 |
"platform": "Windows-10-10.0.19045-SP0",
|
| 114 |
"python": "3.14.2 (tags/v3.14.2:df79316, Dec 5 2025, 17:18:21) [MSC v.1944 64 bit (AMD64)]",
|
| 115 |
"rustc": "rustc 1.96.1 (31fca3adb 2026-06-26)",
|
| 116 |
"schema": "zymatica.evidence-manifest.v2",
|
| 117 |
+
"source_tree_sha256": "b02b8be265c23152e6cc5ae6270f5f9644b171322d56e2c8011f5b6532b4f2a1"
|
| 118 |
}
|