{
  "platform": "H11I",
  "sovereign_model": "H11-SIM",
  "deployment": "live-cloudflare-worker",
  "mathematical_logic_stack": {
    "schema": "h11-mathematical-logic-stack-v1.2",
    "runtime_binding": "src/intelligence/reasoning.py::MathematicalLogicKernel",
    "status": "verified_runtime",
    "purpose": "Convert H11-SIM reasoning into explicit propositions, probability updates, implication edges, contradiction pressure, causal-identification pressure, decision sensitivity, proof obligations, and deterministic exact-math operator execution before release.",
    "deterministic_operator_families": [
      "expression parser with precedence and exponentiation",
      "single-variable linear equations",
      "quadratic equations over real and complex roots",
      "two-variable linear systems",
      "heads-and-legs integer systems",
      "work-rate reasoning",
      "without-replacement probability",
      "Bayesian posterior inference",
      "combinatorics n-choose-k",
      "modular exponentiation",
      "arithmetic and geometric sequence sums",
      "formal propositional modus-tollens chains"
    ],
    "operators": [
      {
        "name": "proposition lattice",
        "formal_role": "P = {p_i}; each claim, assumption, hypothesis, and objective is normalized into a typed proposition with stable identity.",
        "release_gate": "Every material answer must preserve proposition identity, kind, posterior confidence, and uncertainty."
      },
      {
        "name": "Bayesian evidence update",
        "formal_role": "posterior(p) = L(E|p)P(p) / (L(E|p)P(p) + L(E|¬p)(1-P(p))).",
        "release_gate": "Low-posterior propositions must be strengthened with evidence, downgraded, or exposed as unresolved."
      },
      {
        "name": "entropy pressure",
        "formal_role": "H(p) = -p log2(p) - (1-p) log2(1-p), aggregated across propositions.",
        "release_gate": "High-entropy claims must be split, bounded, or sent to evidence/counterexample search."
      },
      {
        "name": "inference graph",
        "formal_role": "Directed edges encode semantic support, quantitative dependencies, and causal candidates with weighted strength.",
        "release_gate": "Edges involving quantities require units, formulas, bounds, arithmetic checks, and lineage."
      },
      {
        "name": "causal identification",
        "formal_role": "Causal propositions require confounder, intervention, counterfactual, and outcome tests before being treated as cause.",
        "release_gate": "Correlation-shaped claims cannot be released as causality without an identified causal model."
      },
      {
        "name": "decision sensitivity",
        "formal_role": "Recommendation stability is tested against low-confidence and universal/superlative proposition pressure.",
        "release_gate": "Sensitive recommendations must disclose criteria, weights, alternatives, and failure conditions."
      },
      {
        "name": "proof-obligation ledger",
        "formal_role": "Each risky proposition creates typed obligations for evidence, counterexamples, quantitative validity, and causal validity.",
        "release_gate": "H11I-VERITAS checks unresolved obligations before H11-SIM final synthesis."
      },
      {
        "name": "deterministic exact-math execution",
        "formal_role": "Recognized exact mathematical classes are solved by governed deterministic operators before provider verbalization.",
        "release_gate": "Provider prose cannot override deterministic results for supported exact-math classes."
      }
    ],
    "metrics": [
      "proposition_count",
      "inference_edge_count",
      "proof_obligation_count",
      "consistency_score",
      "entropy",
      "bayesian_confidence",
      "causal_identification_score",
      "decision_sensitivity_score",
      "release_gate_strength"
    ]
  },
  "active_release_metrics": [
    "proposition_count",
    "inference_edge_count",
    "proof_obligation_count",
    "consistency_score",
    "entropy",
    "bayesian_confidence",
    "causal_identification_score",
    "decision_sensitivity_score",
    "release_gate_strength"
  ],
  "verification_owner": "H11I-VERITAS",
  "synthesis_owner": "H11-SIM"
}