From 9fecbe58cc0750e9e39b261a672b0c6e85e6ed4e Mon Sep 17 00:00:00 2001 From: Void Agent Date: Fri, 14 Aug 2026 13:21:03 +0100 Subject: fix codex BLOCKERs: global fixed layout invariance, min_steps off-by-one, integers EOS alias, rerun guard, eval prereg-literal codes + dual-checkpoint honesty; +7 regression tests --- tests/test_data.py | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'tests/test_data.py') diff --git a/tests/test_data.py b/tests/test_data.py index fe84e94..cd4e620 100644 --- a/tests/test_data.py +++ b/tests/test_data.py @@ -30,7 +30,7 @@ def test_encode_decode_roundtrip_integers(): cfg = Config(vocab_mode="integers", range_end=100) for n in [2, 42, 100]: assert decode_tokens(encode_int(n, cfg) + [cfg.eos_id], cfg) == n - assert cfg.vocab == 102 # 0..101 + EOS + assert cfg.vocab == 103 # values 0..101, EOS=102, pad=103 (no alias with target 101) def test_splits_sizes_and_no_overlap(): @@ -60,8 +60,8 @@ def test_make_batch_shapes_and_padding(): cfg = Config() ex = build_examples([2, 7, 42, 99], cfg) b = make_batch(ex, cfg) - assert b["x"].shape == (4, 2) # max input len 2 (42, 99) - assert b["y"].shape == (4, 4) # max output len 4 ("101"+EOS) + assert b["x"].shape == (4, 3) # GLOBAL layout: left-padded to 3 digits (max of [2,100]) + assert b["y"].shape == (4, 4) # GLOBAL layout: right-padded to 4 ("101"+EOS) assert b["y_in"].shape == (4, 4) assert b["y_mask"].shape == (4, 4) # pad positions masked out @@ -69,6 +69,9 @@ def test_make_batch_shapes_and_padding(): assert b["y_mask"][0, 1] # BOS position of y_in is eos_id assert (b["y_in"][:, 0] == cfg.eos_id).all() + # LEFT-padding: input 2 sits at the last column, pads at the front + assert b["x"][0, 2] == 2 and b["x"][0, 0] == cfg.pad_id + assert b["x"][2, 1] == 4 and b["x"][2, 2] == 2 def test_flagged_composites_are_composite(): -- cgit v1.2.3