{
  "schema": "EveMissLab-Math-Inventory/1.0",
  "method": {
    "display_extraction": "non-greedy $$...$$ over UTF-8 text",
    "inline_extraction": "single-line $...$ after display blocks are removed",
    "display_correspondence_normalization": "trim and collapse all whitespace runs to one ASCII space",
    "renderer_semantics_claimed": false
  },
  "artifacts": {
    "upstream": {
      "path": "provenance/sssp_export_raw.md",
      "sha256": "b8b74271adf8e9ce674d01e700c93bb346bf5020fc8fa19fd7a34f502494a4b0",
      "display_math_blocks": 5,
      "inline_math_spans": 0,
      "display_blocks": [
        {
          "index": 1,
          "raw_sha256": "f4c3edd7fff2a57cfe00b4131b61b55b385f5d547aca40439d8909855968a2bf",
          "normalized_whitespace_sha256": "ffb5ef1be585570c8b0a033ed6bc70eda8f4bb677ed939ab2babc613f6310f6d"
        },
        {
          "index": 2,
          "raw_sha256": "f0481e91017754a2a651d1a621c1e565ad84126f799b6d4db10b88df42f596dd",
          "normalized_whitespace_sha256": "ee541be63c2b13c5cc214412300152e02589752c64e7f32cd3d1b4e52c824fbb"
        },
        {
          "index": 3,
          "raw_sha256": "17ea2d8be6ad0c0e26ccc3fd689d06326498b2fa1353b65565373378fda5b931",
          "normalized_whitespace_sha256": "7a7a5746dbf8277c2703f313cdfe972f7d904979e5dcdf5a77baa95ad38d9aeb"
        },
        {
          "index": 4,
          "raw_sha256": "fa2b3cf44dbdc799ea3bc508aaee6010800b7bba6d243a39cca90240faff5c82",
          "normalized_whitespace_sha256": "b262a11e419754167135016b38d450acd4a2f37c4ba17afc5ede7a3dc863b1f5"
        },
        {
          "index": 5,
          "raw_sha256": "f9a386992a1386187d9574219d82db82657ddf7a35445e3947bb529f71bf16cf",
          "normalized_whitespace_sha256": "f202ce9b3ca62b4faae8facf8ff6fdcbf6ae9fe058c2a4efc14fae7b3a8d8a21"
        }
      ]
    },
    "readable": {
      "path": "paper.md",
      "sha256": "fab7342fe521f0aeacd4a12600ab920b5ed2648268fb77e7fdb1be94869ceca3",
      "display_math_blocks": 5,
      "inline_math_spans": 40,
      "display_blocks": [
        {
          "index": 1,
          "raw_sha256": "f4c3edd7fff2a57cfe00b4131b61b55b385f5d547aca40439d8909855968a2bf",
          "normalized_whitespace_sha256": "ffb5ef1be585570c8b0a033ed6bc70eda8f4bb677ed939ab2babc613f6310f6d"
        },
        {
          "index": 2,
          "raw_sha256": "f0481e91017754a2a651d1a621c1e565ad84126f799b6d4db10b88df42f596dd",
          "normalized_whitespace_sha256": "ee541be63c2b13c5cc214412300152e02589752c64e7f32cd3d1b4e52c824fbb"
        },
        {
          "index": 3,
          "raw_sha256": "82fb404e664438b8079e47444c8eb170c9489e087e9c45888fdee7ede0387511",
          "normalized_whitespace_sha256": "7a7a5746dbf8277c2703f313cdfe972f7d904979e5dcdf5a77baa95ad38d9aeb"
        },
        {
          "index": 4,
          "raw_sha256": "69c9020ec155b02bf215f073e25991c3a41142ffa91550610641e2fd41b91632",
          "normalized_whitespace_sha256": "b262a11e419754167135016b38d450acd4a2f37c4ba17afc5ede7a3dc863b1f5"
        },
        {
          "index": 5,
          "raw_sha256": "f9a386992a1386187d9574219d82db82657ddf7a35445e3947bb529f71bf16cf",
          "normalized_whitespace_sha256": "f202ce9b3ca62b4faae8facf8ff6fdcbf6ae9fe058c2a4efc14fae7b3a8d8a21"
        }
      ]
    }
  },
  "display_math_correspondence": {
    "ordered_normalized_blocks_equal": true,
    "upstream_count": 5,
    "readable_count": 5
  }
}