{
  "status": "PASS",
  "date": "2026-07-21",
  "python": "3.13.3",
  "platform": "Windows-10-10.0.19045-SP0",
  "runs": [
    {
      "script": "verify_single_u_mode_theorem.py",
      "returncode": 0,
      "stdout": "{\n  \"status\": \"PASS\",\n  \"theorem\": \"single-u-mode cyclic rigidity\",\n  \"identity_grid\": {\n    \"m\": \"1..7\",\n    \"K\": \"1..5\",\n    \"checks\": 35\n  },\n  \"degree_stress\": {\n    \"cases\": 210,\n    \"chain_length\": 7\n  },\n  \"sympy\": \"1.14.0\",\n  \"python\": \"3.13.3\",\n  \"key_formula\": \"f_l' = m*K*(l-1)*a'*f_{l-1} - (1+m*K)*a*f_{l-1}'\",\n  \"degree_formula\": \"deg(f_l)=l*deg(a)+1 for every l>=0 when a!=0\"\n}\ncertificate_sha256 64eda00925854422decb5b17249ae08bff94552cdb6614b886e62683af708a24",
      "stderr": ""
    },
    {
      "script": "verify_full_cyclic_rigidity.py",
      "returncode": 0,
      "stdout": "{\n  \"status\": \"PASS\",\n  \"theorem\": \"full cyclic rigidity Newton-edge checks\",\n  \"exact_arithmetic\": true,\n  \"determinant_identity_checks\": 28,\n  \"edge_identity\": \"PASS\",\n  \"terminal_coefficient_positive_checks\": 96840,\n  \"bounded_multimode_exclusions\": 120,\n  \"bounded_caps\": {\n    \"u\": 7,\n    \"y\": 9,\n    \"prime\": 1000003\n  },\n  \"sympy\": \"1.14.0\",\n  \"python\": \"3.13.3\",\n  \"edge_formula\": \"-p*t*A*Phi_prime - s*A*Phi - m*q*sigma*t*A_prime*Phi\",\n  \"terminal_coefficient\": \"p*deg(Phi)+s+m*q*sigma*deg(A) > 0\"\n}\ncertificate_sha256 11a02fb467545f48b65e8c24cd8c5bed2c45341bdbd7816060a0de2534f96460",
      "stderr": ""
    },
    {
      "script": "independent_checker.py",
      "returncode": 0,
      "stdout": "{\n  \"status\": \"PASS\",\n  \"implementation\": \"independent polynomial dictionaries\",\n  \"random_edge_checks\": 1952,\n  \"seed\": 731991\n}\nsha256 acd5b2f71e5a3d31fd623d7bf87b7f28386d3d9f8b5064290aca4fbda258f1d6",
      "stderr": ""
    },
    {
      "script": "adversarial_counterexample_search.py",
      "returncode": 0,
      "stdout": "{\n  \"status\": \"PASS\",\n  \"adversarial_degree_cases\": 4920,\n  \"ranges\": {\n    \"m\": \"1..5\",\n    \"p\": \"0..4\",\n    \"q\": \"1..4\",\n    \"deg_A\": \"1..3\",\n    \"deg_Phi\": \"0..3\"\n  }\n}\nsha256 280a5f47c971d1a436962069f3b0c050a75048bf40a67da500a2af2de891e15b",
      "stderr": ""
    }
  ],
  "files_sha256": {
    "adversarial_certificate.json": "280a5f47c971d1a436962069f3b0c050a75048bf40a67da500a2af2de891e15b",
    "adversarial_counterexample_search.py": "2c5e734ab69b161b46164b98907a19c5c6274abd242b971cd4e4afc739ab69e4",
    "ADVERSARIAL_REVIEW.md": "728b959088d99a6a615b9dd63adf5e90b15e66dbeaa049050898dbdcd8610f41",
    "build_manifest.py": "f50dca7625b2fdb8115a502c64c6531f86114f507eed992bd4e135f9bb6ba38f",
    "cyclic-rigidity-report-iv-v1.1.pdf": "4eb0f2c42db0760ecade402a4d3d52cd75e660a8e6bcf691a4360de87a92bc81",
    "cyclic-rigidity-report-iv-v1.1.tex": "60775c20375b20f14db633f0cb10a1cb5f3d2fdd911c0a8ce70a1cd3ab496514",
    "formal_series_counterexample.out": "c62e2e4fb5e5ca079471dfa128e590c3cf06db631e4e7e08173e10ca8e78113c",
    "formal_series_counterexample.py": "dbb1976b279dc0e4d1df4898af4caf46a02b3af70c5bf32d45b9a133b9fe7f32",
    "full_cyclic_rigidity_certificate.json": "11a02fb467545f48b65e8c24cd8c5bed2c45341bdbd7816060a0de2534f96460",
    "FULL_CYCLIC_RIGIDITY_THEOREM.md": "456ad206ce8cde8026ceee4b3a4f58718fed324f55b85eb14e14d3bd9808783c",
    "independent_certificate.json": "acd5b2f71e5a3d31fd623d7bf87b7f28386d3d9f8b5064290aca4fbda258f1d6",
    "independent_checker.py": "bca8c40ceb5ef383a16ae3690be10b02e1c4f8965739cc108d949e06136bc3cb",
    "independent_low_degree_search.out": "8b21d2b1a5a44aab9c51c98ddace006899100cb6beb61c440985d673f8ff1403",
    "independent_low_degree_search.py": "d502c22594185583f1bb08abe17220a5340c6adf7f3ea144cf3676e04d2fe5e3",
    "index.html": "005fc396606b4e951617df923c0a32679aa00d2938dc864f58beae55fa8c9537",
    "README.md": "6581c8b09cd01a823e7540173a456f368c8baa59838d6bbbaaadc6a212b039b2",
    "requirements.txt": "25f9f1fb1988b230147a1d3092d34e09c069eb7a6c6d6df46b3973b9f2d36efc",
    "review_ledger.json": "72c34020eb1dbd4ef5f51efe7c515061a57325012e6d33137ce710ba1757e59c",
    "run_all.py": "3c89999b7b7d2aa7e424cc0a9d71a6ed9af84dfbdce6053586ee76572a127ce8",
    "single_u_mode_certificate.json": "64eda00925854422decb5b17249ae08bff94552cdb6614b886e62683af708a24",
    "SINGLE_U_MODE_THEOREM.md": "ddeb5623d9f79b4901a4d348c811ed738219d4e30d06edb6fbc1b2b5badc2098",
    "verify_full_cyclic_rigidity.py": "0d2e723e67b151e0a4b7c75bbbbb40b7bf304d16b8a8bb448030e6f3d379097b",
    "verify_single_u_mode_theorem.py": "232ca062889ff06ea8e1341ea5262efc7a2bd00cda91a29bdd4e6332c3e8a3d4"
  }
}