{
  "schema": "haar-free-only-policy/v1",
  "edition": "HAAR.free-only.20261005",
  "checked_utc": "2026-10-05T05:19:18.071186+00:00",
  "status": "pass",
  "rules": [
    "Lessons use only freely accessible mathematical work and complete internal derivations.",
    "Public lessons contain zero paywalled citations, including historical and credit citations.",
    "Paid books remain private coverage checklists, never templates, mathematical sources or references.",
    "Every result used is proved in its lesson or an earlier programme lesson; a free citation never replaces a proof."
  ],
  "scope": {
    "owned_lessons": 4,
    "corrected_local_prerequisites": 7,
    "owned_full_solved_exercises": 19
  },
  "source_hashes": [
    {
      "source": "src/measure-and-hilbert-space-tools.md",
      "sha256": "2a631c371cb0a72caeee3a3bf21d1d9a98db9e9900755d173be7a54aa4dc299f"
    },
    {
      "source": "src/haar-measure-on-locally-compact-groups.md",
      "sha256": "185cac4d5d72724608abf0e62159c58851b35df2544d98ba8d07b9f256f6d080"
    },
    {
      "source": "src/quotient-measures-and-weils-integration-formula.md",
      "sha256": "fc4752b4b68f663aeedf7fcdaffd41e6a0b885446c35bf572dcfe5dc725f9731"
    },
    {
      "source": "src/finite-covolume-and-arithmetic-quotients.md",
      "sha256": "ee63e24ece3383cdea1e19c114be7fa894daa28026b45650cdd4bc03d372fec0"
    },
    {
      "source": "src/supplements/fremlin-neighbourhood-uniqueness.md",
      "sha256": "5ff11ea6a5a0e685e3d3fc2e1e6e202353ed5b57421ecf613a3b6ebc549e26dd"
    },
    {
      "source": "src/dependencies/foundations-of-von-neumann-algebras/src/weak-topologies-tychonoff-banach-alaoglu-mazur-bipolars-krein-milman-and-eberlein-smulian.md",
      "sha256": "45634fddc77f0e87d0907b18ec7e61054aeb2885826cc8c09c2bf7f5ab99bc0e"
    },
    {
      "source": "src/dependencies/foundations-of-von-neumann-algebras/src/hilbert-spaces-and-compact-operators.md",
      "sha256": "273c3e914f30191e04f62abe10ae2bfdf7fe1f9f391bbcded5cdeb646f40bb1b"
    },
    {
      "source": "src/dependencies/function-algebras-and-approximation/src/the-stone-weierstrass-theorem-for-functions-vanishing-at-infinity.md",
      "sha256": "be6206b833a8b4d298f12f987108c9c257017a85ee7ef3e34f89ce0b3483635b"
    },
    {
      "source": "src/dependencies/NT-ADL/src/NT-ADL-01.md",
      "sha256": "e6806c58dc30d70c6038e79c104a4b68870177d8f59d1b88b944d384d36083f8"
    },
    {
      "source": "src/dependencies/NT-ADL/src/NT-ADL-02.md",
      "sha256": "1fbaebf24bc585458148ab2ade87bbbde804710ffa0a9ebdb2f0f8e5cb4763f4"
    },
    {
      "source": "src/dependencies/NT-ADL/src/NT-ADL-03.md",
      "sha256": "5fe1d2a49f7d5bb70d4eac3852bc7eb3fa92f8bc19b4a7bd8bc80d2b5a966b32"
    },
    {
      "source": "src/dependencies/NT-LOC/src/NT-LOC-02.md",
      "sha256": "f42f779404034d143317bf02903b8605230fd06906e5557b1d487a2c710ec92b"
    }
  ],
  "whole_web_exhaustiveness_claimed": false,
  "original_other_owners_modified": false,
  "published": true,
  "publication_verification": "publication-verification.json"
}