mapFolding 0.17.0__py3-none-any.whl → 0.18.0__py3-none-any.whl

mapFolding/tests/dataSamples/p2DnDomain3_2_/351/246/226/344/270/200_/351/246/226/351/233/266/344/270/200.py

@@ -0,0 +1,17 @@
+"""Verification data for combined leaf domains.
+
+This module contains empirically extracted combined domain data for leaves
+['3', '2', '首一', '首零一'] across multiple mapShape configurations.
+
+Each list is named `listDomain2D{dimensionsTotal}` where `dimensionsTotal`
+is the exponent in the 2^dimensionsTotal mapShape, and it contains tuples representing
+valid pile positions for the specified leaves. The tuple order follows the original
+leaf argument order.
+"""
+
+listDomain2D4: list[tuple[int, ...]] = [(2, 3, 7, 8), (2, 3, 9, 10), (2, 3, 11, 12), (2, 3, 13, 14), (4, 5, 7, 8), (4, 5, 11, 12), (4, 5, 13, 14), (6, 7, 13, 14), (8, 9, 11, 12), (8, 9, 13, 14)]
+
+listDomain2D5: list[tuple[int, ...]] = [(2, 3, 15, 16), (2, 3, 17, 18), (2, 3, 19, 20), (2, 3, 21, 22), (2, 3, 23, 24), (2, 3, 25, 26), (2, 3, 27, 28), (2, 3, 29, 30), (4, 5, 15, 16), (4, 5, 17, 18), (4, 5, 19, 20), (4, 5, 21, 22), (4, 5, 23, 24), (4, 5, 25, 26), (4, 5, 27, 28), (4, 5, 29, 30), (6, 7, 15, 16), (6, 7, 23, 24), (6, 7, 27, 28), (6, 7, 29, 30), (8, 9, 15, 16), (8, 9, 23, 24), (8, 9, 25, 26), (8, 9, 27, 28), (8, 9, 29, 30), (10, 11, 27, 28), (10, 11, 29, 30), (12, 13, 27, 28), (12, 13, 29, 30), (14, 15, 27, 28), (14, 15, 29, 30), (16, 17, 23, 24), (16, 17, 25, 26), (16, 17, 27, 28), (16, 17, 29, 30)]
+
+listDomain2D6: list[tuple[int, ...]] = [(2, 3, 31, 32), (2, 3, 33, 34), (2, 3, 35, 36), (2, 3, 37, 38), (2, 3, 39, 40), (2, 3, 41, 42), (2, 3, 43, 44), (2, 3, 45, 46), (2, 3, 47, 48), (2, 3, 49, 50), (2, 3, 51, 52), (2, 3, 53, 54), (2, 3, 55, 56), (2, 3, 57, 58), (2, 3, 59, 60), (2, 3, 61, 62), (4, 5, 31, 32), (4, 5, 33, 34), (4, 5, 35, 36), (4, 5, 37, 38), (4, 5, 39, 40), (4, 5, 41, 42), (4, 5, 43, 44), (4, 5, 45, 46), (4, 5, 47, 48), (4, 5, 49, 50), (4, 5, 51, 52), (4, 5, 53, 54), (4, 5, 55, 56), (4, 5, 57, 58), (4, 5, 59, 60), (4, 5, 61, 62), (6, 7, 31, 32), (6, 7, 33, 34), (6, 7, 35, 36), (6, 7, 37, 38), (6, 7, 39, 40), (6, 7, 41, 42), (6, 7, 43, 44), (6, 7, 45, 46), (6, 7, 47, 48), (6, 7, 49, 50), (6, 7, 51, 52), (6, 7, 53, 54), (6, 7, 55, 56), (6, 7, 57, 58), (6, 7, 59, 60), (6, 7, 61, 62), (8, 9, 31, 32), (8, 9, 33, 34), (8, 9, 35, 36), (8, 9, 37, 38), (8, 9, 39, 40), (8, 9, 41, 42), (8, 9, 43, 44), (8, 9, 45, 46), (8, 9, 47, 48), (8, 9, 49, 50), (8, 9, 51, 52), (8, 9, 53, 54), (8, 9, 55, 56), (8, 9, 57, 58), (8, 9, 59, 60), (8, 9, 61, 62), (10, 11, 31, 32), (10, 11, 47, 48), (10, 11, 55, 56), (10, 11, 57, 58), (10, 11, 59, 60), (10, 11, 61, 62), (12, 13, 31, 32), (12, 13, 47, 48), (12, 13, 55, 56), (12, 13, 57, 58), (12, 13, 59, 60), (12, 13, 61, 62), (14, 15, 31, 32), (14, 15, 47, 48), (14, 15, 55, 56), (14, 15, 57, 58), (14, 15, 59, 60), (14, 15, 61, 62), (16, 17, 31, 32), (16, 17, 47, 48), (16, 17, 49, 50), (16, 17, 51, 52), (16, 17, 53, 54), (16, 17, 55, 56), (16, 17, 57, 58), (16, 17, 59, 60), (16, 17, 61, 62), (18, 19, 55, 56), (18, 19, 57, 58), (18, 19, 59, 60), (18, 19, 61, 62), (20, 21, 55, 56), (20, 21, 57, 58), (20, 21, 59, 60), (20, 21, 61, 62), (22, 23, 55, 56), (22, 23, 57, 58), (22, 23, 59, 60), (22, 23, 61, 62), (24, 25, 55, 56), (24, 25, 57, 58), (24, 25, 59, 60), (24, 25, 61, 62), (26, 27, 55, 56), (26, 27, 57, 58), (26, 27, 59, 60), (26, 27, 61, 62), (28, 29, 55, 56), (28, 29, 57, 58), (28, 29, 59, 60), (28, 29, 61, 62), (30, 31, 55, 56), (30, 31, 57, 58), (30, 31, 59, 60), (30, 31, 61, 62), (32, 33, 47, 48), (32, 33, 49, 50), (32, 33, 51, 52), (32, 33, 53, 54), (32, 33, 55, 56), (32, 33, 57, 58), (32, 33, 59, 60), (32, 33, 61, 62)]
+

mapFolding/tests/dataSamples/p2DnDomain3_/351/246/226/344/270/200.py

@@ -0,0 +1,17 @@
+"""Verification data for combined leaf domains.
+
+This module contains empirically extracted combined domain data for leaves
+['3', '首一'] across multiple mapShape configurations.
+
+Each list is named `listDomain2D{dimensionsTotal}` where `dimensionsTotal`
+is the exponent in the 2^dimensionsTotal mapShape, and it contains tuples representing
+valid pile positions for the specified leaves. The tuple order follows the original
+leaf argument order.
+"""
+
+listDomain2D4: list[tuple[int, ...]] = [(2, 7), (2, 9), (2, 11), (2, 13), (4, 7), (4, 11), (4, 13), (6, 13), (8, 11), (8, 13)]
+
+listDomain2D5: list[tuple[int, ...]] = [(2, 15), (2, 17), (2, 19), (2, 21), (2, 23), (2, 25), (2, 27), (2, 29), (4, 15), (4, 17), (4, 19), (4, 21), (4, 23), (4, 25), (4, 27), (4, 29), (6, 15), (6, 23), (6, 27), (6, 29), (8, 15), (8, 23), (8, 25), (8, 27), (8, 29), (10, 27), (10, 29), (12, 27), (12, 29), (14, 27), (14, 29), (16, 23), (16, 25), (16, 27), (16, 29)]
+
+listDomain2D6: list[tuple[int, ...]] = [(2, 31), (2, 33), (2, 35), (2, 37), (2, 39), (2, 41), (2, 43), (2, 45), (2, 47), (2, 49), (2, 51), (2, 53), (2, 55), (2, 57), (2, 59), (2, 61), (4, 31), (4, 33), (4, 35), (4, 37), (4, 39), (4, 41), (4, 43), (4, 45), (4, 47), (4, 49), (4, 51), (4, 53), (4, 55), (4, 57), (4, 59), (4, 61), (6, 31), (6, 33), (6, 35), (6, 37), (6, 39), (6, 41), (6, 43), (6, 45), (6, 47), (6, 49), (6, 51), (6, 53), (6, 55), (6, 57), (6, 59), (6, 61), (8, 31), (8, 33), (8, 35), (8, 37), (8, 39), (8, 41), (8, 43), (8, 45), (8, 47), (8, 49), (8, 51), (8, 53), (8, 55), (8, 57), (8, 59), (8, 61), (10, 31), (10, 47), (10, 55), (10, 57), (10, 59), (10, 61), (12, 31), (12, 47), (12, 55), (12, 57), (12, 59), (12, 61), (14, 31), (14, 47), (14, 55), (14, 57), (14, 59), (14, 61), (16, 31), (16, 47), (16, 49), (16, 51), (16, 53), (16, 55), (16, 57), (16, 59), (16, 61), (18, 55), (18, 57), (18, 59), (18, 61), (20, 55), (20, 57), (20, 59), (20, 61), (22, 55), (22, 57), (22, 59), (22, 61), (24, 55), (24, 57), (24, 59), (24, 61), (26, 55), (26, 57), (26, 59), (26, 61), (28, 55), (28, 57), (28, 59), (28, 61), (30, 55), (30, 57), (30, 59), (30, 61), (32, 47), (32, 49), (32, 51), (32, 53), (32, 55), (32, 57), (32, 59), (32, 61)]
+

mapFolding/tests/dataSamples/p2DnDomain5_4.py

@@ -0,0 +1,17 @@
+"""Verification data for combined leaf domains.
+
+This module contains empirically extracted combined domain data for leaves
+['5', '4'] across multiple mapShape configurations.
+
+Each list is named `listDomain2D{dimensionsTotal}` where `dimensionsTotal`
+is the exponent in the 2^dimensionsTotal mapShape, and it contains tuples representing
+valid pile positions for the specified leaves. The tuple order follows the original
+leaf argument order.
+"""
+
+listDomain2D4: list[tuple[int, ...]] = [(2, 7), (2, 11), (4, 13), (6, 7), (6, 11), (8, 9), (10, 11), (12, 13)]
+
+listDomain2D5: list[tuple[int, ...]] = [(2, 7), (2, 11), (2, 15), (2, 19), (4, 13), (4, 21), (6, 7), (6, 11), (6, 15), (6, 19), (6, 23), (8, 9), (8, 25), (10, 11), (10, 15), (10, 23), (12, 13), (12, 21), (14, 15), (14, 19), (16, 17), (18, 19), (20, 21), (22, 23), (24, 25)]
+
+listDomain2D6: list[tuple[int, ...]] = [(2, 7), (2, 11), (2, 15), (2, 19), (2, 23), (2, 27), (2, 31), (2, 35), (4, 13), (4, 21), (4, 29), (4, 37), (6, 7), (6, 11), (6, 15), (6, 19), (6, 23), (6, 27), (6, 31), (6, 35), (6, 39), (8, 9), (8, 25), (8, 41), (10, 11), (10, 15), (10, 19), (10, 23), (10, 31), (10, 35), (10, 43), (12, 13), (12, 21), (12, 29), (12, 37), (12, 45), (14, 15), (14, 19), (14, 23), (14, 27), (14, 43), (14, 47), (16, 17), (16, 49), (18, 19), (18, 23), (18, 31), (18, 35), (18, 47), (20, 21), (20, 29), (20, 45), (22, 23), (22, 27), (22, 35), (22, 43), (24, 25), (24, 41), (26, 27), (26, 31), (26, 39), (28, 29), (28, 37), (30, 31), (30, 35), (32, 33), (34, 35), (36, 37), (38, 39), (40, 41), (42, 43), (44, 45), (46, 47), (48, 49)]
+

mapFolding/tests/dataSamples/p2DnDomain6_5.py

@@ -0,0 +1,17 @@
+"""Verification data for combined leaf domains.
+
+This module contains empirically extracted combined domain data for leaves
+['6', '5'] across multiple mapShape configurations.
+
+Each list is named `listDomain2D{dimensionsTotal}` where `dimensionsTotal`
+is the exponent in the 2^dimensionsTotal mapShape, and it contains tuples representing
+valid pile positions for the specified leaves. The tuple order follows the original
+leaf argument order.
+"""
+
+listDomain2D4: list[tuple[int, ...]] = [(4, 6), (6, 2), (6, 8), (6, 10), (6, 12), (8, 10), (8, 12), (10, 2), (10, 6), (10, 12), (12, 4)]
+
+listDomain2D5: list[tuple[int, ...]] = [(4, 6), (6, 2), (6, 8), (6, 10), (6, 12), (6, 16), (8, 10), (8, 12), (8, 14), (8, 20), (10, 2), (10, 6), (10, 12), (10, 14), (10, 16), (10, 18), (10, 24), (12, 4), (12, 14), (12, 16), (12, 18), (12, 20), (12, 22), (12, 24), (14, 2), (14, 6), (14, 10), (14, 16), (14, 18), (14, 20), (14, 22), (14, 24), (16, 18), (16, 20), (16, 22), (16, 24), (18, 2), (18, 6), (18, 14), (18, 20), (18, 22), (18, 24), (20, 4), (20, 12), (20, 22), (20, 24), (22, 6), (22, 10), (22, 24), (24, 8)]
+
+listDomain2D6: list[tuple[int, ...]] = [(4, 6), (6, 2), (6, 8), (6, 10), (6, 12), (6, 16), (6, 20), (6, 24), (8, 10), (8, 12), (8, 14), (8, 20), (8, 28), (10, 2), (10, 6), (10, 12), (10, 14), (10, 16), (10, 18), (10, 24), (10, 28), (10, 32), (10, 36), (12, 4), (12, 14), (12, 16), (12, 18), (12, 20), (12, 22), (12, 24), (12, 30), (12, 32), (12, 36), (12, 40), (14, 2), (14, 6), (14, 10), (14, 16), (14, 18), (14, 20), (14, 22), (14, 24), (14, 26), (14, 28), (14, 32), (14, 34), (16, 18), (16, 20), (16, 22), (16, 24), (16, 26), (16, 28), (16, 30), (16, 40), (18, 2), (18, 6), (18, 10), (18, 14), (18, 20), (18, 22), (18, 24), (18, 26), (18, 28), (18, 30), (18, 32), (18, 34), (18, 36), (18, 40), (18, 48), (20, 4), (20, 12), (20, 22), (20, 24), (20, 26), (20, 28), (20, 30), (20, 32), (20, 34), (20, 36), (20, 40), (20, 44), (20, 46), (20, 48), (22, 2), (22, 6), (22, 10), (22, 14), (22, 18), (22, 24), (22, 26), (22, 28), (22, 30), (22, 32), (22, 34), (22, 36), (22, 38), (22, 40), (22, 44), (22, 46), (22, 48), (24, 8), (24, 26), (24, 28), (24, 30), (24, 32), (24, 34), (24, 36), (24, 38), (24, 40), (24, 42), (24, 44), (24, 46), (24, 48), (26, 2), (26, 6), (26, 14), (26, 22), (26, 28), (26, 30), (26, 32), (26, 34), (26, 36), (26, 38), (26, 40), (26, 42), (26, 44), (26, 46), (26, 48), (28, 4), (28, 12), (28, 20), (28, 30), (28, 32), (28, 34), (28, 36), (28, 38), (28, 40), (28, 42), (28, 44), (28, 46), (28, 48), (30, 2), (30, 6), (30, 10), (30, 18), (30, 26), (30, 32), (30, 34), (30, 36), (30, 38), (30, 40), (30, 42), (30, 44), (30, 46), (30, 48), (32, 34), (32, 36), (32, 38), (32, 40), (32, 42), (32, 44), (32, 46), (32, 48), (34, 2), (34, 6), (34, 10), (34, 18), (34, 22), (34, 30), (34, 36), (34, 38), (34, 40), (34, 42), (34, 44), (34, 46), (34, 48), (36, 4), (36, 12), (36, 28), (36, 38), (36, 40), (36, 42), (36, 44), (36, 46), (36, 48), (38, 6), (38, 26), (38, 40), (38, 42), (38, 44), (38, 46), (38, 48), (40, 8), (40, 24), (40, 42), (40, 44), (40, 46), (40, 48), (42, 10), (42, 14), (42, 22), (42, 44), (42, 46), (42, 48), (44, 12), (44, 20), (44, 46), (44, 48), (46, 14), (46, 18), (46, 48), (48, 16)]
+

mapFolding/tests/dataSamples/p2DnDomain6_7_5_4.py

@@ -0,0 +1,17 @@
+"""Verification data for combined leaf domains.
+
+This module contains empirically extracted combined domain data for leaves
+['6', '7', '5', '4'] across multiple mapShape configurations.
+
+Each list is named `listDomain2D{dimensionsTotal}` where `dimensionsTotal`
+is the exponent in the 2^dimensionsTotal mapShape, and it contains tuples representing
+valid pile positions for the specified leaves. The tuple order follows the original
+leaf argument order.
+"""
+
+listDomain2D4: list[tuple[int, ...]] = [(4, 5, 6, 7), (6, 3, 2, 7), (6, 7, 8, 9), (6, 7, 10, 11), (6, 7, 12, 13), (8, 9, 10, 11), (8, 9, 12, 13), (10, 3, 2, 11), (10, 7, 6, 11), (10, 11, 12, 13), (12, 5, 4, 13)]
+
+listDomain2D5: list[tuple[int, ...]] = [(4, 5, 6, 7), (6, 3, 2, 7), (6, 7, 8, 9), (6, 7, 10, 11), (6, 7, 12, 13), (6, 7, 16, 17), (8, 9, 10, 11), (8, 9, 12, 13), (8, 9, 14, 15), (8, 9, 20, 21), (10, 3, 2, 11), (10, 7, 6, 11), (10, 11, 12, 13), (10, 11, 14, 15), (10, 11, 16, 17), (10, 11, 18, 19), (10, 11, 24, 25), (12, 5, 4, 13), (12, 13, 14, 15), (12, 13, 16, 17), (12, 13, 18, 19), (12, 13, 20, 21), (12, 13, 22, 23), (12, 13, 24, 25), (14, 3, 2, 15), (14, 7, 6, 15), (14, 11, 10, 15), (14, 15, 16, 17), (14, 15, 18, 19), (14, 15, 20, 21), (14, 15, 22, 23), (14, 15, 24, 25), (16, 17, 18, 19), (16, 17, 20, 21), (16, 17, 22, 23), (16, 17, 24, 25), (18, 3, 2, 19), (18, 7, 6, 19), (18, 15, 14, 19), (18, 19, 20, 21), (18, 19, 22, 23), (18, 19, 24, 25), (20, 5, 4, 21), (20, 13, 12, 21), (20, 21, 22, 23), (20, 21, 24, 25), (22, 7, 6, 23), (22, 11, 10, 23), (22, 23, 24, 25), (24, 9, 8, 25)]
+
+listDomain2D6: list[tuple[int, ...]] = [(4, 5, 6, 7), (6, 3, 2, 7), (6, 7, 8, 9), (6, 7, 10, 11), (6, 7, 12, 13), (6, 7, 16, 17), (6, 7, 20, 21), (6, 7, 24, 25), (8, 9, 10, 11), (8, 9, 12, 13), (8, 9, 14, 15), (8, 9, 20, 21), (8, 9, 28, 29), (10, 3, 2, 11), (10, 7, 6, 11), (10, 11, 12, 13), (10, 11, 14, 15), (10, 11, 16, 17), (10, 11, 18, 19), (10, 11, 24, 25), (10, 11, 28, 29), (10, 11, 32, 33), (10, 11, 36, 37), (12, 5, 4, 13), (12, 13, 14, 15), (12, 13, 16, 17), (12, 13, 18, 19), (12, 13, 20, 21), (12, 13, 22, 23), (12, 13, 24, 25), (12, 13, 30, 31), (12, 13, 32, 33), (12, 13, 36, 37), (12, 13, 40, 41), (14, 3, 2, 15), (14, 7, 6, 15), (14, 11, 10, 15), (14, 15, 16, 17), (14, 15, 18, 19), (14, 15, 20, 21), (14, 15, 22, 23), (14, 15, 24, 25), (14, 15, 26, 27), (14, 15, 28, 29), (14, 15, 32, 33), (14, 15, 34, 35), (16, 17, 18, 19), (16, 17, 20, 21), (16, 17, 22, 23), (16, 17, 24, 25), (16, 17, 26, 27), (16, 17, 28, 29), (16, 17, 30, 31), (16, 17, 40, 41), (18, 3, 2, 19), (18, 7, 6, 19), (18, 11, 10, 19), (18, 15, 14, 19), (18, 19, 20, 21), (18, 19, 22, 23), (18, 19, 24, 25), (18, 19, 26, 27), (18, 19, 28, 29), (18, 19, 30, 31), (18, 19, 32, 33), (18, 19, 34, 35), (18, 19, 36, 37), (18, 19, 40, 41), (18, 19, 48, 49), (20, 5, 4, 21), (20, 13, 12, 21), (20, 21, 22, 23), (20, 21, 24, 25), (20, 21, 26, 27), (20, 21, 28, 29), (20, 21, 30, 31), (20, 21, 32, 33), (20, 21, 34, 35), (20, 21, 36, 37), (20, 21, 40, 41), (20, 21, 44, 45), (20, 21, 46, 47), (20, 21, 48, 49), (22, 3, 2, 23), (22, 7, 6, 23), (22, 11, 10, 23), (22, 15, 14, 23), (22, 19, 18, 23), (22, 23, 24, 25), (22, 23, 26, 27), (22, 23, 28, 29), (22, 23, 30, 31), (22, 23, 32, 33), (22, 23, 34, 35), (22, 23, 36, 37), (22, 23, 38, 39), (22, 23, 40, 41), (22, 23, 44, 45), (22, 23, 46, 47), (22, 23, 48, 49), (24, 9, 8, 25), (24, 25, 26, 27), (24, 25, 28, 29), (24, 25, 30, 31), (24, 25, 32, 33), (24, 25, 34, 35), (24, 25, 36, 37), (24, 25, 38, 39), (24, 25, 40, 41), (24, 25, 42, 43), (24, 25, 44, 45), (24, 25, 46, 47), (24, 25, 48, 49), (26, 3, 2, 27), (26, 7, 6, 27), (26, 15, 14, 27), (26, 23, 22, 27), (26, 27, 28, 29), (26, 27, 30, 31), (26, 27, 32, 33), (26, 27, 34, 35), (26, 27, 36, 37), (26, 27, 38, 39), (26, 27, 40, 41), (26, 27, 42, 43), (26, 27, 44, 45), (26, 27, 46, 47), (26, 27, 48, 49), (28, 5, 4, 29), (28, 13, 12, 29), (28, 21, 20, 29), (28, 29, 30, 31), (28, 29, 32, 33), (28, 29, 34, 35), (28, 29, 36, 37), (28, 29, 38, 39), (28, 29, 40, 41), (28, 29, 42, 43), (28, 29, 44, 45), (28, 29, 46, 47), (28, 29, 48, 49), (30, 3, 2, 31), (30, 7, 6, 31), (30, 11, 10, 31), (30, 19, 18, 31), (30, 27, 26, 31), (30, 31, 32, 33), (30, 31, 34, 35), (30, 31, 36, 37), (30, 31, 38, 39), (30, 31, 40, 41), (30, 31, 42, 43), (30, 31, 44, 45), (30, 31, 46, 47), (30, 31, 48, 49), (32, 33, 34, 35), (32, 33, 36, 37), (32, 33, 38, 39), (32, 33, 40, 41), (32, 33, 42, 43), (32, 33, 44, 45), (32, 33, 46, 47), (32, 33, 48, 49), (34, 3, 2, 35), (34, 7, 6, 35), (34, 11, 10, 35), (34, 19, 18, 35), (34, 23, 22, 35), (34, 31, 30, 35), (34, 35, 36, 37), (34, 35, 38, 39), (34, 35, 40, 41), (34, 35, 42, 43), (34, 35, 44, 45), (34, 35, 46, 47), (34, 35, 48, 49), (36, 5, 4, 37), (36, 13, 12, 37), (36, 29, 28, 37), (36, 37, 38, 39), (36, 37, 40, 41), (36, 37, 42, 43), (36, 37, 44, 45), (36, 37, 46, 47), (36, 37, 48, 49), (38, 7, 6, 39), (38, 27, 26, 39), (38, 39, 40, 41), (38, 39, 42, 43), (38, 39, 44, 45), (38, 39, 46, 47), (38, 39, 48, 49), (40, 9, 8, 41), (40, 25, 24, 41), (40, 41, 42, 43), (40, 41, 44, 45), (40, 41, 46, 47), (40, 41, 48, 49), (42, 11, 10, 43), (42, 15, 14, 43), (42, 23, 22, 43), (42, 43, 44, 45), (42, 43, 46, 47), (42, 43, 48, 49), (44, 13, 12, 45), (44, 21, 20, 45), (44, 45, 46, 47), (44, 45, 48, 49), (46, 15, 14, 47), (46, 19, 18, 47), (46, 47, 48, 49), (48, 17, 16, 49)]
+

mapFolding/tests/dataSamples/p2DnDomain7_6.py

@@ -0,0 +1,17 @@
+"""Verification data for combined leaf domains.
+
+This module contains empirically extracted combined domain data for leaves
+['7', '6'] across multiple mapShape configurations.
+
+Each list is named `listDomain2D{dimensionsTotal}` where `dimensionsTotal`
+is the exponent in the 2^dimensionsTotal mapShape, and it contains tuples representing
+valid pile positions for the specified leaves. The tuple order follows the original
+leaf argument order.
+"""
+
+listDomain2D4: list[tuple[int, ...]] = [(3, 6), (3, 10), (5, 4), (5, 12), (7, 6), (7, 10), (9, 8), (11, 10)]
+
+listDomain2D5: list[tuple[int, ...]] = [(3, 6), (3, 10), (3, 14), (3, 18), (5, 4), (5, 12), (5, 20), (7, 6), (7, 10), (7, 14), (7, 18), (7, 22), (9, 8), (9, 24), (11, 10), (11, 14), (11, 22), (13, 12), (13, 20), (15, 14), (15, 18), (17, 16), (19, 18), (21, 20), (23, 22)]
+
+listDomain2D6: list[tuple[int, ...]] = [(3, 6), (3, 10), (3, 14), (3, 18), (3, 22), (3, 26), (3, 30), (3, 34), (5, 4), (5, 12), (5, 20), (5, 28), (5, 36), (7, 6), (7, 10), (7, 14), (7, 18), (7, 22), (7, 26), (7, 30), (7, 34), (7, 38), (9, 8), (9, 24), (9, 40), (11, 10), (11, 14), (11, 18), (11, 22), (11, 30), (11, 34), (11, 42), (13, 12), (13, 20), (13, 28), (13, 36), (13, 44), (15, 14), (15, 18), (15, 22), (15, 26), (15, 42), (15, 46), (17, 16), (17, 48), (19, 18), (19, 22), (19, 30), (19, 34), (19, 46), (21, 20), (21, 28), (21, 44), (23, 22), (23, 26), (23, 34), (23, 42), (25, 24), (25, 40), (27, 26), (27, 30), (27, 38), (29, 28), (29, 36), (31, 30), (31, 34), (33, 32), (35, 34), (37, 36), (39, 38), (41, 40), (43, 42), (45, 44), (47, 46)]
+

mapFolding/tests/dataSamples/p2DnDomain/351/246/226/344/272/214_/351/246/226/351/233/266/344/270/200/344/272/214.py

@@ -0,0 +1,17 @@
+"""Verification data for combined leaf domains.
+
+This module contains empirically extracted combined domain data for leaves
+['首二', '首零一二'] across multiple mapShape configurations.
+
+Each list is named `listDomain2D{dimensionsTotal}` where `dimensionsTotal`
+is the exponent in the 2^dimensionsTotal mapShape, and it contains tuples representing
+valid pile positions for the specified leaves. The tuple order follows the original
+leaf argument order.
+"""
+
+listDomain2D4: list[tuple[int, ...]] = [(3, 5), (3, 7), (3, 9), (3, 11), (5, 7), (5, 9), (5, 13), (7, 9), (9, 11), (9, 13)]
+
+listDomain2D5: list[tuple[int, ...]] = [(7, 9), (7, 11), (7, 13), (7, 15), (7, 17), (7, 19), (7, 21), (7, 23), (9, 11), (9, 13), (9, 15), (9, 17), (9, 19), (9, 21), (9, 25), (11, 13), (11, 15), (11, 17), (11, 19), (11, 23), (11, 27), (13, 15), (13, 17), (13, 19), (13, 21), (13, 25), (13, 29), (15, 17), (15, 19), (15, 21), (15, 25), (17, 19), (17, 21), (17, 23), (17, 25), (17, 29), (19, 21), (19, 23), (19, 25), (19, 27), (21, 23), (21, 25), (21, 29), (23, 25), (25, 27), (25, 29)]
+
+listDomain2D6: list[tuple[int, ...]] = [(15, 17), (15, 19), (15, 21), (15, 23), (15, 25), (15, 27), (15, 29), (15, 31), (15, 33), (15, 35), (15, 37), (15, 39), (15, 41), (15, 43), (15, 45), (15, 47), (17, 19), (17, 21), (17, 23), (17, 25), (17, 27), (17, 29), (17, 31), (17, 33), (17, 35), (17, 37), (17, 39), (17, 41), (17, 43), (17, 45), (17, 49), (19, 21), (19, 23), (19, 25), (19, 27), (19, 29), (19, 31), (19, 33), (19, 35), (19, 37), (19, 39), (19, 41), (19, 43), (19, 51), (21, 23), (21, 25), (21, 27), (21, 29), (21, 31), (21, 33), (21, 35), (21, 37), (21, 39), (21, 41), (21, 49), (21, 53), (23, 25), (23, 27), (23, 29), (23, 31), (23, 33), (23, 35), (23, 37), (23, 39), (23, 41), (23, 43), (23, 45), (23, 47), (23, 51), (23, 55), (25, 27), (25, 29), (25, 31), (25, 33), (25, 35), (25, 37), (25, 39), (25, 41), (25, 57), (27, 29), (27, 31), (27, 33), (27, 35), (27, 37), (27, 39), (27, 41), (27, 43), (27, 45), (27, 51), (27, 53), (27, 59), (29, 31), (29, 33), (29, 35), (29, 37), (29, 39), (29, 41), (29, 43), (29, 45), (29, 49), (29, 53), (29, 57), (29, 61), (31, 33), (31, 35), (31, 37), (31, 39), (31, 41), (31, 43), (31, 45), (31, 49), (31, 51), (31, 53), (33, 35), (33, 37), (33, 39), (33, 41), (33, 43), (33, 45), (33, 47), (33, 51), (33, 53), (33, 57), (33, 61), (35, 37), (35, 39), (35, 41), (35, 43), (35, 45), (35, 47), (35, 49), (35, 51), (35, 53), (35, 55), (35, 59), (37, 39), (37, 41), (37, 43), (37, 45), (37, 47), (37, 49), (37, 57), (37, 61), (39, 41), (39, 43), (39, 45), (39, 47), (39, 49), (39, 51), (39, 53), (39, 55), (39, 57), (41, 43), (41, 45), (41, 47), (41, 49), (41, 51), (41, 53), (41, 57), (41, 61), (43, 45), (43, 47), (43, 49), (43, 51), (43, 55), (43, 57), (43, 59), (45, 47), (45, 49), (45, 51), (45, 53), (45, 57), (45, 61), (47, 49), (47, 51), (47, 53), (47, 57), (49, 51), (49, 53), (49, 55), (49, 57), (49, 61), (51, 53), (51, 55), (51, 57), (51, 59), (53, 55), (53, 57), (53, 61), (55, 57), (57, 59), (57, 61)]
+

mapFolding/tests/dataSamples/p2DnDomain/351/246/226/344/272/214_/351/246/226/351/233/266/344/272/214_/351/246/226/351/233/266/344/270/200/344/272/214_/351/246/226/344/270/200/344/272/214.py

@@ -0,0 +1,17 @@
+"""Verification data for combined leaf domains.
+
+This module contains empirically extracted combined domain data for leaves
+['首二', '首零二', '首零一二', '首一二'] across multiple mapShape configurations.
+
+Each list is named `listDomain2D{dimensionsTotal}` where `dimensionsTotal`
+is the exponent in the 2^dimensionsTotal mapShape, and it contains tuples representing
+valid pile positions for the specified leaves. The tuple order follows the original
+leaf argument order.
+"""
+
+listDomain2D4: list[tuple[int, ...]] = [(3, 4, 5, 6), (3, 4, 7, 8), (3, 4, 9, 10), (3, 12, 11, 4), (5, 6, 7, 8), (5, 6, 9, 10), (5, 10, 9, 6), (5, 14, 13, 6), (7, 8, 9, 10), (9, 10, 11, 12), (9, 14, 13, 10)]
+
+listDomain2D5: list[tuple[int, ...]] = [(7, 8, 9, 10), (7, 8, 11, 12), (7, 8, 13, 14), (7, 8, 15, 16), (7, 8, 17, 18), (7, 8, 19, 20), (7, 8, 21, 22), (7, 24, 23, 8), (9, 10, 11, 12), (9, 10, 13, 14), (9, 10, 15, 16), (9, 10, 17, 18), (9, 10, 19, 20), (9, 22, 21, 10), (9, 26, 25, 10), (11, 12, 13, 14), (11, 12, 15, 16), (11, 12, 17, 18), (11, 12, 19, 20), (11, 12, 23, 24), (11, 20, 19, 12), (11, 28, 27, 12), (13, 14, 15, 16), (13, 14, 17, 18), (13, 14, 19, 20), (13, 14, 21, 22), (13, 18, 17, 14), (13, 26, 25, 14), (13, 30, 29, 14), (15, 16, 17, 18), (15, 16, 19, 20), (15, 16, 21, 22), (15, 16, 25, 26), (17, 18, 19, 20), (17, 18, 21, 22), (17, 18, 23, 24), (17, 22, 21, 18), (17, 26, 25, 18), (17, 30, 29, 18), (19, 20, 21, 22), (19, 20, 23, 24), (19, 20, 25, 26), (19, 28, 27, 20), (21, 22, 23, 24), (21, 22, 25, 26), (21, 26, 25, 22), (21, 30, 29, 22), (23, 24, 25, 26), (25, 26, 27, 28), (25, 30, 29, 26)]
+
+listDomain2D6: list[tuple[int, ...]] = [(15, 16, 17, 18), (15, 16, 19, 20), (15, 16, 21, 22), (15, 16, 23, 24), (15, 16, 25, 26), (15, 16, 27, 28), (15, 16, 29, 30), (15, 16, 31, 32), (15, 16, 33, 34), (15, 16, 35, 36), (15, 16, 37, 38), (15, 16, 39, 40), (15, 16, 41, 42), (15, 16, 43, 44), (15, 16, 45, 46), (15, 48, 47, 16), (17, 18, 19, 20), (17, 18, 21, 22), (17, 18, 23, 24), (17, 18, 25, 26), (17, 18, 27, 28), (17, 18, 29, 30), (17, 18, 31, 32), (17, 18, 33, 34), (17, 18, 35, 36), (17, 18, 37, 38), (17, 18, 39, 40), (17, 18, 41, 42), (17, 18, 43, 44), (17, 46, 45, 18), (17, 50, 49, 18), (19, 20, 21, 22), (19, 20, 23, 24), (19, 20, 25, 26), (19, 20, 27, 28), (19, 20, 29, 30), (19, 20, 31, 32), (19, 20, 33, 34), (19, 20, 35, 36), (19, 20, 37, 38), (19, 20, 39, 40), (19, 20, 41, 42), (19, 20, 43, 44), (19, 44, 43, 20), (19, 52, 51, 20), (21, 22, 23, 24), (21, 22, 25, 26), (21, 22, 27, 28), (21, 22, 29, 30), (21, 22, 31, 32), (21, 22, 33, 34), (21, 22, 35, 36), (21, 22, 37, 38), (21, 22, 39, 40), (21, 42, 41, 22), (21, 50, 49, 22), (21, 54, 53, 22), (23, 24, 25, 26), (23, 24, 27, 28), (23, 24, 29, 30), (23, 24, 31, 32), (23, 24, 33, 34), (23, 24, 35, 36), (23, 24, 37, 38), (23, 24, 39, 40), (23, 24, 41, 42), (23, 24, 43, 44), (23, 24, 45, 46), (23, 24, 47, 48), (23, 24, 51, 52), (23, 40, 39, 24), (23, 56, 55, 24), (25, 26, 27, 28), (25, 26, 29, 30), (25, 26, 31, 32), (25, 26, 33, 34), (25, 26, 35, 36), (25, 26, 37, 38), (25, 26, 39, 40), (25, 26, 41, 42), (25, 38, 37, 26), (25, 58, 57, 26), (27, 28, 29, 30), (27, 28, 31, 32), (27, 28, 33, 34), (27, 28, 35, 36), (27, 28, 37, 38), (27, 28, 39, 40), (27, 28, 41, 42), (27, 28, 43, 44), (27, 28, 45, 46), (27, 28, 51, 52), (27, 28, 53, 54), (27, 36, 35, 28), (27, 52, 51, 28), (27, 60, 59, 28), (29, 30, 31, 32), (29, 30, 33, 34), (29, 30, 35, 36), (29, 30, 37, 38), (29, 30, 39, 40), (29, 30, 41, 42), (29, 30, 43, 44), (29, 30, 45, 46), (29, 30, 49, 50), (29, 34, 33, 30), (29, 42, 41, 30), (29, 46, 45, 30), (29, 54, 53, 30), (29, 58, 57, 30), (29, 62, 61, 30), (31, 32, 33, 34), (31, 32, 35, 36), (31, 32, 37, 38), (31, 32, 39, 40), (31, 32, 41, 42), (31, 32, 43, 44), (31, 32, 45, 46), (31, 32, 49, 50), (31, 32, 51, 52), (31, 32, 53, 54), (33, 34, 35, 36), (33, 34, 37, 38), (33, 34, 39, 40), (33, 34, 41, 42), (33, 34, 43, 44), (33, 34, 45, 46), (33, 34, 47, 48), (33, 34, 51, 52), (33, 38, 37, 34), (33, 46, 45, 34), (33, 54, 53, 34), (33, 58, 57, 34), (33, 62, 61, 34), (35, 36, 37, 38), (35, 36, 39, 40), (35, 36, 41, 42), (35, 36, 43, 44), (35, 36, 45, 46), (35, 36, 47, 48), (35, 36, 49, 50), (35, 36, 53, 54), (35, 36, 55, 56), (35, 44, 43, 36), (35, 52, 51, 36), (35, 60, 59, 36), (37, 38, 39, 40), (37, 38, 41, 42), (37, 38, 43, 44), (37, 38, 45, 46), (37, 38, 47, 48), (37, 38, 49, 50), (37, 42, 41, 38), (37, 50, 49, 38), (37, 58, 57, 38), (37, 62, 61, 38), (39, 40, 41, 42), (39, 40, 43, 44), (39, 40, 45, 46), (39, 40, 47, 48), (39, 40, 49, 50), (39, 40, 51, 52), (39, 40, 53, 54), (39, 40, 57, 58), (39, 56, 55, 40), (41, 42, 43, 44), (41, 42, 45, 46), (41, 42, 47, 48), (41, 42, 49, 50), (41, 42, 51, 52), (41, 46, 45, 42), (41, 50, 49, 42), (41, 54, 53, 42), (41, 58, 57, 42), (41, 62, 61, 42), (43, 44, 45, 46), (43, 44, 47, 48), (43, 44, 49, 50), (43, 44, 51, 52), (43, 44, 55, 56), (43, 44, 57, 58), (43, 52, 51, 44), (43, 60, 59, 44), (45, 46, 47, 48), (45, 46, 49, 50), (45, 46, 51, 52), (45, 46, 53, 54), (45, 50, 49, 46), (45, 54, 53, 46), (45, 58, 57, 46), (45, 62, 61, 46), (47, 48, 49, 50), (47, 48, 51, 52), (47, 48, 53, 54), (47, 48, 57, 58), (49, 50, 51, 52), (49, 50, 53, 54), (49, 50, 55, 56), (49, 54, 53, 50), (49, 58, 57, 50), (49, 62, 61, 50), (51, 52, 53, 54), (51, 52, 55, 56), (51, 52, 57, 58), (51, 60, 59, 52), (53, 54, 55, 56), (53, 54, 57, 58), (53, 58, 57, 54), (53, 62, 61, 54), (55, 56, 57, 58), (57, 58, 59, 60), (57, 62, 61, 58)]
+

mapFolding/tests/dataSamples/p2DnDomain/351/246/226/351/233/266/344/270/200/344/272/214_/351/246/226/344/270/200/344/272/214.py

@@ -0,0 +1,15 @@
+"""Verification data for combined leaf domains.
+
+This module contains empirically extracted combined domain data for leaves
+['首零一二', '首一二'] across multiple mapShape configurations.
+
+Each list is named `listDomain2D{dimensionsTotal}` where `dimensionsTotal`
+is the exponent in the 2^dimensionsTotal mapShape, and it contains tuples representing
+valid pile positions for the specified leaves. The tuple order follows the original
+leaf argument order.
+"""
+
+listDomain2D5: list[tuple[int, ...]] = [(9, 10), (11, 12), (13, 14), (15, 16), (17, 14), (17, 18), (19, 12), (19, 20), (21, 10), (21, 18), (21, 22), (23, 8), (23, 24), (25, 10), (25, 14), (25, 18), (25, 22), (25, 26), (27, 12), (27, 20), (27, 28), (29, 14), (29, 18), (29, 22), (29, 26)]
+
+listDomain2D6: list[tuple[int, ...]] = [(17, 18), (19, 20), (21, 22), (23, 24), (25, 26), (27, 28), (29, 30), (31, 32), (33, 30), (33, 34), (35, 28), (35, 36), (37, 26), (37, 34), (37, 38), (39, 24), (39, 40), (41, 22), (41, 30), (41, 38), (41, 42), (43, 20), (43, 36), (43, 44), (45, 18), (45, 30), (45, 34), (45, 42), (45, 46), (47, 16), (47, 48), (49, 18), (49, 22), (49, 38), (49, 42), (49, 46), (49, 50), (51, 20), (51, 28), (51, 36), (51, 44), (51, 52), (53, 22), (53, 30), (53, 34), (53, 42), (53, 46), (53, 50), (53, 54), (55, 24), (55, 40), (55, 56), (57, 26), (57, 30), (57, 34), (57, 38), (57, 42), (57, 46), (57, 50), (57, 54), (57, 58), (59, 28), (59, 36), (59, 44), (59, 52), (59, 60), (61, 30), (61, 34), (61, 38), (61, 42), (61, 46), (61, 50), (61, 54), (61, 58)]
+

mapFolding/tests/dataSamples/p2DnDomain/351/246/226/351/233/266/344/272/214_/351/246/226/344/272/214.py

@@ -0,0 +1,15 @@
+"""Verification data for combined leaf domains.
+
+This module contains empirically extracted combined domain data for leaves
+['首零二', '首二'] across multiple mapShape configurations.
+
+Each list is named `listDomain2D{dimensionsTotal}` where `dimensionsTotal`
+is the exponent in the 2^dimensionsTotal mapShape, and it contains tuples representing
+valid pile positions for the specified leaves. The tuple order follows the original
+leaf argument order.
+"""
+
+listDomain2D5: list[tuple[int, ...]] = [(8, 7), (10, 9), (12, 11), (14, 13), (16, 15), (18, 13), (18, 17), (20, 11), (20, 19), (22, 9), (22, 17), (22, 21), (24, 7), (24, 23), (26, 9), (26, 13), (26, 17), (26, 21), (26, 25), (28, 11), (28, 19), (30, 13), (30, 17), (30, 21), (30, 25)]
+
+listDomain2D6: list[tuple[int, ...]] = [(16, 15), (18, 17), (20, 19), (22, 21), (24, 23), (26, 25), (28, 27), (30, 29), (32, 31), (34, 29), (34, 33), (36, 27), (36, 35), (38, 25), (38, 33), (38, 37), (40, 23), (40, 39), (42, 21), (42, 29), (42, 37), (42, 41), (44, 19), (44, 35), (44, 43), (46, 17), (46, 29), (46, 33), (46, 41), (46, 45), (48, 15), (48, 47), (50, 17), (50, 21), (50, 37), (50, 41), (50, 45), (50, 49), (52, 19), (52, 27), (52, 35), (52, 43), (52, 51), (54, 21), (54, 29), (54, 33), (54, 41), (54, 45), (54, 49), (54, 53), (56, 23), (56, 39), (56, 55), (58, 25), (58, 29), (58, 33), (58, 37), (58, 41), (58, 45), (58, 49), (58, 53), (58, 57), (60, 27), (60, 35), (60, 43), (60, 51), (62, 29), (62, 33), (62, 37), (62, 41), (62, 45), (62, 49), (62, 53), (62, 57)]
+

mapFolding/tests/dataSamples/semioticsData.py

@@ -0,0 +1,135 @@
+# Static test data for mapFolding/_semiotics.py and mapFolding/_e/_semiotics.py
+# This module contains only static data—dictionaries, lists, tuples, constants, and type aliases.
+
+from typing import Final
+
+#======== Expected values from mapFolding/_semiotics.py =======
+
+expectedDecreasing: Final[int] = -1
+expectedInclusive: Final[int] = 1
+
+#======== Expected values from mapFolding/_e/_semiotics.py =======
+
+# Dimension index constants (powers of 2)
+expected零: Final[int] = 1
+expected一: Final[int] = 2
+expected二: Final[int] = 4
+expected三: Final[int] = 8
+expected四: Final[int] = 16
+expected五: Final[int] = 32
+expected六: Final[int] = 64
+expected七: Final[int] = 128
+expected八: Final[int] = 256
+expected九: Final[int] = 512
+
+# Origin constants
+expectedLeafOrigin: Final[int] = 0
+expectedPileOrigin: Final[int] = 0
+
+# Function expected outputs for dimensionsTotal in range(5, 9)
+# Each tuple is (dimensionsTotal, expectedResult)
+
+expected首零: tuple[tuple[int, int], ...] = (
+	(5, 16),
+	(6, 32),
+	(7, 64),
+	(8, 128),
+)
+
+expected首零一: tuple[tuple[int, int], ...] = (
+	(5, 24),
+	(6, 48),
+	(7, 96),
+	(8, 192),
+)
+
+expected首零一二: tuple[tuple[int, int], ...] = (
+	(5, 28),
+	(6, 56),
+	(7, 112),
+	(8, 224),
+)
+
+expected首零二: tuple[tuple[int, int], ...] = (
+	(5, 20),
+	(6, 40),
+	(7, 80),
+	(8, 160),
+)
+
+expected首一: tuple[tuple[int, int], ...] = (
+	(5, 8),
+	(6, 16),
+	(7, 32),
+	(8, 64),
+)
+
+expected首一二: tuple[tuple[int, int], ...] = (
+	(5, 12),
+	(6, 24),
+	(7, 48),
+	(8, 96),
+)
+
+expected首二: tuple[tuple[int, int], ...] = (
+	(5, 4),
+	(6, 8),
+	(7, 16),
+	(8, 32),
+)
+
+expected首三: tuple[tuple[int, int], ...] = (
+	(5, 2),
+	(6, 4),
+	(7, 8),
+	(8, 16),
+)
+
+expected首零一二三: tuple[tuple[int, int], ...] = (
+	(5, 30),
+	(6, 60),
+	(7, 120),
+	(8, 240),
+)
+
+expected首零一三: tuple[tuple[int, int], ...] = (
+	(5, 26),
+	(6, 52),
+	(7, 104),
+	(8, 208),
+)
+
+expected首零二三: tuple[tuple[int, int], ...] = (
+	(5, 22),
+	(6, 44),
+	(7, 88),
+	(8, 176),
+)
+
+expected首零三: tuple[tuple[int, int], ...] = (
+	(5, 18),
+	(6, 36),
+	(7, 72),
+	(8, 144),
+)
+
+expected首一二三: tuple[tuple[int, int], ...] = (
+	(5, 14),
+	(6, 28),
+	(7, 56),
+	(8, 112),
+)
+
+expected首一三: tuple[tuple[int, int], ...] = (
+	(5, 10),
+	(6, 20),
+	(7, 40),
+	(8, 80),
+)
+
+expected首二三: tuple[tuple[int, int], ...] = (
+	(5, 6),
+	(6, 12),
+	(7, 24),
+	(8, 48),
+)