{
  "schema_version": 1,
  "evidence_kind": "host_synthetic_fault_injection",
  "generated_at": "2026-09-12T05:25:54.914096+00:00",
  "repo_head": "bb8df6f4b51cdbad3aa56409bb25006e4db0d6f9",
  "working_tree_dirty": true,
  "platform": "Linux-6.18.35-x86_64-with-glibc2.39",
  "compiler": "cc (Ubuntu 13.3.0-6ubuntu2~24.04) 13.3.0",
  "flags": [
    "-std=c11",
    "-Wall",
    "-Wextra",
    "-Werror",
    "-pedantic",
    "-O2",
    "-O1",
    "-g",
    "-fsanitize=address,undefined",
    "-fno-sanitize-recover=all"
  ],
  "build_commands": [
    [
      "cc",
      "-std=c11",
      "-Wall",
      "-Wextra",
      "-Werror",
      "-pedantic",
      "-O2",
      "-O1",
      "-g",
      "-fsanitize=address,undefined",
      "-fno-sanitize-recover=all",
      "-Ikernel",
      "-Imcu/shared",
      "-Imcu/pico-cue/src",
      "-c",
      "kernel/cue_policy.c",
      "-o",
      "<build>/kernel.o"
    ],
    [
      "cc",
      "-std=c11",
      "-Wall",
      "-Wextra",
      "-Werror",
      "-pedantic",
      "-O2",
      "-O1",
      "-g",
      "-fsanitize=address,undefined",
      "-fno-sanitize-recover=all",
      "-Ikernel",
      "-Imcu/shared",
      "-Imcu/pico-cue/src",
      "-c",
      "mcu/pico-cue/src/cue_pattern.c",
      "-o",
      "<build>/pattern.o"
    ],
    [
      "cc",
      "-std=c11",
      "-Wall",
      "-Wextra",
      "-Werror",
      "-pedantic",
      "-O2",
      "-O1",
      "-g",
      "-fsanitize=address,undefined",
      "-fno-sanitize-recover=all",
      "-Ikernel",
      "-Imcu/shared",
      "-Imcu/pico-cue/src",
      "-c",
      "tools/cue-fault-injection/campaign.c",
      "-o",
      "<build>/campaign.o"
    ],
    [
      "cc",
      "-std=c11",
      "-Wall",
      "-Wextra",
      "-Werror",
      "-pedantic",
      "-O2",
      "-O1",
      "-g",
      "-fsanitize=address,undefined",
      "-fno-sanitize-recover=all",
      "-Ikernel",
      "-Imcu/shared",
      "-Imcu/pico-cue/src",
      "-c",
      "mcu/pico-cue/src/cue_session.c",
      "-o",
      "<build>/session.o"
    ],
    [
      "cc",
      "-std=c11",
      "-Wall",
      "-Wextra",
      "-Werror",
      "-pedantic",
      "-O2",
      "-O1",
      "-g",
      "-fsanitize=address,undefined",
      "-fno-sanitize-recover=all",
      "-Ikernel",
      "-Imcu/shared",
      "-Imcu/pico-cue/src",
      "-Dcue_policy_step=candidate_cue_policy_step",
      "-Dcue_policy_init=candidate_cue_policy_init",
      "-Dcue_policy_default_config=candidate_cue_policy_default_config",
      "-c",
      "<build>/mutant.c",
      "-o",
      "<build>/mutant.o"
    ],
    [
      "cc",
      "-std=c11",
      "-Wall",
      "-Wextra",
      "-Werror",
      "-pedantic",
      "-O2",
      "-O1",
      "-g",
      "-fsanitize=address,undefined",
      "-fno-sanitize-recover=all",
      "-Ikernel",
      "-Imcu/shared",
      "-Imcu/pico-cue/src",
      "-Dcue_policy_step=candidate_cue_policy_step",
      "-c",
      "mcu/pico-cue/src/cue_session.c",
      "-o",
      "<build>/mutant_session.o"
    ],
    [
      "cc",
      "-std=c11",
      "-Wall",
      "-Wextra",
      "-Werror",
      "-pedantic",
      "-O2",
      "-O1",
      "-g",
      "-fsanitize=address,undefined",
      "-fno-sanitize-recover=all",
      "<build>/kernel.o",
      "<build>/pattern.o",
      "<build>/campaign.o",
      "<build>/session.o",
      "-o",
      "<build>/baseline"
    ],
    [
      "cc",
      "-std=c11",
      "-Wall",
      "-Wextra",
      "-Werror",
      "-pedantic",
      "-O2",
      "-O1",
      "-g",
      "-fsanitize=address,undefined",
      "-fno-sanitize-recover=all",
      "<build>/kernel.o",
      "<build>/pattern.o",
      "<build>/campaign.o",
      "<build>/mutant.o",
      "<build>/mutant_session.o",
      "-o",
      "<build>/mutant"
    ]
  ],
  "binary_sha256": {
    "baseline": "461efac98d72fa9bb0495b461bcd32ee331fe2773469a9b914a787fff06f6bc6",
    "mutant": "fc2fa46754cbe6dfa7be6cc470eca5f3ba5f1c90add5efd71eb8657282aede18"
  },
  "sanitizer_environment": {
    "ASAN_OPTIONS": "detect_leaks=0",
    "LSAN_OPTIONS": null,
    "UBSAN_OPTIONS": null
  },
  "source_sha256": {
    "tools/cue-fault-injection/run.py": "36370695bb35ad6f681fd787d549ee84ea77d483de2be33937fd870ceec3d764",
    "tools/cue-fault-injection/campaign.c": "8e8c4e4b107fed90a385ae70f49d477d979d7f8f764a43ecc5a0d18d0b5977e5",
    "kernel/cue_policy.c": "ae7f3873c80dd55f7a878af7a6d6dcf372ed262945e9b1f9591fd8675179c0cb",
    "kernel/cue_policy.h": "4b9a96e8609ea1399d3dab7725db98474eb6fc6565e779efc619730dbd18baaa",
    "mcu/shared/cue_wire.h": "936d49f408202097453dcc44f56ab9e09513a1f6e8ac1f372da1efc3f6e34031",
    "mcu/pico-cue/src/cue_session.c": "9343d74d4d843ae80304a4460ba8fa3672f5d75914af2bf6741d738add384ef8",
    "mcu/pico-cue/src/cue_session.h": "58f4c3b31a27e1d271e9d7c44109deb10c494e292a5bbc9488968af6e6054386",
    "mcu/pico-cue/src/cue_pattern.c": "a95f40ad55b5512242e39ff8785c02a15d472e09b0b40707789b97c0451447d5",
    "mcu/pico-cue/src/cue_pattern.h": "bae0baacf976475529083ab5848cfd38294c48becaf27359e13b5ab635cc4e6a"
  },
  "mutation": {
    "before": "if (tte_s > effective_max_notice_s)",
    "after": "if (tte_s > effective_max_notice_s + 1)",
    "mutated_source_sha256": "398677186239a194560d0403ff8c1c6c2fbf6c6b95066ab16e1db412dcddcecc"
  },
  "scenarios": [
    {
      "scenario": "clean_control",
      "rejected_frames": 0,
      "decision_mismatches": 0,
      "actuation_requests": 1,
      "compared_reports": 5,
      "state_size": 420,
      "outcome": "agreement",
      "expectations_met": true
    },
    {
      "scenario": "dropped_middle_step",
      "rejected_frames": 1,
      "decision_mismatches": 0,
      "actuation_requests": 0,
      "compared_reports": 5,
      "state_size": 420,
      "outcome": "recovered_without_stale_actuation",
      "expectations_met": true
    },
    {
      "scenario": "duplicate_step",
      "rejected_frames": 0,
      "decision_mismatches": 0,
      "actuation_requests": 1,
      "compared_reports": 6,
      "state_size": 420,
      "outcome": "cached_report_no_repeat_actuation",
      "expectations_met": true
    },
    {
      "scenario": "reordered_steps",
      "rejected_frames": 1,
      "decision_mismatches": 0,
      "actuation_requests": 1,
      "compared_reports": 5,
      "state_size": 420,
      "outcome": "recovered_in_order",
      "expectations_met": true
    },
    {
      "scenario": "reset_full_restream",
      "rejected_frames": 1,
      "decision_mismatches": 0,
      "actuation_requests": 1,
      "compared_reports": 7,
      "state_size": 420,
      "outcome": "recovered_without_repeat_actuation",
      "expectations_met": true
    },
    {
      "scenario": "truncated_frame",
      "rejected_frames": 1,
      "decision_mismatches": 0,
      "actuation_requests": 1,
      "compared_reports": 5,
      "state_size": 420,
      "outcome": "rejected_then_recovered",
      "expectations_met": true
    },
    {
      "scenario": "unknown_flags",
      "rejected_frames": 1,
      "decision_mismatches": 0,
      "actuation_requests": 1,
      "compared_reports": 5,
      "state_size": 420,
      "outcome": "rejected_then_recovered",
      "expectations_met": true
    },
    {
      "scenario": "dropped_first_noncue_step",
      "rejected_frames": 0,
      "decision_mismatches": 0,
      "actuation_requests": 1,
      "compared_reports": 4,
      "state_size": 420,
      "outcome": "not_detected_by_session_or_decision_comparison",
      "expectations_met": true
    },
    {
      "scenario": "lost_final_report",
      "rejected_frames": 0,
      "decision_mismatches": 0,
      "actuation_requests": 1,
      "compared_reports": 4,
      "state_size": 420,
      "outcome": "comparison_coverage_incomplete",
      "expectations_met": true
    },
    {
      "scenario": "same_size_kernel_drift",
      "rejected_frames": 0,
      "decision_mismatches": 1,
      "actuation_requests": 1,
      "compared_reports": 1,
      "state_size": 420,
      "outcome": "mismatch_after_actuation_request",
      "expectations_met": true
    }
  ],
  "expectations_met": true,
  "limitations": [
    "No physical BLE, GPIO, audible output, or Swift receiver exercised.",
    "Actuation requests are not measured physical actuations.",
    "Compared reports include duplicate/catch-up observations, not unique steps.",
    "The comparator is a host experiment, not production PicoStreamer.",
    "Expected blind spots are successful characterizations, not eliminated faults.",
    "No wall-clock detection latency or statistical failure rate is estimated."
  ]
}