{
  "fixture": "fixtures/baseline.json",
  "rows": [
    {
      "baseline_role": "before",
      "mappings": {
        "service_id": {
          "pointer": "/service_id"
        },
        "baseline_role": {
          "literal": "before",
          "reason": "Names the state represented by this row."
        },
        "sdk_version": {
          "pointer": "/before/sdk_version"
        },
        "runtime_version": {
          "pointer": "/before/runtime_version"
        },
        "target_framework": {
          "pointer": "/before/target_framework"
        },
        "csharp_language_version": {
          "pointer": "/before/csharp_language_version"
        },
        "nullable_context": {
          "pointer": "/before/nullable_context"
        },
        "async_boundary": {
          "pointer": "/before/async_boundary"
        },
        "configuration_source": {
          "pointer": "/before/configuration_source"
        },
        "dependency_injection_boundary": {
          "pointer": "/before/dependency_injection_boundary"
        },
        "support_channel": {
          "source": "contracts.json",
          "pointer": "/support_snapshot/runtime_families/net8.0/channel",
          "note": "Family lifecycle at snapshot; not current-patch certification of the historical state."
        },
        "support_end": {
          "source": "contracts.json",
          "pointer": "/support_snapshot/runtime_families/net8.0/end",
          "note": "Family lifecycle at snapshot; not current-patch certification of the historical state."
        },
        "global_json_ref": {
          "literal": "fixtures/baseline.json#/before/global_json",
          "resolves_to": "/before/global_json"
        },
        "package_target_compatibility": {
          "pointer": "/before/packages",
          "serialize": "canonical compact JSON",
          "verification_rule": "For each package, require TFM in contracts package_catalog verified_tfms and matching compatibility_ref; synthetic catalog only."
        },
        "breaking_change_ref": {
          "literal": "HISTORICAL_NOT_REASSESSED",
          "reason": "Previous state is historical; candidate review contains two bounded inventory entries."
        },
        "compile_state": {
          "literal": "HISTORICAL_NOT_REASSESSED",
          "reason": "No new observations of the historical state supplied."
        },
        "test_state": {
          "literal": "HISTORICAL_NOT_REASSESSED",
          "reason": "No new observations of the historical state supplied."
        },
        "diagnostic_state": {
          "literal": "HISTORICAL_NOT_REASSESSED",
          "reason": "No new observations of the historical state supplied."
        },
        "review_state": {
          "literal": "HISTORICAL_NOT_REASSESSED",
          "reason": "No new observations of the historical state supplied."
        },
        "review_owner": {
          "literal": "NOT_SUPPLIED",
          "reason": "Historical owner not supplied."
        },
        "baseline_digest": {
          "pointer": "/baseline_digest",
          "note": "Identifies the shared comparison event, not a historic execution."
        },
        "candidate_digest": {
          "pointer": "/candidate_digest",
          "note": "Identifies the shared comparison event, not a historic execution."
        },
        "audit_event_id": {
          "pointer": "/audit_event_id",
          "note": "Identifies the shared comparison event, not a historic execution."
        }
      }
    },
    {
      "baseline_role": "candidate",
      "mappings": {
        "service_id": {
          "pointer": "/service_id"
        },
        "baseline_role": {
          "literal": "candidate",
          "reason": "Names the state represented by this row."
        },
        "sdk_version": {
          "pointer": "/candidate/sdk_version"
        },
        "runtime_version": {
          "pointer": "/candidate/runtime_version"
        },
        "target_framework": {
          "pointer": "/candidate/target_framework"
        },
        "csharp_language_version": {
          "pointer": "/candidate/csharp_language_version"
        },
        "nullable_context": {
          "pointer": "/candidate/nullable_context"
        },
        "async_boundary": {
          "pointer": "/candidate/async_boundary"
        },
        "configuration_source": {
          "pointer": "/candidate/configuration_source"
        },
        "dependency_injection_boundary": {
          "pointer": "/candidate/dependency_injection_boundary"
        },
        "support_channel": {
          "source": "contracts.json",
          "pointer": "/support_snapshot/runtime_families/net10.0/channel",
          "note": "Family lifecycle at snapshot; not current-patch certification of the historical state."
        },
        "support_end": {
          "source": "contracts.json",
          "pointer": "/support_snapshot/runtime_families/net10.0/end",
          "note": "Family lifecycle at snapshot; not current-patch certification of the historical state."
        },
        "global_json_ref": {
          "literal": "fixtures/baseline.json#/candidate/global_json",
          "resolves_to": "/candidate/global_json"
        },
        "package_target_compatibility": {
          "pointer": "/candidate/packages",
          "serialize": "canonical compact JSON",
          "verification_rule": "For each package, require TFM in contracts package_catalog verified_tfms and matching compatibility_ref; synthetic catalog only."
        },
        "breaking_change_ref": {
          "literal": "fixtures/baseline.json#/change_review",
          "reason": "Previous state is historical; candidate review contains two bounded inventory entries."
        },
        "compile_state": {
          "pointer": "/compile/state",
          "evidence_kind": "SYNTHETIC_DOTNET_RECEIPT"
        },
        "test_state": {
          "computed": "All seven unique expected test IDs have PASS and matching typed observed values, synthetic receipt kind and current bindings.",
          "pointer": "/tests",
          "source_expectations": "contracts.json#/expected_tests"
        },
        "diagnostic_state": {
          "pointer": "/diagnostics/state",
          "evidence_kind": "SYNTHETIC_DOTNET_RECEIPT"
        },
        "review_state": {
          "pointer": "/review/state",
          "evidence_kind": "SYNTHETIC_DOTNET_RECEIPT"
        },
        "review_owner": {
          "pointer": "/review/owner",
          "note": "Synthetic reviewer, not human approval."
        },
        "baseline_digest": {
          "pointer": "/baseline_digest",
          "note": "Identifies the shared comparison event, not a historic execution."
        },
        "candidate_digest": {
          "pointer": "/candidate_digest",
          "note": "Identifies the shared comparison event, not a historic execution."
        },
        "audit_event_id": {
          "pointer": "/audit_event_id",
          "note": "Identifies the shared comparison event, not a historic execution."
        }
      }
    }
  ],
  "note": "Reconstruct independently for another service. Historical rows are declarations, never current execution receipts. Exact state predicates are public in policy.json."
}