{
  "schema": "owned-lesson-source-projection/v1",
  "lesson": "AN03-U050",
  "lesson_title": "Reducing arbitrary boundary data to a boundary system",
  "lesson_source": "src/arbitrary-boundary-data-reduction.md",
  "lesson_source_sha256": "34530ea0aed97b2fb2ca573eb9db6bf966e2c7f57b1c3d52c94356745d59298b",
  "authors": [
    {
      "name": "Codex",
      "role": "Lesson and independent teaching arguments; author self-checking",
      "historical_model": null,
      "historical_effort": null
    },
    {
      "name": "GPT-6.1 Sol (OpenAI)",
      "reasoning_effort": "Ultra",
      "role": "Current release reconstruction, source/provider binding checks and reader verification",
      "provenance": "Actual publication-finish turn metadata, 3 October 2026",
      "historical_mathematical_drafting_model": null
    }
  ],
  "lesson_license": "CC0-1.0",
  "human_sources": [
    {
      "id": "arxiv:math/0403059v3",
      "authors": [
        "Severino T. Melo",
        "Thomas Schick",
        "Elmar Schrohe"
      ],
      "title": "A K-Theoretic Proof of Boutet de Monvel's Index Theorem for Boundary Value Problems",
      "version": "arXiv math/0403059v3, 11 October 2005",
      "url": "https://arxiv.org/abs/math/0403059v3",
      "author_source_url": "https://arxiv.org/src/math/0403059v3",
      "role": "Comparison: typed boundary-calculus block, transmission convention, order/class rule and both symbol maps",
      "reading_locator": "Introduction, equation (1) and its surrounding definitions",
      "whole_paper_reading_claimed": false,
      "expression_imported": false,
      "archive_redistributed": false,
      "original_author_tex_sha256": "40773df5fef3a08ac24a803d5e92ca7cef8cd748483eb0f6476e6923cf4df4e7"
    },
    {
      "id": "arxiv:2104.01919v2",
      "authors": [
        "Lashi Bandara",
        "Magnus Goffeng",
        "Hemanth Saratchandran"
      ],
      "title": "Realisations of elliptic operators on compact manifolds with boundary",
      "version": "arXiv 2104.01919v2, 22 July 2021",
      "url": "https://arxiv.org/abs/2104.01919v2",
      "author_source_url": "https://arxiv.org/src/2104.01919v2",
      "role": "Comparison: general-order Calderón construction and its maximal graph trace space",
      "reading_locator": "Section 3.1; the graph trace space is not identified with the lesson value-trace spaces",
      "whole_paper_reading_claimed": false,
      "expression_imported": false,
      "archive_redistributed": false,
      "original_author_tex_sha256": "06e46b7a32c801d67902cdcbdf5d118631db43d5b20928db797d1a92bb73913e"
    },
    {
      "id": "arxiv:1507.05594",
      "authors": [
        "Nils Dencker"
      ],
      "title": "Operators of subprincipal type",
      "version_used_in_inherited_citation": null,
      "url": "https://arxiv.org/abs/1507.05594",
      "author_source_url": "https://arxiv.org/src/1507.05594",
      "role": "Scalar solvability context cited in the lesson; no coupled boundary-system proof is imported",
      "new_author_body_reading_claimed": false,
      "expression_imported": false,
      "archive_redistributed": false
    }
  ],
  "public_metadata_checked_utc": "2026-10-03T18:47:30.800579+00:00",
  "historical_reader_source_sha256": "b7dc6a365c16fd662cbf44150e8852e57c79111ce1f858e49ddcf05af1b5d090",
  "historical_reader_source_hash_provenance": "Retained source binding recorded for the prior reader edition; no new source-reader equality claim.",
  "current_source_sha256": "34530ea0aed97b2fb2ca573eb9db6bf966e2c7f57b1c3d52c94356745d59298b",
  "source_edition_status": "Current complete HTML reading; current PDF available.",
  "reader_pending": false,
  "current_reader_source_policy_refresh_pending": false,
  "source_reader_equality_claimed": false,
  "source_policy_edition": {
    "status": "Current complete HTML readings; current PDFs are included where available.",
    "base_git_commit": "80d6a30825238e950c789a2d32f5dc9b12e6ecc9",
    "zero_paywalled_citations_required": true,
    "P514": "Every result used is proved in the lesson or an earlier programme lesson. A citation never replaces a proof.",
    "historical_reader_formats": [],
    "historical_readers_exported": false,
    "public_release_claimed": false,
    "whole_course_clearance_claimed": false,
    "current_HTML_source_equality_claimed": true,
    "source_reader_equality_claimed": false,
    "historical_readers_refresh_pending": true
  },
  "HTML_source_equality_claimed": true
}