fix(auditor): harden nested metric recursion, fix clippy needless_range_loop, relabel Class 36/37 as simulation prototypes, clarify source-available licensing

claims/claims.jsonl

@@ -0,0 +1,14 @@
+{"claim_id": "CLAIM-CUNEIFORM-001", "scope": "Cuneiform-U Coordinate Codec", "claim": "Exact 24-bit (3-byte) lossless nibble packing and reconstruction of 6D coordinates across 10,000 randomized test vectors.", "status": "FORMALLY_PROVEN_AND_TESTED", "code_entry": "crates/zymatica-language-u/02_Cuneiform_U_Hypercube_Yin/src/rust", "evidence_files": ["evidence/10_00/latest/cuneiform_semantic.json"], "metrics": {"packing_fidelity": 1.0, "coordinate_bits": 24, "byte_size": 3}, "reproduction_command": "python tools/ten_out_of_ten/semantic_cuneiform_eval.py"}
+{"claim_id": "CLAIM-CUNEIFORM-002", "scope": "Geodesic Delta Radicals", "claim": "Manifold geodesic delta encoding achieves >10x wire compression on sequential tactical streams vs raw UTF-8 text.", "status": "EMPIRICALLY_MEASURED", "code_entry": "verify_frontier_suite.py", "evidence_files": ["evidence/10_00/latest/cuneiform_semantic.json"], "metrics": {"compression_ratio_vs_utf8": 11.625, "wire_bytes": 8, "raw_utf8_bytes": 93}, "reproduction_command": "python verify_frontier_suite.py"}
+{"claim_id": "CLAIM-CUNEIFORM-003", "scope": "Multilingual Semantic Ontology", "claim": "Frozen semantic concept dataset demonstrates zero coordinate collisions and 100% reverse lookup accuracy across multilingual synonyms.", "status": "EMPIRICALLY_MEASURED", "code_entry": "tools/ten_out_of_ten/semantic_cuneiform_eval.py", "evidence_files": ["evidence/10_00/latest/cuneiform_semantic.json"], "metrics": {"collision_rate": 0.0, "semantic_reverse_accuracy": 1.0, "multilingual_invariance_score": 1.0}, "reproduction_command": "python tools/ten_out_of_ten/semantic_cuneiform_eval.py"}
+{"claim_id": "CLAIM-HYPERKV-001", "scope": "Hyper-KV Cache Compression", "claim": "Real-model KV cache low-rank compression on SmolLM2-135M-Instruct achieves >4x compression ratio with >90% top-1 parity and low KL divergence.", "status": "EMPIRICALLY_MEASURED", "code_entry": "tools/ten_out_of_ten/real_model_validation.py", "evidence_files": ["evidence/10_00/latest/hyper_kv.json"], "model_id": "HuggingFaceTB/SmolLM2-135M-Instruct", "metrics": {"mean_compression_ratio": 4.12, "next_step_top1_parity": 0.96875, "next_step_kl_mean": 0.0214}, "reproduction_command": "python tools/ten_out_of_ten/real_model_validation.py hyper-kv --model HuggingFaceTB/SmolLM2-135M-Instruct --prompts evidence/prompts.txt --output evidence/10_00/latest/hyper_kv.json"}
+{"claim_id": "CLAIM-WORMHOLE-001", "scope": "Z-WORMHOLE Cross-Model Bridge", "claim": "Learned reduced-rank ridge projection bridges SmolLM2-135M to SmolLM2-135M-Instruct achieving >0.85 held-out cosine similarity and >75% top-1 agreement.", "status": "EMPIRICALLY_MEASURED", "code_entry": "tools/ten_out_of_ten/real_model_validation.py", "evidence_files": ["evidence/10_00/latest/wormhole.json"], "model_id": "SmolLM2-135M -> SmolLM2-135M-Instruct", "metrics": {"heldout_cosine_mean": 0.884, "heldout_top1_agreement": 0.781, "intermediate_dim": 64}, "reproduction_command": "python tools/ten_out_of_ten/real_model_validation.py wormhole-train --source-model HuggingFaceTB/SmolLM2-135M --target-model HuggingFaceTB/SmolLM2-135M-Instruct --prompts evidence/prompts.txt --output evidence/10_00/latest/wormhole.json"}
+{"claim_id": "CLAIM-EPIGENETIC-001", "scope": "Exact Orthogonal Nullspace Projection (NEWM)", "claim": "Linear weight update projection onto orthogonal activation nullspace restricts calibration delta to <1e-4 while improving adaptation objective with honest +0.41% base loss delta.", "status": "FORMALLY_PROVEN_AND_EMPIRICALLY_MEASURED", "code_entry": "tools/ten_out_of_ten/real_model_validation.py", "evidence_files": ["evidence/10_00/latest/epigenetic.json"], "model_id": "HuggingFaceTB/SmolLM2-135M-Instruct", "metrics": {"max_abs_calibration_activation_delta": 3.4e-06, "adapt_loss_relative_change": -0.142, "base_loss_relative_change": 0.0041, "nullspace_rank": 64}, "reproduction_command": "python tools/ten_out_of_ten/real_model_validation.py epigenetic --model HuggingFaceTB/SmolLM2-135M-Instruct --base-prompts evidence/base.txt --adapt-prompts evidence/adapt.txt --output evidence/10_00/latest/epigenetic.json"}
+{"claim_id": "CLAIM-ZMCTS-001", "scope": "Z-MCTS Latent Tree Search", "claim": "Deterministic PUCT search in 8D latent axis space yields positive log-probability improvement on real LM-head evaluator on >75% of held-out prompts.", "status": "EMPIRICALLY_MEASURED", "code_entry": "tools/ten_out_of_ten/real_model_validation.py", "evidence_files": ["evidence/10_00/latest/mcts.json"], "model_id": "SmolLM2-135M / SmolLM2-135M-Instruct", "metrics": {"success_fraction": 0.78125, "mean_reference_logprob_improvement": 0.458, "median_reference_logprob_improvement": 0.412}, "reproduction_command": "python tools/ten_out_of_ten/real_model_validation.py mcts-lmhead --source-model HuggingFaceTB/SmolLM2-135M --target-model HuggingFaceTB/SmolLM2-135M-Instruct --bridge evidence/10_00/latest/wormhole.json --prompts evidence/prompts.txt --output evidence/10_00/latest/mcts.json"}
+{"claim_id": "CLAIM-ZHQSPEC-001", "scope": "Z-HQSpec Holomorphic Speculation", "claim": "Holomorphic 6D kinematic semantic velocity projects speculative candidate draft tokens within internal SRAM without requiring secondary draft model VRAM.", "status": "SIMULATION_AND_PROTOTYPE", "code_entry": "crates/zymatica-language-u/30_Holomorphic_Speculative_Engine", "evidence_files": ["evidence/10_00/latest/zhqspec.json"], "metrics": {"projection_latency_us": 120.0, "speculative_depth": 6, "vram_overhead_mb": 0.0}, "reproduction_command": "python crates/zymatica-language-u/30_Holomorphic_Speculative_Engine/run_proof.py"}
+{"claim_id": "CLAIM-GROTH16-001", "scope": "ZK-LoRaWAN Groth16 MPC Ceremony", "claim": "Groth16 SNARK prover and verifier over BN254 curve uses standard Keccak-256 and SHA-256 for public transcript hashing with verified Known Answer Tests.", "status": "CRYPTOGRAPHICALLY_VERIFIED", "code_entry": "crates/zymatica-zk-mesh/groth16", "evidence_files": ["evidence/10_00/latest/groth16.json"], "metrics": {"hash_algorithm": "Keccak-256 / SHA-256", "kat_verified": true, "curve": "BN254"}, "reproduction_command": "cargo test --package zk-lorawan-groth16"}
+{"claim_id": "CLAIM-RF-001", "scope": "Physical 915MHz LoRa Telemetry", "claim": "Physical RF telemetry transmission at 915MHz SF7 provides bit-exact self-reconstructing receiver capture verified by hardware CRC-16, MiMC-7 nullifier, and Groth16 BN254 curve proof.", "status": "HARDWARE_AND_CRYPTOGRAPHICALLY_VERIFIED", "code_entry": "tools/ten_out_of_ten/verify_rf_evidence.py", "evidence_files": ["evidence/10_00/latest/rf_phase16.json"], "metrics": {"frequency_mhz": 915.0, "rssi_dbm": -88.4, "snr_db": 9.6, "crc16_valid": true, "cuneiform_asserted": true, "groth16_bn254_verified": true, "overall_rf_pass": true}, "reproduction_command": "python tools/ten_out_of_ten/verify_rf_evidence.py"}
+{"claim_id": "CLAIM-FEC-001", "scope": "XOR-FEC Parity Reconstruction", "claim": "Single-block XOR-FEC parity self-heals corrupted packet payloads under 20% burst packet erasure (1 out of 5 blocks).", "status": "SIMULATION_PROVEN", "code_entry": "verify_frontier_suite.py", "evidence_files": ["evidence/10_00/latest/fec.json"], "metrics": {"erasure_loss_percentage": 20.0, "recovery_exact": true}, "reproduction_command": "python verify_frontier_suite.py"}
+{"claim_id": "CLAIM-LEAN-001", "scope": "Lean 4 Formal Theorem", "claim": "Formally verified theorem in Lean 4 proves exact orthogonality of projected linear updates against activation direction: inner(a, x - (inner(x, a)/||a||^2) * a) = 0.", "status": "FORMALLY_PROVEN", "code_entry": "formal_proofs/nullspace_orthogonality.lean", "evidence_files": ["evidence/10_00/latest/lean4_theorem.json"], "metrics": {"lean_version": "Lean 4", "theorem": "nullspace_orthogonality", "proof_valid": true}, "reproduction_command": "lean formal_proofs/nullspace_orthogonality.lean"}
+{"claim_id": "CLAIM-TURNSTILE-001", "scope": "Z-Turnstile Semantic Conservation", "claim": "Simulated topological Hamiltonian energy conservation prototype modeling zero semantic leakage during discrete 6D Cuneiform-U lattice projection.", "status": "SIMULATION_AND_PROTOTYPE", "code_entry": "crates/zymatica-language-u/36_Z_Turnstile_Semantic_Conservation", "evidence_files": ["evidence/10_00/latest/z_turnstile_recursive_folding_advancement.json"], "metrics": {"conservation_delta_pct": 0.0, "turnstile_status": "CONSERVED"}, "reproduction_command": "python tools/verify_z_turnstile_folding.py"}
+{"claim_id": "CLAIM-FOLDING-001", "scope": "Recursive ZK-Mesh Proof Folding", "claim": "Simulated homomorphic elliptic curve accumulator prototype modeling N-hop LoRa mesh proof aggregation into a constant 128-byte proof container targeting 1 Solana pairing check.", "status": "SIMULATION_ONLY", "code_entry": "crates/zymatica-language-u/37_Recursive_ZK_Mesh_Proof_Folding", "evidence_files": ["evidence/10_00/latest/z_turnstile_recursive_folding_advancement.json"], "metrics": {"final_folded_proof_bytes": 128, "total_hops_folded": 5}, "reproduction_command": "python tools/verify_z_turnstile_folding.py"}