{ "proof_version": "VAL-PROOF-LIVE-4.0", "generated_at": "2026-10-07T19:59:09.982Z", "canonical_url": "https://www.valeorine.com/proof.json", "human_readable": { "technology": "https://www.valeorine.com/technology", "benchmarks": "https://www.valeorine.com/benchmarks", "encyclopedia": "https://www.valeorine.com/reference" }, "build": { "source_commit": "5410b40c8c7b6be4277fa13c4a0ff7832ec56fd9", "source_commit_known": true, "engine_fingerprint": "b9baee4905c69b52cdf40cb85c76450323fced6dba34f3ec028e46f5ea5b84e9", "built_at": "2026-10-07T19:08:23.248Z", "lane_versions": { "documentary": { "version": "rdoc-multi-2.3.0", "rule": "rdoc-rule-4" }, "discovery": { "version": "rwd-1.0.0" }, "editorial": { "version": "red-1.0.0", "rule": "eec-realizer-2.6.1/reverse-1.9/quality-1.1/legacy-register-1.22/subject-scope-1.1/kbom-1.2/wd-1.4/pc-1.2" } }, "database_schema": "0808", "database_schema_available": true, "database_schema_error": null }, "live_certificates": { "end_to_end_100k": { "available": true, "data": { "at": "2026-10-07T19:59:05.138727+00:00", "rule": "Mission PROVEN requires a full 60-minute window, exact unique first-PASS lower-95% rate >=100000/hour at every required stage including NERVI100 and verified publication, zero publication rollback/error, and literal 100% current-corpus closure.", "accounting": "EXACT FIRST PASS PER ENTITY + CURRENT STANDARD", "proof_version": "end-to-end-100k-first-pass-2.1", "mission_proven": false, "gate_relaxation": false, "required_stages": [ "coverage", "documentary", "nervi", "ready", "nervi100", "publication_verified" ], "target_per_hour": 100000, "observed_minutes": 60, "target_proven_95": false, "first_pass_counts": { "nervi": 1127, "ready": 4, "coverage": 7888, "nervi100": 188, "documentary": 121, "publication_verified": 100 }, "full_window_ready": true, "corpus_certificate": { "at": "2026-10-07T19:59:05.138727+00:00", "gaps": { "nervi": 243934, "ready": 222378, "nervi100": 239626, "documentary": 216715, "search_coverage": 37314, "publication_verified": 242271 }, "rule": "100% is literal: every current corpus record must PASS every hard current-version contract and have a verified active public revision; UNKNOWN/FAIL never counts.", "corpus": 261589, "passes": { "nervi": 17655, "ready": 39211, "nervi100": 21963, "documentary": 44874, "search_coverage": 224275, "publication_verified": 19318 }, "percent": { "nervi": 6.7491, "ready": 14.9895, "nervi100": 8.396, "documentary": 17.1544, "search_coverage": 85.7356, "publication_verified": 7.3849 }, "accounting": "TRANSACTIONAL 16-SHARD-PER-STAGE EXACT ROLLUP", "rollup_version": "corpus-rollup-1.1-sharded", "rollup_updated_at": "2026-10-07T19:59:00.40106+00:00", "corpus_100_percent": false, "certificate_version": "corpus-closure-1.2-rollup", "knowledge_100_percent": false, "publication_100_percent": false, "rollup_shards_per_stage": 16 }, "point_rate_per_hour": { "nervi": 1127, "ready": 4, "coverage": 7888, "nervi100": 188, "documentary": 121, "publication_verified": 100 }, "measurement_started_at": "2026-10-07T11:59:39.487256+00:00", "publication_errors_60m": 0, "poisson95_lower_per_hour": { "nervi": 1061.2, "ready": 0.1, "coverage": 7713.9, "nervi100": 161.1, "documentary": 99.4, "publication_verified": 80.4 }, "end_to_end_low95_per_hour": 0.1, "nominal_capacity_is_proof": false, "publication_rollbacks_60m": 0 }, "error": null }, "corpus_closure": { "available": true, "data": { "at": "2026-10-07T19:59:05.143473+00:00", "gaps": { "nervi": 243934, "ready": 222378, "nervi100": 239626, "documentary": 216715, "search_coverage": 37314, "publication_verified": 242271 }, "rule": "100% is literal: every current corpus record must PASS every hard current-version contract and have a verified active public revision; UNKNOWN/FAIL never counts.", "corpus": 261589, "passes": { "nervi": 17655, "ready": 39211, "nervi100": 21963, "documentary": 44874, "search_coverage": 224275, "publication_verified": 19318 }, "percent": { "nervi": 6.7491, "ready": 14.9895, "nervi100": 8.396, "documentary": 17.1544, "search_coverage": 85.7356, "publication_verified": 7.3849 }, "accounting": "TRANSACTIONAL 16-SHARD-PER-STAGE EXACT ROLLUP", "rollup_version": "corpus-rollup-1.1-sharded", "rollup_updated_at": "2026-10-07T19:59:00.40106+00:00", "corpus_100_percent": false, "certificate_version": "corpus-closure-1.2-rollup", "knowledge_100_percent": false, "publication_100_percent": false, "rollup_shards_per_stage": 16 }, "error": null }, "world_best": { "available": true, "data": { "at": "2026-10-07T19:59:05.110225+00:00", "rule": "World-best may be claimed only when the internal 100k + literal 100% corpus mission is PROVEN and an independent external HTTPS attestation, hashed separately from the run, ranks VALÉORINE first overall, first for speed and first for quality against at least three explicitly listed comparable systems.", "status": "UNPROVEN_INTERNAL_MISSION", "protocol": "VAL-WKB-1.0", "world_best_proven": false, "certificate_version": "world-best-claim-1.1", "external_attestation": null, "internal_mission_proven": false, "external_comparison_present": false }, "error": null }, "mission_autopilot": { "available": true, "data": { "at": "2026-10-07T19:59:05.123713+00:00", "jobs": [ { "job": "recon-coverage-zero-pump-0795", "active": true, "schedule": "* * * * *" }, { "job": "recon-coverage-zero-refill-0795", "active": true, "schedule": "0-59/5 * * * *" }, { "job": "recon-doc-worker", "active": false, "schedule": "* * * * *" }, { "job": "recon-documentary-close-pump-0795", "active": true, "schedule": "* * * * *" }, { "job": "recon-documentary-prepare-0795", "active": true, "schedule": "3-59/5 * * * *" }, { "job": "recon-flow-control", "active": true, "schedule": "* * * * *" }, { "job": "recon-mission-autopilot", "active": true, "schedule": "* * * * *" }, { "job": "recon-nervi-ready-survival-0795", "active": true, "schedule": "* * * * *" }, { "job": "recon-nervi100-refresh-0", "active": false, "schedule": "* * * * *" }, { "job": "recon-nervi100-refresh-1", "active": true, "schedule": "4-59/5 * * * *" }, { "job": "recon-predictive-100k-controller", "active": true, "schedule": "1-59/5 * * * *" }, { "job": "recon-publication-native-activate-1", "active": false, "schedule": "* * * * *" }, { "job": "recon-publication-native-activate-2", "active": false, "schedule": "* * * * *" }, { "job": "recon-publication-proof-worker", "active": true, "schedule": "* * * * *" }, { "job": "recon-writer-backfill-worker", "active": false, "schedule": "* * * * *" }, { "job": "recon-writer-refill-0796", "active": true, "schedule": "2-59/5 * * * *" }, { "job": "source-recovery-worker", "active": false, "schedule": "* * * * *" } ], "rule": "0796: predictive logic plans only; heavy scientific work is executed once by canonical pressure-aware lane owners. No gate threshold is relaxed.", "version": "mission-autopilot-1.2-decoupled", "last_run": { "id": 375, "errors": [], "actions": [ "supervisor-heartbeat-0795" ], "started_at": "2026-10-07T19:59:00.362867+00:00", "finished_at": "2026-10-07T19:59:01.017685+00:00", "runtime_proof": { "at": "2026-10-07T19:59:00.346387+00:00", "rule": "Mission PROVEN requires a full 60-minute window, exact unique first-PASS lower-95% rate >=100000/hour at every required stage including NERVI100 and verified publication, zero publication rollback/error, and literal 100% current-corpus closure.", "accounting": "EXACT FIRST PASS PER ENTITY + CURRENT STANDARD", "proof_version": "end-to-end-100k-first-pass-2.1", "mission_proven": false, "gate_relaxation": false, "required_stages": [ "coverage", "documentary", "nervi", "ready", "nervi100", "publication_verified" ], "target_per_hour": 100000, "observed_minutes": 60, "target_proven_95": false, "first_pass_counts": { "nervi": 1127, "ready": 4, "coverage": 7856, "nervi100": 188, "documentary": 103, "publication_verified": 100 }, "full_window_ready": true, "corpus_certificate": { "at": "2026-10-07T19:59:00.346387+00:00", "gaps": { "nervi": 243934, "ready": 222378, "nervi100": 239626, "documentary": 216733, "search_coverage": 37346, "publication_verified": 242271 }, "rule": "100% is literal: every current corpus record must PASS every hard current-version contract and have a verified active public revision; UNKNOWN/FAIL never counts.", "corpus": 261589, "passes": { "nervi": 17655, "ready": 39211, "nervi100": 21963, "documentary": 44856, "search_coverage": 224243, "publication_verified": 19318 }, "percent": { "nervi": 6.7491, "ready": 14.9895, "nervi100": 8.396, "documentary": 17.1475, "search_coverage": 85.7234, "publication_verified": 7.3849 }, "accounting": "TRANSACTIONAL 16-SHARD-PER-STAGE EXACT ROLLUP", "rollup_version": "corpus-rollup-1.1-sharded", "rollup_updated_at": "2026-10-07T19:58:00.444839+00:00", "corpus_100_percent": false, "certificate_version": "corpus-closure-1.2-rollup", "knowledge_100_percent": false, "publication_100_percent": false, "rollup_shards_per_stage": 16 }, "point_rate_per_hour": { "nervi": 1127, "ready": 4, "coverage": 7856, "nervi100": 188, "documentary": 103, "publication_verified": 100 }, "measurement_started_at": "2026-10-07T11:59:39.487256+00:00", "publication_errors_60m": 0, "poisson95_lower_per_hour": { "nervi": 1061.2, "ready": 0.1, "coverage": 7682.3, "nervi100": 161.1, "documentary": 83.1, "publication_verified": 80.4 }, "end_to_end_low95_per_hour": 0.1, "nominal_capacity_is_proof": false, "publication_rollbacks_60m": 0 }, "certificate_after": { "at": "2026-10-07T19:59:00.346387+00:00", "gaps": { "nervi": 243934, "ready": 222378, "nervi100": 239626, "documentary": 216733, "search_coverage": 37346, "publication_verified": 242271 }, "rule": "100% is literal: every current corpus record must PASS every hard current-version contract and have a verified active public revision; UNKNOWN/FAIL never counts.", "corpus": 261589, "passes": { "nervi": 17655, "ready": 39211, "nervi100": 21963, "documentary": 44856, "search_coverage": 224243, "publication_verified": 19318 }, "percent": { "nervi": 6.7491, "ready": 14.9895, "nervi100": 8.396, "documentary": 17.1475, "search_coverage": 85.7234, "publication_verified": 7.3849 }, "accounting": "TRANSACTIONAL 16-SHARD-PER-STAGE EXACT ROLLUP", "rollup_version": "corpus-rollup-1.1-sharded", "rollup_updated_at": "2026-10-07T19:58:00.444839+00:00", "corpus_100_percent": false, "certificate_version": "corpus-closure-1.2-rollup", "knowledge_100_percent": false, "publication_100_percent": false, "rollup_shards_per_stage": 16 } }, "certificate": { "at": "2026-10-07T19:59:05.123713+00:00", "gaps": { "nervi": 243934, "ready": 222378, "nervi100": 239626, "documentary": 216715, "search_coverage": 37314, "publication_verified": 242271 }, "rule": "100% is literal: every current corpus record must PASS every hard current-version contract and have a verified active public revision; UNKNOWN/FAIL never counts.", "corpus": 261589, "passes": { "nervi": 17655, "ready": 39211, "nervi100": 21963, "documentary": 44874, "search_coverage": 224275, "publication_verified": 19318 }, "percent": { "nervi": 6.7491, "ready": 14.9895, "nervi100": 8.396, "documentary": 17.1544, "search_coverage": 85.7356, "publication_verified": 7.3849 }, "accounting": "TRANSACTIONAL 16-SHARD-PER-STAGE EXACT ROLLUP", "rollup_version": "corpus-rollup-1.1-sharded", "rollup_updated_at": "2026-10-07T19:59:00.40106+00:00", "corpus_100_percent": false, "certificate_version": "corpus-closure-1.2-rollup", "knowledge_100_percent": false, "publication_100_percent": false, "rollup_shards_per_stage": 16 }, "runtime_proof": { "at": "2026-10-07T19:59:05.123713+00:00", "rule": "Mission PROVEN requires a full 60-minute window, exact unique first-PASS lower-95% rate >=100000/hour at every required stage including NERVI100 and verified publication, zero publication rollback/error, and literal 100% current-corpus closure.", "accounting": "EXACT FIRST PASS PER ENTITY + CURRENT STANDARD", "proof_version": "end-to-end-100k-first-pass-2.1", "mission_proven": false, "gate_relaxation": false, "required_stages": [ "coverage", "documentary", "nervi", "ready", "nervi100", "publication_verified" ], "target_per_hour": 100000, "observed_minutes": 60, "target_proven_95": false, "first_pass_counts": { "nervi": 1127, "ready": 4, "coverage": 7888, "nervi100": 188, "documentary": 121, "publication_verified": 100 }, "full_window_ready": true, "corpus_certificate": { "at": "2026-10-07T19:59:05.123713+00:00", "gaps": { "nervi": 243934, "ready": 222378, "nervi100": 239626, "documentary": 216715, "search_coverage": 37314, "publication_verified": 242271 }, "rule": "100% is literal: every current corpus record must PASS every hard current-version contract and have a verified active public revision; UNKNOWN/FAIL never counts.", "corpus": 261589, "passes": { "nervi": 17655, "ready": 39211, "nervi100": 21963, "documentary": 44874, "search_coverage": 224275, "publication_verified": 19318 }, "percent": { "nervi": 6.7491, "ready": 14.9895, "nervi100": 8.396, "documentary": 17.1544, "search_coverage": 85.7356, "publication_verified": 7.3849 }, "accounting": "TRANSACTIONAL 16-SHARD-PER-STAGE EXACT ROLLUP", "rollup_version": "corpus-rollup-1.1-sharded", "rollup_updated_at": "2026-10-07T19:59:00.40106+00:00", "corpus_100_percent": false, "certificate_version": "corpus-closure-1.2-rollup", "knowledge_100_percent": false, "publication_100_percent": false, "rollup_shards_per_stage": 16 }, "point_rate_per_hour": { "nervi": 1127, "ready": 4, "coverage": 7888, "nervi100": 188, "documentary": 121, "publication_verified": 100 }, "measurement_started_at": "2026-10-07T11:59:39.487256+00:00", "publication_errors_60m": 0, "poisson95_lower_per_hour": { "nervi": 1061.2, "ready": 0.1, "coverage": 7713.9, "nervi100": 161.1, "documentary": 99.4, "publication_verified": 80.4 }, "end_to_end_low95_per_hour": 0.1, "nominal_capacity_is_proof": false, "publication_rollbacks_60m": 0 }, "first_pass_15m": { "nervi": 287, "ready": 1, "total": 1689, "coverage": 1173, "nervi100": 77, "documentary": 121, "publication_verified": 30 }, "mission_proven": false, "execution_model": "single-owner adaptive pumps + phase-separated refill/control", "corpus_100_percent": false, "target_100k_proven": false, "no_first_pass_progress_15m": false }, "error": null } }, "operational_counts": { "available": false, "source": "database function recon_public_operational_counts (live, read-only)", "error": "canceling statement due to statement timeout", "counts": null, "semantics": { "authority": "Operational counts are descriptive only. They never certify completion; literal 100% claims are governed exclusively by live_certificates.corpus_closure and claim_status.literal_100_percent_current_corpus.", "public_pages": "public_pages = rows in reference_public_index (public index pages). A public page is NOT necessarily a strict publication_verified record.", "publication_verified_strict": "Strict certificate stage: active revision present AND verified (recon_page_state.active_revision_id and verified_at both set).", "nervi_current_standard_pass": "PASS under the current NERVI standard nec-1.3.0 only.", "nervi_active_pass_all_present_versions": "PASS under any NERVI contract version currently present (e.g. nec-1.1.0 + nec-1.3.0). NOT the same as current-standard nec-1.3.0 certification.", "separate_sets": "NERVI100 (n100-1.0), READY (rfn-1.1) and public pages are separate sets; counts must not be added or substituted. Overlaps are reported only in intersections.", "interchangeable": false } }, "symbolic_science": { "version": "sse-1.0.0", "declared_capabilities": 37, "passed": 37, "all_pass": true, "checks": [ { "id": "cryptology", "pass": true, "evidence": "reversible classical cryptography + cryptanalysis + SHA-256" }, { "id": "cryptanalysis", "pass": true, "evidence": "frequency cryptanalysis recovers a +3 Caesar fixture" }, { "id": "coding-theory", "pass": true, "evidence": "Hamming(7,4) corrects one-bit error" }, { "id": "symbolic-encoding", "pass": true, "evidence": "symbol→position/class/vector" }, { "id": "alphanumeric-coding", "pass": true, "evidence": "A→1 and 0→27 mapping" }, { "id": "numeric-letter-coding", "pass": true, "evidence": "A1Z26 deterministic mapping" }, { "id": "modular-arithmetic", "pass": true, "evidence": "canonical modulo + residue cycles" }, { "id": "number-theory", "pass": true, "evidence": "prime/divisibility/congruence fixtures" }, { "id": "combinatorics", "pass": true, "evidence": "C(5,2)=10 and 3!=6" }, { "id": "information-theory", "pass": true, "evidence": "entropy + redundancy" }, { "id": "shannon-entropy", "pass": true, "evidence": "balanced binary entropy=1 bit" }, { "id": "information-compression", "pass": true, "evidence": "LZ/MDL upper-bound proxy" }, { "id": "frequency-analysis", "pass": true, "evidence": "exact frequency count" }, { "id": "sequence-analysis", "pass": true, "evidence": "deltas + transitions" }, { "id": "ngrams", "pass": true, "evidence": "2-gram fixture" }, { "id": "frequency-matrices", "pass": true, "evidence": "matrix conserves total count" }, { "id": "linear-algebra", "pass": true, "evidence": "power iteration recovers dominant eigenvalue 2" }, { "id": "spectral-analysis", "pass": true, "evidence": "DFT detects period-2 component" }, { "id": "autocorrelation", "pass": true, "evidence": "positive lag-2 correlation" }, { "id": "graph-theory", "pass": true, "evidence": "co-occurrence graph + components" }, { "id": "finite-automata", "pass": true, "evidence": "DFA accepts even number of a symbols" }, { "id": "formal-languages", "pass": true, "evidence": "regular grammar compiled to DFA" }, { "id": "algorithmic-information", "pass": true, "evidence": "LZ phrase complexity distinguishes repetition" }, { "id": "kolmogorov", "pass": true, "evidence": "explicit non-exact MDL/LZ upper-bound proxy" }, { "id": "pattern-recognition", "pass": true, "evidence": "period detector recovers p=2" }, { "id": "text-data-mining", "pass": true, "evidence": "bounded multi-family relation miner with FDR q-values" }, { "id": "statistical-anomalies", "pass": true, "evidence": "z-score isolates injected outlier" }, { "id": "hypothesis-testing", "pass": true, "evidence": "seeded permutation test rejects separated means" }, { "id": "multiple-comparisons", "pass": true, "evidence": "Bonferroni + Holm + BH-FDR" }, { "id": "monte-carlo", "pass": true, "evidence": "seeded permutation null model preserves multiset" }, { "id": "invariants", "pass": true, "evidence": "case/diacritic/punctuation invariant signature" }, { "id": "steganalysis", "pass": true, "evidence": "acrostic/telestich/spacing channels inspected" }, { "id": "positional-coding", "pass": true, "evidence": "sentence/word/letter coordinates" }, { "id": "combinatorial-addressing", "pass": true, "evidence": "injective Cantor-paired coordinates on fixture" }, { "id": "text-hash", "pass": true, "evidence": "standard SHA-256 abc vector" }, { "id": "multidimensional-coding", "pass": true, "evidence": "position+counts+entropy+LZ+period+hash vector" }, { "id": "combinatorial-cryptography", "pass": true, "evidence": "permutation rank/unrank + bounded transposition" }, { "id": "manifest-integrity", "pass": true, "evidence": "one executable proof check per declared discipline" } ], "public_proof": "https://www.valeorine.com/api/public/symbolic-science-proof", "production_contract": "sse-2.0.0", "production_proof": "https://www.valeorine.com/api/public/scientific-analysis-proof", "scope_note": "37/37 capability proof does not prove a hidden code exists in any particular text." }, "claim_status": { "exact_first_pass_100k_end_to_end": "UNPROVEN", "literal_100_percent_current_corpus": "UNPROVEN", "internal_mission_100k_plus_100_percent": "UNPROVEN", "symbolic_science_37_of_37": "PROVEN", "world_best_under_val_wkb_1_0": "UNPROVEN", "continuous_mission_autopilot": "ACTIVE" }, "claim_rules": { "throughput": "PROVEN only after a full 60-minute window where the lower 95% exact-first-PASS rate is >=100,000/hour at Coverage, Documentary, NERVI, READY, NERVI100 and verified publication, with zero publication rollback/error.", "corpus": "PROVEN only when every current corpus record passes every hard current-version contract and has a verified active public revision.", "world_best": "PROVEN only when the internal mission is PROVEN and an independent VAL-WKB-1.0 attestation ranks VALÉORINE first overall, first for speed and first for quality against at least three comparable systems.", "mission_autopilot": "ACTIVE means the per-minute mission controller is installed and active. It does not imply 100% corpus or 100k/h; those remain governed by their own certificates.", "no_marketing_override": true }, "discovery": { "robots": "https://www.valeorine.com/robots.txt", "llms": "https://www.valeorine.com/llms.txt", "sitemap": "https://www.valeorine.com/sitemap.xml", "well_known_proof": "https://www.valeorine.com/.well-known/valeorine-proof.json", "mission_proof": "https://www.valeorine.com/mission-proof.json", "facts": "https://www.valeorine.com/facts.json", "symbolic_science": "https://www.valeorine.com/api/public/symbolic-science-proof", "scientific_analysis": "https://www.valeorine.com/api/public/scientific-analysis-proof" }, "historical_baseline": { "proof_version": "VAL-PROOF-2026-10-05.2", "issued_at": "2026-10-05T12:40:21.390247Z", "engine_git_commit": "6705113fec3100f270012196ac6ce5cd8f1920bd", "world_best_status": "UNPROVEN", "unique_ready_records": 14, "frozen_scale_benchmark": { "protocol": "NERVI-SCALE-BENCH-1.0", "manifest_sha256": "7b699a47a79baa8a093e562ef0681220451e053c2615b5775e3e7d5ffe1a9ff7", "nested_cohorts": [ 10, 100, 1000 ], "stored_evidence_compile_validation_records_per_hour": 55630, "measurement_boundary": "Stored-evidence compilation and validation only; external evidence acquisition and source latency are outside this throughput figure." }, "note": "Historical baseline only. Current claims are governed exclusively by live_certificates and claim_status above." } }