{
  "schema_version": 2,
  "adapter_key": "progressive-contraction",
  "manifest_ref": "reproduction:progressive-contraction",
  "method": "progressive-contraction",
  "measured_locally": true,
  "diagnostic_only": true,
  "promotion_eligible": false,
  "seeds": [
    42
  ],
  "whole_method_gpu_validation_passed": true,
  "default_three_seed_plan_completed": false,
  "seed_results": [
    {
      "seed": 42,
      "diagnostic_only": true,
      "device": "cuda",
      "result": {
        "method": "progressive-contraction",
        "seed": 42,
        "device": "cuda",
        "diagnostic_only": true,
        "promotion_eligible": false,
        "evaluation_tier": "l1_mechanism",
        "dataset": {
          "verified": true,
          "test_read": false,
          "source_id": "openai/grade-school-math",
          "source_revision": "3101c7d5072418e28b9008a6636bde82a006892c",
          "source_sha256": "17f347dc51477c50d4efb83959dbb7c56297aba886e5544ee2aaed3024813465",
          "partition_sha256": {
            "train": "6b8672439c8cf6f6b6e65bf5f0e515fbf4c497c9066eefb62a6a6a61ced158e3",
            "validation": "2cf1119ad7b2e31e825274487ef32c073e03a8ed44f08ecd3e0366c1f40ebdb7"
          },
          "partition": "normalized-question sha256 unsigned-prefix / 2^64 < 0.1 validation"
        },
        "checkpoint": {
          "public_id": "Qwen/Qwen2.5-0.5B-Instruct",
          "revision": "7ae557604adf67be50417f59c2c2f167def9a775",
          "verified_mirror": {
            "public_id": "Qwen/Qwen2.5-0.5B-Instruct",
            "revision": "7ae557604adf67be50417f59c2c2f167def9a775",
            "file_sha256": {
              "config.json": "18e18afcaccafade98daf13a54092927904649e1dd4eba8299ab717d5d94ff45",
              "generation_config.json": "e558847a8b4402616f1273797b015104dc266fe4b520056fca88823ba8f8ebe6",
              "merges.txt": "599bab54075088774b1733fde865d5bd747cbcc7a547c5bc12610e874e26f5e3",
              "model.safetensors": "fdf756fa7fcbe7404d5c60e26bff1a0c8b8aa1f72ced49e7dd0210fe288fb7fe",
              "tokenizer.json": "c0382117ea329cdf097041132f6d735924b697924d6f6fc3945713e96ce87539",
              "tokenizer_config.json": "5b5d4f65d0acd3b2d56a35b56d374a36cbc1c8fa5cf3b3febbbfabf22f359583",
              "vocab.json": "ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910"
            }
          }
        },
        "baseline": {
          "accuracy": 0.5,
          "examples": 4,
          "generated_tokens": 1419,
          "truncated_responses": 1
        },
        "method_metrics": {
          "accuracy": 0.75,
          "examples": 4,
          "generated_tokens": 1322,
          "truncated_responses": 0
        },
        "training": [
          {
            "phase": "probing-epoch",
            "loss": 0.46460204763510793,
            "gradient_l2_norm": 0.36404433846473694,
            "optimizer_update_executed": true,
            "supervised_tokens": 388,
            "supervised_instances": 2
          },
          {
            "phase": "routed-epoch",
            "loss": 0.5271173330453726,
            "gradient_l2_norm": 0.4252120554447174,
            "optimizer_update_executed": true,
            "supervised_tokens": 260,
            "supervised_instances": 1
          },
          {
            "phase": "routed-epoch",
            "loss": 0.5265568659855769,
            "gradient_l2_norm": 0.4253004789352417,
            "optimizer_update_executed": true,
            "supervised_tokens": 260,
            "supervised_instances": 1
          }
        ],
        "cost": {
          "generation_calls": {
            "evaluation": 12,
            "teacher_backbone": 13,
            "teacher_profile": 8
          },
          "generated_tokens": {
            "evaluation": 4118,
            "teacher_backbone": 2948,
            "teacher_profile": 4761
          },
          "scored_response_tokens": {
            "student_sft": 3191,
            "student_routing": 776
          },
          "frozen_encoder_forward_calls": 0,
          "frozen_encoder_input_tokens_including_prompt": 0,
          "scope": "entire invocation, including training controls, profiling and evaluation",
          "includes_rejected_and_profiling_generations": true
        },
        "protocol": {
          "test_opened": false,
          "gold_in_student_generation": false,
          "train_examples": 8,
          "validation_examples": 4,
          "max_tokens": 512
        },
        "parameters_changed": true,
        "teacher": {
          "public_id": "Qwen/Qwen2.5-7B-Instruct",
          "revision": "bb46c15ee4bb56c5b63245ef50fd7637234d6f75",
          "verified_mirror": {
            "public_id": "Qwen/Qwen2.5-7B-Instruct",
            "revision": "bb46c15ee4bb56c5b63245ef50fd7637234d6f75",
            "file_sha256": {
              "config.json": "7463bb0ea78315365e6c6b74de4e73bbcc8359dfb0c5a737584e077d42c0b03c",
              "generation_config.json": "3a8f9087e486054c8a4a08dae2e5a3ba62e23da212b5b8c08bc42cb983c3459f",
              "merges.txt": "599bab54075088774b1733fde865d5bd747cbcc7a547c5bc12610e874e26f5e3",
              "model-00001-of-00004.safetensors": "a1333e6293854747c481288ea83b348226af178dd565c49b6f9495ba1966aba7",
              "model-00002-of-00004.safetensors": "f5d25a2772cb825164a2a2c0fb6d51a87e282abf21e4dd75bc5cfb3cd0ea6185",
              "model-00003-of-00004.safetensors": "8efdec4c1bc12317ae1a38dc42b595ce777738a64deea3fcb8a0a91381bcdfd5",
              "model-00004-of-00004.safetensors": "1a72d403cdf0c1ec3cb7f289f17b394a01e64394c2e9b3c0f94dbce3faf879bd",
              "model.safetensors.index.json": "624bf7c47cd12468fdc16e38a47cf4f19e0415b859a223ba3c027eed2f0e1028",
              "tokenizer.json": "c0382117ea329cdf097041132f6d735924b697924d6f6fc3945713e96ce87539",
              "tokenizer_config.json": "5b5d4f65d0acd3b2d56a35b56d374a36cbc1c8fa5cf3b3febbbfabf22f359583",
              "vocab.json": "ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910"
            }
          }
        },
        "teacher_audits": [
          {
            "verified_backbone": true,
            "profiled": true,
            "profile": [
              {
                "prefix_tokens": 11,
                "reachability": 1.0,
                "uncertainty": 0.0,
                "samples": 4
              },
              {
                "prefix_tokens": 68,
                "reachability": 1.0,
                "uncertainty": 0.0,
                "samples": 4
              }
            ],
            "paragraph_cut_indices": [
              11,
              68
            ],
            "response_tokens": 128
          },
          {
            "verified_backbone": false
          },
          {
            "verified_backbone": false
          },
          {
            "verified_backbone": false
          },
          {
            "verified_backbone": true,
            "profiled": true,
            "profile": [
              {
                "prefix_tokens": 23,
                "reachability": 1.0,
                "uncertainty": 0.0,
                "samples": 4
              },
              {
                "prefix_tokens": 61,
                "reachability": 1.0,
                "uncertainty": 0.0,
                "samples": 4
              }
            ],
            "paragraph_cut_indices": [
              23,
              61
            ],
            "response_tokens": 260
          },
          {
            "verified_backbone": true,
            "profiled": true,
            "profile": [
              {
                "prefix_tokens": 28,
                "reachability": 1.0,
                "uncertainty": 0.0,
                "samples": 4
              },
              {
                "prefix_tokens": 93,
                "reachability": 1.0,
                "uncertainty": 0.0,
                "samples": 4
              }
            ],
            "paragraph_cut_indices": [
              28,
              93
            ],
            "response_tokens": 239
          },
          {
            "verified_backbone": true,
            "profiled": true,
            "profile": [
              {
                "prefix_tokens": 12,
                "reachability": 1.0,
                "uncertainty": 0.0,
                "samples": 4
              },
              {
                "prefix_tokens": 46,
                "reachability": 1.0,
                "uncertainty": 0.0,
                "samples": 4
              }
            ],
            "paragraph_cut_indices": [
              12,
              46
            ],
            "response_tokens": 134
          },
          {
            "verified_backbone": false
          }
        ],
        "teacher_uncertainty_scores": [
          0.0,
          0.0,
          0.0,
          0.0
        ],
        "paragraph_boundary_protocol": "decoded-character-boundaries-to-original-token-prefix-v1",
        "teacher_pool_indices": [
          0,
          1
        ],
        "learner_routes": [
          {
            "epoch": 2,
            "normalized_response_nll": [
              0.34431397914886475,
              0.5271173119544983
            ],
            "active_indices": [
              1
            ]
          },
          {
            "epoch": 3,
            "normalized_response_nll": [
              0.3444511294364929,
              0.5265568494796753
            ],
            "active_indices": [
              1
            ]
          }
        ],
        "exposure": {
          "method": 4,
          "full_sft_control": 12,
          "relative_to_verified_full_sft": 0.3333333333333333,
          "teacher_profiling_cost_excluded_from_ratio_but_reported": true
        },
        "control": {
          "method": "verified-full-sft",
          "training": [
            {
              "loss": 0.4607242779725485,
              "gradient_l2_norm": 0.2997905910015106,
              "optimizer_update_executed": true,
              "supervised_tokens": 761,
              "supervised_instances": 4
            },
            {
              "loss": 0.46099232436792925,
              "gradient_l2_norm": 0.29542118310928345,
              "optimizer_update_executed": true,
              "supervised_tokens": 761,
              "supervised_instances": 4
            },
            {
              "loss": 0.4612269558198505,
              "gradient_l2_norm": 0.29569756984710693,
              "optimizer_update_executed": true,
              "supervised_tokens": 761,
              "supervised_instances": 4
            }
          ],
          "metrics": {
            "accuracy": 0.75,
            "examples": 4,
            "generated_tokens": 1377,
            "truncated_responses": 0
          }
        },
        "limitations": [
          "Qwen2.5 and tiny GSM8K train-only public holdout replace the original scale and Qwen3.5 models.",
          "Actual MCRT sampled continuation costs are reported separately; exposure reduction is not total compute saving.",
          "Published v1 HTML has missing appendix labels and no retrievable appendix algorithm; main Eqs1-8 are implemented.",
          "Finite samples and single-seed runtime validation cannot establish original 135x or downstream gains."
        ]
      }
    }
  ],
  "aggregate_metrics": {
    "initial.accuracy": {
      "mean": 0.5,
      "std": 0.0,
      "n": 1
    },
    "method_validation.accuracy": {
      "mean": 0.75,
      "std": 0.0,
      "n": 1
    },
    "verified-full-sft.accuracy": {
      "mean": 0.75,
      "std": 0.0,
      "n": 1
    }
  },
  "execution_checks": {
    "parameters_changed": true,
    "measured_cost": {
      "generation_calls": {
        "evaluation": 12,
        "teacher_backbone": 13,
        "teacher_profile": 8
      },
      "generated_tokens": {
        "evaluation": 4118,
        "teacher_backbone": 2948,
        "teacher_profile": 4761
      },
      "scored_response_tokens": {
        "student_sft": 3191,
        "student_routing": 776
      },
      "frozen_encoder_forward_calls": 0,
      "frozen_encoder_input_tokens_including_prompt": 0,
      "scope": "entire invocation, including training controls, profiling and evaluation",
      "includes_rejected_and_profiling_generations": true
    },
    "method_updates": 3,
    "control_updates": 3,
    "verified_profiled_corpus": 4,
    "teacher_uncertainty_scores": [
      0.0,
      0.0,
      0.0,
      0.0
    ],
    "teacher_pool_indices": [
      0,
      1
    ],
    "exposure": {
      "method": 4,
      "full_sft_control": 12,
      "relative_to_verified_full_sft": 0.3333333333333333,
      "teacher_profiling_cost_excluded_from_ratio_but_reported": true
    },
    "exposure_ratio_is_total_compute_saving": false,
    "invocation_elapsed_seconds": 217.54227962344885,
    "configured_wall_cap_seconds": 1800
  },
  "actual_cuda_run_count": 1,
  "dataset": {
    "verified": true,
    "test_read": false,
    "source_id": "openai/grade-school-math",
    "source_revision": "3101c7d5072418e28b9008a6636bde82a006892c",
    "source_sha256": "17f347dc51477c50d4efb83959dbb7c56297aba886e5544ee2aaed3024813465",
    "partition_sha256": {
      "train": "6b8672439c8cf6f6b6e65bf5f0e515fbf4c497c9066eefb62a6a6a61ced158e3",
      "validation": "2cf1119ad7b2e31e825274487ef32c073e03a8ed44f08ecd3e0366c1f40ebdb7"
    },
    "partition": "normalized-question sha256 unsigned-prefix / 2^64 < 0.1 validation"
  },
  "checkpoint": {
    "public_id": "Qwen/Qwen2.5-0.5B-Instruct",
    "revision": "7ae557604adf67be50417f59c2c2f167def9a775",
    "verified_mirror": {
      "public_id": "Qwen/Qwen2.5-0.5B-Instruct",
      "revision": "7ae557604adf67be50417f59c2c2f167def9a775",
      "file_sha256": {
        "config.json": "18e18afcaccafade98daf13a54092927904649e1dd4eba8299ab717d5d94ff45",
        "generation_config.json": "e558847a8b4402616f1273797b015104dc266fe4b520056fca88823ba8f8ebe6",
        "merges.txt": "599bab54075088774b1733fde865d5bd747cbcc7a547c5bc12610e874e26f5e3",
        "model.safetensors": "fdf756fa7fcbe7404d5c60e26bff1a0c8b8aa1f72ced49e7dd0210fe288fb7fe",
        "tokenizer.json": "c0382117ea329cdf097041132f6d735924b697924d6f6fc3945713e96ce87539",
        "tokenizer_config.json": "5b5d4f65d0acd3b2d56a35b56d374a36cbc1c8fa5cf3b3febbbfabf22f359583",
        "vocab.json": "ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910"
      }
    }
  },
  "evaluation_protocol": {
    "tier": "l1_mechanism",
    "seeds": [
      42
    ],
    "formal_comparison": false,
    "promotion_eligible": false,
    "test_used_for_selection": false,
    "default_three_seed_plan_completed": false,
    "pending_seeds": [
      43,
      44
    ],
    "claim_policy": "single-seed mechanism smoke; no stable relative capability or production claim"
  },
  "provenance": {
    "code_commit": "32f873e7a81fa90e6508d5eaad5bf9b830b04139",
    "artifact_path": "docs/reproductions/2610.12933-progressive-contraction/metrics/public-a100-complete-seed42.json",
    "dataset_fingerprint": "69efc634f51a589335fcdea85238bf3218653a94de2ba2604a64056960547dab",
    "execution_config_sha256": "506dce6568921b9c8fa75d969267537f9bb5c5c5b093a77b283616a2246524c5",
    "raw_result_sha256": "179bf4d73896074908a445f9e20e87ceba1e1c34c24927349fd19da312706e2d"
  },
  "limitations": [
    "One seed42 full-definition L1 mechanism smoke, not a formal capability comparison or stable gain.",
    "Original default seeds43/44 remain unfinished; this receipt does not complete the accepted full batch plan.",
    "Only four validation cases; official test content was not opened or used for selection.",
    "Actual token cost is retained; matched configured caps do not imply identical realized compute.",
    "Qwen2.5 and tiny GSM8K train-only public holdout replace the original scale and Qwen3.5 models.",
    "Actual MCRT sampled continuation costs are reported separately; exposure reduction is not total compute saving.",
    "Published v1 HTML has missing appendix labels and no retrievable appendix algorithm; main Eqs1-8 are implemented.",
    "Finite samples and single-seed runtime validation cannot establish original 135x or downstream gains."
  ]
}