{
  "schema_version": 1,
  "journey_id": "UJ-042",
  "journey_sha256": "58ff1affb2044d2adbac1c88830ebaf29d26bae9f02a2d122c2daf301afd6558",
  "source_sha256": {
    "references/example-project/src/FavoritesPanel.tsx": "4f9cfe9678040917077e1a9d6617643c89e9b6f4551cd296b093d220e4f051f1",
    "references/example-project/src/favorites-route.ts": "77fbfe40121c892655c487c4e1ce735dd2a9bd7cdf44aeb8067b192a0ac41e5d",
    "references/example-project/src/schema.ts": "450375e57ca5edaf7b0152838065b32ef5162b1d32e88130bc2f4def14ed6d2d",
    "references/example-project/src/request-fixtures.ts": "fb7003f3d4f7ee86a0bdb8333dee9c7fce4f38ee1d0c7d54fa9950246609f315"
  },
  "reviewer": {
    "kind": "native-subagent",
    "id": "example-reviewer"
  },
  "verdict": "pass",
  "checks": [
    {
      "id": "evidence_truth",
      "passed": true,
      "evidence": ["references/example-project/src/FavoritesPanel.tsx:9", "references/example-project/src/favorites-route.ts:9"],
      "note": "Citations match surrounding source contracts."
    },
    {
      "id": "actor_reachability",
      "passed": true,
      "evidence": ["references/example-project/src/FavoritesPanel.tsx:6", "references/example-project/src/FavoritesPanel.tsx:7"],
      "note": "Customer surface and Remove trigger connect."
    },
    {
      "id": "client_control_flow",
      "passed": true,
      "evidence": ["references/example-project/src/FavoritesPanel.tsx:18", "references/example-project/src/FavoritesPanel.tsx:21", "references/example-project/src/FavoritesPanel.tsx:24", "references/example-project/src/FavoritesPanel.tsx:27", "references/example-project/src/request-fixtures.ts:3-10"],
      "note": "Client responses plus pre-dispatch and post-commit transport failures map to atomic branches."
    },
    {
      "id": "request_response_contract",
      "passed": true,
      "evidence": ["references/example-project/src/FavoritesPanel.tsx:13", "references/example-project/src/favorites-route.ts:18"],
      "note": "DELETE path and exact response union agree."
    },
    {
      "id": "boundary_authority",
      "passed": true,
      "evidence": ["references/example-project/src/favorites-route.ts:10", "references/example-project/src/favorites-route.ts:12"],
      "note": "Session user derives authoritative favorite key."
    },
    {
      "id": "writes_constraints",
      "passed": true,
      "evidence": ["references/example-project/src/favorites-route.ts:17", "references/example-project/src/schema.ts:6", "references/example-project/src/request-fixtures.ts:8"],
      "note": "Mutation targets one session-derived key; post-commit loss is distinguished from no-write rejection."
    },
    {
      "id": "terminal_render",
      "passed": true,
      "evidence": ["references/example-project/src/FavoritesPanel.tsx:19", "references/example-project/src/FavoritesPanel.tsx:22", "references/example-project/src/FavoritesPanel.tsx:25"],
      "note": "Each response produces exact visible text."
    },
    {
      "id": "guard_atomicity",
      "passed": true,
      "evidence": ["references/example-project/src/favorites-route.ts:10", "references/example-project/src/favorites-route.ts:13", "references/example-project/src/request-fixtures.ts:4", "references/example-project/src/request-fixtures.ts:9"],
      "note": "Session denial, absence, pre-dispatch rejection, and post-commit loss are separate branches."
    },
    {
      "id": "blocker_scope",
      "passed": true,
      "evidence": ["references/example-project/src/favorites-route.ts:9"],
      "note": "Journey declares no blockers or unknown contracts."
    },
    {
      "id": "risk_consistency",
      "passed": true,
      "evidence": ["references/example-project/src/favorites-route.ts:13", "references/example-project/src/favorites-route.ts:17", "references/example-project/src/request-fixtures.ts:3-10"],
      "note": "Idempotency, ownership, commit-boundary, recovery, and mutation risks agree with branches."
    }
  ],
  "findings": []
}