{
  "step": "C400",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Three-vertex E/P/J source-path normal form",
  "previous_certificate_sha256": "9e28c3449634a410e8126d3acd99a3b59516b0fbf28b4317af29ce89a2ef8db3",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C400_Three_Vertex_E_P_J_Source_Path_Normal_Form_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C400_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",
    "test_plan": "TEST_PLAN.json"
  },
  "step_sha256": "a33f6071fe46889a7652209adc636b9541b78a1746d1758dc9b57128fd4de067",
  "source_manifest_sha256": "c36d51e49400f9a8f3ce5aff8c079c67397ace4a810897208767e109e4a09fd3",
  "report_sha256": "c629c5e1dd25e70b08f750be4df45fbea8c97ee6dd42305f2a00b8587407539b",
  "checkpoint_sha256": "f671df1b618f19066f038012915c9315336bb72d8c60d563df234304476eaea0",
  "data_sha256": "65f88d2db710618773a63316463fb880b893bf7e635d52c9fee73e559584a181",
  "results_sha256": "e1286eaa52a7c8299cebe813daf49058ea8a7fec93509bb237fc3ac5dd1d047b",
  "calculation_sha256": "652a3afebaeb59c8dbee5ba24e6f77829af0d123008d9c1fc5304cba32a82589",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "44f5fb48f5bf5fa3a8c05b03127ab338ac207fba92b11cf9b2e53543ca25ebfc",
  "replay_sha256": "e17624c573d9b34acec3d8788f5d9ad62ccc6ba45f95d00e2ac7a9143cfc2da9",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "fbb04e4f441c9e5a4e85780bcd09f9de366ce75356accd2914461f6e12953a20",
  "test_plan_sha256": "b33fb0f93a2dece85ad61dfc1a25b0dfab53603d4dcccc53cfcab414c6c23096",
  "assertions_passed": 732,
  "source_checks_passed": 16,
  "main_result": "The two MT loops share the identical G2 Noah source and form a three-vertex/six-arrow graph. Every admitted path hasF(t)=v+E^eP^pJ^j(t−u), with net Gear displacementp+j−e. Endpoint/count equality classifies affine maps; prime7/13/5 proves count uniqueness.402 paths through six edges yield78 typed-endpoint affine classes; central circuits agree across both neighboring segments.",
  "limits": "The normal form is a coordinate-affine quotient of admitted paths; distinct source routes and tradition aliases keep their provenance. It does not imply global source closure or source-prescribed iteration.",
  "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 closed-circuit generators against every frozen regular coordinate and against529-spaced displacements. Determine the exact source-preserving domain and whether the original2K/17K spans or a529 lattice are preserved.",
  "next_step_executed": false
}