{ "blanket_license_claimed": false, "book_license": "CC-BY-SA-4.0", "component_rights": [ { "attribution_required": true, "change_notice_required": true, "component": "Applied Combinatorics Indonesian derivative", "component_audit_state": "primary-source-and-open-runtime-rights-closure-release-ready", "component_control_id": "R012-BOOK", "component_scope": "repository book source and figure files represented in the exact 750-file pinned archive; external build/runtime services and request-gated instructor material are excluded", "component_status": "verified", "copyright_notice": "Copyright 2006-2025 Mitchel T. Keller and William T. Trotter", "creators": [ "Mitchel T. Keller", "William T. Trotter" ], "distributed_in_html": true, "edition_id": "r012-upstream-33b20df670d1", "evidence": "source/LICENSE.md sha256=bae5ccc863235f984a52c07d011e48a86c0c12f923be2dedd8624c7abdc22c6c; source/source/main.ptx sha256=ad4bf0c6e1d6645c939f776b9a7db24138efe44afdf18848b5efa31d9280ed58; both authors remain named and the localized shortlicense states independent translation/localization, change provenance, and nonendorsement", "id": "r012:rights:book-cc-by-sa-4.0", "license": "CC BY-SA 4.0", "license_control_expression": "CC-BY-SA-4.0", "license_uri": "https://creativecommons.org/licenses/by-sa/4.0/", "limitations": [ "CC BY-SA 4.0 does not license patent or trademark rights or imply endorsement", "external build/runtime dependencies are not relicensed by the repository license", "request-gated instructor solution material is outside the public archive and this edition" ], "non_endorsement_required": true, "record_type": "rights", "recorded_at": "2026-08-22T22:30:00+02:00", "required_release_action": "preserve both authors; CC BY-SA 4.0; change notice; no endorsement", "resource_id": "R012", "role": "book/source", "schema": "modular-translation-backend.rights", "schema_version": "0.1.0", "sharealike_required": true, "status": "source_frozen", "supersedes": null, "version": "33b20df670d1f8d98266cd2f4a287a79b01649ea", "workflow": "codex-applied-combinatorics-id" }, { "component": "PreTeXt CLI", "component_control_id": "R012-PTX-CLI", "component_scope": "PreTeXt CLI (build tool)", "component_status": "exclude_from_release", "distributed_in_html": false, "edition_id": "r012-upstream-33b20df670d1", "evidence": "pretext-2.49.1.dist-info/METADATA sha256=caf9161cd1682145b954832b1f96b1823c4c0ef6763443e37a1ddb5c8a01a7a7; licenses/LICENSE sha256=8b1ba204bb69a0ade2bfcf65ef294a920f6bb361b317dba43c7ef29d96332b9b", "id": "r012:rights:component:r012-ptx-cli", "license": "GPL-3.0-or-later", "license_uri": "https://spdx.org/licenses/GPL-3.0-or-later.html", "notice_preservation_required": false, "record_type": "rights", "recorded_at": "2026-08-22T22:30:00+02:00", "required_release_action": "exclude tools/ptx-2.49.1 virtual environment from release", "resource_id": "R012", "role": "build tool", "schema": "modular-translation-backend.rights", "schema_version": "0.1.0", "status": "source_frozen", "supersedes": null, "version": "2.49.1", "workflow": "codex-applied-combinatorics-id" }, { "component": "PreTeXt core reader runtime", "component_control_id": "R012-PTX-CORE", "component_scope": "PreTeXt core reader runtime (HTML CSS/JS runtime)", "component_status": "release_ready", "distributed_in_html": true, "edition_id": "r012-upstream-33b20df670d1", "evidence": "Final rights witness qa/FINAL_RIGHTS_PUBLICATION_READINESS_20260822_2.json: 4011 bytes sha256=168709a20864308b1341d4af2f4651af3796846cee8b221c2652cb538ba74bc4, result=pass and release_ready=true. Rights/source package: 45 files/23394977 bytes; inventory sha256=ba21da028966a761a846ad72f37d2ac76523b8b0c6504c72917d92c60f7b5e5c. It preserves GPLv3, exact PreTeXt COPYING, core source snapshot commit 5836dfcbdc342841acdbe266871a204c8a9dc8cc (3670367 bytes sha256=c67e75545e91e1601ddff51edc69079bf24275cf0a1503cd4057c89c39d5ef3f), Indonesian read-aloud modified source and patches, deterministic JS/CSS locks/build evidence, and the full jQuery 3.3.1 MIT notice. Final public reader source/output/html-public-2026.08.22.2 is 1500 files/287651617 bytes manifest sha256=db6a9dce25c27a2a858e9ce6148528f8c9c05279c0b03966a9d7b2e9cf4a319e", "id": "r012:rights:component:r012-ptx-core", "license": "GPL-2.0-only OR GPL-3.0-only; bundled jQuery 3.3.1 MIT", "license_uri": "https://spdx.org/licenses/", "notice_preservation_required": true, "record_type": "rights", "recorded_at": "2026-08-22T22:30:00+02:00", "required_release_action": "Retain the exact final rights witness, GPL/COPYING/core source, Indonesian modification source/patch, jQuery MIT notice, build locks and final reader manifest; keep book-content CC BY-SA licensing distinct from runtime licensing", "resource_id": "R012", "role": "HTML CSS/JS runtime", "schema": "modular-translation-backend.rights", "schema_version": "0.1.0", "status": "structurally_verified", "supersedes": null, "version": "2.49.1 / core 5836dfcbdc342841acdbe266871a204c8a9dc8cc", "workflow": "codex-applied-combinatorics-id" }, { "component": "PreFigure", "component_control_id": "R012-PREFIG", "component_scope": "PreFigure (diagram-generation tool)", "component_status": "no_blocker_if_tool_excluded", "distributed_in_html": false, "edition_id": "r012-upstream-33b20df670d1", "evidence": "prefig-0.7.4.dist-info/METADATA sha256=362490dd7df8fe88dfbc5d1bf102c3cd747ef69c6809bd5e4dc4af8bcb9eb176; LICENSE sha256=3972dc9744f6499f0f9b2dbf76696f2ae7ad8af9b23dde66d6af86c9dfb36986", "id": "r012:rights:component:r012-prefig", "license": "GPL-3.0-or-later", "license_uri": "https://spdx.org/licenses/GPL-3.0-or-later.html", "notice_preservation_required": false, "record_type": "rights", "recorded_at": "2026-08-22T22:30:00+02:00", "required_release_action": "exclude tool environment; generated SVGs contain no copied PreFigure source/header", "resource_id": "R012", "role": "diagram-generation tool", "schema": "modular-translation-backend.rights", "schema_version": "0.1.0", "status": "source_frozen", "supersedes": null, "version": "0.7.4", "workflow": "codex-applied-combinatorics-id" }, { "component": "Runestone Services runtime", "component_control_id": "R012-RUNESTONE", "component_scope": "Runestone Services runtime (interactive HTML runtime)", "component_status": "release_ready", "distributed_in_html": true, "edition_id": "r012-upstream-33b20df670d1", "evidence": "Final rights witness qa/FINAL_RIGHTS_PUBLICATION_READINESS_20260822_2.json: 4011 bytes sha256=168709a20864308b1341d4af2f4651af3796846cee8b221c2652cb538ba74bc4, result=pass and release_ready=true. Exact public reader source/output/html-public-2026.08.22.2: 1500 files/287651617 bytes manifest sha256=db6a9dce25c27a2a858e9ce6148528f8c9c05279c0b03966a9d7b2e9cf4a319e. Browser QA reports zero forbidden runtime requests, zero 5xx responses and zero console errors. Rights/source package: 45 files/23394977 bytes; inventory sha256=ba21da028966a761a846ad72f37d2ac76523b8b0c6504c72917d92c60f7b5e5c; includes GPLv3, exact Runestone LICENSE, full pinned bccfe5e7ea3cfc03e7bf835fc72d64c4374e08ec source snapshot, lock/config/build evidence and pruning patch source. Families 249/580, orphan sql-wasm.wasm, stale 8.2.6 files and AppleDouble sidecars are excluded The emitted offline reader removes the upstream public Jobe client identifier, disables USE_API_KEY, and preserves the unmodified pinned corresponding source separately.", "id": "r012:rights:component:r012-runestone", "license": "GPL-3.0-or-later plus retained open third-party dependencies; Handsontable 7.2.2 excluded from public release", "license_uri": "https://spdx.org/licenses/", "notice_preservation_required": true, "record_type": "rights", "recorded_at": "2026-08-22T22:30:00+02:00", "required_release_action": "Retain the exact final rights witness, public-reader manifest, notices/corresponding-source package and deterministic pruning/sanitization patch; do not reintroduce excluded families 249/580, sql-wasm.wasm, stale runtime files or AppleDouble sidecars; do not claim a bit-for-bit Runestone 8.2.7 rebuild", "resource_id": "R012", "role": "interactive HTML runtime", "schema": "modular-translation-backend.rights", "schema_version": "0.1.0", "status": "structurally_verified", "supersedes": null, "version": "8.2.7 distribution; source-content match bccfe5e7ea3cfc03e7bf835fc72d64c4374e08ec", "workflow": "codex-applied-combinatorics-id" }, { "component": "Runestone webpack third-party components", "component_control_id": "R012-RUNESTONE-3P", "component_scope": "Runestone webpack third-party components (embedded dependencies)", "component_status": "release_ready", "distributed_in_html": true, "edition_id": "r012-upstream-33b20df670d1", "evidence": "Final rights witness qa/FINAL_RIGHTS_PUBLICATION_READINESS_20260822.json: 3564 bytes sha256=68849248f6583674acb1623714c92a56f1c9ca3c24f453185f9d1349a94cc282, result=pass and release_ready=true. The rights package conservatively notices exactly 68 retained open packages: 50 BSD-3-Clause, 13 MIT, 2 ISC, 1 0BSD, 1 Public Domain and 1 BSD-or-MIT. Handsontable 7.2.2 family 249 (10 files/9267918 bytes), datafile family 580 (8 files/14254 bytes) and orphan sql-wasm.wasm (1 file/1183841 bytes) are absent; final browser QA reports zero forbidden requests. sql.js remains conservatively noticed although its executable WASM payload is excluded", "id": "r012:rights:component:r012-runestone-3p", "license": "MIT; BSD-3-Clause; ISC; 0BSD; Public Domain; BSD/MIT; Handsontable 7.2.2 excluded from public release", "license_uri": "https://spdx.org/licenses/", "notice_preservation_required": true, "record_type": "rights", "recorded_at": "2026-08-22T22:30:00+02:00", "required_release_action": "Preserve the exact 68-package notice registry, emitted notices, lock evidence, rights-package inventory and final browser/static receipts; fail closed if any excluded Handsontable/datafile/sql-wasm payload or loader is reintroduced", "resource_id": "R012", "role": "embedded dependencies", "schema": "modular-translation-backend.rights", "schema_version": "0.1.0", "status": "structurally_verified", "supersedes": null, "version": "Runestone 8.2.7 lock at bccfe5e7ea3cfc03e7bf835fc72d64c4374e08ec", "workflow": "codex-applied-combinatorics-id" } ], "correction_status_counts": { "authority-discrepancy": 10, "corrected-in-target": 344 }, "corrections": [ { "affected_unit": "r012:unit:thm_polya_polya", "affected_unit_ids": [ "r012:unit:thm_polya_polya" ], "date": "2026-08-20", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0001", "evidence": "theorem xml:id thm_polya_polya is at line 78; the same unspaced ref resolves at line 115; exact source-closure replay found this as the sole unresolved xref", "id": "r012:correction:AC-ADV-0001", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "fcbafca10468485ecd123dfd547d96fc4638ead93c4bedbf8d8f0e8860668de2", "source_locator": "line 94", "source_path": "source/s_polya_polya.ptx", "status": "corrected-in-target", "summary": "xref ref value has a trailing ASCII space and therefore does not resolve to the existing theorem ID", "supersedes": null, "target_action": "trim the target ref to thm_polya_polya without changing the authority capture", "target_file_sha256": "7d1570a5b13a86ce458970637477e20f80a839a711388cf6b0eb0658f0239032", "upstream_disposition": "retain for the single deduplicated end-of-corpus upstream report if still present and unreported", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:resource:applied-combinatorics", "affected_unit_ids": [ "r012:resource:applied-combinatorics" ], "date": "2026-08-20", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0002", "evidence": "root LICENSE.md is CC BY-SA 4.0 legal code; official open-source page identifies source and figures; no second license or NOTICE file occurs in the 750-file authority archive", "id": "r012:correction:AC-ADV-0002", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "9abd9e9c2e9d1a12977cb41e5e27367fd47c5afc6b30a637504329eae28a9e40", "source_locator": "copyright sentence", "source_path": "README.md", "status": "authority-discrepancy", "summary": "README says copyright 2006-2020 while source/main.ptx and the official 2017.3 reader say 2006-2025", "supersedes": null, "target_action": "use the source/main.ptx and official-reader 2006-2025 notice for the Indonesian edition; preserve the upstream README unchanged until its later localized target edit", "target_file_sha256": "9abd9e9c2e9d1a12977cb41e5e27367fd47c5afc6b30a637504329eae28a9e40", "upstream_disposition": "documentation-only discrepancy; include upstream only if still useful after the full-corpus deduplication pass", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:7887209d465df248ff1a3433", "affected_unit_ids": [ "r012:unit:auto:7887209d465df248ff1a3433" ], "date": "2026-08-20", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0003", "evidence": "the fragment sits between two complete acknowledgement sentences and lacks a predicate", "id": "r012:correction:AC-ADV-0003", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "c3766c44a610d835edcfe221780ed959dd208db91366202c6ff3df5d2904baf0", "source_locator": "line 90", "source_path": "source/main.ptx", "status": "corrected-in-target", "summary": "acknowledgement contains the sentence fragment 'David Farmer's work on the initial conversion from LaTeX to PreTeXt.'", "supersedes": null, "target_action": "translate it as a complete coordinated acknowledgement without changing the credited work", "target_file_sha256": "ad4bf0c6e1d6645c939f776b9a7db24138efe44afdf18848b5efa31d9280ed58", "upstream_disposition": "retain for end-of-corpus deduplication; low-priority prose correction", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ch_prologue", "affected_unit_ids": [ "r012:unit:ch_prologue" ], "date": "2026-08-20", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0004", "evidence": "context requires 'may reveal', 'will be set aside', and an adjectival description of Bob", "id": "r012:correction:AC-ADV-0004", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "57828e4c1c92b548bc0ec3e5f408420e6973ff2fd98fa12bf02e4e3ad2337a8a", "source_locator": "lines 3 and 11", "source_path": "source/ch_prologue.ptx", "status": "corrected-in-target", "summary": "prologue has three determinate English grammar defects: 'will may reveal'; 'conversations will set aside'; and 'He is a hard working and conscientious'", "supersedes": null, "target_action": "render the intended propositions in grammatical Indonesian while preserving meaning and topology", "target_file_sha256": "32732ea17b8adc348c3aedc491c23be81280d945c5972ada5190f650fc88ef35", "upstream_disposition": "retain for end-of-corpus deduplication; low-priority prose correction", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:fig_intro_necklace", "affected_unit_ids": [ "r012:unit:fig_intro_necklace" ], "date": "2026-08-20", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0005", "evidence": "adjacent paragraph provides all described counts/colors/equivalence facts; figure source and caption remain unchanged", "id": "r012:correction:AC-ADV-0005", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "838dd846a1ffaa824af12034fc404b71267d9275f60bbc07f69fc342238ba644", "source_locator": "lines 39-40", "source_path": "source/s_intro_enum.ptx", "status": "corrected-in-target", "summary": "figure description merely repeats the caption and does not describe the distinguishing visual information", "supersedes": null, "target_action": "replace only the localized description with the adjacent prose's exact visual relation: four necklaces; first three rotation-equivalent; fourth distinct", "target_file_sha256": "0f52742e270f7273d0f37dfa40bf20b5b7f3dbdc453b85c7830f26793c6d923f", "upstream_disposition": "retain for end-of-corpus deduplication as an accessibility correction", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_intro_graph", "affected_unit_ids": [ "r012:unit:s_intro_graph" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0006", "evidence": "the surrounding list defines standard graph terminology and the mathematical tuple and length remain unchanged", "id": "r012:correction:AC-ADV-0006", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "65e5fdb8e5475a7f9aa74ae32fc3aff47727a48c2caff2408388c48a02c1dda0", "source_locator": "line 41", "source_path": "source/s_intro_graph.ptx", "status": "corrected-in-target", "summary": "sentence omits an article in 'is cycle of length 4'", "supersedes": null, "target_action": "render the intended proposition as grammatical Indonesian: adalah siklus dengan panjang 4", "target_file_sha256": "163fbcca7f146d789cc0e86d8ee7cb06f8adcef6c7938ae7a1642ab8a4995aa3", "upstream_disposition": "retain for end-of-corpus deduplication; low-priority prose correction", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ex_radiostations", "affected_unit_ids": [ "r012:unit:ex_radiostations" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0007", "evidence": "the parallel preceding clause establishes the intended quantifier pattern; target says each of eight stations is more than 200 miles from the other seven", "id": "r012:correction:AC-ADV-0007", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "65e5fdb8e5475a7f9aa74ae32fc3aff47727a48c2caff2408388c48a02c1dda0", "source_locator": "lines 118-120", "source_path": "source/s_intro_graph.ptx", "status": "corrected-in-target", "summary": "radio-station question contains the malformed phrase '8 stations each of is more than 200 miles away from the other 7'", "supersedes": null, "target_action": "render the intended pairwise-distance question grammatically without changing any numbers or inequality direction", "target_file_sha256": "163fbcca7f146d789cc0e86d8ee7cb06f8adcef6c7938ae7a1642ab8a4995aa3", "upstream_disposition": "retain for end-of-corpus deduplication; low-priority prose correction", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:21546ae1bdf04f7552481516", "affected_unit_ids": [ "r012:unit:auto:21546ae1bdf04f7552481516" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0008", "evidence": "the paragraph begins 'Is determining whether' and presents alternatives requiring a response", "id": "r012:correction:AC-ADV-0008", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "65e5fdb8e5475a7f9aa74ae32fc3aff47727a48c2caff2408388c48a02c1dda0", "source_locator": "line 91", "source_path": "source/s_intro_graph.ptx", "status": "corrected-in-target", "summary": "the final comparison is interrogative but ends with a period", "supersedes": null, "target_action": "use a question mark in the Indonesian translation", "target_file_sha256": "163fbcca7f146d789cc0e86d8ee7cb06f8adcef6c7938ae7a1642ab8a4995aa3", "upstream_disposition": "retain for end-of-corpus deduplication; punctuation correction", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:21546ae1bdf04f7552481516", "affected_unit_ids": [ "r012:unit:auto:21546ae1bdf04f7552481516" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0009", "evidence": "source lines 76-80 and 82-84 use cycle length; the graph-theoretic convention is length for a cycle", "id": "r012:correction:AC-ADV-0009", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "65e5fdb8e5475a7f9aa74ae32fc3aff47727a48c2caff2408388c48a02c1dda0", "source_locator": "line 91", "source_path": "source/s_intro_graph.ptx", "status": "corrected-in-target", "summary": "the paragraph switches from cycle length to cycle size although the preceding definition and questions use length", "supersedes": null, "target_action": "translate the cycle invariant consistently as panjang while preserving the value 500", "target_file_sha256": "163fbcca7f146d789cc0e86d8ee7cb06f8adcef6c7938ae7a1642ab8a4995aa3", "upstream_disposition": "retain for end-of-corpus deduplication only if upstream clarification remains useful", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_intro_graph", "affected_unit_ids": [ "r012:unit:s_intro_graph" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0010", "evidence": "descriptions were derived from direct inspection of the three referenced assets; IDs geometry mathematics and source figures are preserved", "id": "r012:correction:AC-ADV-0010", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "65e5fdb8e5475a7f9aa74ae32fc3aff47727a48c2caff2408388c48a02c1dda0", "source_locator": "lines 28 60 and 109", "source_path": "source/s_intro_graph.ptx", "status": "corrected-in-target", "summary": "all three figure descriptions merely repeat their captions and omit the visual information needed for accessibility", "supersedes": null, "target_action": "replace only the Indonesian descriptions with grounded descriptions of the two graph diagrams and radio-station layout", "target_file_sha256": "163fbcca7f146d789cc0e86d8ee7cb06f8adcef6c7938ae7a1642ab8a4995aa3", "upstream_disposition": "retain for end-of-corpus deduplication as one accessibility correction", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_intro_number", "affected_unit_ids": [ "r012:unit:s_intro_number" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0011", "evidence": "a slower response is the expected outcome of the factoring challenge; the protected numbers Sage inputs outputs URLs and mathematics remain exact", "id": "r012:correction:AC-ADV-0011", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "df59042d0d0e6b9d8352f16c0e031c1947fb7ca6b4fede2c4a5073661fbb48da", "source_locator": "lines 3 51 and 75", "source_path": "source/s_intro_number.ptx", "status": "corrected-in-target", "summary": "the response-time condition is logically reversed and three nearby phrases contain determinate grammar defects", "supersedes": null, "target_action": "state that an unexpectedly fast response within two minutes warrants larger primes; render the intended two 20-digit numbers and the two grammatical phrases naturally", "target_file_sha256": "7f78856946263640746b3174e717e00e191ad637a2a9ad1596c136536e5e372e", "upstream_disposition": "retain the reversed response-time condition for the single end-of-corpus report; include prose defects only if concise", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_intro_geom", "affected_unit_ids": [ "r012:unit:s_intro_geom" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0012", "evidence": "the descriptions are grounded in direct asset inspection; all six SVG PNG and PDF files remain byte-identical", "id": "r012:correction:AC-ADV-0012", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "3c63ffb86f367ce3c7435d83b994e9f7825f4c02661f723e1efb007c0b1ea4af", "source_locator": "figure descriptions", "source_path": "source/s_intro_geom.ptx", "status": "corrected-in-target", "summary": "both figure descriptions repeat their captions rather than conveying the diagrams", "supersedes": null, "target_action": "describe the four-line arrangement with 11 numbered regions and the 10-vertex 15-edge graph whose drawn crossings are not vertices", "target_file_sha256": "deb0382991e58fdf887374fbb747a081df97ded4585b6d3d9a3a352011706009", "upstream_disposition": "retain for end-of-corpus deduplication as one accessibility correction", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_intro_opt", "affected_unit_ids": [ "r012:unit:s_intro_opt" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0013", "evidence": "the two unchanged source images and adjacent prose establish the graph weights highlighted tour and spanning-tree relation", "id": "r012:correction:AC-ADV-0013", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "2c9d21b190f4b77693c5c31c34c8f77d3733e1ac445ee229c050232888a4aa18", "source_locator": "lines 24 and 33 plus both figure descriptions", "source_path": "source/s_intro_opt.ptx", "status": "corrected-in-target", "summary": "the section contains three determinate English grammar defects and both image descriptions duplicate their captions", "supersedes": null, "target_action": "render home base edge-weight agreement and endpoint wording grammatically; replace descriptions with topology-bearing Indonesian descriptions", "target_file_sha256": "3f46a102eb25f15c8fece238063df7ebce17cf1a83724e68490ebc2810c2d85a", "upstream_disposition": "retain for end-of-corpus deduplication only if the compact accessibility and prose corrections remain useful", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_intro_sudoku", "affected_unit_ids": [ "r012:unit:s_intro_sudoku" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0014", "evidence": "the adjacent prose identifies the left puzzle as harder and the right puzzle as easier; all math and image attributes remain exact", "id": "r012:correction:AC-ADV-0014", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "f012c3809fcb966c5f6351270599f66ee18de8d7ac43fd9651d9a946ceb5afa0", "source_locator": "lines 7 13 and 17", "source_path": "source/s_intro_sudoku.ptx", "status": "corrected-in-target", "summary": "the image description repeats the caption and two sentences contain missing-subject or number-agreement errors", "supersedes": null, "target_action": "supply a grounded description of the two 9-by-9 grids and render the intended classroom recommendation and crossword reference grammatically", "target_file_sha256": "342fd6449b8be008d59c26e192a057deb24fc81f0338b201a355702c77cdc69f", "upstream_disposition": "retain for end-of-corpus deduplication as one accessibility/prose correction", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:thm_ErdosSzekeres", "affected_unit_ids": [ "r012:unit:thm_ErdosSzekeres" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0015", "evidence": "all 63 mathematical nodes remain byte-equivalent and the translated proof retains the same two extension arguments", "id": "r012:correction:AC-ADV-0015", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "388ee7b3ed2b27b1bdd35f765fb3ac1c3bcdad39a71d656e9f380b7d626ae43a", "source_locator": "lines 29 and 32", "source_path": "source/s_basics_pigeonhole.ptx", "status": "corrected-in-target", "summary": "the proof contains the phrases 'a increasing subsequence' and 'any decreasing sequence of with'", "supersedes": null, "target_action": "render both proof steps grammatically without changing any formula or inference", "target_file_sha256": "f38179d5b5391544ee86881dfd275242105b6b30488a42e09e9ff62d3a4f043c", "upstream_disposition": "retain for end-of-corpus deduplication only if prose corrections fit the final concise report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_basics_questions", "affected_unit_ids": [ "r012:unit:s_basics_questions" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0016", "evidence": "the paragraph defines n as set size and x as target value; 78 of 79 math nodes remain exact and the sole n-to-x delta is recorded", "id": "r012:correction:AC-ADV-0016", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "d7bfb614e943ae5679c19c221dd9a8df1ca6e7e3212488cdcaf16bc112d56ebd", "source_locator": "lines 20 25 31 and 34", "source_path": "source/s_basics_complexity.ptx", "status": "corrected-in-target", "summary": "one membership test compares to n instead of target x; a question ends with a period; two phrases have determinate grammar errors", "supersedes": null, "target_action": "compare each member of S with x; use interrogative punctuation; render 'their sum' and 'two subsets' grammatically", "target_file_sha256": "988325b29b7ef8c903141b0e29f715d320bd27a26ebb1ab38a0c2e842ead9929", "upstream_disposition": "retain the n-to-x error for the single end-of-corpus report; add the three prose defects only if concise", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_basics_big-oh", "affected_unit_ids": [ "r012:unit:s_basics_big-oh" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0017", "evidence": "the section interprets the functions as operation counts; the later little-o paragraph supplies positivity; the graph-algorithm chapter states the root-to-all-vertices problem", "id": "r012:correction:AC-ADV-0017", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "1968cc1ade4e85d0f5747350a278b7ea98df7f9c4d2dee40afde8ee51243b2b5", "source_locator": "lines 3 and 9", "source_path": "source/s_basics_big-oh.ptx", "status": "corrected-in-target", "summary": "the inequality-only Big-O definition omits sign conditions and the shortest-path example omits its source vertex", "supersedes": null, "target_action": "restrict the operation-count functions to nonnegative values and c to a positive constant; specify paths from one root to every other vertex", "target_file_sha256": "53baa7de0a3b4dd67297c5f45f886e4d9695b680a08eb945c75b782571e5d016", "upstream_disposition": "retain both high-confidence clarifications for the single end-of-corpus report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_basics_exact", "affected_unit_ids": [ "r012:unit:s_basics_exact" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0018", "evidence": "the corrected construction partitions the first mn integers into m blocks of n and now proves the stated sharp bound; the following sentence already defines P by an O(n^c) solving algorithm", "id": "r012:correction:AC-ADV-0018", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "a527d3ff7b1c24acdec58cca3728c4c2695a1ba631b36b759c20af285af4c60c", "source_locator": "lines 6 9 and 39", "source_path": "source/s_basics_exact.ptx", "status": "corrected-in-target", "summary": "the claimed sharp Erdos-Szekeres construction has wrong block offsets an unoriented inter-block order m=1 instead of m+1 and i-1 instead of i=1; the P introduction conflates solving with certificate language", "supersedes": null, "target_action": "use B_i={j+(i-1)n}; order earlier blocks before later blocks; use bounds 1+(i-1)n through in; exclude length m+1; restore i=1; define P by polynomial-time solvability", "target_file_sha256": "310cbd2b07319e68a4dc6b0a3f1ea4f15189da38f86b418504c75056ffdd2c37", "upstream_disposition": "high-priority candidate for the single end-of-corpus upstream report after deduplication", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_basics_discussion", "affected_unit_ids": [ "r012:unit:s_basics_discussion" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0019", "evidence": "the sentence begins with an interrogative construction and the target preserves all quotation and DVD surfaces", "id": "r012:correction:AC-ADV-0019", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "6827bc685d08d600ea9f443d0d7f50e1655c308a175a76e9c9d9d04f9d749387", "source_locator": "line 6", "source_path": "source/s_basics_discussion.ptx", "status": "corrected-in-target", "summary": "Alice's interrogative sentence ends with a period", "supersedes": null, "target_action": "end the Indonesian question with a question mark", "target_file_sha256": "ed10714662183a87cdf8524b8b8bb1ca05dc0f8728ccd03548d06f12cd550c2a", "upstream_disposition": "retain only if punctuation items are included in the final concise report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_strings_intro", "affected_unit_ids": [ "r012:unit:s_strings_intro" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0020", "evidence": "all other 84 math payloads remain exact and the value is unchanged", "id": "r012:correction:AC-ADV-0020", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "5a70d7f3be850a45e270f0375707a2dbdbd6a2e5cbc2aaa0565221953a62ce21", "source_locator": "numeral 1\\, 000", "source_path": "source/s_strings_intro.ptx", "status": "corrected-in-target", "summary": "a TeX thin-space command is followed by an unintended literal space inside the thousands grouping", "supersedes": null, "target_action": "remove only the literal space so the protected expression is 1\\,000", "target_file_sha256": "1ef6c1ebd360b9b3cc5dfc0b60c2bce0eacdc6e0c4d90697dc72064013d8a532", "upstream_disposition": "retain only if minor typesetting items are included in the final concise report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:prop_strings_permutations", "affected_unit_ids": [ "r012:unit:prop_strings_permutations" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0021", "evidence": "81 of 82 math nodes remain exact; the corrected expression now matches the formal definition earlier in the section", "id": "r012:correction:AC-ADV-0021", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "e8efbccc03283372911f9286e57745bb16e44321b4cf80fe646f3905b30da3d1", "source_locator": "line 68", "source_path": "source/s_strings_permutations.ptx", "status": "corrected-in-target", "summary": "the displayed string contains an unintended comma after x_2, contradicting the section's concatenation notation", "supersedes": null, "target_action": "remove only the comma so the expression is x_1x_2\\dots x_n", "target_file_sha256": "e01aa2e23f87267b6ef1202949b5a83c8aebd932ff84215d76fe81b2accffb8d", "upstream_disposition": "retain only if minor notation items are included in the final concise report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:194154af66152789c9879dd0", "affected_unit_ids": [ "r012:unit:auto:194154af66152789c9879dd0" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0022", "evidence": "direct substitution gives C(n,2)=1+2+...+(n-1), independently checked for n=2 through 19", "id": "r012:correction:AC-ADV-0022", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "cefd74162a511feedb22e506355859468e069666bdd557dbe5678685edc31891", "source_locator": "line 84", "source_path": "source/s_strings_comb-proof.ptx", "status": "corrected-in-target", "summary": "for k=1 the hockey-stick identity is described as the sum of the first n positive integers although the displayed sum ends at n-1", "supersedes": null, "target_action": "describe it as the sum of all positive integers smaller than n while preserving the displayed mathematics", "target_file_sha256": "899bc0f9c406a38917b43da4011f4a21cc3f9c31aa4824b6766cf624c055cf35", "upstream_disposition": "retain as a high-confidence candidate for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:194154af66152789c9879dd0", "affected_unit_ids": [ "r012:unit:auto:194154af66152789c9879dd0" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0023", "evidence": "the correction is lexical only and changes no protected mathematical content", "id": "r012:correction:AC-ADV-0023", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "cefd74162a511feedb22e506355859468e069666bdd557dbe5678685edc31891", "source_locator": "line 84", "source_path": "source/s_strings_comb-proof.ptx", "status": "corrected-in-target", "summary": "occurrence is misspelled as occurence", "supersedes": null, "target_action": "render the word correctly as kemunculan in Indonesian", "target_file_sha256": "899bc0f9c406a38917b43da4011f4a21cc3f9c31aa4824b6766cf624c055cf35", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:strings_lattice-paths_buzz-bucky-avoid", "affected_unit_ids": [ "r012:unit:strings_lattice-paths_buzz-bucky-avoid" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0024", "evidence": "the same venue name appears correctly throughout the preceding statements and feedback", "id": "r012:correction:AC-ADV-0024", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "512aab7df34709c0f8742266a577d898c94076f508ed7d7a35c024175410ea64", "source_locator": "line 145", "source_path": "source/s_strings_lattice-paths-binomial-thm_activity.ptx", "status": "corrected-in-target", "summary": "the proper name The Varsity is misspelled as The Varstiy in correct-answer feedback", "supersedes": null, "target_action": "restore the established spelling The Varsity", "target_file_sha256": "cccc14503e25618aae30123751fb61cb5bbf17654a19fdab6db80547aa9da4b2", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_strings_lattice-paths-binomial-thm_activity", "affected_unit_ids": [ "r012:unit:s_strings_lattice-paths-binomial-thm_activity" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0025", "evidence": "the correction is language-only and leaves the Catalan formula and instructional claim unchanged", "id": "r012:correction:AC-ADV-0025", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "512aab7df34709c0f8742266a577d898c94076f508ed7d7a35c024175410ea64", "source_locator": "line 157", "source_path": "source/s_strings_lattice-paths-binomial-thm_activity.ptx", "status": "corrected-in-target", "summary": "the phrase come up a number times is missing of and is ungrammatical", "supersedes": null, "target_action": "render the intended claim naturally as akan muncul beberapa kali", "target_file_sha256": "cccc14503e25618aae30123751fb61cb5bbf17654a19fdab6db80547aa9da4b2", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_strings_multinom", "affected_unit_ids": [ "r012:unit:s_strings_multinom" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0026", "evidence": "the preceding three-color construction sets k_3=n-(k_1+k_2) and the later theorem sums only over k_1+...+k_r=n", "id": "r012:correction:AC-ADV-0026", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "38871b274a85056afb39172284c7922a16f79b10f64ba28faec95762c93d3236", "source_locator": "lines 15-20", "source_path": "source/s_strings_multinom.ptx", "status": "corrected-in-target", "summary": "the general multinomial notation omits the required condition that the lower indices are nonnegative integers summing to n", "supersedes": null, "target_action": "state the domain condition immediately before the general formula without changing the formula", "target_file_sha256": "90c2c2cd7b1ce9ea2c72dbd37e2d744c8b97c01abbfba16ba5601a317c783dfe", "upstream_disposition": "retain as a high-confidence candidate for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_strings_discussion", "affected_unit_ids": [ "r012:unit:s_strings_discussion" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0027", "evidence": "the correction is lexical only and all 13 math nodes remain exact", "id": "r012:correction:AC-ADV-0027", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "fa3adff267747c73b23415b22d6ab835450389f664db833aafa0a2ecf4a75a55", "source_locator": "line 5", "source_path": "source/s_strings_discussion.ptx", "status": "corrected-in-target", "summary": "the phrase noting that that Alice contains a duplicated that", "supersedes": null, "target_action": "render the intended clause once in natural Indonesian", "target_file_sha256": "6a66b2962567f9f14e8f942a537ca1220cf7488701b7db4883e60264679c250b", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:fig_latticepath", "affected_unit_ids": [ "r012:unit:fig_latticepath" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0028", "evidence": "direct inspection of the pinned PNG and SVG confirms the inclusive coordinate endpoints", "id": "r012:correction:AC-ADV-0028", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "29d00d819c29d0f64bf1f9309199ff1ecc398977c98a4f42e7c9bd05516fe444", "source_locator": "line 95", "source_path": "source/s_strings_bin-coeff.ptx", "status": "corrected-in-target", "summary": "the accessibility description says the coordinate grid has 13 columns and 8 rows of dots although labels 0 through 13 and 0 through 8 imply 14 point-columns and 9 point-rows", "supersedes": null, "target_action": "describe 14 columns and 9 rows of lattice points while retaining the 13-by-8 step dimensions", "target_file_sha256": "5d186bb6d1f8580c4436c11a57ec237f851f19fa2dde757eb594772cd57f57ea", "upstream_disposition": "retain as a high-confidence accessibility correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:63809514fdd78b6a7680d8bc", "affected_unit_ids": [ "r012:unit:auto:63809514fdd78b6a7680d8bc" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0029", "evidence": "the prose partitions cases by one two and three selected nonzero positions; the corrected factor still totals 999 because C(3,1)=C(3,2)", "id": "r012:correction:AC-ADV-0029", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "75706130e8b30b79d4aa44561d0f867f937a847523cd642c54cd39fd6ed6cf34", "source_locator": "lines 62 and 64", "source_path": "source/s_strings_exercises.ptx", "status": "corrected-in-target", "summary": "the license-plate solution assigns 9^2 to the one-nonzero-digit case and 9^1 to the two-nonzero-digit case", "supersedes": null, "target_action": "use C(3,1)9^1+C(3,2)9^2+C(3,3)9^3 in both inline and displayed derivations", "target_file_sha256": "a574403b718cb5fb1b065621fe177b9ffede9afddaee2099780da1030bbbea3f", "upstream_disposition": "retain as a high-confidence mathematical correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:43a9810f61a1acce2a6dfbb0", "affected_unit_ids": [ "r012:unit:auto:43a9810f61a1acce2a6dfbb0" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0030", "evidence": "the surrounding construction requires four digit positions and no protected mathematics changes", "id": "r012:correction:AC-ADV-0030", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "75706130e8b30b79d4aa44561d0f867f937a847523cd642c54cd39fd6ed6cf34", "source_locator": "line 196", "source_path": "source/s_strings_exercises.ptx", "status": "corrected-in-target", "summary": "choose for positions is a typographical error", "supersedes": null, "target_action": "render the intended instruction as choose four positions in Indonesian", "target_file_sha256": "a574403b718cb5fb1b065621fe177b9ffede9afddaee2099780da1030bbbea3f", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:f33646ebd118d8ad1a982688", "affected_unit_ids": [ "r012:unit:auto:f33646ebd118d8ad1a982688" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0031", "evidence": "the correction is lexical and changes no protected mathematics", "id": "r012:correction:AC-ADV-0031", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "75706130e8b30b79d4aa44561d0f867f937a847523cd642c54cd39fd6ed6cf34", "source_locator": "line 283", "source_path": "source/s_strings_exercises.ptx", "status": "corrected-in-target", "summary": "we must multiple uses the wrong word form", "supersedes": null, "target_action": "render the intended verb multiply naturally in Indonesian", "target_file_sha256": "a574403b718cb5fb1b065621fe177b9ffede9afddaee2099780da1030bbbea3f", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:c018bc07ff1667da16b82d71", "affected_unit_ids": [ "r012:unit:auto:c018bc07ff1667da16b82d71" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0032", "evidence": "the correction is lexical and the solution logic remains unchanged", "id": "r012:correction:AC-ADV-0032", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "75706130e8b30b79d4aa44561d0f867f937a847523cd642c54cd39fd6ed6cf34", "source_locator": "line 349", "source_path": "source/s_strings_exercises.ptx", "status": "corrected-in-target", "summary": "Se set aside three pencils has an initial-letter typo", "supersedes": null, "target_action": "render the unambiguous intended We set aside three pencils", "target_file_sha256": "a574403b718cb5fb1b065621fe177b9ffede9afddaee2099780da1030bbbea3f", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:4fcdb65e8e76c20e3130e98e", "affected_unit_ids": [ "r012:unit:auto:4fcdb65e8e76c20e3130e98e" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0033", "evidence": "the same geographical referent is unambiguous in the exercise", "id": "r012:correction:AC-ADV-0033", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "75706130e8b30b79d4aa44561d0f867f937a847523cd642c54cd39fd6ed6cf34", "source_locator": "line 493", "source_path": "source/s_strings_exercises.ptx", "status": "corrected-in-target", "summary": "Wisonsinites misspells Wisconsinites", "supersedes": null, "target_action": "render the demonym consistently as orang Wisconsin", "target_file_sha256": "a574403b718cb5fb1b065621fe177b9ffede9afddaee2099780da1030bbbea3f", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_induction_statements", "affected_unit_ids": [ "r012:unit:s_induction_statements" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0034", "evidence": "all six Sage and inline-code surfaces remain byte-equivalent and only explanatory prose changes", "id": "r012:correction:AC-ADV-0034", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "be283c5ccef79670fa4807e024a8eaa66597b89e606041f30cea6e93b68bb039", "source_locator": "final paragraph", "source_path": "source/s_induction_statements.ptx", "status": "corrected-in-target", "summary": "calculate out sumrecursive(4) should be by hand is grammatically incomplete and contains an extraneous should be", "supersedes": null, "target_action": "state the intended instruction to calculate sumrecursive(4) by hand before modifying the SageMath cell", "target_file_sha256": "00a57138d20dcf7df5e9c8149531629ace6d6ad694553468be5b53ef72f0c03a", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_induction_induction", "affected_unit_ids": [ "r012:unit:s_induction_induction" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0035", "evidence": "the seven examples immediately preceding the sentence include both equations and inequalities", "id": "r012:correction:AC-ADV-0035", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "fddad4881315c8bc3f93831c14e8090d4723d0f425d78eaf1aa20127773f8299", "source_locator": "paragraph 3", "source_path": "source/s_induction_induction.ptx", "status": "corrected-in-target", "summary": "open statements can be considered as equations is false as an umbrella claim because four preceding examples are inequalities", "supersedes": null, "target_action": "describe open statements as conditions rather than equations", "target_file_sha256": "bd12000f92443620cb711cd9208011b789728e495772942f12f2d375c005b3aa", "upstream_disposition": "retain as a high-confidence semantic correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_induction_induction", "affected_unit_ids": [ "r012:unit:s_induction_induction" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0036", "evidence": "the added spacing changes presentation only and the numerical expression is identical", "id": "r012:correction:AC-ADV-0036", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "fddad4881315c8bc3f93831c14e8090d4723d0f425d78eaf1aa20127773f8299", "source_locator": "paragraph 4 list item 3", "source_path": "source/s_induction_induction.ptx", "status": "corrected-in-target", "summary": "4,000,000,000n2^n visually fuses the factor n with 2^n", "supersedes": null, "target_action": "insert a TeX thin multiplication space to obtain 4,000,000,000n\\,2^n", "target_file_sha256": "bd12000f92443620cb711cd9208011b789728e495772942f12f2d375c005b3aa", "upstream_disposition": "retain only if minor mathematical typesetting items are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_induction_strong-induction", "affected_unit_ids": [ "r012:unit:s_induction_strong-induction" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0037", "evidence": "the correction is grammatical only and all 34 math nodes remain exact", "id": "r012:correction:AC-ADV-0037", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "2495a37fb41715503e397fc3f363cc79c7e3dcf09a60f522ffb8b06dcb5e24e2", "source_locator": "line 14", "source_path": "source/s_induction_strong-induction.ptx", "status": "corrected-in-target", "summary": "he's was totally perplexed combines two incompatible auxiliary constructions", "supersedes": null, "target_action": "render the intended predicate once as ia benar-benar bingung", "target_file_sha256": "11cc882d2c28299b54c4c00fcdafb134680ebc26b6d414672c380c2502fbf726", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_induction_strong-induction", "affected_unit_ids": [ "r012:unit:s_induction_strong-induction" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0038", "evidence": "the standard equivalence of ordinary and strong induction preserves the proposition while correcting the stated justification", "id": "r012:correction:AC-ADV-0038", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "2495a37fb41715503e397fc3f363cc79c7e3dcf09a60f522ffb8b06dcb5e24e2", "source_locator": "line 24", "source_path": "source/s_induction_strong-induction.ptx", "status": "corrected-in-target", "summary": "the text says strong induction is valid because it is stronger than ordinary induction; strength would not imply validity and the two principles are logically equivalent", "supersedes": null, "target_action": "state that strong induction follows from ordinary induction and that its displayed form permits a stronger induction hypothesis", "target_file_sha256": "11cc882d2c28299b54c4c00fcdafb134680ebc26b6d414672c380c2502fbf726", "upstream_disposition": "retain as a high-confidence logical correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:induction_PI_proof-step-2", "affected_unit_ids": [ "r012:unit:induction_PI_proof-step-2" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0039", "evidence": "the m element already provides math delimiters and all other 31 math nodes remain exact", "id": "r012:correction:AC-ADV-0039", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "c420e7203991944fc9116a6f0581ec09c4dd36a821732ab5fbcf0822d95d2e14", "source_locator": "line 148", "source_path": "source/s_induction_peer_instruction.ptx", "status": "corrected-in-target", "summary": "an inline PreTeXt m element begins with an extra literal dollar sign before the displaystyle command", "supersedes": null, "target_action": "remove only the stray dollar sign and retain the complete summation formula", "target_file_sha256": "39fecf37de9b682dd543227312d1e06f6b8d94d5a3655c68f7b06f181afbb82c", "upstream_disposition": "retain only if minor mathematical typesetting items are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:prop_sumodd", "affected_unit_ids": [ "r012:unit:prop_sumodd" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0040", "evidence": "the corrected formula is the exact k+1 decomposition of the sum of the first odd integers", "id": "r012:correction:AC-ADV-0040", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "e330207bb86c34234529a8408dd46df51173c5b21bb713479a625a70dc05553b", "source_locator": "second proposition proof", "source_path": "source/s_induction_proofs.ptx", "status": "corrected-in-target", "summary": "the inductive decomposition writes sum from i=1 to k of 2i-1 without grouping the summand and therefore does not equal k squared plus 2k+1 under standard precedence", "supersedes": null, "target_action": "place parentheses around the summand 2i-1 inside the finite sum", "target_file_sha256": "3ba7b68cf4415c8b4f239aac6cc2f04c7c7cd246317b7cb7d808cdf25fb4d261", "upstream_disposition": "retain as a high-confidence mathematical correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:induction_proofs_hanoi", "affected_unit_ids": [ "r012:unit:induction_proofs_hanoi" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0041", "evidence": "the corrected expression matches both direct algebra and the proposition being proved", "id": "r012:correction:AC-ADV-0041", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "e330207bb86c34234529a8408dd46df51173c5b21bb713479a625a70dc05553b", "source_locator": "first adaptive reading exercise block 10", "source_path": "source/s_induction_proofs.ptx", "status": "corrected-in-target", "summary": "the algebra says 2(2^k-1)+1=2^{k+1}+1 although direct simplification gives 2^{k+1}-1", "supersedes": null, "target_action": "change only the final plus sign to minus", "target_file_sha256": "3ba7b68cf4415c8b4f239aac6cc2f04c7c7cd246317b7cb7d808cdf25fb4d261", "upstream_disposition": "retain as a high-confidence mathematical correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:induction_proofs_ind-hyp", "affected_unit_ids": [ "r012:unit:induction_proofs_ind-hyp" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0042", "evidence": "the correction is grammatical only and interactive structure remains exact", "id": "r012:correction:AC-ADV-0042", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "e330207bb86c34234529a8408dd46df51173c5b21bb713479a625a70dc05553b", "source_locator": "second reading exercise statement", "source_path": "source/s_induction_proofs.ptx", "status": "corrected-in-target", "summary": "why the making the inductive hypothesis contains an extraneous article", "supersedes": null, "target_action": "render the intended question naturally without the extra article", "target_file_sha256": "3ba7b68cf4415c8b4f239aac6cc2f04c7c7cd246317b7cb7d808cdf25fb4d261", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_induction_recursion", "affected_unit_ids": [ "r012:unit:s_induction_recursion" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0043", "evidence": "the two horizontal dominoes occupy the final two columns so the remaining tiling necessarily precedes them", "id": "r012:correction:AC-ADV-0043", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "eb374c70d8aa27cbd8ce82e4935db0c8dbbc49fb42f9bdf8e7dd1d58c03f8829", "source_locator": "lines 41 and 105", "source_path": "source/s_induction_recursion.ptx", "status": "corrected-in-target", "summary": "proceeding them reverses the geometric relation of the tiling that occupies the columns before the two final horizontal dominoes", "supersedes": null, "target_action": "use preceding them in both duplicated presentations", "target_file_sha256": "31220b1f13819047888da693d0746afefd59e02bdd0d3f21dd4a8a3be7d93dbe", "upstream_disposition": "retain as a high-confidence semantic typo for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_induction_recursion_sorting", "affected_unit_ids": [ "r012:unit:s_induction_recursion_sorting" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0044", "evidence": "the correction is grammatical and changes no algorithm or formula", "id": "r012:correction:AC-ADV-0044", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "eb374c70d8aa27cbd8ce82e4935db0c8dbbc49fb42f9bdf8e7dd1d58c03f8829", "source_locator": "merge-sort introduction", "source_path": "source/s_induction_recursion.ptx", "status": "corrected-in-target", "summary": "To present merge sort must first develop a strategy omits its subject", "supersedes": null, "target_action": "restore the unambiguous subject we in Indonesian", "target_file_sha256": "31220b1f13819047888da693d0746afefd59e02bdd0d3f21dd4a8a3be7d93dbe", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_induction_recursion_sorting", "affected_unit_ids": [ "r012:unit:s_induction_recursion_sorting" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0045", "evidence": "the sentence is syntactically interrogative and no protected surface changes", "id": "r012:correction:AC-ADV-0045", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "eb374c70d8aa27cbd8ce82e4935db0c8dbbc49fb42f9bdf8e7dd1d58c03f8829", "source_locator": "merge-sort introduction question", "source_path": "source/s_induction_recursion.ptx", "status": "corrected-in-target", "summary": "the interrogative How do we merge these two sequences ends with a period", "supersedes": null, "target_action": "use a question mark", "target_file_sha256": "31220b1f13819047888da693d0746afefd59e02bdd0d3f21dd4a8a3be7d93dbe", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_induction_gcd", "affected_unit_ids": [ "r012:unit:s_induction_gcd" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0046", "evidence": "the corrected target compiles and executes to the declared output 1; authority and target input hashes are bound in the module QA", "id": "r012:correction:AC-ADV-0046", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "eb374c70d8aa27cbd8ce82e4935db0c8dbbc49fb42f9bdf8e7dd1d58c03f8829", "source_locator": "GCD Sage input", "source_path": "source/s_induction_recursion.ptx", "status": "corrected-in-target", "summary": "the function body and sample call have flattened indentation and the literal Sage/Python cell raises IndentationError", "supersedes": null, "target_action": "restore the uniquely determined if else block indentation and place gcd(12,5) outside the function body", "target_file_sha256": "31220b1f13819047888da693d0746afefd59e02bdd0d3f21dd4a8a3be7d93dbe", "upstream_disposition": "retain as a high-confidence executable correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_induction_recursion_sorting", "affected_unit_ids": [ "r012:unit:s_induction_recursion_sorting" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0047", "evidence": "the corrected target compiles and produces the exact declared sorted list; authority and target input hashes are bound in the module QA", "id": "r012:correction:AC-ADV-0047", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "eb374c70d8aa27cbd8ce82e4935db0c8dbbc49fb42f9bdf8e7dd1d58c03f8829", "source_locator": "merge-sort Sage input", "source_path": "source/s_induction_recursion.ptx", "status": "corrected-in-target", "summary": "the top-level assignments loop branches and branch bodies have flattened indentation and the literal cell raises IndentationError", "supersedes": null, "target_action": "restore the uniquely determined loop and nested branch indentation", "target_file_sha256": "31220b1f13819047888da693d0746afefd59e02bdd0d3f21dd4a8a3be7d93dbe", "upstream_disposition": "retain as a high-confidence executable correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_multigraphs", "affected_unit_ids": [ "r012:unit:s_graphs_multigraphs" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0048", "evidence": "the correction is grammatical and preserves the loop definition exactly", "id": "r012:correction:AC-ADV-0048", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "71fead5d351bc82755a7b96c6c1cdd18f9861b7f3ee8f57abc21643cb22d61c1", "source_locator": "line 3", "source_path": "source/s_graphs_multigraphs.ptx", "status": "corrected-in-target", "summary": "goes through the nearby countryside and the returns contains an extraneous article", "supersedes": null, "target_action": "render the intended motion as traveling through the countryside and then returning to the originating city", "target_file_sha256": "55ca7c99900b79c09ebe20a225633673bad61154a5428e39626123d13358c5a5", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ch_graphs", "affected_unit_ids": [ "r012:unit:ch_graphs" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0049", "evidence": "the correction is grammatical and does not change the graph-coloring question", "id": "r012:correction:AC-ADV-0049", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "8f3eb2558f0ae82cf8dbf5bf400fea3b6c45787224da2d76f2fac3431d3e2eb5", "source_locator": "first introduction paragraph", "source_path": "source/ch_graphs.ptx", "status": "corrected-in-target", "summary": "for a given layouts of transmitters mismatches a singular determiner with a plural noun", "supersedes": null, "target_action": "render the intended singular as a given layout of transmitters", "target_file_sha256": "396c29fab34a7269e890e6a751885e2acae9c7159620bc11ca1b1dec6efaa1cb", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_complexity", "affected_unit_ids": [ "r012:unit:s_graphs_complexity" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0050", "evidence": "the displayed partition and connectivity certificate are unchanged", "id": "r012:correction:AC-ADV-0050", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "5ae54d15a9650ca07ae54e8307e6158c7662730deb2b1b65d241188d02654e59", "source_locator": "second paragraph", "source_path": "source/s_graphs_complexity.ptx", "status": "corrected-in-target", "summary": "a partition of the vertex sets V=V1 union V2 incorrectly pluralizes the single vertex set V", "supersedes": null, "target_action": "render the intended singular as a partition of the vertex set", "target_file_sha256": "31395d4745428087b4c0a50d6ae4d21eb7d1f8e0cc1ee0002748e4be37fe0c58", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:73fd1315cdab25d3b53da422", "affected_unit_ids": [ "r012:unit:auto:73fd1315cdab25d3b53da422" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0051", "evidence": "exhaustive enumeration through n=8 confirms g(n)=3g(n-1)-g(n-3); only the description was wrong", "id": "r012:correction:AC-ADV-0051", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "6b500086b41d321b3d82ad8a8a943f304c56305e515a38b9057db55100ef3e65", "source_locator": "exercise 3 solution", "source_path": "source/s_induction_exercises.ptx", "status": "corrected-in-target", "summary": "after fixing the leading symbol as 1 the solution calls the remaining g(n-1)-g(n-3) objects length-(n-1) strings that start with 1", "supersedes": null, "target_action": "describe them as allowable length-(n-1) suffixes following the already fixed leading 1", "target_file_sha256": "b62e3a974080f3bb9250268d58dbffa32fca430590141986d9493beebfa4a274", "upstream_disposition": "retain as a high-confidence mathematical prose correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:babbba21fe5f81ce4c9d5354", "affected_unit_ids": [ "r012:unit:auto:babbba21fe5f81ce4c9d5354" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0052", "evidence": "the surrounding enumeration and independent exact-cover replay both identify the case as n=3", "id": "r012:correction:AC-ADV-0052", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "6b500086b41d321b3d82ad8a8a943f304c56305e515a38b9057db55100ef3e65", "source_locator": "exercise 4 solution first paragraph", "source_path": "source/s_induction_exercises.ptx", "status": "corrected-in-target", "summary": "the paragraph enumerates the 11 configurations for n=3 but refers to each n=2 L-tile case", "supersedes": null, "target_action": "change that single reference from n=2 to n=3", "target_file_sha256": "b62e3a974080f3bb9250268d58dbffa32fca430590141986d9493beebfa4a274", "upstream_disposition": "retain as a high-confidence mathematical correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:babbba21fe5f81ce4c9d5354", "affected_unit_ids": [ "r012:unit:auto:babbba21fe5f81ce4c9d5354" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0053", "evidence": "the recurrence decomposition consistently removes tiles at one end and exposes the remaining board", "id": "r012:correction:AC-ADV-0053", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "6b500086b41d321b3d82ad8a8a943f304c56305e515a38b9057db55100ef3e65", "source_locator": "exercise 4 solution second paragraph", "source_path": "source/s_induction_exercises.ptx", "status": "corrected-in-target", "summary": "the decomposition says one column was covered although the recurrence construction leaves the leading column uncovered", "supersedes": null, "target_action": "render the intended state as one column left uncovered", "target_file_sha256": "b62e3a974080f3bb9250268d58dbffa32fca430590141986d9493beebfa4a274", "upstream_disposition": "retain as a high-confidence mathematical prose correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:babbba21fe5f81ce4c9d5354", "affected_unit_ids": [ "r012:unit:auto:babbba21fe5f81ce4c9d5354" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0054", "evidence": "independent exact-cover counts t(1..7)=1,5,11,33,87,241,655 satisfy t(n)=t(n-1)+4t(n-2)+2t(n-3)", "id": "r012:correction:AC-ADV-0054", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "6b500086b41d321b3d82ad8a8a943f304c56305e515a38b9057db55100ef3e65", "source_locator": "exercise 4 solution recurrence explanation", "source_path": "source/s_induction_exercises.ptx", "status": "corrected-in-target", "summary": "a pair of L-tiles occupies three columns but the explanatory term is 2t(n-2) while the displayed recurrence correctly uses 2t(n-3)", "supersedes": null, "target_action": "change the explanatory inline term to 2t(n-3)", "target_file_sha256": "b62e3a974080f3bb9250268d58dbffa32fca430590141986d9493beebfa4a274", "upstream_disposition": "retain as a high-confidence mathematical correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:babbba21fe5f81ce4c9d5354", "affected_unit_ids": [ "r012:unit:auto:babbba21fe5f81ce4c9d5354" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0055", "evidence": "the values were independently reproduced by exact-cover enumeration", "id": "r012:correction:AC-ADV-0055", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "6b500086b41d321b3d82ad8a8a943f304c56305e515a38b9057db55100ef3e65", "source_locator": "exercise 4 solution", "source_path": "source/s_induction_exercises.ptx", "status": "corrected-in-target", "summary": "the prompt requests t(7) but the supplied solution stops after the recurrence and initial values", "supersedes": null, "target_action": "append the recurrence replay t(4)=33 t(5)=87 t(6)=241 and t(7)=655", "target_file_sha256": "b62e3a974080f3bb9250268d58dbffa32fca430590141986d9493beebfa4a274", "upstream_disposition": "retain as a high-confidence solution-completeness correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:c13a0c2d885e130530fde24c", "affected_unit_ids": [ "r012:unit:auto:c13a0c2d885e130530fde24c" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0056", "evidence": "the corrected display is syntactically balanced and the identity was replayed for n=1 through 500", "id": "r012:correction:AC-ADV-0056", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "6b500086b41d321b3d82ad8a8a943f304c56305e515a38b9057db55100ef3e65", "source_locator": "exercise 9 solution display", "source_path": "source/s_induction_exercises.ptx", "status": "corrected-in-target", "summary": "three numerator products in the displayed induction algebra are missing closing TeX parentheses", "supersedes": null, "target_action": "insert exactly the three missing closing parentheses without changing the algebra", "target_file_sha256": "b62e3a974080f3bb9250268d58dbffa32fca430590141986d9493beebfa4a274", "upstream_disposition": "retain as a high-confidence mathematical typesetting correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:8cbb71879170a7a1d71de4e4", "affected_unit_ids": [ "r012:unit:auto:8cbb71879170a7a1d71de4e4" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0057", "evidence": "the second identity follows from the Binomial Theorem at x=2 but no absent proofs were added to the derivative", "id": "r012:correction:AC-ADV-0057", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "6b500086b41d321b3d82ad8a8a943f304c56305e515a38b9057db55100ef3e65", "source_locator": "exercise 9 statement and solution", "source_path": "source/s_induction_exercises.ptx", "status": "authority-discrepancy", "summary": "the exercise requests induction and combinatorial proofs for each of two identities but the supplied solution contains only the induction proof of the first identity", "supersedes": null, "target_action": "translate only the supplied solution and record the missing three requested proof surfaces without inventing them", "target_file_sha256": "b62e3a974080f3bb9250268d58dbffa32fca430590141986d9493beebfa4a274", "upstream_disposition": "retain as a high-confidence solution-completeness discrepancy for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:c13a0c2d885e130530fde24c; r012:unit:auto:2e7ff7b9f0bcc4afbfccbeaa", "affected_unit_ids": [ "r012:unit:auto:c13a0c2d885e130530fde24c", "r012:unit:auto:2e7ff7b9f0bcc4afbfccbeaa" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0058", "evidence": "the correction is grammatical only and all associated claims were independently checked", "id": "r012:correction:AC-ADV-0058", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "6b500086b41d321b3d82ad8a8a943f304c56305e515a38b9057db55100ef3e65", "source_locator": "exercise 9 and exercise 15 induction steps", "source_path": "source/s_induction_exercises.ptx", "status": "corrected-in-target", "summary": "two induction-step sentences use the duplicated construction assume or suppose that ... that", "supersedes": null, "target_action": "render each intended induction hypothesis once in natural Indonesian", "target_file_sha256": "b62e3a974080f3bb9250268d58dbffa32fca430590141986d9493beebfa4a274", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:e438802b2d5527a91381cbc2", "affected_unit_ids": [ "r012:unit:auto:e438802b2d5527a91381cbc2" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0059", "evidence": "a binary comparison tree distinguishing n! permutations has depth at least ceil(log2(n!)); Stirling yields Omega(n log n)", "id": "r012:correction:AC-ADV-0059", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "6b500086b41d321b3d82ad8a8a943f304c56305e515a38b9057db55100ef3e65", "source_locator": "exercise 20 statement and hint", "source_path": "source/s_induction_exercises.ptx", "status": "corrected-in-target", "summary": "the n log n lower bound is overclaimed for arbitrary integer sorting and generic steps while the decision-tree proof applies to comparison sorting; the hint also reverses the worst-branch fraction as at most one half", "supersedes": null, "target_action": "restrict the claim to comparison-based sorting and comparisons and state that some worst-case branch retains at least one half of the possibilities", "target_file_sha256": "b62e3a974080f3bb9250268d58dbffa32fca430590141986d9493beebfa4a274", "upstream_disposition": "retain as a high-confidence mathematical-model correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_intro", "affected_unit_ids": [ "r012:unit:s_graphs_intro" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0060", "evidence": "the symbolic notation is unchanged and the corrected description agrees with the immediately following definition", "id": "r012:correction:AC-ADV-0060", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "f17cbec7d92281c30e1e9fe295c50074fe86c476a8c8d429b47ed47bf878a9a8", "source_locator": "C_n notation description", "source_path": "source/s_graphs_intro.ptx", "status": "corrected-in-target", "summary": "the notation description calls C_n a path although the adjacent prose and standard notation identify C_n as a cycle", "supersedes": null, "target_action": "describe C_n as the cycle on n vertices", "target_file_sha256": "a42f033ed36d3c45415caed3962ca381ee886a6719bb669c337f0e2178264320", "upstream_disposition": "retain as a high-confidence notation-description correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_intro", "affected_unit_ids": [ "r012:unit:s_graphs_intro" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0061", "evidence": "proper containment is the standard and logically necessary maximality condition", "id": "r012:correction:AC-ADV-0061", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "f17cbec7d92281c30e1e9fe295c50074fe86c476a8c8d429b47ed47bf878a9a8", "source_locator": "component definition", "source_path": "source/s_graphs_intro.ptx", "status": "corrected-in-target", "summary": "the maximality expansion forbids any connected H-prime containing H merely as a subgraph; because H is a subgraph of itself the literal condition rejects every component", "supersedes": null, "target_action": "require that H not be a proper subgraph of a larger connected H-prime", "target_file_sha256": "a42f033ed36d3c45415caed3962ca381ee886a6719bb669c337f0e2178264320", "upstream_disposition": "retain as a high-confidence mathematical-definition correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:000e983ed23e271a7d797945", "affected_unit_ids": [ "r012:unit:auto:000e983ed23e271a7d797945" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0062", "evidence": "the corrected endpoints match e=vw and all other 194 math nodes remain exact", "id": "r012:correction:AC-ADV-0062", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "f17cbec7d92281c30e1e9fe295c50074fe86c476a8c8d429b47ed47bf878a9a8", "source_locator": "degree-sum theorem proof", "source_path": "source/s_graphs_intro.ptx", "status": "corrected-in-target", "summary": "the proof fixes e=vw but then says the degree terms for undefined x and y count e", "supersedes": null, "target_action": "replace only those two inline variables by v and w", "target_file_sha256": "a42f033ed36d3c45415caed3962ca381ee886a6719bb669c337f0e2178264320", "upstream_disposition": "retain as a high-confidence mathematical-proof correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:rq-graphs_intro_degree", "affected_unit_ids": [ "r012:unit:rq-graphs_intro_degree" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0063", "evidence": "the referenced figure and accepted answers remain unchanged and were independently checked", "id": "r012:correction:AC-ADV-0063", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "f17cbec7d92281c30e1e9fe295c50074fe86c476a8c8d429b47ed47bf878a9a8", "source_locator": "first reading question", "source_path": "source/s_graphs_intro.ptx", "status": "corrected-in-target", "summary": "the prompt contains the typo vertext d", "supersedes": null, "target_action": "render the intended phrase as vertex d in Indonesian", "target_file_sha256": "a42f033ed36d3c45415caed3962ca381ee886a6719bb669c337f0e2178264320", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_eulerham", "affected_unit_ids": [ "r012:unit:s_graphs_eulerham" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0064", "evidence": "both SageMath input surfaces remain byte-exact", "id": "r012:correction:AC-ADV-0064", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "977b9d2aff08266b3eeb0c4f49dcdbc706f57b3c2f0293b7ce27b438662809a3", "source_locator": "paragraph after first SageMath cell", "source_path": "source/s_graphs_eulerham.ptx", "status": "corrected-in-target", "summary": "evaluate the run the code above contains two competing verb phrases", "supersedes": null, "target_action": "render the intended instruction as run the code above in Indonesian", "target_file_sha256": "5e64872bb309e718ab3c59721d3dc83daf0633f43fd5d32e3e38fbc3384fd1af", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_eulerham", "affected_unit_ids": [ "r012:unit:s_graphs_eulerham" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0065", "evidence": "the correction is grammatical only and changes no computation", "id": "r012:correction:AC-ADV-0065", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "977b9d2aff08266b3eeb0c4f49dcdbc706f57b3c2f0293b7ce27b438662809a3", "source_locator": "paragraph after first SageMath cell", "source_path": "source/s_graphs_eulerham.ptx", "status": "corrected-in-target", "summary": "running a log time is a clear typo for running a long time", "supersedes": null, "target_action": "render the intended meaning that execution may take a long time", "target_file_sha256": "5e64872bb309e718ab3c59721d3dc83daf0633f43fd5d32e3e38fbc3384fd1af", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:alg-eulerian", "affected_unit_ids": [ "r012:unit:alg-eulerian" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0066", "evidence": "the algorithm proof defines the stopping test as an empty set of unused incident edges and all step order and xrefs remain exact", "id": "r012:correction:AC-ADV-0066", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "977b9d2aff08266b3eeb0c4f49dcdbc706f57b3c2f0293b7ce27b438662809a3", "source_locator": "Euler algorithm nested step c", "source_path": "source/s_graphs_eulerham.ptx", "status": "corrected-in-target", "summary": "the walk step says it stops at a vertex for which all edges have been traversed although the proof and N_j condition only require all edges incident with the current vertex to have been traversed", "supersedes": null, "target_action": "state the halt condition with the necessary incident-edge scope", "target_file_sha256": "5e64872bb309e718ab3c59721d3dc83daf0633f43fd5d32e3e38fbc3384fd1af", "upstream_disposition": "retain as a high-confidence algorithmic correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_eulerham", "affected_unit_ids": [ "r012:unit:s_graphs_eulerham" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0067", "evidence": "the Euler and Hamilton properties were independently verified from the displayed graph", "id": "r012:correction:AC-ADV-0067", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "977b9d2aff08266b3eeb0c4f49dcdbc706f57b3c2f0293b7ce27b438662809a3", "source_locator": "paragraph introducing fig_eulham", "source_path": "source/s_graphs_eulerham.ptx", "status": "corrected-in-target", "summary": "the sentence stating that the first graph is both Eulerian and Hamiltonian omits its copula", "supersedes": null, "target_action": "render the intended complete assertion in Indonesian", "target_file_sha256": "5e64872bb309e718ab3c59721d3dc83daf0633f43fd5d32e3e38fbc3384fd1af", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:thm_graphs_bipartite", "affected_unit_ids": [ "r012:unit:thm_graphs_bipartite" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0068", "evidence": "the correction is grammatical only and the bipartite-coloring proof was independently checked", "id": "r012:correction:AC-ADV-0068", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "b8da69da68dd609e649ba8f15c6edb1a5caf84311a7ed5cfbf6ab630dcb93c2c", "source_locator": "bipartite theorem proof line 93", "source_path": "source/s_graphs_color.ptx", "status": "corrected-in-target", "summary": "the sentence after a period begins with lowercase suppose not", "supersedes": null, "target_action": "render the intended new sentence with normal capitalization in Indonesian", "target_file_sha256": "393283965adba26d97a0f0b82fe6b165be5fec574d38932e5d0f908bae381f7d", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_color; r012:unit:thm_intgraphcol", "affected_unit_ids": [ "r012:unit:s_graphs_color", "r012:unit:thm_intgraphcol" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0069", "evidence": "the lists are comma-separated set notation and the other 352 protected math nodes remain exact", "id": "r012:correction:AC-ADV-0069", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "b8da69da68dd609e649ba8f15c6edb1a5caf84311a7ed5cfbf6ab630dcb93c2c", "source_locator": "ordered vertex lists at lines 287 and 356", "source_path": "source/s_graphs_color.ptx", "status": "corrected-in-target", "summary": "two displayed vertex lists omit the comma between the ellipsis and v_n", "supersedes": null, "target_action": "insert the missing comma in exactly those two math nodes", "target_file_sha256": "393283965adba26d97a0f0b82fe6b165be5fec574d38932e5d0f908bae381f7d", "upstream_disposition": "retain only if concise mathematical typesetting corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:thm_intgraphcol", "affected_unit_ids": [ "r012:unit:thm_intgraphcol" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0070", "evidence": "the subsequent clique and omega(G)-1 argument requires and now has exactly this scope", "id": "r012:correction:AC-ADV-0070", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "b8da69da68dd609e649ba8f15c6edb1a5caf84311a7ed5cfbf6ab630dcb93c2c", "source_locator": "interval-graph First Fit proof line 359", "source_path": "source/s_graphs_color.ptx", "status": "corrected-in-target", "summary": "ordering intervals by increasing left endpoint only bounds the left endpoints of previously colored neighbors but the proof incorrectly says all neighbors", "supersedes": null, "target_action": "restrict the statement to neighbors that have already been colored", "target_file_sha256": "393283965adba26d97a0f0b82fe6b165be5fec574d38932e5d0f908bae381f7d", "upstream_disposition": "retain as a high-confidence proof correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_planar", "affected_unit_ids": [ "r012:unit:s_graphs_planar" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0071", "evidence": "the corrected one-face-overlap argument is valid for bridges in bounded or unbounded faces", "id": "r012:correction:AC-ADV-0071", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "728ca20436df13c54c43dbecdd780fef74c72653cd3ca2fb587c144e3ea38868", "source_locator": "Euler formula bridge case line 85", "source_path": "source/s_graphs_planar.ptx", "status": "corrected-in-target", "summary": "the proof says every face of both components remains a face and assumes a bridge lies on the unbounded face although a bridge may be drawn inside a bounded face", "supersedes": null, "target_action": "explain that the two component drawings share exactly one resulting face when the bridge is restored so f=f'_1+f'_2-1", "target_file_sha256": "df3fca8023995d4be3302a3fe7ccd3c5dcf5fcef78e305b7e30257024e190627", "upstream_disposition": "retain as a high-confidence proof correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_planar", "affected_unit_ids": [ "r012:unit:s_graphs_planar" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0072", "evidence": "this preserves n and only increases m so the bound descends to the original graph", "id": "r012:correction:AC-ADV-0072", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "728ca20436df13c54c43dbecdd780fef74c72653cd3ca2fb587c144e3ea38868", "source_locator": "planar edge-bound derivation lines 90-94", "source_path": "source/s_graphs_planar.ptx", "status": "corrected-in-target", "summary": "the derivation invokes connected Euler formula but states m<=3n-6 for every planar graph without treating disconnected graphs", "supersedes": null, "target_action": "add noncrossing edges to connect components and apply the connected bound to the supergraph", "target_file_sha256": "df3fca8023995d4be3302a3fe7ccd3c5dcf5fcef78e305b7e30257024e190627", "upstream_disposition": "retain as a high-confidence proof-completeness correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_planar", "affected_unit_ids": [ "r012:unit:s_graphs_planar" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0073", "evidence": "each edge has exactly two local sides while repeated boundary occurrences remain counted", "id": "r012:correction:AC-ADV-0073", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "728ca20436df13c54c43dbecdd780fef74c72653cd3ca2fb587c144e3ea38868", "source_locator": "edge-face count line 90", "source_path": "source/s_graphs_planar.ptx", "status": "corrected-in-target", "summary": "ordinary edge-face set pairs fail to count a bridge twice when the same face lies on both sides so the stated counting argument can fail", "supersedes": null, "target_action": "count local edge-side face incidences with multiplicity and replace p<=2m by the exact identity p=2m", "target_file_sha256": "df3fca8023995d4be3302a3fe7ccd3c5dcf5fcef78e305b7e30257024e190627", "upstream_disposition": "retain as a high-confidence proof correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_planar", "affected_unit_ids": [ "r012:unit:s_graphs_planar" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0074", "evidence": "the correction is grammatical only", "id": "r012:correction:AC-ADV-0074", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "728ca20436df13c54c43dbecdd780fef74c72653cd3ca2fb587c144e3ea38868", "source_locator": "line 135", "source_path": "source/s_graphs_planar.ptx", "status": "corrected-in-target", "summary": "studying to be lawyer omits the article a", "supersedes": null, "target_action": "render the intended phrase naturally as studying to become a lawyer", "target_file_sha256": "df3fca8023995d4be3302a3fe7ccd3c5dcf5fcef78e305b7e30257024e190627", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_planar", "affected_unit_ids": [ "r012:unit:s_graphs_planar" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0075", "evidence": "the correction is grammatical only", "id": "r012:correction:AC-ADV-0075", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "728ca20436df13c54c43dbecdd780fef74c72653cd3ca2fb587c144e3ea38868", "source_locator": "line 151", "source_path": "source/s_graphs_planar.ptx", "status": "corrected-in-target", "summary": "came with about at the same time contains incompatible duplicated prepositions", "supersedes": null, "target_action": "render the intended chronology as occurring at approximately the same time", "target_file_sha256": "df3fca8023995d4be3302a3fe7ccd3c5dcf5fcef78e305b7e30257024e190627", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_planar", "affected_unit_ids": [ "r012:unit:s_graphs_planar" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0076", "evidence": "the correction is grammatical only", "id": "r012:correction:AC-ADV-0076", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "728ca20436df13c54c43dbecdd780fef74c72653cd3ca2fb587c144e3ea38868", "source_locator": "line 163", "source_path": "source/s_graphs_planar.ptx", "status": "corrected-in-target", "summary": "the using a computer contains an extraneous article", "supersedes": null, "target_action": "render the intended phrase as the use of a computer", "target_file_sha256": "df3fca8023995d4be3302a3fe7ccd3c5dcf5fcef78e305b7e30257024e190627", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_counting-trees", "affected_unit_ids": [ "r012:unit:s_graphs_counting-trees" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0077", "evidence": "the classification is exhaustive and both mathematical expressions remain unchanged", "id": "r012:correction:AC-ADV-0077", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "db10de09866fafd55e77050e5d89919abeb5382da81770910fed8f27108bf178", "source_locator": "opening four-vertex-tree classification", "source_path": "source/s_graphs_counting-trees.ptx", "status": "corrected-in-target", "summary": "the source joins the degree-three case and its negation in a malformed or construction", "supersedes": null, "target_action": "state the exhaustive cases separately: a degree-three vertex gives K_{1,3}; otherwise the tree is P_4", "target_file_sha256": "3e871361b0789f98b9040652886b88083f95debdc091be2c137ffc0d5af486b8", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:thm_cayley", "affected_unit_ids": [ "r012:unit:thm_cayley" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0078", "evidence": "this supplies the missing implication used to identify the leaf set", "id": "r012:correction:AC-ADV-0078", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "db10de09866fafd55e77050e5d89919abeb5382da81770910fed8f27108bf178", "source_locator": "Cayley proof characterization of Prüfer symbols", "source_path": "source/s_graphs_counting-trees.ptx", "status": "corrected-in-target", "summary": "the proof claims code symbols are precisely the nonleaf labels but proves only that leaf labels cannot occur", "supersedes": null, "target_action": "add the converse that before an initially nonleaf vertex becomes a leaf one of its neighbors must be removed and records its label", "target_file_sha256": "3e871361b0789f98b9040652886b88083f95debdc091be2c137ffc0d5af486b8", "upstream_disposition": "retain as a high-confidence proof correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:thm_cayley", "affected_unit_ids": [ "r012:unit:thm_cayley" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0079", "evidence": "the correction closes the quantifier scope without changing any protected mathematical node", "id": "r012:correction:AC-ADV-0079", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "db10de09866fafd55e77050e5d89919abeb5382da81770910fed8f27108bf178", "source_locator": "Cayley inverse-construction induction", "source_path": "source/s_graphs_counting-trees.ptx", "status": "corrected-in-target", "summary": "the induction goal uses an arbitrary positive-integer label set but the base and step silently specialize to canonical labels", "supersedes": null, "target_action": "clarify the arbitrary two-element base case and the order-preserving relabeling that permits the canonical induction step", "target_file_sha256": "3e871361b0789f98b9040652886b88083f95debdc091be2c137ffc0d5af486b8", "upstream_disposition": "retain as a high-confidence proof correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ex_prufer-code", "affected_unit_ids": [ "r012:unit:ex_prufer-code" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0080", "evidence": "the correction is grammatical and the encode/decode example was independently replayed", "id": "r012:correction:AC-ADV-0080", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "db10de09866fafd55e77050e5d89919abeb5382da81770910fed8f27108bf178", "source_locator": "first Prüfer example final recursive call", "source_path": "source/s_graphs_counting-trees.ptx", "status": "corrected-in-target", "summary": "the final recursive call has the subtree isomorphic to K_2 is grammatically malformed", "supersedes": null, "target_action": "state that the final recursive call receives a subtree isomorphic to K_2 and returns the empty string", "target_file_sha256": "3e871361b0789f98b9040652886b88083f95debdc091be2c137ffc0d5af486b8", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:graphs_PI_coloring-defn", "affected_unit_ids": [ "r012:unit:graphs_PI_coloring-defn" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0081", "evidence": "logical implication is immediate and all 18 peer-instruction answer keys were independently audited", "id": "r012:correction:AC-ADV-0081", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "e110895e8752bd6fd77a9d2b5c631c9cee907502c97407201d3bd10216ef4a9e", "source_locator": "exercise 11 first choice", "source_path": "source/s_graphs_peer_instruction.ptx", "status": "corrected-in-target", "summary": "the multiple-correct question asks for sufficient conditions for a proper coloring but marks only the edge condition; an injective coloring is also necessarily proper", "supersedes": null, "target_action": "add correct=yes to the injective-choice attribute while retaining the existing correct edge-condition choice", "target_file_sha256": "63add0df83eba99f0a871505ded277167a6613f773aa56ee8bb8cf9ecebc6ce5", "upstream_disposition": "retain as a high-confidence answer-key correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:graphs_PI_hamiltonian-G4; r012:unit:graphs_PI_hamiltonian-G5", "affected_unit_ids": [ "r012:unit:graphs_PI_hamiltonian-G4", "r012:unit:graphs_PI_hamiltonian-G5" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0082", "evidence": "the correction is editorial-accessibility only and both images were visually inspected", "id": "r012:correction:AC-ADV-0082", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "e110895e8752bd6fd77a9d2b5c631c9cee907502c97407201d3bd10216ef4a9e", "source_locator": "Petersen graph descriptions in exercises 9 and 10", "source_path": "source/s_graphs_peer_instruction.ptx", "status": "corrected-in-target", "summary": "interpreted is misspelled as interpeted in both duplicated accessibility descriptions", "supersedes": null, "target_action": "render the intended cyclic interpretation naturally in Indonesian", "target_file_sha256": "63add0df83eba99f0a871505ded277167a6613f773aa56ee8bb8cf9ecebc6ce5", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ch_posets", "affected_unit_ids": [ "r012:unit:ch_posets" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0083", "evidence": "the correction exactly identifies the necessary and sufficient acyclicity condition for reachability to be antisymmetric", "id": "r012:correction:AC-ADV-0083", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "93c70f95d945d50c7c6d7ff11cec961983b6ee6fbccacfdf1021ff3a105495ec", "source_locator": "chapter introduction filesystem example line 67", "source_path": "source/ch_posets.ptx", "status": "corrected-in-target", "summary": "the source says filesystem trees become posets whenever links are added; the rooted tree already has the ancestor partial order and arbitrary links can create a directed cycle that destroys antisymmetry", "supersedes": null, "target_action": "state that ancestry orders the tree and that reachability remains a partial order after links are added only if no directed cycle is introduced", "target_file_sha256": "e7d43bab1236ea2c33de6b77f709f15be111e84aef00ddadc428e2c2803d23e6", "upstream_disposition": "retain as a high-confidence mathematical-model correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_posets_additional-concepts", "affected_unit_ids": [ "r012:unit:s_posets_additional-concepts" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0084", "evidence": "the correction is grammatical only", "id": "r012:correction:AC-ADV-0084", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "da05d2b4a1ab75a68081c64d87ae544b9184d27fb853dbb4035ce0103d228e1a", "source_locator": "paragraph introducing unlabeled posets", "source_path": "source/s_posets_additional-concepts.ptx", "status": "corrected-in-target", "summary": "we are lead naturally uses the base form where the past participle led is required", "supersedes": null, "target_action": "render the intended transition naturally in Indonesian", "target_file_sha256": "1be206e8356be95adb1d4adc20748462a114b94c20cab5d148f44bbb153a8ed5", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_posets_additional-concepts", "affected_unit_ids": [ "r012:unit:s_posets_additional-concepts" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0085", "evidence": "the correction is grammatical only", "id": "r012:correction:AC-ADV-0085", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "da05d2b4a1ab75a68081c64d87ae544b9184d27fb853dbb4035ce0103d228e1a", "source_locator": "paragraph introducing unlabeled posets", "source_path": "source/s_posets_additional-concepts.ptx", "status": "corrected-in-target", "summary": "an unlabeled posets combines a singular article with a plural noun", "supersedes": null, "target_action": "render the intended singular generic notion as poset tak berlabel", "target_file_sha256": "1be206e8356be95adb1d4adc20748462a114b94c20cab5d148f44bbb153a8ed5", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:thm_dualdilworth", "affected_unit_ids": [ "r012:unit:thm_dualdilworth" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0086", "evidence": "the resulting chain has exactly i+1 elements and directly proves the stated inequality", "id": "r012:correction:AC-ADV-0086", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "e34837cb18ddf801998f137ecc4443a05cf7b217d1e6d8c3369f24d6c428acce", "source_locator": "dual Dilworth proof chain index", "source_path": "source/s_posets_dilworth.ptx", "status": "corrected-in-target", "summary": "after a chain of i elements ending at x the appended element y is indexed x_{i+i}; this does not prove height(y)>=i+1 and conflicts with the next clause", "supersedes": null, "target_action": "change only x_{i+i}=y to x_{i+1}=y", "target_file_sha256": "7db7297dc30595fc91b75d49e3614fbfab0ca60af5d5081b625dcc0bc4ce9f27", "upstream_disposition": "retain as a high-confidence mathematical correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_exercises", "affected_unit_ids": [ "r012:unit:s_graphs_exercises" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0087", "evidence": "the correction is grammatical only", "id": "r012:correction:AC-ADV-0087", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "27654756d94d78604fa41feaf3154a27848cc38a51c4e141b0febab4a3ae04c1", "source_locator": "exercise 4 solution", "source_path": "source/s_graphs_exercises.ptx", "status": "corrected-in-target", "summary": "organizers proposal omits the possessive apostrophe", "supersedes": null, "target_action": "render the intended possessive meaning as usulan panitia", "target_file_sha256": "52dd3118d9aeb4e4962dc81c53a88594814aa7e181e2d75222ace3459c93b3e8", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_exercises", "affected_unit_ids": [ "r012:unit:s_graphs_exercises" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0088", "evidence": "the resource requested by the problem is a room and the verified four-coloring gives four rooms", "id": "r012:correction:AC-ADV-0088", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "27654756d94d78604fa41feaf3154a27848cc38a51c4e141b0febab4a3ae04c1", "source_locator": "exercise 15 solution", "source_path": "source/s_graphs_exercises.ptx", "status": "corrected-in-target", "summary": "the prompt allocates rooms within one warehouse but the solution repeatedly answers in warehouses and says each color occupies a warehouse", "supersedes": null, "target_action": "use rooms consistently while preserving the correct incompatibility-graph chromatic-number argument", "target_file_sha256": "52dd3118d9aeb4e4962dc81c53a88594814aa7e181e2d75222ace3459c93b3e8", "upstream_disposition": "retain as a high-confidence semantic correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_exercises", "affected_unit_ids": [ "r012:unit:s_graphs_exercises" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0089", "evidence": "the correction is grammatical only", "id": "r012:correction:AC-ADV-0089", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "27654756d94d78604fa41feaf3154a27848cc38a51c4e141b0febab4a3ae04c1", "source_locator": "Mycielski exercise cluster", "source_path": "source/s_graphs_exercises.ptx", "status": "corrected-in-target", "summary": "from the Mycielski's proof contains an extraneous article", "supersedes": null, "target_action": "render the intended reference naturally", "target_file_sha256": "52dd3118d9aeb4e4962dc81c53a88594814aa7e181e2d75222ace3459c93b3e8", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_exercises", "affected_unit_ids": [ "r012:unit:s_graphs_exercises" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0090", "evidence": "the correction is grammatical only", "id": "r012:correction:AC-ADV-0090", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "27654756d94d78604fa41feaf3154a27848cc38a51c4e141b0febab4a3ae04c1", "source_locator": "planarity prompts", "source_path": "source/s_graphs_exercises.ptx", "status": "corrected-in-target", "summary": "without edges crossings has incorrect number and attribution", "supersedes": null, "target_action": "render the intended phrase as without edge crossings", "target_file_sha256": "52dd3118d9aeb4e4962dc81c53a88594814aa7e181e2d75222ace3459c93b3e8", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_exercises", "affected_unit_ids": [ "r012:unit:s_graphs_exercises" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0091", "evidence": "the repaired table is symmetric and exactly matches the preserved graph definition", "id": "r012:correction:AC-ADV-0091", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "27654756d94d78604fa41feaf3154a27848cc38a51c4e141b0febab4a3ae04c1", "source_locator": "exercise 25 interval-graph solution table", "source_path": "source/s_graphs_exercises.ptx", "status": "corrected-in-target", "summary": "the neighbor table omits the g--n edge even though the exact embedded PreFigure graph definition contains it", "supersedes": null, "target_action": "add n to g's neighbor list and g to n's neighbor list", "target_file_sha256": "52dd3118d9aeb4e4962dc81c53a88594814aa7e181e2d75222ace3459c93b3e8", "upstream_disposition": "retain as a high-confidence mathematical-data correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_exercises", "affected_unit_ids": [ "r012:unit:s_graphs_exercises" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0092", "evidence": "the network has edges 1--3 2--3 3--4 and 3--5 and no edge 0--3", "id": "r012:correction:AC-ADV-0092", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "27654756d94d78604fa41feaf3154a27848cc38a51c4e141b0febab4a3ae04c1", "source_locator": "exercise 31 solution adjacency row for vertex 3", "source_path": "source/s_graphs_exercises.ptx", "status": "corrected-in-target", "summary": "the row lists 0 2 4 5 which is asymmetric and conflicts with the exact preserved PreFigure network", "supersedes": null, "target_action": "replace 0 by 1 so the row is 1 2 4 5", "target_file_sha256": "52dd3118d9aeb4e4962dc81c53a88594814aa7e181e2d75222ace3459c93b3e8", "upstream_disposition": "retain as a high-confidence mathematical-data correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ex_graphs_degseq", "affected_unit_ids": [ "r012:unit:ex_graphs_degseq" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0093", "evidence": "the constructions realize the exact degree sequences and are planar", "id": "r012:correction:AC-ADV-0093", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "27654756d94d78604fa41feaf3154a27848cc38a51c4e141b0febab4a3ae04c1", "source_locator": "exercise ex_graphs_degseq solution items a and e", "source_path": "source/s_graphs_exercises.ptx", "status": "corrected-in-target", "summary": "the solution treats m<=3n-6 as sufficient to prove existence of a planar realization although it is only necessary", "supersedes": null, "target_action": "supply explicit planar constructions: a tree realization for item a and a universal vertex joined to an outerplanar residual tree for item e", "target_file_sha256": "52dd3118d9aeb4e4962dc81c53a88594814aa7e181e2d75222ace3459c93b3e8", "upstream_disposition": "retain as a high-confidence proof-sufficiency correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:fig_graphs_tree-10verts-ex2", "affected_unit_ids": [ "r012:unit:fig_graphs_tree-10verts-ex2" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0094", "evidence": "visual inspection and asset labels establish exactly eight vertices", "id": "r012:correction:AC-ADV-0094", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "27654756d94d78604fa41feaf3154a27848cc38a51c4e141b0febab4a3ae04c1", "source_locator": "figure fig_graphs_tree-10verts-ex2 caption and description", "source_path": "source/s_graphs_exercises.ptx", "status": "corrected-in-target", "summary": "caption and description say 10 vertices while the exact asset labels vertices 1 through 8 and is named tree-8verts-ex2", "supersedes": null, "target_action": "change the visible count from 10 to 8 while retaining the stable XML ID", "target_file_sha256": "52dd3118d9aeb4e4962dc81c53a88594814aa7e181e2d75222ace3459c93b3e8", "upstream_disposition": "retain as a high-confidence accessibility and caption correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_exercises", "affected_unit_ids": [ "r012:unit:s_graphs_exercises" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0095", "evidence": "the correction is grammatical only", "id": "r012:correction:AC-ADV-0095", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "27654756d94d78604fa41feaf3154a27848cc38a51c4e141b0febab4a3ae04c1", "source_locator": "14-vertex tree prompt", "source_path": "source/s_graphs_exercises.ptx", "status": "corrected-in-target", "summary": "the prompt omits the preposition in before its figure reference", "supersedes": null, "target_action": "render the intended relation naturally", "target_file_sha256": "52dd3118d9aeb4e4962dc81c53a88594814aa7e181e2d75222ace3459c93b3e8", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_graphs_exercises", "affected_unit_ids": [ "r012:unit:s_graphs_exercises" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0096", "evidence": "the correction is grammatical and the mathematical hint remains unchanged", "id": "r012:correction:AC-ADV-0096", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "27654756d94d78604fa41feaf3154a27848cc38a51c4e141b0febab4a3ae04c1", "source_locator": "Brooks theorem hint", "source_path": "source/s_graphs_exercises.ptx", "status": "corrected-in-target", "summary": "neither conclusion a or b uses a mismatched neither-or construction", "supersedes": null, "target_action": "render the intended neither-nor meaning in Indonesian", "target_file_sha256": "52dd3118d9aeb4e4962dc81c53a88594814aa7e181e2d75222ace3459c93b3e8", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:fig_17ptposet", "affected_unit_ids": [ "r012:unit:fig_17ptposet" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0097", "evidence": "direct SVG inspection and the complete cover-edge list establish 18 vertices; the downstream Dilworth text and descriptions were normalized to the same verified count", "id": "r012:correction:AC-ADV-0097", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "97bdc3a879eb5ae39bacc957bb5c632179a2dd7792792d168749c16814a6fff6", "source_locator": "ground-set formula, caption, and description for fig_17ptposet", "source_path": "source/s_posets_intro.ptx", "status": "corrected-in-target", "summary": "the source calls the illustrated structure a 17-point poset and writes X=[17], but the exact asset labels 18 vertices numbered 1 through 18", "supersedes": null, "target_action": "change the visible ground set, caption, and grounded description to 18 while retaining the historical stable ID and asset basename", "target_file_sha256": "7d7e22ec5c906cb494e0e2e17198fedf93721b146eeea0eea7a434fa3b8851ee", "upstream_disposition": "retain as a high-confidence mathematical-data and accessibility correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_posets_intro", "affected_unit_ids": [ "r012:unit:s_posets_intro" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0098", "evidence": "U(x) is explicitly the vector of elements greater than x, so x is the unique consistent bound variable", "id": "r012:correction:AC-ADV-0098", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "97bdc3a879eb5ae39bacc957bb5c632179a2dd7792792d168749c16814a6fff6", "source_locator": "upper-set vector remark", "source_path": "source/s_posets_intro.ptx", "status": "corrected-in-target", "summary": "the sentence quantifies an element i but defines U(x), leaving x unbound while the following sentence consistently uses x", "supersedes": null, "target_action": "change only the quantified inline symbol i to x", "target_file_sha256": "7d7e22ec5c906cb494e0e2e17198fedf93721b146eeea0eea7a434fa3b8851ee", "upstream_disposition": "retain as a high-confidence mathematical-variable correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_posets_intro", "affected_unit_ids": [ "r012:unit:s_posets_intro" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0099", "evidence": "the correction follows immediately from the definition of incomparable elements", "id": "r012:correction:AC-ADV-0099", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "97bdc3a879eb5ae39bacc957bb5c632179a2dd7792792d168749c16814a6fff6", "source_locator": "incomparable-points paragraph", "source_path": "source/s_posets_intro.ptx", "status": "corrected-in-target", "summary": "after stating that 3 and 6 are incomparable, the source says one may be able to say which is larger; incomparability means neither order comparison holds", "supersedes": null, "target_action": "insert the required negation so the Indonesian text says one may not be able to identify a larger point", "target_file_sha256": "7d7e22ec5c906cb494e0e2e17198fedf93721b146eeea0eea7a434fa3b8851ee", "upstream_disposition": "retain as a high-confidence semantic correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:exa_binaryrel", "affected_unit_ids": [ "r012:unit:exa_binaryrel" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0100", "evidence": "the correction is grammatical only", "id": "r012:correction:AC-ADV-0100", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "97bdc3a879eb5ae39bacc957bb5c632179a2dd7792792d168749c16814a6fff6", "source_locator": "first example solution parenthetical", "source_path": "source/s_posets_intro.ptx", "status": "corrected-in-target", "summary": "Also, it also doesn't contain duplicates the same connective", "supersedes": null, "target_action": "render the intended observation once in natural Indonesian", "target_file_sha256": "7d7e22ec5c906cb494e0e2e17198fedf93721b146eeea0eea7a434fa3b8851ee", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_posets_intro", "affected_unit_ids": [ "r012:unit:s_posets_intro" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0101", "evidence": "the correction is grammatical only", "id": "r012:correction:AC-ADV-0101", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "97bdc3a879eb5ae39bacc957bb5c632179a2dd7792792d168749c16814a6fff6", "source_locator": "height-and-width question", "source_path": "source/s_posets_intro.ptx", "status": "corrected-in-target", "summary": "how hard is to determine its height and width omits the dummy pronoun it", "supersedes": null, "target_action": "render the intended question naturally in Indonesian", "target_file_sha256": "7d7e22ec5c906cb494e0e2e17198fedf93721b146eeea0eea7a434fa3b8851ee", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:thm_sperner", "affected_unit_ids": [ "r012:unit:thm_sperner" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0102", "evidence": "the LYM sum ranges over i=1 through w and each denominator is bounded by the middle binomial coefficient; exhaustive finite replays for t=1 through 8 agree", "id": "r012:correction:AC-ADV-0102", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "5b2577e1f04c74a6682ad43888f5a6b729b4c9d68a81cfc64b452a483e0d4f4c", "source_locator": "final displayed inequality in the proof of Sperner's theorem", "source_path": "source/s_posets_subset-lattice.ptx", "status": "corrected-in-target", "summary": "the summation upper limit is written i=w even though i is the bound variable and the preceding inequality has exactly w summands", "supersedes": null, "target_action": "change only the upper limit from i=w to w", "target_file_sha256": "fe40ed4ef198ee5467c080bebcbfcce3955785bc24a73d39dcdf329377dee2c6", "upstream_disposition": "retain as a high-confidence mathematical-typesetting correction for the single end-of-corpus upstream report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:thm_sperner", "affected_unit_ids": [ "r012:unit:thm_sperner" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0103", "evidence": "the correction resolves the internal wording contradiction without changing the construction", "id": "r012:correction:AC-ADV-0103", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "5b2577e1f04c74a6682ad43888f5a6b729b4c9d68a81cfc64b452a483e0d4f4c", "source_locator": "Sperner proof maximum-chain construction", "source_path": "source/s_posets_subset-lattice.ptx", "status": "corrected-in-target", "summary": "a maximum chain beginning with S_i as an intermediate point makes S_i simultaneously the beginning and an intermediate point", "supersedes": null, "target_action": "state that the maximum chain has S_i as an intermediate point", "target_file_sha256": "fe40ed4ef198ee5467c080bebcbfcce3955785bc24a73d39dcdf329377dee2c6", "upstream_disposition": "retain only if concise editorial corrections are included in the final report", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_posets_dilworth-intord", "affected_unit_ids": [ "r012:unit:s_posets_dilworth-intord" ], "date": "2026-08-21", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0104", "evidence": "the intended logical equivalence is unambiguous from the interval-order definition", "id": "r012:correction:AC-ADV-0104", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "5f30ab538e82b8a4a6da2f5bab36d4e052f999da41f404f805184d79452e2de4", "source_locator": "interval-order equivalence paragraph", "source_path": "source/s_posets_dilworth-intord.ptx", "status": "corrected-in-target", "summary": "the phrase if and only b_x=2 but the supplied initial data omit d_0, which the n=2 instance requires.", "supersedes": null, "target_action": "Change only the first recurrence range from n>=2 to n>=3 so the stated d_1 and d_2 bases suffice.", "target_file_sha256": "f91df0e775a0bdaa89c15e10d98bafa7b4c0b36dfd885928e26b12dc74cca8b7", "upstream_disposition": "Include in the concise end-of-corpus upstream correction report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:509b5abe35c1f884b0712fda", "affected_unit_ids": [ "r012:unit:auto:509b5abe35c1f884b0712fda" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0138", "evidence": "Authority and target hashes plus qa/INCLUSION_EXCLUSION_EXERCISES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0138", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "92eeb57436d551baf3a4a25ce880faacab3ca928b359ea0adf84ddf65968658b", "source_locator": "/exercises/exercise[27]/statement/p/ol/li[3]/p", "source_path": "source/s_inclusion-exclusion_exercises.ptx", "status": "corrected-in-target", "summary": "The phrase 'ways they could line up meet their criterion' is grammatically missing a relative linker.", "supersedes": null, "target_action": "Render the intended meaning naturally in Indonesian without altering protected structure.", "target_file_sha256": "f91df0e775a0bdaa89c15e10d98bafa7b4c0b36dfd885928e26b12dc74cca8b7", "upstream_disposition": "Retain only if concise editorial corrections are included in the one end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:inclusion-exclusion_PI_function-property", "affected_unit_ids": [ "r012:unit:inclusion-exclusion_PI_function-property" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0139", "evidence": "Authority/target protected-node hashes and qa/INCLUSION_EXCLUSION_PEER_INSTRUCTION_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0139", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "a3b82ff3316a0954c86b4fd75da12b968f5097f6649b542076d30f10b301ed34", "source_locator": "/exercises/exercise[4]/statement/p/md", "source_path": "source/s_inclusion-exclusion_peer_instruction.ptx", "status": "corrected-in-target", "summary": "The displayed function has eight inputs, but the LaTeX array preamble declares ten value columns, leaving two unintended empty columns.", "supersedes": null, "target_action": "Change only the target array preamble from c|cccccccccc to c|cccccccc; preserve every table entry and digit.", "target_file_sha256": "34d207651fb1bee99216dea1fdc6823e157c2faa4e0298d1a76891eaabe6acfd", "upstream_disposition": "Retain only if this concise typesetting defect is included in the one end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:inclusion-exclusion_PI_perm-prop", "affected_unit_ids": [ "r012:unit:inclusion-exclusion_PI_perm-prop" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0140", "evidence": "Authority/target protected-node hashes and qa/INCLUSION_EXCLUSION_PEER_INSTRUCTION_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0140", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "a3b82ff3316a0954c86b4fd75da12b968f5097f6649b542076d30f10b301ed34", "source_locator": "/exercises/exercise[6]/statement/md", "source_path": "source/s_inclusion-exclusion_peer_instruction.ptx", "status": "corrected-in-target", "summary": "The displayed permutation has six inputs, but the LaTeX array preamble declares ten value columns, leaving four unintended empty columns.", "supersedes": null, "target_action": "Change only the target array preamble from c|cccccccccc to c|cccccc; preserve every table entry and digit.", "target_file_sha256": "34d207651fb1bee99216dea1fdc6823e157c2faa4e0298d1a76891eaabe6acfd", "upstream_disposition": "Retain only if this concise typesetting defect is included in the one end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:act_inclusion-exclusion_surjections-8-5_conclusion", "affected_unit_ids": [ "r012:unit:act_inclusion-exclusion_surjections-8-5_conclusion" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0141", "evidence": "Authority and target hashes plus qa/INCLUSION_EXCLUSION_ACTIVITY_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0141", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "8a78854f1e0da56c8623c111f5fdb1f78be70d761695804ce87c33bfde81fd42", "source_locator": "/section/exercise[10]/statement/p", "source_path": "source/s_inclusion-exclusion_activity.ptx", "status": "corrected-in-target", "summary": "The declarative sentence ending with the numeric answer blank has no terminal punctuation.", "supersedes": null, "target_action": "Add a full stop immediately after the answer blank without changing the interactive response contract.", "target_file_sha256": "a218fc77c56d433ac51479e722a9f9c285c9e74b7f7dcc0f4926c65231519257", "upstream_disposition": "Retain only if concise editorial corrections are included in the one end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_genfunction_intro", "affected_unit_ids": [ "r012:unit:s_genfunction_intro" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0142", "evidence": "Exact source and target canonical XML hashes plus qa/GENFUNCTION_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0142", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "c4a8280c9e758bcc05a0b1b04d09628badabd5bb781024b3da07cdeaf9f98255", "source_locator": "/section/p[3]/md[1]/mrow[2]", "source_path": "source/s_genfunction_intro.ptx", "status": "corrected-in-target", "summary": "The second finite-geometric expansion omits the plus sign between \\cdots and x^n, producing invalid mathematical notation.", "supersedes": null, "target_action": "Insert only the missing plus sign so the term reads \\cdots + x^n; preserve every exponent and all surrounding mathematics.", "target_file_sha256": "d3cc0479d419c32a570fabbcf42ede3753d28ecc988061ccf1845ab220082fd1", "upstream_disposition": "Retain for the single deduplicated end-of-corpus upstream report if still present and unreported.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:exa_genfunction_apples", "affected_unit_ids": [ "r012:unit:exa_genfunction_apples" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0143", "evidence": "Authority and target hashes plus qa/GENFUNCTION_DISTRIBUTIONS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0143", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "4669df1efe7637e0ac5f15750347e90b9c2b03fb1f9543f91c7167897f7ed99a", "source_locator": "/section/example[1]/p[3]", "source_path": "source/s_genfunction_distributions.ptx", "status": "corrected-in-target", "summary": "The sentence 'The coefficient on x^n in this series C(n-1,4)' omits the copula 'is' before C(n-1,4).", "supersedes": null, "target_action": "Render the intended copular sentence naturally in Indonesian without altering protected mathematics.", "target_file_sha256": "4e7efeb9a71fc3121c861223936716813a69baa98e0b7b951b830103f1417c5f", "upstream_disposition": "Retain only if concise editorial corrections are included in the one end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:2d043fada756b0e678fbcfa4", "affected_unit_ids": [ "r012:unit:auto:2d043fada756b0e678fbcfa4" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0144", "evidence": "Authority and target hashes plus qa/GENFUNCTION_DISTRIBUTIONS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0144", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "4669df1efe7637e0ac5f15750347e90b9c2b03fb1f9543f91c7167897f7ed99a", "source_locator": "/section/example[2]/solution/p", "source_path": "source/s_genfunction_distributions.ptx", "status": "corrected-in-target", "summary": "The phrase 'three pears in basket' omits the article 'a' before 'basket'.", "supersedes": null, "target_action": "Render the intended basket constraint naturally in Indonesian without altering protected mathematics.", "target_file_sha256": "4e7efeb9a71fc3121c861223936716813a69baa98e0b7b951b830103f1417c5f", "upstream_disposition": "Retain only if concise editorial corrections are included in the one end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:thm_newton-binomial", "affected_unit_ids": [ "r012:unit:thm_newton-binomial" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0145", "evidence": "Authority and target hashes plus qa/GENFUNCTION_GENERALIZED_BINOMIAL_THEOREM_MODULE_QA_20260822.json and NIST DLMF 4.6.7", "id": "r012:correction:AC-ADV-0145", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "83d2dcbde06fc61f0d4f487a9e8617fc70a39397cacc8df49a405fb95361fe7f", "source_locator": "/section/theorem/statement/p", "source_path": "source/s_genfunction_gen-bin-thm.ptx", "status": "authority-discrepancy", "summary": "The infinite generalized binomial expansion lacks an x-domain or an explicit formal-power-series qualification; analytically it generally requires |x|<1, while p=0 is unnecessarily excluded.", "supersedes": null, "target_action": "Keep the faithful target unchanged; upstream should either state |x|<1 for the analytic reading or identify a formal-power-series identity and may include p=0.", "target_file_sha256": "eb348ca405eb702e49d9f43e0a7530e2d5b5f5cf92bc30421f6302a7aa5b233d", "upstream_disposition": "Retain for the single concise end-of-corpus upstream mathematical report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:c03a554019cff7389d010e0a", "affected_unit_ids": [ "r012:unit:auto:c03a554019cff7389d010e0a" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0146", "evidence": "Authority and target hashes plus qa/GENFUNCTION_BINOMIAL_APPLICATION_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0146", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "b6e7ced94c46c7b73a18b037e911ece9764619b061103e261ac5c44f15f6ead2", "source_locator": "/section/lemma[1]/statement/p", "source_path": "source/s_genfunction_binom-app.ptx", "status": "authority-discrepancy", "summary": "The first lemma quantifies k but leaves the real parameter p in P(p,k) unquantified.", "supersedes": null, "target_action": "Keep the faithful translation unchanged unless a reviewed correction explicitly states the domains of p and k.", "target_file_sha256": "c79ce966ad7992f028e44d1b1dae19b0d8e145177791e97723b55bbfc4fd479e", "upstream_disposition": "Retain only if mathematical-domain clarifications are included in the single end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_genfunction_partitions-integer", "affected_unit_ids": [ "r012:unit:s_genfunction_partitions-integer" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0147", "evidence": "Authority and target hashes plus qa/GENFUNCTION_INTEGER_PARTITIONS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0147", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "90bb7eba1f2b2688df1be462d67093032aba5602df80a0d6ee78e1cbc12e977b", "source_locator": "/section/p[2]", "source_path": "source/s_genfunction_partitions-integer.ptx", "status": "authority-discrepancy", "summary": "The partition definition uses n in the defining sum before naming the integer as n.", "supersedes": null, "target_action": "Keep the faithful translation unchanged unless a reviewed correction explicitly introduces n.", "target_file_sha256": "8a60c22d167e84422bfb16e55146fb9a020336623b2b1f9b19646f9442be174b", "upstream_disposition": "Retain for the single end-of-corpus upstream report if not already corrected upstream.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_genfunction_partitions-integer", "affected_unit_ids": [ "r012:unit:s_genfunction_partitions-integer" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0148", "evidence": "Authority and target hashes plus qa/GENFUNCTION_INTEGER_PARTITIONS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0148", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "90bb7eba1f2b2688df1be462d67093032aba5602df80a0d6ee78e1cbc12e977b", "source_locator": "/section/p[3]/pubtitle", "source_path": "source/s_genfunction_partitions-integer.ptx", "status": "authority-discrepancy", "summary": "The bibliographic title uses lowercase 'who' where the official title uses 'Who'.", "supersedes": null, "target_action": "Keep the faithful bibliographic title unchanged unless a reviewed correction normalizes the title capitalization.", "target_file_sha256": "8a60c22d167e84422bfb16e55146fb9a020336623b2b1f9b19646f9442be174b", "upstream_disposition": "Retain for the single end-of-corpus upstream report if not already corrected upstream.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_genfunction_exponential", "affected_unit_ids": [ "r012:unit:s_genfunction_exponential" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0149", "evidence": "Exact source and target canonical XML hashes plus qa/GENFUNCTION_EXPONENTIAL_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0149", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "263ab81c2443cfb27fc6caf4213b93b19e6ff949c0c0e85b9e1500ff9748a80d", "source_locator": "/section/p[2]/m[2]", "source_path": "source/s_genfunction_exponential.ptx", "status": "corrected-in-target", "summary": "The second example bit string is 011000 and therefore has four zeros although the prose says both strings have three zeros and two ones.", "supersedes": null, "target_action": "Change 011000 to 01100 so the two strings have equal digit multiplicities and differ only in order.", "target_file_sha256": "164daba689696c8e47e3a3f76b5e4e93e6086c1ef685e7b5d1a498847a3f8a9c", "upstream_disposition": "Retain for the single concise end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_genfunction_discussion", "affected_unit_ids": [ "r012:unit:s_genfunction_discussion" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0150", "evidence": "Authority and target identities plus qa/GENFUNCTION_DISCUSSION_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0150", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "1139f9fd64da5d4cd58b5ea381367b35517fffda3b4779660c57db1e53b3fd2d", "source_locator": "/section/p", "source_path": "source/s_genfunction_discussion.ptx", "status": "corrected-in-target", "summary": "The phrase 'more of question than a statement' is missing the article 'a' before 'question'.", "supersedes": null, "target_action": "Render the intended comparative phrase grammatically in Indonesian without changing the structure.", "target_file_sha256": "863ca564ee34fd7a1fbed2c1d82038b0228a22ce27b8735f67671241431b43b7", "upstream_disposition": "Retain only if concise prose corrections survive the single end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:318098a808461c4b431eaeec", "affected_unit_ids": [ "r012:unit:auto:318098a808461c4b431eaeec" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0151", "evidence": "Authority and target identities plus qa/GENFUNCTION_EXERCISES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0151", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "e6231bf429c6286ebd7eadf50c8276a2f66914fd30ece3c92c038a7c0866f624", "source_locator": "/exercises/exercise[10]/statement/p", "source_path": "source/s_genfunction_exercises.ptx", "status": "corrected-in-target", "summary": "The phrase 'fruit baskets containing of n pieces of fruit' contains an extraneous 'of'.", "supersedes": null, "target_action": "Render the intended phrase grammatically in Indonesian without changing structure or protected content.", "target_file_sha256": "5048f9e7b8b6bbdac62b92d099e94d12de9cd78cae6dbf74222aff72b67aecdc", "upstream_disposition": "Retain only if concise prose corrections survive the single end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:3a3cdb7defb6ad5b83822a4f", "affected_unit_ids": [ "r012:unit:auto:3a3cdb7defb6ad5b83822a4f" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0152", "evidence": "Authority and target hashes plus qa/GENFUNCTION_EXERCISES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0152", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "e6231bf429c6286ebd7eadf50c8276a2f66914fd30ece3c92c038a7c0866f624", "source_locator": "/exercises/exercise[15]/answer/p/ol/li[1] and /exercises/exercise[15]/solution/p/ol/li[1]", "source_path": "source/s_genfunction_exercises.ptx", "status": "corrected-in-target", "summary": "The unordered toll answer and solution are both unfilled placeholders.", "supersedes": null, "target_action": "Supply the independently verified count 213 in both existing text slots without altering topology.", "target_file_sha256": "5048f9e7b8b6bbdac62b92d099e94d12de9cd78cae6dbf74222aff72b67aecdc", "upstream_disposition": "Retain for the single concise end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:510a0fb2ef3cdad37eca7e81", "affected_unit_ids": [ "r012:unit:auto:510a0fb2ef3cdad37eca7e81" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0153", "evidence": "Authority and target hashes plus qa/GENFUNCTION_EXERCISES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0153", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "e6231bf429c6286ebd7eadf50c8276a2f66914fd30ece3c92c038a7c0866f624", "source_locator": "/exercises/exercise[12]/solution/p", "source_path": "source/s_genfunction_exercises.ptx", "status": "corrected-in-target", "summary": "The chocolate solution is truncated at 'Finally, for the 75' immediately before its generating function.", "supersedes": null, "target_action": "Restore the missing unrestricted 75-percent-cacao explanation determined by the statement and existing 1/(1-x^11) factor.", "target_file_sha256": "5048f9e7b8b6bbdac62b92d099e94d12de9cd78cae6dbf74222aff72b67aecdc", "upstream_disposition": "Retain for the single concise end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:genfunction_PI_exponential-vs-ordinary", "affected_unit_ids": [ "r012:unit:genfunction_PI_exponential-vs-ordinary" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0154", "evidence": "Authority and target identities plus qa/GENFUNCTION_PEER_INSTRUCTION_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0154", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "916c52218900c0b7ec8eddcf5b0c8dbe3dd6148c6d23e4fa758ed7f57651a843", "source_locator": "/exercises/exercise[5]/choices/choice[3]/statement/p", "source_path": "source/s_genfunction_peer-instruction.ptx", "status": "corrected-in-target", "summary": "The phrase 'tend to be used used when' duplicates the word 'used'.", "supersedes": null, "target_action": "Render the intended sentence once in Indonesian without altering the nested protected number.", "target_file_sha256": "51938b7e5bafeed56e5fbd2c5f084b7ef6b4171e89dc50ee6ac46b496d4e2f7d", "upstream_disposition": "Retain only if concise prose corrections survive the single end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:genfunction_PI_polynomial", "affected_unit_ids": [ "r012:unit:genfunction_PI_polynomial" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0155", "evidence": "Exact choice-contract replay plus qa/GENFUNCTION_PEER_INSTRUCTION_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0155", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "916c52218900c0b7ec8eddcf5b0c8dbe3dd6148c6d23e4fa758ed7f57651a843", "source_locator": "/exercises/exercise[4]/choices/choice[2]", "source_path": "source/s_genfunction_peer-instruction.ptx", "status": "corrected-in-target", "summary": "The polynomial-factor question omits a correct marker although choice 2 is the unique mathematically correct answer.", "supersedes": null, "target_action": "Add correct=\"yes\" only to choice 2 while preserving every choice text and all other attributes.", "target_file_sha256": "51938b7e5bafeed56e5fbd2c5f084b7ef6b4171e89dc50ee6ac46b496d4e2f7d", "upstream_disposition": "Retain for the single deduplicated end-of-corpus upstream report if confirmed against the current upstream reader.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_recurrence_intro_fib", "affected_unit_ids": [ "r012:unit:s_recurrence_intro_fib" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0156", "evidence": "Authority and target hashes plus qa/RECURRENCE_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0156", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "9082d0abd9837a42f7cf42f997f819b31287d0e8653b81ecf56caa1f6fe302c3", "source_locator": "/section/subsection[1]/p[2]", "source_path": "source/s_recurrence_intro.ptx", "status": "corrected-in-target", "summary": "The phrase 'the number of pairs rabbits' omits the preposition 'of' between 'pairs' and 'rabbits'.", "supersedes": null, "target_action": "Render the intended quantity naturally as 'banyaknya pasangan kelinci' without changing any mathematical node.", "target_file_sha256": "c623f71d68a988a65a5395f6a7076d8e86c060a61f7760926313f810843e60ea", "upstream_disposition": "Retain only if concise prose corrections survive the one end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_recurrence_intro_fib", "affected_unit_ids": [ "r012:unit:s_recurrence_intro_fib" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0157", "evidence": "Authority and target hashes plus qa/RECURRENCE_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0157", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "9082d0abd9837a42f7cf42f997f819b31287d0e8653b81ecf56caa1f6fe302c3", "source_locator": "/section/subsection[1]/p[2]", "source_path": "source/s_recurrence_intro.ptx", "status": "corrected-in-target", "summary": "The paragraph defines f_n as a number of rabbit pairs but later calls f_n the number of rabbits, changing the counted unit by a factor of two.", "supersedes": null, "target_action": "Keep the counted unit consistent by rendering f_n as the number of rabbit pairs throughout the paragraph.", "target_file_sha256": "c623f71d68a988a65a5395f6a7076d8e86c060a61f7760926313f810843e60ea", "upstream_disposition": "Retain for the single concise end-of-corpus upstream report if still present upstream.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ex_recurrence_binary-strings-no-11", "affected_unit_ids": [ "r012:unit:ex_recurrence_binary-strings-no-11" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0158", "evidence": "Authority and target hashes plus qa/RECURRENCE_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0158", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "9082d0abd9837a42f7cf42f997f819b31287d0e8653b81ecf56caa1f6fe302c3", "source_locator": "/section/subsection[2]/example[1]/p[1]", "source_path": "source/s_recurrence_intro.ptx", "status": "corrected-in-target", "summary": "The phrase 'bad,, namely' duplicates the comma on both sides of the closing q element.", "supersedes": null, "target_action": "Use one grammatically placed comma in the Indonesian sentence while preserving the q element and all mathematical content.", "target_file_sha256": "c623f71d68a988a65a5395f6a7076d8e86c060a61f7760926313f810843e60ea", "upstream_disposition": "Retain only if concise prose corrections survive the one end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ex_recurrence_binary-strings-no-11", "affected_unit_ids": [ "r012:unit:ex_recurrence_binary-strings-no-11" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0159", "evidence": "Authority and target hashes plus qa/RECURRENCE_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0159", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "9082d0abd9837a42f7cf42f997f819b31287d0e8653b81ecf56caa1f6fe302c3", "source_locator": "/section/subsection[2]/example[1]/p[2]", "source_path": "source/s_recurrence_intro.ptx", "status": "corrected-in-target", "summary": "The abbreviation is punctuated as 'i.e,' rather than 'i.e.,'.", "supersedes": null, "target_action": "Render the intended transition naturally as 'yaitu' without altering the following formula.", "target_file_sha256": "c623f71d68a988a65a5395f6a7076d8e86c060a61f7760926313f810843e60ea", "upstream_disposition": "Retain only if concise prose corrections survive the one end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_recurrence_intro_lines", "affected_unit_ids": [ "r012:unit:s_recurrence_intro_lines" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0160", "evidence": "Authority and target hashes plus qa/RECURRENCE_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0160", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "9082d0abd9837a42f7cf42f997f819b31287d0e8653b81ecf56caa1f6fe302c3", "source_locator": "/section/subsection[3]/p[2]", "source_path": "source/s_recurrence_intro.ptx", "status": "corrected-in-target", "summary": "A line cut by n points has n-1 bounded line segments and two rays; the source calls all n+1 pieces 'segments' and then calls two of those segments infinite.", "supersedes": null, "target_action": "Use the neutral mathematical term 'bagian' and describe the two outer pieces as unbounded, preserving the recurrence and every protected mathematical node.", "target_file_sha256": "c623f71d68a988a65a5395f6a7076d8e86c060a61f7760926313f810843e60ea", "upstream_disposition": "Retain only if this terminology precision survives the one end-of-corpus high-confidence deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_recurrence_linear", "affected_unit_ids": [ "r012:unit:s_recurrence_linear" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0161", "evidence": "Authority and target identities plus qa/RECURRENCE_LINEAR_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0161", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "2eb7e161ab86d76fd5f352e0d5bc640aeff1fe60be6c271ac711da7d4b0c167e", "source_locator": "/section/p[1]", "source_path": "source/s_recurrence_linear.ptx", "status": "authority-discrepancy", "summary": "The homogeneity definition says 'A linear equation' although the defined object and its forcing function g(n) are a linear recurrence equation.", "supersedes": null, "target_action": "Keep the faithful translation unchanged; do not silently insert the missing recurrence noun.", "target_file_sha256": "88c2414e62875c74892c3e523cdb221e3d541b667e5cabbb27cbc64919a66313", "upstream_disposition": "Retain only if this concise wording correction survives the single end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ex_recurrence_adveq", "affected_unit_ids": [ "r012:unit:ex_recurrence_adveq" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0162", "evidence": "Exact authority/target C14N hashes, two explicit distinct source-domain solution witnesses, and qa/RECURRENCE_ADVANCEMENT_OPERATORS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0162", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "a6e764e34404f53f319ef8dc025aef9adb26c1405d6f11639c20e936e7f87b8c", "source_locator": "/section/introduction/example[3]/statement/p/m[4]", "source_path": "source/s_recurrence_adv-ops.ptx", "status": "corrected-in-target", "summary": "The recurrence is stated only for n>=1, leaving s_1 unconstrained despite s_0=3; the supplied solution silently uses n>=0 and otherwise does not follow.", "supersedes": null, "target_action": "Change only the range start from n>=1 to n>=0, so the initial condition determines s_1 and induction gives s_n=3*2^n.", "target_file_sha256": "1b92209854093b3a4a5dfbd9187db5db634169f2c2e28d0770b21425633cf013", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus upstream mathematical report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:12b6629772d99bdcaab15a9b", "affected_unit_ids": [ "r012:unit:auto:12b6629772d99bdcaab15a9b" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0163", "evidence": "Authority and target identities plus qa/RECURRENCE_ADVANCEMENT_OPERATORS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0163", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "a6e764e34404f53f319ef8dc025aef9adb26c1405d6f11639c20e936e7f87b8c", "source_locator": "/section/introduction/p[4]", "source_path": "source/s_recurrence_adv-ops.ptx", "status": "corrected-in-target", "summary": "The phrase 'interested in more placing everything we do on rigorous footing' contains an intrusive 'more' and is grammatically malformed.", "supersedes": null, "target_action": "Render the intended sentence naturally in Indonesian without altering protected mathematics or the xref.", "target_file_sha256": "1b92209854093b3a4a5dfbd9187db5db634169f2c2e28d0770b21425633cf013", "upstream_disposition": "Retain only if concise editorial corrections survive the one end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ex_recurrence_ternary-strings-no-20-solved", "affected_unit_ids": [ "r012:unit:ex_recurrence_ternary-strings-no-20-solved" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0164", "evidence": "At length 1 the containing count is 0 rather than 3; at length 2 the containing count is 1 rather than 8; exact paragraph C14N hashes and qa/RECURRENCE_SOLVING_MODULE_QA_20260822.json.", "id": "r012:correction:AC-ADV-0164", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "a204723c8fce22cc738b70f5c49e8077dd10d765e4a9689b7ed2f9b086f7c4ff", "source_locator": "/section/subsection[1]/example[2]/p[1]", "source_path": "source/s_recurrence_solving.ptx", "status": "corrected-in-target", "summary": "The source says the ternary strings do have substring (2,0), but its no-20 IDs, t_1=3, and t_2=8 all describe strings that avoid the substring.", "supersedes": null, "target_action": "Render the intended condition as 'tidak memuat (2,0)' while preserving all protected mathematics and references.", "target_file_sha256": "41471b5951074a25ed3aec9d26700fe4354b60e30500e5347e50c1e96c4982e7", "upstream_disposition": "Retain as a high-confidence mathematical-prose candidate for the single concise end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_recurrence_solving_nonhomogeneous", "affected_unit_ids": [ "r012:unit:s_recurrence_solving_nonhomogeneous" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0165", "evidence": "Exact paragraph C14N hashes and qa/RECURRENCE_SOLVING_MODULE_QA_20260822.json.", "id": "r012:correction:AC-ADV-0165", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "a204723c8fce22cc738b70f5c49e8077dd10d765e4a9689b7ed2f9b086f7c4ff", "source_locator": "/section/subsection[2]/p[2]", "source_path": "source/s_recurrence_solving.ptx", "status": "corrected-in-target", "summary": "The phrase 'looks a lot like right hand side of the equation' is missing the article 'the'.", "supersedes": null, "target_action": "Render the intended comparison naturally as 'sangat mirip dengan ruas kanan persamaan'.", "target_file_sha256": "41471b5951074a25ed3aec9d26700fe4354b60e30500e5347e50c1e96c4982e7", "upstream_disposition": "Retain only if concise editorial corrections survive the one end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:rq-recurrence_solving-solve-plus-4", "affected_unit_ids": [ "r012:unit:rq-recurrence_solving-solve-plus-4" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0166", "evidence": "Exact paragraph C14N hashes and qa/RECURRENCE_SOLVING_MODULE_QA_20260822.json.", "id": "r012:correction:AC-ADV-0166", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "a204723c8fce22cc738b70f5c49e8077dd10d765e4a9689b7ed2f9b086f7c4ff", "source_locator": "/section/reading-questions/exercise[1]/statement/p", "source_path": "source/s_recurrence_solving.ptx", "status": "corrected-in-target", "summary": "The phrase 'in couple of sentences' is missing the article 'a'.", "supersedes": null, "target_action": "Render the intended instruction naturally as 'dalam beberapa kalimat'.", "target_file_sha256": "41471b5951074a25ed3aec9d26700fe4354b60e30500e5347e50c1e96c4982e7", "upstream_disposition": "Retain only if concise editorial corrections survive the one end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ex_recurrence_deg4-repeated", "affected_unit_ids": [ "r012:unit:ex_recurrence_deg4-repeated" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0167", "evidence": "Source and target math C14N SHA-256 are both 8a7a87a7f44451ceab1a63b3e5758c72407e4a455c52108d02cf450960c2e575; exact factorization independently verified in qa/RECURRENCE_SOLVING_MODULE_QA_20260822.json.", "id": "r012:correction:AC-ADV-0167", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "a204723c8fce22cc738b70f5c49e8077dd10d765e4a9689b7ed2f9b086f7c4ff", "source_locator": "/section/subsection[1]/example[5]/statement/p/md", "source_path": "source/s_recurrence_solving.ptx", "status": "authority-discrepancy", "summary": "The recurrence writes '+ -14 f_{n+1}' instead of the conventional '-14 f_{n+1}', although both are algebraically equivalent and the derived operator polynomial has the intended sign.", "supersedes": null, "target_action": "Keep the protected source expression exact in this target module; optionally normalize it upstream to '-14 f_{n+1}'.", "target_file_sha256": "41471b5951074a25ed3aec9d26700fe4354b60e30500e5347e50c1e96c4982e7", "upstream_disposition": "Low-priority notation candidate; include only if it survives the single end-of-corpus high-confidence deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:ba2f054b693f6319b15736f2", "affected_unit_ids": [ "r012:unit:auto:ba2f054b693f6319b15736f2" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0168", "evidence": "Exact C14N hashes plus qa/RECURRENCE_RIGOROUS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0168", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "5946625b4a813feca46a489e02a1366e1981265a74f1ac2fea3513567fbaf361", "source_locator": "/section/introduction/p[2]/ol/li[1]/p/m[2]", "source_path": "source/s_recurrence_rigorous.ptx", "status": "corrected-in-target", "summary": "The first vector-space axiom has an extraneous comma immediately before the membership symbol in x,y,\\in V.", "supersedes": null, "target_action": "Remove only that comma.", "target_file_sha256": "ad8b56005980f78d448ea5164b60a846270ecf468609bd187f473340bfb6f16a", "upstream_disposition": "Retain only if concise mathematical-typesetting corrections survive the single end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:ba2f054b693f6319b15736f2", "affected_unit_ids": [ "r012:unit:auto:ba2f054b693f6319b15736f2" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0169", "evidence": "Exact C14N hashes and the seven surrounding V-domain axioms plus qa/RECURRENCE_RIGOROUS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0169", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "5946625b4a813feca46a489e02a1366e1981265a74f1ac2fea3513567fbaf361", "source_locator": "/section/introduction/p[2]/ol/li[5]/p/m[2]", "source_path": "source/s_recurrence_rigorous.ptx", "status": "corrected-in-target", "summary": "The scalar-identity axiom quantifies x over undefined X instead of the declared vector space V.", "supersedes": null, "target_action": "Replace only X by V.", "target_file_sha256": "ad8b56005980f78d448ea5164b60a846270ecf468609bd187f473340bfb6f16a", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus upstream mathematical report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_recurrence_rigorous_principal", "affected_unit_ids": [ "r012:unit:s_recurrence_rigorous_principal" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0170", "evidence": "Exact C14N hashes and surrounding p(A) notation plus qa/RECURRENCE_RIGOROUS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0170", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "5946625b4a813feca46a489e02a1366e1981265a74f1ac2fea3513567fbaf361", "source_locator": "/section/subsection[1]/p[2]/md", "source_path": "source/s_recurrence_rigorous.ptx", "status": "corrected-in-target", "summary": "The scalar-linearity identity writes p(a), with lowercase a undefined, instead of the advancement-operator polynomial p(A).", "supersedes": null, "target_action": "Replace only p(a) by p(A); localize the independent reader-facing TeX conjunction to dan.", "target_file_sha256": "ad8b56005980f78d448ea5164b60a846270ecf468609bd187f473340bfb6f16a", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus upstream mathematical report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:lem_base", "affected_unit_ids": [ "r012:unit:lem_base" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0171", "evidence": "Exact C14N hashes and index-domain verification plus qa/RECURRENCE_RIGOROUS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0171", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "5946625b4a813feca46a489e02a1366e1981265a74f1ac2fea3513567fbaf361", "source_locator": "/section/subsection[2]/lemma[1]/proof/p/m[10]", "source_path": "source/s_recurrence_rigorous.ptx", "status": "corrected-in-target", "summary": "The backward proof states n<=0 in f(-n)=cr^(-n), so -n is nonnegative and the sentence fails to cover the negative arguments it is meant to establish.", "supersedes": null, "target_action": "Change only n<=0 to n>=0.", "target_file_sha256": "ad8b56005980f78d448ea5164b60a846270ecf468609bd187f473340bfb6f16a", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus upstream mathematical report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:c52c9183ba4135b30d2552a6", "affected_unit_ids": [ "r012:unit:auto:c52c9183ba4135b30d2552a6" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0172", "evidence": "Exact C14N hashes and direct substitution f=f_0+f_1 plus qa/RECURRENCE_RIGOROUS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0172", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "5946625b4a813feca46a489e02a1366e1981265a74f1ac2fea3513567fbaf361", "source_locator": "/section/subsection[2]/theorem/proof/p[2]/md", "source_path": "source/s_recurrence_rigorous.ptx", "status": "corrected-in-target", "summary": "The final combined solution drops the m+1 subscript from the coefficient c_{m+1} defined immediately beforehand.", "supersedes": null, "target_action": "Change the final cr_{m+1}^n to c_{m+1}r_{m+1}^n.", "target_file_sha256": "ad8b56005980f78d448ea5164b60a846270ecf468609bd187f473340bfb6f16a", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus upstream mathematical report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ex_recurrence_gf-homog", "affected_unit_ids": [ "r012:unit:ex_recurrence_gf-homog" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0173", "evidence": "Exact source/target C14N hashes and independent coefficient-shift verification in qa/RECURRENCE_GENERATING_FUNCTIONS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0173", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "1facf1c25e4bcf2a59eaafeacbd7b5c311c00d38b2ba535ef8bd157ffaeceef6", "source_locator": "/section/example[1]/p[1]/m[7] and /section/example[1]/p[2]/m[1]", "source_path": "source/s_recurrence_genfunction.ptx", "status": "corrected-in-target", "summary": "The authority uses x_n twice for the monomial whose coefficient is being discussed, but coefficient shifting by x f(x) requires x^n.", "supersedes": null, "target_action": "Replace both protected inline forms x_n with x^n; leave all surrounding notation unchanged.", "target_file_sha256": "adc4d5a9c8fce4e9e478615e2aa8c60e15c7868e577bd62fd4f1b8307a90533e", "upstream_disposition": "Retain for the single concise end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ex_recurrence_gf-homog", "affected_unit_ids": [ "r012:unit:ex_recurrence_gf-homog" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0174", "evidence": "Exact source/target C14N hashes and independent coefficient-alignment verification in qa/RECURRENCE_GENERATING_FUNCTIONS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0174", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "1facf1c25e4bcf2a59eaafeacbd7b5c311c00d38b2ba535ef8bd157ffaeceef6", "source_locator": "/section/example[1]/p[2]/md[1]/mrow[2]", "source_path": "source/s_recurrence_genfunction.ptx", "status": "corrected-in-target", "summary": "The displayed expansion of x f(x) omits the plus sign between the ellipsis and r_{n-1}x^n.", "supersedes": null, "target_action": "Insert exactly one plus sign before r_{n-1}x^n; the enclosing md changes canonically only because it contains this mrow.", "target_file_sha256": "adc4d5a9c8fce4e9e478615e2aa8c60e15c7868e577bd62fd4f1b8307a90533e", "upstream_disposition": "Retain for the single concise end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_recurrence_rubots", "affected_unit_ids": [ "r012:unit:s_recurrence_rubots" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0175", "evidence": "Authority/target identities and manual bilingual review in qa/RECURRENCE_RUBOTS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0175", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "5e1f9c503e5945e6902fb273afed07d94ba05a127abe3aa350ab821921082d9a", "source_locator": "/section/p[1]", "source_path": "source/s_recurrence_rubots.ptx", "status": "corrected-in-target", "summary": "The authority phrase 'enumerate the a certain type of trees' contains both definite and indefinite articles.", "supersedes": null, "target_action": "Render the intended phrase grammatically as mencacah suatu jenis pohon tertentu without changing its meaning.", "target_file_sha256": "3c52d8b6652abd29e1569ab0a3540a42eef72a0c9983e6f4c1b1a78331706c8d", "upstream_disposition": "Retain only if this concise prose correction survives the single end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_recurrence_discussion", "affected_unit_ids": [ "r012:unit:s_recurrence_discussion" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0176", "evidence": "Authority/target identities and manual bilingual review in qa/RECURRENCE_DISCUSSION_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0176", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "cd4bb174041cc56d22617a33e10fa2df1a26abeb12b2cc7dff00605a54d7e80a", "source_locator": "/section/p[1], /section/p[5], and /section/p[6]", "source_path": "source/s_recurrence_discussion.ptx", "status": "corrected-in-target", "summary": "The authority omits punctuation after 'coffee', places an extra comma after a question-mark quotation, misspells 'commandeered', inserts a stray 'it' before s, and shifts once to present-tense 'execute' in the past-tense narrative.", "supersedes": null, "target_action": "Render the intended dialogue and narrative grammatically in Indonesian while preserving every code, output, reference, and computational claim.", "target_file_sha256": "40d8579b0a8163ff8085f9531fa97de166e28457ad0853b1d6731b4b9a151916", "upstream_disposition": "Retain only if these concise prose corrections survive the single end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:2805f151f78e8bead70ba078", "affected_unit_ids": [ "r012:unit:auto:2805f151f78e8bead70ba078" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0177", "evidence": "Authority/target identities and manual bilingual review in qa/RECURRENCE_EXERCISES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0177", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "5e5a92280af3f4a6bcf41ec09404127610943fa85d26e69c0ed3386667190f0f", "source_locator": "/exercises/exercise[19]/statement/p", "source_path": "source/s_recurrence_exercises.ptx", "status": "corrected-in-target", "summary": "The authority inserts an extraneous comma between 'ordered' and 'trees' in the compound description 'rooted, unlabeled, binary, ordered, trees'.", "supersedes": null, "target_action": "Render the compound tree description grammatically without a comma before the head noun.", "target_file_sha256": "60b1cba569522dcae61efad2cce56516a4d9ceb2e3f51710f61d72dd7ca89432", "upstream_disposition": "Retain only if this concise prose correction survives the single end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:recurrence_PI_solve-deg-one", "affected_unit_ids": [ "r012:unit:recurrence_PI_solve-deg-one" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0178", "evidence": "Authority/target identities and answer-key replay in qa/RECURRENCE_PEER_INSTRUCTION_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0178", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "0cc206f498bd3383b8da1f9e730ec17f02e6fd9042ab6d747260b1c7e83232fb", "source_locator": "/exercises/exercise[3]/statement/p", "source_path": "source/s_recurrence_peer-instruction.ptx", "status": "corrected-in-target", "summary": "The authority misspells 'functions' as 'funtions' in the third peer-instruction prompt.", "supersedes": null, "target_action": "Render the intended word correctly in Indonesian without changing the prompt or answer-key contract.", "target_file_sha256": "f8d637e19b0e06ee5b8419e9072d491781c8b7b1ce77e54aea59f81d7171db07", "upstream_disposition": "Retain only if this concise typo survives the single end-of-corpus deduplication pass.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_probability_intro", "affected_unit_ids": [ "r012:unit:s_probability_intro" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0179", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0179", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "2c187f038c898b6a8a585fa8f8e341caa58454c7e59836c650a30393fb4c924a", "source_locator": "/section/p[3]", "source_path": "source/s_probability_intro.ptx", "status": "corrected-in-target", "summary": "The chapter game is between Alice and Dave, but this paragraph names Bob.", "supersedes": null, "target_action": "Use Dave, matching the chapter wrapper and subsequent payoff discussion.", "target_file_sha256": "fb4c79a461137c17d534874e7673855c617fa08162adf45b6b57ee4c1f710e3b", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_probability_intro", "affected_unit_ids": [ "r012:unit:s_probability_intro" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0180", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0180", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "2c187f038c898b6a8a585fa8f8e341caa58454c7e59836c650a30393fb4c924a", "source_locator": "/section/p[4]", "source_path": "source/s_probability_intro.ptx", "status": "corrected-in-target", "summary": "The phrase 'a function that whose domain' contains two competing relative constructions.", "supersedes": null, "target_action": "Translate the intended single relative construction naturally.", "target_file_sha256": "fb4c79a461137c17d534874e7673855c617fa08162adf45b6b57ee4c1f710e3b", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_probability_intro", "affected_unit_ids": [ "r012:unit:s_probability_intro" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0181", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0181", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "2c187f038c898b6a8a585fa8f8e341caa58454c7e59836c650a30393fb4c924a", "source_locator": "/section/p[6]/m[13]", "source_path": "source/s_probability_intro.ptx", "status": "corrected-in-target", "summary": "The event-probability sum ranges over X although the event being evaluated is E.", "supersedes": null, "target_action": "Replace the summation index set X with E.", "target_file_sha256": "fb4c79a461137c17d534874e7673855c617fa08162adf45b6b57ee4c1f710e3b", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:dc7056216e439071dc1ede50", "affected_unit_ids": [ "r012:unit:auto:dc7056216e439071dc1ede50" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0182", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0182", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "2c187f038c898b6a8a585fa8f8e341caa58454c7e59836c650a30393fb4c924a", "source_locator": "/section/example[3]/p", "source_path": "source/s_probability_intro.ptx", "status": "corrected-in-target", "summary": "The phrase 'consider the two die' uses the singular noun after two.", "supersedes": null, "target_action": "Use the plural form naturally in translation.", "target_file_sha256": "fb4c79a461137c17d534874e7673855c617fa08162adf45b6b57ee4c1f710e3b", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:f7e40464a595ae094b2b7cdf", "affected_unit_ids": [ "r012:unit:auto:f7e40464a595ae094b2b7cdf" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0183", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0183", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "2c187f038c898b6a8a585fa8f8e341caa58454c7e59836c650a30393fb4c924a", "source_locator": "/section/example[6]/p", "source_path": "source/s_probability_intro.ptx", "status": "corrected-in-target", "summary": "The phrase 'some cards games' has an erroneous plural modifier.", "supersedes": null, "target_action": "Translate the intended phrase 'some card games'.", "target_file_sha256": "fb4c79a461137c17d534874e7673855c617fa08162adf45b6b57ee4c1f710e3b", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:f7e40464a595ae094b2b7cdf", "affected_unit_ids": [ "r012:unit:auto:f7e40464a595ae094b2b7cdf" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0184", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0184", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "2c187f038c898b6a8a585fa8f8e341caa58454c7e59836c650a30393fb4c924a", "source_locator": "/section/example[6]/p", "source_path": "source/s_probability_intro.ptx", "status": "corrected-in-target", "summary": "The rank range says 'ace though king' rather than 'ace through king'.", "supersedes": null, "target_action": "Translate the intended complete rank range.", "target_file_sha256": "fb4c79a461137c17d534874e7673855c617fa08162adf45b6b57ee4c1f710e3b", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:cf51ab7939254cfefade0b8c", "affected_unit_ids": [ "r012:unit:auto:cf51ab7939254cfefade0b8c" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0185", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_CONDITIONAL_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0185", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "f14f9db9160ac6b361173e3d45fc692ee6b949e19c710c3c687e19790d384753", "source_locator": "/section/introduction/p[1]", "source_path": "source/s_probability_conditional.ptx", "status": "corrected-in-target", "summary": "The phrase 'selects two of the twenty marbles random' lacks the adverbial form 'at random'.", "supersedes": null, "target_action": "Translate the random selection naturally.", "target_file_sha256": "60c44da56833046c9db31499d14bf2f104f0f8100b6c2617d9f25a25817c1c73", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:exa_twojars", "affected_unit_ids": [ "r012:unit:exa_twojars" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0186", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_CONDITIONAL_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0186", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "f14f9db9160ac6b361173e3d45fc692ee6b949e19c710c3c687e19790d384753", "source_locator": "/section/introduction/example/p[1]/m[5]", "source_path": "source/s_probability_conditional.ptx", "status": "corrected-in-target", "summary": "The disjointness statement adds two events and equates the result to the empty set.", "supersedes": null, "target_action": "Replace the plus sign between the events with set intersection.", "target_file_sha256": "60c44da56833046c9db31499d14bf2f104f0f8100b6c2617d9f25a25817c1c73", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_probability_bernoulli-trials", "affected_unit_ids": [ "r012:unit:s_probability_bernoulli-trials" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0187", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_BERNOULLI_TRIALS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0187", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "fe10e701203acbb8a46fafefdac21f476e6d36d20a4516bd320f1175dfea3357", "source_locator": "/section/p[3]", "source_path": "source/s_probability_bernoulli-trials.ptx", "status": "corrected-in-target", "summary": "The formal description gives constant marginal success probability but omits mutual independence, which is required for the subsequent product and binomial formulas.", "supersedes": null, "target_action": "State explicitly that the repeated trials are mutually independent and retain success probability p.", "target_file_sha256": "c6a14ab8b704605734c2cfb60d555957ab1e6b31ceede153ccb1e73e48ad90d6", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_probability_bernoulli-trials", "affected_unit_ids": [ "r012:unit:s_probability_bernoulli-trials" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0188", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_BERNOULLI_TRIALS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0188", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "fe10e701203acbb8a46fafefdac21f476e6d36d20a4516bd320f1175dfea3357", "source_locator": "/section/p[4]/m[8]", "source_path": "source/s_probability_bernoulli-trials.ptx", "status": "corrected-in-target", "summary": "The probability assigned to one fixed outcome string incorrectly includes the number of strings with that success count.", "supersedes": null, "target_action": "Remove the binomial coefficient from P(x); retain it only when counting all strings with i successes.", "target_file_sha256": "c6a14ab8b704605734c2cfb60d555957ab1e6b31ceede153ccb1e73e48ad90d6", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:b42f3491cea83177c7826fab", "affected_unit_ids": [ "r012:unit:auto:b42f3491cea83177c7826fab" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0189", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_BERNOULLI_TRIALS_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0189", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "fe10e701203acbb8a46fafefdac21f476e6d36d20a4516bd320f1175dfea3357", "source_locator": "/section/remark/p", "source_path": "source/s_probability_bernoulli-trials.ptx", "status": "corrected-in-target", "summary": "The phrase 'in few second' is missing an article and uses a singular noun after 'few'.", "supersedes": null, "target_action": "Translate the intended elapsed-time phrase naturally.", "target_file_sha256": "c6a14ab8b704605734c2cfb60d555957ab1e6b31ceede153ccb1e73e48ad90d6", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:fa26c80a67c89c43da03624e", "affected_unit_ids": [ "r012:unit:auto:fa26c80a67c89c43da03624e" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0190", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_DISCRETE_RANDOM_VARIABLES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0190", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "3b9c55339f99cfd30cbf9f3772d027c7fd28414ef1f0b5896348ed94e47a6c1b", "source_locator": "/section/introduction/p[1]", "source_path": "source/s_probability_discrete-random-variables.ptx", "status": "corrected-in-target", "summary": "Expectation is introduced for an arbitrary random variable, but the explanatory sentence narrows repeated observations to Bernoulli trials.", "supersedes": null, "target_action": "Describe repeated independent trials generally rather than Bernoulli trials specifically.", "target_file_sha256": "5c9fbfd482a1cf426dc517a93f004c1dc19a7100fc305140fd4a6ea34a37efcd", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:fa26c80a67c89c43da03624e", "affected_unit_ids": [ "r012:unit:auto:fa26c80a67c89c43da03624e" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0191", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_DISCRETE_RANDOM_VARIABLES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0191", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "3b9c55339f99cfd30cbf9f3772d027c7fd28414ef1f0b5896348ed94e47a6c1b", "source_locator": "/section/introduction/p[1]/fn", "source_path": "source/s_probability_discrete-random-variables.ptx", "status": "corrected-in-target", "summary": "The phrase 'might more seem more natural' duplicates 'more'.", "supersedes": null, "target_action": "Translate the intended comparison naturally.", "target_file_sha256": "5c9fbfd482a1cf426dc517a93f004c1dc19a7100fc305140fd4a6ea34a37efcd", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:60c6a1b068fc8ed42ca7593c", "affected_unit_ids": [ "r012:unit:auto:60c6a1b068fc8ed42ca7593c" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0192", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_DISCRETE_RANDOM_VARIABLES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0192", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "3b9c55339f99cfd30cbf9f3772d027c7fd28414ef1f0b5896348ed94e47a6c1b", "source_locator": "/section/introduction/example[1]/p/m[7]", "source_path": "source/s_probability_discrete-random-variables.ptx", "status": "corrected-in-target", "summary": "The index range has an unmatched closing parenthesis.", "supersedes": null, "target_action": "Remove the unmatched parenthesis.", "target_file_sha256": "5c9fbfd482a1cf426dc517a93f004c1dc19a7100fc305140fd4a6ea34a37efcd", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:60c6a1b068fc8ed42ca7593c", "affected_unit_ids": [ "r012:unit:auto:60c6a1b068fc8ed42ca7593c" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0193", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_DISCRETE_RANDOM_VARIABLES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0193", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "3b9c55339f99cfd30cbf9f3772d027c7fd28414ef1f0b5896348ed94e47a6c1b", "source_locator": "/section/introduction/example[1]/p/m[20]", "source_path": "source/s_probability_discrete-random-variables.ptx", "status": "corrected-in-target", "summary": "After subtracting 13.625n and dividing by n, the normalized deviation should be close to zero, not close to 13.625.", "supersedes": null, "target_action": "Replace the center 13.625 with 0.", "target_file_sha256": "5c9fbfd482a1cf426dc517a93f004c1dc19a7100fc305140fd4a6ea34a37efcd", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:35a079f39425cb52d1e8033e", "affected_unit_ids": [ "r012:unit:auto:35a079f39425cb52d1e8033e" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0194", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_DISCRETE_RANDOM_VARIABLES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0194", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "3b9c55339f99cfd30cbf9f3772d027c7fd28414ef1f0b5896348ed94e47a6c1b", "source_locator": "/section/introduction/example[2]/p/m[3]", "source_path": "source/s_probability_discrete-random-variables.ptx", "status": "corrected-in-target", "summary": "The displayed payoff function 2-d has the opposite sign from the stated dice rules and the immediately following expectation expansion; the prose also names Bob instead of the chapter's player Dave.", "supersedes": null, "target_action": "Use X(d)=d-2 and identify Dave consistently as Alice's opponent.", "target_file_sha256": "5c9fbfd482a1cf426dc517a93f004c1dc19a7100fc305140fd4a6ea34a37efcd", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:35a079f39425cb52d1e8033e", "affected_unit_ids": [ "r012:unit:auto:35a079f39425cb52d1e8033e" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0195", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_DISCRETE_RANDOM_VARIABLES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0195", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "3b9c55339f99cfd30cbf9f3772d027c7fd28414ef1f0b5896348ed94e47a6c1b", "source_locator": "/section/introduction/example[2]/p/md", "source_path": "source/s_probability_discrete-random-variables.ptx", "status": "corrected-in-target", "summary": "The final weighted payoff term is written 3{2}{36}, omitting the fraction command.", "supersedes": null, "target_action": "Restore 3 times 2/36 with an explicit fraction.", "target_file_sha256": "5c9fbfd482a1cf426dc517a93f004c1dc19a7100fc305140fd4a6ea34a37efcd", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:prop_linearexpect", "affected_unit_ids": [ "r012:unit:prop_linearexpect" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0196", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_DISCRETE_RANDOM_VARIABLES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0196", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "3b9c55339f99cfd30cbf9f3772d027c7fd28414ef1f0b5896348ed94e47a6c1b", "source_locator": "/section/subsection[1]/proposition/statement/p/md", "source_path": "source/s_probability_discrete-random-variables.ptx", "status": "corrected-in-target", "summary": "The left side of the linearity proposition ends at X_t while the hypotheses and right side end at X_n.", "supersedes": null, "target_action": "Replace X_t with X_n.", "target_file_sha256": "5c9fbfd482a1cf426dc517a93f004c1dc19a7100fc305140fd4a6ea34a37efcd", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:f4036c5496787d4bb754e7c7", "affected_unit_ids": [ "r012:unit:auto:f4036c5496787d4bb754e7c7" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0197", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_DISCRETE_RANDOM_VARIABLES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0197", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "3b9c55339f99cfd30cbf9f3772d027c7fd28414ef1f0b5896348ed94e47a6c1b", "source_locator": "/section/subsection[2]/example[1]/p[2]/md[2]", "source_path": "source/s_probability_discrete-random-variables.ptx", "status": "corrected-in-target", "summary": "The derivative exponent x^{i-} is missing the decrement 1.", "supersedes": null, "target_action": "Restore x^{i-1}.", "target_file_sha256": "5c9fbfd482a1cf426dc517a93f004c1dc19a7100fc305140fd4a6ea34a37efcd", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:cb7ff5c803d045f07d0f6a7c", "affected_unit_ids": [ "r012:unit:auto:cb7ff5c803d045f07d0f6a7c" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0198", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_CENTRAL_TENDENCY_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0198", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "bb295dfbceca7b280064300fb923421d1f0d02903334bc45e03f3b774b966917", "source_locator": "/section/introduction/p[1]/ul/li[2]/p", "source_path": "source/s_probability_central-tendency.ptx", "status": "corrected-in-target", "summary": "The phrase 'at least than 7,500' contains a duplicated comparative construction.", "supersedes": null, "target_action": "Translate the intended lower bound naturally.", "target_file_sha256": "ece2fa80e87d664ec56a34fac46308223eba2761b715c3afc18bf5de930e5285", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:dd704af3675a6c3b2f7eb811", "affected_unit_ids": [ "r012:unit:auto:dd704af3675a6c3b2f7eb811" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0199", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_CENTRAL_TENDENCY_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0199", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "bb295dfbceca7b280064300fb923421d1f0d02903334bc45e03f3b774b966917", "source_locator": "/section/subsection/p[1]/m[9]", "source_path": "source/s_probability_central-tendency.ptx", "status": "corrected-in-target", "summary": "The standard-deviation definition uses undefined lowercase x instead of X.", "supersedes": null, "target_action": "Replace x by X.", "target_file_sha256": "ece2fa80e87d664ec56a34fac46308223eba2761b715c3afc18bf5de930e5285", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus mathematical report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:1ca23f7a2a506b65cda662e4", "affected_unit_ids": [ "r012:unit:auto:1ca23f7a2a506b65cda662e4" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0200", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_CENTRAL_TENDENCY_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0200", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "bb295dfbceca7b280064300fb923421d1f0d02903334bc45e03f3b774b966917", "source_locator": "/section/subsection/example[1]/p", "source_path": "source/s_probability_central-tendency.ptx", "status": "corrected-in-target", "summary": "The spinner squared residuals, exact variance, and decimal standard deviation are arithmetically wrong.", "supersedes": null, "target_action": "Use variance 6079/64=48632/512 and standard deviation approximately 9.746.", "target_file_sha256": "ece2fa80e87d664ec56a34fac46308223eba2761b715c3afc18bf5de930e5285", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus mathematical report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:4bd593cb3ed0759f3af2567d", "affected_unit_ids": [ "r012:unit:auto:4bd593cb3ed0759f3af2567d" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0201", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_CENTRAL_TENDENCY_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0201", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "bb295dfbceca7b280064300fb923421d1f0d02903334bc45e03f3b774b966917", "source_locator": "/section/subsection/example[2]/p[2]", "source_path": "source/s_probability_central-tendency.ptx", "status": "corrected-in-target", "summary": "The definition confuses pairwise with mutual independence and restricts thresholds to [0,1].", "supersedes": null, "target_action": "State pairwise independence with all real thresholds.", "target_file_sha256": "ece2fa80e87d664ec56a34fac46308223eba2761b715c3afc18bf5de930e5285", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus mathematical report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:thm_chebyshev", "affected_unit_ids": [ "r012:unit:thm_chebyshev" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0202", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_CENTRAL_TENDENCY_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0202", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "bb295dfbceca7b280064300fb923421d1f0d02903334bc45e03f3b774b966917", "source_locator": "/section/subsection/theorem/proof/p[2]/m[2]", "source_path": "source/s_probability_central-tendency.ptx", "status": "corrected-in-target", "summary": "The deviation comparison is outside the probability call and the expression has an unmatched parenthesis.", "supersedes": null, "target_action": "Place >k sigma_X inside P(|X-mu|...).", "target_file_sha256": "ece2fa80e87d664ec56a34fac46308223eba2761b715c3afc18bf5de930e5285", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus mathematical report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:354fbfc06218f60f0c0cd93d", "affected_unit_ids": [ "r012:unit:auto:354fbfc06218f60f0c0cd93d" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0203", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_CENTRAL_TENDENCY_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0203", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "bb295dfbceca7b280064300fb923421d1f0d02903334bc45e03f3b774b966917", "source_locator": "/section/subsection/example[3]/p[2]/m[2]", "source_path": "source/s_probability_central-tendency.ptx", "status": "corrected-in-target", "summary": "The exact lottery probability uses denominator 100001 instead of the stated 10001 equally likely tickets.", "supersedes": null, "target_action": "Use 2501/10001.", "target_file_sha256": "ece2fa80e87d664ec56a34fac46308223eba2761b715c3afc18bf5de930e5285", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus mathematical report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:bbd504642e6e005fdb6f75d4", "affected_unit_ids": [ "r012:unit:auto:bbd504642e6e005fdb6f75d4" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0204", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_INFINITE_OUTCOMES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0204", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "2f83b11f0ab855effdbbceb801b7ed1711368f55cc8b6744c52d9257366b1fd9", "source_locator": "/section/example[1]/p[1]", "source_path": "source/s_probability_infinite-outcomes.ptx", "status": "corrected-in-target", "summary": "The phrase 'which now this results in a loss' contains a duplicated clause construction.", "supersedes": null, "target_action": "Translate the intended loss rule naturally.", "target_file_sha256": "96c0401edf525cb24bd1e4662b35ccb971626aa6256eb0cfe6e035d42f49c5bb", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:9f5b75658465146534f073d6", "affected_unit_ids": [ "r012:unit:auto:9f5b75658465146534f073d6" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0205", "evidence": "Exact authority/target identities and bilingual review in qa/PROBABILITY_INFINITE_OUTCOMES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0205", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "2f83b11f0ab855effdbbceb801b7ed1711368f55cc8b6744c52d9257366b1fd9", "source_locator": "/section/example[2]/p/m[4]", "source_path": "source/s_probability_infinite-outcomes.ptx", "status": "corrected-in-target", "summary": "The assumptions allow P(A)+P(B)=0 although the displayed result divides by P(A)+P(B).", "supersedes": null, "target_action": "Require 0=, consistent with the conclusion R^d>=C.", "target_file_sha256": "c1c131415345b154489f833bac5f509e6b65a24cfa0875924c692ba0394c4854", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:57cedb436befff82c83ed9b3", "affected_unit_ids": [ "r012:unit:auto:57cedb436befff82c83ed9b3" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0307", "evidence": "Exact source/target hashes and qa/KITCHENSINK_ZERO_ONE_MATRICES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0307", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "60d1e17f64855e14129097866ab6b5ca2036d7f02b67829c7af93fbece1ac973", "source_locator": "/section/subsection/theorem/proof/p/m[1]", "source_path": "source/s_kitchensink_zero-one-matrices.ptx", "status": "corrected-in-target", "summary": "The math expression for P(t) omits its closing parenthesis.", "supersedes": null, "target_action": "Add the closing parenthesis.", "target_file_sha256": "c1c131415345b154489f833bac5f509e6b65a24cfa0875924c692ba0394c4854", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:57cedb436befff82c83ed9b3", "affected_unit_ids": [ "r012:unit:auto:57cedb436befff82c83ed9b3" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0308", "evidence": "Exact source/target hashes and qa/KITCHENSINK_ZERO_ONE_MATRICES_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0308", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "60d1e17f64855e14129097866ab6b5ca2036d7f02b67829c7af93fbece1ac973", "source_locator": "/section/subsection/theorem/proof/p/m[27]", "source_path": "source/s_kitchensink_zero-one-matrices.ptx", "status": "corrected-in-target", "summary": "The proof chooses the zero entry from unspecified M although the induction step operates on M_p.", "supersedes": null, "target_action": "Replace M by M_p.", "target_file_sha256": "c1c131415345b154489f833bac5f509e6b65a24cfa0875924c692ba0394c4854", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:d1e4a3379bffc16b1d57ecfd", "affected_unit_ids": [ "r012:unit:auto:d1e4a3379bffc16b1d57ecfd" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0309", "evidence": "Exact source/target hashes and qa/KITCHENSINK_LOVASZ_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0309", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "bc1dfaa8244837a6800c128b86114aebb4112a2904294aee9df6831021324bdf", "source_locator": "/section/lemma[1]/proof/p[1]/md[1]", "source_path": "source/s_kitchensink_lovasz-local.ptx", "status": "corrected-in-target", "summary": "The chain-rule product uses malformed i>=1 syntax, omits the complement bar on E_3, and truncates the factorization.", "supersedes": null, "target_action": "Use product i=1..k and condition every complemented event through the final factor P(overline E_k).", "target_file_sha256": "6a45298ef6ebf434e48cb60e8798523658dc1d5e5a77d909115434d5daf3d8f2", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:d1e4a3379bffc16b1d57ecfd", "affected_unit_ids": [ "r012:unit:auto:d1e4a3379bffc16b1d57ecfd" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0310", "evidence": "Exact source/target hashes and qa/KITCHENSINK_LOVASZ_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0310", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "bc1dfaa8244837a6800c128b86114aebb4112a2904294aee9df6831021324bdf", "source_locator": "/section/lemma[1]/proof/p[2]/m[3]", "source_path": "source/s_kitchensink_lovasz-local.ptx", "status": "corrected-in-target", "summary": "The family listing jumps from F_2 to F_r without an ellipsis.", "supersedes": null, "target_action": "Insert the missing ellipsis.", "target_file_sha256": "6a45298ef6ebf434e48cb60e8798523658dc1d5e5a77d909115434d5daf3d8f2", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:d1e4a3379bffc16b1d57ecfd", "affected_unit_ids": [ "r012:unit:auto:d1e4a3379bffc16b1d57ecfd" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0311", "evidence": "Exact source/target hashes and qa/KITCHENSINK_LOVASZ_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0311", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "bc1dfaa8244837a6800c128b86114aebb4112a2904294aee9df6831021324bdf", "source_locator": "/section/lemma[1]/proof/p[2]/m[4]", "source_path": "source/s_kitchensink_lovasz-local.ptx", "status": "corrected-in-target", "summary": "The proof refers to undefined N_E instead of the established N(E).", "supersedes": null, "target_action": "Replace N_E by N(E).", "target_file_sha256": "6a45298ef6ebf434e48cb60e8798523658dc1d5e5a77d909115434d5daf3d8f2", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:d1e4a3379bffc16b1d57ecfd", "affected_unit_ids": [ "r012:unit:auto:d1e4a3379bffc16b1d57ecfd" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0312", "evidence": "Exact source/target hashes and qa/KITCHENSINK_LOVASZ_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0312", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "bc1dfaa8244837a6800c128b86114aebb4112a2904294aee9df6831021324bdf", "source_locator": "/section/lemma[1]/proof/p[2]/md[4]", "source_path": "source/s_kitchensink_lovasz-local.ptx", "status": "corrected-in-target", "summary": "The conditional-probability quotient lacks an opening parenthesis and omits the nonneighbor conditioning event from its denominator.", "supersedes": null, "target_action": "Restore P( and condition numerator and denominator on the nonneighbor complements.", "target_file_sha256": "6a45298ef6ebf434e48cb60e8798523658dc1d5e5a77d909115434d5daf3d8f2", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:d1e4a3379bffc16b1d57ecfd", "affected_unit_ids": [ "r012:unit:auto:d1e4a3379bffc16b1d57ecfd" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0313", "evidence": "Exact source/target hashes and qa/KITCHENSINK_LOVASZ_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0313", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "bc1dfaa8244837a6800c128b86114aebb4112a2904294aee9df6831021324bdf", "source_locator": "/section/lemma[1]/proof/p[2]/md[5]", "source_path": "source/s_kitchensink_lovasz-local.ptx", "status": "corrected-in-target", "summary": "The numerator bound conditions on the dependent events and uses only their x-product, rather than using independence from the nonneighbors and the full N(E) product.", "supersedes": null, "target_action": "Bound by P(E conditioned on nonneighbors)=P(E)<=x(E) product over N(E).", "target_file_sha256": "6a45298ef6ebf434e48cb60e8798523658dc1d5e5a77d909115434d5daf3d8f2", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:d1e4a3379bffc16b1d57ecfd", "affected_unit_ids": [ "r012:unit:auto:d1e4a3379bffc16b1d57ecfd" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0314", "evidence": "Exact source/target hashes and qa/KITCHENSINK_LOVASZ_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0314", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "bc1dfaa8244837a6800c128b86114aebb4112a2904294aee9df6831021324bdf", "source_locator": "/section/lemma[1]/proof/p[2]/md[6]", "source_path": "source/s_kitchensink_lovasz-local.ptx", "status": "corrected-in-target", "summary": "The denominator display has malformed product syntax and drops the conditioning event present in the quotient.", "supersedes": null, "target_action": "Restore the conditional denominator and its inductive lower bound.", "target_file_sha256": "6a45298ef6ebf434e48cb60e8798523658dc1d5e5a77d909115434d5daf3d8f2", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:d1e4a3379bffc16b1d57ecfd", "affected_unit_ids": [ "r012:unit:auto:d1e4a3379bffc16b1d57ecfd" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0315", "evidence": "Exact source/target hashes and qa/KITCHENSINK_LOVASZ_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0315", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "bc1dfaa8244837a6800c128b86114aebb4112a2904294aee9df6831021324bdf", "source_locator": "/section/lemma[1]/proof/p[2]/md[7]", "source_path": "source/s_kitchensink_lovasz-local.ptx", "status": "corrected-in-target", "summary": "The final product subscript omits the bound variable F in F in N(E)-F_E.", "supersedes": null, "target_action": "Insert F\\in in the product subscript.", "target_file_sha256": "6a45298ef6ebf434e48cb60e8798523658dc1d5e5a77d909115434d5daf3d8f2", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:d1e4a3379bffc16b1d57ecfd", "affected_unit_ids": [ "r012:unit:auto:d1e4a3379bffc16b1d57ecfd" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0316", "evidence": "Exact source/target hashes and qa/KITCHENSINK_LOVASZ_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0316", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "bc1dfaa8244837a6800c128b86114aebb4112a2904294aee9df6831021324bdf", "source_locator": "/section/lemma[1]/proof/p[2]", "source_path": "source/s_kitchensink_lovasz-local.ptx", "status": "corrected-in-target", "summary": "The source says 'So, we done'.", "supersedes": null, "target_action": "Render the intended grammatical transition 'we are done'.", "target_file_sha256": "6a45298ef6ebf434e48cb60e8798523658dc1d5e5a77d909115434d5daf3d8f2", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:lem_LLL-sym", "affected_unit_ids": [ "r012:unit:lem_LLL-sym" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0317", "evidence": "Exact source/target hashes and qa/KITCHENSINK_LOVASZ_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0317", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "bc1dfaa8244837a6800c128b86114aebb4112a2904294aee9df6831021324bdf", "source_locator": "/section/lemma[2]/statement/p/md", "source_path": "source/s_kitchensink_lovasz-local.ptx", "status": "corrected-in-target", "summary": "The symmetric conclusion uses undefined G and x(E) and therefore does not instantiate the asymmetric lemma.", "supersedes": null, "target_action": "Use F and x(E)=1/(d+1), displaying an explicitly positive lower bound.", "target_file_sha256": "6a45298ef6ebf434e48cb60e8798523658dc1d5e5a77d909115434d5daf3d8f2", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:f483b83e640687a9ae0572ff", "affected_unit_ids": [ "r012:unit:auto:f483b83e640687a9ae0572ff" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0318", "evidence": "Exact source/target hashes and qa/KITCHENSINK_LOVASZ_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0318", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "bc1dfaa8244837a6800c128b86114aebb4112a2904294aee9df6831021324bdf", "source_locator": "/section/lemma[2]/proof/p/md", "source_path": "source/s_kitchensink_lovasz-local.ptx", "status": "corrected-in-target", "summary": "The proof formula has malformed product syntax, missing delimiters, and omits the degree-d estimate needed to verify the asymmetric hypothesis.", "supersedes": null, "target_action": "Give the complete inequality through x(E) product over N(E).", "target_file_sha256": "6a45298ef6ebf434e48cb60e8798523658dc1d5e5a77d909115434d5daf3d8f2", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_kitchensink_applying-local-lemma", "affected_unit_ids": [ "r012:unit:s_kitchensink_applying-local-lemma" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0319", "evidence": "Exact source/target hashes and qa/KITCHENSINK_APPLYING_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0319", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "9223d543065f97d634d323ca9b6965f8d6ac845afcc118b79613a632a885607e", "source_locator": "/section/p[1]/m[1]", "source_path": "source/s_kitchensink_applying-local-lemma.ptx", "status": "corrected-in-target", "summary": "The Ramsey number is written (R,3,n) instead of the standard R(3,n), used immediately afterward.", "supersedes": null, "target_action": "Replace (R,3,n) by R(3,n).", "target_file_sha256": "5047586ffb19d10344fedb209c0ec72cd9d08e87238906aaf05f020561151659", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_kitchensink_applying-local-lemma", "affected_unit_ids": [ "r012:unit:s_kitchensink_applying-local-lemma" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0320", "evidence": "Exact source/target hashes and qa/KITCHENSINK_APPLYING_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0320", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "9223d543065f97d634d323ca9b6965f8d6ac845afcc118b79613a632a885607e", "source_locator": "/section/p[2]", "source_path": "source/s_kitchensink_applying-local-lemma.ptx", "status": "corrected-in-target", "summary": "The number of candidate n-subsets in a graph on t vertices has leading factor t^n, so the log equation is n ln t=p n^2; the source instead writes n^t and t ln n.", "supersedes": null, "target_action": "Replace both expressions by t^n exp(-pn^2)=1 and n ln t=pn^2.", "target_file_sha256": "5047586ffb19d10344fedb209c0ec72cd9d08e87238906aaf05f020561151659", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_kitchensink_applying-local-lemma", "affected_unit_ids": [ "r012:unit:s_kitchensink_applying-local-lemma" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0321", "evidence": "Exact source/target hashes and qa/KITCHENSINK_APPLYING_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0321", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "9223d543065f97d634d323ca9b6965f8d6ac845afcc118b79613a632a885607e", "source_locator": "/section/p[3]/m[3]", "source_path": "source/s_kitchensink_applying-local-lemma.ptx", "status": "corrected-in-target", "summary": "From p=t^(-2/3) and n ln t approximately p n^2, solving gives t of order n^(3/2)/ln^(3/2)n, not the source's n^(6/5)/ln^(-3/5)n.", "supersedes": null, "target_action": "Replace the stated alteration bound by n^(3/2)/ln^(3/2)n.", "target_file_sha256": "5047586ffb19d10344fedb209c0ec72cd9d08e87238906aaf05f020561151659", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_kitchensink_applying-local-lemma", "affected_unit_ids": [ "r012:unit:s_kitchensink_applying-local-lemma" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0322", "evidence": "Exact source/target hashes and qa/KITCHENSINK_APPLYING_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0322", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "9223d543065f97d634d323ca9b6965f8d6ac845afcc118b79613a632a885607e", "source_locator": "/section/p[4]", "source_path": "source/s_kitchensink_applying-local-lemma.ptx", "status": "corrected-in-target", "summary": "The source phrase 'the two on the exponent of n' is malformed.", "supersedes": null, "target_action": "State that exponent two on n is correct.", "target_file_sha256": "5047586ffb19d10344fedb209c0ec72cd9d08e87238906aaf05f020561151659", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_kitchensink_applying-local-lemma", "affected_unit_ids": [ "r012:unit:s_kitchensink_applying-local-lemma" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0323", "evidence": "Exact source/target hashes and qa/KITCHENSINK_APPLYING_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0323", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "9223d543065f97d634d323ca9b6965f8d6ac845afcc118b79613a632a885607e", "source_locator": "/section/p[6]/m[5]", "source_path": "source/s_kitchensink_applying-local-lemma.ptx", "status": "corrected-in-target", "summary": "The source changes from lowercase x(S) to uppercase Y(T) while defining lowercase y.", "supersedes": null, "target_action": "Use y=y(T) consistently.", "target_file_sha256": "5047586ffb19d10344fedb209c0ec72cd9d08e87238906aaf05f020561151659", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_kitchensink_applying-local-lemma", "affected_unit_ids": [ "r012:unit:s_kitchensink_applying-local-lemma" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0324", "evidence": "Exact source/target hashes and qa/KITCHENSINK_APPLYING_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0324", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "9223d543065f97d634d323ca9b6965f8d6ac845afcc118b79613a632a885607e", "source_locator": "/section/p[7]/md[1]/mrow[1]", "source_path": "source/s_kitchensink_applying-local-lemma.ptx", "status": "corrected-in-target", "summary": "For a fixed 3-set, n-sets sharing exactly two vertices are counted with t-3 remaining vertices, but the inequality uses t-n.", "supersedes": null, "target_action": "Replace C(t-n,n-2) by C(t-3,n-2).", "target_file_sha256": "5047586ffb19d10344fedb209c0ec72cd9d08e87238906aaf05f020561151659", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_kitchensink_applying-local-lemma", "affected_unit_ids": [ "r012:unit:s_kitchensink_applying-local-lemma" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0325", "evidence": "Exact source/target hashes and qa/KITCHENSINK_APPLYING_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0325", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "9223d543065f97d634d323ca9b6965f8d6ac845afcc118b79613a632a885607e", "source_locator": "/section/p[7]/md[1]/mrow[2]", "source_path": "source/s_kitchensink_applying-local-lemma.ptx", "status": "corrected-in-target", "summary": "The second Local-Lemma inequality repeats the 3-set's n-neighbor count instead of the previously derived count of other n-sets sharing at least two vertices with T.", "supersedes": null, "target_action": "Use sum from i=2 to n-1 of C(n,i)C(t-n,n-i).", "target_file_sha256": "5047586ffb19d10344fedb209c0ec72cd9d08e87238906aaf05f020561151659", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_kitchensink_applying-local-lemma", "affected_unit_ids": [ "r012:unit:s_kitchensink_applying-local-lemma" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0326", "evidence": "Exact source/target hashes and qa/KITCHENSINK_APPLYING_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0326", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "9223d543065f97d634d323ca9b6965f8d6ac845afcc118b79613a632a885607e", "source_locator": "/section/p[7]", "source_path": "source/s_kitchensink_applying-local-lemma.ptx", "status": "corrected-in-target", "summary": "The source says 'A moments reflection'.", "supersedes": null, "target_action": "Render the intended grammatical phrase.", "target_file_sha256": "5047586ffb19d10344fedb209c0ec72cd9d08e87238906aaf05f020561151659", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_kitchensink_applying-local-lemma", "affected_unit_ids": [ "r012:unit:s_kitchensink_applying-local-lemma" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0327", "evidence": "Exact source/target hashes and qa/KITCHENSINK_APPLYING_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0327", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "9223d543065f97d634d323ca9b6965f8d6ac845afcc118b79613a632a885607e", "source_locator": "/section/p[8]", "source_path": "source/s_kitchensink_applying-local-lemma.ptx", "status": "corrected-in-target", "summary": "Keeping exp(-xtn^2) at least y=exp(-pn^2/4) requires xt no larger than p up to constants; the source reverses this and therefore also reverses the equivalent p^(-1) comparison.", "supersedes": null, "target_action": "Use xt<=p and p^(-1)>=sqrt(t).", "target_file_sha256": "5047586ffb19d10344fedb209c0ec72cd9d08e87238906aaf05f020561151659", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_kitchensink_applying-local-lemma", "affected_unit_ids": [ "r012:unit:s_kitchensink_applying-local-lemma" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0328", "evidence": "Exact source/target hashes and qa/KITCHENSINK_APPLYING_LOCAL_LEMMA_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0328", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "9223d543065f97d634d323ca9b6965f8d6ac845afcc118b79613a632a885607e", "source_locator": "/section/p[9]", "source_path": "source/s_kitchensink_applying-local-lemma.ptx", "status": "corrected-in-target", "summary": "The heuristic solution has ln t of the same asymptotic order as ln n, not literal equality, and yields an order bound for t rather than literal equality at the suppressed-constant level.", "supersedes": null, "target_action": "Use Theta relations for ln t and t.", "target_file_sha256": "5047586ffb19d10344fedb209c0ec72cd9d08e87238906aaf05f020561151659", "upstream_disposition": "Retain only if it survives the single concise deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ch_epilogue", "affected_unit_ids": [ "r012:unit:ch_epilogue" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0329", "evidence": "Exact hashes in qa/TAIL_WRAPPERS_AGGREGATE_QA_20260822.json", "id": "r012:correction:AC-ADV-0329", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "387399cfff2276ae9a828af9a4816d7b03c8af994557e78a9db62be8b02c0575", "source_locator": "/appendix/p[6]", "source_path": "source/ch_epilogue.ptx", "status": "corrected-in-target", "summary": "Use the CDC's complete official agency name.", "supersedes": null, "target_action": "Replace “Center for Disease Control” with “Centers for Disease Control and Prevention.”", "target_file_sha256": "f460f4faf90357eba172d49dc00682761a023b81ff71b6d6068826867fb14d91", "upstream_disposition": "Retain only if it survives the single concise, deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:ch_epilogue", "affected_unit_ids": [ "r012:unit:ch_epilogue" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0330", "evidence": "Exact hashes in qa/TAIL_WRAPPERS_AGGREGATE_QA_20260822.json", "id": "r012:correction:AC-ADV-0330", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "387399cfff2276ae9a828af9a4816d7b03c8af994557e78a9db62be8b02c0575", "source_locator": "/appendix/p[7]", "source_path": "source/ch_epilogue.ptx", "status": "corrected-in-target", "summary": "Remove the stray preposition after “could mean.”", "supersedes": null, "target_action": "Change “could mean for hundreds of millions of dollars in savings” to “could mean hundreds of millions of dollars in savings.”", "target_file_sha256": "f460f4faf90357eba172d49dc00682761a023b81ff71b6d6068826867fb14d91", "upstream_disposition": "Retain only if it survives the single concise, deduplicated end-of-corpus upstream review.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_background_intro", "affected_unit_ids": [ "r012:unit:s_background_intro" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0331", "evidence": "Exact hashes in qa/BACKGROUND_INTRO_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0331", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "7fa281803c7bccfc56df68d1b94d7cc14d9248168acdb0e8764ce808b7916501", "source_locator": "/section/example[1]/p", "source_path": "source/s_background_intro.ptx", "status": "corrected-in-target", "summary": "The prose claims twelve listed integers and one duplicate, but the live display has thirteen entries and two distinct values each occur twice.", "supersedes": null, "target_action": "Describe the display as thirteen entries and ask for the two duplicated values.", "target_file_sha256": "645f004b610d05d649692ca74dc0dac688df6c588e93ce8db6dcdf2918d53825", "upstream_disposition": "Retain only if it survives deduplication and the single concise high-confidence end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:f19308da62ead72c65722c78", "affected_unit_ids": [ "r012:unit:auto:f19308da62ead72c65722c78" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0332", "evidence": "qa/BACKGROUND_APPENDIX_ASSIGNED_MODULES_QA_20260822.json", "id": "r012:correction:AC-ADV-0332", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "a4a3b2a03957456175f7a4c690c418cf7c1d8538c7469d6651bce89b649aae8b", "source_locator": "/section/subsection[1]/p[1]/ol/li[1]/p", "source_path": "source/s_background_int-union.ptx", "status": "corrected-in-target", "summary": "The dessert name is written 'tirami-su' rather than the standard spelling 'tiramisu'.", "supersedes": null, "target_action": "Use the standard spelling in Indonesian prose.", "target_file_sha256": "ef910247a80b8323a20988357bd092d0bb3dbba6460741121b03e8dc191c6fbd", "upstream_disposition": "Retain only if this editorial item survives end-of-corpus deduplication.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:f19308da62ead72c65722c78", "affected_unit_ids": [ "r012:unit:auto:f19308da62ead72c65722c78" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0333", "evidence": "qa/BACKGROUND_APPENDIX_ASSIGNED_MODULES_QA_20260822.json", "id": "r012:correction:AC-ADV-0333", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "a4a3b2a03957456175f7a4c690c418cf7c1d8538c7469d6651bce89b649aae8b", "source_locator": "/section/subsection[1]/p[1]/ol/li[3]/p", "source_path": "source/s_background_int-union.ptx", "status": "corrected-in-target", "summary": "The newspaper example says 'paying their for their newspaper bills', with a stray first 'their'.", "supersedes": null, "target_action": "Render the intended payment sentence without the duplicated word.", "target_file_sha256": "ef910247a80b8323a20988357bd092d0bb3dbba6460741121b03e8dc191c6fbd", "upstream_disposition": "Retain only if this editorial item survives end-of-corpus deduplication.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:f19308da62ead72c65722c78", "affected_unit_ids": [ "r012:unit:auto:f19308da62ead72c65722c78" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0334", "evidence": "qa/BACKGROUND_APPENDIX_ASSIGNED_MODULES_QA_20260822.json", "id": "r012:correction:AC-ADV-0334", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "a4a3b2a03957456175f7a4c690c418cf7c1d8538c7469d6651bce89b649aae8b", "source_locator": "/section/subsection[1]/p[3]/md[1]", "source_path": "source/s_background_int-union.ptx", "status": "corrected-in-target", "summary": "The union definition tests x in lowercase x instead of membership in the set X.", "supersedes": null, "target_action": "Replace the second lowercase x by uppercase X and localize the reader-visible conjunction.", "target_file_sha256": "ef910247a80b8323a20988357bd092d0bb3dbba6460741121b03e8dc191c6fbd", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:7b910f078492bcbe711fcfb8", "affected_unit_ids": [ "r012:unit:auto:7b910f078492bcbe711fcfb8" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0335", "evidence": "qa/BACKGROUND_APPENDIX_ASSIGNED_MODULES_QA_20260822.json", "id": "r012:correction:AC-ADV-0335", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "a4a3b2a03957456175f7a4c690c418cf7c1d8538c7469d6651bce89b649aae8b", "source_locator": "/section/subsection[4]/p[1]", "source_path": "source/s_background_int-union.ptx", "status": "corrected-in-target", "summary": "The proper-subset example says 'the P of primes', omitting the noun 'set'.", "supersedes": null, "target_action": "Refer explicitly to the set P of primes.", "target_file_sha256": "ef910247a80b8323a20988357bd092d0bb3dbba6460741121b03e8dc191c6fbd", "upstream_disposition": "Retain only if this editorial item survives end-of-corpus deduplication.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:9f5546a8177edab272013e19", "affected_unit_ids": [ "r012:unit:auto:9f5546a8177edab272013e19" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0336", "evidence": "qa/BACKGROUND_APPENDIX_ASSIGNED_MODULES_QA_20260822.json", "id": "r012:correction:AC-ADV-0336", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "d2992a86835502fcdee275dcb558e066868d799fb496a08d8bcfe36c62197a50", "source_locator": "/section/proposition[1]/statement/p", "source_path": "source/s_background_finite-sets.ptx", "status": "corrected-in-target", "summary": "The proposition begins 'If X be a non-empty finite set' rather than 'If X is'.", "supersedes": null, "target_action": "Render the proposition grammatically in Indonesian.", "target_file_sha256": "e0e3f8a2b617d63dc71c8fd82d93444042cd5c0d5df76c59ee07192c1a1f54ef", "upstream_disposition": "Retain only if this editorial item survives end-of-corpus deduplication.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:4903dce4ef247da5bef4e35b", "affected_unit_ids": [ "r012:unit:auto:4903dce4ef247da5bef4e35b" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0337", "evidence": "qa/BACKGROUND_APPENDIX_ASSIGNED_MODULES_QA_20260822.json", "id": "r012:correction:AC-ADV-0337", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "d41698a3567dc986281863a4808fbd51ffa0b056bffd7cebd5fec4ad0cca7d85", "source_locator": "/section/introduction/p[1]/ol/li[1]/p", "source_path": "source/s_background_formal-num-sys.ptx", "status": "corrected-in-target", "summary": "The first Peano postulate says 'There is natural number called zero', omitting the article 'a'.", "supersedes": null, "target_action": "State naturally that there is a natural number called zero.", "target_file_sha256": "6c283f221ae12e78f10c7073c7687efdc3041a9c73840ce148432c77b28cb90e", "upstream_disposition": "Retain only if this editorial item survives end-of-corpus deduplication.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:auto:490d991c138588c00a2078f1", "affected_unit_ids": [ "r012:unit:auto:490d991c138588c00a2078f1" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0338", "evidence": "qa/BACKGROUND_APPENDIX_ASSIGNED_MODULES_QA_20260822.json", "id": "r012:correction:AC-ADV-0338", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "d41698a3567dc986281863a4808fbd51ffa0b056bffd7cebd5fec4ad0cca7d85", "source_locator": "/section/subsection/theorem[1]/proof/p[3]/m[3]", "source_path": "source/s_background_formal-num-sys.ptx", "status": "corrected-in-target", "summary": "The cited induction hypothesis has an unmatched closing parenthesis after (m+n)+k.", "supersedes": null, "target_action": "Remove the unmatched parenthesis.", "target_file_sha256": "6c283f221ae12e78f10c7073c7687efdc3041a9c73840ce148432c77b28cb90e", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_background_mult", "affected_unit_ids": [ "r012:unit:s_background_mult" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0339", "evidence": "qa/BACKGROUND_APPENDIX_ASSIGNED_MODULES_QA_20260822.json", "id": "r012:correction:AC-ADV-0339", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P3", "source_file_sha256": "163500410cb68913f36823d0e3683ec1699a8be385daca7d47e27c0246f0c94a", "source_locator": "/section/p[1]", "source_path": "source/s_background_mult.ptx", "status": "corrected-in-target", "summary": "The multiplication introduction says the product 'it sometimes denoted', omitting 'is'.", "supersedes": null, "target_action": "Render the notation sentence grammatically in Indonesian.", "target_file_sha256": "c4a6023f338f8280a663f0d6c5c59d4ad1f241ab21401d8271dbdfb1e7c6d5e7", "upstream_disposition": "Retain only if this editorial item survives end-of-corpus deduplication.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_background_exp", "affected_unit_ids": [ "r012:unit:s_background_exp" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0340", "evidence": "qa/BACKGROUND_APPENDIX_ASSIGNED_MODULES_QA_20260822.json", "id": "r012:correction:AC-ADV-0340", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P2", "source_file_sha256": "4286dbf8143b8b06db35f9c01b771b738adf61090835cf252136886796669fec", "source_locator": "/section/p[1]", "source_path": "source/s_background_exp.ptx", "status": "corrected-in-target", "summary": "Exponentiation is called a binary operation but is explicitly undefined at (0,0); under the section's own definition, a binary operation on the natural numbers must be total.", "supersedes": null, "target_action": "Call it a two-argument operation on the stated restricted domain rather than a total binary operation on all ordered pairs.", "target_file_sha256": "144c179eff3707500016aa8a27a3f6921f0b1881da68c228fbbbcef66bc3841b", "upstream_disposition": "Retain for the single concise deduplicated end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_background_decimal", "affected_unit_ids": [ "r012:unit:s_background_decimal" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0341", "evidence": "Exact hashes in qa/BACKGROUND_DECIMAL_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0341", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "ae9197a95788973d400731dc85ef16671a5e01cd1ee587ab7c3d73c5f6604c95", "source_locator": "/section/introduction/p[7]", "source_path": "source/s_background_decimal.ptx", "status": "corrected-in-target", "summary": "The base-eight ambiguity example uses 4885, which contains digits 8 and is therefore not a valid base-eight numeral.", "supersedes": null, "target_action": "Use the valid base-eight numeral 4775 in both the multiplication and concatenated forms.", "target_file_sha256": "d378289a41453c66145d2ac24afa7e97d3d6d1cfd2b5d4fafb1c59a7a6573f48", "upstream_disposition": "Retain only if it survives deduplication and the single concise high-confidence end-of-corpus upstream report.", "workflow": "codex-applied-combinatorics-id" }, { "affected_unit": "r012:unit:s_background_decimal", "affected_unit_ids": [ "r012:unit:s_background_decimal" ], "date": "2026-08-22", "edition_id": "r012-upstream-33b20df670d1", "event_id": "AC-ADV-0342", "evidence": "Exact hashes in qa/BACKGROUND_DECIMAL_MODULE_QA_20260822.json", "id": "r012:correction:AC-ADV-0342", "record_type": "correction", "recorded_at": "2026-08-22T22:30:00+02:00", "resource_id": "R012", "schema": "modular-translation-backend.correction", "schema_version": "0.1.0", "severity": "P1", "source_file_sha256": "ae9197a95788973d400731dc85ef16671a5e01cd1ee587ab7c3d73c5f6604c95", "source_locator": "/section/introduction/theorem/proof/p[1]", "source_path": "source/s_background_decimal.ptx", "status": "corrected-in-target", "summary": "The induction hypothesis bounds the remainder by undefined m instead of the fixed divisor d.", "supersedes": null, "target_action": "Replace r