{
  "budget_scope": "Each parse/lower separately bounded; one shared resolve/render/serialize output budget",
  "execution_identity": "d12da22fc6a2663d0cf31948ebb8dc4ebd3a901ddfc234a6dfedd1ef44081ea5",
  "files": [
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/00-contract.html",
      "sha256": "9e20c1b7dbc830f4932fdf069414f56e724125e36f691c19948ed90d31e64815"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/01-architecture.html",
      "sha256": "499aaa1e67781a52c2bc2f3faaa8fc0623b6a8e3c80282eb4a841da597c8936f"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/02-foundation.html",
      "sha256": "2b1913c546fcbb4a7a7fe5137a3c7d29112c198ca2584c36000d42885b8030ed"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/06-math.html",
      "sha256": "e74b728e76a25a07c4e32669e393eceec0eab9fd70660ae18cc1822af45d1bd8"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/07-circuit.html",
      "sha256": "11dedf2469c9c0a2e11c845b1167ffaaa56deeaeea51b76db7a7f484ab43caf5"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/08-editor.html",
      "sha256": "42b7496ebf4d56eaeb6e59ded50022bf99a676766809459e5b931f25b06e4ff8"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/11-conformance.html",
      "sha256": "faf98443e21d37df8e0b40c1610ab4661f7563abaa6ee1b493adadada4fd749c"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/12-model-invariants.html",
      "sha256": "904a6dc8d6d7a4cce2d6f99c80654d4caafc75a80e1622a4308df2aeb3afbbdd"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/13-reproducibility.html",
      "sha256": "99b80b99318619335eca6bebbcc2d0ec044f12c2c4fe35d5020dc53af4a355a1"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/17-math-html.html",
      "sha256": "3020fb36299144108db052e4eb39f7b1d63caf1477818219c6dd2271f70abb07"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/18-html-delivery.html",
      "sha256": "7a2ed0088c71e0766ec304bcc59d2cccffa307a9742a66139eeea99f633b6355"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/19-html-fragment.html",
      "sha256": "dcf0f9a22bd083487ff0868b28222464ec7a796845baa8d4193e3de442b628b1"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/20-doc-html.html",
      "sha256": "e88fa6f33fcca22e0a0d4e48703f2d39979d50a26bd3ee085733c9e382495ba1"
    },
    {
      "license": null,
      "mime": "text/html; charset=utf-8",
      "path": "docs/spec/22-external-extensions.html",
      "sha256": "08bc5dd0b85a5e70bd7893bd286c01034ccc75e9751510973277f79d5f0f9ba8"
    },
    {
      "license": "MIT",
      "mime": "text/css; charset=utf-8",
      "path": "docs/spec/assets/doc.css",
      "sha256": "906364ba3d4d9e41ec9014068baf7e6633f7cc2bd86dd5d0e8f494ac982aebf4"
    }
  ],
  "format": "nepl3.local-doc-pages/1",
  "identity": "a6159de49ec20944c0c700c4c565ec00dd02ab5fd886790b312f026f5140f1f8",
  "options": {
    "parallel": "Rows"
  },
  "output_budget": {
    "contract": "nepl3.local-doc-pages.execution/1",
    "initial_usage": {
      "allocation_units": 0,
      "depth": 0,
      "diagnostics": 0,
      "events": 0,
      "nodes": 0,
      "output_bytes": 0,
      "source_bytes": 0,
      "work": 0
    },
    "limits": {
      "allocation_units": 1250000000,
      "depth": 1000,
      "diagnostics": 1000,
      "events": 1000,
      "nodes": 24000000,
      "output_bytes": 10000000,
      "source_bytes": 10000000,
      "work": 600000000
    },
    "usage": {
      "allocation_units": 1138450568,
      "depth": 14,
      "diagnostics": 0,
      "events": 0,
      "nodes": 21035419,
      "output_bytes": 1225058,
      "source_bytes": 414156,
      "work": 559574654
    }
  },
  "output_usage": {
    "allocation_units": 1138450568,
    "output_bytes": 1225058,
    "work": 559574654
  },
  "packages": "compiled checked bootstrap fixtures",
  "pages": [
    {
      "id": "contract",
      "input": "doc/spec/00-contract.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 17088074,
        "depth": 41,
        "diagnostics": 0,
        "events": 0,
        "nodes": 348082,
        "output_bytes": 0,
        "source_bytes": 14766,
        "work": 4205439
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 71141825,
        "depth": 44,
        "diagnostics": 0,
        "events": 0,
        "nodes": 961160,
        "output_bytes": 183372,
        "source_bytes": 28792,
        "work": 9106443
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/00-contract.html",
      "source": "doc/spec/00-contract.md",
      "source_sha256": "48c2b1696c7308ee43f26dbf06a6038b38f0199233c1da3ef15a04453f810e93"
    },
    {
      "id": "reproducibility",
      "input": "doc/spec/13-reproducibility.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 44826829,
        "depth": 42,
        "diagnostics": 0,
        "events": 0,
        "nodes": 930847,
        "output_bytes": 0,
        "source_bytes": 33989,
        "work": 16214574
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 178737570,
        "depth": 47,
        "diagnostics": 0,
        "events": 0,
        "nodes": 2565036,
        "output_bytes": 320322,
        "source_bytes": 64894,
        "work": 45446923
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/13-reproducibility.html",
      "source": "doc/spec/13-reproducibility.md",
      "source_sha256": "31486ad75e0776d55cc12b2a9b5af2840780ad7812456d9c222a90fd8ab495a8"
    },
    {
      "id": "external-extensions",
      "input": "doc/spec/22-external-extensions.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 21085203,
        "depth": 36,
        "diagnostics": 0,
        "events": 0,
        "nodes": 438743,
        "output_bytes": 0,
        "source_bytes": 15253,
        "work": 5107937
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 79616709,
        "depth": 39,
        "diagnostics": 0,
        "events": 0,
        "nodes": 1200345,
        "output_bytes": 130469,
        "source_bytes": 29759,
        "work": 9019401
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/22-external-extensions.html",
      "source": "doc/spec/22-external-extensions.md",
      "source_sha256": "0a4b8bf7f98cfc2c75ef1e96cd4bf8e9a6dd84cb070aed7ff5f3ff70c55a64fa"
    },
    {
      "id": "architecture",
      "input": "doc/spec/01-architecture.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 13621162,
        "depth": 34,
        "diagnostics": 0,
        "events": 0,
        "nodes": 262593,
        "output_bytes": 0,
        "source_bytes": 18484,
        "work": 4752800
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 64804480,
        "depth": 39,
        "diagnostics": 0,
        "events": 0,
        "nodes": 734858,
        "output_bytes": 222824,
        "source_bytes": 33184,
        "work": 17793086
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/01-architecture.html",
      "source": "doc/spec/01-architecture.md",
      "source_sha256": "7a4f4c92bdaf0e48784391d67a992ea80d6121e43be02f4f579442ee0a13282d"
    },
    {
      "id": "html-delivery",
      "input": "doc/spec/18-html-delivery.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 18224282,
        "depth": 27,
        "diagnostics": 0,
        "events": 0,
        "nodes": 391056,
        "output_bytes": 0,
        "source_bytes": 11441,
        "work": 3793292
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 65096765,
        "depth": 30,
        "diagnostics": 0,
        "events": 0,
        "nodes": 1064722,
        "output_bytes": 65157,
        "source_bytes": 22771,
        "work": 4901209
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/18-html-delivery.html",
      "source": "doc/spec/18-html-delivery.md",
      "source_sha256": "90c02690b3b98e6c6d305c69750a65678d1ad81c7688042620a77b600babac73"
    },
    {
      "id": "circuit",
      "input": "doc/spec/07-circuit.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 23110996,
        "depth": 35,
        "diagnostics": 0,
        "events": 0,
        "nodes": 479631,
        "output_bytes": 0,
        "source_bytes": 17471,
        "work": 6822369
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 95471800,
        "depth": 38,
        "diagnostics": 0,
        "events": 0,
        "nodes": 1325237,
        "output_bytes": 212948,
        "source_bytes": 33930,
        "work": 15883204
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/07-circuit.html",
      "source": "doc/spec/07-circuit.md",
      "source_sha256": "cf169539cb22eb1a7b21fc5c3f15d060975453e7fd72534126f894548c4fbe30"
    },
    {
      "id": "html-fragment",
      "input": "doc/spec/19-html-fragment.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 34842698,
        "depth": 43,
        "diagnostics": 0,
        "events": 0,
        "nodes": 718924,
        "output_bytes": 0,
        "source_bytes": 27907,
        "work": 10826269
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 138791810,
        "depth": 48,
        "diagnostics": 0,
        "events": 0,
        "nodes": 1979956,
        "output_bytes": 263201,
        "source_bytes": 53315,
        "work": 29866964
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/19-html-fragment.html",
      "source": "doc/spec/19-html-fragment.md",
      "source_sha256": "403103f26c087d3e4a21c9cf0e8f24479050c20ab7adfd8cb9e5b0ae7fc7f716"
    },
    {
      "id": "model-invariants",
      "input": "doc/spec/12-model-invariants.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 50205488,
        "depth": 41,
        "diagnostics": 0,
        "events": 0,
        "nodes": 1065302,
        "output_bytes": 0,
        "source_bytes": 31694,
        "work": 18329836
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 188329076,
        "depth": 44,
        "diagnostics": 0,
        "events": 0,
        "nodes": 2913774,
        "output_bytes": 252555,
        "source_bytes": 62137,
        "work": 27886576
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/12-model-invariants.html",
      "source": "doc/spec/12-model-invariants.md",
      "source_sha256": "f16329d0cc727a51491c061cc6ae2a636a75a24f343deb8f8a782369dd1d53b8"
    },
    {
      "id": "editor",
      "input": "doc/spec/08-editor.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 85807243,
        "depth": 49,
        "diagnostics": 0,
        "events": 0,
        "nodes": 1861295,
        "output_bytes": 0,
        "source_bytes": 52604,
        "work": 35564130
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 306643738,
        "depth": 52,
        "diagnostics": 0,
        "events": 0,
        "nodes": 5077957,
        "output_bytes": 266203,
        "source_bytes": 103851,
        "work": 30447994
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/08-editor.html",
      "source": "doc/spec/08-editor.md",
      "source_sha256": "d326323331b335da48a044e35a92d2bd89b64bc4fde794131af4ab17ad3f91b6"
    },
    {
      "id": "doc-html",
      "input": "doc/spec/20-doc-html.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 30581061,
        "depth": 40,
        "diagnostics": 0,
        "events": 0,
        "nodes": 637490,
        "output_bytes": 0,
        "source_bytes": 24712,
        "work": 8479374
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 119499506,
        "depth": 45,
        "diagnostics": 0,
        "events": 0,
        "nodes": 1751257,
        "output_bytes": 216199,
        "source_bytes": 47307,
        "work": 17917511
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/20-doc-html.html",
      "source": "doc/spec/20-doc-html.md",
      "source_sha256": "4bdb3b013fcaa53a109baff9766baebf7df68964cf454767eb5f5df8b011dbc9"
    },
    {
      "id": "math-html",
      "input": "doc/spec/17-math-html.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 39979610,
        "depth": 41,
        "diagnostics": 0,
        "events": 0,
        "nodes": 809032,
        "output_bytes": 0,
        "source_bytes": 38318,
        "work": 16850674
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 172809834,
        "depth": 46,
        "diagnostics": 0,
        "events": 0,
        "nodes": 2249361,
        "output_bytes": 414215,
        "source_bytes": 73047,
        "work": 48075678
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/17-math-html.html",
      "source": "doc/spec/17-math-html.md",
      "source_sha256": "265de78f635661382ab8b42cb0508d74391ac599d0ecff754f90c691371bce31"
    },
    {
      "id": "conformance",
      "input": "doc/spec/11-conformance.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 50049185,
        "depth": 59,
        "diagnostics": 0,
        "events": 0,
        "nodes": 1025112,
        "output_bytes": 0,
        "source_bytes": 39381,
        "work": 20083740
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 209623204,
        "depth": 64,
        "diagnostics": 0,
        "events": 0,
        "nodes": 2829697,
        "output_bytes": 496570,
        "source_bytes": 75846,
        "work": 40755904
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/11-conformance.html",
      "source": "doc/spec/11-conformance.md",
      "source_sha256": "0de4c9d1e23370eac83f40f61bd263ea89820bc209c343081c9f85a7c658e5bd"
    },
    {
      "id": "math",
      "input": "doc/spec/06-math.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 60541469,
        "depth": 48,
        "diagnostics": 0,
        "events": 0,
        "nodes": 1295584,
        "output_bytes": 0,
        "source_bytes": 40932,
        "work": 23562861
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 229741807,
        "depth": 51,
        "diagnostics": 0,
        "events": 0,
        "nodes": 3555591,
        "output_bytes": 319418,
        "source_bytes": 80128,
        "work": 32887044
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/06-math.html",
      "source": "doc/spec/06-math.md",
      "source_sha256": "4936bc730bc7fb430049935bda78e2ea0668f5ffdb84a4583ccd880b35243e94"
    },
    {
      "id": "foundation",
      "input": "doc/spec/02-foundation.nepld",
      "lower_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "lower_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "lower_usage": {
        "allocation_units": 70660164,
        "depth": 40,
        "diagnostics": 0,
        "events": 0,
        "nodes": 1505059,
        "output_bytes": 0,
        "source_bytes": 47204,
        "work": 30323733
      },
      "operation_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "parse_and_validate_usage": {
        "allocation_units": 262538652,
        "depth": 44,
        "diagnostics": 0,
        "events": 0,
        "nodes": 4127175,
        "output_bytes": 321601,
        "source_bytes": 92413,
        "work": 41763189
      },
      "parse_initial_usage": {
        "allocation_units": 0,
        "depth": 0,
        "diagnostics": 0,
        "events": 0,
        "nodes": 0,
        "output_bytes": 0,
        "source_bytes": 0,
        "work": 0
      },
      "parse_limits": {
        "allocation_units": 500000000,
        "depth": 1000,
        "diagnostics": 1000,
        "events": 1000,
        "nodes": 10000000,
        "output_bytes": 10000000,
        "source_bytes": 10000000,
        "work": 100000000
      },
      "profile_sha256": "7e4acdc644bcdd1096e2421388121d06b9d3f3ef7cff63604439b96e36cd1b3a",
      "route": "docs/spec/02-foundation.html",
      "source": "doc/spec/02-foundation.md",
      "source_sha256": "a995ce6dc28ad3d8470ee5c19276be0a631f14451466a1bd3d17e44290457e8e"
    }
  ],
  "phase_execution": {
    "contract": "nepl3.local-doc-pages.phases/1",
    "identity": "90e81b3f760050c160c72ba41855367005e4b5a74cad17070cec66fdf934169a"
  },
  "registered_files": [],
  "renderer": "nepl3-doc-html pages/3",
  "scope": "Internal Doc page links and checked external http/https/mailto hrefs; no network or destination availability check. Assets and foreign rendering remain unsupported. Not Pages deployment evidence.",
  "viewer_scripts": false
}