ScalingStacks

Proof (05UI)

Source history

The permanent identity and original source provenance are retained below.

{
  "key": "work:W000062:pdf:67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6:page:15:bbox:126.72,115.528,152.82,125.491",
  "first_source_version": "math/9811037v3",
  "chapter": "work-w000062",
  "work": "W000062",
  "kind": "Proof",
  "number": "",
  "title": "Proof.",
  "source_version": "math/9811037v3",
  "source": {
    "pdf_sha256": "67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6",
    "page": 15,
    "bbox": [
      126.72,
      115.528,
      152.82,
      125.491
    ]
  },
  "target": "/chapters/work-w000062.html",
  "identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
  "status": "active",
  "source_span_sha256": "07bb92679aed338c22a2c7da81743b4958e4bef26f6cb39dc3d17b45e69c1b00",
  "source_label": null,
  "source_label_occurrences": 0,
  "display_source": {
    "url": "https://arxiv.org/html/math/9811037v3",
    "sha256": "0278fe7a29d291fcbf711513ebb8f91c2e74663d596c74bef57726c82d566169",
    "element_id": "S6.2",
    "alignment_status": "verified_pdf_author_occurrence"
  },
  "author_source": {
    "file": "main.tex",
    "line": 1523,
    "file_sha256": "6c08cf3f6853a2c90d8dc23adcf397a8c0367e7f7dcfde71a55658c9b044f936",
    "byte_start": 63041,
    "byte_end": 63620
  },
  "identity_alignment": {
    "tag": "05UI",
    "registry_key": "work:W000062:pdf:67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6:page:15:bbox:126.72,115.528,152.82,125.491",
    "source_version": "math/9811037v3",
    "pdf_source": {
      "pdf_sha256": "67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6",
      "page": 15,
      "bbox": [
        126.72,
        115.528,
        152.82,
        125.491
      ]
    },
    "pdf_heading_sha256": "eafd4b63e76ab99cd9ab7aa5ce6df938420fe60be1d183fee1b6287bc7aabbcf",
    "author_source": {
      "file": "main.tex",
      "line": 1523,
      "file_sha256": "6c08cf3f6853a2c90d8dc23adcf397a8c0367e7f7dcfde71a55658c9b044f936",
      "byte_start": 63041,
      "byte_end": 63620
    },
    "source_span_sha256": "07bb92679aed338c22a2c7da81743b4958e4bef26f6cb39dc3d17b45e69c1b00",
    "display_source": {
      "url": "https://arxiv.org/html/math/9811037v3",
      "sha256": "0278fe7a29d291fcbf711513ebb8f91c2e74663d596c74bef57726c82d566169",
      "element_id": "S6.2",
      "alignment_status": "verified_pdf_author_occurrence"
    },
    "basis": "explicit_pdf_math_geometry_occurrence_adapter",
    "prefix_adapter": {
      "normalization": "unicode_nfkc_ascii_alphanumeric_prefix",
      "omitted_reference_kinds": []
    },
    "normalized_pdf_prefix_sha256": "c1cda26362828b69266512052b97cb3729e3b052e4ade47c0a1e3383defe73c7",
    "explicit_occurrence_adapter": {
      "adapter_id": "rezk-math-9811037v3-05UI-pinned-proof-occurrence-v1",
      "work": "W000062",
      "source_version": "math/9811037v3",
      "tag": "05UI",
      "registry_key": "work:W000062:pdf:67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6:page:15:bbox:126.72,115.528,152.82,125.491",
      "kind": "Proof",
      "number": "",
      "pdf_source": {
        "pdf_sha256": "67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6",
        "page": 15,
        "bbox": [
          126.72,
          115.528,
          152.82,
          125.491
        ]
      },
      "pdf_heading_sha256": "eafd4b63e76ab99cd9ab7aa5ce6df938420fe60be1d183fee1b6287bc7aabbcf",
      "author_source": {
        "file": "main.tex",
        "line": 1523,
        "file_sha256": "6c08cf3f6853a2c90d8dc23adcf397a8c0367e7f7dcfde71a55658c9b044f936",
        "byte_start": 63041,
        "byte_end": 63620
      },
      "source_span_sha256": "07bb92679aed338c22a2c7da81743b4958e4bef26f6cb39dc3d17b45e69c1b00",
      "display_source": {
        "url": "https://arxiv.org/html/math/9811037v3",
        "sha256": "0278fe7a29d291fcbf711513ebb8f91c2e74663d596c74bef57726c82d566169",
        "element_id": "S6.2"
      },
      "html_block_sha256": "d636e8e508b867103ea0da5950d2ea96c0e17b1be3a20efa72955f43220e65db",
      "html_opening_paragraph_sha256": "611a6e43947e02135716f79dd0d7571f1bf761223e8ad2a160517062d557bbce",
      "pdf_context_clip": [
        120,
        112.528,
        520,
        223.26
      ],
      "pdf_context_sha256": "67c72f4d4382c609e87bc71c2869e3eae069801048d41c1b940ac4099aabdc11",
      "previous_numbered": {
        "tag": "05UH",
        "registry_key": "work:W000062:pdf:67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6:page:14:bbox:126.721,613.74,444.681,623.971",
        "kind": "Proposition",
        "number": "6.4"
      },
      "next_numbered": {
        "tag": "05UJ",
        "registry_key": "work:W000062:pdf:67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6:page:15:bbox:126.72,226.26,485.254,236.491",
        "kind": "Corollary",
        "number": "6.5"
      },
      "basis": "source-bound exact original proof occurrence reviewed by Codex reader agent; independent parent acceptance pending"
    }
  },
  "historical_entry_before_author_html_binding": {
    "key": "work:W000062:pdf:67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6:page:15:bbox:126.72,115.528,152.82,125.491",
    "first_source_version": "math/9811037v3",
    "chapter": "work-w000062",
    "work": "W000062",
    "kind": "Proof",
    "number": "",
    "title": "Proof.",
    "source_version": "math/9811037v3",
    "source": {
      "pdf_sha256": "67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6",
      "page": 15,
      "bbox": [
        126.72,
        115.528,
        152.82,
        125.491
      ]
    },
    "target": "/chapters/work-w000062.html",
    "identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
    "status": "active"
  }
}