{
  "status": "PASS",
  "analysis_version": "runtime-history-audit-1.0",
  "frozen_commit": "9a5b577b77a6a87efcd8e6e218693af6faed17ce",
  "required_deliverables": [
    "report.md",
    "sync-wait-implementation.md",
    "wait-distribution.csv",
    "soft-timeout-scenarios.csv",
    "probe-history-lifecycle.md",
    "history-case-traces.md",
    "witness-ranking-reproduction.md",
    "jev-rate-limit-audit.md",
    "findings-and-priorities.md",
    "evidence-gaps.md",
    "validation.json"
  ],
  "counts": {
    "runs": 15,
    "network_requests": 1030,
    "startlux_requests": 344,
    "jev_requests": 686,
    "probes_native_transition_checked": 150,
    "history_deep_cases": 12,
    "soft_scenarios": 60,
    "witness_rows": 51,
    "exact_raw_witness_descriptors": 38,
    "incomplete_raw_witness_descriptors": 13,
    "global_jev_gateway_calls": 691,
    "formal_jev_gateway_calls": 686
  },
  "checks": {
    "unique_request_and_probe_keys": true,
    "all_network_requests_sync_15s_60s_lifetime_http200": true,
    "all_awaits_individually_measured_one_network_request_per_review": true,
    "all_network_responses_consumed_within_submitting_review": true,
    "all_1030_gateway_run_and_body_fingerprints_verified": true,
    "zero_ordinary_selection_during_wait_envelopes": true,
    "all_150_probes_confirmed_in_native_graph_history": true,
    "both_frozen_java_ranking_replays_match_selected_ids": true,
    "unknown_raw_descriptor_scores_are_na": true,
    "markdown_local_links_resolve": true,
    "repeated_offline_generation_byte_identical": true,
    "current_191_native_sources_match_frozen": true
  },
  "preservation": {
    "files_checked": 193743,
    "content_changes": [],
    "head_unchanged": true,
    "user_git_diff_unchanged": true
  },
  "boundaries": [
    "No formal SEMANTIC_FAIL_OPEN; all network responses consumed in submitting review. No dedicated retained-reuse event exists.",
    "Historical 5000ms synthetic test was read, not re-executed.",
    "No excluded-object mapping snapshot for each review.",
    "13 witness raw GUI descriptors incomplete; their exact scores are NA.",
    "Current platform source is corroboration, not historical deployment attestation.",
    "14 RPM results are offline sensitivities, not performance predictions."
  ],
  "task_actions": {
    "ape_started": false,
    "emulator_started": false,
    "research_provider_called": false,
    "runtime_or_gateway_modified": false,
    "formal_results_changed": false,
    "branch_or_worktree_created": false,
    "old_reports_changed": false
  },
  "artifact_sha256": {
    "WitnessReplay.java": "ae43d7a6d01b359da228b20fcccaefa39827a1c1af6de8b91ea7cb664462c67e",
    "analyze_details.py": "e06481cb8161f01e559280464dcfa92ca026a85f7becf4740e62ced96338931f",
    "build_audit.py": "f0939b83e8e9809e925fe5a0a667d33ce3cbca9f348cf27eab262abb8c07ff15",
    "code-frozen/com/android/commands/monkey/ape/Agent.java": "76b43a76caffa3466a9108b8b7cbfb98216d291ccff87a407406785800d466cf",
    "code-frozen/com/android/commands/monkey/ape/agent/SataAgent.java": "92ec6370d5e2879372f897f4c854a6e7b32dcbc4dc01a361900099b343728bff",
    "code-frozen/com/android/commands/monkey/ape/agent/StatefulAgent.java": "631f746e263ed72bf16cc849ebf95f45abaa4eea51fc9977b89d732f9269c2e2",
    "code-frozen/com/android/commands/monkey/ape/jev/AppNetworkProbe.java": "b1ec8c07d7ea1e7726b05e4208ac21a2d0727cba785bc1ca8a859ee2f8f00034",
    "code-frozen/com/android/commands/monkey/ape/jev/ConcreteActionIdentity.java": "17b1ccffaa18a863b342f75c67b508c0b7854756480c69dde6825b94580c95e6",
    "code-frozen/com/android/commands/monkey/ape/jev/JevClient.java": "b04374c3e86e8084b757ef74641cecb5a585c2fb2020244e2e2e71009d235fca",
    "code-frozen/com/android/commands/monkey/ape/jev/JevDeadline.java": "19befa2bf8cd83da7b6a6a00b99ef73e2f8c19e549f85d659d3449c10707f45a",
    "code-frozen/com/android/commands/monkey/ape/jev/JevEvents.java": "8a89829bd55669274955525d17d948daab0fd03cf783ea1a695c77f756e7b6a7",
    "code-frozen/com/android/commands/monkey/ape/jev/JevEvidence.java": "fe24d3cdc4b9753343d4b67c1793082e52c68199f66d5057a621c60fcf62c7ed",
    "code-frozen/com/android/commands/monkey/ape/jev/JevEvidenceAudit.java": "3e59be5d8e352e8e2b10fd4bd5bcf1a071db334f3975e6a99bd10a0e44b5e6d6",
    "code-frozen/com/android/commands/monkey/ape/jev/JevHistoryAudit.java": "9e0b77fcf2f7435cba4f6f2d99b28671b139a8c6815c759f925b4afe87ff0d28",
    "code-frozen/com/android/commands/monkey/ape/jev/JevHistoryPairwiseProtocol.java": "5dd867d2679205aa5867078cec3079d86c2e116c815741dbbc1c16fe109ab5c6",
    "code-frozen/com/android/commands/monkey/ape/jev/JevIdentity.java": "ad8b4e330097ec3b2aa134000143afa18f790c8d3626a32536fddf750a5a0850",
    "code-frozen/com/android/commands/monkey/ape/jev/JevImages.java": "7d7eb393a7c313e17d1db90a0b660c9c80651369f48229ae45c8990ff45eddf2",
    "code-frozen/com/android/commands/monkey/ape/jev/JevOutput.java": "16d130e12ad331aa01494dc529852956b41a2b16fda7bec842d076aad6548ac6",
    "code-frozen/com/android/commands/monkey/ape/jev/JevPairwiseEvidenceView.java": "a3cd6f5d97e8bbd3268c6fee4f8adf02b31dd1c568240f7ea33c1f767a0fccea",
    "code-frozen/com/android/commands/monkey/ape/jev/JevProbePackets.java": "e8974ff56fe07956f5b8b01a1e6f80e456854ee9dec57b9da085a66b316ed9be",
    "code-frozen/com/android/commands/monkey/ape/jev/JevProtocol.java": "323153020dc681298a2ef211d91bca6ef320a723fb05a30a36fcf787cfe3371b",
    "code-frozen/com/android/commands/monkey/ape/jev/JevProvider.java": "39e24287b42ad507e7761994131f5a95de0d85fafbb2a7ad9c523508ff15ff75",
    "code-frozen/com/android/commands/monkey/ape/jev/JevRegion.java": "b5a6fa3a445d94ff17e6b35b2bfb328d311bf791afc8e419ceedd2c969ff1a03",
    "code-frozen/com/android/commands/monkey/ape/jev/JevRegionEvidence.java": "ec108e92e52534892a130465b761f64e3d361d7c05d069214a8b8900005bc819",
    "code-frozen/com/android/commands/monkey/ape/jev/JevRegionLocator.java": "9231e3d2c5f8c04d3dd0b07b92a224094fb7767ef7e2425636bb43cf77e7a8d8",
    "code-frozen/com/android/commands/monkey/ape/jev/JevRegionMatcher.java": "d25f67210f0836ccc971eb04f0c456a32ed5e299f81357722e45c16c97539315",
    "code-frozen/com/android/commands/monkey/ape/jev/JevRegionProtocol.java": "9ee2994e78ba9d593a27980ec0d826e9ac6660b970cc122b09b9077e3ec6d727",
    "code-frozen/com/android/commands/monkey/ape/jev/JevRegistry.java": "1f6ab9e42e01565c9831c8b054ee4bbce4d39ff81bfca813adacbd4444b988b3",
    "code-frozen/com/android/commands/monkey/ape/jev/JevReviewLedger.java": "30459f59f67ccee0bc8cfe7829c05ab5dc106a517010d0eb030083959ce0bba6",
    "code-frozen/com/android/commands/monkey/ape/jev/JevReviewProfile.java": "36e6221be5c5cc1828ac78f91169fc50cf19989b63334a6b403c645cf0f92073",
    "code-frozen/com/android/commands/monkey/ape/jev/JevRuntime.java": "e5b22f7d4a5613f50c24938d3cf06d49da186078f8dc873c8084f79583cc535e",
    "code-frozen/com/android/commands/monkey/ape/jev/JevSemanticNavigationMask.java": "fc618559aaab15cd0d6800e196bc5253b9dd2f4f3a673e9422f109fbf050cd78",
    "code-frozen/com/android/commands/monkey/ape/jev/JevSemanticProtocol.java": "9191e4dcdd17f52ea2de5275e1298e6a69b9d81f633007932ae142b6ef2a93ad",
    "code-frozen/com/android/commands/monkey/ape/jev/JevSemanticReview.java": "d582cdc79cd45fb0931ce05ca835cdc291f2c7cf2e6c367ae7002155dff50c4a",
    "code-frozen/com/android/commands/monkey/ape/jev/JevSharedEvidence.java": "b9d0f8bc5085508c1c7b872809336bf8fd658d3ccfcba3b6660f21a601207b14",
    "code-frozen/com/android/commands/monkey/ape/jev/JevTiming.java": "ad16c200cf08e846d5c2868a15d0229c44746ffcd1fd98fd68b70fba49c0b11e",
    "code-frozen/com/android/commands/monkey/ape/jev/JevTransport.java": "97a3f997eb8f808fef47d9d5a6ceeadae4acbb2151ad8c5081f419ed8fe9e681",
    "code-frozen/com/android/commands/monkey/ape/jev/ProbePreflight.java": "d541fc17a3c517046fdf1507feae0552d8e232ab17613d6189b033b33c2f07c5",
    "code-frozen/com/android/commands/monkey/ape/jev/ProviderPreflight.java": "0a71db334b7e95362838af54ff5a563db93d3a55866826b519c12a8c331cf3f6",
    "code-frozen/com/android/commands/monkey/ape/jev/RegionPreflight.java": "d1191d8dfa7fd613aef15dfca4e9a89b32c24d55887782125a866940b067f163",
    "code-frozen/com/android/commands/monkey/ape/jev/StrictJson.java": "510c70afa48c95ea76c48b6f90624b6335cafb9826a941020c86cdbe009841b8",
    "code-frozen/com/android/commands/monkey/ape/model/Graph.java": "5676b123e0aaf93065e72c76ac33aab20d738b0a7262415977c8f1aa35a80022",
    "code-frozen/com/android/commands/monkey/ape/model/Model.java": "5850a104c7cf5f7d5f34bf55fe7d41c5a69547fb68c9d1eaf64ba3dc559ff106",
    "code-frozen/com/android/commands/monkey/ape/model/ModelAction.java": "bf0d035315349057987deaf63610c68acdd552befe5714ecc100d29dcc540883",
    "code-frozen/com/android/commands/monkey/ape/model/State.java": "d70a7de8924666eae4e2fa508a24bcf09c4a2449864a07d67928d36ed26decf7",
    "code-frozen/com/android/commands/monkey/ape/model/StateTransition.java": "09f56b0a12dfb392a7e315b3a253c9bf5afbdc44096c72fc1d9b7855d11546d9",
    "code-frozen/com/android/commands/monkey/ape/tree/GUITree.java": "c284435e80200369697cdd13305f87a2399cf36549659cc73616166d0f0be72c",
    "code-frozen/com/android/commands/monkey/ape/tree/GUITreeAction.java": "03c09bd41ee477f3c1c126ecd74be6b4abc58e15c7a01615c08baad127e37da1",
    "code-frozen/com/android/commands/monkey/ape/tree/GUITreeTransition.java": "7dadcaee6f7c2c03c6ca6b7c9e81c8374b4ac0f4b2f955cb0024ee7458ef06f2",
    "code-frozen/com/android/commands/monkey/ape/utils/Config.java": "a8699a5e27509f0af938c3339434c10777715f13bdf682e8f65fb7e3f6d156c0",
    "evidence/code-identity.json": "ad462596cf044c69ff2da0476a5f8980d6b0569a9ca28a8400c6e057bf540db2",
    "evidence/design-2763d2f.diff": "e3f27dd6a9bfa3fea6e0906e43b826f3ce3a759478607c793eedefc0ff860867",
    "evidence/design-855653c.diff": "067dc9b9ce8609b75f9ddfa8b71ddd1f2dbc20d907a06c36cbc553fcf2d95e20",
    "evidence/design-9a5b577.diff": "4f453b1c626f80eff9fbfa69e3060ddeda8372fe8d9b35bc274109801acddede",
    "evidence/dex/com/android/commands/monkey/ape/jev/JevEvidence.smali": "28e30a71ed21acbbee81c434af55a96b71c125d7ef99bce9619a158bd24a541a",
    "evidence/dex/com/android/commands/monkey/ape/jev/JevHistoryPairwiseProtocol.smali": "d14cf37f28b9387b9bb18c044c6116751de4bca23c6b92ffa67b67ca5046335f",
    "evidence/dex/com/android/commands/monkey/ape/jev/JevRegistry.smali": "89137f0c99bc9ce2141902dde0ecf11261b37b89ef8080a52ae2a5729f88702f",
    "evidence/dex/com/android/commands/monkey/ape/jev/JevRuntime.smali": "def035db8bf1c8eeb63d34bd37b4800be2e967a6f8c5d8accac620ba8a8a02c3",
    "evidence/dex/com/android/commands/monkey/ape/jev/JevSemanticReview.smali": "08c196262085548c14b096b9d42446e76cdadc84d5a4c646c788d191b2fb2a57",
    "evidence/dex/com/android/commands/monkey/ape/jev/JevTransport$Call.smali": "5ac7412b022ff7ec1c1f0cf50ed682c55a884b01b05d94b4875627a8f1cccd2a",
    "evidence/dex/com/android/commands/monkey/ape/jev/JevTransport.smali": "909b085d75f4d129e406bcf0b8a137058fb414f93fd7c25dc881c47e4f59570e",
    "evidence/dex-command.json": "f3e9b8c9185cf8f3cc19bc3a85a3b71f5668660827bb5b0b26c144a6808d0587",
    "evidence/global-jev-calls.json": "4730dbae26cd29aecacd0b9b1a7713a96c2cd8f354ab44238de11d98e68623a9",
    "evidence/gui-cases.jpg": "cd68f13e47b965934955fe9fae5076c7bf2e1c793b67295cb09f1b1523c0cb82",
    "evidence/historical-soft-timeout-health.json": "65f9acbfdd2caeb732473eb073e02f99485c26040a5d90ac25f2ab27cecc38ab",
    "evidence/history-case-traces.json": "42cd7e5fbc192965300d51739ad5c19ca8d8579564f891428d76be351b8d27f9",
    "evidence/history-cases.json": "94ea46b09360f1f96a33cd61ad2194ce1a33881fb0de87e8f3eabb2bf035a708",
    "evidence/platform-results-current.py": "ffecccdaa5fd5fb690e3d3ff28f20cdcc73fae020ddc927ccd9f16a5ea38a712",
    "evidence/preflight-call-matches.json": "11cf41c50695508ed911469b2956c3a40be647b3064d435244c31e259d71a065",
    "evidence/provider-current-identity.json": "113eb0d302b3004a2b90a074683c5bd6bb4e441c7199ace8413ed83f1108ac7c",
    "evidence/provider-current.py": "76511540ab80a3b0e80eb33b6e7487ebabd64ce3fd181ee1e2f991fb33f22d11",
    "evidence/rate-checks.json": "71362c8dc8b5b4da09c0b0fd35f577ee897eafb4a563c1de47fa4173f0119fc6",
    "evidence/repeatability.json": "5b38b05ac32034c38e1ca7084ec4d81eb1d51df660efa41a9894efe0b7416d73",
    "evidence/timing-checks.json": "dea77074f5d95cfbdbfcafc0929bb013808227613c559249370fc8d2b004f890",
    "evidence/witness-inputs.json": "e8e094f72ce8e96334f7cdc6d5430d3c347cebaf3a70f204f13705e01ea60d82",
    "evidence/witness-replay.json": "33a3b3e4aa8738bfc0783e486bb91cdd38dffb4e29b51cb39843dc38e4bcd200",
    "evidence-gaps.md": "50633efdeea1b7cdeb3e1181b63af4c7e471d0325effe42d454284c997f4cc2e",
    "findings-and-priorities.md": "568a982a5c202c698e0c7f86a9f337f35fbbd201e99f0b1f51579ae317bc8e19",
    "history-case-traces.md": "fd6582d076a9ac411eef0b18c85cc38872aa9f648cc498e57d2f21ab747f517b",
    "jev-rate-limit-audit.md": "269c32b45deabd7ce24d9732822650fe89a1710f3fa0dcd45028595c76f1ffd6",
    "longest-measured-waits.csv": "5ebf4df3d9971a20e3acd108fc63ecb0c4ff20e86527060f6cbbe6a0444864db",
    "probe-history-lifecycle.md": "337e2b87c11bdb87f39a8395b382773becea49b908a24907ac53a76520bf14c8",
    "probe-native-lifecycle.csv": "7e04862ae0e651d2c096db8056f825b172b5b401d82ced5b614a98bed690033a",
    "rate-limit-simulation.csv": "498b098986ad5a3763c450c55492475f51549f5129230ce439a5d026525d1897",
    "rate-limit-summary.csv": "c644f187e15059006085ccc6e2f00a449462ae647941335dcf20f0141c6e78a8",
    "report.md": "78bcfe1098903802f41b2693d922e705e9d854f9bf1d348ef2dd0f17854bb806",
    "request-waits.csv": "33afdd6bf7efc34d126dd9dfb406dbafad1c90bbb81af507d503bea0e7e3ad98",
    "run-configs.csv": "2ccf9e1c6c278f59d3de2bc8fcc8b84f60d90469e35f33cff85360cd44ff1098",
    "soft-timeout-scenarios.csv": "12a371fb6166ffba2c49463436660100de3175e4435bd801b7f186a4357be004",
    "sync-wait-implementation.md": "ac227b28b33d345d08c1c5ea288a972b4fea50ec55ebbf47423b3946eebd658d",
    "validate_audit.py": "ac222f32d0b52a73760d4b38c721fd60b62b08570ebaaff2959b434cb5ed3a02",
    "wait-distribution.csv": "31431dc0de34403110ffade0e8ac1df46abcb6db02b435f54d904b1a63e142bb",
    "witness-ranking-reproduction.md": "c392af06deece40f7d61b0b12aa9e52658edc188c88e958c5bec7fb27793af0d",
    "witness-ranking.csv": "c26ef8cb379f4fa67c2951822cff22c6edd159008c62306947fdeec980e8df59",
    "write_reports.py": "02fc6ba0c29b97f0b9ffda2b3bb8b0454377f625c3e21a8c387e330511014b15"
  }
}