{
  "schema": 1,
  "session_id": "fdshop-79b082f93e-payment-crash",
  "services": [
    {
      "index": 0,
      "role": "cart",
      "process_id": "fdshop-79b082f93e-payment-crash-cart",
      "generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "artifact": "cart/fault-9.fault",
      "rpc_events": 4,
      "signal": null,
      "crashes": 0,
      "rpc_status": "complete",
      "native_complete": true,
      "unresolved": []
    },
    {
      "index": 1,
      "role": "catalog",
      "process_id": "fdshop-79b082f93e-payment-crash-catalog",
      "generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "artifact": "catalog/fault-9.fault",
      "rpc_events": 2,
      "signal": null,
      "crashes": 0,
      "rpc_status": "complete",
      "native_complete": true,
      "unresolved": []
    },
    {
      "index": 2,
      "role": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "artifact": "checkout/fault-8.fault",
      "rpc_events": 8,
      "signal": null,
      "crashes": 0,
      "rpc_status": "complete",
      "native_complete": true,
      "unresolved": []
    },
    {
      "index": 3,
      "role": "gateway",
      "process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "artifact": "gateway/fault-9.fault",
      "rpc_events": 6,
      "signal": null,
      "crashes": 0,
      "rpc_status": "complete",
      "native_complete": true,
      "unresolved": []
    },
    {
      "index": 4,
      "role": "inventory",
      "process_id": "fdshop-79b082f93e-payment-crash-inventory",
      "generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 7,
      "artifact": "inventory/fault-7.fault",
      "rpc_events": 4,
      "signal": null,
      "crashes": 0,
      "rpc_status": "complete",
      "native_complete": true,
      "unresolved": []
    },
    {
      "index": 5,
      "role": "notification",
      "process_id": "fdshop-79b082f93e-payment-crash-notification",
      "generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "artifact": "notification/fault-8.fault",
      "rpc_events": 0,
      "signal": null,
      "crashes": 0,
      "rpc_status": "limited",
      "native_complete": true,
      "unresolved": [
        {
          "reason": "semantic_rpc_events_empty",
          "evidence": "rpc"
        }
      ]
    },
    {
      "index": 6,
      "role": "payment",
      "process_id": "fdshop-79b082f93e-payment-crash-payment",
      "generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 7,
      "artifact": "payment/fault-7.fault",
      "rpc_events": 1,
      "signal": 4,
      "crashes": 1,
      "rpc_status": "limited",
      "native_complete": false,
      "unresolved": [
        {
          "reason": "semantic_rpc_stream_incomplete",
          "flags": 2,
          "dropped_count": 0
        }
      ],
      "fault_report": "fault-6/report.html",
      "fault_report_result": {
        "files": [
          "report.json",
          "report.md",
          "report.html"
        ],
        "evidence_status": "limited",
        "crashes": 1
      }
    },
    {
      "index": 7,
      "role": "shipping",
      "process_id": "fdshop-79b082f93e-payment-crash-shipping",
      "generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "artifact": "shipping/fault-8.fault",
      "rpc_events": 0,
      "signal": null,
      "crashes": 0,
      "rpc_status": "limited",
      "native_complete": true,
      "unresolved": [
        {
          "reason": "semantic_rpc_events_empty",
          "evidence": "rpc"
        }
      ]
    }
  ],
  "calls": [
    {
      "kind": "rpc",
      "rpc_id": 1000000003,
      "from_pid": 9,
      "to_pid": 9,
      "method_id": 2,
      "evidence": [
        "semantic_rpc_events"
      ],
      "from_process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "to_process_id": "fdshop-79b082f93e-payment-crash-cart",
      "from_process_generation": 1,
      "to_process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "trace_id_hi": 0,
      "trace_id_lo": 1000000002,
      "from_service": "gateway",
      "to_service": "cart",
      "path": "/cart",
      "request_id": "payment_crash-0",
      "parent_rpc_id": 1000000001,
      "started_ns": 112588837596,
      "timeout_ms": 3000,
      "receiver_begin_observed": true,
      "receiver_end_observed": true,
      "receiver_status": 200,
      "symptoms": [],
      "status": 200,
      "duration_ms": 3.27
    },
    {
      "kind": "rpc",
      "rpc_id": 3000000001,
      "from_pid": 9,
      "to_pid": 9,
      "method_id": 1,
      "evidence": [
        "semantic_rpc_events"
      ],
      "from_process_id": "fdshop-79b082f93e-payment-crash-cart",
      "to_process_id": "fdshop-79b082f93e-payment-crash-catalog",
      "from_process_generation": 1,
      "to_process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "trace_id_hi": 0,
      "trace_id_lo": 1000000002,
      "from_service": "cart",
      "to_service": "catalog",
      "path": "/products",
      "request_id": "payment_crash-0",
      "parent_rpc_id": 1000000003,
      "started_ns": 112590177527,
      "timeout_ms": 3000,
      "receiver_begin_observed": true,
      "receiver_end_observed": true,
      "receiver_status": 200,
      "symptoms": [],
      "status": 200,
      "duration_ms": 1.47
    },
    {
      "kind": "rpc",
      "rpc_id": 1000000004,
      "from_pid": 9,
      "to_pid": 8,
      "method_id": 3,
      "evidence": [
        "semantic_rpc_events"
      ],
      "from_process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "to_process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "from_process_generation": 1,
      "to_process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "trace_id_hi": 0,
      "trace_id_lo": 1000000002,
      "from_service": "gateway",
      "to_service": "checkout",
      "path": "/checkout",
      "request_id": "payment_crash-0",
      "parent_rpc_id": 1000000001,
      "started_ns": 112592191599,
      "timeout_ms": 3000,
      "receiver_begin_observed": true,
      "receiver_end_observed": true,
      "receiver_status": 502,
      "symptoms": [],
      "status": 502,
      "duration_ms": 273.27
    },
    {
      "kind": "rpc",
      "rpc_id": 4000000001,
      "from_pid": 8,
      "to_pid": 7,
      "method_id": 4,
      "evidence": [
        "semantic_rpc_events"
      ],
      "from_process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "to_process_id": "fdshop-79b082f93e-payment-crash-inventory",
      "from_process_generation": 1,
      "to_process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "trace_id_hi": 0,
      "trace_id_lo": 1000000002,
      "from_service": "checkout",
      "to_service": "inventory",
      "path": "/reserve",
      "request_id": "payment_crash-0",
      "parent_rpc_id": 1000000004,
      "started_ns": 112593178787,
      "timeout_ms": 300,
      "receiver_begin_observed": true,
      "receiver_end_observed": true,
      "receiver_status": 200,
      "symptoms": [],
      "status": 200,
      "duration_ms": 1.36
    },
    {
      "kind": "rpc",
      "rpc_id": 4000000002,
      "from_pid": 8,
      "to_pid": 7,
      "method_id": 6,
      "evidence": [
        "semantic_rpc_events"
      ],
      "from_process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "to_process_id": "fdshop-79b082f93e-payment-crash-payment",
      "from_process_generation": 1,
      "to_process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "trace_id_hi": 0,
      "trace_id_lo": 1000000002,
      "from_service": "checkout",
      "to_service": "payment",
      "path": "/authorize",
      "request_id": "payment_crash-0",
      "parent_rpc_id": 1000000004,
      "started_ns": 112594642264,
      "timeout_ms": 3000,
      "receiver_begin_observed": true,
      "receiver_end_observed": false,
      "symptoms": [
        {
          "code": "upstream_transport",
          "reason": "Upstream connection failed: RemoteDisconnected",
          "status": 502,
          "log_path": "checkout/events.jsonl",
          "log_line": 6
        }
      ],
      "status": 502,
      "duration_ms": 268.07
    },
    {
      "kind": "rpc",
      "rpc_id": 4000000003,
      "from_pid": 8,
      "to_pid": 7,
      "method_id": 5,
      "evidence": [
        "semantic_rpc_events"
      ],
      "from_process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "to_process_id": "fdshop-79b082f93e-payment-crash-inventory",
      "from_process_generation": 1,
      "to_process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "trace_id_hi": 0,
      "trace_id_lo": 1000000002,
      "from_service": "checkout",
      "to_service": "inventory",
      "path": "/release",
      "request_id": "payment_crash-0",
      "parent_rpc_id": 1000000004,
      "started_ns": 112862802314,
      "timeout_ms": 3000,
      "receiver_begin_observed": true,
      "receiver_end_observed": true,
      "receiver_status": 200,
      "symptoms": [],
      "status": 200,
      "duration_ms": 1.85
    }
  ],
  "native_relations": [
    {
      "kind": "rpc",
      "rpc_id": 1000000003,
      "from_pid": 9,
      "to_pid": 9,
      "method_id": 2,
      "evidence": [
        "semantic_rpc_events"
      ],
      "from_process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "to_process_id": "fdshop-79b082f93e-payment-crash-cart",
      "from_process_generation": 1,
      "to_process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "trace_id_hi": 0,
      "trace_id_lo": 1000000002
    },
    {
      "kind": "rpc",
      "rpc_id": 3000000001,
      "from_pid": 9,
      "to_pid": 9,
      "method_id": 1,
      "evidence": [
        "semantic_rpc_events"
      ],
      "from_process_id": "fdshop-79b082f93e-payment-crash-cart",
      "to_process_id": "fdshop-79b082f93e-payment-crash-catalog",
      "from_process_generation": 1,
      "to_process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "trace_id_hi": 0,
      "trace_id_lo": 1000000002
    },
    {
      "kind": "rpc",
      "rpc_id": 1000000004,
      "from_pid": 9,
      "to_pid": 8,
      "method_id": 3,
      "evidence": [
        "semantic_rpc_events"
      ],
      "from_process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "to_process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "from_process_generation": 1,
      "to_process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "trace_id_hi": 0,
      "trace_id_lo": 1000000002
    },
    {
      "kind": "rpc",
      "rpc_id": 4000000001,
      "from_pid": 8,
      "to_pid": 7,
      "method_id": 4,
      "evidence": [
        "semantic_rpc_events"
      ],
      "from_process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "to_process_id": "fdshop-79b082f93e-payment-crash-inventory",
      "from_process_generation": 1,
      "to_process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "trace_id_hi": 0,
      "trace_id_lo": 1000000002
    },
    {
      "kind": "rpc",
      "rpc_id": 4000000002,
      "from_pid": 8,
      "to_pid": 7,
      "method_id": 6,
      "evidence": [
        "semantic_rpc_events"
      ],
      "from_process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "to_process_id": "fdshop-79b082f93e-payment-crash-payment",
      "from_process_generation": 1,
      "to_process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "trace_id_hi": 0,
      "trace_id_lo": 1000000002
    },
    {
      "kind": "rpc",
      "rpc_id": 4000000003,
      "from_pid": 8,
      "to_pid": 7,
      "method_id": 5,
      "evidence": [
        "semantic_rpc_events"
      ],
      "from_process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "to_process_id": "fdshop-79b082f93e-payment-crash-inventory",
      "from_process_generation": 1,
      "to_process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "trace_id_hi": 0,
      "trace_id_lo": 1000000002
    }
  ],
  "causes": [
    {
      "schema": 1,
      "kind": "fault_triggered",
      "service": "payment",
      "process_id": "fdshop-79b082f93e-payment-crash-payment",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 7,
      "tid": 8,
      "monotonic_ns": 112595622710,
      "source_file": "test/shop/service.py",
      "source_line": 185,
      "rpc_id": 4000000002,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "code": "payment_native_trap",
      "reason": "Injected invalid authorization transition calls the native payment invariant trap.",
      "log_path": "payment/events.jsonl",
      "log_line": 3,
      "native_rpc_matched": true,
      "evidence_class": "application_self_report",
      "assessment": "corroborated_rpc_and_native_crash",
      "source": {
        "file": "test/shop/service.py",
        "line": 185,
        "sha256": "3b789a99231804fa3e980fb878751438c0e365c9e000fd52d92fb045e7c586a3",
        "lines": [
          {
            "line": 182,
            "text": "        if scenario == \"payment_decline\":"
          },
          {
            "line": 183,
            "text": "            return failure(ctx, \"payment_declined\", \"Injected authorization policy rejects this demo payment before charging.\", 402)"
          },
          {
            "line": 184,
            "text": "        if scenario == \"payment_crash\":"
          },
          {
            "line": 185,
            "text": "            emit(\"fault_triggered\", ctx, code=\"payment_native_trap\","
          },
          {
            "line": 186,
            "text": "                 reason=\"Injected invalid authorization transition calls the native payment invariant trap.\")"
          },
          {
            "line": 187,
            "text": "            NATIVE.shop_payment_fault()"
          },
          {
            "line": 188,
            "text": "        with LOCK:"
          }
        ],
        "verification": "immutable_bundle_hash"
      },
      "native_crash": {
        "pc": 140025828848020,
        "tid": 8,
        "signal": 4,
        "thread_generation": 1
      }
    }
  ],
  "events": [
    {
      "schema": 1,
      "kind": "process_started",
      "service": "cart",
      "process_id": "fdshop-79b082f93e-payment-crash-cart",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 9,
      "monotonic_ns": 110840931679,
      "source_file": "test/shop/service.py",
      "source_line": 290,
      "log_path": "cart/events.jsonl",
      "log_line": 1,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "server_begin",
      "service": "cart",
      "process_id": "fdshop-79b082f93e-payment-crash-cart",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 10,
      "monotonic_ns": 112590055529,
      "source_file": "test/shop/service.py",
      "source_line": 279,
      "rpc_id": 1000000003,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000001,
      "request_id": "payment_crash-0",
      "path": "/cart",
      "log_path": "cart/events.jsonl",
      "log_line": 2,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "client_begin",
      "service": "cart",
      "process_id": "fdshop-79b082f93e-payment-crash-cart",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 10,
      "monotonic_ns": 112590177527,
      "source_file": "test/shop/service.py",
      "source_line": 73,
      "trace_id": 1000000002,
      "rpc_id": 3000000001,
      "parent_rpc_id": 1000000003,
      "request_id": "payment_crash-0",
      "peer": "catalog",
      "path": "/products",
      "timeout_ms": 3000,
      "log_path": "cart/events.jsonl",
      "log_line": 3,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "client_end",
      "service": "cart",
      "process_id": "fdshop-79b082f93e-payment-crash-cart",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 10,
      "monotonic_ns": 112591649879,
      "source_file": "test/shop/service.py",
      "source_line": 94,
      "trace_id": 1000000002,
      "rpc_id": 3000000001,
      "parent_rpc_id": 1000000003,
      "request_id": "payment_crash-0",
      "peer": "catalog",
      "path": "/products",
      "status": 200,
      "log_path": "cart/events.jsonl",
      "log_line": 4,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "server_end",
      "service": "cart",
      "process_id": "fdshop-79b082f93e-payment-crash-cart",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 10,
      "monotonic_ns": 112591744225,
      "source_file": "test/shop/service.py",
      "source_line": 285,
      "rpc_id": 1000000003,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000001,
      "request_id": "payment_crash-0",
      "path": "/cart",
      "status": 200,
      "log_path": "cart/events.jsonl",
      "log_line": 5,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "process_stopped",
      "service": "cart",
      "process_id": "fdshop-79b082f93e-payment-crash-cart",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 9,
      "monotonic_ns": 114033126185,
      "source_file": "test/shop/service.py",
      "source_line": 295,
      "log_path": "cart/events.jsonl",
      "log_line": 6,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "process_started",
      "service": "catalog",
      "process_id": "fdshop-79b082f93e-payment-crash-catalog",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 9,
      "monotonic_ns": 110930914691,
      "source_file": "test/shop/service.py",
      "source_line": 290,
      "log_path": "catalog/events.jsonl",
      "log_line": 1,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "server_begin",
      "service": "catalog",
      "process_id": "fdshop-79b082f93e-payment-crash-catalog",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 10,
      "monotonic_ns": 112591214103,
      "source_file": "test/shop/service.py",
      "source_line": 279,
      "rpc_id": 3000000001,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000003,
      "request_id": "payment_crash-0",
      "path": "/products",
      "log_path": "catalog/events.jsonl",
      "log_line": 2,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "server_end",
      "service": "catalog",
      "process_id": "fdshop-79b082f93e-payment-crash-catalog",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 10,
      "monotonic_ns": 112591324290,
      "source_file": "test/shop/service.py",
      "source_line": 285,
      "rpc_id": 3000000001,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000003,
      "request_id": "payment_crash-0",
      "path": "/products",
      "status": 200,
      "log_path": "catalog/events.jsonl",
      "log_line": 3,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "process_stopped",
      "service": "catalog",
      "process_id": "fdshop-79b082f93e-payment-crash-catalog",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 9,
      "monotonic_ns": 113789153651,
      "source_file": "test/shop/service.py",
      "source_line": 295,
      "log_path": "catalog/events.jsonl",
      "log_line": 4,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "process_started",
      "service": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 8,
      "monotonic_ns": 110882832481,
      "source_file": "test/shop/service.py",
      "source_line": 290,
      "log_path": "checkout/events.jsonl",
      "log_line": 1,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "server_begin",
      "service": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 9,
      "monotonic_ns": 112593072949,
      "source_file": "test/shop/service.py",
      "source_line": 279,
      "rpc_id": 1000000004,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000001,
      "request_id": "payment_crash-0",
      "path": "/checkout",
      "log_path": "checkout/events.jsonl",
      "log_line": 2,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "client_begin",
      "service": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 9,
      "monotonic_ns": 112593178787,
      "source_file": "test/shop/service.py",
      "source_line": 73,
      "trace_id": 1000000002,
      "rpc_id": 4000000001,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "peer": "inventory",
      "path": "/reserve",
      "timeout_ms": 300,
      "log_path": "checkout/events.jsonl",
      "log_line": 3,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "client_end",
      "service": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 9,
      "monotonic_ns": 112594540003,
      "source_file": "test/shop/service.py",
      "source_line": 94,
      "trace_id": 1000000002,
      "rpc_id": 4000000001,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "peer": "inventory",
      "path": "/reserve",
      "status": 200,
      "log_path": "checkout/events.jsonl",
      "log_line": 4,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "client_begin",
      "service": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 9,
      "monotonic_ns": 112594642264,
      "source_file": "test/shop/service.py",
      "source_line": 73,
      "trace_id": 1000000002,
      "rpc_id": 4000000002,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "peer": "payment",
      "path": "/authorize",
      "timeout_ms": 3000,
      "log_path": "checkout/events.jsonl",
      "log_line": 5,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "symptom",
      "service": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 9,
      "monotonic_ns": 112862551444,
      "source_file": "test/shop/service.py",
      "source_line": 89,
      "trace_id": 1000000002,
      "rpc_id": 4000000002,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "peer": "payment",
      "status": 502,
      "code": "upstream_transport",
      "reason": "Upstream connection failed: RemoteDisconnected",
      "log_path": "checkout/events.jsonl",
      "log_line": 6,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "client_end",
      "service": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 9,
      "monotonic_ns": 112862715161,
      "source_file": "test/shop/service.py",
      "source_line": 94,
      "trace_id": 1000000002,
      "rpc_id": 4000000002,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "peer": "payment",
      "path": "/authorize",
      "status": 502,
      "log_path": "checkout/events.jsonl",
      "log_line": 7,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "client_begin",
      "service": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 9,
      "monotonic_ns": 112862802314,
      "source_file": "test/shop/service.py",
      "source_line": 73,
      "trace_id": 1000000002,
      "rpc_id": 4000000003,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "peer": "inventory",
      "path": "/release",
      "timeout_ms": 3000,
      "log_path": "checkout/events.jsonl",
      "log_line": 8,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "client_end",
      "service": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 9,
      "monotonic_ns": 112864654054,
      "source_file": "test/shop/service.py",
      "source_line": 94,
      "trace_id": 1000000002,
      "rpc_id": 4000000003,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "peer": "inventory",
      "path": "/release",
      "status": 200,
      "log_path": "checkout/events.jsonl",
      "log_line": 9,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "compensation",
      "service": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 9,
      "monotonic_ns": 112864740185,
      "source_file": "test/shop/service.py",
      "source_line": 148,
      "rpc_id": 1000000004,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000001,
      "request_id": "payment_crash-0",
      "peer": "inventory",
      "status": 200,
      "order_id": "payment_crash-0",
      "log_path": "checkout/events.jsonl",
      "log_line": 10,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "server_end",
      "service": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 9,
      "monotonic_ns": 112864824042,
      "source_file": "test/shop/service.py",
      "source_line": 285,
      "rpc_id": 1000000004,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000001,
      "request_id": "payment_crash-0",
      "path": "/checkout",
      "status": 502,
      "log_path": "checkout/events.jsonl",
      "log_line": 11,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "process_stopped",
      "service": "checkout",
      "process_id": "fdshop-79b082f93e-payment-crash-checkout",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 8,
      "monotonic_ns": 114400494800,
      "source_file": "test/shop/service.py",
      "source_line": 295,
      "log_path": "checkout/events.jsonl",
      "log_line": 12,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "process_started",
      "service": "gateway",
      "process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 9,
      "monotonic_ns": 110909710443,
      "source_file": "test/shop/service.py",
      "source_line": 290,
      "log_path": "gateway/events.jsonl",
      "log_line": 1,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "server_begin",
      "service": "gateway",
      "process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 10,
      "monotonic_ns": 112588688958,
      "source_file": "test/shop/service.py",
      "source_line": 279,
      "rpc_id": 1000000001,
      "trace_id": 1000000002,
      "parent_rpc_id": 0,
      "request_id": "payment_crash-0",
      "path": "/checkout",
      "log_path": "gateway/events.jsonl",
      "log_line": 2,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "client_begin",
      "service": "gateway",
      "process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 10,
      "monotonic_ns": 112588837596,
      "source_file": "test/shop/service.py",
      "source_line": 73,
      "trace_id": 1000000002,
      "rpc_id": 1000000003,
      "parent_rpc_id": 1000000001,
      "request_id": "payment_crash-0",
      "peer": "cart",
      "path": "/cart",
      "timeout_ms": 3000,
      "log_path": "gateway/events.jsonl",
      "log_line": 3,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "client_end",
      "service": "gateway",
      "process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 10,
      "monotonic_ns": 112592105137,
      "source_file": "test/shop/service.py",
      "source_line": 94,
      "trace_id": 1000000002,
      "rpc_id": 1000000003,
      "parent_rpc_id": 1000000001,
      "request_id": "payment_crash-0",
      "peer": "cart",
      "path": "/cart",
      "status": 200,
      "log_path": "gateway/events.jsonl",
      "log_line": 4,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "client_begin",
      "service": "gateway",
      "process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 10,
      "monotonic_ns": 112592191599,
      "source_file": "test/shop/service.py",
      "source_line": 73,
      "trace_id": 1000000002,
      "rpc_id": 1000000004,
      "parent_rpc_id": 1000000001,
      "request_id": "payment_crash-0",
      "peer": "checkout",
      "path": "/checkout",
      "timeout_ms": 3000,
      "log_path": "gateway/events.jsonl",
      "log_line": 5,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "client_end",
      "service": "gateway",
      "process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 10,
      "monotonic_ns": 112865458753,
      "source_file": "test/shop/service.py",
      "source_line": 94,
      "trace_id": 1000000002,
      "rpc_id": 1000000004,
      "parent_rpc_id": 1000000001,
      "request_id": "payment_crash-0",
      "peer": "checkout",
      "path": "/checkout",
      "status": 502,
      "log_path": "gateway/events.jsonl",
      "log_line": 6,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "server_end",
      "service": "gateway",
      "process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 10,
      "monotonic_ns": 112865588256,
      "source_file": "test/shop/service.py",
      "source_line": 285,
      "rpc_id": 1000000001,
      "trace_id": 1000000002,
      "parent_rpc_id": 0,
      "request_id": "payment_crash-0",
      "path": "/checkout",
      "status": 502,
      "log_path": "gateway/events.jsonl",
      "log_line": 7,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "process_stopped",
      "service": "gateway",
      "process_id": "fdshop-79b082f93e-payment-crash-gateway",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 9,
      "tid": 9,
      "monotonic_ns": 115611947752,
      "source_file": "test/shop/service.py",
      "source_line": 295,
      "log_path": "gateway/events.jsonl",
      "log_line": 8,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "process_started",
      "service": "inventory",
      "process_id": "fdshop-79b082f93e-payment-crash-inventory",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 7,
      "tid": 7,
      "monotonic_ns": 111030688176,
      "source_file": "test/shop/service.py",
      "source_line": 290,
      "log_path": "inventory/events.jsonl",
      "log_line": 1,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "server_begin",
      "service": "inventory",
      "process_id": "fdshop-79b082f93e-payment-crash-inventory",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 7,
      "tid": 8,
      "monotonic_ns": 112594137034,
      "source_file": "test/shop/service.py",
      "source_line": 279,
      "rpc_id": 4000000001,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "path": "/reserve",
      "log_path": "inventory/events.jsonl",
      "log_line": 2,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "server_end",
      "service": "inventory",
      "process_id": "fdshop-79b082f93e-payment-crash-inventory",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 7,
      "tid": 8,
      "monotonic_ns": 112594239486,
      "source_file": "test/shop/service.py",
      "source_line": 285,
      "rpc_id": 4000000001,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "path": "/reserve",
      "status": 200,
      "log_path": "inventory/events.jsonl",
      "log_line": 3,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "server_begin",
      "service": "inventory",
      "process_id": "fdshop-79b082f93e-payment-crash-inventory",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 7,
      "tid": 8,
      "monotonic_ns": 112863971948,
      "source_file": "test/shop/service.py",
      "source_line": 279,
      "rpc_id": 4000000003,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "path": "/release",
      "log_path": "inventory/events.jsonl",
      "log_line": 4,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "server_end",
      "service": "inventory",
      "process_id": "fdshop-79b082f93e-payment-crash-inventory",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 7,
      "tid": 8,
      "monotonic_ns": 112864134763,
      "source_file": "test/shop/service.py",
      "source_line": 285,
      "rpc_id": 4000000003,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "path": "/release",
      "status": 200,
      "log_path": "inventory/events.jsonl",
      "log_line": 5,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "process_stopped",
      "service": "inventory",
      "process_id": "fdshop-79b082f93e-payment-crash-inventory",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 7,
      "tid": 7,
      "monotonic_ns": 114718400657,
      "source_file": "test/shop/service.py",
      "source_line": 295,
      "log_path": "inventory/events.jsonl",
      "log_line": 6,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "process_started",
      "service": "notification",
      "process_id": "fdshop-79b082f93e-payment-crash-notification",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 8,
      "monotonic_ns": 110978555102,
      "source_file": "test/shop/service.py",
      "source_line": 290,
      "log_path": "notification/events.jsonl",
      "log_line": 1,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "process_stopped",
      "service": "notification",
      "process_id": "fdshop-79b082f93e-payment-crash-notification",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 8,
      "monotonic_ns": 115594719549,
      "source_file": "test/shop/service.py",
      "source_line": 295,
      "log_path": "notification/events.jsonl",
      "log_line": 2,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "process_started",
      "service": "payment",
      "process_id": "fdshop-79b082f93e-payment-crash-payment",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 7,
      "tid": 7,
      "monotonic_ns": 110969272836,
      "source_file": "test/shop/service.py",
      "source_line": 290,
      "log_path": "payment/events.jsonl",
      "log_line": 1,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "server_begin",
      "service": "payment",
      "process_id": "fdshop-79b082f93e-payment-crash-payment",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 7,
      "tid": 8,
      "monotonic_ns": 112595531639,
      "source_file": "test/shop/service.py",
      "source_line": 279,
      "rpc_id": 4000000002,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "path": "/authorize",
      "log_path": "payment/events.jsonl",
      "log_line": 2,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "fault_triggered",
      "service": "payment",
      "process_id": "fdshop-79b082f93e-payment-crash-payment",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 7,
      "tid": 8,
      "monotonic_ns": 112595622710,
      "source_file": "test/shop/service.py",
      "source_line": 185,
      "rpc_id": 4000000002,
      "trace_id": 1000000002,
      "parent_rpc_id": 1000000004,
      "request_id": "payment_crash-0",
      "code": "payment_native_trap",
      "reason": "Injected invalid authorization transition calls the native payment invariant trap.",
      "log_path": "payment/events.jsonl",
      "log_line": 3,
      "native_rpc_matched": true
    },
    {
      "schema": 1,
      "kind": "process_started",
      "service": "shipping",
      "process_id": "fdshop-79b082f93e-payment-crash-shipping",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 8,
      "monotonic_ns": 110900238438,
      "source_file": "test/shop/service.py",
      "source_line": 290,
      "log_path": "shipping/events.jsonl",
      "log_line": 1,
      "native_rpc_matched": false
    },
    {
      "schema": 1,
      "kind": "process_stopped",
      "service": "shipping",
      "process_id": "fdshop-79b082f93e-payment-crash-shipping",
      "process_generation": 1,
      "session_id": "fdshop-79b082f93e-payment-crash",
      "pid": 8,
      "tid": 8,
      "monotonic_ns": 115312378987,
      "source_file": "test/shop/service.py",
      "source_line": 295,
      "log_path": "shipping/events.jsonl",
      "log_line": 2,
      "native_rpc_matched": false
    }
  ],
  "evidence_files": [
    {
      "path": "cart/fault-9.fault",
      "sha256": "d36053acf068e77667016597a1aa0de665b7156db6e6536df9e98bcf10101b70",
      "kind": "checksummed_native_capture",
      "bytes": 8266
    },
    {
      "path": "catalog/fault-9.fault",
      "sha256": "b0cd895b46a3f93365887fb118934a25014e299665d408da18f700fb91c8d962",
      "kind": "checksummed_native_capture",
      "bytes": 7199
    },
    {
      "path": "checkout/fault-8.fault",
      "sha256": "ac974663f67f214576e16af32626ab8409306ef566d7e13664524fea9d43af36",
      "kind": "checksummed_native_capture",
      "bytes": 10414
    },
    {
      "path": "gateway/fault-9.fault",
      "sha256": "111d28ac55d061b4495c55cf0f1e4b0ccf5bc6962690dcd7f10f8fdd710e0708",
      "kind": "checksummed_native_capture",
      "bytes": 9351
    },
    {
      "path": "inventory/fault-7.fault",
      "sha256": "b60ece6769dcbe65a6e48650678edb6c2070e7519d9d0b547ea79f587890c2cf",
      "kind": "checksummed_native_capture",
      "bytes": 8515
    },
    {
      "path": "notification/fault-8.fault",
      "sha256": "9666a60d7f94da797e68e877afedc40ffb37a83edac33974d4ea1e9d3ebd738c",
      "kind": "checksummed_native_capture",
      "bytes": 5630
    },
    {
      "path": "payment/fault-7.fault",
      "sha256": "5ab49a4361a3e3ead713e48137aecfaf8888f198e85c739a28331eff38c5d814",
      "kind": "checksummed_native_capture",
      "bytes": 7056
    },
    {
      "path": "shipping/fault-8.fault",
      "sha256": "62e31a817192a1bbc3b2590890449d9cd05bcc3b95dd54f2351ebab6fddb2dbf",
      "kind": "checksummed_native_capture",
      "bytes": 5618
    },
    {
      "path": "cart/events.jsonl",
      "sha256": "8ccd6ec80ac8096ca1bfe9a6f5d98ac3fef74e04eac86f92c115b780c30cfa97",
      "kind": "application_self_report",
      "bytes": 2188
    },
    {
      "path": "catalog/events.jsonl",
      "sha256": "6ad2e06e874a2a002f2346e6b848a4c55717ebb769eacc42ddc8707ff00646ba",
      "kind": "application_self_report",
      "bytes": 1373
    },
    {
      "path": "checkout/events.jsonl",
      "sha256": "71d3ac80740697bd8d17f65ac1b93259af433efe29a7437dd3f7836cbc57b79e",
      "kind": "application_self_report",
      "bytes": 4900
    },
    {
      "path": "gateway/events.jsonl",
      "sha256": "7d6e5afa6d19111bd34ccd3f211389d22a7dd7e6aebe2c547fcebd9b540a3132",
      "kind": "application_self_report",
      "bytes": 3061
    },
    {
      "path": "inventory/events.jsonl",
      "sha256": "ce40d8216ed96d757805f2f03241c442739720707f1903c684721f95ef33dc1f",
      "kind": "application_self_report",
      "bytes": 2198
    },
    {
      "path": "notification/events.jsonl",
      "sha256": "5559e1a6d11b3dc6344aa7c457612483592e341aac58cb5bb1cf9d1fdddf43cb",
      "kind": "application_self_report",
      "bytes": 584
    },
    {
      "path": "payment/events.jsonl",
      "sha256": "0e13a27fddb75c7978ac40d42091bd20604a1bcde59dd2af2ffb216bf25990aa",
      "kind": "application_self_report",
      "bytes": 1186
    },
    {
      "path": "shipping/events.jsonl",
      "sha256": "1961879ebdf27334b2b60dc2557c31d8f0133c1d79ce92624a551cfb3ae063f7",
      "kind": "application_self_report",
      "bytes": 568
    }
  ],
  "unresolved": [
    {
      "reason": "native_capture_incomplete",
      "service": "payment",
      "snapshot_consistency": {
        "stable": true,
        "unstable_records": []
      },
      "status": 7
    },
    {
      "reason": "semantic_rpc_events_empty",
      "evidence": "rpc"
    },
    {
      "reason": "semantic_rpc_stream_incomplete",
      "flags": 2,
      "dropped_count": 0
    },
    {
      "reason": "semantic_rpc_events_empty",
      "evidence": "rpc"
    },
    {
      "reason": "rpc_endpoint_pair_not_unique",
      "rpc_id": 1000000001,
      "events": 2,
      "processes": [
        [
          "identity",
          "fdshop-79b082f93e-payment-crash-gateway",
          1
        ]
      ]
    },
    {
      "status": "evidence_missing",
      "reason": "no_explicit_ipc_pair"
    }
  ],
  "limitations": [
    "Application reasons are self-reported; hashes identify frozen evidence, not authenticity.",
    "Native function traces cover the C++ boundary module, not Python call stacks.",
    "Parent RPC IDs come from application propagation; shared trace IDs alone do not establish causality.",
    "A receiver may finish after the caller times out; caller and receiver statuses are distinct."
  ]
}