{
  "approval_consumed": true,
  "approval_manifest_sha256": "f8599e9bab15aa13955440cc92e7a3ece31f78e0e1bd5e935dd4588d43a4d57d",
  "artifact_inventory": {
    "bytes": 7977,
    "kind": "artifact_inventory",
    "path": "artifact_inventory.json",
    "sha256": "2d256d58031323333adf55604e877b36221f6ecfb0f7cdecd489826c12066235"
  },
  "attention_verified": true,
  "cache_diagnostics": {
    "checkpoint_0": {
      "cache_off_comparison_role": "diagnostic_only_nonfatal",
      "cache_on_repeat_first_divergence": null,
      "cache_on_repeatable": true,
      "cache_path_consistent": true,
      "cache_path_first_divergence": null,
      "cache_path_sensitivity_observed": false,
      "checkpoint_epoch": 0,
      "formal_estimand_generation": "greedy_cache_on",
      "formal_gate": "cache_on_repeatability_only",
      "formal_gate_passed": true,
      "interpretation": "bounded_token_prefix_consistency_smoke_not_full_output_equivalence",
      "max_new_tokens": 8,
      "passed": true,
      "prompt_token_lengths": [
        122,
        134,
        137,
        141,
        144,
        148,
        152,
        154,
        158,
        162,
        166,
        171,
        176,
        184,
        198,
        287
      ],
      "sample_ids": [
        "gsm8k-test-0595",
        "gsm8k-test-0080",
        "gsm8k-test-1267",
        "gsm8k-test-0594",
        "gsm8k-test-0914",
        "gsm8k-test-0549",
        "gsm8k-test-0263",
        "gsm8k-test-1305",
        "gsm8k-test-0236",
        "gsm8k-test-0289",
        "gsm8k-test-0276",
        "gsm8k-test-0039",
        "gsm8k-test-1096",
        "gsm8k-test-0615",
        "gsm8k-test-0174",
        "gsm8k-test-1077"
      ],
      "sample_indices": [
        595,
        80,
        1267,
        594,
        914,
        549,
        263,
        1305,
        236,
        289,
        276,
        39,
        1096,
        615,
        174,
        1077
      ],
      "sample_size": 16,
      "scope_limitation": "Eight-token bounded repeatability diagnostic; not proof of complete 512-token output equivalence.",
      "stage": "checkpoint_0",
      "timings": {
        "cache_off_seconds": 1.295879701996455,
        "cache_on_a_seconds": 1.0780910030007362,
        "cache_on_b_seconds": 0.48324822999711614,
        "total_seconds": 2.857855882997683
      },
      "token_id_sha256": {
        "cache_off": "f5cd4f9590e69b68ce88c1c32bc8f673849b6cbf99c98493e0aa53fefc1129c9",
        "cache_on_a": "f5cd4f9590e69b68ce88c1c32bc8f673849b6cbf99c98493e0aa53fefc1129c9",
        "cache_on_b": "f5cd4f9590e69b68ce88c1c32bc8f673849b6cbf99c98493e0aa53fefc1129c9"
      },
      "version": "bounded-token-prefix-v1"
    },
    "checkpoint_8": {
      "cache_off_comparison_role": "diagnostic_only_nonfatal",
      "cache_on_repeat_first_divergence": null,
      "cache_on_repeatable": true,
      "cache_path_consistent": true,
      "cache_path_first_divergence": null,
      "cache_path_sensitivity_observed": false,
      "checkpoint_epoch": 8,
      "formal_estimand_generation": "greedy_cache_on",
      "formal_gate": "cache_on_repeatability_only",
      "formal_gate_passed": true,
      "interpretation": "bounded_token_prefix_consistency_smoke_not_full_output_equivalence",
      "max_new_tokens": 8,
      "passed": true,
      "prompt_token_lengths": [
        122,
        134,
        137,
        141,
        144,
        148,
        152,
        154,
        158,
        162,
        166,
        171,
        176,
        184,
        198,
        287
      ],
      "sample_ids": [
        "gsm8k-test-0595",
        "gsm8k-test-0080",
        "gsm8k-test-1267",
        "gsm8k-test-0594",
        "gsm8k-test-0914",
        "gsm8k-test-0549",
        "gsm8k-test-0263",
        "gsm8k-test-1305",
        "gsm8k-test-0236",
        "gsm8k-test-0289",
        "gsm8k-test-0276",
        "gsm8k-test-0039",
        "gsm8k-test-1096",
        "gsm8k-test-0615",
        "gsm8k-test-0174",
        "gsm8k-test-1077"
      ],
      "sample_indices": [
        595,
        80,
        1267,
        594,
        914,
        549,
        263,
        1305,
        236,
        289,
        276,
        39,
        1096,
        615,
        174,
        1077
      ],
      "sample_size": 16,
      "scope_limitation": "Eight-token bounded repeatability diagnostic; not proof of complete 512-token output equivalence.",
      "stage": "checkpoint_8",
      "timings": {
        "cache_off_seconds": 1.296543604999897,
        "cache_on_a_seconds": 0.4993355130063719,
        "cache_on_b_seconds": 0.48648211999534396,
        "total_seconds": 2.282859749000636
      },
      "token_id_sha256": {
        "cache_off": "f1beb5d57483bad9cc31a9721da8d683197bb7ab112583832f401004ee396e05",
        "cache_on_a": "f1beb5d57483bad9cc31a9721da8d683197bb7ab112583832f401004ee396e05",
        "cache_on_b": "f1beb5d57483bad9cc31a9721da8d683197bb7ab112583832f401004ee396e05"
      },
      "version": "bounded-token-prefix-v1"
    }
  },
  "completed_at_unix": 1784308850.643871,
  "endpoint_summaries": {
    "checkpoint_0": {
      "capped_accuracy": 0.07429871114480667,
      "correct": 98,
      "strict_invalid": 1057,
      "trials": 1319
    },
    "checkpoint_8": {
      "capped_accuracy": 0.9575435936315391,
      "correct": 1263,
      "strict_invalid": 0,
      "trials": 1319
    }
  },
  "flash_attention_kernel_revision": "c269cc539ad0c1fc0899abd4b05ecc1303d6c4b1",
  "formal_evidence_complete": true,
  "job_id": "6a5a584ebee6ee1cf4ecd9ed",
  "no_trackio_in_scientific_path": true,
  "partial_resume": false,
  "protocol": "capbencher-formal-v5-chat-template-alignment-sensitivity",
  "remote_verification": {
    "bytes": 9444,
    "kind": "remote_verification",
    "path": "remote_verification.json",
    "sha256": "27b412ce67b4333bda2d0b149ac0f368ee6034f9c254305d1d6604d621d1a882"
  },
  "required_artifact_sha256": {
    "approval_manifest.json": "f8599e9bab15aa13955440cc92e7a3ece31f78e0e1bd5e935dd4588d43a4d57d",
    "audit/attention_backend.json": "be443ed3044922173d6b42007a7903660a5db98343a231c4c9ffd23164902503",
    "audit/checkpoint_0_baseline_equivalence.json": "f9a18e87c89cd9bc995e4da4d47179fba43fe442e84e7ae0bfb74f924415d745",
    "audit/checkpoint_0_cache_diagnostic.json": "ad5f08c2fa80218ad0363ef89aa0fdeba75a686ca5c2c6ba5df8099d6596fcf7",
    "audit/checkpoint_8_cache_diagnostic.json": "7d8752f82d98ddec083cd8561d0baccd31d4d65dc04851c1f1fbf87062a5be2b",
    "audit/device_evidence.json": "313039a2536aa9c990a1536899e7d5262113cb64aa6ce01d9295c5affc642ef8",
    "audit/job_context.json": "552ca31f018f5290a982e7ac25abe692175cbc65104e8555a3be8f206ae6dce8",
    "audit/pinned_v4_checkpoint_8.jsonl": "21bb95e88abcfbd1ab6b30fae2ba753646460af41471219165dbab6480d941c0",
    "audit/write_probes.json": "a2cf3668be7f6b32838c84a9dea04cca5d02af12ac8288e3f13483b465d2a75d",
    "checkpoint_0.jsonl": "27405ad16475bc9598fdac1d09fdb071ef9a75717b8fe6c49582d6025ed333ce",
    "checkpoint_0.metrics.json": "3e318be70e9e85b21b8cf661b32ee41db074b427c15303347095bd2602912c1d",
    "checkpoint_8.jsonl": "7d80bb7780ba9b3a0f0d2229e088c1644a095e38adc96be182e7dd51f5c8436b",
    "checkpoint_8.metrics.json": "de47d826f4d9f225ebf9493d294a187a70640126549eb544d55a6e3a9ec5de80",
    "checkpoint_inventory.json": "49110dd528fa98dc8cdf0556b9da331d38ac828834460c1521cd6d7eb9801c1c",
    "environment.json": "b4173f6cd6b2018c12de9d44da99187057f11c4160a5515393943b0c619ae977",
    "jobs/FORMAL_V5_EXECUTION_PLAN.md": "a92a24cc5df6d14920b27b3f29329a27a9000893d6b123fa807e23d961b20cdc",
    "jobs/attention_backend.py": "e3882c6c70a0e3d01690096f5a64a54be12697d0a2b55a7cd64fdaa17267d873",
    "jobs/cache_gate.py": "2eb6390eb04b66003cdcc204b9ad0517a50dcd19ff35cf20966f2424aa5b64f2",
    "jobs/formal_protocol.py": "930c29234f14bf283c0c53749c0aa461957ea02f8c502ae31a27cb91ee35b426",
    "jobs/formal_v5_preflight.json": "baf638ddbd18da134ba276963a7a68385bd9f1574b51cce4e8c99b2109bdb479",
    "jobs/formal_v5_preregistration.json": "5faf903df0001e3b800a9db503cbb60fe826d9d988686059e0d3dc1f76378a7c",
    "jobs/local_preflight_complete.json": "e8dd80584643f60cc81b2e51bad1055bb117197b7d291de7562be7c23ae12509",
    "jobs/packing_audit.json": "04fc6e005109f0d6004a3258c1fdb2d959a14a3196d360ab9a54ad76e85b3a2b",
    "jobs/render_audit.json": "d79d2521f128be9dffc7deafd172e223e669414ee8fc735afa5fe09acd4c002c",
    "jobs/train_contamination_v5.py": "599db62a58951cbe3e78dbab3b9ec07b3cc2725a07a7e86b96548a18b6f1163f",
    "jobs/train_contamination_v5.py.lock": "8e8855ac4f0a5b1f1480df71b5eaf9dfb43d1bc4648741b0d22725199b034a69",
    "jobs/v5_baseline.py": "db0d26850252401c7f277b8c5c16302c16f9314c015f578d6d6f01c17c3d188e",
    "jobs/v5_contract.py": "d398fcc5bc7892e9bdd0d04d520cf0a6a7606183f733e88f9347fd0dfff14ff6",
    "jobs/v5_data.py": "14baf563c03e05a5f0b64a3d4a73247bb601d0cbd772fac4ce9d5ab1488bdcd3",
    "jobs/v5_job_support.py": "a6a34d1031970249e4a11a22b33404aa17db8936259ac762a1d54fd1696b9337",
    "jobs/v5_render.py": "e765c0ca1a51678891eb647b54b3d3b11a90b4b86bd4098eb80611e340169058",
    "jobs/v5_runtime.py": "7977befd158c8d93e9db97234846a2a505b1a17cc63a146bdf44df4535743ad0",
    "metrics.jsonl": "1e904167bfeea3a9aac9145d24e31644d47afeb6d12ec3dd8298f3f1ee5d0943",
    "packing_audit.json": "04fc6e005109f0d6004a3258c1fdb2d959a14a3196d360ab9a54ad76e85b3a2b",
    "remote_checkpoint_persistence.json": "537af62fa3356c4b7aa468fe640339421c89578fdace6db978d191c50a092b62",
    "render_audit.json": "d79d2521f128be9dffc7deafd172e223e669414ee8fc735afa5fe09acd4c002c",
    "source_manifest.json": "b8f5e0d4d3be1c15661a243ff605f19a14b51936e77558366e947178da817eae",
    "statistics.json": "6d776743acafff318da8caef1594be096843cd79805422d828ff4519c7871bed",
    "training_completion.json": "00ae074803fff217af6d2c7088883d9e97504bf3b9e6e385798090b9ac855111",
    "training_plan.json": "c8398a86dbeb5e24a3a19236f4a0049e0149ec22e5400c8f95d2e89bb6494539"
  },
  "run_id": "formal-v5-20260717-a100-01",
  "same_job": true,
  "same_model_object": true,
  "schema_version": 1,
  "server_started_at": 1784305750.969,
  "training_completion": {
    "complete": true,
    "deadline_stop_requested": false,
    "endpoint_label_allowed": "checkpoint_8",
    "epoch": 8.0,
    "global_step": 792,
    "max_steps": 792,
    "peak_cuda_memory_allocated_bytes": 28157003264,
    "peak_cuda_memory_reserved_bytes": 32694599680,
    "precomputed_expected_global_steps": 792,
    "trainer_max_steps_matches_precomputed": true,
    "training_metrics": {
      "entropy": 0.027951048066218693,
      "epoch": 8.0,
      "mean_token_accuracy": 0.9943679372469584,
      "num_tokens": 3133240.0,
      "total_flos": 5.21641928146944e+16,
      "train_loss": 0.19613380684997095,
      "train_runtime": 771.6173,
      "train_samples_per_second": 2.053,
      "train_steps_per_second": 1.026
    }
  },
  "training_resume": false
}
