mirror of
https://github.com/horizon-rust/horizon.git
synced 2026-11-07 11:06:11 -10:00
Ludovic MarieandClaude Opus 5.5
ce87bfb8c7
lab.VERSION, lab.GAME (.local/minecraft/<version>) and lab.RESOURCES (.local/horizon-client/<version>) come from the lock, and lab.version_info() reads the pinned client jar's version.json. Every harness, generator and tool that named 26.3 (resource folders, jar and source paths, result records, the vanilla client's --version and asset index, the bare login client's protocol, the benchmark's options.txt data version, the packet id table's header) uses them, so a candidate worktree pinned to another version runs them unchanged. Co-Authored-By: Claude Opus 5.5 <[email protected]>
68 lines
2.8 KiB
Python
68 lines
2.8 KiB
Python
#!/usr/bin/env python3
|
|
"""Compare the entity predicates of the variant advancements (A Complete
|
|
Catalogue, The Whole Pack, Leash all frog variants) with the pinned client: the
|
|
real EntityPredicate of each criterion, decoded from the advancement files,
|
|
tested on real wolves, cats, frogs, pigs, cows and chickens of every variant
|
|
(the variant data components Entity.get reports for minecraft:components)."""
|
|
import json
|
|
import random
|
|
|
|
try:
|
|
from . import lab, oracle_harness as harness
|
|
except ImportError:
|
|
import lab, oracle_harness as harness
|
|
|
|
ADVANCEMENTS = ('complete_catalogue', 'whole_pack', 'leash_all_frog_variants')
|
|
SPECIES = ('wolf', 'cat', 'frog', 'pig', 'cow', 'chicken')
|
|
|
|
|
|
def predicates():
|
|
"""Every criterion's entity predicate, plus the components alone and
|
|
with the wrong type."""
|
|
folder = lab.RESOURCES / 'data/minecraft/advancement/husbandry'
|
|
out = []
|
|
for name in ADVANCEMENTS:
|
|
data = json.loads((folder / f'{name}.json').read_text())
|
|
for criterion in data['criteria'].values():
|
|
predicate = criterion['conditions']['entity']['predicate']
|
|
out.append(predicate)
|
|
components = {'minecraft:components': predicate['minecraft:components']}
|
|
out.append(components)
|
|
out.append(dict(components, **{'minecraft:entity_type': 'minecraft:pig'}))
|
|
return out
|
|
|
|
|
|
def variants(species):
|
|
folder = lab.RESOURCES / f'data/minecraft/{species}_variant'
|
|
return sorted('minecraft:' + p.stem for p in folder.glob('*.json'))
|
|
|
|
|
|
def make_cases(build):
|
|
path = build / 'cases.jsonl'
|
|
every = predicates()
|
|
rng = random.Random(0x56415249)
|
|
count = 0
|
|
with path.open('w') as out:
|
|
for species in SPECIES:
|
|
for variant in variants(species):
|
|
listed = every + [rng.choice(every) for _ in range(8)]
|
|
case = dict(type='minecraft:' + species, variant=variant, predicates=listed)
|
|
out.write(json.dumps(case, separators=(',', ':')) + '\n')
|
|
count += 1
|
|
return path, count
|
|
|
|
|
|
def main():
|
|
scope = ('The real EntityPredicate of every criterion of complete_catalogue, whole_pack and '
|
|
'leash_all_frog_variants (and their minecraft:components alone, or with another entity type), decoded '
|
|
'with the registries\' ops, on entities made with EntityType.create(LOAD) given each registered variant '
|
|
'of their species through Entity.setComponent. The trigger dispatch around them is not exercised.')
|
|
harness.differential(
|
|
'rust-entity-components-parity', 'VanillaEntityComponentsOracle', 'entity_components_probe', make_cases, scope,
|
|
sources=[lab.ROOT / 'crates/horizon-client/src/advancements.rs',
|
|
lab.ROOT / 'crates/horizon-client/src/mobs/finalize.rs'])
|
|
|
|
|
|
if __name__ == '__main__':
|
|
main()
|