C100 · Catatan koreksi dan hak komponen

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch04.construction-panel-reflow",
  "status": "applied-admitted",
  "locale": "id-ID",
  "source_path": "cong.tex#pic-445-pic-449",
  "correction_kind": "layout-only-reflow",
  "mathematics_changed": false,
  "description": "The five-panel construction sequence was moved from an overflowing side wrap into a full-width two-row sequence after visual QA found text overlap and page overflow."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch04.eq-label-sim",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "cong.tex",
  "source_local_id": "eq:A'B'C'simA'B'C''",
  "correction_kind": "identifier-wording-note",
  "description": "The stable source label contains sim although the displayed relation is congruence; the identifier is preserved for compatibility."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch05.distance-label",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "perp.tex#distance-from-point-to-line",
  "source_local_id": "distance!from a point to a line",
  "correction_kind": "probable-label-index-duplication",
  "mathematics_changed": false,
  "description": "The source emits a label whose text duplicates the immediately following index key; the stable label is preserved unchanged for compatibility."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch05.label-acute-obtuce",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "perp.tex#ex:acute-obtuce",
  "source_local_id": "ex:acute-obtuce",
  "correction_kind": "stable-identifier-spelling-note",
  "mathematics_changed": false,
  "description": "The stable exercise label spells obtuse as obtuce; the identifier is preserved unchanged for reference compatibility."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch05.label-obtuce",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "perp.tex#ex:obtuce",
  "source_local_id": "ex:obtuce",
  "correction_kind": "stable-identifier-spelling-note",
  "mathematics_changed": false,
  "description": "The stable exercise label spells obtuse as obtuce; the identifier is preserved unchanged for reference compatibility."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch05.undefined-f",
  "status": "localized-clarification-admitted",
  "locale": "id-ID",
  "source_path": "perp.tex#direct-motion",
  "source_local_id": "direct motion",
  "correction_kind": "localized-referent-clarification",
  "mathematics_changed": false,
  "description": "The source switches from the introduced motion X maps to X' to an undefined symbol f; the Indonesian prose says 'the isometric transformation' to preserve the evident referent."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch05.reflection-segment-wording",
  "status": "localized-fluency-clarification-admitted",
  "locale": "id-ID",
  "source_path": "perp.tex#reflection-construction",
  "correction_kind": "localized-geometric-wording-clarification",
  "mathematics_changed": false,
  "description": "The Indonesian construction explicitly draws and extends the perpendicular segment from P, avoiding the nonsensical reading that an already infinite line is extended."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch05.respective-bisectors-wording",
  "status": "localized-fluency-clarification-admitted",
  "locale": "id-ID",
  "source_path": "perp.tex#lem:line-circle",
  "source_local_id": "lem:line-circle",
  "correction_kind": "localized-relation-attachment-clarification",
  "mathematics_changed": false,
  "description": "The Indonesian proof explicitly states that m and n are respectively the perpendicular bisectors of AB and BC, preserving the intended pairing."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch05.tangent-construction-wording",
  "status": "localized-fluency-clarification-admitted",
  "locale": "id-ID",
  "source_path": "perp.tex#ex:tangent",
  "source_local_id": "ex:tangent",
  "correction_kind": "localized-modifier-attachment-clarification",
  "mathematics_changed": false,
  "description": "The Indonesian exercise attaches 'through the given point' to the tangent lines rather than to the given circle, preserving the intended construction task."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch05.direct-motion-running-head",
  "status": "layout-only-admitted",
  "locale": "id-ID",
  "source_path": "perp.tex#direct-motion",
  "source_local_id": "direct motion",
  "correction_kind": "layout-only-short-running-title",
  "mathematics_changed": false,
  "description": "The full Indonesian section title is retained in the reader while a shorter optional title is used in the running head to prevent collision with the page number."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch06.legacy-chapter-label",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "similar.tex#chap:parallel",
  "source_local_id": "chap:parallel",
  "correction_kind": "stable-identifier-title-mismatch",
  "mathematics_changed": false,
  "description": "The chapter titled Similar triangles retains the legacy source label chap:parallel for reference compatibility."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch06.k-one-distinctness",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "similar.tex#ex:k*triangle",
  "source_local_id": "ex:k*triangle",
  "correction_kind": "hypothesis-parameter-edge-case",
  "mathematics_changed": false,
  "description": "The exercise declares O, A, B, C, A', B', and C' distinct while allowing every k greater than zero; at k=1 its ray-and-distance hypotheses force A'=A, B'=B, and C'=C. The source statement is preserved unchanged."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch06.inactive-triange-typos",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "similar.tex#ex:footpoints; hints.tex#ex:footpoints",
  "source_local_id": "ex:footpoints",
  "correction_kind": "inactive-source-spelling-and-language-note",
  "mathematics_changed": false,
  "description": "The commented-out footpoint exercise and hint retain inherited triange misspellings and English prose as inactive source surfaces; they remain excluded from the active exercise-hint closure."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch06.ptolemy-corresponding-sides",
  "status": "localized-fluency-clarification-admitted",
  "locale": "id-ID",
  "source_path": "similar.tex#ptolemy-inq",
  "source_local_id": "ptolemy-inq",
  "correction_kind": "localized-relation-attachment-clarification",
  "mathematics_changed": false,
  "description": "The Indonesian proof explicitly says that angle BAX is added to the left-hand side and angle CAD to the right-hand side, clarifying which corresponding sides produce angle BAD without changing the argument."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch07.legacy-chapter-label",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "parallel.tex#chap:angle-sum",
  "source_local_id": "chap:angle-sum",
  "correction_kind": "stable-identifier-title-mismatch",
  "mathematics_changed": false,
  "description": "The chapter titled Parallel lines retains the legacy source label chap:angle-sum for reference compatibility."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch07.similar-parallel-label-spelling",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "parallel.tex#ex:smililar+parallel",
  "source_local_id": "ex:smililar+parallel",
  "correction_kind": "stable-identifier-spelling-note",
  "mathematics_changed": false,
  "description": "The active similar-triangles-with-a-parallel-line exercise retains the inherited smililar spelling in its source label for reference compatibility."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch07.apollonius-exercise-label-spelling",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "parallel.tex#ex:apolonnius",
  "source_local_id": "ex:apolonnius",
  "correction_kind": "stable-identifier-spelling-note",
  "mathematics_changed": false,
  "description": "The active Apollonius-locus exercise retains the inherited apolonnius spelling in its source label for reference compatibility."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch07.apollonius-construction-label-spelling",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "parallel.tex#ex:apolonnius-construction",
  "source_local_id": "ex:apolonnius-construction",
  "correction_kind": "stable-identifier-spelling-note",
  "mathematics_changed": false,
  "description": "The active Apollonius construction exercise retains the inherited apolonnius spelling in its source label for reference compatibility."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch07.inactive-pi4-exercise-hint-sign",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "parallel.tex#ex:pi/4-isos; hints.tex#ex:pi/4-isos",
  "source_local_id": "ex:pi/4-isos",
  "correction_kind": "inactive-source-exercise-hint-and-figure-note",
  "mathematics_changed": false,
  "description": "The commented-out pi-over-four isosceles exercise, its English hint with an inherited plus-or-minus sign conclusion, and inactive figures pic-92 and pic-334 remain commented source surfaces and are excluded from active exercise-hint and figure closure."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch07.parallel-reflection-incidence-p-or-q",
  "status": "localized-mathematical-correction-admitted",
  "locale": "id-ID",
  "source_path": "parallel.tex#thm:parallel-point-reflection",
  "source_local_id": "thm:parallel-point-reflection",
  "correction_kind": "point-incidence-correction",
  "mathematics_changed": true,
  "description": "In the only-if proof, the Indonesian reader says that the reflected line ell-prime and m both pass through Q, correcting the authority's P: reflection across midpoint O sends P to Q, and the theorem assumes m passes through Q."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch07.rhombus-sign-distinctness",
  "status": "localized-mathematical-correction-admitted",
  "locale": "id-ID",
  "source_path": "hints.tex#ex:romb",
  "source_local_id": "ex:romb",
  "correction_kind": "hypothesis-point-correction",
  "mathematics_changed": true,
  "description": "The Indonesian hint uses D not equal to B, rather than the authority's D not equal to C, to rule out the positive oriented-angle sign in the rhombus argument."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch07.rhombus-adjacent-side-condition",
  "status": "localized-mathematical-correction-admitted",
  "locale": "id-ID",
  "source_path": "hints.tex#ex:romb2",
  "source_local_id": "ex:romb2",
  "correction_kind": "side-equality-correction",
  "mathematics_changed": true,
  "description": "The Indonesian hint begins its SSS equivalence with AB=AD, the adjacent-side condition characterizing a rhombus, instead of the authority's automatically true opposite-side equality AB=CD for a parallelogram."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch07.apollonius-construction-domain",
  "status": "localized-mathematical-correction-admitted",
  "locale": "id-ID",
  "source_path": "parallel.tex#ex:apolonnius-construction",
  "source_local_id": "ex:apolonnius-construction",
  "correction_kind": "missing-hypotheses-correction",
  "mathematics_changed": true,
  "description": "The Indonesian construction exercise states A not equal to B, M outside the pair {A,B}, and AM not equal to BM, excluding coincident foci, zero or undefined focus ratios, and the k=1 perpendicular-bisector case that is not a circle."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch07.nondegenerate-index-keys",
  "status": "localized-index-correction-admitted",
  "locale": "id-ID",
  "source_path": "parallel.tex#nondegenerate-quadrangle-definition",
  "source_local_id": null,
  "correction_kind": "index-key-polarity-correction",
  "mathematics_changed": false,
  "description": "The Indonesian index keys follow the definition's nondegenerate quadrangle term rather than inheriting the authority's degenerate-quadrangle keys."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch07.forced-pagebreak-reflow",
  "status": "layout-reflow-admitted",
  "locale": "id-ID",
  "source_path": "parallel.tex#after-thm:parallel-point-reflection",
  "source_local_id": "thm:parallel-point-reflection",
  "correction_kind": "layout-only-pagebreak-and-heading-spacing",
  "mathematics_changed": false,
  "description": "The inherited forced page break and its unresolved editorial marker are omitted, while the visible Sifat transversal heading receives a one-em leading gap without changing its table-of-contents or running text; content, mathematics, and source order are unchanged, and the reflow has passed visual admission."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.localization.ch07.consolidated-fluency-normalization",
  "status": "localized-fluency-clarification-admitted",
  "locale": "id-ID",
  "source_path": "parallel.tex; hints.tex#lines-608-792",
  "source_local_id": null,
  "correction_kind": "bounded-localized-fluency-normalization",
  "mathematics_changed": false,
  "description": "Reader-facing Indonesian syntax, terminology, punctuation, and referent order are normalized throughout without source-order or meaning change; one same-side sentence moves the math token m before ell, producing an explicitly allowlisted math-sequence delete-and-insert pair."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch08.angle-bisector-vertex-correspondence",
  "status": "localized-mathematical-correction-admitted",
  "locale": "id-ID",
  "source_path": "triangle.tex#triangle-angle-bisectors-definition",
  "source_local_id": null,
  "correction_kind": "vertex-correspondence-correction",
  "mathematics_changed": true,
  "description": "The Indonesian reader associates the bisectors of angles ABC, BCA, and CAB with vertices B, C, and A respectively, correcting the authority's incompatible A, B, C correspondence while preserving the three angles and their order."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch08.same-lemma-reference-kind",
  "status": "localized-reference-kind-correction-admitted",
  "locale": "id-ID",
  "source_path": "triangle.tex#thm:incenter",
  "source_local_id": "prop:angle-bisect-dist",
  "correction_kind": "result-kind-reference-correction",
  "mathematics_changed": false,
  "description": "The Indonesian incenter proof says 'the same proposition' when it invokes prop:angle-bisect-dist a second time, matching the source environment's Proposition kind instead of the authority prose's 'same lemma'."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.localization.ch08.external-exterior-bisector-normalization",
  "status": "localized-terminology-normalization-admitted",
  "locale": "id-ID",
  "source_path": "triangle.tex; hints.tex#lines-793-871",
  "source_local_id": null,
  "correction_kind": "bounded-terminology-normalization",
  "mathematics_changed": false,
  "description": "The authority alternates 'external bisector' and 'exterior bisector' for the same object; the Indonesian reader and backend consistently use garis bagi luar."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch08.midle-label-spelling",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "triangle.tex#ex:midle",
  "source_local_id": "ex:midle",
  "correction_kind": "stable-identifier-spelling-note",
  "mathematics_changed": false,
  "description": "The midpoint-quadrangle exercise retains the inherited midle spelling in its active source label for reference compatibility."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch08.ext-disect-label-spelling",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "triangle.tex#ex:ext-disect",
  "source_local_id": "ex:ext-disect",
  "correction_kind": "stable-identifier-spelling-note",
  "mathematics_changed": false,
  "description": "The external-angle-bisector exercise retains the inherited disect spelling in its active source label for reference compatibility."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.localization.ch08.altitude-line-distance-distinction",
  "status": "localized-semantic-distinction-admitted",
  "locale": "id-ID",
  "source_path": "triangle.tex#altitudes-and-orthocenter",
  "source_local_id": null,
  "correction_kind": "dual-sense-terminology-mapping",
  "mathematics_changed": false,
  "description": "The source explicitly uses altitude for both a perpendicular line and the corresponding distance; the Indonesian reader distinguishes garis tinggi from tinggi, and the backend represents the two senses with linked concept IDs."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch08.homothety-self-study",
  "status": "upstream-pedagogical-dependency-preserved",
  "locale": null,
  "source_path": "hints.tex#lines-815-822",
  "source_local_id": "ex:euler-line",
  "correction_kind": "uncited-self-study-dependency-note",
  "mathematics_changed": false,
  "description": "The Euler-line hint begins by directing the learner to read about homothety without citing a self-contained source; the dependency is preserved and indexed for later solutions/mastery closure."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch08.external-absolute-bisect-median-reference",
  "status": "upstream-cross-reference-note-preserved",
  "locale": null,
  "source_path": "hints.tex#lines-846-848",
  "source_local_id": "ex:bisect=median",
  "correction_kind": "cross-chapter-exercise-reference-note",
  "mathematics_changed": false,
  "description": "The bisector-equals-median hint retains its reference to the distinct source label ex:abs-bisect=median; admission must keep the cross-chapter target resolvable rather than normalizing the labels together."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch08.hint-only-excenter",
  "status": "backend-accessibility-note-preserved",
  "locale": "id-ID",
  "source_path": "hints.tex#lines-860-866",
  "source_local_id": "ex:orthic-triangle",
  "correction_kind": "hint-only-concept-indexing-note",
  "mathematics_changed": false,
  "description": "Excenter is introduced and defined only in the authored hint for the obtuse-triangle analogue; the backend gives it a concept ID so semantic and accessible readers do not omit the hint-only definition."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.localization.ch08.pic-108-labels",
  "status": "localized-figure-text-admitted",
  "locale": "id-ID",
  "source_path": "mppics/pic.mp#beginfig-108",
  "source_local_id": "pic-108",
  "correction_kind": "figure-label-localization",
  "mathematics_changed": false,
  "authority_container_bytes": 123186,
  "authority_container_sha256": "616b73cc36d9d7517ae54b8948a982469829988280d5cf22dfb634f3081129f3",
  "target_container_bytes": 123186,
  "target_container_sha256": "567a0e33c5addabb995ce0d283984cba768606b0819a92a3ead5b83dc596cef1",
  "generated_mps_bytes": 22274,
  "generated_mps_sha256": "7801282b8ef71e335f8da9ee426d69a1d255adbb9cabcdbcf7819179d8c72532",
  "description": "The Indonesian figure replaces the visible authority labels 'bisector' and 'external bisector' with 'garis bagi' and 'garis bagi luar'; geometry, source figure number, and drawing topology are unchanged."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch09.tnagents-label-spelling",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "inscribed-angle.tex#ex:tnagents+midpoint",
  "source_local_id": "ex:tnagents+midpoint",
  "correction_kind": "stable-identifier-spelling-note",
  "mathematics_changed": false,
  "description": "The tangents-and-midpoint exercise retains the inherited tnagents spelling in its active source label for reference compatibility."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch09.inscribed-angle-only-if",
  "status": "localized-logical-direction-correction-admitted",
  "locale": "id-ID",
  "source_path": "inscribed-angle.tex#thm:inscribed-angle",
  "source_local_id": "thm:inscribed-angle",
  "correction_kind": "proof-direction-heading-correction",
  "mathematics_changed": false,
  "description": "The Indonesian proof labels its first direction as only-if, correcting the authority's repeated if heading; the argument itself proves the already stated only-if direction and is otherwise unchanged."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch09.degenerate-arc-xy-definition",
  "status": "localized-definition-repair-admitted",
  "locale": "id-ID",
  "source_path": "inscribed-angle.tex#degenerate-arc-two-rays",
  "source_local_id": null,
  "correction_kind": "undefined-point-definition-repair",
  "mathematics_changed": false,
  "description": "Before defining the two-ray degenerate arc, the Indonesian reader explicitly chooses X and Y on line AC in the order X,A,C,Y, supplying the point definitions omitted by the authority while preserving the intended construction."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch09.degenerate-arc-by-to-cy",
  "status": "localized-mathematical-correction-admitted",
  "locale": "id-ID",
  "source_path": "inscribed-angle.tex#degenerate-arc-two-rays",
  "source_local_id": null,
  "correction_kind": "ray-endpoint-correction",
  "mathematics_changed": true,
  "description": "The Indonesian definition uses the ray [CY) rather than the authority's [BY), matching the endpoint C, the selected point Y, and the accompanying figure for the two-ray degenerate arc."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch09.inactive-orphan-arc-hint",
  "status": "upstream-inactive-surface-preserved",
  "locale": null,
  "source_path": "hints.tex#lines-1047-1051",
  "source_local_id": "ex:arc-tan-straight",
  "correction_kind": "inactive-orphan-hint-note",
  "mathematics_changed": false,
  "description": "A commented-out English hint refers to the absent label ex:arc-tan-straight. It remains inactive and is excluded from the 21 active Chapter 9 hint mappings rather than being invented into the reader."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch09.external-video-gap",
  "status": "backend-accessibility-gap-indexed",
  "locale": "id-ID",
  "source_path": "inscribed-angle.tex#unlabeled-youtube-exercise",
  "source_local_id": null,
  "correction_kind": "external-service-and-offline-alternative-gap",
  "mathematics_changed": false,
  "exercise_id": "o004.petrunin.ex.ch09.008",
  "synthetic_id_reason": "The active video-response exercise has no LaTeX label.",
  "external_resource": "https://youtu.be/d-o3eB9sfls",
  "authored_hint_present": false,
  "offline_static_alternative_present": false,
  "description": "The unlabeled Grant Sanderson YouTube response exercise receives a locale-neutral backend ID, but no hint is invented and the changing external video still lacks a source-authored offline or static accessibility alternative."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch09.intentional-flawed-solution",
  "status": "upstream-pedagogical-device-preserved",
  "locale": "id-ID",
  "source_path": "inscribed-angle.tex#worked-solution-additional-circle; hints.tex#ex:inaccuracy",
  "source_local_id": "ex:inaccuracy",
  "correction_kind": "intentional-inaccuracy-and-detection-exercise-note",
  "mathematics_changed": false,
  "problem_id": "o004.petrunin.problem.ch09.001",
  "solution_id": "o004.petrunin.solution.ch09.001",
  "detection_exercise_id": "o004.petrunin.ex.ch09.017",
  "description": "The source intentionally presents an inaccurate worked solution and immediately asks the learner to find and repair the flaw. The Indonesian edition preserves that pedagogical device, indexes the problem and solution separately, and does not silently repair the displayed solution."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch09.prior-label-resolution",
  "status": "resolved-admitted",
  "locale": null,
  "source_path": "inscribed-angle.tex; hints.tex#lines-872-1107",
  "source_local_id": null,
  "correction_kind": "cross-registry-prior-label-dependency-map",
  "mathematics_changed": false,
  "resolved_dependency_count": 11,
  "registry_scope": [
    "catalog-v0.json",
    "exercise-hints-v0.csv"
  ],
  "mappings": [
    {
      "source_local_id": "lem:tangent",
      "registry_id": "o004.petrunin.result.ch05.lem-tangent"
    },
    {
      "source_local_id": "thm:3sum",
      "registry_id": "o004.petrunin.result.ch07.thm-3sum"
    },
    {
      "source_local_id": "thm:parallel-2",
      "registry_id": "o004.petrunin.result.ch07.thm-parallel-2"
    },
    {
      "source_local_id": "ex:ABCO-line",
      "registry_id": "o004.petrunin.ex.ch02.005"
    },
    {
      "source_local_id": "cor:reflection+angle",
      "registry_id": "o004.petrunin.result.ch05.cor-reflection-angle"
    },
    {
      "source_local_id": "thm:orthocenter",
      "registry_id": "o004.petrunin.result.ch08.thm-orthocenter"
    },
    {
      "source_local_id": "ex:unique-cline",
      "registry_id": "o004.petrunin.ex.ch08.001"
    },
    {
      "source_local_id": "thm:signs-of-triug",
      "registry_id": "o004.petrunin.result.ch03.thm-signs-of-triug"
    },
    {
      "source_local_id": "ex:signs-PXQ-PYQ",
      "registry_id": "o004.petrunin.ex.ch03.005"
    },
    {
      "source_local_id": "cor:half-plane",
      "registry_id": "o004.petrunin.result.ch03.cor-half-plane"
    },
    {
      "source_local_id": "def:birkhoff-axioms:2c",
      "registry_id": "o004.petrunin.ax.ch02.iii.c"
    }
  ],
  "description": "All eleven active Chapter 9 references to earlier material resolve to stable locale-neutral IDs. Eight endpoints are catalog records and three are exercise registry rows; raw LaTeX labels are retained only as source-local provenance, never as relation endpoints."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch10.circline-closedness",
  "status": "localized-proof-clarification-admitted",
  "locale": "id-ID",
  "source_path": "inversion.tex#proof-thm-inverse-cline",
  "source_local_id": "thm:inverse-cline",
  "correction_kind": "closed-set-limit-justification-addition",
  "mathematics_changed": false,
  "description": "The localized proof states that every circline is closed before concluding that a circline containing points arbitrarily close to O also contains O. This supplies the topological justification implicit in the authority without changing the argument."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch10.circle-only-citation",
  "status": "localized-cross-reference-correction-admitted",
  "locale": "id-ID",
  "source_path": "inversion.tex#proof-cor-perp-inverse",
  "source_local_id": "cor:perp-inverse",
  "correction_kind": "circle-only-theorem-to-circline-corollary-citation",
  "mathematics_changed": false,
  "description": "After proving that the inverse circline equals the original circline, the localized proof cites cor:perp-inverse-clines rather than the circle-only thm:perp-inverse, matching the circline scope of the statement."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch10.two-direction-perpendicularity-citation",
  "status": "localized-cross-reference-clarification-admitted",
  "locale": "id-ID",
  "source_path": "inversion.tex#proof-cor-h-line",
  "source_local_id": "cor:h-line",
  "correction_kind": "two-direction-equivalence-citation-expansion",
  "mathematics_changed": false,
  "description": "The localized proof cites both cor:perp-inverse-clines and cor:perp-inverse when asserting the if-and-only-if relation between perpendicularity and passage through an inverse pair, making both directions of the inference explicit."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch10.same-inversion-circle-hypothesis",
  "status": "localized-hypothesis-clarification-admitted",
  "locale": "id-ID",
  "source_path": "inversion.tex#ex-inscribed-inv",
  "source_local_id": "ex:inscribed+inv",
  "correction_kind": "shared-inversion-circle-hypothesis-addition",
  "mathematics_changed": true,
  "exercise_id": "o004.petrunin.ex.ch10.010",
  "description": "The localized exercise specifies that P' and Q' are inverses of P and Q with respect to the same circle. The authority omits this necessary shared-circle hypothesis."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch10.final-intersection-swap-proof",
  "status": "localized-proof-expansion-admitted",
  "locale": "id-ID",
  "source_path": "inversion.tex#proof-cor-invese-comp",
  "source_local_id": "cor:invese-comp",
  "correction_kind": "intersection-set-and-swap-argument-expansion",
  "mathematics_changed": false,
  "description": "The final proof now states that inversion in Gamma' preserves each auxiliary circle and therefore their intersection set {P',Q'}, that neither point is fixed because it lies off Gamma', and hence that the inversion must swap the two points. This expands the authority's compressed final inference without changing the result."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.layout.ch10.pic-168-170-side-by-side",
  "status": "localized-layout-adjustment-admitted",
  "locale": "id-ID",
  "source_path": "inversion.tex#pic-168-pic-170-full-width-row",
  "source_local_id": null,
  "correction_kind": "layout-only-centered-full-width-figure-row",
  "mathematics_changed": false,
  "figure_ids": [
    "o004.petrunin.fig.ch10.06",
    "o004.petrunin.fig.ch10.07"
  ],
  "source_order_preserved": true,
  "description": "The narrow wrapfigure is replaced by one centered full-width row containing pic-168 and pic-170 at 0.28 text width each. Both imports, their source order, and all mathematical content remain unchanged."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.layout.ch10.pic-176-centered",
  "status": "localized-layout-adjustment-admitted",
  "locale": "id-ID",
  "source_path": "inversion.tex#pic-176-centered-full-width",
  "source_local_id": null,
  "correction_kind": "layout-only-centered-full-width-figure",
  "mathematics_changed": false,
  "figure_ids": [
    "o004.petrunin.fig.ch10.10"
  ],
  "source_order_preserved": true,
  "description": "The source's narrow wrapfigure for pic-176 is replaced by a centered full-width figure block. The import, its position in source order, and all mathematical content remain unchanged."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch10.source-label-spellings",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "inversion.tex",
  "source_local_id": null,
  "correction_kind": "immutable-source-label-spelling-note",
  "mathematics_changed": false,
  "mappings": [
    {
      "source_local_id": "ex:appolo-circ",
      "registry_id": "o004.petrunin.ex.ch10.002"
    },
    {
      "source_local_id": "ex:consturuction-of-inversion",
      "registry_id": "o004.petrunin.ex.ch10.004"
    },
    {
      "source_local_id": "ex:inv-center not=center-inv",
      "registry_id": "o004.petrunin.ex.ch10.005"
    },
    {
      "source_local_id": "cor:invese-comp",
      "registry_id": "o004.petrunin.result.ch10.cor-invese-comp"
    }
  ],
  "description": "The misspellings appolo, consturuction, and invese, together with the space-bearing exercise label, remain immutable source-local provenance. Locale-neutral stable IDs do not copy those defects into backend identity."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch10.unlabeled-proposition",
  "status": "backend-synthetic-id-mapped-admitted",
  "locale": "id-ID",
  "source_path": "inversion.tex#unlabeled-proposition-inverse-arc",
  "source_local_id": null,
  "correction_kind": "unlabeled-result-stable-id-note",
  "mathematics_changed": false,
  "result_id": "o004.petrunin.result.ch10.prop-inverse-arc",
  "description": "The active proposition stating that the inverse of an arc is an arc has no LaTeX label. It receives a synthetic locale-neutral result ID without inventing a source label."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch10.inactive-move-pic-note",
  "status": "upstream-inactive-editorial-note-preserved",
  "locale": null,
  "source_path": "inversion.tex#inactive-move-pic-up-comment",
  "source_local_id": null,
  "correction_kind": "inactive-layout-comment-note",
  "mathematics_changed": false,
  "description": "The source comment 'move pic up if possible' remains inactive editorial provenance beside pic-162. It is not interpreted as reader content, a correction request, or an active layout instruction."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch10.figure-text-gap",
  "status": "backend-accessibility-gap-indexed",
  "locale": "id-ID",
  "source_path": "inversion.tex; hints.tex#lines-1108-1256",
  "source_local_id": null,
  "correction_kind": "source-caption-and-alt-text-gap",
  "mathematics_changed": false,
  "figure_count": 14,
  "source_alt_text_count": 0,
  "source_caption_count": 0,
  "backend_description_count": 14,
  "description_registry": "figure-descriptions-id-v0.csv",
  "description": "None of the eleven Chapter 10 body imports or three hint imports has source-authored alternative text or a caption. The additive figure registry supplies Indonesian short and long descriptions without claiming that the source itself is accessible."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch10.picture-dependent-construction",
  "status": "backend-static-alternative-indexed-admitted",
  "locale": "id-ID",
  "source_path": "hints.tex#ex-consturuction-of-inversion-pic-342",
  "source_local_id": "ex:consturuction-of-inversion",
  "correction_kind": "picture-dependent-hint-static-alternative",
  "mathematics_changed": false,
  "exercise_id": "o004.petrunin.ex.ch10.004",
  "hint_id": "o004.petrunin.hint.ch10.004",
  "figure_id": "o004.petrunin.fig.ch10.12",
  "picture_dependent": true,
  "source_alt_text_present": false,
  "static_alternative_present": true,
  "static_alternative_registry": "figure-descriptions-id-v0.csv",
  "description": "The source hint consists only of an instruction to guess the construction from pic-342. The figure registry supplies a static, tool-neutral sequence of construction steps and its similarity justification while preserving the authored hint verbatim in the reader."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch10.forward-references",
  "status": "upstream-forward-dependencies-preserved",
  "locale": null,
  "source_path": "inversion.tex; hints.tex#lines-1108-1256",
  "source_local_id": null,
  "correction_kind": "future-source-reference-note",
  "mathematics_changed": false,
  "forward_references": [
    {
      "source_local_id": "ex:inversions-inversive",
      "later_source_path": "affine.tex"
    },
    {
      "source_local_id": "sec:verification",
      "later_source_path": "car.tex"
    }
  ],
  "description": "Chapter 10 points forward to a later exercise giving a partial converse for inversive transformations and to the later verification section for the circumtool impossibility solution. The raw future labels are preserved without inventing not-yet-integrated registry endpoints."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch10.later-use-map",
  "status": "mapped-admitted",
  "locale": null,
  "source_path": "affine.tex; car.tex; complex.tex; h-plane.tex; poincare.tex; sphere.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "later-source-dependency-map",
  "mathematics_changed": false,
  "mapped_target_count": 15,
  "mappings": [
    {
      "registry_id": "o004.petrunin.result.ch10.lem-inversion-sim",
      "later_source_paths": [
        "h-plane.tex",
        "poincare.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ex.ch10.004",
      "later_source_paths": [
        "hints.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch10.thm-inverse-4-angle",
      "later_source_paths": [
        "complex.tex",
        "poincare.tex",
        "sphere.tex",
        "hints.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch10.thm-inverse-cline",
      "later_source_paths": [
        "affine.tex",
        "car.tex",
        "poincare.tex",
        "sphere.tex",
        "hints.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ex.ch10.005",
      "later_source_paths": [
        "car.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ex.ch10.006",
      "later_source_paths": [
        "car.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch10.thm-inverse",
      "later_source_paths": [
        "complex.tex",
        "hints.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch10.ptolemy-identity",
      "later_source_paths": [
        "similar.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch10.thm-perp-inverse",
      "later_source_paths": [
        "poincare.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch10.cor-perp-inverse-clines",
      "later_source_paths": [
        "car.tex",
        "h-plane.tex",
        "hints.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch10.cor-perp-inverse",
      "later_source_paths": [
        "h-plane.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch10.cor-h-line",
      "later_source_paths": [
        "poincare.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ex.ch10.013",
      "later_source_paths": [
        "hints.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch10.thm-angle-inversion",
      "later_source_paths": [
        "poincare.tex",
        "sphere.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch10.cor-invese-comp",
      "later_source_paths": [
        "car.tex",
        "hints.tex"
      ]
    }
  ],
  "description": "Fifteen Chapter 10 result or exercise identities are cited by later source chapters or later hint blocks. The map records those downstream dependencies while keeping relation endpoints on currently integrated stable IDs."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch10.prior-label-resolution",
  "status": "resolved-admitted",
  "locale": null,
  "source_path": "inversion.tex; hints.tex#lines-1108-1256",
  "source_local_id": null,
  "correction_kind": "cross-registry-prior-label-dependency-map",
  "mathematics_changed": false,
  "resolved_dependency_count": 20,
  "registry_scope": [
    "catalog-v0.json",
    "unit-order-v0.csv",
    "exercise-hints-v0.csv"
  ],
  "mappings": [
    {
      "source_local_id": "thm:signs-of-triug",
      "registry_id": "o004.petrunin.result.ch03.thm-signs-of-triug"
    },
    {
      "source_local_id": "sec:Apollonian circle",
      "registry_id": "o004.petrunin.ch07.s06"
    },
    {
      "source_local_id": "cor:inscribed-quadrangle",
      "registry_id": "o004.petrunin.result.ch09.cor-inscribed-quadrangle"
    },
    {
      "source_local_id": "def:birkhoff-axioms:2b",
      "registry_id": "o004.petrunin.ax.ch02.iii.b"
    },
    {
      "source_local_id": "ex:quadrangle",
      "registry_id": "o004.petrunin.ex.ch07.012"
    },
    {
      "source_local_id": "thm:circumcenter",
      "registry_id": "o004.petrunin.result.ch08.thm-circumcenter"
    },
    {
      "source_local_id": "ex:unique-cline",
      "registry_id": "o004.petrunin.ex.ch08.001"
    },
    {
      "source_local_id": "ex:two-arcs",
      "registry_id": "o004.petrunin.ex.ch09.025"
    },
    {
      "source_local_id": "lem:tangent",
      "registry_id": "o004.petrunin.result.ch05.lem-tangent"
    },
    {
      "source_local_id": "lem:perp<oblique",
      "registry_id": "o004.petrunin.result.ch05.lem-perp-oblique"
    },
    {
      "source_local_id": "ex:inside-outside",
      "registry_id": "o004.petrunin.ex.ch05.011"
    },
    {
      "source_local_id": "ex:intersecting-circles-3",
      "registry_id": "o004.petrunin.ex.ch03.009"
    },
    {
      "source_local_id": "lem:line-circle",
      "registry_id": "o004.petrunin.result.ch05.lem-line-circle"
    },
    {
      "source_local_id": "cor:reflection+angle",
      "registry_id": "o004.petrunin.result.ch05.cor-reflection-angle"
    },
    {
      "source_local_id": "thm:abc",
      "registry_id": "o004.petrunin.result.ch03.thm-abc"
    },
    {
      "source_local_id": "prop:arcs",
      "registry_id": "o004.petrunin.result.ch09.prop-arcs"
    },
    {
      "source_local_id": "ex:tangent-lim",
      "registry_id": "o004.petrunin.ex.ch09.024"
    },
    {
      "source_local_id": "prop:arc(angle=tan)",
      "registry_id": "o004.petrunin.result.ch09.prop-arc-angle-tan"
    },
    {
      "source_local_id": "thm:3sum",
      "registry_id": "o004.petrunin.result.ch07.thm-3sum"
    },
    {
      "source_local_id": "thm:inscribed-angle",
      "registry_id": "o004.petrunin.result.ch09.thm-inscribed-angle"
    }
  ],
  "description": "All twenty active Chapter 10 references to earlier material resolve to stable IDs across the catalog, unit-order, and exercise registries. Raw LaTeX labels remain provenance fields rather than relation endpoints."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch11.curvature-rescaling-factor",
  "status": "localized-mathematical-correction-admitted",
  "locale": "id-ID",
  "source_path": "absolute.tex#metric-rescaling-classification",
  "source_local_id": null,
  "correction_kind": "curvature-rescaling-factor-correction",
  "mathematics_changed": true,
  "authority_surface": "c=\\sqrt{-k}",
  "target_surface": "c=1/\\sqrt{-k}",
  "description": "Rescaling a curvature minus-one metric by a positive factor c changes curvature to minus one over c squared; therefore the factor required to obtain curvature k below zero is c=1/sqrt(-k), not the authority's c=sqrt(-k)."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.normalization.ch11.hint-cd-spacing",
  "status": "localized-math-source-normalization-admitted",
  "locale": "id-ID",
  "source_path": "hints.tex#ex-parallel-abs",
  "source_local_id": "ex:parallel-abs",
  "correction_kind": "line-name-whitespace-normalization",
  "mathematics_changed": false,
  "authority_surface": "(C D)",
  "target_surface": "(CD)",
  "description": "The Indonesian hint normalizes the authority's spaced line name (C D) to (CD). The TeX token sequence and mathematical referent are unchanged."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.localization.ch11.arbitrary-inradius-quantifier",
  "status": "localized-formalization-admitted",
  "locale": "id-ID",
  "source_path": "absolute.tex#thm-equals-IV-clause-d",
  "source_local_id": null,
  "correction_kind": "explicit-quantifier-localization",
  "mathematics_changed": false,
  "description": "The source's statement that there is a triangle with arbitrarily large inradius is rendered explicitly as: for every given bound, there is a triangle whose inradius exceeds it. This exposes the same universal-bound quantifier without strengthening the intended claim."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.localization.ch11.ordinal-style",
  "status": "localized-notation-style-admitted",
  "locale": "id-ID",
  "source_path": "absolute.tex#historical-ordinals",
  "source_local_id": null,
  "correction_kind": "language-specific-ordinal-normalization",
  "mathematics_changed": false,
  "description": "Indonesian prose removes the English math-text ordinal suffix from the active fifth-century reference and the same suffix form in two inactive nineteenth-century comments. No numerical value or chronology changes."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.layout.ch11.section4-short-running-head",
  "status": "localized-layout-adjustment-admitted",
  "locale": "id-ID",
  "source_path": "absolute.tex#sec-unprovable-running-head",
  "source_local_id": "sec:unprovable",
  "correction_kind": "layout-only-short-running-title",
  "mathematics_changed": false,
  "visible_title_changed": false,
  "description": "The full visible section title remains 'Membuktikan bahwa sesuatu tidak dapat dibuktikan', while the optional running title 'Batas pembuktian' prevents collision with page number 99."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.localization.ch11.math-operators",
  "status": "locale-hook-admitted",
  "locale": "id-ID",
  "source_path": "source/id-ID/locale-id.tex#lines-8-9",
  "source_local_id": null,
  "correction_kind": "reader-visible-math-operator-localization",
  "mathematics_changed": false,
  "locale_sha256": "ebd5a87ff09cac382ae40353e7851300d9ef939d4439e17072e9c59672e5adbe",
  "term_ids": [
    "O004-TERM-0159",
    "O004-TERM-0160"
  ],
  "rendered_surfaces": {
    "defect": "defek",
    "area": "luas"
  },
  "description": "Locale hooks render the source commands for defect and area as Indonesian operators 'defek' and 'luas'. Formula commands, values, and semantics remain unchanged."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch11.source-label-spellings",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "absolute.tex; hints.tex#lines-1257-1376",
  "source_local_id": null,
  "correction_kind": "immutable-source-label-spelling-note",
  "mathematics_changed": false,
  "mappings": [
    {
      "source_local_id": "chap:non-euclid",
      "registry_id": "o004.petrunin.ch11"
    },
    {
      "source_local_id": "ex:abs-inscibed",
      "registry_id": "o004.petrunin.ex.ch11.003"
    },
    {
      "source_local_id": "ex:chev<side",
      "registry_id": "o004.petrunin.ex.ch11.006"
    },
    {
      "source_local_id": "The defect",
      "registry_id": "o004.petrunin.ch11.s03"
    },
    {
      "source_local_id": "ex:defect=",
      "registry_id": "o004.petrunin.ex.ch11.009"
    },
    {
      "source_local_id": "ex:neutral-rectangle+",
      "registry_id": "o004.petrunin.ex.ch11.011"
    },
    {
      "source_local_id": "thm:=IV",
      "registry_id": "o004.petrunin.result.ch11.thm-equivalent-euclidean-conditions"
    },
    {
      "source_local_id": "eq:gamma'",
      "registry_id": "o004.petrunin.result.ch11.eq-gamma-prime"
    },
    {
      "source_local_id": "def:hyperbolic-4a",
      "registry_id": "o004.petrunin.result.ch11.hyperbolic-axiom-v"
    }
  ],
  "description": "Legacy, misspelled, punctuation-bearing, case-sensitive, and semantic source labels remain immutable provenance. Locale-neutral backend IDs do not copy those irregularities into backend identity."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch11.transient-display-delimiter",
  "status": "transient-drafting-error-removed-before-admission",
  "locale": "id-ID",
  "source_path": "source/id-ID/absolute.tex#ex-chev-side-drafting-history",
  "source_local_id": "ex:chev<side",
  "correction_kind": "local-drafting-display-delimiter-restoration",
  "mathematics_changed": false,
  "authority_defect": false,
  "retained_in_admitted_artifact": false,
  "final_math_topology_matches_authority": true,
  "description": "A malformed display delimiter introduced during local drafting was removed before admission. The authority has valid display syntax, the final reader matches its display topology, and no upstream defect is asserted."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.provenance.ch11.historical-quotation-gaps",
  "status": "provenance-gaps-disclosed",
  "locale": "id-ID",
  "source_path": "absolute.tex#historical-quotations",
  "source_local_id": null,
  "correction_kind": "quotation-source-locator-gap",
  "mathematics_changed": false,
  "gaps": [
    {
      "quotation": "Gauss to Gerling, 1818",
      "section_id": "o004.petrunin.ch11.s04",
      "gap": "No exact archive, edition, letter number, page, or stable source locator is tied to the quotation."
    },
    {
      "quotation": "Gauss letter, 1824",
      "section_id": "o004.petrunin.ch11.s05",
      "gap": "No correspondent, exact date, archive, edition, page, or stable source locator is tied to the quotation."
    }
  ],
  "description": "Both historical quotations are preserved as authored, but their exact documentary provenance remains unresolved and must not be represented as independently verified."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch11.unproved-claims",
  "status": "proof-gaps-disclosed-admitted",
  "locale": "id-ID",
  "source_path": "absolute.tex",
  "source_local_id": null,
  "correction_kind": "unproved-result-and-classification-map",
  "mathematics_changed": false,
  "mapped_claim_count": 6,
  "mappings": [
    {
      "registry_id": "o004.petrunin.result.ch11.thm-equivalent-euclidean-conditions",
      "proof_status": "explicitly unproved in the book"
    },
    {
      "registry_id": "o004.petrunin.result.ch11.thm-relative-consistency",
      "proof_status": "stated here without proof; modeling proof promised in the next chapter"
    },
    {
      "registry_id": "o004.petrunin.result.ch11.curvature-defect-area-identity",
      "proof_status": "stated without proof"
    },
    {
      "registry_id": "o004.petrunin.result.ch11.neutral-plane-curvature-classification",
      "proof_status": "stated without proof"
    },
    {
      "registry_id": "o004.petrunin.result.ch11.metric-rescaling-classification",
      "proof_status": "stated without proof"
    },
    {
      "registry_id": "o004.petrunin.result.ch11.spherical-curvature-identity",
      "proof_status": "forward-supported by lem:area-spher-triangle, not proved here"
    }
  ],
  "description": "The backend preserves six load-bearing statements whose proofs are absent locally. Translation admission is not represented as proof closure."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch11.figure-text-gap",
  "status": "backend-accessibility-gap-indexed-admitted",
  "locale": "id-ID",
  "source_path": "absolute.tex; hints.tex#lines-1257-1376",
  "source_local_id": null,
  "correction_kind": "source-caption-and-alt-text-gap",
  "mathematics_changed": false,
  "figure_count": 9,
  "source_alt_text_count": 0,
  "source_caption_count": 0,
  "backend_description_count": 9,
  "description_registry": "figure-descriptions-id-v0.csv",
  "description": "None of the six body imports or three hint imports has source-authored alternative text or a caption. The additive registry supplies Indonesian descriptions without claiming that the source PDF itself is accessible."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch11.forward-references",
  "status": "upstream-forward-dependencies-preserved",
  "locale": null,
  "source_path": "absolute.tex",
  "source_local_id": null,
  "correction_kind": "future-source-reference-note",
  "mathematics_changed": false,
  "forward_references": [
    {
      "source_local_id": "thm:3sum-h",
      "later_source_path": "h-plane.tex"
    },
    {
      "source_local_id": "chap:area",
      "later_source_path": "area.tex"
    },
    {
      "source_local_id": "chap:sphere",
      "later_source_path": "sphere.tex"
    },
    {
      "source_local_id": "lem:area-spher-triangle",
      "later_source_path": "sphere.tex"
    }
  ],
  "description": "Four active references point to not-yet-integrated later chapters or results. Their raw labels and source paths are preserved without inventing future registry endpoints."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch11.later-use-map",
  "status": "mapped-admitted",
  "locale": null,
  "source_path": "axioms.tex; cong.tex; h-plane.tex; hints.tex; intro.tex; metric.tex; poincare.tex; sphere.tex",
  "source_local_id": null,
  "correction_kind": "cross-file-dependency-map",
  "mathematics_changed": false,
  "mapped_target_count": 7,
  "mappings": [
    {
      "registry_id": "o004.petrunin.ex.ch11.004",
      "later_source_paths": [
        "h-plane.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch11.thm-3sum-a",
      "later_source_paths": [
        "h-plane.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ch11.s03",
      "later_source_paths": [
        "sphere.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ex.ch11.008",
      "later_source_paths": [
        "h-plane.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ch11.s04",
      "later_source_paths": [
        "poincare.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch11.thm-relative-consistency",
      "later_source_paths": [
        "poincare.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ex.ch11.005",
      "later_source_paths": [
        "hints.tex"
      ]
    }
  ],
  "incoming_forward_references": [
    {
      "registry_id": "o004.petrunin.ch11",
      "earlier_source_paths": [
        "axioms.tex",
        "intro.tex",
        "metric.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ex.ch11.002",
      "earlier_source_paths": [
        "hints.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ex.ch11.005",
      "earlier_source_paths": [
        "cong.tex"
      ]
    }
  ],
  "description": "Seven Chapter 11 identities are used later, and three identities are targets of forward references from earlier source surfaces. Relations remain on currently integrated stable IDs."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch11.prior-label-resolution",
  "status": "resolved-admitted",
  "locale": null,
  "source_path": "absolute.tex; hints.tex#lines-1257-1376",
  "source_local_id": null,
  "correction_kind": "cross-registry-prior-label-dependency-map",
  "mathematics_changed": false,
  "resolved_dependency_count": 22,
  "registry_scope": [
    "catalog-v0.json",
    "unit-order-v0.csv",
    "exercise-hints-v0.csv"
  ],
  "mappings": [
    {
      "source_local_id": "def:birkhoff-axioms:4",
      "registry_id": "o004.petrunin.ax.ch02.v"
    },
    {
      "source_local_id": "sec:axioms",
      "registry_id": "o004.petrunin.ch02.s01"
    },
    {
      "source_local_id": "chap:parallel",
      "registry_id": "o004.petrunin.ch06"
    },
    {
      "source_local_id": "thm:SSS",
      "registry_id": "o004.petrunin.result.ch04.thm-sss"
    },
    {
      "source_local_id": "thm:tangent-angle",
      "registry_id": "o004.petrunin.result.ch09.thm-tangent-angle"
    },
    {
      "source_local_id": "ex:bisect=median",
      "registry_id": "o004.petrunin.ex.ch08.009"
    },
    {
      "source_local_id": "cor:inscribed-quadrangle",
      "registry_id": "o004.petrunin.result.ch09.cor-inscribed-quadrangle"
    },
    {
      "source_local_id": "thm:inscribed-angle",
      "registry_id": "o004.petrunin.result.ch09.thm-inscribed-angle"
    },
    {
      "source_local_id": "thm:3sum",
      "registry_id": "o004.petrunin.result.ch07.thm-3sum"
    },
    {
      "source_local_id": "thm:signs-of-triug",
      "registry_id": "o004.petrunin.result.ch03.thm-signs-of-triug"
    },
    {
      "source_local_id": "ex:between",
      "registry_id": "o004.petrunin.ex.ch03.003"
    },
    {
      "source_local_id": "prop:point-reflection+",
      "registry_id": "o004.petrunin.result.ch07.prop-point-reflection-plus"
    },
    {
      "source_local_id": "thm:parallel-2",
      "registry_id": "o004.petrunin.result.ch07.thm-parallel-2"
    },
    {
      "source_local_id": "ex:pbisec-side",
      "registry_id": "o004.petrunin.ex.ch05.002"
    },
    {
      "source_local_id": "thm:parallel",
      "registry_id": "o004.petrunin.result.ch07.thm-parallel"
    },
    {
      "source_local_id": "def:birkhoff-axioms:0",
      "registry_id": "o004.petrunin.ax.ch02.i"
    },
    {
      "source_local_id": "def:birkhoff-axioms:3",
      "registry_id": "o004.petrunin.ax.ch02.iv"
    },
    {
      "source_local_id": "thm:isos",
      "registry_id": "o004.petrunin.result.ch04.thm-isos"
    },
    {
      "source_local_id": "ex:quadrangle",
      "registry_id": "o004.petrunin.ex.ch07.012"
    },
    {
      "source_local_id": "ex:side-angle",
      "registry_id": "o004.petrunin.ex.ch05.003"
    },
    {
      "source_local_id": "ex:inside-outside",
      "registry_id": "o004.petrunin.ex.ch05.011"
    },
    {
      "source_local_id": "lem:perp<oblique",
      "registry_id": "o004.petrunin.result.ch05.lem-perp-oblique"
    }
  ],
  "description": "All twenty-two active Chapter 11 references to earlier material resolve to stable IDs across the catalog, unit-order, and exercise registries. Raw LaTeX labels remain provenance fields rather than relation endpoints."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch12.axiom1-log-denominator",
  "status": "localized-mathematical-correction-admitted",
  "locale": "id-ID",
  "source_path": "poincare.tex#line-482",
  "source_local_id": null,
  "correction_kind": "logarithm-denominator-correction",
  "mathematics_changed": true,
  "authority_surface": "YB\\cdot XB",
  "target_surface": "YB\\cdot AX",
  "description": "Subtracting ln(AX/XB) requires multiplication by XB/AX; the Indonesian target therefore corrects the denominator from YB times XB to YB times AX."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.localization.ch12.inline-math-syntax",
  "status": "localized-notation-style-admitted",
  "locale": "id-ID",
  "source_path": "poincare.tex",
  "source_local_id": null,
  "correction_kind": "language-specific-inline-math-relocation",
  "mathematics_changed": false,
  "description": "Indonesian word order relocates isolated math atoms P', (OP), and Gamma, while two source math-mode h tokens become the lexical suffix -h. The structural receipt verifies no formula-content change."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.terminology.ch12.double-argument",
  "status": "localized-terminology-admitted",
  "locale": "id-ID",
  "source_path": "poincare.tex#double-argument",
  "source_local_id": "double-argument",
  "correction_kind": "terminology-disambiguation",
  "mathematics_changed": false,
  "term_id": "O004-TERM-0196",
  "authority_term": "Double-argument identities",
  "preferred_id_ID": "Identitas argumen ganda",
  "rejected_id_ID": "Identitas sudut ganda",
  "description": "The argument of a hyperbolic function need not be an angle, so argumen ganda is used instead of the misleading sudut ganda."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.localization.ch12.pic-190-label",
  "status": "localized-figure-label-admitted",
  "locale": "id-ID",
  "source_path": "mppics/pic.mp#beginfig-190",
  "source_local_id": "pic-190",
  "correction_kind": "build-local-figure-label-localization",
  "mathematics_changed": false,
  "input_overlay_sha256": "567a0e33c5addabb995ce0d283984cba768606b0819a92a3ead5b83dc596cef1",
  "localized_build_container_sha256": "5d5e60915f4b2fb21a8c236a6004fd5cefa8b3d2ecb935380e7d74f03d91ddaf",
  "authority_visible_text": "h-plane",
  "target_visible_text": "bidang-h",
  "generated_mps_verification": "pass-two-builds-byte-identical",
  "description": "The deterministic build overlay localizes the only visible English text in pic-190 while preserving the figure number and geometry."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch12.source-label-identities",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "poincare.tex; hints.tex#lines-1377-1499",
  "source_local_id": null,
  "correction_kind": "immutable-source-label-and-stable-id-map",
  "mathematics_changed": false,
  "mappings": [
    {
      "source_local_id": "chap:poincare",
      "registry_id": "o004.petrunin.ch12"
    },
    {
      "source_local_id": "sec:conformal-model",
      "registry_id": "o004.petrunin.ch12.s01"
    },
    {
      "source_local_id": "h-dist",
      "registry_id": "o004.concept.hyperbolic-distance"
    },
    {
      "source_local_id": "h-angle measure",
      "registry_id": "o004.concept.hyperbolic-angle-measure"
    },
    {
      "source_local_id": "lem:P-->O",
      "registry_id": "o004.petrunin.result.ch12.lem-p-to-o"
    },
    {
      "source_local_id": "thm:main-observ",
      "registry_id": "o004.petrunin.result.ch12.main-observation"
    },
    {
      "source_local_id": "h-line-to-hline",
      "registry_id": "o004.petrunin.result.ch12.main-observation.a-h-line-image"
    },
    {
      "source_local_id": "h-reflect",
      "registry_id": "o004.petrunin.result.ch12.main-observation.b-h-distance-invariance"
    },
    {
      "source_local_id": "h-angle-mes",
      "registry_id": "o004.petrunin.result.ch12.main-observation.c-h-angle-sign-reversal"
    },
    {
      "source_local_id": "lem:O-h-dist",
      "registry_id": "o004.petrunin.result.ch12.lem-o-h-distance"
    },
    {
      "source_local_id": "lem:h-tiangle=",
      "registry_id": "o004.petrunin.result.ch12.lem-h-line-distance-additivity"
    },
    {
      "source_local_id": "eq:deltaPQR",
      "registry_id": "o004.petrunin.result.ch12.eq-delta-multiplicativity"
    },
    {
      "source_local_id": "lem:h-circle=circle",
      "registry_id": "o004.petrunin.result.ch12.lem-h-circle-euclidean-circle"
    },
    {
      "source_local_id": "clm:h-dist+trig-inq",
      "registry_id": "o004.petrunin.result.ch12.claim-triangle-inequality"
    },
    {
      "source_local_id": "RT>RQ",
      "registry_id": "o004.petrunin.result.ch12.eq-euclidean-distance-comparison"
    },
    {
      "source_local_id": "clm:h2a",
      "registry_id": "o004.petrunin.result.ch12.claim-angle-existence-uniqueness"
    },
    {
      "source_local_id": "clm:h2b",
      "registry_id": "o004.petrunin.result.ch12.claim-angle-additivity"
    },
    {
      "source_local_id": "clm:h2c",
      "registry_id": "o004.petrunin.result.ch12.claim-angle-continuity"
    },
    {
      "source_local_id": "sec:hyp-trig",
      "registry_id": "o004.petrunin.ch12.s05"
    },
    {
      "source_local_id": "hyperbolic tangent",
      "registry_id": "o004.concept.hyperbolic-tangent"
    },
    {
      "source_local_id": "double-argument",
      "registry_id": "o004.petrunin.result.ch12.double-argument-identities"
    }
  ],
  "exercise_label_registry": "exercise-hints-v0.csv",
  "description": "All chapter, section, result, equation, prose-definition, and exercise labels remain byte-for-byte source-local provenance. The mnemonic or irregular strings lem:h-tiangle=, RT>RQ, lem:P-->O, ex:line/h-line, h-angle measure, hyperbolic tangent, ex:cosh/2, and inherited cor:invese-comp are not normalized."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch12.exercise-hint-topology",
  "status": "mapped-admitted",
  "locale": null,
  "source_path": "poincare.tex; hints.tex#lines-1377-1499",
  "source_local_id": null,
  "correction_kind": "exercise-subpart-and-hint-closure-map",
  "mathematics_changed": false,
  "top_level_exercise_count": 10,
  "child_part_count": 7,
  "authored_hint_count": 9,
  "no_hint_exercise_id": "o004.petrunin.ex.ch12.011",
  "no_hint_source_local_id": "ex:hyp-fun",
  "shared_hint_groups": [
    {
      "parent_exercise_id": "o004.petrunin.ex.ch12.007",
      "child_exercise_ids": [
        "o004.petrunin.ex.ch12.008",
        "o004.petrunin.ex.ch12.009",
        "o004.petrunin.ex.ch12.010"
      ],
      "child_printed_parts": [
        "(a)",
        "(b)",
        "(c)"
      ],
      "child_source_labels": [
        null,
        null,
        null
      ],
      "hint_id": "o004.petrunin.hint.ch12.007"
    },
    {
      "parent_exercise_id": "o004.petrunin.ex.ch12.013",
      "child_exercise_ids": [
        "o004.petrunin.ex.ch12.014",
        "o004.petrunin.ex.ch12.015",
        "o004.petrunin.ex.ch12.016",
        "o004.petrunin.ex.ch12.017"
      ],
      "child_printed_parts": [
        "(a)",
        "(b)",
        "(c)",
        "(d)"
      ],
      "child_source_labels": [
        "ex:cosh/2",
        "ex:coshsinh",
        "ex:coshtanh",
        "ex:coshcosh"
      ],
      "hint_id": "o004.petrunin.hint.ch12.009"
    }
  ],
  "description": "The registry does not invent a hint for ex:hyp-fun. The three unlabeled drawing parts share their parent hint, and the four labeled ex:cosh parts share the single authored ex:cosh hint."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch12.hyperbolic-axiom-v-picture",
  "status": "proof-gap-preserved-admitted",
  "locale": "id-ID",
  "source_path": "poincare.tex#hyperbolic-axiom-v-claim",
  "source_local_id": null,
  "correction_kind": "source-proof-status-preservation",
  "mathematics_changed": false,
  "proof_status": "instead-of-proof",
  "picture_id": "o004.petrunin.fig.ch12.10",
  "rigorous_argument_present_in_source": false,
  "companion_closure_required": true,
  "description": "The source explicitly gives 'Instead of proof' and asks the reader to infer the remainder from pic-202. The translation and backend preserve that caveat and do not promote the claim to a proved result."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch12.figure-text-gap",
  "status": "backend-accessibility-gap-indexed-admitted",
  "locale": "id-ID",
  "source_path": "poincare.tex; hints.tex#lines-1377-1499",
  "source_local_id": null,
  "correction_kind": "source-caption-and-alt-text-gap",
  "mathematics_changed": false,
  "figure_count": 12,
  "source_alt_text_count": 0,
  "source_caption_count": 0,
  "backend_description_count": 12,
  "description_registry": "figure-descriptions-id-v0.csv",
  "description": "None of the eleven body graphics or the one hint graphic has source-authored alternative text or a caption. The additive registry supplies Indonesian descriptions without claiming that the PDF itself is accessible."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch12.picture-dependent-reasoning",
  "status": "picture-dependence-gap-indexed-admitted",
  "locale": "id-ID",
  "source_path": "poincare.tex#hyperbolic-axiom-v-claim; hints.tex#ex-3-h-lines",
  "source_local_id": null,
  "correction_kind": "picture-dependent-proof-and-construction-gap",
  "mathematics_changed": false,
  "surfaces": [
    {
      "result_id": "o004.petrunin.result.ch12.claim-hyperbolic-axiom-v",
      "figure_id": "o004.petrunin.fig.ch12.10",
      "source_proof_present": false,
      "backend_description_present": true,
      "rigorous_static_proof_alternative_present": false
    },
    {
      "exercise_id": "o004.petrunin.ex.ch12.007",
      "hint_id": "o004.petrunin.hint.ch12.007",
      "figure_id": "o004.petrunin.fig.ch12.12",
      "backend_description_present": true,
      "complete_tool-neutral_construction_alternative_present": false
    }
  ],
  "description": "Descriptions make both pictures discoverable, but they do not yet close the missing proof for Axiom h-V or provide a complete labeled construction sequence for all three drawing tasks."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.provenance.ch12.h2checkers",
  "status": "component-rights-provenance-admitted",
  "locale": null,
  "source_path": "pics/H2checkers_334.eps",
  "source_local_id": "H2checkers_334",
  "correction_kind": "component-rights-and-provenance-separation",
  "mathematics_changed": false,
  "component_sha256": "b510c072705602f2e31d2ac494ec8cb6d0765340abd204caa5b325bbbd31760b",
  "rights_id": "rights-h2checkers-public-domain",
  "book_body_rights_id": "rights-petrunin-body-cc-by-sa-4.0",
  "description": "The established public-domain provenance of H2checkers_334 is retained separately and is not flattened into the book body's CC BY-SA 4.0 notice."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch12.prior-label-resolution",
  "status": "resolved-admitted",
  "locale": null,
  "source_path": "poincare.tex; hints.tex#lines-1377-1499",
  "source_local_id": null,
  "correction_kind": "cross-registry-prior-label-dependency-map",
  "mathematics_changed": false,
  "resolved_dependency_count": 28,
  "unique_registry_endpoint_count": 24,
  "registry_scope": [
    "catalog-v0.json",
    "unit-order-v0.csv",
    "exercise-hints-v0.csv",
    "concepts-ch01-id-v0.csv",
    "concepts-ch02-id-v0.csv"
  ],
  "mappings": [
    {
      "source_local_id": "cor:h-line",
      "registry_id": "o004.petrunin.result.ch10.cor-h-line"
    },
    {
      "source_local_id": "cor:invese-comp",
      "registry_id": "o004.petrunin.result.ch10.cor-invese-comp"
    },
    {
      "source_local_id": "cor:perp-inverse-clines",
      "registry_id": "o004.petrunin.result.ch10.cor-perp-inverse-clines"
    },
    {
      "source_local_id": "def:birkhoff-axioms:0",
      "registry_id": "o004.petrunin.ax.ch02.i"
    },
    {
      "source_local_id": "def:birkhoff-axioms:1",
      "registry_id": "o004.petrunin.ax.ch02.ii"
    },
    {
      "source_local_id": "def:birkhoff-axioms:2",
      "registry_id": "o004.petrunin.ax.ch02.iii"
    },
    {
      "source_local_id": "def:birkhoff-axioms:2a",
      "registry_id": "o004.petrunin.ax.ch02.iii.a"
    },
    {
      "source_local_id": "def:birkhoff-axioms:2b",
      "registry_id": "o004.petrunin.ax.ch02.iii.b"
    },
    {
      "source_local_id": "def:birkhoff-axioms:2c",
      "registry_id": "o004.petrunin.ax.ch02.iii.c"
    },
    {
      "source_local_id": "def:birkhoff-axioms:3",
      "registry_id": "o004.petrunin.ax.ch02.iv"
    },
    {
      "source_local_id": "def:birkhoff-axioms:4",
      "registry_id": "o004.petrunin.ax.ch02.v"
    },
    {
      "source_local_id": "def:line",
      "registry_id": "o004.concept.line"
    },
    {
      "source_local_id": "def:metric-space",
      "registry_id": "o004.concept.metric-space"
    },
    {
      "source_local_id": "def:metric-space:a",
      "registry_id": "o004.concept.metric-space"
    },
    {
      "source_local_id": "def:metric-space:b",
      "registry_id": "o004.concept.metric-space"
    },
    {
      "source_local_id": "def:metric-space:c",
      "registry_id": "o004.concept.metric-space"
    },
    {
      "source_local_id": "def:metric-space:d",
      "registry_id": "o004.concept.metric-space"
    },
    {
      "source_local_id": "ex:construction-perp-clines",
      "registry_id": "o004.petrunin.ex.ch10.013"
    },
    {
      "source_local_id": "lem:inverse-4-angle",
      "registry_id": "o004.petrunin.result.ch10.thm-inverse-4-angle"
    },
    {
      "source_local_id": "lem:inversion-sim",
      "registry_id": "o004.petrunin.result.ch10.lem-inversion-sim"
    },
    {
      "source_local_id": "perp:ex+un",
      "registry_id": "o004.petrunin.result.ch05.perp-ex-un"
    },
    {
      "source_local_id": "prop:reflection",
      "registry_id": "o004.petrunin.result.ch05.prop-reflection"
    },
    {
      "source_local_id": "sec:axioms",
      "registry_id": "o004.petrunin.ch02.s01"
    },
    {
      "source_local_id": "sec:unprovable",
      "registry_id": "o004.petrunin.ch11.s04"
    },
    {
      "source_local_id": "thm:angle-inversion",
      "registry_id": "o004.petrunin.result.ch10.thm-angle-inversion"
    },
    {
      "source_local_id": "thm:consistent",
      "registry_id": "o004.petrunin.result.ch11.thm-relative-consistency"
    },
    {
      "source_local_id": "thm:inverse-cline",
      "registry_id": "o004.petrunin.result.ch10.thm-inverse-cline"
    },
    {
      "source_local_id": "thm:perp-inverse",
      "registry_id": "o004.petrunin.result.ch10.thm-perp-inverse"
    }
  ],
  "description": "All twenty-eight active references to earlier definitions, sections, exercises, and results resolve to twenty-four stable endpoints. The four metric-space clause labels remain distinct source-local strings while resolving to the existing metric-space concept endpoint."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch12.forward-references",
  "status": "upstream-forward-dependencies-preserved",
  "locale": null,
  "source_path": "poincare.tex",
  "source_local_id": null,
  "correction_kind": "future-source-reference-note",
  "mathematics_changed": false,
  "forward_references": [
    {
      "source_local_id": "thm:pyth-h-poincare",
      "later_source_path": "h-plane.tex"
    }
  ],
  "description": "The hyperbolic-trigonometry section points forward to the Pythagorean theorem in h-plane.tex. The raw future label is preserved without inventing a not-yet-integrated registry endpoint."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch12.later-use-map",
  "status": "mapped-admitted",
  "locale": null,
  "source_path": "complex.tex; h-plane.tex; sphere.tex",
  "source_local_id": null,
  "correction_kind": "later-source-dependency-map",
  "mathematics_changed": false,
  "mapped_target_count": 10,
  "mappings": [
    {
      "registry_id": "o004.petrunin.ex.ch12.001",
      "later_source_paths": [
        "h-plane.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ex.ch12.003",
      "later_source_paths": [
        "h-plane.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch12.lem-p-to-o",
      "later_source_paths": [
        "h-plane.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch12.main-observation",
      "later_source_paths": [
        "h-plane.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch12.lem-o-h-distance",
      "later_source_paths": [
        "h-plane.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.result.ch12.lem-h-circle-euclidean-circle",
      "later_source_paths": [
        "h-plane.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ex.ch12.013",
      "later_source_paths": [
        "h-plane.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ex.ch12.017",
      "later_source_paths": [
        "h-plane.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ch12",
      "later_source_paths": [
        "sphere.tex"
      ]
    },
    {
      "registry_id": "o004.petrunin.ch12.s05",
      "later_source_paths": [
        "complex.tex",
        "sphere.tex"
      ]
    }
  ],
  "description": "Ten Chapter 12 identities are reused later. The source-order dependency map preserves the exact exercise, result, chapter, and section identities without importing later chapters."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.terminology.ch12.registry",
  "status": "mapped-admitted",
  "locale": "id-ID",
  "source_path": "backend/terminology-ch12-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "chapter-terminology-registry-map",
  "mathematics_changed": false,
  "term_count": 30,
  "term_ids": [
    "O004-TERM-0172",
    "O004-TERM-0173",
    "O004-TERM-0174",
    "O004-TERM-0175",
    "O004-TERM-0176",
    "O004-TERM-0177",
    "O004-TERM-0178",
    "O004-TERM-0179",
    "O004-TERM-0180",
    "O004-TERM-0181",
    "O004-TERM-0182",
    "O004-TERM-0183",
    "O004-TERM-0184",
    "O004-TERM-0185",
    "O004-TERM-0186",
    "O004-TERM-0187",
    "O004-TERM-0188",
    "O004-TERM-0189",
    "O004-TERM-0190",
    "O004-TERM-0191",
    "O004-TERM-0192",
    "O004-TERM-0193",
    "O004-TERM-0194",
    "O004-TERM-0195",
    "O004-TERM-0196",
    "O004-TERM-0197",
    "O004-TERM-0198",
    "O004-TERM-0199",
    "O004-TERM-0200",
    "O004-TERM-0201"
  ],
  "description": "Thirty Chapter 12 terms are admitted in the additive backend and merged into the work-wide terminology control."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch13.source-label-identities",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "h-plane.tex; hints.tex#lines-1500-1606",
  "source_local_id": null,
  "correction_kind": "immutable-source-label-and-stable-id-map",
  "mathematics_changed": false,
  "mapping_count": 27,
  "mappings": [
    {
      "source_local_id": "chap:h-plane",
      "registry_id": "o004.petrunin.ch13"
    },
    {
      "source_local_id": "ex:lambert-parallelism",
      "registry_id": "o004.petrunin.ex.ch13.001"
    },
    {
      "source_local_id": "ex:ultra-parallel",
      "registry_id": "o004.petrunin.ex.ch13.002"
    },
    {
      "source_local_id": "prop:angle-parallelism",
      "registry_id": "o004.petrunin.result.ch13.prop-angle-parallelism"
    },
    {
      "source_local_id": "ex:right-angle-parallelism",
      "registry_id": "o004.petrunin.ex.ch13.003"
    },
    {
      "source_local_id": "ex:small-angle",
      "registry_id": "o004.petrunin.ex.ch13.004"
    },
    {
      "source_local_id": "thm:h-inradius",
      "registry_id": "o004.petrunin.result.ch13.thm-h-inradius"
    },
    {
      "source_local_id": "ex:side-sup",
      "registry_id": "o004.petrunin.ex.ch13.005"
    },
    {
      "source_local_id": "ex:equidistant-reflection",
      "registry_id": "o004.petrunin.ex.ch13.006"
    },
    {
      "source_local_id": "ex:right-trig-horocycle",
      "registry_id": "o004.petrunin.ex.ch13.007"
    },
    {
      "source_local_id": "thm:3sum-h",
      "registry_id": "o004.petrunin.result.ch13.thm-positive-defect"
    },
    {
      "source_local_id": "eq:defect<0",
      "registry_id": "o004.petrunin.result.ch13.eq-nonnegative-defect"
    },
    {
      "source_local_id": "thm:AAA",
      "registry_id": "o004.petrunin.result.ch13.thm-aaa-congruence"
    },
    {
      "source_local_id": "A'B''C''congA'B'C'",
      "registry_id": "o004.petrunin.result.ch13.eq-aaa-angle-equality"
    },
    {
      "source_local_id": "eq:defect=defect",
      "registry_id": "o004.petrunin.result.ch13.eq-congruent-defect"
    },
    {
      "source_local_id": "eq:defect+defect",
      "registry_id": "o004.petrunin.result.ch13.eq-defect-decomposition"
    },
    {
      "source_local_id": "ex:angle-preserving-hyp",
      "registry_id": "o004.petrunin.ex.ch13.008"
    },
    {
      "source_local_id": "lem:conformal",
      "registry_id": "o004.petrunin.result.ch13.lem-conformal-factor"
    },
    {
      "source_local_id": "eq:O=P",
      "registry_id": "o004.petrunin.result.ch13.eq-conformal-center-limit"
    },
    {
      "source_local_id": "prop:circum",
      "registry_id": "o004.petrunin.result.ch13.prop-h-circle-circumference"
    },
    {
      "source_local_id": "eq:2pir",
      "registry_id": "o004.petrunin.result.ch13.eq-euclidean-circumference-limit"
    },
    {
      "source_local_id": "ex:circum",
      "registry_id": "o004.petrunin.ex.ch13.009"
    },
    {
      "source_local_id": "thm:pyth-h-poincare",
      "registry_id": "o004.petrunin.result.ch13.thm-hyperbolic-pythagorean"
    },
    {
      "source_local_id": "eq:thm:pyth-h-poincare",
      "registry_id": "o004.petrunin.result.ch13.eq-hyperbolic-pythagorean"
    },
    {
      "source_local_id": "ex:c+1>a+b",
      "registry_id": "o004.petrunin.ex.ch13.010"
    },
    {
      "source_local_id": "cosha+coshb",
      "registry_id": "o004.petrunin.result.ch13.eq-cosh-a-cosh-b"
    },
    {
      "source_local_id": "coshc",
      "registry_id": "o004.petrunin.result.ch13.eq-cosh-c"
    }
  ],
  "description": "All twenty-seven active Chapter 13 chapter, result, equation, and exercise labels retain their exact source spelling while resolving to stable locale-neutral registry IDs. The misleading raw equation label eq:defect<0 remains immutable and is not normalized."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch13.exercise-hint-topology",
  "status": "mapped-admitted",
  "locale": null,
  "source_path": "h-plane.tex; hints.tex#lines-1500-1606",
  "source_local_id": null,
  "correction_kind": "exercise-subpart-and-hint-closure-map",
  "mathematics_changed": false,
  "top_level_exercise_count": 10,
  "child_part_count": 0,
  "authored_hint_count": 10,
  "no_hint_exercise_ids": [],
  "shared_hint_groups": [],
  "direct_hint_pair_count": 10,
  "direct_hint_pairs": [
    {
      "exercise_id": "o004.petrunin.ex.ch13.001",
      "hint_id": "o004.petrunin.hint.ch13.001"
    },
    {
      "exercise_id": "o004.petrunin.ex.ch13.002",
      "hint_id": "o004.petrunin.hint.ch13.002"
    },
    {
      "exercise_id": "o004.petrunin.ex.ch13.003",
      "hint_id": "o004.petrunin.hint.ch13.003"
    },
    {
      "exercise_id": "o004.petrunin.ex.ch13.004",
      "hint_id": "o004.petrunin.hint.ch13.004"
    },
    {
      "exercise_id": "o004.petrunin.ex.ch13.005",
      "hint_id": "o004.petrunin.hint.ch13.005"
    },
    {
      "exercise_id": "o004.petrunin.ex.ch13.006",
      "hint_id": "o004.petrunin.hint.ch13.006"
    },
    {
      "exercise_id": "o004.petrunin.ex.ch13.007",
      "hint_id": "o004.petrunin.hint.ch13.007"
    },
    {
      "exercise_id": "o004.petrunin.ex.ch13.008",
      "hint_id": "o004.petrunin.hint.ch13.008"
    },
    {
      "exercise_id": "o004.petrunin.ex.ch13.009",
      "hint_id": "o004.petrunin.hint.ch13.009"
    },
    {
      "exercise_id": "o004.petrunin.ex.ch13.010",
      "hint_id": "o004.petrunin.hint.ch13.010"
    }
  ],
  "description": "The ten source-order Chapter 13 exercises map one-to-one to ten authored hints. There are no child parts, deliberately hintless exercises, or shared-hint groups in this slice."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch13.prior-label-resolution",
  "status": "resolved-admitted",
  "locale": null,
  "source_path": "h-plane.tex; hints.tex#lines-1500-1606",
  "source_local_id": null,
  "correction_kind": "cross-registry-prior-label-dependency-map",
  "mathematics_changed": false,
  "resolved_dependency_occurrence_count": 33,
  "unique_registry_endpoint_count": 21,
  "registry_scope": [
    "catalog-v0.json",
    "exercise-hints-v0.csv"
  ],
  "mappings": [
    {
      "source_local_id": "cor:perp-inverse",
      "registry_id": "o004.petrunin.result.ch10.cor-perp-inverse"
    },
    {
      "source_local_id": "cor:perp-inverse-clines",
      "registry_id": "o004.petrunin.result.ch10.cor-perp-inverse-clines"
    },
    {
      "source_local_id": "ex:|3sum|",
      "registry_id": "o004.petrunin.ex.ch07.009"
    },
    {
      "source_local_id": "ex:cosh",
      "registry_id": "o004.petrunin.ex.ch12.013"
    },
    {
      "source_local_id": "ex:coshcosh",
      "registry_id": "o004.petrunin.ex.ch12.017"
    },
    {
      "source_local_id": "ex:defect",
      "registry_id": "o004.petrunin.ex.ch11.008"
    },
    {
      "source_local_id": "ex:ideal-line-unique",
      "registry_id": "o004.petrunin.ex.ch12.001"
    },
    {
      "source_local_id": "ex:line/h-line",
      "registry_id": "o004.petrunin.ex.ch12.003"
    },
    {
      "source_local_id": "ex:parallel-abs",
      "registry_id": "o004.petrunin.ex.ch11.004"
    },
    {
      "source_local_id": "ex:SAA",
      "registry_id": "o004.petrunin.ex.ch11.005"
    },
    {
      "source_local_id": "lem:h-circle=circle",
      "registry_id": "o004.petrunin.result.ch12.lem-h-circle-euclidean-circle"
    },
    {
      "source_local_id": "lem:inversion-sim",
      "registry_id": "o004.petrunin.result.ch10.lem-inversion-sim"
    },
    {
      "source_local_id": "lem:O-h-dist",
      "registry_id": "o004.petrunin.result.ch12.lem-o-h-distance"
    },
    {
      "source_local_id": "lem:P-->O",
      "registry_id": "o004.petrunin.result.ch12.lem-p-to-o"
    },
    {
      "source_local_id": "prop:arc(angle=tan)",
      "registry_id": "o004.petrunin.result.ch09.prop-arc-angle-tan"
    },
    {
      "source_local_id": "prop:perp-perp",
      "registry_id": "o004.petrunin.result.ch07.prop-perp-perp"
    },
    {
      "source_local_id": "prop:vert",
      "registry_id": "o004.petrunin.result.ch02.prop-vert"
    },
    {
      "source_local_id": "thm:3sum-a",
      "registry_id": "o004.petrunin.result.ch11.thm-3sum-a"
    },
    {
      "source_local_id": "thm:main-observ",
      "registry_id": "o004.petrunin.result.ch12.main-observation"
    },
    {
      "source_local_id": "thm:pyth",
      "registry_id": "o004.petrunin.result.ch06.thm-pyth"
    },
    {
      "source_local_id": "thm:signs-of-triug",
      "registry_id": "o004.petrunin.result.ch03.thm-signs-of-triug"
    }
  ],
  "description": "All thirty-three active references to earlier exercises and results resolve to twenty-one stable registry endpoints; Chapter 13's internal labels are mapped separately in the source-identity record."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch13.neutral-axiom-proof-inheritance",
  "status": "proof-gap-inherited-admitted",
  "locale": "id-ID",
  "source_path": "h-plane.tex#chapter-opening; poincare.tex#hyperbolic-axiom-v-claim",
  "source_local_id": null,
  "correction_kind": "inherited-proof-gap-dependency",
  "mathematics_changed": false,
  "opening_claim": "Chapter 13 says all neutral-geometry axioms apply to the h-plane because the preceding chapter proved them.",
  "dependency_claim_id": "o004.petrunin.result.ch12.claim-hyperbolic-axiom-v",
  "dependency_caveat_id": "o004.petrunin.caveat.ch12.hyperbolic-axiom-v-picture",
  "inherited_proof_status": "instead-of-proof-picture-dependent",
  "downstream_mastery_status": "proof-gap-inherited-companion-closure-required",
  "description": "The Chapter 13 opening depends on Chapter 12's Axiom h-V claim, but that source surface explicitly substitutes pic-202 'instead of proof'. Chapter 13 results may use the model, yet a mastery claim that all neutral axioms were rigorously proved inherits this unresolved gap until the separately authored companion supplies closure."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch13.eq-defect-label",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "h-plane.tex#proof-thm-3sum-h",
  "source_local_id": "eq:defect<0",
  "correction_kind": "immutable-misleading-source-label",
  "mathematics_changed": false,
  "raw_label": "eq:defect<0",
  "displayed_relation": "\\defect(\\triangle_h ABC) \\ge 0",
  "label_semantics": "The raw label suggests less than zero although the displayed theorem step is nonnegative.",
  "source_label_changed": false,
  "description": "The stable backend preserves the exact immutable LaTeX label eq:defect<0 while indexing the displayed statement as a nonnegative-defect inequality. No formula or reference is silently renamed."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch13.figure-text-gap",
  "status": "backend-accessibility-gap-indexed-admitted",
  "locale": "id-ID",
  "source_path": "h-plane.tex; hints.tex#lines-1500-1606; backend/figure-descriptions-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "figure-caption-and-alt-text-gap",
  "mathematics_changed": false,
  "body_figure_count": 11,
  "hint_figure_count": 2,
  "total_figure_count": 13,
  "source_authored_caption_count": 0,
  "source_authored_alt_text_count": 0,
  "backend_description_count": 13,
  "semantic_reader_embedding_status": "pending",
  "asset_ids": [
    "o004.petrunin.fig.ch13.01",
    "o004.petrunin.fig.ch13.02",
    "o004.petrunin.fig.ch13.03",
    "o004.petrunin.fig.ch13.04",
    "o004.petrunin.fig.ch13.05",
    "o004.petrunin.fig.ch13.06",
    "o004.petrunin.fig.ch13.07",
    "o004.petrunin.fig.ch13.08",
    "o004.petrunin.fig.ch13.09",
    "o004.petrunin.fig.ch13.10",
    "o004.petrunin.fig.ch13.11",
    "o004.petrunin.fig.ch13.12",
    "o004.petrunin.fig.ch13.13"
  ],
  "description": "All thirteen Chapter 13 figures now have static Indonesian backend descriptions, but the LaTeX source supplies neither captions nor alternative text and no semantic HTML or EPUB embedding is claimed at this mapping boundary."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.provenance.ch13.mppics-rights",
  "status": "component-rights-provenance-indexed-admitted",
  "locale": null,
  "source_path": "mppics/pic.mp; mppics/pic-hints.mp",
  "source_local_id": null,
  "correction_kind": "component-rights-and-generated-asset-provenance",
  "mathematics_changed": false,
  "asset_count": 13,
  "source_containers": [
    "mppics/pic.mp",
    "mppics/pic-hints.mp"
  ],
  "rights_id": "rights-mppics-macros-unresolved",
  "per_asset_source_hash_status": "not-separable-from-shared-metapost-container",
  "generated_mps_hash_status": "verified-two-clean-builds-byte-identical",
  "description": "The thirteen figures remain mapped to their exact MetaPost beginfig identities. Their component rights inherit the existing unresolved mppics macro-source notice and are not flattened into the book-body CC BY-SA notice."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.terminology.ch13.registry",
  "status": "mapped-admitted",
  "locale": "id-ID",
  "source_path": "backend/terminology-ch13-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "chapter-terminology-registry-map",
  "mathematics_changed": false,
  "term_count": 25,
  "term_ids": [
    "O004-TERM-0202",
    "O004-TERM-0203",
    "O004-TERM-0204",
    "O004-TERM-0205",
    "O004-TERM-0206",
    "O004-TERM-0207",
    "O004-TERM-0208",
    "O004-TERM-0209",
    "O004-TERM-0210",
    "O004-TERM-0211",
    "O004-TERM-0212",
    "O004-TERM-0213",
    "O004-TERM-0214",
    "O004-TERM-0215",
    "O004-TERM-0216",
    "O004-TERM-0217",
    "O004-TERM-0218",
    "O004-TERM-0219",
    "O004-TERM-0220",
    "O004-TERM-0221",
    "O004-TERM-0222",
    "O004-TERM-0223",
    "O004-TERM-0224",
    "O004-TERM-0225",
    "O004-TERM-0226"
  ],
  "description": "Twenty-five Chapter 13 terms are admitted in the additive backend and merged into the work-wide terminology control."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch14.nonzero-denominator",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "affine.tex#line-87",
  "source_local_id": "ex:R-hom",
  "correction_kind": "missing-domain-hypothesis",
  "mathematics_changed": true,
  "authority_omission": "The source asks for the point (a/b,0) without stating b != 0.",
  "localized_change": "The Indonesian exercise explicitly assumes b\\ne0.",
  "description": "The nonzero-denominator condition needed to define a/b was added and declared."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch14.proposition-quantifier",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "affine.tex#line-119",
  "source_local_id": "prop:affine-linear",
  "correction_kind": "missing-variable-quantifier",
  "mathematics_changed": true,
  "authority_omission": "The proposition uses t without explicitly quantifying it.",
  "localized_change": "The Indonesian proposition explicitly states t\\in\\mathbb{R}.",
  "description": "The real scalar is explicitly quantified without altering the intended result."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch14.theorem-quantifiers",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "affine.tex#line-148",
  "source_local_id": "thm:fundamental-theorem-of-affine-geometry",
  "correction_kind": "missing-variable-quantifiers",
  "mathematics_changed": true,
  "authority_omission": "The theorem's displayed equivalence uses P, x, and y without explicit quantifiers in the conclusion.",
  "localized_change": "The Indonesian theorem quantifies every point P and all x,y\\in\\mathbb{R}.",
  "description": "The intended point and scalar quantifiers are made explicit."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch14.inverse-converse",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "affine.tex#line-179",
  "source_local_id": "thm:fundamental-theorem-of-affine-geometry",
  "correction_kind": "omitted-converse-proof-step",
  "mathematics_changed": false,
  "localized_change": "The Indonesian proof states that the converse follows by applying the same argument to the inverse affine transformation.",
  "description": "The missing converse direction is supplied as a bounded proof clarification."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch14.child-reference-format",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "affine.tex#line-325",
  "source_local_id": "lem:parallelogram:midpoint",
  "correction_kind": "child-reference-style",
  "mathematics_changed": false,
  "localized_change": "The child reference is restored inside the source's italic reference wrapper.",
  "description": "The subsection-style child reference retains the intended typography."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch14.prop-affine-linear-degenerate-case",
  "status": "source-proof-gap-preserved-companion-closure-required",
  "locale": null,
  "source_path": "affine.tex#proof-prop-affine-linear",
  "source_local_id": "prop:affine-linear",
  "correction_kind": "tacit-nondegeneracy-in-proof-normalization",
  "mathematics_changed": false,
  "statement_validity": "The proposition remains valid when O=X.",
  "proof_gap": "The proof normalizes O to the coordinate origin and X to (1,0), which tacitly assumes O != X; the degenerate case O=X is trivial but unstated.",
  "translation_changed": false,
  "closure_route": "Supply the omitted degenerate-case sentence in the separately authored companion or solutions/mastery layer.",
  "description": "This is a preserved source proof note, not an applied translation correction and not evidence that the wider Chapters 14–20 rigor caveat has been closed."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch14.menelaus-degenerate-foot-case",
  "status": "source-proof-gap-preserved-companion-closure-required",
  "locale": null,
  "source_path": "affine.tex#proof-menelaus",
  "source_local_id": null,
  "correction_kind": "unseparated-degenerate-similarity-case",
  "mathematics_changed": false,
  "statement_validity": "The displayed ratio equality remains valid in the degenerate foot-at-intersection case.",
  "proof_gap": "The proof invokes AA similarity of the perpendicular-foot triangles AXC' and BYC' without separately treating the case in which a perpendicular foot coincides with C' and the displayed comparison triangles degenerate.",
  "translation_changed": false,
  "closure_route": "Separate the degenerate case in the companion theorem audit or the solutions/mastery exposition before treating this proof as fully rigorous.",
  "description": "This is an uncorrected proof-completeness note; it preserves the source argument and routes rigorous closure to the authored companion layer."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch14.source-label-identities",
  "status": "source-identities-preserved-admitted",
  "locale": null,
  "source_path": "affine.tex",
  "source_local_id": null,
  "correction_kind": "immutable-source-identifier-map",
  "mathematics_changed": false,
  "label_count": 26,
  "equation_label_count": 6,
  "body_labels": [
    "chap:trans",
    "ex:affine-par",
    "ex:afine-linear",
    "ex:afine-linear:shear",
    "ex:afine-linear:scaling",
    "affine-general-formula",
    "ex:collinear=affine",
    "ex:circle=affine",
    "ex:midpoint-affine",
    "ex:R-hom",
    "ex:center-circ-affine",
    "ex:affine-perp",
    "ex:parallelogram-rule",
    "prop:affine-linear",
    "thm:fundamental-theorem-of-affine-geometry",
    "ex:affine-continuous",
    "ex:affine-coordinates",
    "ex:preserved-circle",
    "ex:inversions-inversive",
    "lem:R-auto",
    "lem:R-auto:a",
    "lem:R-auto:b",
    "lem:R-auto:c",
    "ex:f(1)=1",
    "thm:ceva-affine",
    "ex:ceva-affine"
  ],
  "equation_labels": [
    "eq:OP=tOX",
    "eq:0=0",
    "eq:f-x",
    "eq:m/n",
    "a>0=>b>0",
    "a<0=>b<0"
  ],
  "source_labels_changed": false,
  "description": "All twenty-six source labels and all six equation labels remain byte-identical, including punctuation, capitalization, the historical afine spelling, and the dual theorem/exercise labels on the Ceva block."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch14.exercise-hint-topology",
  "status": "mapped-admitted",
  "locale": "id-ID",
  "source_path": "affine.tex; hints.tex#lines-1607-1747; backend/exercise-hints-v0.csv",
  "source_local_id": null,
  "correction_kind": "exercise-hint-topology",
  "mathematics_changed": false,
  "exercise_count": 15,
  "hint_block_count": 14,
  "exercise_registry_rows": 15,
  "unique_hint_ids": 14,
  "shared_hint_id": "o004.petrunin.hint.ch14.010",
  "shared_hint_exercise_ids": [
    "o004.petrunin.ex.ch14.010",
    "o004.petrunin.ex.ch14.011"
  ],
  "unhinted_exercise_count": 0,
  "description": "All fifteen top-level exercises resolve in source order to fourteen authored hint blocks; the source deliberately combines ex:affine-continuous and ex:affine-coordinates in one hint block."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch14.prior-label-resolution",
  "status": "mapped-admitted",
  "locale": null,
  "source_path": "affine.tex; hints.tex#lines-1607-1747",
  "source_local_id": null,
  "correction_kind": "cross-chapter-reference-resolution",
  "mathematics_changed": false,
  "resolved_prior_source_labels": [
    "ex:3-reflections",
    "ex:4parallels",
    "ex:line-coord",
    "ex:midle",
    "lem:parallelogram",
    "lem:parallelogram:midpoint",
    "thm:centroid",
    "thm:inverse-cline",
    "thm:parallel-point-reflection"
  ],
  "stable_endpoint_count": 8,
  "unresolved_prior_reference_count": 0,
  "description": "Every Chapter 14 reference to Chapters 1–13 resolves through the union of the catalog and ordered registries. The child reference lem:parallelogram:midpoint resolves through its registered parent result without rewriting the immutable child label."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch14.forward-reference",
  "status": "source-forward-reference-preserved",
  "locale": null,
  "source_path": "affine.tex#line-233",
  "source_local_id": "sec:complex-conjugation",
  "correction_kind": "future-source-reference",
  "mathematics_changed": false,
  "future_unit": "Chapter 18",
  "resolution_status": "raw-source-label-preserved-until-future-unit-integration",
  "description": "The reference to the complex-conjugation section points forward to Chapter 18 and remains the exact raw LaTeX label until that unit receives its stable backend record."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch14.chapters-14-20-rigor",
  "status": "source-rigor-caveat-preserved",
  "locale": "id-ID",
  "source_path": "intro.tex#line-142",
  "source_local_id": null,
  "correction_kind": "author-declared-rigor-limitation",
  "mathematics_changed": false,
  "scope": "Chapters 14-20",
  "localized_text": "Bukti-bukti dalam bab-bab ini tidak sepenuhnya ketat.",
  "companion_closure_required": true,
  "description": "The source author explicitly warns that proofs in Chapters 14–20 are not fully rigorous. The five bounded Chapter 14 corrections do not erase this limitation; load-bearing mastery claims still require the separately authored companion audit and closure."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch14.figure-text-gap",
  "status": "backend-accessibility-gap-indexed-admitted",
  "locale": "id-ID",
  "source_path": "affine.tex; hints.tex#lines-1607-1747; backend/figure-descriptions-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "figure-caption-and-alt-text-gap",
  "mathematics_changed": false,
  "body_figure_count": 4,
  "hint_figure_count": 2,
  "total_figure_count": 6,
  "source_authored_caption_count": 0,
  "source_authored_alt_text_count": 0,
  "backend_description_count": 6,
  "semantic_reader_embedding_status": "pending",
  "asset_ids": [
    "o004.petrunin.fig.ch14.01",
    "o004.petrunin.fig.ch14.02",
    "o004.petrunin.fig.ch14.03",
    "o004.petrunin.fig.ch14.04",
    "o004.petrunin.fig.ch14.05",
    "o004.petrunin.fig.ch14.06"
  ],
  "description": "All six Chapter 14 figures have static Indonesian backend descriptions, but the source provides neither captions nor alternative text and semantic HTML or EPUB embedding remains pending."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.provenance.ch14.mppics-rights",
  "status": "component-rights-provenance-indexed-admitted",
  "locale": null,
  "source_path": "mppics/pic.mp; mppics/pic-hints.mp",
  "source_local_id": null,
  "correction_kind": "component-rights-and-generated-asset-provenance",
  "mathematics_changed": false,
  "asset_count": 6,
  "source_containers": [
    "mppics/pic.mp",
    "mppics/pic-hints.mp"
  ],
  "rights_id": "rights-mppics-macros-unresolved",
  "per_asset_source_hash_status": "not-separable-from-shared-metapost-container",
  "generated_mps_hash_status": "verified-in-two-clean-224-mps-set",
  "description": "The six figures map to their exact MetaPost beginfig identities. Component rights inherit the unresolved mppics macro-source notice and are not flattened into the book-body CC BY-SA notice."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.terminology.ch14.registry",
  "status": "admitted",
  "locale": "id-ID",
  "source_path": "backend/terminology-ch14-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "chapter-terminology-registry-map",
  "mathematics_changed": false,
  "term_count": 26,
  "term_ids": [
    "O004-TERM-0227",
    "O004-TERM-0228",
    "O004-TERM-0229",
    "O004-TERM-0230",
    "O004-TERM-0231",
    "O004-TERM-0232",
    "O004-TERM-0233",
    "O004-TERM-0234",
    "O004-TERM-0235",
    "O004-TERM-0236",
    "O004-TERM-0237",
    "O004-TERM-0238",
    "O004-TERM-0239",
    "O004-TERM-0240",
    "O004-TERM-0241",
    "O004-TERM-0242",
    "O004-TERM-0243",
    "O004-TERM-0244",
    "O004-TERM-0245",
    "O004-TERM-0246",
    "O004-TERM-0247",
    "O004-TERM-0248",
    "O004-TERM-0249",
    "O004-TERM-0250",
    "O004-TERM-0251",
    "O004-TERM-0252"
  ],
  "description": "Twenty-six Chapter 14 terms are admitted after structural, deterministic-build, and visual admission."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.id.recovery.ch15.dual-desargues-math-close",
  "status": "local-draft-syntax-recovery-admitted",
  "locale": "id-ID",
  "source_path": "proj.tex#dual-desargues-synthesis",
  "source_local_id": "thm:dual-desargues",
  "correction_kind": "interrupted-draft-inline-math-delimiter-recovery",
  "mathematics_changed": false,
  "authority_changed": false,
  "localized_change": "Restored the closing inline-math delimiter after the legacy identifier (CC').",
  "description": "The authority was already syntactically correct; this repair only closed an interrupted Indonesian draft delimiter."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch15.tangent-exterior-domain",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "proj.tex#line-517",
  "source_local_id": "ex:tangent ruler",
  "correction_kind": "insufficient-geometric-domain-hypothesis",
  "mathematics_changed": true,
  "formula_changed": false,
  "authority_omission": "The final construction asks only for P not on Gamma, which also permits an interior point from which no real tangent lines exist.",
  "localized_change": "The formula P\\notin\\Gamma is retained and the prose explicitly requires the given point to lie outside the circle.",
  "description": "The exterior-domain condition necessary for the real tangent construction is added as a declared authority clarification."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.localization.ch15.style-normalizations",
  "status": "reader-style-normalization-admitted",
  "locale": "id-ID",
  "source_path": "proj.tex; hints.tex#lines-1748-1894",
  "source_local_id": null,
  "correction_kind": "work-wide-Indonesian-style-normalization",
  "mathematics_changed": false,
  "normalizations": [
    {
      "source": "parallelogram",
      "preferred_id_ID": "jajar genjang",
      "term_id": "O004-TERM-0089"
    },
    {
      "source": "Advanced exercise",
      "preferred_id_ID": "Latihan lanjutan",
      "term_id": "O004-TERM-0285"
    }
  ],
  "description": "Reader and metadata surfaces consistently use the work-wide preferred forms jajar genjang and Latihan lanjutan."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.id.terminology.ch15.proyektif",
  "status": "reader-terminology-normalization-admitted",
  "locale": "id-ID",
  "source_path": "proj.tex; hints.tex#lines-1748-1894",
  "source_local_id": null,
  "correction_kind": "reader-facing-Indonesian-terminology-normalization",
  "mathematics_changed": false,
  "formula_changed": false,
  "preferred_form": "proyektif",
  "search_alias": "projektif",
  "description": "Reader-facing Chapter 15 body and hint surfaces normalize projektif to the admitted form proyektif; the older spelling remains only as a search alias in terminology metadata."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.layout.ch15.pic245-footnote-reflow",
  "status": "layout-repair-build-visual-admitted",
  "locale": "id-ID",
  "source_path": "proj.tex#ex-dual-configurations",
  "source_local_id": "ex:dual-configurations",
  "correction_kind": "wrapfigure-to-centered-block-footnote-collision-repair",
  "mathematics_changed": false,
  "figure_changed": false,
  "reading_order_changed": false,
  "rejected_visual_surface": "The pic-245 right wrap crossed the rule and text of footnote 2 on physical page 143.",
  "localized_change": "The same pic-245 include is placed in a centered nonfloating block at the same source-order position.",
  "description": "A visual-gate failure was repaired without changing figure bytes, exercise text, formulas, identifiers, or reading order; two fresh builds and complete visual reinspection verified the repair."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch15.legacy-dula-label",
  "status": "upstream-editorial-note-preserved",
  "locale": null,
  "source_path": "proj.tex",
  "source_local_id": "ex:dula-coordinates",
  "correction_kind": "immutable-legacy-label-spelling",
  "mathematics_changed": false,
  "source_label_changed": false,
  "description": "The misspelled source-local identifier ex:dula-coordinates is preserved exactly so references and backend identity remain stable."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch15.pappus-outline-only",
  "status": "source-proof-boundary-preserved-companion-closure-required",
  "locale": null,
  "source_path": "proj.tex#thm-pappus; hints.tex#lines-1778-1792",
  "source_local_id": "thm:pappus",
  "correction_kind": "proof-outline-and-completion-exercise-boundary",
  "mathematics_changed": false,
  "body_proof_status": "idea-of-proof-only",
  "completion_exercise_id": "o004.petrunin.ex.ch15.003",
  "master_hint_status": "abbreviated-completion-not-full-worked-proof",
  "description": "The theorem body contains only a proof idea, ex:pappus assigns completion, and the authored hint remains abbreviated. The backend does not misrepresent these surfaces as a complete worked proof."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch15.polar-unproved-forward-dependency",
  "status": "source-explicit-nonproof-preserved-companion-closure-required",
  "locale": null,
  "source_path": "proj.tex#clm-polar",
  "source_local_id": "clm:polar",
  "correction_kind": "explicitly-unproved-claim-with-forward-exercise-dependency",
  "mathematics_changed": false,
  "explicit_nonproof": true,
  "forward_source_label": "ex:cone",
  "future_unit": "Chapter 16",
  "stable_forward_exercise_id": "o004.petrunin.ex.ch16.007",
  "forward_dependency_resolution": "resolved-at-ch16-admission",
  "description": "The source explicitly declines to prove clm:polar and points forward to ex:cone for the projective transformation idea. Both the non-proof and dependency remain visible pending companion closure."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch15.desargues-orientation-review",
  "status": "source-rigor-review-preserved-companion-closure-required",
  "locale": null,
  "source_path": "proj.tex#proof-thm-desargues",
  "source_local_id": "thm:desargues",
  "correction_kind": "orientation-and-ray-case-proof-review",
  "mathematics_changed": false,
  "translation_changed": false,
  "review_scope": "The Euclidean reduction uses similarity, unsigned lengths, and an angle-sign step without a complete separation of ray and orientation cases.",
  "description": "The source proof is translated without silent strengthening; its ray/orientation cases remain a theorem-level companion audit obligation."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch15.chapters-14-20-rigor-inherited",
  "status": "source-rigor-caveat-preserved",
  "locale": "id-ID",
  "source_path": "intro.tex#line-142",
  "source_local_id": null,
  "correction_kind": "author-declared-rigor-limitation-inherited",
  "mathematics_changed": false,
  "scope": "Chapter 15 within Chapters 14-20",
  "parent_caveat_id": "o004.petrunin.caveat.ch14.chapters-14-20-rigor",
  "description": "Chapter 15 inherits the author's warning that proofs in Chapters 14–20 are not fully rigorous. Its theorem-specific Pappus, polar, and Desargues notes route the concrete remaining obligations to the companion audit."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch15.source-label-identities",
  "status": "source-identities-preserved-admitted",
  "locale": null,
  "source_path": "proj.tex",
  "source_local_id": null,
  "correction_kind": "immutable-source-identifier-map",
  "mathematics_changed": false,
  "label_count": 32,
  "equation_label_count": 2,
  "body_labels": [
    "chap:proj",
    "obs:bijections",
    "sec:perspective-projection",
    "thm:moving",
    "ex:proj-cross-ratio",
    "ex:proj-cross-ratio=1",
    "ex:proj-cross-ratio=1:=",
    "ex:proj-cross-ratio=1:1",
    "thm:desargues",
    "thm:pappus",
    "ex:pappus",
    "ex:pappus-converse",
    "ex:desargues-construction",
    "ex:desargues-construction:desargues",
    "ex:desargues-construction:pappus",
    "page:duality",
    "ex:dual-configurations",
    "ex:dual-configurations:infty",
    "ex:dual-configurations:dual",
    "ex:dual-euclid",
    "thm:dual",
    "ex:dula-coordinates",
    "thm:dual-desargues",
    "ex:dual-pappus",
    "ex:dual-desargues-construction",
    "ex:dual-desargues-construction:desargues",
    "ex:dual-desargues-construction:pappus",
    "clm:polar",
    "ex:revert",
    "ex:tangent ruler",
    "ex:concentric-circ",
    "ex:proj-perp"
  ],
  "equation_labels": [
    "eq:(x,y)-perspective",
    "iff-dual"
  ],
  "source_labels_changed": false,
  "description": "All thirty-two source labels and both equation labels remain exact, including spaces, punctuation, the legacy dula spelling, and every labeled exercise subpart."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch15.exercise-hint-topology",
  "status": "mapped-admitted",
  "locale": "id-ID",
  "source_path": "proj.tex; hints.tex#lines-1748-1894; backend/exercise-hints-v0.csv",
  "source_local_id": null,
  "correction_kind": "exercise-hint-topology",
  "mathematics_changed": false,
  "exercise_count": 14,
  "hint_block_count": 14,
  "exercise_registry_rows": 14,
  "unique_hint_ids": 14,
  "one_to_one_ordered_closure": true,
  "advanced_exercise_id": "o004.petrunin.ex.ch15.002",
  "advanced_exercise_localized_title": "Latihan lanjutan",
  "unhinted_exercise_count": 0,
  "description": "All fourteen exercises map one-to-one and in source order to fourteen authored hint blocks."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch15.prior-label-resolution",
  "status": "mapped-admitted",
  "locale": null,
  "source_path": "proj.tex; hints.tex#lines-1748-1894",
  "source_local_id": null,
  "correction_kind": "cross-chapter-reference-resolution",
  "mathematics_changed": false,
  "resolved_prior_source_labels": [
    "sec:Metric spaces",
    "thm:parallel-2",
    "prop:affine-linear"
  ],
  "stable_endpoint_count": 3,
  "unresolved_prior_reference_count": 0,
  "description": "Every Chapter 15 reference to already mapped Chapters 1–14 resolves through the union of the catalog and ordered registries."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch15.forward-references",
  "status": "source-forward-references-preserved",
  "locale": null,
  "source_path": "proj.tex; hints.tex#lines-1748-1894",
  "source_local_id": null,
  "correction_kind": "future-source-references",
  "mathematics_changed": false,
  "forward_references": [
    {
      "source_label": "ex:cone",
      "future_unit": "Chapter 16",
      "role": "polar-claim transformation dependency"
    },
    {
      "source_label": "ex:cross-ratio-area",
      "future_unit": "Chapter 20",
      "role": "alternate proof linked from the projective cross-ratio hint"
    }
  ],
  "resolved_forward_reference": {
    "source_label": "ex:cone",
    "stable_exercise_id": "o004.petrunin.ex.ch16.007",
    "resolved_at_unit": "o004.petrunin.ch16"
  },
  "remaining_unresolved_forward_reference": {
    "source_label": "ex:cross-ratio-area",
    "future_unit": "Chapter 20"
  },
  "resolution_status": "chapter-16-reference-resolved-chapter-20-reference-preserved",
  "description": "The ex:cone dependency now resolves to the admitted Chapter 16 exercise; ex:cross-ratio-area remains an exact raw source label pending Chapter 20 integration."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch15.figure-text-gap",
  "status": "backend-accessibility-gap-indexed-admitted",
  "locale": "id-ID",
  "source_path": "proj.tex; hints.tex#lines-1748-1894; backend/figure-descriptions-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "figure-caption-and-alt-text-gap",
  "mathematics_changed": false,
  "body_figure_count": 12,
  "hint_figure_count": 2,
  "total_figure_count": 14,
  "source_authored_caption_count": 1,
  "source_captioned_asset_count": 2,
  "source_authored_alt_text_count": 0,
  "backend_description_count": 14,
  "semantic_reader_embedding_status": "pending",
  "asset_ids": [
    "o004.petrunin.fig.ch15.01",
    "o004.petrunin.fig.ch15.02",
    "o004.petrunin.fig.ch15.03",
    "o004.petrunin.fig.ch15.04",
    "o004.petrunin.fig.ch15.05",
    "o004.petrunin.fig.ch15.06",
    "o004.petrunin.fig.ch15.07",
    "o004.petrunin.fig.ch15.08",
    "o004.petrunin.fig.ch15.09",
    "o004.petrunin.fig.ch15.10",
    "o004.petrunin.fig.ch15.11",
    "o004.petrunin.fig.ch15.12",
    "o004.petrunin.fig.ch15.13",
    "o004.petrunin.fig.ch15.14"
  ],
  "description": "All fourteen Chapter 15 figures have static Indonesian backend descriptions. The body supplies one caption spanning the two dual-configuration panels and the hint prose supplies contextual text for the two hint figures, but no source-authored alternative text exists and semantic embedding remains pending."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.provenance.ch15.mppics-rights",
  "status": "component-rights-provenance-indexed-admitted",
  "locale": null,
  "source_path": "mppics/pic.mp; mppics/pic-hints.mp",
  "source_local_id": null,
  "correction_kind": "component-rights-and-generated-asset-provenance",
  "mathematics_changed": false,
  "asset_count": 14,
  "source_containers": [
    "mppics/pic.mp",
    "mppics/pic-hints.mp"
  ],
  "rights_id": "rights-mppics-macros-unresolved",
  "per_asset_source_hash_status": "not-separable-from-shared-metapost-container",
  "generated_mps_hash_status": "verified-in-two-clean-224-mps-set",
  "description": "The fourteen figures map to their exact MetaPost beginfig identities. Component rights inherit the unresolved mppics macro-source notice and are not flattened into the book-body CC BY-SA notice."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.terminology.ch15.registry",
  "status": "admitted",
  "locale": "id-ID",
  "source_path": "backend/terminology-ch15-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "chapter-terminology-registry-map",
  "mathematics_changed": false,
  "term_count": 34,
  "term_ids": [
    "O004-TERM-0253",
    "O004-TERM-0254",
    "O004-TERM-0255",
    "O004-TERM-0256",
    "O004-TERM-0257",
    "O004-TERM-0258",
    "O004-TERM-0259",
    "O004-TERM-0260",
    "O004-TERM-0261",
    "O004-TERM-0262",
    "O004-TERM-0263",
    "O004-TERM-0264",
    "O004-TERM-0265",
    "O004-TERM-0266",
    "O004-TERM-0267",
    "O004-TERM-0268",
    "O004-TERM-0269",
    "O004-TERM-0270",
    "O004-TERM-0271",
    "O004-TERM-0272",
    "O004-TERM-0273",
    "O004-TERM-0274",
    "O004-TERM-0275",
    "O004-TERM-0276",
    "O004-TERM-0277",
    "O004-TERM-0278",
    "O004-TERM-0279",
    "O004-TERM-0280",
    "O004-TERM-0281",
    "O004-TERM-0282",
    "O004-TERM-0283",
    "O004-TERM-0284",
    "O004-TERM-0285",
    "O004-TERM-0286"
  ],
  "preferred_reader_forms": {
    "projective": "proyektif",
    "cross_ratio": "rasio silang"
  },
  "contextual_search_aliases": [
    {
      "preferred_or_mapped": "titik ideal",
      "alias": "titik di tak hingga",
      "witness": "UNDIP 2008"
    },
    {
      "preferred_or_mapped": "garis ideal",
      "alias": "garis di tak hingga",
      "witness": "UNDIP 2008"
    },
    {
      "preferred_or_mapped": "transformasi perspektif",
      "alias": "perspektivitas",
      "witness": "UGM 2015"
    },
    {
      "preferred_or_mapped": "transformasi proyektif",
      "alias": "proyektivitas",
      "witness": "UGM 2015"
    },
    {
      "preferred_or_mapped": "sistem koordinat homogen",
      "alias": "sistem koordinat homogen",
      "witness": "UGM 2015"
    },
    {
      "preferred_or_mapped": "rasio silang",
      "alias": "perbandingan rangkap",
      "witness": "UGM 2015; explicitly paired with cross ratio"
    },
    {
      "preferred_or_mapped": "rasio silang",
      "alias": "hasil bagi silang",
      "witness": "UT 2008 one-page abstract"
    },
    {
      "preferred_or_mapped": "proyektif",
      "alias": "projektif",
      "witness": "older Indonesian spelling; search alias only"
    }
  ],
  "description": "Thirty-four Chapter 15 terms are admitted after structural, deterministic-build, and visual admission."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.provenance.ch15.production-model",
  "status": "non-author-production-assistance-disclosed",
  "locale": "id-ID",
  "source_path": "source/id-ID/title.tex; README.md",
  "source_local_id": null,
  "correction_kind": "non-author-production-provenance-disclosure",
  "mathematics_changed": false,
  "production_system": "OpenAI Codex gpt-5.6-sol, Ultra.",
  "creator_or_author": false,
  "source_and_human_credits_preserved": true,
  "description": "The named system assisted translation, backend mapping, and QA at the user's direction; it is recorded as production provenance and is not represented as the work's creator or author."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch16.spherical-pythagorean-coordinate-plane",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "sphere.tex#proof-thm-s-pyth",
  "source_local_id": "thm:s-pyth",
  "correction_kind": "coordinate-plane-inconsistency",
  "mathematics_changed": true,
  "authority_file_changed": false,
  "authority_statement": "v_A lies in the (x,y)-plane while simultaneously giving v_A=(x_A,0,z_A)",
  "localized_change": "The containing plane is corrected to (x,z), matching the vector and scalar-product computation.",
  "description": "The coordinate plane in the spherical Pythagorean proof is repaired without editing the frozen authority."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch16.stereographic-extended-codomain",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "sphere.tex#stereographic-projection; ex:stereographic-inversion; ex:great-circ",
  "source_local_id": "ex:stereographic-inversion",
  "correction_kind": "map-codomain-closure",
  "mathematics_changed": true,
  "authority_file_changed": false,
  "localized_change": "Pi union {infinity} is explicit in the map, inverse, and affected exercises because S maps to infinity.",
  "description": "The declared stereographic map and inverse now have codomains/domains that contain the stipulated image of S."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch16.s-medians-domain",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "sphere.tex#ex:s-medians",
  "source_local_id": "ex:s-medians",
  "correction_kind": "projection-domain-hypothesis",
  "mathematics_changed": true,
  "authority_file_changed": false,
  "localized_change": "A, B, and C are bound to Sigma-plus so all three stated central projections are defined.",
  "description": "The exercise is restricted to the previously defined domain of the central projection."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch16.s-altitudes-bindings-domain",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "sphere.tex#ex:s-altitudes",
  "source_local_id": "ex:s-altitudes",
  "correction_kind": "free-variable-and-projection-domain-closure",
  "mathematics_changed": true,
  "authority_file_changed": false,
  "localized_change": "Both P-to-P-prime and Q-to-Q-prime are bound, with P,Q in Sigma-plus, P distinct from N, and P distinct from Q.",
  "description": "All points appearing in the angle equivalence are quantified and lie in the central-projection domain."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch16.great-circle-equator-exception",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "sphere.tex#ex:great-circ",
  "source_local_id": "ex:great-circ",
  "correction_kind": "exception-and-extended-plane-closure",
  "mathematics_changed": true,
  "authority_file_changed": false,
  "localized_change": "Omega is stated to map to itself; every other great circle maps to an extended plane circline meeting Omega at opposite points.",
  "description": "The equator exception is separated from great circles through the projection pole."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch16.incomplete-spherical-treatment",
  "status": "source-limitation-preserved-admitted",
  "locale": "id-ID",
  "source_path": "sphere.tex#chapter-opening",
  "source_local_id": "chap:sphere",
  "correction_kind": "author-declared-scope-limitation",
  "mathematics_changed": false,
  "description": "The chapter explicitly says it is not a complete treatment of spherical geometry; the translation preserves that boundary."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch16.area-proof-informal",
  "status": "source-proof-boundary-preserved-admitted",
  "locale": "id-ID",
  "source_path": "sphere.tex#lem:area-spher-triangle",
  "source_local_id": "lem:area-spher-triangle",
  "correction_kind": "informal-proof-with-unproved-premise",
  "mathematics_changed": false,
  "unproved_premise": "area(Sigma)=4*pi",
  "description": "The area lemma remains labeled an informal proof and openly uses the unit-sphere area without proving it."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch16.inversion-proof-incomplete",
  "status": "source-proof-boundary-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "sphere.tex#thm:inversion-3d",
  "source_local_id": "thm:inversion-3d",
  "correction_kind": "incomplete-proof-and-reader-lemma",
  "mathematics_changed": false,
  "reader_lemma_id": "o004.petrunin.result.ch16.lem-sphere-plane-section-characterization",
  "description": "The spatial inversion theorem has only reconstruction hints; its needed unlabeled lemma is explicitly left to the reader."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch16.taurinus-nonproof",
  "status": "source-explicit-nonproof-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "sphere.tex#imaginary-distance",
  "source_local_id": "ex:taurinus",
  "correction_kind": "broad-analytic-correspondence-explicitly-unproved",
  "mathematics_changed": false,
  "description": "The broad claim that d-to-i*d transforms every valid spherical analytic formula into a hyperbolic one remains explicitly unproved; the exercise applies it but does not establish the claim."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch16.inversion-cross-ratio-domain",
  "status": "authority-domain-omission-recorded-admitted",
  "locale": "id-ID",
  "source_path": "sphere.tex#thm:inversion-3d:cross-ratio",
  "source_local_id": "thm:inversion-3d:cross-ratio",
  "correction_kind": "omitted-finite-distinct-nonzero-denominator-domain",
  "mathematics_changed": false,
  "translation_changed": false,
  "description": "The cross-ratio formula retains the authority's omitted conditions needed to keep all displayed distances and denominators finite and nonzero; the backend records the gap instead of silently broadening the theorem."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch16.chapters-14-20-rigor-inherited",
  "status": "source-rigor-caveat-preserved-admitted",
  "locale": "id-ID",
  "source_path": "intro.tex#line-142",
  "source_local_id": null,
  "correction_kind": "author-declared-rigor-limitation-inherited",
  "mathematics_changed": false,
  "scope": "Chapter 16 within Chapters 14-20",
  "parent_caveat_id": "o004.petrunin.caveat.ch14.chapters-14-20-rigor",
  "description": "Chapter 16 inherits the author's warning that proofs in Chapters 14-20 are not fully rigorous; its area, inversion, Taurinus, and cross-ratio records identify the concrete boundaries."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch16.source-label-identities",
  "status": "source-identities-preserved-admitted",
  "locale": null,
  "source_path": "sphere.tex",
  "source_local_id": null,
  "correction_kind": "immutable-source-identifier-map",
  "mathematics_changed": false,
  "label_count": 19,
  "equation_label_count": 5,
  "body_labels": [
    "chap:sphere",
    "lem:area-spher-triangle",
    "ex:defect-sphere",
    "ex:s-medians",
    "ex:s-medians:a",
    "ex:s-medians:b",
    "ex:s-altitudes",
    "thm:inversion-3d",
    "thm:inversion-3d:a",
    "thm:inversion-3d:b",
    "thm:inversion-3d:cross-ratio",
    "thm:inversion-3d:angle",
    "ex:stereographic-inversion",
    "ex:great-circ",
    "ex:conform-sphere",
    "ex:cone",
    "thm:s-pyth",
    "ex:2(pi/4)=pi/3",
    "ex:taurinus"
  ],
  "equation_labels": [
    "eq:area(S2)",
    "eq:area(Sa)",
    "eq:scal-def",
    "eq:scal-angle",
    "eq:scalar-s-dist"
  ],
  "source_labels_changed": false,
  "description": "All nineteen source labels, including exercise subparts and theorem subclaims, and all five equation labels remain exact."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch16.exercise-hint-topology",
  "status": "mapped-admitted",
  "locale": "id-ID",
  "source_path": "sphere.tex; hints.tex#lines-1895-1972; backend/exercise-hints-v0.csv",
  "source_local_id": null,
  "correction_kind": "exercise-hint-topology",
  "mathematics_changed": false,
  "exercise_count": 9,
  "hint_block_count": 9,
  "exercise_registry_rows": 9,
  "unique_hint_ids": 9,
  "one_to_one_ordered_closure": true,
  "advanced_exercise_id": "o004.petrunin.ex.ch16.009",
  "classroom_exercise_id": "o004.petrunin.ex.ch16.007",
  "unhinted_exercise_count": 0,
  "description": "All nine exercises map one-to-one and in source order to nine authored hint blocks."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch16.prior-label-resolution",
  "status": "mapped-admitted",
  "locale": null,
  "source_path": "sphere.tex; hints.tex#lines-1895-1972",
  "source_local_id": null,
  "correction_kind": "cross-chapter-reference-resolution",
  "mathematics_changed": false,
  "resolved_prior_source_labels": [
    "def:line",
    "The defect",
    "chap:poincare",
    "sec:hyp-trig",
    "lem:conformal",
    "lem:inverse-4-angle",
    "thm:angle-inversion",
    "thm:inverse-cline",
    "thm:pyth",
    "thm:pyth-h-poincare",
    "thm:centroid",
    "thm:inverse",
    "thm:inverse:line"
  ],
  "stable_endpoint_count": 13,
  "unresolved_prior_reference_count": 0,
  "description": "Every Chapter 16 reference to already mapped Chapters 1-15 resolves through the catalog and ordered registries."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch16.forward-references",
  "status": "source-forward-references-preserved",
  "locale": null,
  "source_path": "sphere.tex; hints.tex#lines-1895-1972",
  "source_local_id": null,
  "correction_kind": "future-source-references",
  "mathematics_changed": false,
  "forward_references": [
    {
      "source_label": "chap:klein",
      "future_unit": "Chapter 17",
      "role": "central-projection model analogy"
    },
    {
      "source_label": "ex:h-median",
      "future_unit": "Chapter 17",
      "role": "central-projection median analogy"
    },
    {
      "source_label": "sec:Euler's formula",
      "future_unit": "Chapter 18",
      "role": "imaginary-distance analytic prerequisite"
    },
    {
      "source_label": "Solid triangles",
      "future_unit": "Chapter 20",
      "role": "solid-region definition dependency"
    },
    {
      "source_label": "Neutral planes and spheres",
      "future_unit": "Chapter 20",
      "role": "sphere-area treatment dependency"
    }
  ],
  "resolution_status": "raw-source-labels-preserved-until-future-unit-integration",
  "description": "Five future references remain exact raw LaTeX labels and are not assigned premature stable endpoints."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch16.figure-text-gap",
  "status": "backend-accessibility-gap-indexed-admitted",
  "locale": "id-ID",
  "source_path": "sphere.tex; hints.tex#lines-1895-1972; backend/figure-descriptions-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "figure-caption-and-alt-text-gap",
  "mathematics_changed": false,
  "body_figure_count": 6,
  "hint_figure_count": 1,
  "total_figure_count": 7,
  "source_authored_caption_count": 1,
  "source_authored_alt_text_count": 0,
  "backend_description_count": 7,
  "semantic_reader_embedding_status": "pending",
  "asset_ids": [
    "o004.petrunin.fig.ch16.01",
    "o004.petrunin.fig.ch16.02",
    "o004.petrunin.fig.ch16.03",
    "o004.petrunin.fig.ch16.04",
    "o004.petrunin.fig.ch16.05",
    "o004.petrunin.fig.ch16.06",
    "o004.petrunin.fig.ch16.07"
  ],
  "description": "All seven Chapter 16 figures have static Indonesian backend descriptions; the source has no authored alternative text and semantic embedding remains pending."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.provenance.ch16.mppics-rights",
  "status": "component-rights-provenance-indexed-admitted",
  "locale": null,
  "source_path": "mppics/pic.mp; mppics/pic-hints.mp",
  "source_local_id": null,
  "correction_kind": "component-rights-and-generated-asset-provenance",
  "mathematics_changed": false,
  "asset_count": 7,
  "source_containers": [
    "mppics/pic.mp",
    "mppics/pic-hints.mp"
  ],
  "rights_id": "rights-mppics-macros-unresolved",
  "per_asset_source_hash_status": "not-separable-from-shared-metapost-container",
  "generated_mps_hash_status": "verified-in-two-clean-224-mps-set",
  "description": "The seven figures map to exact MetaPost beginfig identities. Their component-rights uncertainty remains separate from the book-body CC BY-SA notice."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.terminology.ch16.registry",
  "status": "mapped-admitted",
  "locale": "id-ID",
  "source_path": "backend/terminology-ch16-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "chapter-terminology-registry-map",
  "mathematics_changed": false,
  "term_count": 34,
  "term_id_range": "O004-TERM-0287..O004-TERM-0320",
  "reused_work_wide_term_ids": [
    "O004-TERM-0142",
    "O004-TERM-0169"
  ],
  "description": "Thirty-four new Chapter 16 terms are mapped; the established work-wide terms for center of inversion and spherical geometry are reused without duplicate IDs."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.provenance.ch16.production-model",
  "status": "non-author-production-assistance-disclosed",
  "locale": "id-ID",
  "source_path": "source/id-ID/title.tex; README.md",
  "source_local_id": null,
  "correction_kind": "non-author-production-provenance-disclosure",
  "mathematics_changed": false,
  "production_system": "OpenAI Codex gpt-5.6-sol, Ultra.",
  "creator_or_author": false,
  "source_and_human_credits_preserved": true,
  "description": "The named system assisted translation, backend mapping, and QA at the user's direction; it is production provenance, not authorship."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch17.oa-h-parenthesis",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "klein.tex#obs:h-p-perp",
  "source_local_id": "obs:h-p-perp",
  "correction_kind": "h-line-parenthesization",
  "mathematics_changed": true,
  "authority_file_changed": false,
  "localized_change": "Two authority (OA_h) tokens are normalized to (OA)_h.",
  "description": "The derivative uses the prevailing h-line notation without editing the frozen authority."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch17.klein-perp-hatm-variable",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "hints.tex#ex:klein-perp",
  "source_local_id": "ex:klein-perp",
  "correction_kind": "wrong-h-line-symbol",
  "mathematics_changed": true,
  "authority_file_changed": false,
  "localized_change": "Two hat-ell conclusions are corrected to hat-m.",
  "description": "Inversion in the supporting circle exchanges the ideal points of m and preserves hat-m."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch17.cosh-a-single-plus",
  "status": "applied-declared-admitted",
  "locale": "id-ID",
  "source_path": "hints.tex#ex:pyth-h-proj",
  "source_local_id": "ex:pyth-h-proj",
  "correction_kind": "duplicate-addition-sign",
  "mathematics_changed": true,
  "authority_file_changed": false,
  "localized_change": "The duplicate plus across an aligned line break is reduced to one plus.",
  "description": "No term, coefficient, denominator, or equality is changed."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.localization.ch17.pic262-model-labels",
  "status": "figure-text-localized-admitted",
  "locale": "id-ID",
  "source_path": "mppics/pic.mp#beginfig-262; scripts/apply_figure_localizations.ps1",
  "source_local_id": "pic-262",
  "correction_kind": "embedded-figure-label-localization",
  "mathematics_changed": false,
  "localized_change": "Conformal model / Projective model become Model konformal / Model proyektif.",
  "generated_mps_sha256": "e82951607f6b2939b4cb3828bdd8e6c39ccf0da86725b1f1921aa597b8dc5e08"
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch17.boyai-labels",
  "status": "source-identifiers-preserved-admitted",
  "locale": null,
  "source_path": "klein.tex",
  "source_local_id": "ex:Boyai-in-Euclid; prop:boyai",
  "correction_kind": "legacy-source-label-spelling",
  "mathematics_changed": false,
  "description": "The two source-local Boyai spellings remain exact for reference stability."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch17.bolyai-sufficiency-step",
  "status": "source-proof-gap-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "klein.tex#construction-bolyai; prop:boyai",
  "source_local_id": "prop:boyai",
  "correction_kind": "unstated-converse-and-intersection-exhaustion",
  "mathematics_changed": false,
  "description": "The proposition proves the necessary length equality but not the converse/intersection step needed by the construction."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch17.common-perpendicular-existence",
  "status": "source-existence-gap-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "hints.tex#ex:common-perp",
  "source_local_id": "ex:common-perp",
  "correction_kind": "unproved-successful-choice-existence",
  "mathematics_changed": false,
  "description": "The hint assumes H exists and does not prove that another P,Q choice succeeds."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch17.chapters-14-20-rigor-inherited",
  "status": "source-rigor-caveat-preserved-admitted",
  "locale": "id-ID",
  "source_path": "intro.tex#line-142",
  "source_local_id": null,
  "correction_kind": "author-declared-rigor-limitation-inherited",
  "mathematics_changed": false,
  "scope": "Chapter 17 within Chapters 14-20",
  "parent_caveat_id": "o004.petrunin.caveat.ch14.chapters-14-20-rigor",
  "description": "Chapter 17 inherits the author's warning that proofs in Chapters 14-20 are not always fully rigorous."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.correction.ch17.source-label-identities",
  "status": "source-identities-preserved-admitted",
  "locale": null,
  "source_path": "klein.tex",
  "source_local_id": null,
  "correction_kind": "immutable-source-identifier-map",
  "mathematics_changed": false,
  "label_count": 19,
  "equation_label_count": 6,
  "body_labels": [
    "chap:klein",
    "sec:special-bijection",
    "pic:stereographic_projection-klein",
    "lem:P-hat-chord",
    "ex:hex",
    "ex:P<->hatP",
    "sec:proj-model",
    "thm:pappus-h",
    "klein-angles",
    "obs:h-p-perp",
    "ex:h-median",
    "ex:h-altitudes",
    "ex:klein-perp",
    "ex:klein-for-angle-parallelism",
    "ex:klein-inradius",
    "ex:pyth-h-proj",
    "ex:Boyai-in-Euclid",
    "prop:boyai",
    "ex:common-perp"
  ],
  "equation_labels": [
    "eq:lem:P-hat-chord",
    "eq:(AB;PQ)=(AB;P'Q')",
    "eq:AP/BP",
    "eq:proj-h-dist",
    "eq:hyp-pyth-proj",
    "eq:hyp-proj"
  ],
  "source_labels_changed": false
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch17.exercise-hint-topology",
  "status": "mapped-admitted",
  "locale": "id-ID",
  "source_path": "klein.tex; hints.tex#lines-1973-2103; backend/exercise-hints-v0.csv",
  "source_local_id": null,
  "correction_kind": "exercise-hint-topology",
  "mathematics_changed": false,
  "exercise_count": 10,
  "hint_block_count": 10,
  "exercise_registry_rows": 10,
  "unique_hint_ids": 10,
  "one_to_one_ordered_closure": true,
  "advanced_exercise_count": 2,
  "unhinted_exercise_count": 0
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch17.prior-label-resolution",
  "status": "mapped-admitted",
  "locale": null,
  "source_path": "klein.tex; hints.tex#lines-1973-2103",
  "source_local_id": null,
  "correction_kind": "cross-chapter-reference-resolution",
  "mathematics_changed": false,
  "resolved_prior_source_labels": [
    "cor:right-angle-diameter",
    "thm:inversion-3d",
    "thm:inversion-3d:cross-ratio",
    "thm:inversion-3d:angle",
    "thm:pappus",
    "thm:desargues",
    "ex:tangent ruler",
    "ex:cone",
    "ex:s-medians",
    "prop:angle-parallelism",
    "thm:pyth-h-poincare",
    "thm:pyth",
    "ex:construction-perpendicular",
    "thm:centroid",
    "thm:orthocenter"
  ],
  "unresolved_prior_reference_count": 0
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch17.forward-references",
  "status": "source-forward-references-preserved",
  "locale": null,
  "source_path": "klein.tex",
  "source_local_id": null,
  "correction_kind": "future-source-references",
  "mathematics_changed": false,
  "forward_references": [
    {
      "source_label": "thm:circle-center-proj",
      "future_unit": "Chapter 19",
      "role": "projective transformation source used in the proof"
    }
  ],
  "resolution_status": "raw-source-label-preserved-until-chapter-19-admission"
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch17.figure-text-gap",
  "status": "backend-accessibility-gap-indexed-admitted",
  "locale": "id-ID",
  "source_path": "klein.tex; hints.tex#lines-1973-2103; backend/figure-descriptions-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "figure-caption-and-alt-text-gap",
  "mathematics_changed": false,
  "body_figure_count": 9,
  "hint_figure_count": 2,
  "total_figure_count": 11,
  "source_authored_caption_count": 2,
  "source_authored_alt_text_count": 0,
  "backend_description_count": 11,
  "semantic_reader_embedding_status": "pending",
  "asset_ids": [
    "o004.petrunin.fig.ch17.01",
    "o004.petrunin.fig.ch17.02",
    "o004.petrunin.fig.ch17.03",
    "o004.petrunin.fig.ch17.04",
    "o004.petrunin.fig.ch17.05",
    "o004.petrunin.fig.ch17.06",
    "o004.petrunin.fig.ch17.07",
    "o004.petrunin.fig.ch17.08",
    "o004.petrunin.fig.ch17.09",
    "o004.petrunin.fig.ch17.10",
    "o004.petrunin.fig.ch17.11"
  ]
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.provenance.ch17.mppics-rights",
  "status": "component-rights-provenance-indexed-admitted",
  "locale": null,
  "source_path": "mppics/pic.mp; mppics/pic-hints.mp",
  "source_local_id": null,
  "correction_kind": "component-rights-and-generated-asset-provenance",
  "mathematics_changed": false,
  "asset_count": 11,
  "rights_id": "rights-mppics-macros-unresolved",
  "generated_mps_hash_status": "verified-in-two-clean-224-mps-set",
  "description": "All eleven beginfig identities and generated hashes are mapped while unresolved shared macro provenance remains separate."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.terminology.ch17.registry",
  "status": "mapped-admitted",
  "locale": "id-ID",
  "source_path": "backend/terminology-ch17-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "chapter-terminology-registry-map",
  "mathematics_changed": false,
  "term_count": 21,
  "term_id_range": "O004-TERM-0321..O004-TERM-0341",
  "canonical_projective_spelling": "proyektif",
  "historical_search_alias": "projektif"
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.provenance.ch17.production-model",
  "status": "non-author-production-assistance-disclosed",
  "locale": "id-ID",
  "source_path": "source/id-ID/title.tex; README.md",
  "source_local_id": null,
  "correction_kind": "non-author-production-provenance-disclosure",
  "mathematics_changed": false,
  "production_system": "OpenAI Codex gpt-5.6-sol, Ultra.",
  "creator_or_author": false,
  "source_and_human_credits_preserved": true
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch18.legacy-identifiers",
  "status": "source-identities-preserved-admitted",
  "locale": "id-ID",
  "source_path": "complex.tex; hints.tex#lines-2104-2257",
  "source_local_id": null,
  "correction_kind": "immutable-source-identifier-map",
  "mathematics_changed": false,
  "description": "Four misspelled source-local identifiers remain exact for reference stability."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch18.quotient-domain",
  "status": "source-domain-omission-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "complex.tex; hints.tex#lines-2104-2257",
  "source_local_id": null,
  "correction_kind": "missing-z-nonzero-domain",
  "mathematics_changed": false,
  "description": "The displayed quotient formula omits the required z != 0 qualification."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch18.extended-cross-ratio-convention",
  "status": "source-limit-mnemonic-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "complex.tex; hints.tex#lines-2104-2257",
  "source_local_id": null,
  "correction_kind": "compressed-infinity-limit-convention",
  "mathematics_changed": false,
  "description": "The mnemonic infinity/infinity = 1 compresses the required limiting convention."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch18.three-point-infinity-arithmetic",
  "status": "source-limit-case-gap-preserved-solutions-closure-required",
  "locale": "id-ID",
  "source_path": "complex.tex; hints.tex#lines-2104-2257",
  "source_local_id": null,
  "correction_kind": "unstated-infinity-arithmetic-cases",
  "mathematics_changed": false,
  "description": "The three-point Möbius hint uses ordinary arithmetic while allowing an input at infinity."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch18.four-sim-attribution",
  "status": "source-proof-attribution-compression-preserved",
  "locale": "id-ID",
  "source_path": "complex.tex; hints.tex#lines-2104-2257",
  "source_local_id": null,
  "correction_kind": "compressed-sas-dependency-attribution",
  "mathematics_changed": false,
  "description": "The four-similarity hint attributes modulus and argument equalities too compactly; the full SAS argument remains valid."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch18.holomorphic-limit",
  "status": "source-limit-convention-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "complex.tex; hints.tex#lines-2104-2257",
  "source_local_id": null,
  "correction_kind": "unstated-w-to-zero-limit",
  "mathematics_changed": false,
  "description": "The little-o definition uses the conventional but unstated limit w -> 0."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch18.movie-gap",
  "status": "external-service-offline-static-accessibility-gap-indexed",
  "locale": "id-ID",
  "source_path": "complex.tex#ex:movie",
  "source_local_id": "ex:movie",
  "correction_kind": "external-video-only-exercise",
  "mathematics_changed": false,
  "authored_hint": false,
  "offline_static_equivalent": false,
  "required_mastery_dependency": false,
  "url": "http://youtu.be/JX3VmDgiFnY"
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.caveat.ch18.chapters-14-20-rigor-inherited",
  "status": "source-rigor-caveat-preserved-admitted",
  "locale": "id-ID",
  "source_path": "intro.tex#line-142",
  "source_local_id": null,
  "correction_kind": "author-declared-rigor-limitation-inherited",
  "mathematics_changed": false,
  "scope": "Chapter 18 within Chapters 14-20",
  "parent_caveat_id": "o004.petrunin.caveat.ch14.chapters-14-20-rigor"
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.dependency.ch18.exercise-hint-topology",
  "status": "mapped-admitted",
  "locale": "id-ID",
  "source_path": "complex.tex; hints.tex#lines-2104-2257; backend/exercise-hints-v0.csv",
  "source_local_id": null,
  "correction_kind": "exercise-hint-topology",
  "mathematics_changed": false,
  "exercise_count": 16,
  "hint_block_count": 15,
  "exercise_registry_rows": 16,
  "unique_hint_ids": 15,
  "one_to_one_except_external_movie": true,
  "unhinted_exercise_count": 1
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.accessibility.ch18.figure-text-gap",
  "status": "backend-accessibility-gap-indexed-admitted",
  "locale": "id-ID",
  "source_path": "complex.tex; backend/figure-descriptions-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "figure-caption-and-alt-text-gap",
  "mathematics_changed": false,
  "body_figure_count": 6,
  "source_authored_alt_text_count": 0,
  "backend_description_count": 6,
  "semantic_reader_embedding_status": "pending",
  "asset_ids": [
    "o004.petrunin.fig.ch18.01",
    "o004.petrunin.fig.ch18.02",
    "o004.petrunin.fig.ch18.03",
    "o004.petrunin.fig.ch18.04",
    "o004.petrunin.fig.ch18.05",
    "o004.petrunin.fig.ch18.06"
  ]
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.provenance.ch18.mppics-rights",
  "status": "component-rights-provenance-indexed-admitted",
  "locale": null,
  "source_path": "mppics/pic.mp",
  "source_local_id": null,
  "correction_kind": "component-rights-and-generated-asset-provenance",
  "mathematics_changed": false,
  "asset_count": 6,
  "rights_id": "rights-mppics-macros-unresolved",
  "generated_mps_hash_status": "verified-in-two-clean-224-mps-set"
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.terminology.ch18.registry",
  "status": "mapped-admitted",
  "locale": "id-ID",
  "source_path": "backend/terminology-ch18-id-v0.csv",
  "source_local_id": null,
  "correction_kind": "chapter-terminology-registry-map",
  "mathematics_changed": false,
  "term_count": 29,
  "term_id_range": "O004-TERM-0342..O004-TERM-0370"
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.provenance.ch18.production-model",
  "status": "non-author-production-assistance-disclosed",
  "locale": "id-ID",
  "source_path": "source/id-ID/title.tex; README.md",
  "source_local_id": null,
  "correction_kind": "non-author-production-provenance-disclosure",
  "mathematics_changed": false,
  "production_system": "OpenAI Codex gpt-5.6-sol, Ultra.",
  "creator_or_author": false,
  "source_and_human_credits_preserved": true
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.wrapfigure-cyrillic-o",
  "status": "corrected-in-derivative-admitted",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "build-token-correction",
  "mathematics_changed": false,
  "description": "The source uses Cyrillic small o in a wrapfigure placement argument; the derivative uses valid Latin o."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.fermat-prime-definition",
  "status": "corrected-in-derivative-admitted",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "mathematical-definition-correction",
  "mathematics_changed": true,
  "description": "The overbroad source form 2^k+1 is replaced by the standard Fermat form 2^(2^m)+1 for nonnegative integer m."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.angle-trisection-qualification",
  "status": "qualified-in-derivative-admitted",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "quantifier-clarification",
  "mathematics_changed": false,
  "description": "The derivative states existentially that there is an angle whose trisection is not constructible."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.constructible-number-proof-outline",
  "status": "source-proof-outline-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "proof-completeness-gap",
  "mathematics_changed": false,
  "description": "The constructible-number characterization is supported by an outline rather than the load-bearing field-theory proof."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.set-square-proof-sketch",
  "status": "source-proof-sketch-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "proof-completeness-gap",
  "mathematics_changed": false,
  "description": "The set-square analogue is accompanied by a proof sketch rather than a complete formal proof."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.tool-comparison-exercise-dependence",
  "status": "source-exercise-dependence-preserved-solutions-closure-required",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "assessment-completeness-gap",
  "mathematics_changed": false,
  "description": "Several impossibility and tool-comparison subclaims remain exercises or hint-level directions."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.disabled-apollonius-hint",
  "status": "source-disabled-preserved-admitted",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "disabled-source-surface",
  "mathematics_changed": false,
  "description": "The translated Apollonius hint and pic-364 remain commented because the corresponding source exercise is disabled."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.pic366-centered-reflow",
  "status": "source-layout-reflow-admitted",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "layout-efficiency-repair",
  "mathematics_changed": false,
  "description": "The source-authored right-side wrapfigure and negative vertical skip left a sparse hint continuation in the Indonesian reader. The derivative centers pic-366 at the same source-order position, preserving all text, figure data, identifiers, and mathematics."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.chapters-14-20-rigor-inherited",
  "status": "source-rigor-caveat-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "inherited-rigor-caveat",
  "mathematics_changed": false,
  "description": "Chapter 19 inherits the author's warning that proofs in Chapters 14--20 are not always fully rigorous."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.figure-text-gap",
  "status": "reader-visual-pass-semantic-reader-pending",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "figure-caption-and-alt-text-gap",
  "mathematics_changed": false,
  "description": "Seven active-or-preserved source figures have backend descriptions; semantic embedding remains pending."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.exercise-hint-topology",
  "status": "complete-source-topology-admitted-solutions-pending",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "exercise-hint-closure",
  "mathematics_changed": false,
  "description": "All nine active exercises map bijectively to nine authored hints; full worked solutions remain pending."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.mppics-rights",
  "status": "component-rights-provenance-indexed-admitted",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "component-rights-and-generated-asset-provenance",
  "mathematics_changed": false,
  "description": "Generated assets retain the separate unresolved mppics macro rights notice."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.terminology-registry",
  "status": "mapped-admitted",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "chapter-terminology-registry-map",
  "mathematics_changed": false,
  "description": "Thirty Chapter 19 terms are mapped into the locale-neutral registry."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch19.production-model",
  "status": "non-author-production-assistance-disclosed",
  "locale": "id-ID",
  "source_path": "car.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "non-author-production-provenance-disclosure",
  "mathematics_changed": false,
  "description": "Production assistance is identified without replacing author or human credits.",
  "production_system": "OpenAI Codex gpt-5.6-sol, Ultra.",
  "creator_or_author": false,
  "source_and_human_credits_preserved": true
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.cross-ratio-sentence-fragment",
  "status": "corrected-in-derivative-admitted",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "natural-grammar-repair",
  "mathematics_changed": false,
  "description": "The authority omits the verb after the relative clause; the Indonesian reader supplies the copula without changing the mathematical condition."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.area-triangles-label-typo",
  "status": "source-typo-preserved-stable-reference",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "stable-label-preservation",
  "mathematics_changed": false,
  "description": "The internal equation label misspells triangles; it remains byte-stable so references continue to resolve."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.monotonicity-label-semantics",
  "status": "source-label-semantics-preserved",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "label-semantics-caveat",
  "mathematics_changed": false,
  "description": "The equation label suggests the opposite comparison; displayed mathematics and references are preserved."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.rectangle-reference-kind",
  "status": "corrected-in-derivative-admitted",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "cross-reference-kind",
  "mathematics_changed": false,
  "description": "A source cross-reference calls the area-rectangle theorem a proposition; the Indonesian reader uses its declared theorem kind."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.pic294-centered-layout-reflow",
  "status": "source-layout-reflow-admitted",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "layout-efficiency-repair",
  "mathematics_changed": false,
  "description": "The derivative centers pic-294 in a no-float block at the same source-order position, preserving figure data and mathematics."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.pic319-centered-layout-reflow",
  "status": "source-layout-reflow-admitted",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "layout-efficiency-repair",
  "mathematics_changed": false,
  "description": "The derivative centers pic-319 in a no-float block at the same source-order position, preserving figure data and mathematics."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.ring-of-sets-definition",
  "status": "source-terminology-caveat-preserved",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "terminology-scope",
  "mathematics_changed": false,
  "description": "The source calls closure under union and intersection a ring of sets; the local definition is preserved and the broader standard convention is disclosed."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.polygonal-intersection-proof-gap",
  "status": "source-proof-gap-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "proof-completeness-gap",
  "mathematics_changed": false,
  "description": "The polygonal-intersection claim is accompanied by an informal picture-based argument in the source."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.area-limit-archimedean-gap",
  "status": "source-proof-gap-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "proof-completeness-gap",
  "mathematics_changed": false,
  "description": "Zero-area and rectangle-area arguments use Archimedean or limiting facts without proving them in this chapter."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.area-ratio-domain-limitation",
  "status": "source-domain-limitation-preserved",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": "clm:area-ratio",
  "correction_kind": "implicit-domain-conditions",
  "mathematics_changed": false,
  "description": "The displayed area ratio and its proof divide by a common altitude, a triangle area, and base lengths without explicitly stating the required positive/nonzero conditions; the source statement is preserved and the domain limitation is disclosed."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.quadrable-existence-uniqueness-gap",
  "status": "source-proof-gap-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "proof-completeness-gap",
  "mathematics_changed": false,
  "description": "Existence and uniqueness for quadrable-set area invoke completeness and supremum reasoning that is not proved here."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.chapters-14-20-rigor-inherited",
  "status": "source-rigor-caveat-preserved-companion-closure-required",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "inherited-rigor-caveat",
  "mathematics_changed": false,
  "description": "Chapter 20 retains the author's warning that proofs in Chapters 14--20 are not always fully rigorous."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.exercise-hint-topology",
  "status": "complete-source-topology-admitted-solutions-pending",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "exercise-hint-closure",
  "mathematics_changed": false,
  "description": "All sixteen active exercises map bijectively to sixteen authored hints; full worked solutions remain a later layer."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.figure-text-gap",
  "status": "reader-visual-pass-semantic-reader-pending",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "figure-caption-and-alt-text-gap",
  "mathematics_changed": false,
  "description": "Eighteen Ch20 source figures have backend descriptions; semantic HTML/EPUB embedding remains pending."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.mppics-rights",
  "status": "component-rights-provenance-indexed-admitted",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "component-rights-and-generated-asset-provenance",
  "mathematics_changed": false,
  "description": "Generated assets retain the separate mppics macro rights notice and source provenance."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.terminology-registry",
  "status": "mapped-admitted",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "chapter-terminology-registry-map",
  "mathematics_changed": false,
  "description": "Thirty-one Chapter 20 terms are mapped into the locale-neutral registry."
}

{
  "entity_type": "correction",
  "id": "o004.petrunin.source.ch20.production-model",
  "status": "non-author-production-assistance-disclosed",
  "locale": "id-ID",
  "source_path": "area.tex; hints.tex",
  "source_local_id": null,
  "correction_kind": "non-author-production-provenance-disclosure",
  "mathematics_changed": false,
  "description": "Production assistance is identified without replacing author or human credits.",
  "production_system": "OpenAI Codex gpt-5.6-sol, Ultra.",
  "creator_or_author": false,
  "source_and_human_credits_preserved": true
}