{"schema":1,"collection_revision":"2a809785bea01d2eeee161d339dba69a1ef13f1e","mathematical_token_changes":0,"changes":[{"id":"comma-1","page":"read/paper-vi/core-lean-verification-and-scope.html","anchor":"L1867","source":"papers/paper-vi/current/editable/traditional/Paper_VI_Traditional_Final.tex","source_sha256":"736e615131f57daf341b6cb0600761d58950450947c85d433206148cca228333","before":"complete, zero partial and zero pending results","after":"complete, zero partial, and zero pending results","count":1,"category":"serial comma"},{"id":"comma-2","page":"read/paper-vi/core-lean-verification-and-scope.html","anchor":"L1939","source":"papers/paper-vi/current/editable/traditional/Paper_VI_Traditional_Final.tex","source_sha256":"736e615131f57daf341b6cb0600761d58950450947c85d433206148cca228333","before":"Uniqueness, cutoff stability and exact rectangular naturality are proved","after":"Uniqueness, cutoff stability, and exact rectangular naturality are proved","count":1,"category":"serial comma"},{"id":"comma-3","page":"read/paper-vi/core-lean-verification-and-scope.html","anchor":"L1948","source":"papers/paper-vi/current/editable/traditional/Paper_VI_Traditional_Final.tex","source_sha256":"736e615131f57daf341b6cb0600761d58950450947c85d433206148cca228333","before":"the literal resolvent-defect formula, both printed norm constants and exact intertwining","after":"the literal resolvent-defect formula, both printed norm constants, and exact intertwining","count":1,"category":"serial comma"},{"id":"comma-4","page":"read/paper-vii/hamiltonians-and-leakage.html","anchor":"L441","source":"papers/paper-vii/current/editable/traditional/parts/01_finite_core.tex","source_sha256":"f4fb9d650bb8f6a7a9b6ccdd04882b4c165566f81c962f4765983b0ce77714b9","before":"This argument includes positive, negative and zero time","after":"This argument includes positive, negative, and zero time","count":1,"category":"serial comma"},{"id":"comma-5","page":"read/paper-vii/constraints-and-continuum.html","anchor":"L1221","source":"papers/paper-vii/current/editable/traditional/parts/01_finite_core.tex","source_sha256":"f4fb9d650bb8f6a7a9b6ccdd04882b4c165566f81c962f4765983b0ce77714b9","before":"with nonzero physical spaces, compatible physical projectors and exact operator closure","after":"with nonzero physical spaces, compatible physical projectors, and exact operator closure","count":1,"category":"serial comma"},{"id":"comma-6","page":"read/paper-vii/finite-error-correction.html","anchor":"L124","source":"papers/paper-vii/current/editable/traditional/parts/03_supplement_05.tex","source_sha256":"a3d118df0fe43189544f21ce28f337fab1709b8402020810e6ec7a1de55fdcd8","before":"Density matrices, all operators and finite references","after":"Density matrices, all operators, and finite references","count":1,"category":"serial comma"},{"id":"comma-7","page":"read/paper-vii/finite-error-correction.html","anchor":"L201","source":"papers/paper-vii/current/editable/traditional/parts/03_supplement_05.tex","source_sha256":"a3d118df0fe43189544f21ce28f337fab1709b8402020810e6ec7a1de55fdcd8","before":"Exact examples, trust audit and remaining work","after":"Exact examples, trust audit, and remaining work","count":1,"category":"serial comma"},{"id":"comma-8","page":"read/paper-vii/range-bundles-and-curvature.html","anchor":"L33","source":"papers/paper-vii/current/editable/traditional/parts/03_supplement_06.tex","source_sha256":"697ce36e8ac91d2ca74c23f8d368883c3261f22c4ad8e3ec12d5b588d9eae3aa","before":"continuity, linearity in the fiber and smooth dependence on the base","after":"continuity, linearity in the fiber, and smooth dependence on the base","count":1,"category":"serial comma"},{"id":"comma-9","page":"read/paper-vii/range-bundles-and-curvature.html","anchor":"L124","source":"papers/paper-vii/current/editable/traditional/parts/03_supplement_06.tex","source_sha256":"697ce36e8ac91d2ca74c23f8d368883c3261f22c4ad8e3ec12d5b588d9eae3aa","before":"operator-valued form is alternating, additive and homogeneous","after":"operator-valued form is alternating, additive, and homogeneous","count":1,"category":"serial comma"},{"id":"comma-10","page":"read/paper-vii/range-bundles-and-curvature.html","anchor":"L145","source":"papers/paper-vii/current/editable/traditional/parts/03_supplement_06.tex","source_sha256":"697ce36e8ac91d2ca74c23f8d368883c3261f22c4ad8e3ec12d5b588d9eae3aa","before":"linear transitions, smoothness proofs and cocycle laws","after":"linear transitions, smoothness proofs, and cocycle laws","count":1,"category":"serial comma"},{"id":"comma-11","page":"read/paper-viii/appendix-graph-schedules.html","anchor":"L115-2","source":"papers/paper-viii/current/editable/traditional/parts/02_supplement_05.tex","source_sha256":"8dfd9b4a8caf0ce225a2d5d137c5da47d3895a7cd2ea8185ab948e3f4a8ac353","before":"indexing, communication and launch overhead","after":"indexing, communication, and launch overhead","count":1,"category":"serial comma"},{"id":"comma-12","page":"read/paper-viii/appendix-graph-schedules.html","anchor":"L228-2","source":"papers/paper-viii/current/editable/traditional/parts/02_supplement_05.tex","source_sha256":"8dfd9b4a8caf0ce225a2d5d137c5da47d3895a7cd2ea8185ab948e3f4a8ac353","before":"conventions for empty graphs, reflexive reachability and nonempty condition-number spaces","after":"conventions for empty graphs, reflexive reachability, and nonempty condition-number spaces","count":1,"category":"serial comma"},{"id":"comma-13","page":"read/paper-viii/appendix-graph-schedules.html","anchor":"L228-2","source":"papers/paper-viii/current/editable/traditional/parts/02_supplement_05.tex","source_sha256":"8dfd9b4a8caf0ce225a2d5d137c5da47d3895a7cd2ea8185ab948e3f4a8ac353","before":"rewrite direction, parser syntax and warnings","after":"rewrite direction, parser syntax, and warnings","count":1,"category":"serial comma"},{"id":"comma-14","page":"read/paper-viii/appendix-graph-schedules.html","anchor":"L228-2","source":"papers/paper-viii/current/editable/traditional/parts/02_supplement_05.tex","source_sha256":"8dfd9b4a8caf0ce225a2d5d137c5da47d3895a7cd2ea8185ab948e3f4a8ac353","before":"CG convergence, the floating-point product model and simultaneous spectral decomposition","after":"CG convergence, the floating-point product model, and simultaneous spectral decomposition","count":1,"category":"serial comma"},{"id":"comma-15","page":"read/paper-viii/appendix-small-core-recompression.html","anchor":"L223","source":"papers/paper-viii/current/editable/traditional/parts/02_supplement_06.tex","source_sha256":"7179ee3328fb901301208b53884220c69e8c87cb54218919c6fb71cacc4c646a","before":"dependent rewrites, norm scopes and warning diagnostics","after":"dependent rewrites, norm scopes, and warning diagnostics","count":1,"category":"serial comma"},{"id":"comma-16","page":"read/paper-viii/appendix-small-core-recompression.html","anchor":"L235","source":"papers/paper-viii/current/editable/traditional/parts/02_supplement_06.tex","source_sha256":"7179ee3328fb901301208b53884220c69e8c87cb54218919c6fb71cacc4c646a","before":"Regressions, reproduction and claim boundary","after":"Regressions, reproduction, and claim boundary","count":1,"category":"serial comma"},{"id":"comma-17","page":"read/paper-viii/appendix-small-core-recompression.html","anchor":"L235-2","source":"papers/paper-viii/current/editable/traditional/parts/02_supplement_06.tex","source_sha256":"7179ee3328fb901301208b53884220c69e8c87cb54218919c6fb71cacc4c646a","before":"repeated singular values, rank zero and ranks beyond the core width","after":"repeated singular values, rank zero, and ranks beyond the core width","count":1,"category":"serial comma"},{"id":"comma-18","page":"read/paper-ix/scope-and-conventions.html","anchor":"L3","source":"papers/paper-ix/current/sources/main/parts/00_scope.tex","source_sha256":"0276ab4240eeddf96168375cf3c68b84eb6ad5b9a13081e1780fc14d8416d51d","before":"its own coefficient ring, topology and nonsingularity hypotheses","after":"its own coefficient ring, topology, and nonsingularity hypotheses","count":1,"category":"serial comma"},{"id":"comma-19","page":"read/paper-ix/euler-packets.html","anchor":"L1113","source":"papers/paper-ix/current/sources/main/parts/20_arithmetic.tex","source_sha256":"ad99f6612cf1de933a7bfda87e1f405426672a2c24fafd7d151699fe3a8166c4","before":"radii in addresses zero, one and two","after":"radii in addresses zero, one, and two","count":1,"category":"serial comma"},{"id":"comma-20","page":"read/paper-ix/verification.html","anchor":"L92","source":"papers/paper-ix/current/sources/main/parts/60_verification.tex","source_sha256":"d42ee879ba374c7641736bf4a1f4aa1d3218a3e96880f590b7a328ef9d660717","before":"records the corresponding inventories, reports and retained logs","after":"records the corresponding inventories, reports, and retained logs","count":1,"category":"serial comma"},{"id":"comma-21","page":"read/paper-ix/verification.html","anchor":"L145","source":"papers/paper-ix/current/sources/main/parts/60_verification.tex","source_sha256":"d42ee879ba374c7641736bf4a1f4aa1d3218a3e96880f590b7a328ef9d660717","before":"the full title, the PDF checksum and the extracted-text checksum","after":"the full title, the PDF checksum, and the extracted-text checksum","count":1,"category":"serial comma"},{"id":"comma-22","page":"read/paper-ix/verification.html","anchor":"L145","source":"papers/paper-ix/current/sources/main/parts/60_verification.tex","source_sha256":"d42ee879ba374c7641736bf4a1f4aa1d3218a3e96880f590b7a328ef9d660717","before":"index, degree-displacement and normalization match","after":"index, degree-displacement, and normalization match","count":1,"category":"serial comma"},{"id":"comma-23","page":"read/paper-ix/verification.html","anchor":"L178","source":"papers/paper-ix/current/sources/main/parts/60_verification.tex","source_sha256":"d42ee879ba374c7641736bf4a1f4aa1d3218a3e96880f590b7a328ef9d660717","before":"contracts, prior logs and exact inventories","after":"contracts, prior logs, and exact inventories","count":1,"category":"serial comma"},{"id":"comma-24","page":"read/paper-ix/verification.html","anchor":"L194","source":"papers/paper-ix/current/sources/main/parts/60_verification.tex","source_sha256":"d42ee879ba374c7641736bf4a1f4aa1d3218a3e96880f590b7a328ef9d660717","before":"the original full commands, runtime fingerprints and output hashes","after":"the original full commands, runtime fingerprints, and output hashes","count":1,"category":"serial comma"},{"id":"comma-25","page":"read/paper-ix/continuation-10.html","anchor":"L5","source":"papers/paper-ix/current/sources/main/parts/continuation_10.tex","source_sha256":"da3d076caf3328fbe462eb703724df885820b4296f8e1c319658197ac874c524","before":"local uniqueness, displacement and the first-order error","after":"local uniqueness, displacement, and the first-order error","count":1,"category":"serial comma"},{"id":"comma-26","page":"read/paper-ix/continuation-10.html","anchor":"L81","source":"papers/paper-ix/current/sources/main/parts/continuation_10.tex","source_sha256":"da3d076caf3328fbe462eb703724df885820b4296f8e1c319658197ac874c524","before":"Construction, error and uniqueness","after":"Construction, error, and uniqueness","count":1,"category":"serial comma"},{"id":"comma-27","page":"read/paper-ix/native-progress.html","anchor":"L2","source":"papers/paper-ix/current/sources/main/parts/71_native.tex","source_sha256":"1400ba6d01cf23b9c33ff669849ea2d26a64b878c5a91bff7a7b446bf846400f","before":"finite reconstruction, rectangularity and topological arguments are prose proofs","after":"finite reconstruction, rectangularity, and topological arguments are prose proofs","count":1,"category":"serial comma"},{"id":"comma-28","page":"read/paper-ix/native-progress.html","anchor":"L13","source":"papers/paper-ix/current/sources/main/parts/71_native.tex","source_sha256":"1400ba6d01cf23b9c33ff669849ea2d26a64b878c5a91bff7a7b446bf846400f","before":"no equations, zero Jacobian and singular solutions","after":"no equations, zero Jacobian, and singular solutions","count":1,"category":"serial comma"},{"id":"comma-29","page":"read/paper-ix/checkpoint-01.html","anchor":"L207-2","source":"papers/paper-ix/current/sources/main/parts/supplement_01.tex","source_sha256":"d30b6d80ff59056dbaf11f9360483cb48284e5daa3479796b1e3ceb626aeff8e","before":"Exact source pins, observed checks and retained failures","after":"Exact source pins, observed checks, and retained failures","count":1,"category":"serial comma"},{"id":"comma-30","page":"read/paper-ix/checkpoint-01.html","anchor":"L222","source":"papers/paper-ix/current/sources/main/parts/supplement_01.tex","source_sha256":"d30b6d80ff59056dbaf11f9360483cb48284e5daa3479796b1e3ceb626aeff8e","before":"Lucas rows, the normalization witness and eight invalid-input controls","after":"Lucas rows, the normalization witness, and eight invalid-input controls","count":1,"category":"serial comma"},{"id":"comma-31","page":"read/paper-ix/checkpoint-02.html","anchor":"L204","source":"papers/paper-ix/current/sources/main/parts/supplement_02.tex","source_sha256":"b6013828d8872bfc0c8d659c3f41345df5b76e01e98df2ce24b353daeeed1121","before":"Verification, reproducibility and remaining work","after":"Verification, reproducibility, and remaining work","count":1,"category":"serial comma"},{"id":"comma-32","page":"read/paper-ix/checkpoint-02.html","anchor":"L229","source":"papers/paper-ix/current/sources/main/parts/supplement_02.tex","source_sha256":"b6013828d8872bfc0c8d659c3f41345df5b76e01e98df2ce24b353daeeed1121","before":"This performs unit tests, both independent regression suites and a fresh Lean build","after":"This performs unit tests, both independent regression suites, and a fresh Lean build","count":1,"category":"serial comma"},{"id":"comma-33","page":"read/paper-ix/checkpoint-02.html","anchor":"L229","source":"papers/paper-ix/current/sources/main/parts/supplement_02.tex","source_sha256":"b6013828d8872bfc0c8d659c3f41345df5b76e01e98df2ce24b353daeeed1121","before":"raw compiler logs, scope entries and failures accompany the release","after":"raw compiler logs, scope entries, and failures accompany the release","count":1,"category":"serial comma"},{"id":"comma-34","page":"read/paper-ix/checkpoint-03.html","anchor":"L204","source":"papers/paper-ix/current/sources/main/parts/supplement_03.tex","source_sha256":"da58675afc7f23ca099ba4cde97aaaa56f0e3cdc27059082fe3d916d4b846219","before":"Verification, provenance and remaining work","after":"Verification, provenance, and remaining work","count":1,"category":"serial comma"},{"id":"comma-35","page":"read/paper-ix/checkpoint-06.html","anchor":"L186","source":"papers/paper-ix/current/sources/main/parts/supplement_06.tex","source_sha256":"c4b97f82ed773c77209472049570c1edfd8ee4f9445b8c55c330ab468fd36be3","before":"Verification, provenance and remaining work","after":"Verification, provenance, and remaining work","count":1,"category":"serial comma"},{"id":"comma-36","page":"read/paper-ix/checkpoint-03.html","anchor":"L220","source":"papers/paper-ix/current/sources/main/parts/supplement_03.tex","source_sha256":"da58675afc7f23ca099ba4cde97aaaa56f0e3cdc27059082fe3d916d4b846219","before":"upstream proof files, the original corrected PDF and both earlier supplements remain unchanged","after":"upstream proof files, the original corrected PDF, and both earlier supplements remain unchanged","count":1,"category":"serial comma"},{"id":"comma-37","page":"read/paper-ix/checkpoint-03.html","anchor":"L220","source":"papers/paper-ix/current/sources/main/parts/supplement_03.tex","source_sha256":"da58675afc7f23ca099ba4cde97aaaa56f0e3cdc27059082fe3d916d4b846219","before":"commands, axiom output and raw logs accompany the release","after":"commands, axiom output, and raw logs accompany the release","count":1,"category":"serial comma"},{"id":"comma-38","page":"read/paper-ix/checkpoint-04.html","anchor":"L19","source":"papers/paper-ix/current/sources/main/parts/supplement_04.tex","source_sha256":"9f5d77cd4c10250e39a530891a1c3a159b0ebe654e3a32fe43aff4fcefa0068d","before":"interpolation scopes, valuation bounds and unit modes","after":"interpolation scopes, valuation bounds, and unit modes","count":1,"category":"serial comma"},{"id":"comma-39","page":"read/paper-ix/checkpoint-04.html","anchor":"L198","source":"papers/paper-ix/current/sources/main/parts/supplement_04.tex","source_sha256":"9f5d77cd4c10250e39a530891a1c3a159b0ebe654e3a32fe43aff4fcefa0068d","before":"finite-sum normalization, an inferred index type and tactic or linter diagnostics","after":"finite-sum normalization, an inferred index type, and tactic or linter diagnostics","count":1,"category":"serial comma"},{"id":"comma-40","page":"read/paper-ix/checkpoint-05.html","anchor":"L22","source":"papers/paper-ix/current/sources/main/parts/supplement_05.tex","source_sha256":"2e95b7f80b8ff6cfc9d8f8f50e342e4e01c186ec1cbe3f072e875f012289cbdc","before":"the actual packet coefficients, explicit finite lifts and existing selectors","after":"the actual packet coefficients, explicit finite lifts, and existing selectors","count":1,"category":"serial comma"},{"id":"comma-41","page":"read/paper-ix/checkpoint-05.html","anchor":"L219","source":"papers/paper-ix/current/sources/main/parts/supplement_05.tex","source_sha256":"2e95b7f80b8ff6cfc9d8f8f50e342e4e01c186ec1cbe3f072e875f012289cbdc","before":"Verification, regressions and remaining work","after":"Verification, regressions, and remaining work","count":1,"category":"serial comma"},{"id":"comma-42","page":"read/paper-ix/checkpoint-05.html","anchor":"L238","source":"papers/paper-ix/current/sources/main/parts/supplement_05.tex","source_sha256":"2e95b7f80b8ff6cfc9d8f8f50e342e4e01c186ec1cbe3f072e875f012289cbdc","before":"scan excludes admitted proofs, new axioms and selected trust bypasses","after":"scan excludes admitted proofs, new axioms, and selected trust bypasses","count":1,"category":"serial comma"},{"id":"comma-43","page":"read/paper-ix/checkpoint-05.html","anchor":"L238","source":"papers/paper-ix/current/sources/main/parts/supplement_05.tex","source_sha256":"2e95b7f80b8ff6cfc9d8f8f50e342e4e01c186ec1cbe3f072e875f012289cbdc","before":"dyadic signs, integrality and coprimality","after":"dyadic signs, integrality, and coprimality","count":1,"category":"serial comma"},{"id":"comma-44","page":"read/paper-ix/checkpoint-05.html","anchor":"L246","source":"papers/paper-ix/current/sources/main/parts/supplement_05.tex","source_sha256":"2e95b7f80b8ff6cfc9d8f8f50e342e4e01c186ec1cbe3f072e875f012289cbdc","before":"coercions, finite cases and simplification","after":"coercions, finite cases, and simplification","count":1,"category":"serial comma"},{"id":"comma-45","page":"read/paper-ix/checkpoint-06.html","anchor":"L26","source":"papers/paper-ix/current/sources/main/parts/supplement_06.tex","source_sha256":"c4b97f82ed773c77209472049570c1edfd8ee4f9445b8c55c330ab468fd36be3","before":"also handle singular matrices, zero-dimensional spaces and zero step","after":"also handle singular matrices, zero-dimensional spaces, and zero step","count":1,"category":"serial comma"},{"id":"comma-46","page":"read/paper-ix/checkpoint-06.html","anchor":"L177","source":"papers/paper-ix/current/sources/main/parts/supplement_06.tex","source_sha256":"c4b97f82ed773c77209472049570c1edfd8ee4f9445b8c55c330ab468fd36be3","before":"matrix systems over integers, rationals and several modular rings","after":"matrix systems over integers, rationals, and several modular rings","count":1,"category":"serial comma"},{"id":"comma-47","page":"read/paper-ix/checkpoint-06.html","anchor":"L186-2","source":"papers/paper-ix/current/sources/main/parts/supplement_06.tex","source_sha256":"c4b97f82ed773c77209472049570c1edfd8ee4f9445b8c55c330ab468fd36be3","before":"check excludes admitted proofs, added axioms and selected trust bypasses","after":"check excludes admitted proofs, added axioms, and selected trust bypasses","count":1,"category":"serial comma"},{"id":"comma-48","page":"read/paper-ix/checkpoint-06.html","anchor":"L186-2","source":"papers/paper-ix/current/sources/main/parts/supplement_06.tex","source_sha256":"c4b97f82ed773c77209472049570c1edfd8ee4f9445b8c55c330ab468fd36be3","before":"test the Fibonacci sign, the jump matrix and the trace coefficient","after":"test the Fibonacci sign, the jump matrix, and the trace coefficient","count":1,"category":"serial comma"},{"id":"comma-49","page":"read/paper-ix/checkpoint-06.html","anchor":"L207","source":"papers/paper-ix/current/sources/main/parts/supplement_06.tex","source_sha256":"c4b97f82ed773c77209472049570c1edfd8ee4f9445b8c55c330ab468fd36be3","before":"characteristic-polynomial facts, matrix algebra and the basic Fibonacci recurrence","after":"characteristic-polynomial facts, matrix algebra, and the basic Fibonacci recurrence","count":1,"category":"serial comma"},{"id":"comma-50","page":"read/paper-ix/checkpoint-07.html","anchor":"L22","source":"papers/paper-ix/current/sources/main/parts/supplement_07.tex","source_sha256":"3524a24bd3cf0df51245c16002abe49c2abe849bd627b606be07fbb999ea8620","before":"counts include supporting lemmas, conditional implications and exact examples","after":"counts include supporting lemmas, conditional implications, and exact examples","count":1,"category":"serial comma"},{"id":"comma-51","page":"read/paper-ix/checkpoint-07.html","anchor":"L184","source":"papers/paper-ix/current/sources/main/parts/supplement_07.tex","source_sha256":"3524a24bd3cf0df51245c16002abe49c2abe849bd627b606be07fbb999ea8620","before":"Mahler bounds, singular ratios and nonsingular propagation","after":"Mahler bounds, singular ratios, and nonsingular propagation","count":1,"category":"serial comma"},{"id":"comma-52","page":"read/paper-ix/checkpoint-07.html","anchor":"L210","source":"papers/paper-ix/current/sources/main/parts/supplement_07.tex","source_sha256":"3524a24bd3cf0df51245c16002abe49c2abe849bd627b606be07fbb999ea8620","before":"Scope, preservation and failures","after":"Scope, preservation, and failures","count":1,"category":"serial comma"},{"id":"comma-53","page":"read/paper-ix/checkpoint-07.html","anchor":"L211","source":"papers/paper-ix/current/sources/main/parts/supplement_07.tex","source_sha256":"3524a24bd3cf0df51245c16002abe49c2abe849bd627b606be07fbb999ea8620","before":"the current unit tests, cumulative finite mirrors and Lean verification","after":"the current unit tests, cumulative finite mirrors, and Lean verification","count":1,"category":"serial comma"},{"id":"comma-54","page":"read/paper-ix/checkpoint-08.html","anchor":"L182","source":"papers/paper-ix/current/sources/main/parts/supplement_08.tex","source_sha256":"11c6ba102ab944609ce5f72d5f4fda9b96a391dfe0aeb28e58fdf53071504f48","before":"Examples, verification and the remaining gap","after":"Examples, verification, and the remaining gap","count":1,"category":"serial comma"},{"id":"comma-55","page":"read/paper-ix/checkpoint-09.html","anchor":"L26","source":"papers/paper-ix/current/sources/main/parts/supplement_09.tex","source_sha256":"c70c75c22f6b2087f16fab170cea269e4c4e8efac35df7f2766fbb8e2f51af7a","before":"weighted-ratio theorem assumes primality, the modulus divisibility and the specified residue bounds","after":"weighted-ratio theorem assumes primality, the modulus divisibility, and the specified residue bounds","count":1,"category":"serial comma"},{"id":"comma-56","page":"read/paper-ix/checkpoint-09.html","anchor":"L207","source":"papers/paper-ix/current/sources/main/parts/supplement_09.tex","source_sha256":"c70c75c22f6b2087f16fab170cea269e4c4e8efac35df7f2766fbb8e2f51af7a","before":"checker rejects proof placeholders, added axioms and selected kernel-bypass constructs","after":"checker rejects proof placeholders, added axioms, and selected kernel-bypass constructs","count":1,"category":"serial comma"},{"id":"comma-57","page":"read/paper-ix/checkpoint-09.html","anchor":"L227","source":"papers/paper-ix/current/sources/main/parts/supplement_09.tex","source_sha256":"c70c75c22f6b2087f16fab170cea269e4c4e8efac35df7f2766fbb8e2f51af7a","before":"source hashes, failed drafts and fresh-extraction results accompany the release","after":"source hashes, failed drafts, and fresh-extraction results accompany the release","count":1,"category":"serial comma"},{"id":"comma-58","page":"read/paper-ix/checkpoint-10.html","anchor":"L81","source":"papers/paper-ix/current/sources/main/parts/supplement_10.tex","source_sha256":"86a0708da0fd28c5fe2eaf1c7dacf436075b085c1ede6b81553280433973c5ef","before":"s actual formal exponential, logarithm and substitution maps","after":"s actual formal exponential, logarithm, and substitution maps","count":1,"category":"serial comma"},{"id":"comma-59","page":"read/paper-ix/checkpoint-10.html","anchor":"L171","source":"papers/paper-ix/current/sources/main/parts/supplement_10.tex","source_sha256":"86a0708da0fd28c5fe2eaf1c7dacf436075b085c1ede6b81553280433973c5ef","before":"bound at every order, row and multiplier","after":"bound at every order, row, and multiplier","count":1,"category":"serial comma"},{"id":"comma-60","page":"read/paper-ix/checkpoint-10.html","anchor":"L224","source":"papers/paper-ix/current/sources/main/parts/supplement_10.tex","source_sha256":"86a0708da0fd28c5fe2eaf1c7dacf436075b085c1ede6b81553280433973c5ef","before":"checksums, the declaration inventory and the updated manuscript coverage ledger","after":"checksums, the declaration inventory, and the updated manuscript coverage ledger","count":1,"category":"serial comma"},{"id":"comma-61","page":"read/paper-ix/checkpoint-10.html","anchor":"L224","source":"papers/paper-ix/current/sources/main/parts/supplement_10.tex","source_sha256":"86a0708da0fd28c5fe2eaf1c7dacf436075b085c1ede6b81553280433973c5ef","before":"placeholders, invalid normalizations and unit pivots","after":"placeholders, invalid normalizations, and unit pivots","count":1,"category":"serial comma"},{"id":"comma-62","page":"read/paper-ix/checkpoint-11.html","anchor":"L32","source":"papers/paper-ix/current/sources/main/parts/supplement_11.tex","source_sha256":"0f12486e846f3d63e81bee133e49ab0fdad210dc203daea6a6983cc58bced750","before":"including zero step, zero order and zero differences","after":"including zero step, zero order, and zero differences","count":1,"category":"serial comma"},{"id":"comma-63","page":"read/paper-ix/checkpoint-11.html","anchor":"L142","source":"papers/paper-ix/current/sources/main/parts/supplement_11.tex","source_sha256":"0f12486e846f3d63e81bee133e49ab0fdad210dc203daea6a6983cc58bced750","before":"Verification, provenance and boundary","after":"Verification, provenance, and boundary","count":1,"category":"serial comma"},{"id":"comma-64","page":"read/paper-x/compatible-carriers.html","anchor":"L1380","source":"papers/paper-x/current/manuscript/Paper_X_Block27_Amended.tex","source_sha256":"ccce6fc50bc2c300d987aa870a199494867a6c52e119b49d7b17c100a0213652","before":"supplies the compatible carrier, its decomposition and the compatible constituent systems","after":"supplies the compatible carrier, its decomposition, and the compatible constituent systems","count":1,"category":"serial comma"},{"id":"comma-65","page":"read/paper-x/spectral-occupancy.html","anchor":"L1688","source":"papers/paper-x/current/manuscript/Paper_X_Block27_Amended.tex","source_sha256":"ccce6fc50bc2c300d987aa870a199494867a6c52e119b49d7b17c100a0213652","before":"projector formulas, traces and dimensions","after":"projector formulas, traces, and dimensions","count":1,"category":"serial comma"},{"id":"comma-66","page":"read/paper-xi/current-scope.html","anchor":"L38","source":"papers/paper-xi/current/publication/source/traditional/reader_route.tex","source_sha256":"3129b0f1393f7087eed7f8371a7ef786d45c14a870eda6082d07e5e24be6d71c","before":"including their characteristic, rank and normalization hypotheses","after":"including their characteristic, rank, and normalization hypotheses","count":1,"category":"serial comma"},{"id":"comma-67","page":"read/paper-xi/appendix-dyadic-synthesis.html","anchor":"L169","source":"papers/paper-xi/current/publication/source/traditional/appendices/dyadic_synthesis.tex","source_sha256":"18ee37d249c4c7bb52ea86562f92791ecfeb7646ea259b714a280307df7376df","before":"square values, refinements and phases","after":"square values, refinements, and phases","count":1,"category":"serial comma"},{"id":"comma-68","page":"read/paper-xi/appendix-dyadic-synthesis.html","anchor":"L169","source":"papers/paper-xi/current/publication/source/traditional/appendices/dyadic_synthesis.tex","source_sha256":"18ee37d249c4c7bb52ea86562f92791ecfeb7646ea259b714a280307df7376df","before":"Thus its square bits, refinement and Gauss sign survive","after":"Thus its square bits, refinement, and Gauss sign survive","count":1,"category":"serial comma"},{"id":"comma-69","page":"read/paper-xi/appendix-dyadic-capacity.html","anchor":"L443","source":"papers/paper-xi/current/publication/source/traditional/appendices/dyadic_capacity.tex","source_sha256":"112a7d759c0a3f67a3e1cb0f94e911bb82a715adf46e5df974d070446660c279","before":"F leaves its field, centralizer and commutator map unchanged","after":"F leaves its field, centralizer, and commutator map unchanged","count":1,"category":"serial comma"},{"id":"comma-70","page":"read/paper-xi/appendix-rank4.html","anchor":"L308","source":"papers/paper-xi/current/publication/source/traditional/appendices/rank4.tex","source_sha256":"f4a5b15565a8e855d192f0bb39d65ef66b26c2b3a42b0fde156cc84137ea055b","before":"actual induced carrier, actual scalar subgroup and nondegenerate actual commutator pairing","after":"actual induced carrier, actual scalar subgroup, and nondegenerate actual commutator pairing","count":1,"category":"serial comma"},{"id":"comma-71","page":"read/paper-xi/appendix-lowrank-contract.html","anchor":"L260","source":"papers/paper-xi/current/publication/source/traditional/appendices/lowrank_contract.tex","source_sha256":"3ea9e74932e9d14d7f2a1990e8992a399850025db4b76426f6608e8951b5a037","before":"retain the actual Lambda, central character and noncompact generator normalization","after":"retain the actual Lambda, central character, and noncompact generator normalization","count":1,"category":"serial comma"},{"id":"comma-72","page":"read/paper-xii/conditional-completion.html","anchor":"L1754","source":"papers/paper-xii/current/core/publication/source/traditional/Paper_XII_Traditional_Final.tex","source_sha256":"f5137c0fffed58acc1590165c77a75848e4d97671dca9caafb7c147e6aa1112a","before":"with its actual rings, carriers and comparison maps","after":"with its actual rings, carriers, and comparison maps","count":1,"category":"serial comma"}]}