{
  "applied_intervention_ids": [
    "SAR-003"
  ],
  "applied_reference_rule_ids": [
    "REFRULE-002"
  ],
  "authority_commit": "9620cc73f9c8e0ad003c514a5d3748f29611c4c0",
  "authority_mutated": false,
  "canonical_profile_projection_sha256": "3376577c88c0e611f95ba2ef93c8e11aea32517a116b81105084ea9bbcec7eb1",
  "corrected_projection_sha256": "438fe73620d1be0301c00715e624770e3eefca42704be4c7f32048d764364b30",
  "global_visible_disclosure_required": true,
  "identity_policy": {
    "alternate_projection_id": "sfr:siz:red-alt:prob:nat-nat",
    "canonical_primary": {
      "file": "content/sets-functions-relations/size-of-sets/reduction.tex",
      "file_sha256": "33f0cbb35c8c1fa3ff0e4f44fa626fdc298d1c4612aeaafb41bcb920e5d18ac8",
      "id": "sfr:siz:red:prob:nat-nat",
      "instance_id": "inst-00034",
      "line": 108
    },
    "canonical_source_label": "sfr:siz:red:prob:nat-nat",
    "preserve_original_as_data_attribute": true,
    "source_qualified_alias": "inst-00040#sfr:siz:red:prob:nat-nat"
  },
  "local_visible_disclosure": {
    "global_ledger_required": true,
    "local_visible_note_required": true,
    "placement": "Immediately after the alternate exercise at reduction-alt.tex:106-110. The source label may appear in the global technical ledger; local prose should explain the duplication without forcing readers to parse an internal key.",
    "visible_text": "Editorial projection note: the source gives this alternate exercise the same link label as the corresponding exercise in the earlier Reduction section. This edition assigns the alternate copy its own link target; unqualified references lead to the earlier copy. The canonical source is unchanged."
  },
  "operation": {
    "canonical_projection_local_end": 66856,
    "canonical_projection_local_start": 66824,
    "corrected_fragment_sha256": "ce451c70d918df04e321946043651bab5d6fad82b32ce9c02444ab22656ef317",
    "corrected_projection_delta_characters": 4,
    "expected_utf8": "\\label{sfr:siz:red:prob:nat-nat}",
    "file": "content/sets-functions-relations/size-of-sets/reduction-alt.tex",
    "instance_id": "inst-00040",
    "replacement_utf8": "\\label{sfr:siz:red-alt:prob:nat-nat}",
    "source_char_end_exclusive": 4464,
    "source_char_start_zero": 4432,
    "source_fragment_sha256": "8506232308bee2a7db3973ffbf88b6d1f1f2f6aa4dfdf8af7212fc8caaf01cac"
  },
  "reference_rule": {
    "action": "resolve_to_primary_id",
    "id": "REFRULE-002",
    "original_key": "sfr:siz:red:prob:nat-nat",
    "prohibited_rewrite": "Do not use last-definition-wins resolution to bind the unqualified source label to the alternate copy.",
    "source": {
      "column": 21,
      "file": "content/turing-machines/undecidability/enumerating-tms.tex",
      "file_sha256": "a921bb03bf1688c6c0ee1bb3297dbb8a1a7473a9c1572426c461bafd98b083cb",
      "fragment_sha256": "61e287746e32bc9d6d1ec11fd399a9c6c0f05cd0502df720439c653c362e6bd9",
      "instance_id": "inst-00318",
      "line": 138
    },
    "target": {
      "file": "content/sets-functions-relations/size-of-sets/reduction.tex",
      "file_sha256": "33f0cbb35c8c1fa3ff0e4f44fa626fdc298d1c4612aeaafb41bcb920e5d18ac8",
      "id": "sfr:siz:red:prob:nat-nat",
      "instance_id": "inst-00034",
      "line": 108
    }
  },
  "result": "PASS_SAR_003_APPLIED_WITH_VISIBLE_DISCLOSURE_BOUND",
  "schema": "openlogic-size-of-sets-projection-interventions-v1",
  "sidecar_sha256": "cea56b20572a47ed2880c143fd5817a202e3f55b2e9aa117c7259255f03ae857",
  "source_error_preserved_in_oracle": true
}