{
  "step": "C478",
  "status": "completed",
  "title": "Alternate Arithmetic Verification and Sealed Batch Audit",
  "previous_certificate_sha256": "a2a5bda32663d4888421a71c961fe1f729b4bd3824c0963e29cb8b7d26ba91e9",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C478_Alternate_Arithmetic_Verification_and_Sealed_Batch_Audit_20260925.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C478_20260925.md",
    "data": "evidence/DATA.json",
    "results": "evidence/RESULTS.json",
    "calculation": "evidence/CALCULATION.py",
    "verifier": "evidence/check.py",
    "next_step_decision": "NEXT_STEP_DECISION.json",
    "replay": "REPLAY.json",
    "control_integrity": "CONTROL_INTEGRITY.json",
    "readme": "README.md"
  },
  "step_sha256": "b679af2c305156dc27bada6486cfa63bdd198827c832684a341ba0354cab3a19",
  "source_manifest_sha256": "2c75bafdbe9d2782a6dabc9b5ca231e0234f665a64e9e59e37cc92dfd78bcf70",
  "report_sha256": "48370608d438d876927fc0a067630ecf876f488ab44e3e086087f7a3ae79777a",
  "checkpoint_sha256": "eb92e82b8e73bca53da510d7e5e30080727c81ba314b05a848922c2d46189c84",
  "data_sha256": "bdf596e3b61dec066d940af4dcd87abc4518a3a34edf5c879b78db6ec5adcbb7",
  "results_sha256": "baa00c85f307f5c317f0e25e6c38105ddb27c51d9fc07933b9d1b14ceb970ca1",
  "calculation_sha256": "ec9694f4fe6950e8efc027596a3feab204764fc4672d827db2ad46ba821eb419",
  "verifier_sha256": "522dc3d500a35472af7081298ec2b8c67e7c247ee8911c7ca17899c64f6cda87",
  "next_step_decision_sha256": "6e2b4d02fe9648d28ea9fa1fcec4abdbdc9c3cdea66f8ee9166b37452871e79a",
  "replay_sha256": "edbaddb76405d6bc3538104cae97a94ab9569a46da7147f53129ffb5c0bb74dd",
  "control_integrity_sha256": "fef440ea1666c3c54d1a296e66d87da22a5fe1fcc3a83fe6e4412ad206c5665c",
  "readme_sha256": "c6101a93ba2493b2257b9953f74a68455a9021a58cc0d3970f96cbbff48e196d",
  "assertions_passed": 98,
  "source_checks_passed": 38,
  "main_result": "A different root-agent implementation passes98 checks, regenerating all528 regular labels/373 coordinates and48 cumulative records. Reverse interval-to-pivot enumeration, direct integer polynomial evaluation, typed family classification and Mirror comparison agree with C470–C477. The eight sealed packets and24 publications pass the integrity audit with no discrepancies.",
  "limits": "The98 alternate-method checks are part of this step’s main check count. Repeated implementations and source aliases are not independent historical evidence. C479 will provide the final all-ten-packet audit after its own publication.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_step_executed": false,
  "next_proposed_step": "Synthesize C470–C478, preserve the inherited-versus-current result distinction and finite domain limits, seal the ten-step checkpoint, and publish a reading index plus compact and complete recovery packages. Select but do not execute C480."
}