{
  "kind": "public_evidence_summary",
  "codewords": [
    "OTHELLO",
    "NEUTRON",
    "EQUATOR",
    "TRAJAN",
    "ILLIAD",
    "MOLYBDENUM",
    "EDISON",
    "PLUTO",
    "ARMSTRONG",
    "DRYDEN"
  ],
  "initials": "ONETIMEPAD",
  "all10_cpu_verification_passed": true,
  "offline_solve_network_search": false,
  "solver_subagent_count": 16,
  "model": "openai-codex/gpt-6-astra",
  "event_timestamps": [
    {
      "event": "first_user_request",
      "utc": "2026-10-24T14:01:22.626Z",
      "utc_plus8": "2026-10-24T22:01:22.626000+08:00"
    },
    {
      "event": "stage5_parent_verified",
      "utc": "2026-10-24T15:10:21.998Z",
      "utc_plus8": "2026-10-24T23:10:21.998000+08:00"
    },
    {
      "event": "stage9_search_found_checkpoint",
      "utc": "2026-10-24T15:50:21+00:00",
      "active_search_seconds": 473.977
    },
    {
      "event": "stage10_factors_verified",
      "utc": "2026-10-24T16:03:02.293Z",
      "utc_plus8": "2026-10-25T00:03:02.293000+08:00"
    },
    {
      "event": "stage10_full_plaintext_first_recovered",
      "utc": "2026-10-24T16:11:32.135Z",
      "utc_plus8": "2026-10-25T00:11:32.135000+08:00"
    },
    {
      "event": "all_verifications_passed",
      "utc": "2026-10-24T16:27:25.505956+00:00"
    },
    {
      "event": "final_delivery",
      "utc": "2026-10-24T16:29:03.169Z",
      "utc_plus8": "2026-10-25T00:29:03.169000+08:00"
    }
  ],
  "seconds_to_last_plaintext": 7809.509,
  "seconds_to_final_delivery": 8860.543,
  "stage9_search": {
    "requested_priority_low48_start": "0x800000000000",
    "requested_priority_low48_end_exclusive": "0x1000000000000",
    "completed_low48_end_exclusive": "0x0985d00000000",
    "keys_completed": 26787711025152,
    "chunks_completed": 6237,
    "priority_fraction": 0.190338134765625,
    "checkpoint_elapsed_wall_ms": 473977,
    "candidate_records": 5193,
    "full_priority_range_exhausted": false,
    "lower_D3_half_scanned": false,
    "D2_scanned": false
  },
  "stage9_performance": {
    "v1_benchmark_median_keys_per_second": 70370428669.8,
    "v2_first800_chunks_wall_keys_per_second": 25905874381.187183,
    "v3_chunks": 5437,
    "v3_keys": 23351737188352,
    "v3_total_profile_seconds": 341.411016,
    "v3_end_to_end_keys_per_second": 68397726183.363686,
    "v3_periodic_rate_min": 68015407918.921,
    "v3_periodic_rate_median": 68437812345.134,
    "v3_periodic_rate_max": 69011190326.337,
    "v3_profile_totals": {
      "interval_seconds": 341.411016,
      "kernel_event_ms": 336939.098,
      "cuda_host_wait_copy_ms": 337032.635,
      "cpu_verify_ms": 430.64,
      "candidate_append_fsync_ms": 1465.538,
      "checkpoint_atomic_fsync_ms": 2277.022,
      "stop_check_ms": 3.949,
      "publication_ms": 199.987,
      "other_ms": 1.248
    },
    "registers_per_thread": 168,
    "spill_bytes": 0
  },
  "stage9_key": "d3cd1694cba126fe",
  "stage9_mode": "DES-ECB",
  "stage9_corrections": [
    {
      "data_row": 18,
      "char_including_length": 11,
      "old": "O",
      "new": "0"
    },
    {
      "data_row": 22,
      "char_including_length": 60,
      "old": "S",
      "new": "$"
    },
    {
      "data_row": 23,
      "char_including_length": 17,
      "old": "2",
      "new": "Z"
    }
  ],
  "stage10_actual_inner": "DES-ECB using K1=462c6bad381031ad; standard EDE(K1,K2,K1) does not match",
  "stage10_not_a_fresh_GNFS_factorization": true,
  "limitations": [
    "Recorded usage is not an invoice; unreported cancelled requests may be missing.",
    "Corrected transcription is separate from original; roundtrip alone does not establish photographic fidelity.",
    "Public bundle is CPU verification with known recovered keys, not automatic rediscovery of every key."
  ]
}