{
  "schema": 1,
  "archive": "experiments/guitaboo-rn-routing-healthfix-5app-rep2-20261109-pure20261107",
  "formal_runs": 10,
  "jar_sha256": "33c71e466eefb86177f43fdd63a070e4d1494cee79ab976cc752d1fce7f8fd54",
  "async_loss_rows": 854,
  "async_terminal_counts": {
    "stale_history_or_version": 778,
    "consumed": 9,
    "arrived_without_consumption": 67
  },
  "routing_replay_rows": 3121,
  "routing_exact_counts": {
    "synchronous": 862,
    "UNKNOWN": 1405,
    "asynchronous": 854
  },
  "checks": {
    "async_rows_854": true,
    "startlux_615": true,
    "jev_239": true,
    "consumed_9": true,
    "stale_778": true,
    "arrived_without_consumption_67": true,
    "routing_rows_3121": true,
    "jar_sha256": true
  },
  "all_checks_pass": true,
  "unknowns": [
    "STALE_HISTORY_OR_VERSION does not include failing OR branch",
    "request-level routing archive lacks per-Candidate A/S",
    "Gateway repeated body fingerprints cannot always map one-to-one",
    "no natural stale result proven lineage-safe for reuse"
  ],
  "source_files": [
    "runs/*/request-funnel.json",
    "runs/*/review-metrics.json",
    "analysis/gateway-audit.json",
    "deployment.md",
    "native/src/com/android/commands/monkey/ape/jev/JevSemanticReview.java",
    "native/src/com/android/commands/monkey/ape/jev/JevRegistry.java",
    "native/src/com/android/commands/monkey/ape/jev/JevReviewLedger.java",
    "native/src/com/android/commands/monkey/ape/model/Model.java",
    "native/src/com/android/commands/monkey/ape/naming/StateNamingManager.java"
  ],
  "async-loss-analysis.csv_sha256": "6f04c3e170619af1a22cf81f32080f6407a1b8782c571baf38b0b3a742bb7a12",
  "routing-majority-replay.csv_sha256": "a01ab977ab0c12e55f72cfaad773dafd241d92217684288a228a0c350afb2398"
}