===== K2
     store tex 280e80ed, store pdf 3de8099f; refereed tex 1cb83e45
     tex - 766: $y=0$, Definition~\ref{def:msplit}). An independent referee is pending. The computer steps have
     tex - 767: been run twice (generator and independent verifier), and the verifier rejects corrupted data
     tex - 768: (negative tests above).
     tex + 766: $y=0$, Definition~\ref{def:msplit}). Refereed VALID by RQ-REF1 (2026-10-22 15:38 UTC), with no
     tex + 767: fixes; after that report only this item was changed. The computer steps have been run twice
     tex + 768: (generator and independent verifier), the verifier rejects corrupted data (negative tests above),
     tex + 769: and the referee re-did every computer step with its own exact programs.
PASS (a) K2: the store .tex is my 01:44 copy, and the refereed 1cb83e45 differs from it in 1 block(s), 4 line(s)
     pdf - 797: Definition 23). An independent referee is pending. The computer steps have been run twice
     pdf - 798: (generator and independent verifier), and the verifier rejects corrupted data (negative tests
     pdf - 799: above).
     pdf + 797: Definition 23). Refereed VALID by RQ-REF1 (2026-10-22 15:38 UTC), with no fixes; after
     pdf + 798: that report only this item was changed. The computer steps have been run twice (generator
     pdf + 799: and independent verifier), the verifier rejects corrupted data (negative tests above), and the
     pdf + 800: referee re-did every computer step with its own exact programs.
PASS (b) K2: pdftotext diff of my refereed PDF 2dcac658 against the store PDF 3de8099f: 1 block(s) (read above)
PASS (c) K2: the store PDF carries all 96 numbers and 342 words (>= 6 letters) of the store .tex
===== K3
     store tex 00720a0c, store pdf 803db5fe; refereed tex 9f20afc7
     tex - 823: \item \textbf{Status.} Not yet audited. The computer steps have been run twice (generator and
     tex - 824: independent verifier), and the verifier rejects corrupted data (negative tests above).
     tex + 823: \item \textbf{Status.} Audited VALID by RQ-AUD (A.14, 2026-10-22 10:37 UTC), with no fix, and
     tex + 824: refereed VALID by RQ-REF1 (2026-10-22 15:38 UTC), with no fixes; after the referee's report only this
     tex + 825: item was changed. The computer steps have been run twice (generator and independent verifier), the
     tex + 826: verifier rejects corrupted data (negative tests above), and the referee re-did every computer step
     tex + 827: with its own exact programs.
PASS (a) K3: the store .tex is my 01:44 copy, and the refereed 9f20afc7 differs from it in 1 block(s), 5 line(s)
     pdf - 846: 4. Status. Not yet audited. The computer steps have been run twice (generator and indepen-
     pdf - 847: dent verifier), and the verifier rejects corrupted data (negative tests above).
     pdf + 846: 4. Status. Audited VALID by RQ-AUD (A.14, 2026-10-22 10:37 UTC), with no fix, and refereed
     pdf + 847: VALID by RQ-REF1 (2026-10-22 15:38 UTC), with no fixes; after the referee’s report only
     pdf + 848: this item was changed. The computer steps have been run twice (generator and independent
     pdf + 849: verifier), the verifier rejects corrupted data (negative tests above), and the referee re-did every
     pdf + 850: computer step with its own exact programs.
     pdf - 852: 14
     pdf + 855: 14
PASS (b) K3: pdftotext diff of my refereed PDF 92d2639b against the store PDF 803db5fe: 2 block(s) (read above)
PASS (c) K3: the store PDF carries all 112 numbers and 357 words (>= 6 letters) of the store .tex
===== K3B
     store tex efa33947, store pdf 930ea67b; refereed tex 53aa11d1
     tex - 1124: \item \textbf{Status.} Not yet audited. The computer steps have been run twice (generator and
     tex - 1125: independent verifier), and the verifier rejects corrupted data (negative tests above).
     tex + 1124: \item \textbf{Status.} Audited VALID by RQ-AUD (A.18, 2026-10-22 12:41 UTC), with no fix, and
     tex + 1125: refereed VALID by RQ-REF1 (2026-10-22 15:38 UTC), with no fixes; after the referee's report only this
     tex + 1126: item was changed. The computer steps have been run twice (generator and independent verifier), the
     tex + 1127: verifier rejects corrupted data (negative tests above), and the referee re-did every computer step
     tex + 1128: with its own exact programs.
PASS (a) K3B: the store .tex is my 01:44 copy, and the refereed 53aa11d1 differs from it in 1 block(s), 5 line(s)
     pdf - 1188: 4. Status. Not yet audited. The computer steps have been run twice (generator and indepen-
     pdf - 1189: dent verifier), and the verifier rejects corrupted data (negative tests above).
     pdf + 1188: 4. Status. Audited VALID by RQ-AUD (A.18, 2026-10-22 12:41 UTC), with no fix, and refereed
     pdf + 1189: VALID by RQ-REF1 (2026-10-22 15:38 UTC), with no fixes; after the referee’s report only
     pdf + 1190: this item was changed. The computer steps have been run twice (generator and independent
     pdf + 1191: verifier), the verifier rejects corrupted data (negative tests above), and the referee re-did every
     pdf + 1192: computer step with its own exact programs.
     pdf - 1194: 19
     pdf + 1197: 19
PASS (b) K3B: pdftotext diff of my refereed PDF f114b71b against the store PDF 930ea67b: 2 block(s) (read above)
PASS (c) K3B: the store PDF carries all 118 numbers and 420 words (>= 6 letters) of the store .tex
===== K4
     store tex 01d91659, store pdf 883c78df; refereed tex 158934d2
     tex - 1408: was changed. Not yet refereed. The computer steps have been run twice (generator and independent
     tex - 1409: verifier), and the verifier rejects corrupted data (negative tests above).
     tex + 1408: was changed. Refereed VALID by RQ-REF2 (2026-10-23 01:05 UTC), with no fixes; after that report only
     tex + 1409: this item was changed. The computer steps have been run twice (generator and independent verifier), the
     tex + 1410: verifier rejects corrupted data (negative tests above), and the referee re-did every computer step with its
     tex + 1411: own exact programs.
PASS (a) K4: the store .tex is my 01:44 copy, and the refereed 158934d2 differs from it in 1 block(s), 4 line(s)
PASS (c) K4: the store PDF carries all 148 numbers and 484 words (>= 6 letters) of the store .tex
A40Q_ALL_PASS (read the printed diffs)
