{
  "step": "C417",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Unfiltered census of complete 2K person profiles",
  "previous_certificate_sha256": "145086860427ef0010571f6acb7fc02d32f4dae4b95c0b109b39ad081021ec9c",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C417_Unfiltered_Census_of_Complete_2K_Person_Profiles_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C417_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": "1b7ddf3e6ddde298931d5dde9bb571e164cd86b5787cbc0c4323b3591c1ab174",
  "source_manifest_sha256": "efa3bdcdd1da8f301b77fd74cc6a7cc2048683e7dc65b8153000bbc9d4b4572c",
  "report_sha256": "22e0e4fe40bfb6edd1fef6071f388b9e2d83a373b670da6e513a9ed1dd6b936d",
  "checkpoint_sha256": "f8cfab3ccfd33c0ac3ba4c8f626897649045d4486ee1e7e21d421585d6ea9022",
  "data_sha256": "dc98980a235099a6061e5d667c341058bacee2595d3daf1419a07a98536cd123",
  "results_sha256": "a117d5b40c5dcef1816078ea2d8fdaed7b5e6ad902df492d24ec3f1171514ea7",
  "calculation_sha256": "9dd4e9d6494e8c1c7f80a128ae9c1e5e24d77bb084b695c3d13e9ae61a49b174",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "eca1f4bdc20eccf0abb95eb55c36c7cd3a018d9c0cedb75ac61b2d0f6036f998",
  "replay_sha256": "1a1aa8097e001d36a81ff20cc73a7a2a1f377bc94cc6dadd4ba9f78d153684d5",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "5d6e50a1de8553b6c9aef608b9cbee44d4b13ae166ff4e8fe5d4c7e694a44a35",
  "assertions_passed": 4660,
  "source_checks_passed": 14,
  "main_result": "All96 complete person contexts and4560 unordered pairs were tested without context preselection. Exactly one labelled same-role2K profile survives: SPcompG3 C1/T1/F1 versus MTG1 C0/T0/F0. There are24 zero-offset aliases and416 offset values. Replacing the chosen upper SPcomp by SPprimary or LXXnative gives1059. The four station matches share one context offset; finite uniqueness is not statistical independence.",
  "limits": "All comparisons are finite source-context arithmetic. No broader Gear, source generation, historical probability, global axis or canonical edit is introduced.",
  "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 Flood start and close for the unique2K person profile, first with both selected contexts fixed, then with the available three-Gear event controls. Distinguish a mixed-boundary600-year station from an entire same-boundary Flood-year translation.",
  "next_step_executed": false
}