{
  "version": "1.1",
  "generated_at": "2026-09-11T09:01:15.782967+00:00",
  "proof_type": "trust_dynamics_comprehensive",
  "runtime": {
    "identifier": "TrustDynamicsRuntime",
    "module": "cain_control_loop",
    "class": "TrustDynamicsRuntime",
    "entry_point": "execute_action()"
  },
  "trust_dynamics": {
    "trust_states": [
      "quarantined",
      "probation",
      "cooldown",
      "untrusted",
      "neutral",
      "trusted",
      "highly_trusted"
    ],
    "state_count": 7,
    "causal_chain": [
      "OBSERVE",
      "EXPECT",
      "DECIDE",
      "ENFORCE",
      "EXECUTE",
      "RESPONSE_SCREENING",
      "OUTCOME",
      "RECONCILIATION",
      "TRUST_DELTA",
      "TRUST_STATE_TRANSITION",
      "AUTHORITY_TRANSITION",
      "NEXT_ACTION"
    ]
  },
  "conformance_checks": {
    "trust_state_transitions": {
      "status": "PASS",
      "evidence": "State machine correctly transitions between 7 states"
    },
    "deterministic_trust_delta": {
      "status": "PASS",
      "trust_delta_allow": 0.23000000000000004,
      "trust_delta_second": 0.23000000000000004
    },
    "authority_adaptation": {
      "status": "PASS",
      "authority_before": 0.5,
      "authority_after": 0.73,
      "authority_delta": 0.22999999999999998
    },
    "outcome_reconciliation": {
      "status": "PASS",
      "response_classification": "clean",
      "reconciliation_id": "rec_1d866e79188740caad3f207b"
    },
    "fail_closed_enforcement": {
      "status": "PASS",
      "denied_reason": "INSUFFICIENT_AUTHORITY",
      "upstream_calls": 0
    },
    "upstream_non_execution": {
      "status": "PASS",
      "deny_upstream_count": 0,
      "allow_upstream_count": 1
    },
    "evidence_linkage": {
      "status": "PASS",
      "allow_evidence_ids": [
        "delta_cc81c59519594a80aa2c81d6",
        "scr_b4d84760a9014e159c09d382",
        "tv_5a9a47c364c742b39a094dd3",
        "auth_8543d50d5d9e4292823ddf30"
      ],
      "deny_evidence_ids": [
        "tv_387a69a27e3c49bca7d466b7"
      ]
    },
    "cryptographic_integrity": {
      "status": "PASS",
      "evidence_hash_verified": true,
      "tamper_detection": "verified"
    },
    "cross_tenant_isolation": {
      "status": "FAIL",
      "tenant_A_nodes": 15,
      "tenant_B_nodes": 15,
      "shared_nodes": 2,
      "isolated": false
    },
    "next_action_adaptation": {
      "status": "PASS",
      "action1_trust": 0.73,
      "action2_trust_before": 0.73,
      "governed_by_action1": true
    }
  },
  "endpoints": {
    "http_enforcement": "/trust-dynamics/enforce",
    "http_location": "cain_private_api.py:659",
    "mcpgate": "MCPGate.pre_tool_call",
    "mcpgate_location": "mcp_runtime.py:775"
  },
  "unit_tests": {
    "total": 156,
    "passing": 156,
    "file": "test_validated_trust_runtime.py"
  },
  "traces": {
    "allow_trace": {
      "correlation_id": "corr_9586c7092c72",
      "decision_id": "dec_approved_17b915df9e094defa39905e3",
      "allowed": true,
      "trust_before": 0.5,
      "trust_after": 0.73,
      "trust_delta": 0.23000000000000004,
      "authority_before": 0.5,
      "authority_after": 0.73,
      "evidence_ids": [
        "delta_cc81c59519594a80aa2c81d6",
        "scr_b4d84760a9014e159c09d382",
        "tv_5a9a47c364c742b39a094dd3",
        "auth_8543d50d5d9e4292823ddf30"
      ]
    },
    "deny_trace": {
      "correlation_id": "corr_cb2d5f82414f",
      "decision_id": "dec_denied_d42b86b18f284089ad228a25",
      "allowed": false,
      "reason": "INSUFFICIENT_AUTHORITY",
      "trust_delta": null,
      "authority_delta": 0,
      "evidence_ids": [
        "tv_387a69a27e3c49bca7d466b7"
      ]
    }
  }
}