{
  "schema_version": 1,
  "premise": "A single finite float32 bit flip in the final layer makes one animal class dominate at least 90% of predictions and drops top-1 accuracy by more than 50 percentage points.",
  "premise_passed": true,
  "selection_rule": "Among finite candidates targeting CIFAR-10 animal classes, maximize calibration target share, then minimize calibration accuracy, then choose the smaller flat weight index and bit index.",
  "scope": {
    "model": "cifar10_resnet20",
    "searched_parameter": "fc.weight",
    "shape": [
      10,
      64
    ],
    "calibration_images": 1000,
    "calibration_images_per_class": 100,
    "full_test_images": 10000,
    "animal_classes": [
      "bird",
      "cat",
      "deer",
      "dog",
      "frog",
      "horse"
    ],
    "float32_candidates": 20480,
    "float16_candidates": 10240,
    "int8_candidates": 5120,
    "total_candidates": 35840,
    "precision_comparison_boundary": "Only final-layer weight storage changes; the ResNet backbone and captured features remain float32."
  },
  "model": {
    "repository": "https://github.com/chenyaofo/pytorch-cifar-models",
    "source_commit": "786c16252c0fc58ee9adac063f8337cc4a7a497a",
    "hub_spec": "chenyaofo/pytorch-cifar-models:786c16252c0fc58ee9adac063f8337cc4a7a497a",
    "checkpoint_url": "https://github.com/chenyaofo/pytorch-cifar-models/releases/download/resnet/cifar10_resnet20-4118986f.pt",
    "checkpoint_sha256": "4118986f0df73003d572b0e397f0ac7b3f60af1f31aff3d2da164536e36f6ec8",
    "checkpoint_bytes": 1139055,
    "parameter_count": 272474
  },
  "dataset": {
    "name": "CIFAR-10 test batch",
    "official_page": "https://www.cs.toronto.edu/~kriz/cifar.html",
    "download_mirror": "https://dataset.bj.bcebos.com/cifar/cifar-10-python.tar.gz",
    "archive_md5": "c58f30108f718f92721af3b95e74349a",
    "archive_sha256": "6d958be074577803d12ecdefd02955f39262c83c16fe9348329d7fe0b5c001ce",
    "test_batch_sha256": "f53d8d457504f7cff4ea9e021afcf0e0ad8e24a91f3fc42091b8adef61157831",
    "classes": [
      "airplane",
      "automobile",
      "bird",
      "cat",
      "deer",
      "dog",
      "frog",
      "horse",
      "ship",
      "truck"
    ],
    "normalization_mean": [
      0.4914,
      0.4822,
      0.4465
    ],
    "normalization_std": [
      0.2023,
      0.1994,
      0.201
    ]
  },
  "baseline_float32_full_test": {
    "accuracy": 0.926,
    "prediction_counts": [
      1013,
      1009,
      1000,
      1008,
      1019,
      1001,
      1002,
      966,
      999,
      983
    ],
    "prediction_shares": [
      0.1013,
      0.1009,
      0.1,
      0.1008,
      0.1019,
      0.1001,
      0.1002,
      0.0966,
      0.0999,
      0.0983
    ],
    "per_class_accuracy": [
      0.937,
      0.972,
      0.901,
      0.852,
      0.929,
      0.89,
      0.944,
      0.933,
      0.957,
      0.945
    ]
  },
  "calibration_format_baselines": {
    "float32": {
      "accuracy": 0.926,
      "prediction_counts": [
        96,
        99,
        100,
        100,
        100,
        105,
        104,
        98,
        101,
        97
      ],
      "prediction_shares": [
        0.096,
        0.099,
        0.1,
        0.1,
        0.1,
        0.105,
        0.104,
        0.098,
        0.101,
        0.097
      ],
      "per_class_accuracy": [
        0.89,
        0.96,
        0.9,
        0.85,
        0.95,
        0.9,
        0.95,
        0.97,
        0.95,
        0.94
      ]
    },
    "float16": {
      "accuracy": 0.926,
      "prediction_counts": [
        96,
        99,
        100,
        100,
        100,
        105,
        104,
        98,
        101,
        97
      ],
      "prediction_shares": [
        0.096,
        0.099,
        0.1,
        0.1,
        0.1,
        0.105,
        0.104,
        0.098,
        0.101,
        0.097
      ],
      "per_class_accuracy": [
        0.89,
        0.96,
        0.9,
        0.85,
        0.95,
        0.9,
        0.95,
        0.97,
        0.95,
        0.94
      ]
    },
    "int8": {
      "accuracy": 0.925,
      "prediction_counts": [
        97,
        99,
        99,
        100,
        100,
        105,
        104,
        98,
        101,
        97
      ],
      "prediction_shares": [
        0.097,
        0.099,
        0.099,
        0.1,
        0.1,
        0.105,
        0.104,
        0.098,
        0.101,
        0.097
      ],
      "per_class_accuracy": [
        0.89,
        0.96,
        0.89,
        0.85,
        0.95,
        0.9,
        0.95,
        0.97,
        0.95,
        0.94
      ]
    }
  },
  "winners_full_test": {
    "float32": {
      "storage_format": "float32",
      "parameter": "fc.weight",
      "target_class": "bird",
      "target_index": 2,
      "feature_index": 8,
      "flat_index": 136,
      "bit_index_from_lsb": 30,
      "bit_kind": "exponent",
      "old_bits_hex": "0x3ea0eb5b",
      "new_bits_hex": "0x7ea0eb5b",
      "old_effective_value": 0.31429561972618103,
      "new_effective_value": 1.0694925739330808e+38,
      "calibration_accuracy": 0.1,
      "calibration_target_share": 1.0,
      "full_test_accuracy": 0.1003,
      "full_test_target_share": 0.9994,
      "full_test_prediction_count": 9994,
      "effective_weight_elements_changed": 1,
      "effective_weight_bytes_changed_after_conversion": 1,
      "storage_weight_bytes_changed": 1,
      "nonfinite_output_logits": 64,
      "winner_feature_activation": {
        "feature_index": 8,
        "positive_count": 9994,
        "zero_count": 6,
        "negative_count": 0,
        "minimum": 0.0,
        "median": 0.3685377836227417,
        "maximum": 4.3844523429870605,
        "favorite_predictions_exactly_match_positive_activations": true
      }
    },
    "float16": {
      "storage_format": "float16",
      "parameter": "fc.weight",
      "target_class": "bird",
      "target_index": 2,
      "feature_index": 8,
      "flat_index": 136,
      "bit_index_from_lsb": 14,
      "bit_kind": "exponent",
      "old_bits_hex": "0x3507",
      "new_bits_hex": "0x7507",
      "old_effective_value": 0.314208984375,
      "new_effective_value": 20592.0,
      "calibration_accuracy": 0.1,
      "calibration_target_share": 1.0,
      "full_test_accuracy": 0.1005,
      "full_test_target_share": 0.9992,
      "full_test_prediction_count": 9992,
      "effective_weight_elements_changed": 1,
      "effective_weight_bytes_changed_after_conversion": 1,
      "storage_weight_bytes_changed": 1,
      "nonfinite_output_logits": 0
    },
    "int8": {
      "storage_format": "int8",
      "parameter": "fc.weight",
      "target_class": "cat",
      "target_index": 3,
      "feature_index": 32,
      "flat_index": 224,
      "bit_index_from_lsb": 7,
      "bit_kind": "integer-storage",
      "old_bits_hex": "0xe6",
      "new_bits_hex": "0x66",
      "old_effective_value": -0.30924931168556213,
      "new_effective_value": 1.2132088574837512,
      "calibration_accuracy": 0.918,
      "calibration_target_share": 0.121,
      "full_test_accuracy": 0.9226,
      "full_test_target_share": 0.1167,
      "full_test_prediction_count": 1167,
      "effective_weight_elements_changed": 1,
      "effective_weight_bytes_changed_after_conversion": 4,
      "storage_weight_bytes_changed": 1,
      "nonfinite_output_logits": 0
    }
  },
  "field_summaries": {
    "float32": {
      "mantissa": {
        "candidates": 14720,
        "finite_candidates": 14720,
        "max_animal_target_share": 0.111,
        "min_accuracy": 0.922
      },
      "exponent": {
        "candidates": 5120,
        "finite_candidates": 5110,
        "max_animal_target_share": 1.0,
        "min_accuracy": 0.1
      },
      "sign": {
        "candidates": 640,
        "finite_candidates": 640,
        "max_animal_target_share": 0.111,
        "min_accuracy": 0.861
      }
    },
    "float16": {
      "mantissa": {
        "candidates": 6400,
        "finite_candidates": 6400,
        "max_animal_target_share": 0.111,
        "min_accuracy": 0.922
      },
      "exponent": {
        "candidates": 3200,
        "finite_candidates": 3190,
        "max_animal_target_share": 1.0,
        "min_accuracy": 0.1
      },
      "sign": {
        "candidates": 640,
        "finite_candidates": 640,
        "max_animal_target_share": 0.111,
        "min_accuracy": 0.861
      }
    },
    "int8": {
      "integer-storage": {
        "candidates": 5120,
        "finite_candidates": 5120,
        "max_animal_target_share": 0.121,
        "min_accuracy": 0.915
      }
    }
  },
  "animal_target_summaries": [
    {
      "storage_format": "float16",
      "target_class": "bird",
      "finite_candidates": 1023,
      "max_calibration_target_share": 1.0,
      "perfect_calibration_candidates": 12
    },
    {
      "storage_format": "float16",
      "target_class": "cat",
      "finite_candidates": 1024,
      "max_calibration_target_share": 1.0,
      "perfect_calibration_candidates": 12
    },
    {
      "storage_format": "float16",
      "target_class": "deer",
      "finite_candidates": 1024,
      "max_calibration_target_share": 1.0,
      "perfect_calibration_candidates": 11
    },
    {
      "storage_format": "float16",
      "target_class": "dog",
      "finite_candidates": 1023,
      "max_calibration_target_share": 1.0,
      "perfect_calibration_candidates": 7
    },
    {
      "storage_format": "float16",
      "target_class": "frog",
      "finite_candidates": 1023,
      "max_calibration_target_share": 1.0,
      "perfect_calibration_candidates": 7
    },
    {
      "storage_format": "float16",
      "target_class": "horse",
      "finite_candidates": 1022,
      "max_calibration_target_share": 1.0,
      "perfect_calibration_candidates": 5
    },
    {
      "storage_format": "float32",
      "target_class": "bird",
      "finite_candidates": 2047,
      "max_calibration_target_share": 1.0,
      "perfect_calibration_candidates": 14
    },
    {
      "storage_format": "float32",
      "target_class": "cat",
      "finite_candidates": 2048,
      "max_calibration_target_share": 1.0,
      "perfect_calibration_candidates": 18
    },
    {
      "storage_format": "float32",
      "target_class": "deer",
      "finite_candidates": 2048,
      "max_calibration_target_share": 1.0,
      "perfect_calibration_candidates": 14
    },
    {
      "storage_format": "float32",
      "target_class": "dog",
      "finite_candidates": 2047,
      "max_calibration_target_share": 1.0,
      "perfect_calibration_candidates": 10
    },
    {
      "storage_format": "float32",
      "target_class": "frog",
      "finite_candidates": 2047,
      "max_calibration_target_share": 1.0,
      "perfect_calibration_candidates": 11
    },
    {
      "storage_format": "float32",
      "target_class": "horse",
      "finite_candidates": 2046,
      "max_calibration_target_share": 1.0,
      "perfect_calibration_candidates": 6
    },
    {
      "storage_format": "int8",
      "target_class": "bird",
      "finite_candidates": 512,
      "max_calibration_target_share": 0.115,
      "perfect_calibration_candidates": 0
    },
    {
      "storage_format": "int8",
      "target_class": "cat",
      "finite_candidates": 512,
      "max_calibration_target_share": 0.121,
      "perfect_calibration_candidates": 0
    },
    {
      "storage_format": "int8",
      "target_class": "deer",
      "finite_candidates": 512,
      "max_calibration_target_share": 0.107,
      "perfect_calibration_candidates": 0
    },
    {
      "storage_format": "int8",
      "target_class": "dog",
      "finite_candidates": 512,
      "max_calibration_target_share": 0.12,
      "perfect_calibration_candidates": 0
    },
    {
      "storage_format": "int8",
      "target_class": "frog",
      "finite_candidates": 512,
      "max_calibration_target_share": 0.11,
      "perfect_calibration_candidates": 0
    },
    {
      "storage_format": "int8",
      "target_class": "horse",
      "finite_candidates": 512,
      "max_calibration_target_share": 0.108,
      "perfect_calibration_candidates": 0
    }
  ],
  "controls": {
    "captured_features_reconstruct_model_logits": true,
    "original_model_and_reconstructed_predictions_match": true,
    "live_mutated_model_matches_analytical_predictions": true,
    "favorite_predictions_exactly_match_positive_winner_feature": true,
    "search_left_source_weights_unchanged": true,
    "live_model_parameter_restored_to_original_bits": true,
    "selected_float32_old_xor_new": "0x40000000",
    "selected_float32_exactly_one_bit": true
  },
  "environment": {
    "python": "3.10.11",
    "platform": "Windows-10-10.0.26200-SP0",
    "torch": "2.10.0+cu128",
    "torchvision": "0.25.0+cpu",
    "numpy": "1.26.4",
    "device": "cuda",
    "gpu": "NVIDIA GeForce RTX 3050 6GB Laptop GPU",
    "elapsed_seconds": 13.793829441070557
  }
}