{
  "adaptive": {
    "adaptive": {
      "backend_realtime_adaptive_action_counts": {
        "admit": 8,
        "defer": 8,
        "reject": 0
      },
      "backend_realtime_adaptive_controller_snapshot": {
        "next_decision_ordinal": 17,
        "pending_feedback": 0,
        "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
        "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
        "schema": "symcc-qfbv-adaptive-proof-snapshot-v1",
        "snapshot_sha256": "f4b8972e1b5eadc97c5559ec206ff00b0d123288bea8607de9c6bc0c3f736636",
        "sources": {
          "f435-publisher-1": {
            "ack_latency_total_us": 1161,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-2": {
            "ack_latency_total_us": 1109,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-3": {
            "ack_latency_total_us": 1108,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-4": {
            "ack_latency_total_us": 1082,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-5": {
            "ack_latency_total_us": 1103,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-6": {
            "ack_latency_total_us": 1080,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-7": {
            "ack_latency_total_us": 1114,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-8": {
            "ack_latency_total_us": 1095,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          }
        },
        "totals": {
          "ack_latency_total_us": 8852,
          "admit_decisions": 8,
          "backpressure": 0,
          "defer_decisions": 8,
          "delivered": 8,
          "expired": 0,
          "reject_decisions": 0,
          "verified": 16
        }
      },
      "backend_realtime_adaptive_decision_budget_dropped": 0,
      "backend_realtime_adaptive_decision_budget_exhausted": false,
      "backend_realtime_adaptive_decisions": [
        {
          "action": "defer",
          "candidate": {
            "checker_elapsed_us": 1613,
            "clause_literals": 1,
            "event_sequence": 1,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 0,
            "record_sha256": "9f3b43c25caa5e31b01f9116e87bc2dc2d097c95ae15c3897cb2bfad06974a3e",
            "retry_count": 0,
            "source_worker": "f435-publisher-1",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 1,
          "decision_sha256": "28b7187fc0a340f9adab19d0316a2bf2a66eb52b189c86de55ef2ff0dea6fb15",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 0,
            "queue_depth": 0,
            "remaining_ms": 30000,
            "solve_age_ms": 0,
            "solve_generation": 0,
            "solving": false
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "solver-inactive"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 3387,
          "score_components": {
            "checker_penalty": 1613,
            "length_quality": 4000,
            "proof_density": 0,
            "queue_penalty": 0,
            "retry_penalty": 0,
            "solve_age_bonus": 0,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 0,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 0
          },
          "threshold": 1500
        },
        {
          "action": "defer",
          "candidate": {
            "checker_elapsed_us": 1149,
            "clause_literals": 2,
            "event_sequence": 2,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 1,
            "record_sha256": "a4fb9d62dddca5c9aca800bde5d5c0fcff7a7dc9dda101b77feb08012ebbbc71",
            "retry_count": 0,
            "source_worker": "f435-publisher-2",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 2,
          "decision_sha256": "b9bb54f8b819591f1cf46aed086d70eb86449d3e43e03046cc72b803a2811667",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 1,
            "queue_depth": 0,
            "remaining_ms": 30000,
            "solve_age_ms": 0,
            "solve_generation": 0,
            "solving": false
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "solver-inactive"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 4851,
          "score_components": {
            "checker_penalty": 1149,
            "length_quality": 4000,
            "proof_density": 1000,
            "queue_penalty": 0,
            "retry_penalty": 0,
            "solve_age_bonus": 0,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 0,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 0
          },
          "threshold": 1500
        },
        {
          "action": "defer",
          "candidate": {
            "checker_elapsed_us": 1152,
            "clause_literals": 2,
            "event_sequence": 3,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 1,
            "record_sha256": "129c623c38c6945383bd6d6206de6cf5ce0317919903bcf1e1850979cda76e75",
            "retry_count": 0,
            "source_worker": "f435-publisher-3",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 3,
          "decision_sha256": "7be9b6db854c580cc2bbc169320f8ac8552fadb30f9f162e37c63567da53d023",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 2,
            "queue_depth": 0,
            "remaining_ms": 30000,
            "solve_age_ms": 0,
            "solve_generation": 0,
            "solving": false
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "solver-inactive"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 4848,
          "score_components": {
            "checker_penalty": 1152,
            "length_quality": 4000,
            "proof_density": 1000,
            "queue_penalty": 0,
            "retry_penalty": 0,
            "solve_age_bonus": 0,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 0,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 0
          },
          "threshold": 1500
        },
        {
          "action": "defer",
          "candidate": {
            "checker_elapsed_us": 1146,
            "clause_literals": 2,
            "event_sequence": 4,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 2,
            "record_sha256": "41bb44735e930af5a487b0fd31c4d0a69d92d09480b6634379abfc068ad39d78",
            "retry_count": 0,
            "source_worker": "f435-publisher-4",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 4,
          "decision_sha256": "24782f784788def0a4f9051689af21c4ed82778a9531cebd59ee969382aeecfa",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 3,
            "queue_depth": 0,
            "remaining_ms": 30000,
            "solve_age_ms": 0,
            "solve_generation": 0,
            "solving": false
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "solver-inactive"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 5854,
          "score_components": {
            "checker_penalty": 1146,
            "length_quality": 4000,
            "proof_density": 2000,
            "queue_penalty": 0,
            "retry_penalty": 0,
            "solve_age_bonus": 0,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 0,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 0
          },
          "threshold": 1500
        },
        {
          "action": "defer",
          "candidate": {
            "checker_elapsed_us": 1163,
            "clause_literals": 2,
            "event_sequence": 5,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 1,
            "record_sha256": "6c7b93029044c973fa6019373299922d1cb373c97bf517137e854c477f5447ce",
            "retry_count": 0,
            "source_worker": "f435-publisher-5",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 5,
          "decision_sha256": "bf154da13bccb5c2f8dd50feee834572215127a3b2740805b733d96573800459",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 4,
            "queue_depth": 0,
            "remaining_ms": 30000,
            "solve_age_ms": 0,
            "solve_generation": 0,
            "solving": false
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "solver-inactive"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 4837,
          "score_components": {
            "checker_penalty": 1163,
            "length_quality": 4000,
            "proof_density": 1000,
            "queue_penalty": 0,
            "retry_penalty": 0,
            "solve_age_bonus": 0,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 0,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 0
          },
          "threshold": 1500
        },
        {
          "action": "defer",
          "candidate": {
            "checker_elapsed_us": 1156,
            "clause_literals": 2,
            "event_sequence": 6,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 2,
            "record_sha256": "6756e54461aeb1f6291f9adbe51fc6d8cfc6436c475edf9c66d44dd5fcf996a5",
            "retry_count": 0,
            "source_worker": "f435-publisher-6",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 6,
          "decision_sha256": "a861bc2ad466611ef111fa83b4c8947c25c3490342f34623e7ff890a120c1866",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 5,
            "queue_depth": 0,
            "remaining_ms": 30000,
            "solve_age_ms": 0,
            "solve_generation": 0,
            "solving": false
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "solver-inactive"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 5844,
          "score_components": {
            "checker_penalty": 1156,
            "length_quality": 4000,
            "proof_density": 2000,
            "queue_penalty": 0,
            "retry_penalty": 0,
            "solve_age_bonus": 0,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 0,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 0
          },
          "threshold": 1500
        },
        {
          "action": "defer",
          "candidate": {
            "checker_elapsed_us": 1745,
            "clause_literals": 2,
            "event_sequence": 7,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 1,
            "record_sha256": "d4f9fea05e0e404873e50277e6f948d8d2e20ce46b495322f4aa9a45ed3014a7",
            "retry_count": 0,
            "source_worker": "f435-publisher-7",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 7,
          "decision_sha256": "a197fcf22f5a0acb572f126d823b4ab42d5b0dd96b7757485fa974641ed751c0",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 6,
            "queue_depth": 0,
            "remaining_ms": 30000,
            "solve_age_ms": 0,
            "solve_generation": 0,
            "solving": false
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "solver-inactive"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 4255,
          "score_components": {
            "checker_penalty": 1745,
            "length_quality": 4000,
            "proof_density": 1000,
            "queue_penalty": 0,
            "retry_penalty": 0,
            "solve_age_bonus": 0,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 0,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 0
          },
          "threshold": 1500
        },
        {
          "action": "defer",
          "candidate": {
            "checker_elapsed_us": 1226,
            "clause_literals": 2,
            "event_sequence": 8,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 2,
            "record_sha256": "8d0ab49075e6a51b601c8c5d5b8c2d3666c7d2ed652fcf2a78ce746310095e0e",
            "retry_count": 0,
            "source_worker": "f435-publisher-8",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 8,
          "decision_sha256": "d41751ed5c265067e7928c2107a08ae0db56395d99e2401748be6f07126bd7d5",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 7,
            "queue_depth": 0,
            "remaining_ms": 30000,
            "solve_age_ms": 0,
            "solve_generation": 0,
            "solving": false
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "solver-inactive"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 5774,
          "score_components": {
            "checker_penalty": 1226,
            "length_quality": 4000,
            "proof_density": 2000,
            "queue_penalty": 0,
            "retry_penalty": 0,
            "solve_age_bonus": 0,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 0,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 0
          },
          "threshold": 1500
        },
        {
          "action": "admit",
          "candidate": {
            "checker_elapsed_us": 1613,
            "clause_literals": 1,
            "event_sequence": 1,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 0,
            "record_sha256": "9f3b43c25caa5e31b01f9116e87bc2dc2d097c95ae15c3897cb2bfad06974a3e",
            "retry_count": 1,
            "source_worker": "f435-publisher-1",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 9,
          "decision_sha256": "c60d3a635eeeba0548d14b29c4d04f6692abc792ed37377e50ca89b3a72c335b",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 7,
            "queue_depth": 0,
            "remaining_ms": 30000,
            "solve_age_ms": 0,
            "solve_generation": 1,
            "solving": true
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "score-and-capacity-admit"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 3137,
          "score_components": {
            "checker_penalty": 1613,
            "length_quality": 4000,
            "proof_density": 0,
            "queue_penalty": 0,
            "retry_penalty": 250,
            "solve_age_bonus": 0,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 1
          },
          "threshold": 1500
        },
        {
          "action": "admit",
          "candidate": {
            "checker_elapsed_us": 1149,
            "clause_literals": 2,
            "event_sequence": 2,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 1,
            "record_sha256": "a4fb9d62dddca5c9aca800bde5d5c0fcff7a7dc9dda101b77feb08012ebbbc71",
            "retry_count": 1,
            "source_worker": "f435-publisher-2",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 10,
          "decision_sha256": "dca80d22758e3d7d75a104bcfddf32b6b3d3533dea6e6bda92acb1ea1154fa69",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 6,
            "queue_depth": 1,
            "remaining_ms": 30000,
            "solve_age_ms": 0,
            "solve_generation": 1,
            "solving": true
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "score-and-capacity-admit"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 3101,
          "score_components": {
            "checker_penalty": 1149,
            "length_quality": 4000,
            "proof_density": 1000,
            "queue_penalty": 1500,
            "retry_penalty": 250,
            "solve_age_bonus": 0,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 1
          },
          "threshold": 1500
        },
        {
          "action": "admit",
          "candidate": {
            "checker_elapsed_us": 1152,
            "clause_literals": 2,
            "event_sequence": 3,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 1,
            "record_sha256": "129c623c38c6945383bd6d6206de6cf5ce0317919903bcf1e1850979cda76e75",
            "retry_count": 1,
            "source_worker": "f435-publisher-3",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 11,
          "decision_sha256": "b70166c2552a0fdb90bf55187a03109a43c3575b6495330a8df40fcae59ea6ec",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 5,
            "queue_depth": 0,
            "remaining_ms": 29999,
            "solve_age_ms": 1,
            "solve_generation": 1,
            "solving": true
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "score-and-capacity-admit"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 4608,
          "score_components": {
            "checker_penalty": 1152,
            "length_quality": 4000,
            "proof_density": 1000,
            "queue_penalty": 0,
            "retry_penalty": 250,
            "solve_age_bonus": 10,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 1
          },
          "threshold": 1500
        },
        {
          "action": "admit",
          "candidate": {
            "checker_elapsed_us": 1146,
            "clause_literals": 2,
            "event_sequence": 4,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 2,
            "record_sha256": "41bb44735e930af5a487b0fd31c4d0a69d92d09480b6634379abfc068ad39d78",
            "retry_count": 1,
            "source_worker": "f435-publisher-4",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 12,
          "decision_sha256": "4ba019705474b0831826c36987f9355a7fbf5a761e98b700fb414594d3be074c",
          "observation": {
            "ack_depth": 1,
            "deferred_depth": 4,
            "queue_depth": 1,
            "remaining_ms": 29999,
            "solve_age_ms": 1,
            "solve_generation": 1,
            "solving": true
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "score-and-capacity-admit"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 4114,
          "score_components": {
            "checker_penalty": 1146,
            "length_quality": 4000,
            "proof_density": 2000,
            "queue_penalty": 1500,
            "retry_penalty": 250,
            "solve_age_bonus": 10,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 1
          },
          "threshold": 1500
        },
        {
          "action": "admit",
          "candidate": {
            "checker_elapsed_us": 1163,
            "clause_literals": 2,
            "event_sequence": 5,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 1,
            "record_sha256": "6c7b93029044c973fa6019373299922d1cb373c97bf517137e854c477f5447ce",
            "retry_count": 1,
            "source_worker": "f435-publisher-5",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 13,
          "decision_sha256": "e316ddf4c18937094560d359e3e7f64ed3d30d231694ee50126315cb9ec9f122",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 3,
            "queue_depth": 0,
            "remaining_ms": 29998,
            "solve_age_ms": 2,
            "solve_generation": 1,
            "solving": true
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "score-and-capacity-admit"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 4607,
          "score_components": {
            "checker_penalty": 1163,
            "length_quality": 4000,
            "proof_density": 1000,
            "queue_penalty": 0,
            "retry_penalty": 250,
            "solve_age_bonus": 20,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 1
          },
          "threshold": 1500
        },
        {
          "action": "admit",
          "candidate": {
            "checker_elapsed_us": 1156,
            "clause_literals": 2,
            "event_sequence": 6,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 2,
            "record_sha256": "6756e54461aeb1f6291f9adbe51fc6d8cfc6436c475edf9c66d44dd5fcf996a5",
            "retry_count": 1,
            "source_worker": "f435-publisher-6",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 14,
          "decision_sha256": "c8680dae35288bf691fb5b3c0ef52ed637bf558f0265926b429f458a4c6a520d",
          "observation": {
            "ack_depth": 1,
            "deferred_depth": 2,
            "queue_depth": 1,
            "remaining_ms": 29998,
            "solve_age_ms": 2,
            "solve_generation": 1,
            "solving": true
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "score-and-capacity-admit"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 4114,
          "score_components": {
            "checker_penalty": 1156,
            "length_quality": 4000,
            "proof_density": 2000,
            "queue_penalty": 1500,
            "retry_penalty": 250,
            "solve_age_bonus": 20,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 1
          },
          "threshold": 1500
        },
        {
          "action": "admit",
          "candidate": {
            "checker_elapsed_us": 1745,
            "clause_literals": 2,
            "event_sequence": 7,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 1,
            "record_sha256": "d4f9fea05e0e404873e50277e6f948d8d2e20ce46b495322f4aa9a45ed3014a7",
            "retry_count": 1,
            "source_worker": "f435-publisher-7",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 15,
          "decision_sha256": "f6e9305853b3b803c10075a34861bbe06eb8017f3d4577565b1dac1d9cde1f33",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 1,
            "queue_depth": 0,
            "remaining_ms": 29997,
            "solve_age_ms": 3,
            "solve_generation": 1,
            "solving": true
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "score-and-capacity-admit"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 4035,
          "score_components": {
            "checker_penalty": 1745,
            "length_quality": 4000,
            "proof_density": 1000,
            "queue_penalty": 0,
            "retry_penalty": 250,
            "solve_age_bonus": 30,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 1
          },
          "threshold": 1500
        },
        {
          "action": "admit",
          "candidate": {
            "checker_elapsed_us": 1226,
            "clause_literals": 2,
            "event_sequence": 8,
            "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
            "proof_steps": 1,
            "propagation_count": 2,
            "record_sha256": "8d0ab49075e6a51b601c8c5d5b8c2d3666c7d2ed652fcf2a78ce746310095e0e",
            "retry_count": 1,
            "source_worker": "f435-publisher-8",
            "stream_id": "5b8817b078a3bd44da67627ad978f178b216ce8e842613ae85f684719026523a"
          },
          "decision_ordinal": 16,
          "decision_sha256": "b852b9d2b0ec61b2d8114055e2049832688f9afbd30dae33a7053e54cc55f2e1",
          "observation": {
            "ack_depth": 0,
            "deferred_depth": 0,
            "queue_depth": 1,
            "remaining_ms": 29997,
            "solve_age_ms": 3,
            "solve_generation": 1,
            "solving": true
          },
          "policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
          "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
          "reasons": [
            "score-and-capacity-admit"
          ],
          "schema": "symcc-qfbv-adaptive-proof-decision-v1",
          "score": 4054,
          "score_components": {
            "checker_penalty": 1226,
            "length_quality": 4000,
            "proof_density": 2000,
            "queue_penalty": 1500,
            "retry_penalty": 250,
            "solve_age_bonus": 30,
            "source_failure_penalty": 0,
            "source_yield": 1000
          },
          "source_feedback": {
            "ack_latency_total_us": 0,
            "admit_decisions": 0,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 0,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 1
          },
          "threshold": 1500
        }
      ],
      "backend_realtime_adaptive_deferred_final": 0,
      "backend_realtime_adaptive_enqueued_decisions": {
        "129c623c38c6945383bd6d6206de6cf5ce0317919903bcf1e1850979cda76e75": "b70166c2552a0fdb90bf55187a03109a43c3575b6495330a8df40fcae59ea6ec",
        "41bb44735e930af5a487b0fd31c4d0a69d92d09480b6634379abfc068ad39d78": "4ba019705474b0831826c36987f9355a7fbf5a761e98b700fb414594d3be074c",
        "6756e54461aeb1f6291f9adbe51fc6d8cfc6436c475edf9c66d44dd5fcf996a5": "c8680dae35288bf691fb5b3c0ef52ed637bf558f0265926b429f458a4c6a520d",
        "6c7b93029044c973fa6019373299922d1cb373c97bf517137e854c477f5447ce": "e316ddf4c18937094560d359e3e7f64ed3d30d231694ee50126315cb9ec9f122",
        "8d0ab49075e6a51b601c8c5d5b8c2d3666c7d2ed652fcf2a78ce746310095e0e": "b852b9d2b0ec61b2d8114055e2049832688f9afbd30dae33a7053e54cc55f2e1",
        "9f3b43c25caa5e31b01f9116e87bc2dc2d097c95ae15c3897cb2bfad06974a3e": "c60d3a635eeeba0548d14b29c4d04f6692abc792ed37377e50ca89b3a72c335b",
        "a4fb9d62dddca5c9aca800bde5d5c0fcff7a7dc9dda101b77feb08012ebbbc71": "dca80d22758e3d7d75a104bcfddf32b6b3d3533dea6e6bda92acb1ea1154fa69",
        "d4f9fea05e0e404873e50277e6f948d8d2e20ce46b495322f4aa9a45ed3014a7": "f6e9305853b3b803c10075a34861bbe06eb8017f3d4577565b1dac1d9cde1f33"
      },
      "backend_realtime_adaptive_policy": {
        "age_ramp_ms": 100,
        "checker_reference_us": 1000,
        "high_watermark_permille": 1000,
        "max_clause_literals": 32,
        "max_decisions": 256,
        "max_deferred": 8,
        "max_retries": 32,
        "min_score": 1500,
        "minimum_remaining_ms": 0,
        "protocol": "symcc-qfbv-adaptive-proof-admission-v1",
        "queue_capacity": 2,
        "schema": "symcc-qfbv-adaptive-proof-policy-v1"
      },
      "backend_realtime_adaptive_policy_sha256": "f9b9b02b29c6599cef50be02157fb28fe48e3ca9f2aae416cf635d6e5303417d",
      "backend_realtime_adaptive_protocol": "symcc-qfbv-adaptive-proof-admission-v1",
      "backend_realtime_adaptive_rejected": 0,
      "backend_realtime_adaptive_retried": 8
    },
    "authorized": 8,
    "backpressure": 0,
    "candidates": 8,
    "cnf_sha256": "6d63b4e03065641c05b09e8a54b0ba5f9205d7b2f8effe2a4604d633bbe984c9",
    "delivered": 8,
    "delivered_record_sha256": [
      "9f3b43c25caa5e31b01f9116e87bc2dc2d097c95ae15c3897cb2bfad06974a3e",
      "a4fb9d62dddca5c9aca800bde5d5c0fcff7a7dc9dda101b77feb08012ebbbc71",
      "129c623c38c6945383bd6d6206de6cf5ce0317919903bcf1e1850979cda76e75",
      "41bb44735e930af5a487b0fd31c4d0a69d92d09480b6634379abfc068ad39d78",
      "6c7b93029044c973fa6019373299922d1cb373c97bf517137e854c477f5447ce",
      "6756e54461aeb1f6291f9adbe51fc6d8cfc6436c475edf9c66d44dd5fcf996a5",
      "d4f9fea05e0e404873e50277e6f948d8d2e20ce46b495322f4aa9a45ed3014a7",
      "8d0ab49075e6a51b601c8c5d5b8c2d3666c7d2ed652fcf2a78ce746310095e0e"
    ],
    "duplicate_clauses": 0,
    "events": 8,
    "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
    "mode": "adaptive",
    "pending": 0,
    "pre_solve": {
      "adaptive_actions": {
        "admit": 0,
        "defer": 8,
        "reject": 0
      },
      "authorized": 0,
      "backpressure": 0,
      "candidates": 8,
      "decision_budget_exhausted": false,
      "deferred": 8,
      "duplicate_clauses": 0,
      "events": 8,
      "fatal_error": "",
      "pending": 0,
      "settled_candidates": 8
    },
    "published": 8,
    "published_record_sha256": [
      "9f3b43c25caa5e31b01f9116e87bc2dc2d097c95ae15c3897cb2bfad06974a3e",
      "a4fb9d62dddca5c9aca800bde5d5c0fcff7a7dc9dda101b77feb08012ebbbc71",
      "129c623c38c6945383bd6d6206de6cf5ce0317919903bcf1e1850979cda76e75",
      "41bb44735e930af5a487b0fd31c4d0a69d92d09480b6634379abfc068ad39d78",
      "6c7b93029044c973fa6019373299922d1cb373c97bf517137e854c477f5447ce",
      "6756e54461aeb1f6291f9adbe51fc6d8cfc6436c475edf9c66d44dd5fcf996a5",
      "d4f9fea05e0e404873e50277e6f948d8d2e20ce46b495322f4aa9a45ed3014a7",
      "8d0ab49075e6a51b601c8c5d5b8c2d3666c7d2ed652fcf2a78ce746310095e0e"
    ],
    "settled_candidates": 8,
    "solve_elapsed_us": 173842,
    "solve_error": "",
    "solve_result": 10,
    "timed_out": false
  },
  "artifact_sha256": "ae5c914f27a78549fa36bf35921211999392dfcf13af38f184c9093e74ae7d00",
  "claim_boundary": "synchronized local burst mechanism oracle; no coverage, solver speedup, multi-node scaling, LBD, or defect-yield claim",
  "clauses": 860,
  "delivery_gain": 6,
  "elapsed_us": 847230,
  "library": "/tmp/f434-review/libsymcc_qfbv_cadical_realtime.so",
  "library_sha256": "fb1d08ed0c3039ddf4e5ed4ddb3d89c8ea09423b4fceb100c10fd5bc39325ba9",
  "native_signature": "symcc-qfbv-realtime-v1|cadical-3.0.1-c607304",
  "queue_capacity": 2,
  "records": 8,
  "schema": "symcc-f435-adaptive-proof-oracle-v1",
  "seed": 62517,
  "static": {
    "adaptive": null,
    "authorized": 2,
    "backpressure": 6,
    "candidates": 8,
    "cnf_sha256": "6d63b4e03065641c05b09e8a54b0ba5f9205d7b2f8effe2a4604d633bbe984c9",
    "delivered": 2,
    "delivered_record_sha256": [
      "9f3b43c25caa5e31b01f9116e87bc2dc2d097c95ae15c3897cb2bfad06974a3e",
      "a4fb9d62dddca5c9aca800bde5d5c0fcff7a7dc9dda101b77feb08012ebbbc71"
    ],
    "duplicate_clauses": 0,
    "events": 8,
    "formula_sha256": "dc92bed77e788af47bf56b7add37f2a89721c8e55e4d292980aa8b8febec13de",
    "mode": "static",
    "pending": 0,
    "pre_solve": {
      "adaptive_actions": {
        "admit": 0,
        "defer": 0,
        "reject": 0
      },
      "authorized": 2,
      "backpressure": 6,
      "candidates": 8,
      "decision_budget_exhausted": false,
      "deferred": 0,
      "duplicate_clauses": 0,
      "events": 8,
      "fatal_error": "",
      "pending": 2,
      "settled_candidates": 8
    },
    "published": 8,
    "published_record_sha256": [
      "9f3b43c25caa5e31b01f9116e87bc2dc2d097c95ae15c3897cb2bfad06974a3e",
      "a4fb9d62dddca5c9aca800bde5d5c0fcff7a7dc9dda101b77feb08012ebbbc71",
      "129c623c38c6945383bd6d6206de6cf5ce0317919903bcf1e1850979cda76e75",
      "41bb44735e930af5a487b0fd31c4d0a69d92d09480b6634379abfc068ad39d78",
      "6c7b93029044c973fa6019373299922d1cb373c97bf517137e854c477f5447ce",
      "6756e54461aeb1f6291f9adbe51fc6d8cfc6436c475edf9c66d44dd5fcf996a5",
      "d4f9fea05e0e404873e50277e6f948d8d2e20ce46b495322f4aa9a45ed3014a7",
      "8d0ab49075e6a51b601c8c5d5b8c2d3666c7d2ed652fcf2a78ce746310095e0e"
    ],
    "settled_candidates": 8,
    "solve_elapsed_us": 166670,
    "solve_error": "",
    "solve_result": 10,
    "timed_out": false
  },
  "status": "pass",
  "variables": 200
}