{
  "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": "dc91ca96cfcb3cc744d8eccb37505809f52863537d68511cd1c6b6a2777f0529",
        "sources": {
          "f435-publisher-1": {
            "ack_latency_total_us": 1163,
            "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": 1107,
            "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": 1099,
            "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": 8817,
          "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": 1860,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 1,
          "decision_sha256": "2d5d3220e92cba44c54b19907c1b9ffddbf7fbefd7733e0f954306b5313a2f60",
          "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": 3140,
          "score_components": {
            "checker_penalty": 1860,
            "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": 1403,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 2,
          "decision_sha256": "6bf82376cea1ddba66a4a92ac652872cea31d6bbbee40b03e0fe6b03f2718728",
          "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": 4597,
          "score_components": {
            "checker_penalty": 1403,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 3,
          "decision_sha256": "998674ad164f0f670ce040e71cd92709019040f66f1a172e70d8e44eb77a58fa",
          "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 4,
          "decision_sha256": "c6e8fe47eafb845dfef042f5da8b2709d37bbc7fe683ed2c0c0f16c348878880",
          "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": 1207,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 5,
          "decision_sha256": "c4b44d3d4e0b8761957d0b87f39e789c036ea6c67c434fcb1e57654fd070cfe8",
          "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": 4793,
          "score_components": {
            "checker_penalty": 1207,
            "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": 1163,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 6,
          "decision_sha256": "5e85ad8a10cc9b5eb4213bc7bb3ac32f1b13616661ae125b0ad27c110e9e94b8",
          "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": 5837,
          "score_components": {
            "checker_penalty": 1163,
            "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": 1156,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 7,
          "decision_sha256": "a8a9e32d259f80e57d445b38952257b41b2433476a3852d5787209c64402a65b",
          "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": 4844,
          "score_components": {
            "checker_penalty": 1156,
            "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": 1145,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 8,
          "decision_sha256": "dd775ea2967c7d5a0131e177b943c1805c0135946a796a1e79647c21df3b9b34",
          "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": 5855,
          "score_components": {
            "checker_penalty": 1145,
            "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": 1860,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 9,
          "decision_sha256": "0304f0798c13a00f8fb0e98a51e8fb498f98187352954c2279b6b678614b6f6f",
          "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": 2890,
          "score_components": {
            "checker_penalty": 1860,
            "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": 1403,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 10,
          "decision_sha256": "22fb4306019625d0a74c8c96738935ac46b0f7bc65d08cba9a2efa380685554a",
          "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": 2847,
          "score_components": {
            "checker_penalty": 1403,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 11,
          "decision_sha256": "53fe0bfe68502440526a92a6606d1e7b9a11f67692d24edac0dcda6124fd3f8a",
          "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 12,
          "decision_sha256": "7b9748cf42f0b2a30138ec524334daaee92d77dac2da173e66289fa74a72b02d",
          "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": 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": 1207,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 13,
          "decision_sha256": "48ffe716642cfe15891fa55dd54f4204071d44920d1289c3a2c41dc25a484d00",
          "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": 4563,
          "score_components": {
            "checker_penalty": 1207,
            "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": 1163,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 14,
          "decision_sha256": "f54fe343fa1021ef4101b5fab61ed39f95262349358ee938831a19cb1aabd7ec",
          "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": 4107,
          "score_components": {
            "checker_penalty": 1163,
            "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": 1156,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 15,
          "decision_sha256": "7c8689087127a3d84b7cf691808a54c7ee00e96f3e503800543b6402a37868a9",
          "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": 4624,
          "score_components": {
            "checker_penalty": 1156,
            "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": 1145,
            "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": "0f3ee8514e3aedb58f9f78436452a6f54c0bf0c6fae64c6e21f18bb2bc5489f4"
          },
          "decision_ordinal": 16,
          "decision_sha256": "2e77fc8b45a22f10e7dad634f814fc50935b5317a1034d6b066e0166cc93bb15",
          "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": 4135,
          "score_components": {
            "checker_penalty": 1145,
            "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": "53fe0bfe68502440526a92a6606d1e7b9a11f67692d24edac0dcda6124fd3f8a",
        "41bb44735e930af5a487b0fd31c4d0a69d92d09480b6634379abfc068ad39d78": "7b9748cf42f0b2a30138ec524334daaee92d77dac2da173e66289fa74a72b02d",
        "6756e54461aeb1f6291f9adbe51fc6d8cfc6436c475edf9c66d44dd5fcf996a5": "f54fe343fa1021ef4101b5fab61ed39f95262349358ee938831a19cb1aabd7ec",
        "6c7b93029044c973fa6019373299922d1cb373c97bf517137e854c477f5447ce": "48ffe716642cfe15891fa55dd54f4204071d44920d1289c3a2c41dc25a484d00",
        "8d0ab49075e6a51b601c8c5d5b8c2d3666c7d2ed652fcf2a78ce746310095e0e": "2e77fc8b45a22f10e7dad634f814fc50935b5317a1034d6b066e0166cc93bb15",
        "9f3b43c25caa5e31b01f9116e87bc2dc2d097c95ae15c3897cb2bfad06974a3e": "0304f0798c13a00f8fb0e98a51e8fb498f98187352954c2279b6b678614b6f6f",
        "a4fb9d62dddca5c9aca800bde5d5c0fcff7a7dc9dda101b77feb08012ebbbc71": "22fb4306019625d0a74c8c96738935ac46b0f7bc65d08cba9a2efa380685554a",
        "d4f9fea05e0e404873e50277e6f948d8d2e20ce46b495322f4aa9a45ed3014a7": "7c8689087127a3d84b7cf691808a54c7ee00e96f3e503800543b6402a37868a9"
      },
      "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": 175216,
    "solve_error": "",
    "solve_result": 10,
    "timed_out": false
  },
  "artifact_sha256": "a7b30d00dacb6e142fb95eaf9cc53ea9dc4b1bc1b89611ad92c4ef0196a5d968",
  "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": 861320,
  "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": 169762,
    "solve_error": "",
    "solve_result": 10,
    "timed_out": false
  },
  "status": "pass",
  "variables": 200
}