{
  "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": "e8609542cf31a2cc0b9b55fcd017c44df81160bac7ac697d0cb438cb9045fd68",
        "sources": {
          "f435-publisher-1": {
            "ack_latency_total_us": 1150,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-2": {
            "ack_latency_total_us": 1105,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-3": {
            "ack_latency_total_us": 1103,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-4": {
            "ack_latency_total_us": 1081,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-5": {
            "ack_latency_total_us": 1099,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-6": {
            "ack_latency_total_us": 1079,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-7": {
            "ack_latency_total_us": 1096,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          },
          "f435-publisher-8": {
            "ack_latency_total_us": 1080,
            "admit_decisions": 1,
            "backpressure": 0,
            "defer_decisions": 1,
            "delivered": 1,
            "expired": 0,
            "reject_decisions": 0,
            "verified": 2
          }
        },
        "totals": {
          "ack_latency_total_us": 8793,
          "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": 1571,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 1,
          "decision_sha256": "8b39aca74eab29a677f5f563524e2a946ea45b8fad853a483b3795a92f41fe83",
          "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": 3429,
          "score_components": {
            "checker_penalty": 1571,
            "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": 1155,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 2,
          "decision_sha256": "eb23ac504f6ec001689712b254a110245c50ff8265c273503c87eb3e253466f1",
          "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": 4845,
          "score_components": {
            "checker_penalty": 1155,
            "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": 1142,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 3,
          "decision_sha256": "d3063cf1856e7389a3f984deb422f87d4321dde604660988fb98b9e3bda3e818",
          "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": 4858,
          "score_components": {
            "checker_penalty": 1142,
            "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": 1138,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 4,
          "decision_sha256": "97fa855e427b21ae502f687290d8dd9ec7808982eb5946a4d3558ae9b57ebb08",
          "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": 5862,
          "score_components": {
            "checker_penalty": 1138,
            "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": 1238,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 5,
          "decision_sha256": "5a223e67bb159068573aaa402b095c031ce2d06044a31d96ced96d10bb68e679",
          "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": 4762,
          "score_components": {
            "checker_penalty": 1238,
            "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": 1141,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 6,
          "decision_sha256": "40e81c7d1332c41f78ab2955f970c3e6be13a5019bcf76e307cca5dad67a43fe",
          "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": 5859,
          "score_components": {
            "checker_penalty": 1141,
            "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": 1284,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 7,
          "decision_sha256": "69bb6ec769b2b9d377cc7a70000cc8fbef7196d7eaeeeaa107fa786e7741061e",
          "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": 4716,
          "score_components": {
            "checker_penalty": 1284,
            "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": 1144,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 8,
          "decision_sha256": "90f4212b757b3a38b32cc708c19dc3b5e4564b2e08b5df8b8c845748d4081235",
          "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": 5856,
          "score_components": {
            "checker_penalty": 1144,
            "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": 1571,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 9,
          "decision_sha256": "d344bdf2dbb713e79f65a021e601263cbb706d10145931af112fa31921ef31c6",
          "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": 3179,
          "score_components": {
            "checker_penalty": 1571,
            "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": 1155,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 10,
          "decision_sha256": "839d5de58d272676484f780daeb4685cbbb21b87691c08675291d0ec966f2782",
          "observation": {
            "ack_depth": 1,
            "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": 3095,
          "score_components": {
            "checker_penalty": 1155,
            "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": 1142,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 11,
          "decision_sha256": "36e594a899ea7c9bd3f01fd069e70dfb25a9f0f5be9ff8b59d0e1bec7ee62ba3",
          "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": 4618,
          "score_components": {
            "checker_penalty": 1142,
            "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": 1138,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 12,
          "decision_sha256": "3d426551672bb5ba26020a8077785a5b05ceeeda1bcd41c7dca56aa5d6d41a71",
          "observation": {
            "ack_depth": 0,
            "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": 4122,
          "score_components": {
            "checker_penalty": 1138,
            "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": 1238,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 13,
          "decision_sha256": "0f78833a27205fae984768d3b248c48af3d1f153009c6a3dd584faf51e794240",
          "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": 4532,
          "score_components": {
            "checker_penalty": 1238,
            "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": 1141,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 14,
          "decision_sha256": "8e967ed42c16c1740ca35b92f25157534523d47c2564586ca4d72d156e0d7d64",
          "observation": {
            "ack_depth": 0,
            "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": 4129,
          "score_components": {
            "checker_penalty": 1141,
            "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": 1284,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 15,
          "decision_sha256": "880d5b54f302de1bf23bc89524ba06ce5b396d87f86ec2d6fde93dc1bbf83e8f",
          "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": 4496,
          "score_components": {
            "checker_penalty": 1284,
            "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": 1144,
            "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": "b1a8afcb3b0f630242ff7c14a3b49c5b53ab335147fb10cb241112e63414ada7"
          },
          "decision_ordinal": 16,
          "decision_sha256": "c371f15262b52656b26bddf6cc266a4a267ecac4cca2d0811818c3b7b1da7580",
          "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": 4136,
          "score_components": {
            "checker_penalty": 1144,
            "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": "36e594a899ea7c9bd3f01fd069e70dfb25a9f0f5be9ff8b59d0e1bec7ee62ba3",
        "41bb44735e930af5a487b0fd31c4d0a69d92d09480b6634379abfc068ad39d78": "3d426551672bb5ba26020a8077785a5b05ceeeda1bcd41c7dca56aa5d6d41a71",
        "6756e54461aeb1f6291f9adbe51fc6d8cfc6436c475edf9c66d44dd5fcf996a5": "8e967ed42c16c1740ca35b92f25157534523d47c2564586ca4d72d156e0d7d64",
        "6c7b93029044c973fa6019373299922d1cb373c97bf517137e854c477f5447ce": "0f78833a27205fae984768d3b248c48af3d1f153009c6a3dd584faf51e794240",
        "8d0ab49075e6a51b601c8c5d5b8c2d3666c7d2ed652fcf2a78ce746310095e0e": "c371f15262b52656b26bddf6cc266a4a267ecac4cca2d0811818c3b7b1da7580",
        "9f3b43c25caa5e31b01f9116e87bc2dc2d097c95ae15c3897cb2bfad06974a3e": "d344bdf2dbb713e79f65a021e601263cbb706d10145931af112fa31921ef31c6",
        "a4fb9d62dddca5c9aca800bde5d5c0fcff7a7dc9dda101b77feb08012ebbbc71": "839d5de58d272676484f780daeb4685cbbb21b87691c08675291d0ec966f2782",
        "d4f9fea05e0e404873e50277e6f948d8d2e20ce46b495322f4aa9a45ed3014a7": "880d5b54f302de1bf23bc89524ba06ce5b396d87f86ec2d6fde93dc1bbf83e8f"
      },
      "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": 174324,
    "solve_error": "",
    "solve_result": 10,
    "timed_out": false
  },
  "artifact_sha256": "76843a08971aa3fcd17c6bb657774d16c6982c156c23274ea0b934e1af4b69a8",
  "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": 827636,
  "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": 164986,
    "solve_error": "",
    "solve_result": 10,
    "timed_out": false
  },
  "status": "pass",
  "variables": 200
}