{
  "schema_version": 1,
  "claim_id": "Euler-final-visual-exact-illustrations-2026-10-06",
  "repository": {
    "commit": "unavailable; isolated publication source snapshot",
    "dirty": true
  },
  "command": "python3 sources/generate_figures.py",
  "environment": {
    "software": [
      "Python 3.12.14",
      "Matplotlib 3.10.8",
      "NumPy 2.3.5"
    ],
    "hardware": "x86_64"
  },
  "mathematics": {
    "assertion_tested": "Finite exact coefficients, periods, residue bijections, sample difference valuations, mixed parity, and explicit failed extensions used in the visual guide",
    "coefficient_domain": "Fraction over Q and exact modular arithmetic Z/2^256 Z; rendering alone uses floating point",
    "conventions": "v2(0)=infinity, represented by None; original E_{4n}=j! C_j(n); all step differences act on rows",
    "inputs": [
      {
        "path": "sources/generate_figures.py",
        "sha256": "b0c42986a19c79c7022b5d63c15e205a6e3df2a6accc29f209976fcb3588dd95"
      }
    ],
    "bounds": {
      "rank_four_modular_rows": 255,
      "precision_bits": 256,
      "independent_rational_rows": 12,
      "sample_base_rows": [
        0,
        8
      ],
      "sample_homogeneous_orders": [
        1,
        6
      ],
      "sample_homogeneous_steps": [
        1,
        4
      ],
      "sample_mixed_orders": [
        1,
        4
      ],
      "sample_mixed_step_alphabet": [
        1,
        2,
        3,
        4
      ],
      "power_orders": [
        1,
        2,
        4,
        8,
        16
      ],
      "upper_half_cases": [
        [
          16,
          9
        ],
        [
          32,
          18
        ],
        [
          32,
          19
        ]
      ]
    },
    "non_claims": [
      "No bounded run proves a universal congruence or analytic radius.",
      "The theorem-derived curves use separately audited algebraic statements.",
      "These checks do not newly formalize any result in Lean."
    ]
  },
  "randomness": {
    "used": false,
    "generator": "not used",
    "seed": null
  },
  "run": {
    "started_at": "2026-10-07T00:01:41.602532+00:00",
    "runtime_seconds": 6.26042,
    "exit_status": 0
  },
  "outputs": [
    {
      "path": "figures/address_two_envelope.pdf",
      "sha256": "ce7b62dd056c364f41b987ef7a319f01078e20d12aeb87bdb206525ed0d43209"
    },
    {
      "path": "figures/analytic_slopes.pdf",
      "sha256": "fa4875d4b6b8582ca04e4830441080ab3ffe4cd9d116fb5c1f5da20df8e018ad"
    },
    {
      "path": "figures/final_exponents.pdf",
      "sha256": "2d1914e069bc4f3c97a4b271daf2f9c906a045775dbb5515de5468ae874b34c4"
    },
    {
      "path": "figures/isometry_matrices.pdf",
      "sha256": "ffd44e12766614b49b9df251432aadc998e3220d1a7a943d3f90f35f4a5b5036"
    },
    {
      "path": "figures/metric.pdf",
      "sha256": "cb9a43a9d24c76df095996e7304afe5d1cacc6611bf3f41f5c954568ec9ab16f"
    },
    {
      "path": "figures/mixed_cancellation.pdf",
      "sha256": "3e94c7e35c339f07bb9be21cc232a4bacba9d065551534bbe8af0acd526a8c8f"
    },
    {
      "path": "figures/mixed_stencil.pdf",
      "sha256": "72ba89d0fa9fcdb12d0adc6146bb6b721256295c44399e33eeee0915a0a4336f"
    },
    {
      "path": "figures/normalization.pdf",
      "sha256": "87b357cc84ef4b342bdc526b50406da520c6590397acb6cc4b0730155d6a034e"
    },
    {
      "path": "figures/periods.pdf",
      "sha256": "7dbb2f01a71bbcb247d4161ccf21680f95376ff71783c7b51c191ddaf1495662"
    },
    {
      "path": "figures/rank_scales.pdf",
      "sha256": "0eb6b331e0e576f683b97238ea5bddb7eb3ed7722d8928d896c15d67adae5b39"
    },
    {
      "path": "figures/residue_permutations.pdf",
      "sha256": "dd736266d04997a7b86dfd54d81559ec8805a02a761829d1e3f58aa2ba0be290"
    },
    {
      "path": "figures/threshold.pdf",
      "sha256": "96e1af55e8e377ebc83408b6520e562676fb6c0f8e6a473b17f397339f606621"
    },
    {
      "path": "figures/exact_figure_data.json",
      "sha256": "94d3bfe1f928bf4f9f7cc56b85ac58e134404113342fe746621d7de896562e58"
    }
  ],
  "checks": [
    {
      "name": "complete_residue_permutation",
      "assertions": 4,
      "result": "PASS"
    },
    {
      "name": "finite_period_repeat",
      "assertions": 296,
      "result": "PASS"
    },
    {
      "name": "finite_scaled_isometry",
      "assertions": 56,
      "result": "PASS"
    },
    {
      "name": "first_row_benchmark",
      "assertions": 1,
      "result": "PASS"
    },
    {
      "name": "independent_rational_inversion",
      "assertions": 52,
      "result": "PASS"
    },
    {
      "name": "mixed_counterexample_valuation",
      "assertions": 1,
      "result": "PASS"
    },
    {
      "name": "mixed_counterexample_value",
      "assertions": 1,
      "result": "PASS"
    },
    {
      "name": "odd_source_denominator",
      "assertions": 1024,
      "result": "PASS"
    },
    {
      "name": "plotted_original_metric",
      "assertions": 4,
      "result": "PASS"
    },
    {
      "name": "rational_modular_crosscheck",
      "assertions": 52,
      "result": "PASS"
    },
    {
      "name": "sampled_address_two_filtration",
      "assertions": 340,
      "result": "PASS"
    },
    {
      "name": "sampled_address_two_power_order_exact",
      "assertions": 30,
      "result": "PASS"
    },
    {
      "name": "sampled_factorial_bound",
      "assertions": 864,
      "result": "PASS"
    },
    {
      "name": "sampled_first_difference_exact",
      "assertions": 288,
      "result": "PASS"
    },
    {
      "name": "sampled_homogeneous_equality",
      "assertions": 432,
      "result": "PASS"
    },
    {
      "name": "sampled_mixed_factorial_bound",
      "assertions": 1360,
      "result": "PASS"
    },
    {
      "name": "sampled_mixed_parity_rule",
      "assertions": 680,
      "result": "PASS"
    },
    {
      "name": "stencil_exact_valuation",
      "assertions": 1,
      "result": "PASS"
    },
    {
      "name": "stencil_offsets",
      "assertions": 1,
      "result": "PASS"
    },
    {
      "name": "upper_half_counterexample",
      "assertions": 3,
      "result": "PASS"
    }
  ],
  "result": "PASS: 5490 exact bounded assertions; 12 vector figures generated",
  "residual_risks": [
    "This v1 manifest records script input hash but does not impose machine-checkable resource limits.",
    "Plotting-library layout is checked separately by PDF rendering review."
  ]
}