GameCult/Eureka
Watch
9
0
Fork
You've already forked Eureka
 0
Code Issues Pull requests 3 Projects Releases Packages Wiki Activity Actions

test-tools: R8 budget case sized to hold one neighbour (a For line with none is no longer a deny)

Browse source 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
This commit is contained in:
Eureka 2026-10-23 20:24:51 +02:00
commit 8da54074b1
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tools/test-tools.sh
View file

@ -956,10 +956,10 @@ r, calls, ms = run(hook(five))
check("R8 five rulings make three queries, the first three titles, and the reason counts two unchecked",
len(calls) == 3 and sorted(c["semantic"]["text"] for c in calls) == ["Title 0", "Title 1", "Title 2"]
and reason(r).split("\n")[-1] == "2 rulings or questions over RECALL_ADMIT_MAX were not checked.", (calls, reason(r)[-120:]))
r, calls, ms = run(hook(five), RECALL_ADMIT_MAX="1", RECALL_BUDGET="560")
r, calls, ms = run(hook(five), RECALL_ADMIT_MAX="1", RECALL_BUDGET="600")
check("R8 RECALL_ADMIT_MAX=1 checks one, counts four, and the whole reason, trimmed to fit, stays within RECALL_BUDGET",
len(calls) == 1 and reason(r).endswith("4 rulings or questions over RECALL_ADMIT_MAX were not checked.") and len(reason(r)) <= 560
and len(reason(r).split("\n")) == 3, len(reason(r)))
len(calls) == 1 and reason(r).endswith("4 rulings or questions over RECALL_ADMIT_MAX were not checked.") and len(reason(r)) <= 600
and len(reason(r).split("\n")) == 4, len(reason(r)))
r, calls, ms = run(hook(five), items=[item("r3", "An unchecked batch member")] + NB)
check("R8 a ruling in the batch that was not checked is still never listed as a neighbour", held(r) and "t:ruling:r3" not in reason(r), reason(r)[:300])
r, calls, ms = run(hook(five[:3]))