{
  "schema_version": "jev-rule-check-public.v2",
  "created_at": "2026-09-30",
  "status": "completed_qualified_selection",
  "evidence_class": "live_provider_qualification_of_typed_relation_selection",
  "claim_boundary": "Jev selected a typed relation over 16 resolved deterministic bit pairs. The deterministic truth-table proof and global induction remain separate; this run is not a universality, accuracy, or biological claim.",
  "source": {
    "public_reference": "https://physics.er33t.com/",
    "method_reference": "https://physics.er33t.com/method.html",
    "deployment_note": "The exact local atlas case-construction artifact is not exposed as an HTTP route; the references above are the verified live lab and method pages.",
    "protocol": "elementary-rule-atlas-v1",
    "encoding": "index = 4L + 2C + R; output = (rule >> index) & 1",
    "color_conjugacy_relation": "Rule 137[7 - i] = 1 - Rule 110[i]",
    "rule42_gate": "R AND NOT(L AND C), derived from the Rule 42 table under the same encoding",
    "expected_relation": "Computed by deterministic code after request construction; expected_relation was not included in the provider request."
  },
  "cohort": {
    "total": 16,
    "families": {
      "eca110-137-complement": { "total": 8, "expected": "opposite", "completed": 8, "correct": 8 },
      "eca42-boolean-gate": { "total": 8, "expected": "same", "completed": 8, "correct": 8 }
    },
    "choice_domain": ["same", "opposite"],
    "candidate_order": { "same_first": 8, "opposite_first": 8 },
    "jev_choice": { "completed": 16, "correct": 16, "unresolved": 0, "accuracy_against_deterministic_expectation": 1.0 }
  },
  "production": {
    "host": "https://physics.er33t.com",
    "release": "64d456436b706226743104dbb37614c6883805c0",
    "model": "jev-1.13.0",
    "execution": "one-off in-process server-side client using the existing System 1 request contract",
    "app_route_added": false,
    "app_code_changed": false,
    "service_restarted": false,
    "contribution_writes": 0,
    "credential_handling": "Existing service-process credential stayed on the production host and in process memory; no credential is present in this artifact."
  },
  "accounting": {
    "provider_calls_attempted": 16,
    "new_reservation_cents": 16,
    "ledger_reserved_cents_before": 4,
    "ledger_reserved_cents_after": 20,
    "preexisting_unresolved_reservation_cents": 1,
    "preexisting_unresolved_request_retried": false,
    "model_estimated_cost_usd": 0.00036322,
    "model_estimated_cost_note": "Token-rate estimate from validated provider usage; it is not an invoice or a statement of settled spend."
  },
  "timing_and_usage": {
    "qualification_wall_clock_ms": 2640,
    "provider_latency_ms": { "min": 107.75, "median": 119.955, "mean": 149.66, "max": 301.67 },
    "provider_confidence": { "min": 0.98, "mean": 0.9931, "max": 1.0 },
    "validated_input_tokens_total": 8648,
    "timing_note": "provider_latency_ms covers the provider fetch; qualification_wall_clock_ms covers the full sequential 16-case client run."
  },
  "cases": [
    { "case_id": "eca110-137-complement-000", "family": "eca110-137-complement", "input_a": { "index": 0, "bits": [0,0,0], "output": 0 }, "input_b": { "index": 7, "bits": [1,1,1], "output": 1 }, "candidate_order": ["same","opposite"], "expected_relation": "opposite", "jev_choice": "opposite", "correct": true, "confidence": 0.99, "input_tokens": 541, "provider_latency_ms": 258.04, "request_hash": "49be5aec1007946377b9cd665df06ef1edfc5f1b884b1c95716991660f6afcdd" },
    { "case_id": "eca110-137-complement-001", "family": "eca110-137-complement", "input_a": { "index": 1, "bits": [0,0,1], "output": 1 }, "input_b": { "index": 6, "bits": [1,1,0], "output": 0 }, "candidate_order": ["opposite","same"], "expected_relation": "opposite", "jev_choice": "opposite", "correct": true, "confidence": 1.0, "input_tokens": 541, "provider_latency_ms": 119.72, "request_hash": "ba750041e103959763570ee239d1feffa8974fdb115cfd8b4f3b9feead7d9ce4" },
    { "case_id": "eca110-137-complement-010", "family": "eca110-137-complement", "input_a": { "index": 2, "bits": [0,1,0], "output": 1 }, "input_b": { "index": 5, "bits": [1,0,1], "output": 0 }, "candidate_order": ["same","opposite"], "expected_relation": "opposite", "jev_choice": "opposite", "correct": true, "confidence": 1.0, "input_tokens": 541, "provider_latency_ms": 120.19, "request_hash": "94dedf527ba78e67b1db600a4ef033d974aa06160366f6bcd56552b66ccd3122" },
    { "case_id": "eca110-137-complement-011", "family": "eca110-137-complement", "input_a": { "index": 3, "bits": [0,1,1], "output": 1 }, "input_b": { "index": 4, "bits": [1,0,0], "output": 0 }, "candidate_order": ["opposite","same"], "expected_relation": "opposite", "jev_choice": "opposite", "correct": true, "confidence": 1.0, "input_tokens": 541, "provider_latency_ms": 301.67, "request_hash": "b69bb5bd3db7c1555251813e62cfab89ea81b576d537b98713b4952682f7a34d" },
    { "case_id": "eca110-137-complement-100", "family": "eca110-137-complement", "input_a": { "index": 4, "bits": [1,0,0], "output": 0 }, "input_b": { "index": 3, "bits": [0,1,1], "output": 1 }, "candidate_order": ["same","opposite"], "expected_relation": "opposite", "jev_choice": "opposite", "correct": true, "confidence": 1.0, "input_tokens": 541, "provider_latency_ms": 109.07, "request_hash": "94f13a23f700d4fa33ce96e5db2d6dcde2e23db762d204bf1e9cdc84e9e8b33f" },
    { "case_id": "eca110-137-complement-101", "family": "eca110-137-complement", "input_a": { "index": 5, "bits": [1,0,1], "output": 1 }, "input_b": { "index": 2, "bits": [0,1,0], "output": 0 }, "candidate_order": ["opposite","same"], "expected_relation": "opposite", "jev_choice": "opposite", "correct": true, "confidence": 1.0, "input_tokens": 541, "provider_latency_ms": 114.59, "request_hash": "09cfb1de4d22689d77e3b0d883d6ec53aeff794836db1622e4d669066d192569" },
    { "case_id": "eca110-137-complement-110", "family": "eca110-137-complement", "input_a": { "index": 6, "bits": [1,1,0], "output": 1 }, "input_b": { "index": 1, "bits": [0,0,1], "output": 0 }, "candidate_order": ["same","opposite"], "expected_relation": "opposite", "jev_choice": "opposite", "correct": true, "confidence": 0.99, "input_tokens": 541, "provider_latency_ms": 113.82, "request_hash": "af065d3e7fb8114db5eeee0ade7f8444f3070908a192a3076b40311965cd4feb" },
    { "case_id": "eca110-137-complement-111", "family": "eca110-137-complement", "input_a": { "index": 7, "bits": [1,1,1], "output": 0 }, "input_b": { "index": 0, "bits": [0,0,0], "output": 1 }, "candidate_order": ["opposite","same"], "expected_relation": "opposite", "jev_choice": "opposite", "correct": true, "confidence": 1.0, "input_tokens": 541, "provider_latency_ms": 111.62, "request_hash": "41bb0240a1e5c1386f7e7d9a1ac7363281347e9f129dc12cefafb41b62e11bde" },
    { "case_id": "eca42-boolean-gate-000", "family": "eca42-boolean-gate", "input_a": { "index": 0, "bits": [0,0,0], "output": 0 }, "input_b": { "gate": "R AND NOT(L AND C)", "index": 0, "bits": [0,0,0], "output": 0 }, "candidate_order": ["same","opposite"], "expected_relation": "same", "jev_choice": "same", "correct": true, "confidence": 1.0, "input_tokens": 540, "provider_latency_ms": 115.49, "request_hash": "55087435f0f2cb5063f9f29a1586c8dfdc85ed2c224f7ad045e7c5fea66a9c39" },
    { "case_id": "eca42-boolean-gate-001", "family": "eca42-boolean-gate", "input_a": { "index": 1, "bits": [0,0,1], "output": 1 }, "input_b": { "gate": "R AND NOT(L AND C)", "index": 1, "bits": [0,0,1], "output": 1 }, "candidate_order": ["opposite","same"], "expected_relation": "same", "jev_choice": "same", "correct": true, "confidence": 0.99, "input_tokens": 540, "provider_latency_ms": 107.75, "request_hash": "aa1e6495865b3f6442d59b772a3e230f83f3cd23e1c4d0ec20675bc2d665c476" },
    { "case_id": "eca42-boolean-gate-010", "family": "eca42-boolean-gate", "input_a": { "index": 2, "bits": [0,1,0], "output": 0 }, "input_b": { "gate": "R AND NOT(L AND C)", "index": 2, "bits": [0,1,0], "output": 0 }, "candidate_order": ["same","opposite"], "expected_relation": "same", "jev_choice": "same", "correct": true, "confidence": 0.99, "input_tokens": 540, "provider_latency_ms": 121.48, "request_hash": "7ef4c48c2f26f5ee8e14db2a938162610b3e6aac0d2505daa733353f9075ae7e" },
    { "case_id": "eca42-boolean-gate-011", "family": "eca42-boolean-gate", "input_a": { "index": 3, "bits": [0,1,1], "output": 1 }, "input_b": { "gate": "R AND NOT(L AND C)", "index": 3, "bits": [0,1,1], "output": 1 }, "candidate_order": ["opposite","same"], "expected_relation": "same", "jev_choice": "same", "correct": true, "confidence": 0.99, "input_tokens": 540, "provider_latency_ms": 120.21, "request_hash": "d1dbe40ec3d5b01114e14c32a850343ae25546ea81575d517532608d6f8052bd" },
    { "case_id": "eca42-boolean-gate-100", "family": "eca42-boolean-gate", "input_a": { "index": 4, "bits": [1,0,0], "output": 0 }, "input_b": { "gate": "R AND NOT(L AND C)", "index": 4, "bits": [1,0,0], "output": 0 }, "candidate_order": ["same","opposite"], "expected_relation": "same", "jev_choice": "same", "correct": true, "confidence": 0.99, "input_tokens": 540, "provider_latency_ms": 139.85, "request_hash": "7806226cc950e4f166492e790b48eb024e99073e5a7adc88612bb8b99f7c4ffc" },
    { "case_id": "eca42-boolean-gate-101", "family": "eca42-boolean-gate", "input_a": { "index": 5, "bits": [1,0,1], "output": 1 }, "input_b": { "gate": "R AND NOT(L AND C)", "index": 5, "bits": [1,0,1], "output": 1 }, "candidate_order": ["opposite","same"], "expected_relation": "same", "jev_choice": "same", "correct": true, "confidence": 0.99, "input_tokens": 540, "provider_latency_ms": 112.48, "request_hash": "0d7dfdfb105d5ceef5b9e7428c25d8f8e98904db4f5edda04d7421a10aff49a4" },
    { "case_id": "eca42-boolean-gate-110", "family": "eca42-boolean-gate", "input_a": { "index": 6, "bits": [1,1,0], "output": 0 }, "input_b": { "gate": "R AND NOT(L AND C)", "index": 6, "bits": [1,1,0], "output": 0 }, "candidate_order": ["same","opposite"], "expected_relation": "same", "jev_choice": "same", "correct": true, "confidence": 0.98, "input_tokens": 540, "provider_latency_ms": 203.93, "request_hash": "c1e0a606511b783a007007353da6e337207dc56c61ae6dbb8b806f4efde5533f" },
    { "case_id": "eca42-boolean-gate-111", "family": "eca42-boolean-gate", "input_a": { "index": 7, "bits": [1,1,1], "output": 0 }, "input_b": { "gate": "R AND NOT(L AND C)", "index": 7, "bits": [1,1,1], "output": 0 }, "candidate_order": ["opposite","same"], "expected_relation": "same", "jev_choice": "same", "correct": true, "confidence": 0.98, "input_tokens": 540, "provider_latency_ms": 224.64, "request_hash": "0c89171467f52994072ff8e218e74b50f3507523c16cd8c23b109d4a389b07b2" }
  ],
  "receipt_reference": "Operational receipts are retained privately. This companion file provides the public case hashes, deterministic inputs and outputs, provider choices, timing, and validated results; raw provider payloads and credentials are omitted."
}