Merge pull request #11532 from horizon-rust/fix/11520-harness-plain-run

🤖 Agent: dropping the --reference-only assertion makes a plain run go through runner.main()'s full Java/native comparison, and then the strict tags/pot report, so CI now compares instead of exiting in 0 s. mob_discard's default --resources is lab.RESOURCES (the prepared 26.3 folder) and it gets the missing import os. The two sound harnesses take main's #11555 version.
This commit is contained in:
Ludovic Marie authored and GitHub committed 2026-11-07 09:23:03 +01:00
commit 1e35443f6e
3 files changed
+8 -7

No files matched your search

+3 -3
View File
@@ -1,8 +1,9 @@
#!/usr/bin/env python3
"""Actual pig Tags load/save/mutation proof; complete raw list order is diagnostic.
Admit fresh Java with --reference-only --work-dir REF. Reuse exact REF bytes for
both normal binaries with --reference-dir REF --binary GAME --work-dir NEW_OUT.
A plain run (tools/parity.py) runs fresh Java and this checkout's game and compares them.
To compare archived binaries: admit fresh Java with --reference-only --work-dir REF, then
reuse exact REF bytes for each with --reference-dir REF --binary GAME --work-dir NEW_OUT.
No output masks, ordering normalization or synthetic tag observer are applied.
"""
import json
@@ -89,7 +90,6 @@ def main():
sys.argv.append("--allow-gaps")
folder = Path(sys.argv[sys.argv.index("--work-dir") + 1]).resolve()
if reference is None:
assert "--reference-only" in sys.argv, "admit fresh Java, then reuse its frozen reference"
runner.main()
else:
assert "--reference-only" not in sys.argv
@@ -1,8 +1,9 @@
#!/usr/bin/env python3
"""Actual loot-mine pot component boundary; raw snapshots and clocks retained.
Admit fresh Java with --reference-only --work-dir REF; compare each archived
normal Game against --reference-dir REF with a fresh --work-dir OUT.
A plain run (tools/parity.py) runs fresh Java and this checkout's game and compares them.
To compare archived binaries: admit fresh Java with --reference-only --work-dir REF, then
compare each normal Game against --reference-dir REF with a fresh --work-dir OUT.
"""
import json
from pathlib import Path
@@ -92,7 +93,6 @@ def main():
sys.argv.append("--allow-gaps")
folder = Path(sys.argv[sys.argv.index("--work-dir") + 1]).resolve()
if reference is None:
assert "--reference-only" in sys.argv, "admit Java before the native pair"
runner.main()
else:
assert "--reference-only" not in sys.argv
+2 -1
View File
@@ -3,6 +3,7 @@
import argparse
import hashlib
import json
import os
from pathlib import Path
import subprocess
import zipfile
@@ -12,7 +13,7 @@ import lab
def main():
parser = argparse.ArgumentParser(description=__doc__)
parser.add_argument('--game-dir', type=Path, default=lab.GAME)
parser.add_argument('--resources', type=Path, required=True)
parser.add_argument('--resources', type=Path, default=lab.RESOURCES)
parser.add_argument('--java-home', type=Path)
args = parser.parse_args()
build = lab.LOCAL / 'rust-mob-discard-parity'