{
  "version": "FI_LOCAL_WEBSITE_R6_20261013_R5",
  "evidence_class": "Accepted exact source-rate bounds and executed synthetic record/controller model",
  "declared_profile": "One ADRV9009 ORx chain, selected 200 MHz bandwidth and 245.76 MSps; signed 16-bit I and 16-bit Q host containers. No ADC effective resolution, physical filter, clock, receiver or final IEEE 802.11ax compliance qualification is inferred.",
  "observed_only_Bps": 983040000,
  "chosen_full_record_Bps": 3210240000,
  "USB_Gen1x1_encoded_upper_Bps_fraction": "5000000000000/9997",
  "USB_Gen1x1_encoded_upper_MBps_approx": 500.150045,
  "necessary_full_format_capture_share_fraction": "1953125/12536238",
  "necessary_full_format_capture_share_percent_approx": 15.5798,
  "bound_domain": "Tolerance-aware admitted minimum-UI average-rate domain, before packet and host costs. Sustainable full-format delivery also requires an admitted arrival lower bound, finite phase, jitter and rounding allowances, and capacity and conservation accounting. This is neither a short-interval throughput guarantee nor a sufficient schedule.",
  "model_sink_Bps": 400000000,
  "model_queue_bytes": 4194304,
  "cases": [
    {
      "id": "burst_400M",
      "horizon_s": "1/10",
      "stalls_s": [],
      "joint_vector": {
        "requested_frames": 2400,
        "admitted_frames": 2400,
        "refused_frames": 0,
        "record_bytes": 32102400,
        "served_bytes": 32102400,
        "queue_end": 0,
        "reservation_end": 0,
        "peak_queue": 2811907,
        "peak_total_with_reservation": 2813574,
        "fault": false,
        "fault_at": null,
        "service_complete": true,
        "conservation": true
      },
      "R_C_exact_controller_tie": true
    },
    {
      "id": "burst_2ms_stall",
      "horizon_s": "1/10",
      "stalls_s": [
        [
          "1/2000",
          "1/400"
        ]
      ],
      "joint_vector": {
        "requested_frames": 2400,
        "admitted_frames": 2400,
        "refused_frames": 0,
        "record_bytes": 32102400,
        "served_bytes": 32102400,
        "queue_end": 0,
        "reservation_end": 0,
        "peak_queue": 3011907,
        "peak_total_with_reservation": 3011907,
        "fault": false,
        "fault_at": null,
        "service_complete": true,
        "conservation": true
      },
      "R_C_exact_controller_tie": true
    },
    {
      "id": "burst_20ms_stall",
      "horizon_s": "1/10",
      "stalls_s": [
        [
          "0",
          "1/50"
        ]
      ],
      "joint_vector": {
        "requested_frames": 2400,
        "admitted_frames": 313,
        "refused_frames": 2087,
        "record_bytes": 4186688,
        "served_bytes": 4186688,
        "queue_end": 0,
        "reservation_end": 0,
        "peak_queue": 4186688,
        "peak_total_with_reservation": 4186688,
        "fault": true,
        "fault_at": "2473/240000",
        "service_complete": false,
        "conservation": true
      },
      "R_C_exact_controller_tie": true
    },
    {
      "id": "continuous_400M",
      "horizon_s": "1/100",
      "stalls_s": [],
      "joint_vector": {
        "requested_frames": 480,
        "admitted_frames": 357,
        "refused_frames": 123,
        "record_bytes": 4775232,
        "served_bytes": 3998333,
        "queue_end": 776899,
        "reservation_end": 0,
        "peak_queue": 4181899,
        "peak_total_with_reservation": 4183566,
        "fault": true,
        "fault_at": "119/80000",
        "service_complete": false,
        "conservation": true
      },
      "R_C_exact_controller_tie": true
    }
  ],
  "model_job": "Ten 1 ms bursts across 100 ms request 2,400 frames. A separate 2 ms continuous capture uses a 10 ms capture-and-drain horizon. Any refused frame or remaining queue fails full requested-record service.",
  "limits": [
    "400 MB/s is the configured ideal model service rate, not measured USB or host throughput.",
    "The successful 2 ms stall uses one specified phase, from 0.5 to 2.5 ms. It does not establish an arbitrary-stall guarantee.",
    "R and C use the same generic controller rule and tie. No FI-exclusive gain or advantage of the existing F controller is established.",
    "Burst and continuous jobs remain different services. No omitted required records are credited as a gain.",
    "No actual RF capture, native error, power, heat, range, size or weight saving is inferred. The SKY +16 dBm / -43 dB and +12 dBm / -47 dB jobs remain distinct."
  ],
  "accepted_result_pins": [
    {
      "title": "Accepted cost-method verdict (VERDICT_R1.json)",
      "sha256": "05a5ce25c1f91d3a2704271e6949dff985b54f136871f14b5228e86182d921a1",
      "bytes": 5156
    },
    {
      "title": "Accepted native-source verdict (VERDICT_R1.json)",
      "sha256": "b79679a71558e20bc3b8d96281f4d20bb8d4d5e4e2a0b7c811b884f6c55f90c3",
      "bytes": 3807
    },
    {
      "title": "Executed record-model result (RESULT_R3.json)",
      "sha256": "d34aa877d96164d9c583b20002877602d57b90664932d9225746ad2bdf8ffd45",
      "bytes": 10086
    },
    {
      "title": "Declared record-model protocol (PROTOCOL_R3.json)",
      "sha256": "501d7ace91f7c1dc59281343219fb8e1e7083d0d96c7ce35e0a435e133b16fb6",
      "bytes": 16002
    },
    {
      "title": "Executed cost-method source manifest (EXECUTED_CANDIDATE_MANIFEST_R3.json)",
      "sha256": "011df31d06b6bdf0d767d5dd129184a6491edacdfa31a303b119d738f25359c9",
      "bytes": 16342
    },
    {
      "title": "Native source-mode result (RESULT_SOURCE_MODE_R3.json)",
      "sha256": "8a1ef7f97a0c7338fd0405fb9031ea2cb03056d66ca20f2ae48a02d877425128",
      "bytes": 27199
    },
    {
      "title": "Native evaluation source manifest (CANDIDATE_MANIFEST_EVALUATION_R3.json)",
      "sha256": "9f4b17ccd52c79ff2ecc1921d201e59b839f9b8104ab45dc0a1a3591b35ae57c",
      "bytes": 26697
    }
  ],
  "controller_fault_policy": "When the next full frame would exceed buffer capacity, the model stops admitting captures for the rest of that run. It keeps previously admitted bytes and continues draining them at the declared sink rate outside stall intervals. It performs no recovery or renewed capture admission. The refused count includes the first refusal and every later planned frame; queue_end is admitted data still queued at the chosen horizon."
}