{
  "attempt": 1,
  "boundary": "Owned adapter negative guests only; no full runtime/toolchain/hardware qualification",
  "build": {
    "elf": {
      "bytes": 20368,
      "sha256": "61bbd44ef36a34293326c97a68768b4350ed393ad087f2cea08f65171c1c9f0a"
    },
    "guest_executed": false,
    "map": {
      "bytes": 30413,
      "sha256": "cd7fdb6b01bfaaa729040f7def19b53c73ba76ba98d324f77e2044003cdf03cf"
    },
    "runtime_admitted": false,
    "schema": 1,
    "source": {
      "boundary": "Diagnostic build only; no guest, full toolchain or runtime admission",
      "core_commit": "2ed19d64ec3359143409a4b0a9758b4aeef3ee7d",
      "files": {
        "compiler/driver": {
          "bytes": 1284952,
          "sha256": "8b954aa209c87cc599255fc91618e2e7cc41f913d37a1bd233fdd1c13e3274a3"
        },
        "compiler/include/stdbool.h": {
          "bytes": 1490,
          "sha256": "68b898fc39d5d2a450df9b7263d984e7d2ad4c02675f4043a62e762f169e4b85"
        },
        "compiler/libgcc.a": {
          "bytes": 9550530,
          "sha256": "af0272f07ffcd4f4dddd548d2607d514d501b78d232922ac1fd3d915cd415137"
        },
        "core/LICENSE": {
          "bytes": 1077,
          "sha256": "8a97e7f8b7c220437cd49da7ff13b2b6ac12fdf626fc1361b0e737923ecb04c7"
        },
        "core/inc/core/CodalCompat.h": {
          "bytes": 4481,
          "sha256": "0047a10015ecfeadab51d9fede5b269c888b53e783b9ee8b994c50bed2f13e16"
        },
        "core/inc/core/CodalComponent.h": {
          "bytes": 7235,
          "sha256": "345c469f7a48b496506128aa4add54a8d8b6665c594b0bde97b0e3e4f31d4914"
        },
        "core/inc/core/CodalConfig.h": {
          "bytes": 6539,
          "sha256": "2505fbd1e62e57860a52bfd33efc5a68f9471ace4f0f766bb4c6a98dd5023b20"
        },
        "core/inc/core/CodalDmesg.h": {
          "bytes": 2557,
          "sha256": "ef91f16ecbb8516927209828afa8ff78ddacfa13fc32aa159346e21c2a5a1026"
        },
        "core/inc/core/ErrorNo.h": {
          "bytes": 3400,
          "sha256": "3926b4b39a65e4120c7faccb56e14a8019f5de5f169447b49b02b91aa3a59c83"
        },
        "core/inc/core/codal_target_hal.h": {
          "bytes": 2580,
          "sha256": "dad862ea056054f10a240579a845608cb832ec5222133ef5b7d98ea4615d424d"
        },
        "core/inc/driver-models/LowLevelTimer.h": {
          "bytes": 4543,
          "sha256": "392d505295e1e3180a9369106357b3719f7594ba1e978996858599354e72c834"
        },
        "core/inc/driver-models/Timer.h": {
          "bytes": 10647,
          "sha256": "f2e94bebbf8593086f246c3a77c0a7de37ac6d280a4839eb0f51ef8e547c760f"
        },
        "core/inc/types/Event.h": {
          "bytes": 4996,
          "sha256": "14be4ab70b3c69a5ddbfc54a6aaf214b9964f0634b3bfbf44ed74f17145c3437"
        },
        "core/source/driver-models/Timer.cpp": {
          "bytes": 15857,
          "sha256": "af0804b6019aea3e0cae664847b348c7323fa6fc9d400da969309959a6601e8f"
        },
        "samd/paired-irq/include/PairedIrqState.h": {
          "bytes": 3356,
          "sha256": "05e66ca9472fb138272d3b9d7e2c72338141f48cac95255103df77166ff69484"
        },
        "samd/paired-irq/profile.cpp": {
          "bytes": 1990,
          "sha256": "6338c2501169cd9269a5fae89f56c2fcf1430155d1bf8767249275088e0d159f"
        },
        "samd/simulation/arm/control.ld": {
          "bytes": 823,
          "sha256": "7b20ad2dc6040d852c6fbc9b6f280c906bab291e9e3769da22d5917b1819361c"
        },
        "samd/simulation/arm/irq-startup.S": {
          "bytes": 1323,
          "sha256": "5eb1d1ce523380d2297dec54022ea29ae0f950746a09fd66b7d689dd2e7b0bc8"
        },
        "samd/simulation/include/InterruptMask.h": {
          "bytes": 1192,
          "sha256": "8d4fa4d8742eea9f72ec131dbb70e5a245535c902ab91adb2fc6cbebb744cd5a"
        },
        "samd/timer-caller/build.sh": {
          "bytes": 2614,
          "sha256": "b14e9a7d09fe4a4389fb247f6eb64d484602f8e03a539b8e783d8dc9aa286289"
        },
        "samd/timer-caller/platform_includes.h": {
          "bytes": 763,
          "sha256": "dea200bc2cf55ba09e42e742dd852db914796ddeae984b432ad2f8950a041e62"
        },
        "samd/timer-caller/probe.cpp": {
          "bytes": 7340,
          "sha256": "534e6e57c871213e03f428d0d776fbfda00360365baca96baa24f6b40c4e6422"
        },
        "samd/timer-caller/provenance.py": {
          "bytes": 5709,
          "sha256": "e94712c219cb2b90f1e93a7861ddc2a85176dbe44713db61c17665188cb6e1af"
        },
        "samd/timer-caller/test_provenance.py": {
          "bytes": 3831,
          "sha256": "74fd9b41478479f0123c26427acf7f2f464477e86dd666678f0e7ce19cbb55cc"
        }
      },
      "samd_commit": "d55214588780d737640536b0a58707cd6d69cfce",
      "schema": 1
    },
    "units": {
      "probe": [
        "core/inc/core/CodalComponent.h",
        "core/inc/core/CodalConfig.h",
        "core/inc/core/ErrorNo.h",
        "core/inc/core/codal_target_hal.h",
        "core/inc/driver-models/LowLevelTimer.h",
        "core/inc/driver-models/Timer.h",
        "core/inc/types/Event.h",
        "samd/simulation/include/InterruptMask.h",
        "samd/timer-caller/platform_includes.h",
        "samd/timer-caller/probe.cpp"
      ],
      "profile": [
        "samd/paired-irq/include/PairedIrqState.h",
        "samd/paired-irq/profile.cpp",
        "samd/simulation/include/InterruptMask.h"
      ],
      "timer": [
        "compiler/include/stdbool.h",
        "core/inc/core/CodalCompat.h",
        "core/inc/core/CodalComponent.h",
        "core/inc/core/CodalConfig.h",
        "core/inc/core/CodalDmesg.h",
        "core/inc/core/ErrorNo.h",
        "core/inc/core/codal_target_hal.h",
        "core/inc/driver-models/LowLevelTimer.h",
        "core/inc/driver-models/Timer.h",
        "core/inc/types/Event.h",
        "core/source/driver-models/Timer.cpp",
        "samd/timer-caller/platform_includes.h"
      ]
    }
  },
  "commit": "db2863bae5054bad3e23ab32d3ef9d7b9e15102f",
  "compiler_after": {
    "compiler/driver": {
      "bytes": 1284952,
      "sha256": "8b954aa209c87cc599255fc91618e2e7cc41f913d37a1bd233fdd1c13e3274a3"
    },
    "compiler/include/stdbool.h": {
      "bytes": 1490,
      "sha256": "68b898fc39d5d2a450df9b7263d984e7d2ad4c02675f4043a62e762f169e4b85"
    },
    "compiler/libgcc.a": {
      "bytes": 9550530,
      "sha256": "af0272f07ffcd4f4dddd548d2607d514d501b78d232922ac1fd3d915cd415137"
    }
  },
  "head": "6947637378841a3fe0e249620b8ec8316efe93a3",
  "helpers": {
    "crates/core/tests/samd_real_timer_adversary_guest.rs": {
      "bytes": 10547,
      "sha256": "c3f534a81ace07682f8b5736c62c2007531d8297c4fa88f84c1f8951baf5a6a2"
    },
    "scripts/samd-real-timer-adversaries/build.py": {
      "bytes": 8399,
      "sha256": "58da29c2141c576a4edf0a082479c85532ced2446fc317140d3645d85e7bc35d"
    },
    "scripts/samd-real-timer-adversaries/record.py": {
      "bytes": 13098,
      "sha256": "c1468b576f76c10bcf6f0d0039225f762829e99648761891d0d5effaeb7c6c9d"
    }
  },
  "mutants": {
    "early_restore": {
      "boundary": "Owned adapter mutant build only; guest rejection unobserved",
      "case": "early_restore",
      "dependencies": [
        "generated/profile",
        "samd/paired-irq/include/PairedIrqState.h",
        "samd/simulation/include/InterruptMask.h"
      ],
      "elf": {
        "bytes": 20368,
        "sha256": "f38be51f397b3155f682e4a3138294aa0aa1ad87d52a63d09176a6f569fa07a7"
      },
      "expected_failure": {
        "exception": 16,
        "fault": 0,
        "status": "0xa14"
      },
      "generated_source": {
        "bytes": 2012,
        "sha256": "cfcc070149ae027a7b9b4a06a977775b572ec32669913b03c81ff3ccd0d9340f"
      },
      "guest_executed": false,
      "map": {
        "bytes": 30798,
        "sha256": "ee3e59bb9797a06529dfa0161451016e2eb1b3823145526258a3bf41d939e777"
      },
      "objects": {
        "probe": {
          "bytes": 18688,
          "sha256": "5ee9d9b67179301d045360c3bc829a90564fd478bdf9ad948ab419edb7b97a1a"
        },
        "profile": {
          "bytes": 6216,
          "sha256": "53b42edee7b46e5ea7e27931710ee662536bb9f296856329d0779d7199937e78"
        },
        "startup": {
          "bytes": 5316,
          "sha256": "b228424daad989a2a5587403261db86511db46f03c771e430b2feb38c9423e70"
        },
        "timer": {
          "bytes": 11180,
          "sha256": "4585efe7ddd1e728f98e023b13ef6296526c35c3d620b38ca1876a004f1afb77"
        }
      },
      "original_source": {
        "bytes": 1990,
        "label": "samd/paired-irq/profile.cpp",
        "sha256": "6338c2501169cd9269a5fae89f56c2fcf1430155d1bf8767249275088e0d159f"
      },
      "replaced_unit": "profile",
      "runtime_admitted": false,
      "samd_commit": "d55214588780d737640536b0a58707cd6d69cfce",
      "schema": 1
    },
    "unconditional_restore": {
      "boundary": "Owned adapter mutant build only; guest rejection unobserved",
      "case": "unconditional_restore",
      "dependencies": [
        "generated/profile",
        "samd/paired-irq/include/PairedIrqState.h",
        "samd/simulation/include/InterruptMask.h"
      ],
      "elf": {
        "bytes": 20368,
        "sha256": "20ee28ac669c121340fcf58db843fb88fe8f0931dde50120d99f82cc5198afbb"
      },
      "expected_failure": {
        "exception": 0,
        "fault": 0,
        "status": "0xb02"
      },
      "generated_source": {
        "bytes": 2012,
        "sha256": "2544890cec27cb70844246ba519f8e47705404e77c082ab1dab137926a2b78bc"
      },
      "guest_executed": false,
      "map": {
        "bytes": 31054,
        "sha256": "7974bd608270e46c29ede1a5ec3630b72f22fe65535936d0a31655c0dde58c50"
      },
      "objects": {
        "probe": {
          "bytes": 18688,
          "sha256": "5ee9d9b67179301d045360c3bc829a90564fd478bdf9ad948ab419edb7b97a1a"
        },
        "profile": {
          "bytes": 6216,
          "sha256": "b42e23eb09b691ce81359d1e798ffefbebf9e9ebd17009e440778a6935e956b0"
        },
        "startup": {
          "bytes": 5316,
          "sha256": "b228424daad989a2a5587403261db86511db46f03c771e430b2feb38c9423e70"
        },
        "timer": {
          "bytes": 11180,
          "sha256": "4585efe7ddd1e728f98e023b13ef6296526c35c3d620b38ca1876a004f1afb77"
        }
      },
      "original_source": {
        "bytes": 1990,
        "label": "samd/paired-irq/profile.cpp",
        "sha256": "6338c2501169cd9269a5fae89f56c2fcf1430155d1bf8767249275088e0d159f"
      },
      "replaced_unit": "profile",
      "runtime_admitted": false,
      "samd_commit": "d55214588780d737640536b0a58707cd6d69cfce",
      "schema": 1
    },
    "unsupported_event": {
      "boundary": "Owned adapter mutant build only; guest rejection unobserved",
      "case": "unsupported_event",
      "dependencies": [
        "core/inc/core/CodalComponent.h",
        "core/inc/core/CodalConfig.h",
        "core/inc/core/ErrorNo.h",
        "core/inc/core/codal_target_hal.h",
        "core/inc/driver-models/LowLevelTimer.h",
        "core/inc/driver-models/Timer.h",
        "core/inc/types/Event.h",
        "generated/probe",
        "samd/simulation/include/InterruptMask.h",
        "samd/timer-caller/platform_includes.h"
      ],
      "elf": {
        "bytes": 20368,
        "sha256": "386d1bfb08ba2bef64cbe22016842a4ed1a6653fc09277ffcec06f31e246f518"
      },
      "expected_failure": {
        "exception": 0,
        "fault": 0,
        "status": "0xa07"
      },
      "generated_source": {
        "bytes": 7404,
        "sha256": "0c167e84f9fb1a6478a014813edf93949148dc57292781171f98bd0dbc88668f"
      },
      "guest_executed": false,
      "map": {
        "bytes": 32176,
        "sha256": "44fd6bca832238a8a021bb13b4017a32a138a62f2af186d83874c434717ff3a3"
      },
      "objects": {
        "probe": {
          "bytes": 18724,
          "sha256": "f4ad3e9bfbc316749b069e0c939f88e25d3ac1e01d3169aacc66b09a4b26424f"
        },
        "profile": {
          "bytes": 6204,
          "sha256": "7d53092049c94776f23690691cfdc543b305de2c48f2f00b5aabbf60688e7012"
        },
        "startup": {
          "bytes": 5316,
          "sha256": "b228424daad989a2a5587403261db86511db46f03c771e430b2feb38c9423e70"
        },
        "timer": {
          "bytes": 11180,
          "sha256": "4585efe7ddd1e728f98e023b13ef6296526c35c3d620b38ca1876a004f1afb77"
        }
      },
      "original_source": {
        "bytes": 7340,
        "label": "samd/timer-caller/probe.cpp",
        "sha256": "534e6e57c871213e03f428d0d776fbfda00360365baca96baa24f6b40c4e6422"
      },
      "replaced_unit": "probe",
      "runtime_admitted": false,
      "samd_commit": "d55214588780d737640536b0a58707cd6d69cfce",
      "schema": 1
    }
  },
  "parents": [
    "c8f1865a625bd6471197c5e02a59c994c976e48f",
    "6947637378841a3fe0e249620b8ec8316efe93a3"
  ],
  "profiles": {
    "default": {
      "cases": {
        "early_restore": {
          "exception": 16,
          "fault": 0,
          "irq_entries": 1,
          "mask": 1,
          "milestones": 1,
          "status": "0xa14",
          "steps": 26301,
          "terminal": 64
        },
        "unconditional_restore": {
          "exception": 0,
          "fault": 0,
          "irq_entries": 0,
          "mask": 1,
          "milestones": 0,
          "status": "0xb02",
          "steps": 24384,
          "terminal": 64
        },
        "unsupported_event": {
          "exception": 0,
          "fault": 0,
          "irq_entries": 0,
          "mask": 1,
          "milestones": 0,
          "status": "0xa07",
          "steps": 1331,
          "terminal": 64
        }
      },
      "log_sha256": "1ba841ea726c893f6d087dee300c6508d3cb95acdfac5de74d18029e22c6f88a"
    },
    "scheduler": {
      "cases": {
        "early_restore": {
          "exception": 16,
          "fault": 0,
          "irq_entries": 1,
          "mask": 1,
          "milestones": 1,
          "status": "0xa14",
          "steps": 26301,
          "terminal": 64
        },
        "unconditional_restore": {
          "exception": 0,
          "fault": 0,
          "irq_entries": 0,
          "mask": 1,
          "milestones": 0,
          "status": "0xb02",
          "steps": 24384,
          "terminal": 64
        },
        "unsupported_event": {
          "exception": 0,
          "fault": 0,
          "irq_entries": 0,
          "mask": 1,
          "milestones": 0,
          "status": "0xa07",
          "steps": 1331,
          "terminal": 64
        }
      },
      "log_sha256": "1ba841ea726c893f6d087dee300c6508d3cb95acdfac5de74d18029e22c6f88a"
    }
  },
  "run": 38198468505,
  "schema": 1,
  "tree": "63158ec109705218ab85d99e2de29bf3dbbf34dc"
}