{
  "proof_surface": "valeorine.scientific-analysis",
  "production_contract": "sse-2.0.0",
  "capability_manifest": {
    "declared": 37,
    "executable": 37,
    "self_check_pass": 37,
    "all_pass": true,
    "disciplines": [
      "cryptology",
      "cryptanalysis",
      "coding-theory",
      "symbolic-encoding",
      "alphanumeric-coding",
      "numeric-letter-coding",
      "modular-arithmetic",
      "number-theory",
      "combinatorics",
      "information-theory",
      "shannon-entropy",
      "information-compression",
      "frequency-analysis",
      "sequence-analysis",
      "ngrams",
      "frequency-matrices",
      "linear-algebra",
      "spectral-analysis",
      "autocorrelation",
      "graph-theory",
      "finite-automata",
      "formal-languages",
      "algorithmic-information",
      "kolmogorov",
      "pattern-recognition",
      "text-data-mining",
      "statistical-anomalies",
      "hypothesis-testing",
      "multiple-comparisons",
      "monte-carlo",
      "invariants",
      "steganalysis",
      "positional-coding",
      "combinatorial-addressing",
      "text-hash",
      "multidimensional-coding",
      "combinatorial-cryptography"
    ],
    "fixture_self_proof": {
      "version": "sse-1.0.0",
      "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"
        }
      ]
    }
  },
  "mathematical_science_router": {
    "version": "msr-1.0.0",
    "declared_modules": 32,
    "self_proof": {
      "version": "msr-1.0.0",
      "declared": 32,
      "checked": 32,
      "passed": 32,
      "all_pass": true,
      "checks": [
        {
          "id": "position-difference",
          "pass": true,
          "evidence": "10-3=7"
        },
        {
          "id": "rank-normalisation",
          "pass": true,
          "evidence": "10/4=2.5"
        },
        {
          "id": "dimensionless-gap",
          "pass": true,
          "evidence": "9-4=5 on dimensionless/common-unit quantities"
        },
        {
          "id": "hierarchical-quotient",
          "pass": true,
          "evidence": "12/3=4"
        },
        {
          "id": "module-composition",
          "pass": true,
          "evidence": "3×4=12"
        },
        {
          "id": "modular-expansion",
          "pass": true,
          "evidence": "20 mod 7=6"
        },
        {
          "id": "ratio-reduction",
          "pass": true,
          "evidence": "12:18→2:3"
        },
        {
          "id": "inverse-trig-angle",
          "pass": true,
          "evidence": "rise=run→45°"
        },
        {
          "id": "seked",
          "pass": true,
          "evidence": "1:1 slope→7 palms/cubit"
        },
        {
          "id": "rectangle",
          "pass": true,
          "evidence": "3×4 rectangle area=12"
        },
        {
          "id": "section-difference",
          "pass": true,
          "evidence": "10-6=4 section-width reduction"
        },
        {
          "id": "symmetric-corbel",
          "pass": true,
          "evidence": "(10-6)/2=2"
        },
        {
          "id": "uniform-partition",
          "pass": true,
          "evidence": "12/4=3 uniform partition"
        },
        {
          "id": "direction-slope",
          "pass": true,
          "evidence": "Δy/Δz=2"
        },
        {
          "id": "slope-angle",
          "pass": true,
          "evidence": "slope 1→45°"
        },
        {
          "id": "euclidean-norm-3d",
          "pass": true,
          "evidence": "3-4-12 norm=13"
        },
        {
          "id": "cartesian-datum",
          "pass": true,
          "evidence": "3D datum translation"
        },
        {
          "id": "axis-translation",
          "pass": true,
          "evidence": "x-axis translation by +4"
        },
        {
          "id": "half-area-scale",
          "pass": true,
          "evidence": "similar section scale squared=1/2"
        },
        {
          "id": "homothety",
          "pass": true,
          "evidence": "homothety 5×0.4=2"
        },
        {
          "id": "unit-conversion",
          "pass": true,
          "evidence": "explicit factor conversion"
        },
        {
          "id": "golden-ratio",
          "pass": true,
          "evidence": "φ definition"
        },
        {
          "id": "dms",
          "pass": true,
          "evidence": "10°30′=10.5°"
        },
        {
          "id": "wgs84-local-scale",
          "pass": true,
          "evidence": "WGS84 equatorial metre/degree scales"
        },
        {
          "id": "longitude-solar-time",
          "pass": true,
          "evidence": "30°→2 solar hours"
        },
        {
          "id": "small-rotation",
          "pass": true,
          "evidence": "zero rotation invariant"
        },
        {
          "id": "abjad",
          "pass": true,
          "evidence": "traditional ابجد=1+2+3+4"
        },
        {
          "id": "grid-residual",
          "pass": true,
          "evidence": "residual to unit grid"
        },
        {
          "id": "rms",
          "pass": true,
          "evidence": "RMS fixture"
        },
        {
          "id": "bounded-expression-search",
          "pass": true,
          "evidence": "bounded expression search reaches 14"
        },
        {
          "id": "cryptographic-fingerprint",
          "pass": true,
          "evidence": "SHA-256 256-bit hexadecimal fingerprint"
        },
        {
          "id": "router",
          "pass": true,
          "evidence": "geodetic context includes WGS84 and excludes Abjad"
        }
      ],
      "doctrine": {
        "irrelevant_module": "N/A, never FAIL",
        "golden_ratio": "proportion hypothesis, never unit conversion",
        "expression_search": "exploratory only; tested search space must enter multiple-comparison accounting",
        "extraordinary_claims": "require SSE-2 confirmation/null-model/holdout evidence"
      }
    },
    "applicability_rule": "Domain-gated: irrelevant modules are N/A and never block NERVI."
  },
  "controls": {
    "negative_control": {
      "family": "seeded i.i.d. English-frequency letters (persisted runs)",
      "runs": [
        {
          "source_kind": "negative_control",
          "source_ref": "random-101",
          "confirmed": 0,
          "hypotheses_tested": 46,
          "result_hash": "0c71b6b137d80f6b55e0ff27c62010ede17f5629e3490a11269366d27e81443f",
          "input_sha256": "33b81e3efc69937eb4a37a1b7fb6c2795ac0009a2887cde01ec33c740b59873b",
          "manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
          "run_key": "9efce227c6e58510bd84ad38bba9750d9a5888e07b7eed8f287079ea9238746f"
        },
        {
          "source_kind": "negative_control",
          "source_ref": "random-202",
          "confirmed": 0,
          "hypotheses_tested": 44,
          "result_hash": "b3e119fcfd586fb2a3a1b86f2acb9ccc0c04709c5f05569abbac60a8cfd1fea4",
          "input_sha256": "81953acd0f3b479669bbd31407416365abd0fe62dc455ccef7905cd9cc404ea3",
          "manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
          "run_key": "a89ed3fc9756efff8b570187eb06e52c1a45ba481cfa54282d02ed65a40ed743"
        },
        {
          "source_kind": "negative_control",
          "source_ref": "random-303",
          "confirmed": 0,
          "hypotheses_tested": 43,
          "result_hash": "118a745b8071615e594cb611e35960634fbaeced01d0f989b6a3ad8dfe81cc97",
          "input_sha256": "fcb5b0eba23457fecd5cb010b468cd1a3f550a8b7fd3fff82c1a79ffb7f0e921",
          "manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
          "run_key": "8baf91b008505ee8acd9ae84e553b8c6956584285df251258a83b4955e409db5"
        }
      ],
      "pass": true
    },
    "positive_control": {
      "family": "planted period-7 motif, 70% fidelity (persisted run)",
      "runs": [
        {
          "source_kind": "positive_control",
          "source_ref": "planted-period-7",
          "confirmed": 10,
          "hypotheses_tested": 54,
          "result_hash": "3e1dcb7c4dfe92e57dba08e3957eb13a8b85ac5eec8ec7378eab866f369d8de7",
          "input_sha256": "a6b31f40c90830bc8dc53882caa9616b5f583ffb8e0d81756aba1ce273e5cdbb",
          "manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
          "run_key": "a128c68e77572a849720bdb0fd6049432f5ad6261dec2d6f5575b49e8a7256fd"
        }
      ],
      "pass": true
    }
  },
  "reproducibility": {
    "method": "live replay of the persisted sample run with identical text, manifest and seed",
    "stored_result_hash": "1495893fecf8a7d75f8a34df57726b71e4a53aef67f0b636920617c3ef2c2397",
    "replay_result_hash": "1495893fecf8a7d75f8a34df57726b71e4a53aef67f0b636920617c3ef2c2397",
    "stored_manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
    "replay_manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
    "pass": true
  },
  "persisted_integration": {
    "status": "PASS",
    "summary": {
      "jobs": {
        "done": 5
      },
      "runs": 5,
      "latest": [
        {
          "run_at": "2026-10-07T17:08:01.328+00:00",
          "status": "EXPLORATORY_ONLY",
          "run_key": "9efce227c6e58510bd84ad38bba9750d9a5888e07b7eed8f287079ea9238746f",
          "confirmed": 0,
          "result_hash": "0c71b6b137d80f6b55e0ff27c62010ede17f5629e3490a11269366d27e81443f",
          "source_kind": "negative_control",
          "input_sha256": "33b81e3efc69937eb4a37a1b7fb6c2795ac0009a2887cde01ec33c740b59873b",
          "manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
          "engine_version": "sse-2.0.0",
          "hypotheses_tested": 46
        },
        {
          "run_at": "2026-10-07T17:08:00.746+00:00",
          "status": "NO_SIGNAL",
          "run_key": "8baf91b008505ee8acd9ae84e553b8c6956584285df251258a83b4955e409db5",
          "confirmed": 0,
          "result_hash": "118a745b8071615e594cb611e35960634fbaeced01d0f989b6a3ad8dfe81cc97",
          "source_kind": "negative_control",
          "input_sha256": "fcb5b0eba23457fecd5cb010b468cd1a3f550a8b7fd3fff82c1a79ffb7f0e921",
          "manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
          "engine_version": "sse-2.0.0",
          "hypotheses_tested": 43
        },
        {
          "run_at": "2026-10-07T17:08:00.103+00:00",
          "status": "EXPLORATORY_ONLY",
          "run_key": "a89ed3fc9756efff8b570187eb06e52c1a45ba481cfa54282d02ed65a40ed743",
          "confirmed": 0,
          "result_hash": "b3e119fcfd586fb2a3a1b86f2acb9ccc0c04709c5f05569abbac60a8cfd1fea4",
          "source_kind": "negative_control",
          "input_sha256": "81953acd0f3b479669bbd31407416365abd0fe62dc455ccef7905cd9cc404ea3",
          "manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
          "engine_version": "sse-2.0.0",
          "hypotheses_tested": 44
        },
        {
          "run_at": "2026-10-07T17:06:01.647+00:00",
          "status": "EXPLORATORY_ONLY",
          "run_key": "6e1abf6df0d15f406617843cbe4a4568ee26dbe0e6f8cbbc803c49f5f5204faf",
          "confirmed": 0,
          "result_hash": "1495893fecf8a7d75f8a34df57726b71e4a53aef67f0b636920617c3ef2c2397",
          "source_kind": "sample",
          "input_sha256": "cf408124759c7f8c77fc78bf93031df028f5c9b81bba65b9ea98b372401b3b88",
          "manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
          "engine_version": "sse-2.0.0",
          "hypotheses_tested": 31
        },
        {
          "run_at": "2026-10-07T17:06:01.27+00:00",
          "status": "CONFIRMED_FINDINGS",
          "run_key": "a128c68e77572a849720bdb0fd6049432f5ad6261dec2d6f5575b49e8a7256fd",
          "confirmed": 10,
          "result_hash": "3e1dcb7c4dfe92e57dba08e3957eb13a8b85ac5eec8ec7378eab866f369d8de7",
          "source_kind": "positive_control",
          "input_sha256": "a6b31f40c90830bc8dc53882caa9616b5f583ffb8e0d81756aba1ce273e5cdbb",
          "manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
          "engine_version": "sse-2.0.0",
          "hypotheses_tested": 54
        }
      ]
    },
    "readback": {
      "run_key": "9efce227c6e58510bd84ad38bba9750d9a5888e07b7eed8f287079ea9238746f",
      "stored_result_hash": "0c71b6b137d80f6b55e0ff27c62010ede17f5629e3490a11269366d27e81443f",
      "recomputed_result_hash": "0c71b6b137d80f6b55e0ff27c62010ede17f5629e3490a11269366d27e81443f",
      "stored_manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
      "recomputed_manifest_hash": "0495e791ce546214a769733b8c2a74f8d4b2c686242c3ccf0b1a69456bc3882d",
      "match": true
    },
    "error": null
  },
  "correction_policy": {
    "default": "holm",
    "supported": [
      "holm",
      "bonferroni",
      "bh"
    ],
    "scope": "every hypothesis in each mined family and each confirmation family"
  },
  "exploration_vs_confirmation": "Hypotheses are mined on the first half of the analysed symbols; only survivors are re-tested on the independent second half (or the full text when preregistered). Only holdout/preregistered results can be CONFIRMED.",
  "null_models": {
    "symbol_permutation_layout": "Shuffle analysed symbols uniformly; exact symbol marginal frequencies and sequence length preserved.",
    "token_permutation": "Shuffle whole tokens; exact token multiset preserved, word order destroyed.",
    "block_permutation": "Cut the symbol sequence into fixed blocks and shuffle block order; local structure inside blocks preserved."
  },
  "invariant_variants": [
    "letters_casefold_ascii",
    "letters_case_sensitive",
    "letters_keep_diacritics",
    "alnum_casefold",
    "alnum_punct_ws_collapsed"
  ],
  "resource_bounds": {
    "max_input_chars": 200000,
    "max_symbols_analysed": 4000,
    "max_simulations": 2000,
    "default_simulations": 499,
    "max_hypotheses": 400,
    "max_period": 40,
    "max_modulus": 30,
    "max_ngram_candidates": 24,
    "max_dft_size": 4096,
    "max_graph_nodes": 5000,
    "max_graph_edges": 50000,
    "max_corpus_documents": 50,
    "min_symbols_for_inference": 120
  },
  "verdicts": [
    "CONFIRMED",
    "FRAGILE",
    "EXPLORATORY",
    "NOT_SIGNIFICANT",
    "UNKNOWN"
  ],
  "statements": [
    "37/37 capability proof shows that each method executes correctly on fixtures. It does not prove that a hidden code exists in any particular text.",
    "A CONFIRMED verdict only states that a declared statistic departs from a declared null model on independent data after correction; it never establishes intent or a hidden message.",
    "Kolmogorov complexity is not computable in general; only an LZ/MDL upper-bound proxy is reported.",
    "Scope is classical textual analysis only: no password cracking, credential recovery or attacks on modern cryptography."
  ],
  "ok": true
}