ScalingStacks

Proof (05U3)

Source history

The permanent identity and original source provenance are retained below.

{
  "key": "work:W000062:pdf:67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6:page:9:bbox:126.72,657.928,242.675,667.891",
  "first_source_version": "math/9811037v3",
  "chapter": "work-w000062",
  "work": "W000062",
  "kind": "Proof",
  "number": "",
  "title": "Proof.",
  "source_version": "math/9811037v3",
  "source": {
    "pdf_sha256": "67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6",
    "page": 9,
    "bbox": [
      126.72,
      657.928,
      242.675,
      667.891
    ]
  },
  "target": "/chapters/work-w000062.html",
  "identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
  "status": "active",
  "source_span_sha256": "831040564c53ef97befac7876256d602f527791c0ab2e455461457031006a5be",
  "source_label": null,
  "source_label_occurrences": 0,
  "display_source": {
    "url": "https://arxiv.org/html/math/9811037v3",
    "sha256": "0278fe7a29d291fcbf711513ebb8f91c2e74663d596c74bef57726c82d566169",
    "element_id": "S3.SS5.3",
    "alignment_status": "verified_pdf_author_occurrence"
  },
  "author_source": {
    "file": "main.tex",
    "line": 1082,
    "file_sha256": "6c08cf3f6853a2c90d8dc23adcf397a8c0367e7f7dcfde71a55658c9b044f936",
    "byte_start": 45961,
    "byte_end": 46620
  },
  "identity_alignment": {
    "tag": "05U3",
    "registry_key": "work:W000062:pdf:67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6:page:9:bbox:126.72,657.928,242.675,667.891",
    "source_version": "math/9811037v3",
    "pdf_source": {
      "pdf_sha256": "67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6",
      "page": 9,
      "bbox": [
        126.72,
        657.928,
        242.675,
        667.891
      ]
    },
    "pdf_heading_sha256": "fec33e4e6b000edd27ea87d78d24545af6be903fdcde1ae9b55f65e8d93d6e53",
    "author_source": {
      "file": "main.tex",
      "line": 1082,
      "file_sha256": "6c08cf3f6853a2c90d8dc23adcf397a8c0367e7f7dcfde71a55658c9b044f936",
      "byte_start": 45961,
      "byte_end": 46620
    },
    "source_span_sha256": "831040564c53ef97befac7876256d602f527791c0ab2e455461457031006a5be",
    "display_source": {
      "url": "https://arxiv.org/html/math/9811037v3",
      "sha256": "0278fe7a29d291fcbf711513ebb8f91c2e74663d596c74bef57726c82d566169",
      "element_id": "S3.SS5.3",
      "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": "b4c3f5a3c431ed1bf94933cc5ee9056a859d2e426caad9a3d54f69bbc57afd4a",
    "explicit_occurrence_adapter": {
      "adapter_id": "rezk-math-9811037v3-05U3-pinned-proof-occurrence-v1",
      "work": "W000062",
      "source_version": "math/9811037v3",
      "tag": "05U3",
      "registry_key": "work:W000062:pdf:67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6:page:9:bbox:126.72,657.928,242.675,667.891",
      "kind": "Proof",
      "number": "",
      "pdf_source": {
        "pdf_sha256": "67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6",
        "page": 9,
        "bbox": [
          126.72,
          657.928,
          242.675,
          667.891
        ]
      },
      "pdf_heading_sha256": "fec33e4e6b000edd27ea87d78d24545af6be903fdcde1ae9b55f65e8d93d6e53",
      "author_source": {
        "file": "main.tex",
        "line": 1082,
        "file_sha256": "6c08cf3f6853a2c90d8dc23adcf397a8c0367e7f7dcfde71a55658c9b044f936",
        "byte_start": 45961,
        "byte_end": 46620
      },
      "source_span_sha256": "831040564c53ef97befac7876256d602f527791c0ab2e455461457031006a5be",
      "display_source": {
        "url": "https://arxiv.org/html/math/9811037v3",
        "sha256": "0278fe7a29d291fcbf711513ebb8f91c2e74663d596c74bef57726c82d566169",
        "element_id": "S3.SS5.3"
      },
      "html_block_sha256": "043abf3db35504f4e4082b7e47950d8fca906391f009701ed67e10534213a86a",
      "html_opening_paragraph_sha256": "d8763a5043a4ef1dd5ec2b9b64ff6678aea043125a6d59dfd263ba87b413a32c",
      "pdf_context_clip": [
        120,
        654.928,
        520,
        742.0
      ],
      "pdf_context_sha256": "6d3a0779c90f717ea61dcd61d8f77e2b61047834efc411affb0cbe306f250291",
      "previous_numbered": {
        "tag": "05U2",
        "registry_key": "work:W000062:pdf:67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6:page:9:bbox:126.72,640.02,465.196,650.251",
        "kind": "Lemma",
        "number": "3.9"
      },
      "next_numbered": {
        "tag": "05U4",
        "registry_key": "work:W000062:pdf:67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6:page:10:bbox:126.72,233.219,485.344,243.45",
        "kind": "Proposition",
        "number": "3.11"
      },
      "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:9:bbox:126.72,657.928,242.675,667.891",
    "first_source_version": "math/9811037v3",
    "chapter": "work-w000062",
    "work": "W000062",
    "kind": "Proof",
    "number": "",
    "title": "Proof. We must show that",
    "source_version": "math/9811037v3",
    "source": {
      "pdf_sha256": "67ad8eef47b7aba409bbcc80c59d5e34d0a3978869cfbafc1e39eba6f05049c6",
      "page": 9,
      "bbox": [
        126.72,
        657.928,
        242.675,
        667.891
      ]
    },
    "target": "/chapters/work-w000062.html",
    "identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
    "status": "active"
  }
}