{
  "step": "C380",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Finite source paths under moving P/J pivots",
  "previous_certificate_sha256": "0bea97c1928c8ce36d9494725775d1e184e41ccc341f1d7cafc140e92eafbd93",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C380_Finite_Common_P_J_Source_Paths_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C380_20260924.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": "45efd467f3ce666e29201b76875fb6d302af8bec17119b90e0f82ffc118f752e",
  "source_manifest_sha256": "308910fc49515c04ac95c93aaccc81211a48c37fdab578e6da4848baceb3dd16",
  "report_sha256": "e89f7c308f54f651d71eec439b0bc612232652487d89575853c121b09e6289e8",
  "checkpoint_sha256": "254466691a7de230a509de04f0ca2d318850456d2a892a3ee8f14eebba4f8292",
  "data_sha256": "ec2806675dbb493c9f95f21de104300b493f9be006992d564fa5ba04b51075bb",
  "results_sha256": "009a3264bed710ffcadeb1304c37d5a4ee2595732b314e54be092b9e1dc32112",
  "calculation_sha256": "7af83c3af4262b579ee392040c6664494f9c4da54b2676687c56a4a8703db0ff",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "7fa0b1fa43f1fdbf5eaec889dc309d14d6b4162094972142d5b4f84300c10c3f",
  "replay_sha256": "db49790da1cba0e28919a2dd4107bcaf692933262337b4128aa98b23af92a399",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "72ebcc0e81958510c55170ba5f36ab6e98c41aca82e76e3c0d875ce5ada7e51c",
  "assertions_passed": 34,
  "source_checks_passed": 15,
  "main_result": "The common-edge census decomposes into two cumulative three-edge paths and two regular two-edge paths. Each continuation shifts both pivots by the signed gain,−2 or+2. Fixed-pivot iteration misses the next source byh/299 orh/69. All paths stop at the frozen source boundaries.",
  "limits": "Moving-pivot paths are not iteration of a fixed global operator. Cumulative annual members are not Gears, and the source path lengths do not authorize extrapolation.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "review_provenance": "Root-agent analysis and deterministic replay; no new independent-agent review",
  "next_proposed_step": "Test the composability of paired cumulative/regular repairs while retaining the original2K/17K Mirror conditions. Enumerate the admitted two-step pairings and track their source-corner sums and cross-span changes; keep the cumulative annual and regular Gear domains fixed.",
  "next_step_executed": false
}