{
  "_pruva_terminal_reconciliation": {
    "authored_artifact_closure_sha256": "8e6d55397f4d6596415619b2ec4e8ec791ce22207840ea926efbf3b8c59228d2",
    "authored_runtime_manifest_sha256": "7df54123fce6d4cfba6a58515d4cb347619c9f22719b48f4d202ef8352f3b802",
    "authored_verdict_sha256": "10b0a2777e44c82ad59f2af94e21c87bd1d096d4a181525297d8bcf1ceb4236a",
    "claim_matching": "evaluated",
    "schema_version": 2,
    "status": "completed"
  },
  "accepted_exploit_knowledge_record_ids": [
    "e2426f7f-227a-4517-9de9-ee2f08200ebc"
  ],
  "attacker_controlled_input": "unprivileged AF_UNIX datagram sockets: SCM_RIGHTS fd passing (sendmsg of sk-B's fd to sk-B from sk-X) raced with close() of the A<->B socket pair forming a dead SCC",
  "claim_outcome": "confirmed",
  "claimed_impact_class": "memory_corruption",
  "claimed_surface": "local_only",
  "crash_observed": true,
  "end_to_end_target_reached": true,
  "evidence_scope": "production_path",
  "exploit_chain_demonstrated": false,
  "exploitability_confidence": "high",
  "inferred": false,
  "observed_impact_class": "memory_corruption",
  "read_write_primitive_observed": false,
  "repro_result": "confirmed",
  "sanitizer_used": true,
  "trigger_path": "unix_dgram_sendmsg -> unix_add_edges (publishes B->B edge) || close(A),close(B) -> unix_gc -> unix_walk_scc_fast -> unix_scc_dead iterates freed unix_vertex via stale scc_entry",
  "validated_surface": "local_only"
}