{
  "schema": "matrix-extension-source-projection/v1",
  "lesson": "AN03-U027",
  "lesson_title": "Changing an interior frame to extend an invertible matrix",
  "lesson_source": "src/matrix-extension.md",
  "lesson_source_sha256": "4099b82f3d023914c170e4e31c265a3698224ef9b4af8c90f9ada93a2852ca31",
  "lesson_license": "CC0-1.0",
  "ai_contributions": [
    {
      "entity": "OpenAI Codex",
      "model": "gpt-6.1-sol",
      "effort": "ultra",
      "role": "Current lesson reconstruction, source checks and publication preparation"
    }
  ],
  "historical_drafting_model": null,
  "historical_drafting_effort": null,
  "human_sources": [
    {
      "authors": [
        "Michael Baake",
        "Ulrike Schlägel"
      ],
      "title": "The Peano–Baker series",
      "version": "arXiv:1011.1775v3, 20 July 2025",
      "url": "https://arxiv.org/abs/1011.1775v3",
      "role": "Ordered-series teaching comparison and triangular matrix example",
      "rights": "External scholarly reference; arXiv nonexclusive distribution license",
      "expression_imported": false
    }
  ],
  "supporting_readings": [
    {
      "id": "AN03-P002",
      "title": "Polynomial and contour interfaces for stable boundary models",
      "source": "src/stable-prerequisite-bridges.md",
      "source_sha256": "94a62c4be0f39475db008e15c10467b9755161371bf418b7b09a55263c5a5dd6",
      "license": "CC0-1.0",
      "historical_reader_source_sha256": "94a62c4be0f39475db008e15c10467b9755161371bf418b7b09a55263c5a5dd6",
      "historical_reader_source_hash_provenance": "Retained source binding recorded for the prior reader edition; no new source-reader equality claim.",
      "current_source_sha256": "94a62c4be0f39475db008e15c10467b9755161371bf418b7b09a55263c5a5dd6",
      "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,
      "HTML_source_equality_claimed": true
    },
    {
      "id": "AN03-P003",
      "title": "Metric and topological foundations",
      "source": "src/metric-foundation-bridges.md",
      "source_sha256": "588cfa98ceafe51459694c36d02085c9deac62e1edc79d98cdfe74fbacc74b58",
      "license": "CC0-1.0",
      "historical_reader_source_sha256": "588cfa98ceafe51459694c36d02085c9deac62e1edc79d98cdfe74fbacc74b58",
      "historical_reader_source_hash_provenance": "Retained source binding recorded for the prior reader edition; no new source-reader equality claim.",
      "current_source_sha256": "588cfa98ceafe51459694c36d02085c9deac62e1edc79d98cdfe74fbacc74b58",
      "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,
      "HTML_source_equality_claimed": true
    }
  ],
  "historical_reader_source_sha256": "53633c324a05a331beaf873fd86e9b378e78461c0b58b97082f15c396b6403fc",
  "historical_reader_source_hash_provenance": "Retained source binding recorded for the prior reader edition; no new source-reader equality claim.",
  "current_source_sha256": "4099b82f3d023914c170e4e31c265a3698224ef9b4af8c90f9ada93a2852ca31",
  "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": false
  },
  "HTML_source_equality_claimed": true
}