{
  "step": "C349",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Finite partial endpoint relations for E and300/299",
  "previous_certificate_sha256": "4af5a87c51440c77979dff907fdc4ed36dd0163e6e16d848560f48976d59e6f5",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C349_Finite_Partial_Source_Endpoint_Relations_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C349_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": "d0e314f2f126ec84e3b7c73641737c68282f10878a36d76b9a73bea1250dba4e",
  "source_manifest_sha256": "868d7da48827f78aa052f49ae03987050e212753ea823ddbf6f922c764781c0a",
  "report_sha256": "6e5b1f062d6906260e4e672fd2efc125daff587bfa13b6efc035a2c39718cb50",
  "checkpoint_sha256": "031428c5649dc7edb6131e34469165bb85d566efcc2c15b98043565351536e91",
  "data_sha256": "88bc23b263ba36018e491af2dd359e7da2c9873dc1a32562a1d395b75987317e",
  "results_sha256": "c784ce1eee20c88d434225a83725932dd98beaa39dfd2033f21cb7fa0481ae1e",
  "calculation_sha256": "de3b7c25f70f24cb8c4402f7849dda279f4ed31bb4b0f10a2ad24883b1cc43e6",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "ff79474d379fd58f8ded94fa986fa9cdcf5083401d18d671ec6089504928fb23",
  "replay_sha256": "35b3db16b704adf562afb63a81d838892e2826607bdb3c8d1221b9fa335d5d48",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "060b90fa320ebc749fb6cede9dd09b96962bfc6f5ea446e02fe94480e35f0e23",
  "assertions_passed": 142,
  "source_checks_passed": 18,
  "main_result": "On each eleven-node primary field, E fixesN and givesM→S plusR→H→F;300/299 fixingR givesM→U, and fixingM givesR→V. Inverses recoverthese arrows; other field inputs leave the domain. No total source-state group action established.",
  "limits": "Only the eleven-node field and its two primary placements are covered. No new source node, global action or canonical graph edit.",
  "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": "Audit the order of the three existing fixed-endpoint expressions. Compute their exact coordinate commutators and test whether both composition orders remain inside the declared source field, keeping scalar algebra separate from source permission.",
  "next_step_executed": false
}