{ "status": "PASS_WITH_NONBLOCKING_DOMAIN_CLARIFICATION", "scope": "Independent exact and wording review of completed scripts C1182–C1201", "method": "Direct source-based model construction; determinant witnesses and exact nullspace substitution; exhaustive b=0..L inverse fibres; divmod nearest-five implementation; no root Matrix/helper imports or root script execution", "check_count": 429, "passed": 429, "source_packet": { "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/model/complete_source_row_packet.json", "sha256": "1bd5961126532673e6fda1535befc5e64cf21d67d01a3c5e78d1a613bbb8ab59" }, "review_script": { "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/prep/review1182_1201.py", "sha256": "2d244418141a2b0e328557a4422351e060833c3a7fc2100e4f109a546e64ab1b" }, "completed_record_bindings": [ { "step": 1182, "sha256": "816c091df698966f5ff7967dcaea32e4dfd45d46e391aa7884545bb1341a4811" }, { "step": 1183, "sha256": "18b41b6eba02e1ee89dfcffeff38abcad5434e74bbf1d49b0954edeffc1c1c76" }, { "step": 1184, "sha256": "6add3063715e4b3ed2f1be1a6001847c9f9a32a1d04cdbcb246d55af49384280" }, { "step": 1185, "sha256": "6a67cf88a2e9cc4663e984eccabf03a1a65a3b9aa0c8ac3871d288c473e99c5a" }, { "step": 1186, "sha256": "851e4dc660048693f0286a2180936e0e5f75482ca4b2eeaa0db0414cd2d76043" }, { "step": 1187, "sha256": "8e4b8d6f3d87022f072f4ec768562899ae371e1d0e5c0fdc272d834243632023" }, { "step": 1188, "sha256": "f3a0c2f6b7651020eedabebc00d6a94fd9b4d4b9ff7907f8591ac48e53bbe8c2" }, { "step": 1189, "sha256": "e7c959274b018b5447fda32603698c8dc9df923f34450af2daea11f947b6cf40" }, { "step": 1190, "sha256": "dfba833c7385eb1f5d5150fc3aebf4a3f3f7510f562aa74723fe41d442e5805a" }, { "step": 1191, "sha256": "a7bac3e57a118615956bdade02d54316c9c306183c353f7e4b805504c61bb97f" }, { "step": 1192, "sha256": "13b1c5e72ddcd7c70c0a03130ddeccb78d1415aa399749954211836e2f555361" }, { "step": 1193, "sha256": "b6a4ef059df0fc388dc265a913a2d54c0b63327031aa6e88fb128237c9977802" }, { "step": 1194, "sha256": "cc2a5548194c6dfb669d35cb34c1d18a0d40061bf791009d1dcaa876188a0451" }, { "step": 1195, "sha256": "1a00412e5151981593aaa3ab8cff4219b45a435854c3a9ff4290ff75d33c1e5a" }, { "step": 1196, "sha256": "b1b772e10daf556304b2690a3fdd587b20d3a2cc3a81ec8cefd79be347a97de6" }, { "step": 1197, "sha256": "0d7cab31277e244b1c444b5e3f2dcc96d551f69a500934b87bd6b43018e14cbe" }, { "step": 1198, "sha256": "0dc6366f881466627b757cdf66d884c27ad0f190b17a616cfa0b1a3fa757db30" }, { "step": 1199, "sha256": "6b92f05310cbabfa085134c859ff27941d3690ae2debfe145287ead85194d7fc" }, { "step": 1200, "sha256": "813eaaeffb6b87bd3fd12d69ccad203afa18ebae55aa133985fdb18b4f4b1464" }, { "step": 1201, "sha256": "10515ce8af816561f078cc29a980782be0b598824fbba16e670f9204ffb4b126" } ], "file_bindings": [ { "type": "completed_script", "step": 1182, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1182.py", "sha256": "1a7f4f227f10c42edd81e7e8bbe828a50fad45c2dc8e8c8f865f773b01f60ddf" }, { "type": "completed_artifact", "step": 1182, "path": "model/whole_genealogy_five_model.json", "sha256": "00974b700a432f664a92f80cdbfdb8cef83e334d8f4ac3437aec4e3bb2921ac9", "bytes": 3399 }, { "type": "completed_script", "step": 1183, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1183.py", "sha256": "d81f11841a7eb7509570924a8a4d8af139a3666705a244e1f30d947de356b0f6" }, { "type": "completed_artifact", "step": 1183, "path": "model/whole_genealogy_four_model.json", "sha256": "db6857df003663117809841c614779640cb386f165c4c8281cc8c8f03d5f8595", "bytes": 2952 }, { "type": "completed_script", "step": 1184, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1184.py", "sha256": "4b16238bef827e30f03bc5597ae1d669a88081a32527c9f627f8e80f1e123485" }, { "type": "completed_artifact", "step": 1184, "path": "model/whole_genealogy_local_recovery.json", "sha256": "02ec326eb620855f03d145bedfec53dc2653efb6ee52b3679550b22c9c3d893b", "bytes": 608 }, { "type": "completed_script", "step": 1185, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1185.py", "sha256": "f4eb12b4e1cbf14c86221585c75ebec8a2a61d2595663ed1431f6980a972543b" }, { "type": "completed_artifact", "step": 1185, "path": "model/whole_genealogy_head_information.json", "sha256": "855645f2d27bb371e76a02f8b5dcc6b46e64ebdaa303b4c33eb8bf74b49071c6", "bytes": 487 }, { "type": "completed_script", "step": 1186, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1186.py", "sha256": "ca1bd3a2c8b495ac9b95a1557c4f11aed09fe3e391ae35d658fbbdabcfdc8c99" }, { "type": "completed_artifact", "step": 1186, "path": "model/whole_genealogy_four_head_information.json", "sha256": "2d00c6ef8bd02475535fe9a95771d4a08f65d68553083e88eac824606c664423", "bytes": 378 }, { "type": "completed_script", "step": 1187, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1187.py", "sha256": "39b7393f996616c26f0010f6b227641c55da2e968835c33e746d3317db184dd6" }, { "type": "completed_artifact", "step": 1187, "path": "model/whole_genealogy_native_insertion.json", "sha256": "47ae760f92ed9eb575696dfb014115d80ff1215ca9b548fe188be5faaec1b50c", "bytes": 658 }, { "type": "completed_script", "step": 1188, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1188.py", "sha256": "e41e93e5566ea7262508f73ae29f493716f20fb831c56180edb53cc69b71ff5c" }, { "type": "completed_artifact", "step": 1188, "path": "model/insertion_redistribution_witness.json", "sha256": "d11e0e5d562cd187b3e4c49bff508fa3f70b2630d3d9df40c68ece1782c086b0", "bytes": 495 }, { "type": "completed_script", "step": 1189, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1189.py", "sha256": "25f9d6785414d027305bfb4ab7039f14a0e33cf8789a37030ab6940eb9232f19" }, { "type": "completed_artifact", "step": 1189, "path": "deliverables/Whole_Genealogy_Row_Grammar_Interim.md", "sha256": "7614f3f07386d2d738fa9bdf7834f3147bb2c128722949f2263bed4841130c35", "bytes": 2203 }, { "type": "completed_script", "step": 1190, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1190.py", "sha256": "bda74d134b4dfc8b4363c7eb907a643b00fdcb10589af8d2698a355191ad273c" }, { "type": "completed_artifact", "step": 1190, "path": "model/joint_rounding_observation.json", "sha256": "dda331935947e8bcd63cba12aa5afc9ec31aa3a07ca64995199c8529d7452d77", "bytes": 540 }, { "type": "completed_script", "step": 1191, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1191.py", "sha256": "6256d0cc2163261f0e15021aafd644bc1a68e2b4c9618de83c08445664b94661" }, { "type": "completed_artifact", "step": 1191, "path": "model/joint_rounding_fibre_count.json", "sha256": "675aded4ec0b4aa373b5fb41a62a59b066ba872990fb481b07f80f5fd2ee610f", "bytes": 388 }, { "type": "completed_script", "step": 1192, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1192.py", "sha256": "6d277d0c321b6713ad6fadf29b7ef5a4796a729094252b07c6feb1cea1b5b878" }, { "type": "completed_artifact", "step": 1192, "path": "model/ordinary_joint_rounding_fibres.json", "sha256": "1cb4a13c33bfabf1020e463c99bd040a92121ec0f3ae9f96e5447592ad059df7", "bytes": 14320 }, { "type": "completed_script", "step": 1193, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1193.py", "sha256": "2d671373fcb56a0084c24070c96116849ed0efecb81c84fd584a38ba3f9a0af9" }, { "type": "completed_artifact", "step": 1193, "path": "model/joint_rounding_singleton_intersections.json", "sha256": "64be39ff48facb6d403eb3b77ed1258eb586e644ea46e6f4acc71aa1d8ad18ce", "bytes": 1372 }, { "type": "completed_script", "step": 1194, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1194.py", "sha256": "57caa4c1fe2ae21e3eb8c56115609f55c9e3d186e1189cc15dae875352f7f607" }, { "type": "completed_artifact", "step": 1194, "path": "model/LXX_Lamech_joint_rounding_ambiguity.json", "sha256": "fadf71b03bb34e6c537cd1466cce62070877a8d0061e127067d395ea05a8ae01", "bytes": 446 }, { "type": "completed_script", "step": 1195, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1195.py", "sha256": "9506f4d40cf137253121d53e01d09f26b31084161fb329eea049101acf0adea8" }, { "type": "completed_artifact", "step": 1195, "path": "model/ordinary_joint_rounding_ambiguity_summary.json", "sha256": "43d77706b99348a303441412447f3e223d6ddb7189c1f94240874ff6c964f417", "bytes": 403 }, { "type": "completed_script", "step": 1196, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1196.py", "sha256": "7a4a85d680bf45f9d169111b2336a1516b36ca48c0e2d9e2bc39fe9604ae81fe" }, { "type": "completed_artifact", "step": 1196, "path": "model/early_pair_rounding_relation.json", "sha256": "5c76d1a7978ba62189b3f22166a016fb9443399c0063a6ba53cdce442783599a", "bytes": 987 }, { "type": "completed_script", "step": 1197, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1197.py", "sha256": "36a8aec4f8f3342060c418b9f23f26e7d73e400e24591cd18105910622928dce" }, { "type": "completed_artifact", "step": 1197, "path": "model/late_block_joint_rounding_recovery.json", "sha256": "7b23de1d3ad4c27eb643636c854a02745d7b03a84e9a3920e9f00a86d6309ed4", "bytes": 333 }, { "type": "completed_script", "step": 1198, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1198.py", "sha256": "024ff4aac0df5d0161713fcbcd894d4914e7e9e76ebd245b3e054e31d99315e6" }, { "type": "completed_artifact", "step": 1198, "path": "model/joint_rounding_residual_recovery.json", "sha256": "0783a2d7611a7e7908a1a1d4fd35ccb0353d9e71b1a0cffd1690be45463a06f5", "bytes": 4132 }, { "type": "completed_script", "step": 1199, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1199.py", "sha256": "410f2d7702efd6edc4fd3a2a30765917416df611dbc90877ce16dfaba1437b7e" }, { "type": "completed_artifact", "step": 1199, "path": "model/joint_rounding_carry_bridge.json", "sha256": "09df548a9ff72ded568e716ef1fca3f0cb17d025f60f6662d99181bdcbd7b46e", "bytes": 4134 }, { "type": "completed_script", "step": 1200, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1200.py", "sha256": "5bce364ac88b4b3a4189b5cf1484f04a5f4c92e3e7ad6d0a12686266fcb47c04" }, { "type": "completed_artifact", "step": 1200, "path": "model/rounding_carry_information.json", "sha256": "92e6d16905b18c5ee3305c094f7ef6fc0af0339cb3dc69ba596d574bf7f12d12", "bytes": 365 }, { "type": "completed_script", "step": 1201, "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/evidence/s1201.py", "sha256": "26e338e19b548f4e14acc9694ef66899e15946aa567f88cef96a35a056dc914a" }, { "type": "completed_artifact", "step": 1201, "path": "deliverables/Joint_Rounded_Row_Information.md", "sha256": "f582659b5226cb2d9115eaaa9d572eff7f17c63c37f2e3cd4d8d088500a669fa", "bytes": 1863 } ], "observations": [ { "severity": "nonblocking domain-wording clarification", "steps": [ 1190, 1199, 1200 ], "issue": "C1190 defines Q on nonnegative durations, whereas C1199 writes Q(z) for potentially negative residuals. The calculation correctly uses the integer extension of the same floor rule, but that extension should be named explicitly.", "suggested_text": "For the signed residual z in {-4,...,4}, define the auxiliary carry q(z)=5 floor((z+2)/5). Then Q(L)-Q(b)-Q(r)=q(z). This is an algebraic integer extension, not a negative chronological duration.", "effect": "No numerical result changes. State the bounded z domain when giving the three carry branches." }, { "severity": "interpretive precision", "steps": [ 1183, 1186 ], "issue": "The four-model parameter t is the five-model Nahor parameter n; e=u-t. Its cancellation at the heads is conditional on the fitted e+n=u relation, already implicit in C1154.", "effect": "Existing artifacts are consistent. Preserve this alias and the extra-premise language in synthesis; do not present the lower rank as an independent derivation." }, { "severity": "interpretive precision", "steps": [ 1188 ], "issue": "The insertion and redistributed examples actually agree at all retained shared named boundaries (0,265,395); the distinguishing observation is the extra Cainan vertex at135 with its name/incidence.", "effect": "Current finding is correct. Avoid later describing this example as a displacement of the shared Shelah boundary." }, { "severity": "conditional-recovery guard", "steps": [ 1192, 1195, 1196, 1197, 1198 ], "issue": "The rounded observations and exact lifespans are held; calculated remainders are not independent readings. Product counts are formal Cartesian-product fibres before cross-row constraints. The late-block result also holds u100 and Peleg/Serug equal ages.", "effect": "All these qualifications are present. Preserve them; the calculations do not reconstruct an ancient transmission process or generate source30 independently." } ], "independent_results": { "whole_source_outputs": [ 100, 0, 100, 0, 100, 0, 100, 0, 100, 0, 0, 0, 100, 0, 0, 0, 0, -24, 0, 0, 0, 0, 100, 27, 100, 27, 100, 40, 100, 100, 100, 100, 100, 100, 50, 60, 0, 0 ], "head_maps": { "five": [ [ "25/2", 0, 0, 0, 0 ], [ 3, 1, 2, 1, 1 ] ], "four": [ [ "25/2", 0, 0, 0 ], [ 4, 1, 2, 0 ] ] }, "ordinary_fibres": [ { "tradition": "MT", "name": "Adam", "b": 130, "r": 800, "L": 930, "B": 130, "R": 800, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 }, { "tradition": "MT", "name": "Seth", "b": 105, "r": 807, "L": 912, "B": 105, "R": 805, "z": 2, "candidates_b": [ 105, 106, 107 ], "count": 3 }, { "tradition": "MT", "name": "Enosh", "b": 90, "r": 815, "L": 905, "B": 90, "R": 815, "z": 0, "candidates_b": [ 88, 89, 90, 91, 92 ], "count": 5 }, { "tradition": "MT", "name": "Kenan", "b": 70, "r": 840, "L": 910, "B": 70, "R": 840, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 }, { "tradition": "MT", "name": "Mahalalel", "b": 65, "r": 830, "L": 895, "B": 65, "R": 830, "z": 0, "candidates_b": [ 63, 64, 65, 66, 67 ], "count": 5 }, { "tradition": "MT", "name": "Jared", "b": 162, "r": 800, "L": 962, "B": 160, "R": 800, "z": 2, "candidates_b": [ 160, 161, 162 ], "count": 3 }, { "tradition": "MT", "name": "Enoch", "b": 65, "r": 300, "L": 365, "B": 65, "R": 300, "z": 0, "candidates_b": [ 63, 64, 65, 66, 67 ], "count": 5 }, { "tradition": "MT", "name": "Methuselah", "b": 187, "r": 782, "L": 969, "B": 185, "R": 780, "z": 4, "candidates_b": [ 187 ], "count": 1 }, { "tradition": "MT", "name": "Lamech", "b": 182, "r": 595, "L": 777, "B": 180, "R": 595, "z": 2, "candidates_b": [ 180, 181, 182 ], "count": 3 }, { "tradition": "MT", "name": "Noah", "b": 500, "r": 450, "L": 950, "B": 500, "R": 450, "z": 0, "candidates_b": [ 498, 499, 500, 501, 502 ], "count": 5 }, { "tradition": "MT", "name": "Shem", "b": 100, "r": 500, "L": 600, "B": 100, "R": 500, "z": 0, "candidates_b": [ 98, 99, 100, 101, 102 ], "count": 5 }, { "tradition": "MT", "name": "Arphaxad", "b": 35, "r": 403, "L": 438, "B": 35, "R": 405, "z": -2, "candidates_b": [ 33, 34, 35 ], "count": 3 }, { "tradition": "MT", "name": "Shelah", "b": 30, "r": 403, "L": 433, "B": 30, "R": 405, "z": -2, "candidates_b": [ 28, 29, 30 ], "count": 3 }, { "tradition": "MT", "name": "Eber", "b": 34, "r": 430, "L": 464, "B": 35, "R": 430, "z": -1, "candidates_b": [ 33, 34, 35, 36 ], "count": 4 }, { "tradition": "MT", "name": "Peleg", "b": 30, "r": 209, "L": 239, "B": 30, "R": 210, "z": -1, "candidates_b": [ 28, 29, 30, 31 ], "count": 4 }, { "tradition": "MT", "name": "Reu", "b": 32, "r": 207, "L": 239, "B": 30, "R": 205, "z": 4, "candidates_b": [ 32 ], "count": 1 }, { "tradition": "MT", "name": "Serug", "b": 30, "r": 200, "L": 230, "B": 30, "R": 200, "z": 0, "candidates_b": [ 28, 29, 30, 31, 32 ], "count": 5 }, { "tradition": "MT", "name": "Nahor", "b": 29, "r": 119, "L": 148, "B": 30, "R": 120, "z": -2, "candidates_b": [ 28, 29, 30 ], "count": 3 }, { "tradition": "MT", "name": "Terah", "b": 70, "r": 135, "L": 205, "B": 70, "R": 135, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 }, { "tradition": "SP", "name": "Adam", "b": 130, "r": 800, "L": 930, "B": 130, "R": 800, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 }, { "tradition": "SP", "name": "Seth", "b": 105, "r": 807, "L": 912, "B": 105, "R": 805, "z": 2, "candidates_b": [ 105, 106, 107 ], "count": 3 }, { "tradition": "SP", "name": "Enosh", "b": 90, "r": 815, "L": 905, "B": 90, "R": 815, "z": 0, "candidates_b": [ 88, 89, 90, 91, 92 ], "count": 5 }, { "tradition": "SP", "name": "Kenan", "b": 70, "r": 840, "L": 910, "B": 70, "R": 840, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 }, { "tradition": "SP", "name": "Mahalalel", "b": 65, "r": 830, "L": 895, "B": 65, "R": 830, "z": 0, "candidates_b": [ 63, 64, 65, 66, 67 ], "count": 5 }, { "tradition": "SP", "name": "Enoch", "b": 65, "r": 300, "L": 365, "B": 65, "R": 300, "z": 0, "candidates_b": [ 63, 64, 65, 66, 67 ], "count": 5 }, { "tradition": "SP", "name": "Noah", "b": 500, "r": 450, "L": 950, "B": 500, "R": 450, "z": 0, "candidates_b": [ 498, 499, 500, 501, 502 ], "count": 5 }, { "tradition": "SP", "name": "Shem", "b": 100, "r": 500, "L": 600, "B": 100, "R": 500, "z": 0, "candidates_b": [ 98, 99, 100, 101, 102 ], "count": 5 }, { "tradition": "SP", "name": "Arphaxad", "b": 135, "r": 303, "L": 438, "B": 135, "R": 305, "z": -2, "candidates_b": [ 133, 134, 135 ], "count": 3 }, { "tradition": "SP", "name": "Shelah", "b": 130, "r": 303, "L": 433, "B": 130, "R": 305, "z": -2, "candidates_b": [ 128, 129, 130 ], "count": 3 }, { "tradition": "SP", "name": "Eber", "b": 134, "r": 270, "L": 404, "B": 135, "R": 270, "z": -1, "candidates_b": [ 133, 134, 135, 136 ], "count": 4 }, { "tradition": "SP", "name": "Peleg", "b": 130, "r": 109, "L": 239, "B": 130, "R": 110, "z": -1, "candidates_b": [ 128, 129, 130, 131 ], "count": 4 }, { "tradition": "SP", "name": "Reu", "b": 132, "r": 107, "L": 239, "B": 130, "R": 105, "z": 4, "candidates_b": [ 132 ], "count": 1 }, { "tradition": "SP", "name": "Serug", "b": 130, "r": 100, "L": 230, "B": 130, "R": 100, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 }, { "tradition": "SP", "name": "Nahor", "b": 79, "r": 69, "L": 148, "B": 80, "R": 70, "z": -2, "candidates_b": [ 78, 79, 80 ], "count": 3 }, { "tradition": "SP", "name": "Terah", "b": 70, "r": 75, "L": 145, "B": 70, "R": 75, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 }, { "tradition": "LXX", "name": "Adam", "b": 230, "r": 700, "L": 930, "B": 230, "R": 700, "z": 0, "candidates_b": [ 228, 229, 230, 231, 232 ], "count": 5 }, { "tradition": "LXX", "name": "Seth", "b": 205, "r": 707, "L": 912, "B": 205, "R": 705, "z": 2, "candidates_b": [ 205, 206, 207 ], "count": 3 }, { "tradition": "LXX", "name": "Enosh", "b": 190, "r": 715, "L": 905, "B": 190, "R": 715, "z": 0, "candidates_b": [ 188, 189, 190, 191, 192 ], "count": 5 }, { "tradition": "LXX", "name": "Kenan", "b": 170, "r": 740, "L": 910, "B": 170, "R": 740, "z": 0, "candidates_b": [ 168, 169, 170, 171, 172 ], "count": 5 }, { "tradition": "LXX", "name": "Mahalalel", "b": 165, "r": 730, "L": 895, "B": 165, "R": 730, "z": 0, "candidates_b": [ 163, 164, 165, 166, 167 ], "count": 5 }, { "tradition": "LXX", "name": "Jared", "b": 162, "r": 800, "L": 962, "B": 160, "R": 800, "z": 2, "candidates_b": [ 160, 161, 162 ], "count": 3 }, { "tradition": "LXX", "name": "Enoch", "b": 165, "r": 200, "L": 365, "B": 165, "R": 200, "z": 0, "candidates_b": [ 163, 164, 165, 166, 167 ], "count": 5 }, { "tradition": "LXX", "name": "Methuselah", "b": 187, "r": 782, "L": 969, "B": 185, "R": 780, "z": 4, "candidates_b": [ 187 ], "count": 1 }, { "tradition": "LXX", "name": "Lamech", "b": 182, "r": 571, "L": 753, "B": 180, "R": 570, "z": 3, "candidates_b": [ 181, 182 ], "count": 2 }, { "tradition": "LXX", "name": "Noah", "b": 500, "r": 450, "L": 950, "B": 500, "R": 450, "z": 0, "candidates_b": [ 498, 499, 500, 501, 502 ], "count": 5 }, { "tradition": "LXX", "name": "Shem", "b": 100, "r": 500, "L": 600, "B": 100, "R": 500, "z": 0, "candidates_b": [ 98, 99, 100, 101, 102 ], "count": 5 }, { "tradition": "LXX", "name": "Arphaxad", "b": 135, "r": 330, "L": 465, "B": 135, "R": 330, "z": 0, "candidates_b": [ 133, 134, 135, 136, 137 ], "count": 5 }, { "tradition": "LXX", "name": "Cainan2", "b": 130, "r": 330, "L": 460, "B": 130, "R": 330, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 }, { "tradition": "LXX", "name": "Shelah", "b": 130, "r": 330, "L": 460, "B": 130, "R": 330, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 }, { "tradition": "LXX", "name": "Eber", "b": 134, "r": 370, "L": 504, "B": 135, "R": 370, "z": -1, "candidates_b": [ 133, 134, 135, 136 ], "count": 4 }, { "tradition": "LXX", "name": "Peleg", "b": 130, "r": 209, "L": 339, "B": 130, "R": 210, "z": -1, "candidates_b": [ 128, 129, 130, 131 ], "count": 4 }, { "tradition": "LXX", "name": "Reu", "b": 132, "r": 207, "L": 339, "B": 130, "R": 205, "z": 4, "candidates_b": [ 132 ], "count": 1 }, { "tradition": "LXX", "name": "Serug", "b": 130, "r": 200, "L": 330, "B": 130, "R": 200, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 }, { "tradition": "LXX", "name": "Nahor", "b": 79, "r": 129, "L": 208, "B": 80, "R": 130, "z": -2, "candidates_b": [ 78, 79, 80 ], "count": 3 }, { "tradition": "LXX", "name": "Terah", "b": 70, "r": 135, "L": 205, "B": 70, "R": 135, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 } ], "fibre_histogram": { "5": 30, "3": 13, "1": 5, "4": 6, "2": 1 }, "formal_products": { "MT": 22781250000, "SP": 2531250000, "LXX": 210937500000 }, "singletons": [ "MT:Methuselah", "MT:Reu", "SP:Reu", "LXX:Methuselah", "LXX:Reu" ], "late_conditioned_fibre": [ 28, 29, 30, 31 ], "carry_class_counts": { "-5": 3, "0": 19, "5": 3 } }, "checks": [ { "name": "twenty completed records", "pass": true, "actual": [ 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201 ], "expected": [ 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201 ] }, { "name": "C1182 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1182 artifact model/whole_genealogy_five_model.json", "pass": true, "actual": [ "00974b700a432f664a92f80cdbfdb8cef83e334d8f4ac3437aec4e3bb2921ac9", 3399 ], "expected": [ "00974b700a432f664a92f80cdbfdb8cef83e334d8f4ac3437aec4e3bb2921ac9", 3399 ] }, { "name": "C1183 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1183 artifact model/whole_genealogy_four_model.json", "pass": true, "actual": [ "db6857df003663117809841c614779640cb386f165c4c8281cc8c8f03d5f8595", 2952 ], "expected": [ "db6857df003663117809841c614779640cb386f165c4c8281cc8c8f03d5f8595", 2952 ] }, { "name": "C1184 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1184 artifact model/whole_genealogy_local_recovery.json", "pass": true, "actual": [ "02ec326eb620855f03d145bedfec53dc2653efb6ee52b3679550b22c9c3d893b", 608 ], "expected": [ "02ec326eb620855f03d145bedfec53dc2653efb6ee52b3679550b22c9c3d893b", 608 ] }, { "name": "C1185 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1185 artifact model/whole_genealogy_head_information.json", "pass": true, "actual": [ "855645f2d27bb371e76a02f8b5dcc6b46e64ebdaa303b4c33eb8bf74b49071c6", 487 ], "expected": [ "855645f2d27bb371e76a02f8b5dcc6b46e64ebdaa303b4c33eb8bf74b49071c6", 487 ] }, { "name": "C1186 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1186 artifact model/whole_genealogy_four_head_information.json", "pass": true, "actual": [ "2d00c6ef8bd02475535fe9a95771d4a08f65d68553083e88eac824606c664423", 378 ], "expected": [ "2d00c6ef8bd02475535fe9a95771d4a08f65d68553083e88eac824606c664423", 378 ] }, { "name": "C1187 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1187 artifact model/whole_genealogy_native_insertion.json", "pass": true, "actual": [ "47ae760f92ed9eb575696dfb014115d80ff1215ca9b548fe188be5faaec1b50c", 658 ], "expected": [ "47ae760f92ed9eb575696dfb014115d80ff1215ca9b548fe188be5faaec1b50c", 658 ] }, { "name": "C1188 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1188 artifact model/insertion_redistribution_witness.json", "pass": true, "actual": [ "d11e0e5d562cd187b3e4c49bff508fa3f70b2630d3d9df40c68ece1782c086b0", 495 ], "expected": [ "d11e0e5d562cd187b3e4c49bff508fa3f70b2630d3d9df40c68ece1782c086b0", 495 ] }, { "name": "C1189 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1189 artifact deliverables/Whole_Genealogy_Row_Grammar_Interim.md", "pass": true, "actual": [ "7614f3f07386d2d738fa9bdf7834f3147bb2c128722949f2263bed4841130c35", 2203 ], "expected": [ "7614f3f07386d2d738fa9bdf7834f3147bb2c128722949f2263bed4841130c35", 2203 ] }, { "name": "C1190 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1190 artifact model/joint_rounding_observation.json", "pass": true, "actual": [ "dda331935947e8bcd63cba12aa5afc9ec31aa3a07ca64995199c8529d7452d77", 540 ], "expected": [ "dda331935947e8bcd63cba12aa5afc9ec31aa3a07ca64995199c8529d7452d77", 540 ] }, { "name": "C1191 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1191 artifact model/joint_rounding_fibre_count.json", "pass": true, "actual": [ "675aded4ec0b4aa373b5fb41a62a59b066ba872990fb481b07f80f5fd2ee610f", 388 ], "expected": [ "675aded4ec0b4aa373b5fb41a62a59b066ba872990fb481b07f80f5fd2ee610f", 388 ] }, { "name": "C1192 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1192 artifact model/ordinary_joint_rounding_fibres.json", "pass": true, "actual": [ "1cb4a13c33bfabf1020e463c99bd040a92121ec0f3ae9f96e5447592ad059df7", 14320 ], "expected": [ "1cb4a13c33bfabf1020e463c99bd040a92121ec0f3ae9f96e5447592ad059df7", 14320 ] }, { "name": "C1193 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1193 artifact model/joint_rounding_singleton_intersections.json", "pass": true, "actual": [ "64be39ff48facb6d403eb3b77ed1258eb586e644ea46e6f4acc71aa1d8ad18ce", 1372 ], "expected": [ "64be39ff48facb6d403eb3b77ed1258eb586e644ea46e6f4acc71aa1d8ad18ce", 1372 ] }, { "name": "C1194 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1194 artifact model/LXX_Lamech_joint_rounding_ambiguity.json", "pass": true, "actual": [ "fadf71b03bb34e6c537cd1466cce62070877a8d0061e127067d395ea05a8ae01", 446 ], "expected": [ "fadf71b03bb34e6c537cd1466cce62070877a8d0061e127067d395ea05a8ae01", 446 ] }, { "name": "C1195 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1195 artifact model/ordinary_joint_rounding_ambiguity_summary.json", "pass": true, "actual": [ "43d77706b99348a303441412447f3e223d6ddb7189c1f94240874ff6c964f417", 403 ], "expected": [ "43d77706b99348a303441412447f3e223d6ddb7189c1f94240874ff6c964f417", 403 ] }, { "name": "C1196 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1196 artifact model/early_pair_rounding_relation.json", "pass": true, "actual": [ "5c76d1a7978ba62189b3f22166a016fb9443399c0063a6ba53cdce442783599a", 987 ], "expected": [ "5c76d1a7978ba62189b3f22166a016fb9443399c0063a6ba53cdce442783599a", 987 ] }, { "name": "C1197 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1197 artifact model/late_block_joint_rounding_recovery.json", "pass": true, "actual": [ "7b23de1d3ad4c27eb643636c854a02745d7b03a84e9a3920e9f00a86d6309ed4", 333 ], "expected": [ "7b23de1d3ad4c27eb643636c854a02745d7b03a84e9a3920e9f00a86d6309ed4", 333 ] }, { "name": "C1198 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1198 artifact model/joint_rounding_residual_recovery.json", "pass": true, "actual": [ "0783a2d7611a7e7908a1a1d4fd35ccb0353d9e71b1a0cffd1690be45463a06f5", 4132 ], "expected": [ "0783a2d7611a7e7908a1a1d4fd35ccb0353d9e71b1a0cffd1690be45463a06f5", 4132 ] }, { "name": "C1199 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1199 artifact model/joint_rounding_carry_bridge.json", "pass": true, "actual": [ "09df548a9ff72ded568e716ef1fca3f0cb17d025f60f6662d99181bdcbd7b46e", 4134 ], "expected": [ "09df548a9ff72ded568e716ef1fca3f0cb17d025f60f6662d99181bdcbd7b46e", 4134 ] }, { "name": "C1200 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1200 artifact model/rounding_carry_information.json", "pass": true, "actual": [ "92e6d16905b18c5ee3305c094f7ef6fc0af0339cb3dc69ba596d574bf7f12d12", 365 ], "expected": [ "92e6d16905b18c5ee3305c094f7ef6fc0af0339cb3dc69ba596d574bf7f12d12", 365 ] }, { "name": "C1201 script declaration", "pass": true, "actual": true, "expected": true }, { "name": "C1201 artifact deliverables/Joint_Rounded_Row_Information.md", "pass": true, "actual": [ "f582659b5226cb2d9115eaaa9d572eff7f17c63c37f2e3cd4d8d088500a669fa", 1863 ], "expected": [ "f582659b5226cb2d9115eaaa9d572eff7f17c63c37f2e3cd4d8d088500a669fa", 1863 ] }, { "name": "C1182 exact design", "pass": true, "actual": [ [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 1, 0 ], [ 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ "1/2", 0, 0, 0, 0 ], [ 0, 0, 0, 0, 1 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ] ], "expected": [ [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 1, 0 ], [ 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ "1/2", 0, 0, 0, 0 ], [ 0, 0, 0, 0, 1 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ] ] }, { "name": "C1183 exact restricted design", "pass": true, "actual": [ [ 1, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 1, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 1, 0 ], [ 1, 0, 0, 0 ], [ 1, 0, 0, -1 ], [ 1, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ "1/2", 0, 0, 0 ], [ 0, 0, 0, 1 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ] ], "expected": [ [ 1, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 1, 0 ], [ 1, 0, 0, 0 ], [ 0, 0, 1, 0 ], [ 1, 0, 0, 0 ], [ 1, 0, 0, -1 ], [ 1, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ 1, 0, 0, 0 ], [ "1/2", 0, 0, 0 ], [ 0, 0, 0, 1 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ] ] }, { "name": "C1183 parameter alias t=n", "pass": true, "actual": [ "u", "lambda", "a", "t" ], "expected": [ "u", "lambda", "a", "t" ] }, { "name": "C1183 embedding", "pass": true, "actual": [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 1, 0, 0, -1 ], [ 0, 0, 0, 1 ] ], "expected": [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 1, 0, 0, -1 ], [ 0, 0, 0, 1 ] ] }, { "name": "C1182 complete source changes", "pass": true, "actual": [ 100, 0, 100, 0, 100, 0, 100, 0, 100, 0, 0, 0, 100, 0, 0, 0, 0, -24, 0, 0, 0, 0, 100, 27, 100, 27, 100, 40, 100, 100, 100, 100, 100, 100, 50, 60, 0, 0 ], "expected": [ 100, 0, 100, 0, 100, 0, 100, 0, 100, 0, 0, 0, 100, 0, 0, 0, 0, -24, 0, 0, 0, 0, 100, 27, 100, 27, 100, 40, 100, 100, 100, 100, 100, 100, 50, 60, 0, 0 ] }, { "name": "C1182 saved outputs", "pass": true, "actual": [ 100, 0, 100, 0, 100, 0, 100, 0, 100, 0, 0, 0, 100, 0, 0, 0, 0, -24, 0, 0, 0, 0, 100, 27, 100, 27, 100, 40, 100, 100, 100, 100, 100, 100, 50, 60, 0, 0 ], "expected": [ 100, 0, 100, 0, 100, 0, 100, 0, 100, 0, 0, 0, 100, 0, 0, 0, 0, -24, 0, 0, 0, 0, 100, 27, 100, 27, 100, 40, 100, 100, 100, 100, 100, 100, 50, 60, 0, 0 ] }, { "name": "C1183 restricted source outputs", "pass": true, "actual": [ 100, 0, 100, 0, 100, 0, 100, 0, 100, 0, 0, 0, 100, 0, 0, 0, 0, -24, 0, 0, 0, 0, 100, 27, 100, 27, 100, 40, 100, 100, 100, 100, 100, 100, 50, 60, 0, 0 ], "expected": [ 100, 0, 100, 0, 100, 0, 100, 0, 100, 0, 0, 0, 100, 0, 0, 0, 0, -24, 0, 0, 0, 0, 100, 27, 100, 27, 100, 40, 100, 100, 100, 100, 100, 100, 50, 60, 0, 0 ] }, { "name": "C1182 rank-five witness determinant", "pass": true, "actual": 1, "expected": 1 }, { "name": "C1183 rank-four witness determinant", "pass": true, "actual": 1, "expected": 1 }, { "name": "C1184 source observations", "pass": true, "actual": { "Adam:b": 100, "Lamech:L": -24, "Arphaxad:L": 27, "Eber:L": 40, "Nahor:L": 60 }, "expected": { "Adam:b": 100, "Lamech:L": -24, "Arphaxad:L": 27, "Eber:L": 40, "Nahor:L": 60 } }, { "name": "C1184 recovery", "pass": true, "actual": [ 100, -24, 27, 40, 60 ], "expected": [ 100, -24, 27, 40, 60 ] }, { "name": "C1185 total map", "pass": true, "actual": [ [ "25/2", 0, 0, 0, 0 ], [ 3, 1, 2, 1, 1 ] ], "expected": [ [ "25/2", 0, 0, 0, 0 ], [ 3, 1, 2, 1, 1 ] ] }, { "name": "C1185 explicit coefficient rows", "pass": true, "actual": [ [ "25/2", 0, 0, 0, 0 ], [ 3, 1, 2, 1, 1 ] ], "expected": [ [ "25/2", 0, 0, 0, 0 ], [ 3, 1, 2, 1, 1 ] ] }, { "name": "C1186 restricted total map", "pass": true, "actual": [ [ "25/2", 0, 0, 0 ], [ 4, 1, 2, 0 ] ], "expected": [ [ "25/2", 0, 0, 0 ], [ 4, 1, 2, 0 ] ] }, { "name": "C1185 source heads", "pass": true, "actual": [ 1250, 430 ], "expected": [ 1250, 430 ] }, { "name": "C1186 source heads", "pass": true, "actual": [ 1250, 430 ], "expected": [ 1250, 430 ] }, { "name": "C1185 rank-two minor", "pass": true, "actual": "25/2", "expected": "25/2" }, { "name": "whole_genealogy_head_information kernel 0", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "whole_genealogy_head_information kernel 1", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "whole_genealogy_head_information kernel 2", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "whole_genealogy_four_head_information kernel 0", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "whole_genealogy_four_head_information kernel 1", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1185 nullity dimension", "pass": true, "actual": 3, "expected": 3 }, { "name": "C1186 nullity dimension", "pass": true, "actual": 2, "expected": 2 }, { "name": "C1187 separate Cainan triple", "pass": true, "actual": [ 130, 330, 460 ], "expected": [ 130, 330, 460 ] }, { "name": "C1187 source Shelah numerical equality", "pass": true, "actual": [ 130, 330, 460 ], "expected": [ 130, 330, 460 ] }, { "name": "C1187 native heads", "pass": true, "actual": [ 1380, 890 ], "expected": [ 1380, 890 ] }, { "name": "C1188 old_cuts", "pass": true, "actual": [ 0, 135, 265 ], "expected": [ 0, 135, 265 ] }, { "name": "C1188 inserted_cuts", "pass": true, "actual": [ 0, 135, 265, 395 ], "expected": [ 0, 135, 265, 395 ] }, { "name": "C1188 redistributed_cuts", "pass": true, "actual": [ 0, 265, 395 ], "expected": [ 0, 265, 395 ] }, { "name": "C1188 equal final total", "pass": true, "actual": 395, "expected": 395 }, { "name": "C1188 extra vertex", "pass": true, "actual": 1, "expected": 1 }, { "name": "C1188 shared named boundaries agree numerically", "pass": true, "actual": [ 0, 265, 395 ], "expected": [ 0, 265, 395 ] }, { "name": "C1188 diagnostic tag", "pass": true, "actual": true, "expected": true }, { "name": "C1190 cell 0", "pass": true, "actual": [ 0, 1, 2 ], "expected": [ 0, 1, 2 ] }, { "name": "C1190 cell 5", "pass": true, "actual": [ 3, 4, 5, 6, 7 ], "expected": [ 3, 4, 5, 6, 7 ] }, { "name": "C1190 cell 10", "pass": true, "actual": [ 8, 9, 10, 11, 12 ], "expected": [ 8, 9, 10, 11, 12 ] }, { "name": "C1191 geometric line count -5", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1191 stored count -5", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1191 geometric line count -4", "pass": true, "actual": 1, "expected": 1 }, { "name": "C1191 stored count -4", "pass": true, "actual": 1, "expected": 1 }, { "name": "C1191 geometric line count -3", "pass": true, "actual": 2, "expected": 2 }, { "name": "C1191 stored count -3", "pass": true, "actual": 2, "expected": 2 }, { "name": "C1191 geometric line count -2", "pass": true, "actual": 3, "expected": 3 }, { "name": "C1191 stored count -2", "pass": true, "actual": 3, "expected": 3 }, { "name": "C1191 geometric line count -1", "pass": true, "actual": 4, "expected": 4 }, { "name": "C1191 stored count -1", "pass": true, "actual": 4, "expected": 4 }, { "name": "C1191 geometric line count 0", "pass": true, "actual": 5, "expected": 5 }, { "name": "C1191 stored count 0", "pass": true, "actual": 5, "expected": 5 }, { "name": "C1191 geometric line count 1", "pass": true, "actual": 4, "expected": 4 }, { "name": "C1191 stored count 1", "pass": true, "actual": 4, "expected": 4 }, { "name": "C1191 geometric line count 2", "pass": true, "actual": 3, "expected": 3 }, { "name": "C1191 stored count 2", "pass": true, "actual": 3, "expected": 3 }, { "name": "C1191 geometric line count 3", "pass": true, "actual": 2, "expected": 2 }, { "name": "C1191 stored count 3", "pass": true, "actual": 2, "expected": 2 }, { "name": "C1191 geometric line count 4", "pass": true, "actual": 1, "expected": 1 }, { "name": "C1191 stored count 4", "pass": true, "actual": 1, "expected": 1 }, { "name": "C1191 geometric line count 5", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1191 stored count 5", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1192 full fibre MT:Adam", "pass": true, "actual": { "tradition": "MT", "name": "Adam", "b": 130, "r": 800, "L": 930, "B": 130, "R": 800, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 }, "expected": { "tradition": "MT", "name": "Adam", "b": 130, "r": 800, "L": 930, "B": 130, "R": 800, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 } }, { "name": "C1192 interior domain MT:Adam", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Seth", "pass": true, "actual": { "tradition": "MT", "name": "Seth", "b": 105, "r": 807, "L": 912, "B": 105, "R": 805, "z": 2, "candidates_b": [ 105, 106, 107 ], "count": 3 }, "expected": { "tradition": "MT", "name": "Seth", "b": 105, "r": 807, "L": 912, "B": 105, "R": 805, "z": 2, "candidates_b": [ 105, 106, 107 ], "count": 3 } }, { "name": "C1192 interior domain MT:Seth", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Enosh", "pass": true, "actual": { "tradition": "MT", "name": "Enosh", "b": 90, "r": 815, "L": 905, "B": 90, "R": 815, "z": 0, "candidates_b": [ 88, 89, 90, 91, 92 ], "count": 5 }, "expected": { "tradition": "MT", "name": "Enosh", "b": 90, "r": 815, "L": 905, "B": 90, "R": 815, "z": 0, "candidates_b": [ 88, 89, 90, 91, 92 ], "count": 5 } }, { "name": "C1192 interior domain MT:Enosh", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Kenan", "pass": true, "actual": { "tradition": "MT", "name": "Kenan", "b": 70, "r": 840, "L": 910, "B": 70, "R": 840, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 }, "expected": { "tradition": "MT", "name": "Kenan", "b": 70, "r": 840, "L": 910, "B": 70, "R": 840, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 } }, { "name": "C1192 interior domain MT:Kenan", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Mahalalel", "pass": true, "actual": { "tradition": "MT", "name": "Mahalalel", "b": 65, "r": 830, "L": 895, "B": 65, "R": 830, "z": 0, "candidates_b": [ 63, 64, 65, 66, 67 ], "count": 5 }, "expected": { "tradition": "MT", "name": "Mahalalel", "b": 65, "r": 830, "L": 895, "B": 65, "R": 830, "z": 0, "candidates_b": [ 63, 64, 65, 66, 67 ], "count": 5 } }, { "name": "C1192 interior domain MT:Mahalalel", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Jared", "pass": true, "actual": { "tradition": "MT", "name": "Jared", "b": 162, "r": 800, "L": 962, "B": 160, "R": 800, "z": 2, "candidates_b": [ 160, 161, 162 ], "count": 3 }, "expected": { "tradition": "MT", "name": "Jared", "b": 162, "r": 800, "L": 962, "B": 160, "R": 800, "z": 2, "candidates_b": [ 160, 161, 162 ], "count": 3 } }, { "name": "C1192 interior domain MT:Jared", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Enoch", "pass": true, "actual": { "tradition": "MT", "name": "Enoch", "b": 65, "r": 300, "L": 365, "B": 65, "R": 300, "z": 0, "candidates_b": [ 63, 64, 65, 66, 67 ], "count": 5 }, "expected": { "tradition": "MT", "name": "Enoch", "b": 65, "r": 300, "L": 365, "B": 65, "R": 300, "z": 0, "candidates_b": [ 63, 64, 65, 66, 67 ], "count": 5 } }, { "name": "C1192 interior domain MT:Enoch", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Methuselah", "pass": true, "actual": { "tradition": "MT", "name": "Methuselah", "b": 187, "r": 782, "L": 969, "B": 185, "R": 780, "z": 4, "candidates_b": [ 187 ], "count": 1 }, "expected": { "tradition": "MT", "name": "Methuselah", "b": 187, "r": 782, "L": 969, "B": 185, "R": 780, "z": 4, "candidates_b": [ 187 ], "count": 1 } }, { "name": "C1192 interior domain MT:Methuselah", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Lamech", "pass": true, "actual": { "tradition": "MT", "name": "Lamech", "b": 182, "r": 595, "L": 777, "B": 180, "R": 595, "z": 2, "candidates_b": [ 180, 181, 182 ], "count": 3 }, "expected": { "tradition": "MT", "name": "Lamech", "b": 182, "r": 595, "L": 777, "B": 180, "R": 595, "z": 2, "candidates_b": [ 180, 181, 182 ], "count": 3 } }, { "name": "C1192 interior domain MT:Lamech", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Noah", "pass": true, "actual": { "tradition": "MT", "name": "Noah", "b": 500, "r": 450, "L": 950, "B": 500, "R": 450, "z": 0, "candidates_b": [ 498, 499, 500, 501, 502 ], "count": 5 }, "expected": { "tradition": "MT", "name": "Noah", "b": 500, "r": 450, "L": 950, "B": 500, "R": 450, "z": 0, "candidates_b": [ 498, 499, 500, 501, 502 ], "count": 5 } }, { "name": "C1192 interior domain MT:Noah", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Shem", "pass": true, "actual": { "tradition": "MT", "name": "Shem", "b": 100, "r": 500, "L": 600, "B": 100, "R": 500, "z": 0, "candidates_b": [ 98, 99, 100, 101, 102 ], "count": 5 }, "expected": { "tradition": "MT", "name": "Shem", "b": 100, "r": 500, "L": 600, "B": 100, "R": 500, "z": 0, "candidates_b": [ 98, 99, 100, 101, 102 ], "count": 5 } }, { "name": "C1192 interior domain MT:Shem", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Arphaxad", "pass": true, "actual": { "tradition": "MT", "name": "Arphaxad", "b": 35, "r": 403, "L": 438, "B": 35, "R": 405, "z": -2, "candidates_b": [ 33, 34, 35 ], "count": 3 }, "expected": { "tradition": "MT", "name": "Arphaxad", "b": 35, "r": 403, "L": 438, "B": 35, "R": 405, "z": -2, "candidates_b": [ 33, 34, 35 ], "count": 3 } }, { "name": "C1192 interior domain MT:Arphaxad", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Shelah", "pass": true, "actual": { "tradition": "MT", "name": "Shelah", "b": 30, "r": 403, "L": 433, "B": 30, "R": 405, "z": -2, "candidates_b": [ 28, 29, 30 ], "count": 3 }, "expected": { "tradition": "MT", "name": "Shelah", "b": 30, "r": 403, "L": 433, "B": 30, "R": 405, "z": -2, "candidates_b": [ 28, 29, 30 ], "count": 3 } }, { "name": "C1192 interior domain MT:Shelah", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Eber", "pass": true, "actual": { "tradition": "MT", "name": "Eber", "b": 34, "r": 430, "L": 464, "B": 35, "R": 430, "z": -1, "candidates_b": [ 33, 34, 35, 36 ], "count": 4 }, "expected": { "tradition": "MT", "name": "Eber", "b": 34, "r": 430, "L": 464, "B": 35, "R": 430, "z": -1, "candidates_b": [ 33, 34, 35, 36 ], "count": 4 } }, { "name": "C1192 interior domain MT:Eber", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Peleg", "pass": true, "actual": { "tradition": "MT", "name": "Peleg", "b": 30, "r": 209, "L": 239, "B": 30, "R": 210, "z": -1, "candidates_b": [ 28, 29, 30, 31 ], "count": 4 }, "expected": { "tradition": "MT", "name": "Peleg", "b": 30, "r": 209, "L": 239, "B": 30, "R": 210, "z": -1, "candidates_b": [ 28, 29, 30, 31 ], "count": 4 } }, { "name": "C1192 interior domain MT:Peleg", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Reu", "pass": true, "actual": { "tradition": "MT", "name": "Reu", "b": 32, "r": 207, "L": 239, "B": 30, "R": 205, "z": 4, "candidates_b": [ 32 ], "count": 1 }, "expected": { "tradition": "MT", "name": "Reu", "b": 32, "r": 207, "L": 239, "B": 30, "R": 205, "z": 4, "candidates_b": [ 32 ], "count": 1 } }, { "name": "C1192 interior domain MT:Reu", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Serug", "pass": true, "actual": { "tradition": "MT", "name": "Serug", "b": 30, "r": 200, "L": 230, "B": 30, "R": 200, "z": 0, "candidates_b": [ 28, 29, 30, 31, 32 ], "count": 5 }, "expected": { "tradition": "MT", "name": "Serug", "b": 30, "r": 200, "L": 230, "B": 30, "R": 200, "z": 0, "candidates_b": [ 28, 29, 30, 31, 32 ], "count": 5 } }, { "name": "C1192 interior domain MT:Serug", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Nahor", "pass": true, "actual": { "tradition": "MT", "name": "Nahor", "b": 29, "r": 119, "L": 148, "B": 30, "R": 120, "z": -2, "candidates_b": [ 28, 29, 30 ], "count": 3 }, "expected": { "tradition": "MT", "name": "Nahor", "b": 29, "r": 119, "L": 148, "B": 30, "R": 120, "z": -2, "candidates_b": [ 28, 29, 30 ], "count": 3 } }, { "name": "C1192 interior domain MT:Nahor", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre MT:Terah", "pass": true, "actual": { "tradition": "MT", "name": "Terah", "b": 70, "r": 135, "L": 205, "B": 70, "R": 135, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 }, "expected": { "tradition": "MT", "name": "Terah", "b": 70, "r": 135, "L": 205, "B": 70, "R": 135, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 } }, { "name": "C1192 interior domain MT:Terah", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Adam", "pass": true, "actual": { "tradition": "SP", "name": "Adam", "b": 130, "r": 800, "L": 930, "B": 130, "R": 800, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 }, "expected": { "tradition": "SP", "name": "Adam", "b": 130, "r": 800, "L": 930, "B": 130, "R": 800, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 } }, { "name": "C1192 interior domain SP:Adam", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Seth", "pass": true, "actual": { "tradition": "SP", "name": "Seth", "b": 105, "r": 807, "L": 912, "B": 105, "R": 805, "z": 2, "candidates_b": [ 105, 106, 107 ], "count": 3 }, "expected": { "tradition": "SP", "name": "Seth", "b": 105, "r": 807, "L": 912, "B": 105, "R": 805, "z": 2, "candidates_b": [ 105, 106, 107 ], "count": 3 } }, { "name": "C1192 interior domain SP:Seth", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Enosh", "pass": true, "actual": { "tradition": "SP", "name": "Enosh", "b": 90, "r": 815, "L": 905, "B": 90, "R": 815, "z": 0, "candidates_b": [ 88, 89, 90, 91, 92 ], "count": 5 }, "expected": { "tradition": "SP", "name": "Enosh", "b": 90, "r": 815, "L": 905, "B": 90, "R": 815, "z": 0, "candidates_b": [ 88, 89, 90, 91, 92 ], "count": 5 } }, { "name": "C1192 interior domain SP:Enosh", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Kenan", "pass": true, "actual": { "tradition": "SP", "name": "Kenan", "b": 70, "r": 840, "L": 910, "B": 70, "R": 840, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 }, "expected": { "tradition": "SP", "name": "Kenan", "b": 70, "r": 840, "L": 910, "B": 70, "R": 840, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 } }, { "name": "C1192 interior domain SP:Kenan", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Mahalalel", "pass": true, "actual": { "tradition": "SP", "name": "Mahalalel", "b": 65, "r": 830, "L": 895, "B": 65, "R": 830, "z": 0, "candidates_b": [ 63, 64, 65, 66, 67 ], "count": 5 }, "expected": { "tradition": "SP", "name": "Mahalalel", "b": 65, "r": 830, "L": 895, "B": 65, "R": 830, "z": 0, "candidates_b": [ 63, 64, 65, 66, 67 ], "count": 5 } }, { "name": "C1192 interior domain SP:Mahalalel", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Enoch", "pass": true, "actual": { "tradition": "SP", "name": "Enoch", "b": 65, "r": 300, "L": 365, "B": 65, "R": 300, "z": 0, "candidates_b": [ 63, 64, 65, 66, 67 ], "count": 5 }, "expected": { "tradition": "SP", "name": "Enoch", "b": 65, "r": 300, "L": 365, "B": 65, "R": 300, "z": 0, "candidates_b": [ 63, 64, 65, 66, 67 ], "count": 5 } }, { "name": "C1192 interior domain SP:Enoch", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Noah", "pass": true, "actual": { "tradition": "SP", "name": "Noah", "b": 500, "r": 450, "L": 950, "B": 500, "R": 450, "z": 0, "candidates_b": [ 498, 499, 500, 501, 502 ], "count": 5 }, "expected": { "tradition": "SP", "name": "Noah", "b": 500, "r": 450, "L": 950, "B": 500, "R": 450, "z": 0, "candidates_b": [ 498, 499, 500, 501, 502 ], "count": 5 } }, { "name": "C1192 interior domain SP:Noah", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Shem", "pass": true, "actual": { "tradition": "SP", "name": "Shem", "b": 100, "r": 500, "L": 600, "B": 100, "R": 500, "z": 0, "candidates_b": [ 98, 99, 100, 101, 102 ], "count": 5 }, "expected": { "tradition": "SP", "name": "Shem", "b": 100, "r": 500, "L": 600, "B": 100, "R": 500, "z": 0, "candidates_b": [ 98, 99, 100, 101, 102 ], "count": 5 } }, { "name": "C1192 interior domain SP:Shem", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Arphaxad", "pass": true, "actual": { "tradition": "SP", "name": "Arphaxad", "b": 135, "r": 303, "L": 438, "B": 135, "R": 305, "z": -2, "candidates_b": [ 133, 134, 135 ], "count": 3 }, "expected": { "tradition": "SP", "name": "Arphaxad", "b": 135, "r": 303, "L": 438, "B": 135, "R": 305, "z": -2, "candidates_b": [ 133, 134, 135 ], "count": 3 } }, { "name": "C1192 interior domain SP:Arphaxad", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Shelah", "pass": true, "actual": { "tradition": "SP", "name": "Shelah", "b": 130, "r": 303, "L": 433, "B": 130, "R": 305, "z": -2, "candidates_b": [ 128, 129, 130 ], "count": 3 }, "expected": { "tradition": "SP", "name": "Shelah", "b": 130, "r": 303, "L": 433, "B": 130, "R": 305, "z": -2, "candidates_b": [ 128, 129, 130 ], "count": 3 } }, { "name": "C1192 interior domain SP:Shelah", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Eber", "pass": true, "actual": { "tradition": "SP", "name": "Eber", "b": 134, "r": 270, "L": 404, "B": 135, "R": 270, "z": -1, "candidates_b": [ 133, 134, 135, 136 ], "count": 4 }, "expected": { "tradition": "SP", "name": "Eber", "b": 134, "r": 270, "L": 404, "B": 135, "R": 270, "z": -1, "candidates_b": [ 133, 134, 135, 136 ], "count": 4 } }, { "name": "C1192 interior domain SP:Eber", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Peleg", "pass": true, "actual": { "tradition": "SP", "name": "Peleg", "b": 130, "r": 109, "L": 239, "B": 130, "R": 110, "z": -1, "candidates_b": [ 128, 129, 130, 131 ], "count": 4 }, "expected": { "tradition": "SP", "name": "Peleg", "b": 130, "r": 109, "L": 239, "B": 130, "R": 110, "z": -1, "candidates_b": [ 128, 129, 130, 131 ], "count": 4 } }, { "name": "C1192 interior domain SP:Peleg", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Reu", "pass": true, "actual": { "tradition": "SP", "name": "Reu", "b": 132, "r": 107, "L": 239, "B": 130, "R": 105, "z": 4, "candidates_b": [ 132 ], "count": 1 }, "expected": { "tradition": "SP", "name": "Reu", "b": 132, "r": 107, "L": 239, "B": 130, "R": 105, "z": 4, "candidates_b": [ 132 ], "count": 1 } }, { "name": "C1192 interior domain SP:Reu", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Serug", "pass": true, "actual": { "tradition": "SP", "name": "Serug", "b": 130, "r": 100, "L": 230, "B": 130, "R": 100, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 }, "expected": { "tradition": "SP", "name": "Serug", "b": 130, "r": 100, "L": 230, "B": 130, "R": 100, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 } }, { "name": "C1192 interior domain SP:Serug", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Nahor", "pass": true, "actual": { "tradition": "SP", "name": "Nahor", "b": 79, "r": 69, "L": 148, "B": 80, "R": 70, "z": -2, "candidates_b": [ 78, 79, 80 ], "count": 3 }, "expected": { "tradition": "SP", "name": "Nahor", "b": 79, "r": 69, "L": 148, "B": 80, "R": 70, "z": -2, "candidates_b": [ 78, 79, 80 ], "count": 3 } }, { "name": "C1192 interior domain SP:Nahor", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre SP:Terah", "pass": true, "actual": { "tradition": "SP", "name": "Terah", "b": 70, "r": 75, "L": 145, "B": 70, "R": 75, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 }, "expected": { "tradition": "SP", "name": "Terah", "b": 70, "r": 75, "L": 145, "B": 70, "R": 75, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 } }, { "name": "C1192 interior domain SP:Terah", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Adam", "pass": true, "actual": { "tradition": "LXX", "name": "Adam", "b": 230, "r": 700, "L": 930, "B": 230, "R": 700, "z": 0, "candidates_b": [ 228, 229, 230, 231, 232 ], "count": 5 }, "expected": { "tradition": "LXX", "name": "Adam", "b": 230, "r": 700, "L": 930, "B": 230, "R": 700, "z": 0, "candidates_b": [ 228, 229, 230, 231, 232 ], "count": 5 } }, { "name": "C1192 interior domain LXX:Adam", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Seth", "pass": true, "actual": { "tradition": "LXX", "name": "Seth", "b": 205, "r": 707, "L": 912, "B": 205, "R": 705, "z": 2, "candidates_b": [ 205, 206, 207 ], "count": 3 }, "expected": { "tradition": "LXX", "name": "Seth", "b": 205, "r": 707, "L": 912, "B": 205, "R": 705, "z": 2, "candidates_b": [ 205, 206, 207 ], "count": 3 } }, { "name": "C1192 interior domain LXX:Seth", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Enosh", "pass": true, "actual": { "tradition": "LXX", "name": "Enosh", "b": 190, "r": 715, "L": 905, "B": 190, "R": 715, "z": 0, "candidates_b": [ 188, 189, 190, 191, 192 ], "count": 5 }, "expected": { "tradition": "LXX", "name": "Enosh", "b": 190, "r": 715, "L": 905, "B": 190, "R": 715, "z": 0, "candidates_b": [ 188, 189, 190, 191, 192 ], "count": 5 } }, { "name": "C1192 interior domain LXX:Enosh", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Kenan", "pass": true, "actual": { "tradition": "LXX", "name": "Kenan", "b": 170, "r": 740, "L": 910, "B": 170, "R": 740, "z": 0, "candidates_b": [ 168, 169, 170, 171, 172 ], "count": 5 }, "expected": { "tradition": "LXX", "name": "Kenan", "b": 170, "r": 740, "L": 910, "B": 170, "R": 740, "z": 0, "candidates_b": [ 168, 169, 170, 171, 172 ], "count": 5 } }, { "name": "C1192 interior domain LXX:Kenan", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Mahalalel", "pass": true, "actual": { "tradition": "LXX", "name": "Mahalalel", "b": 165, "r": 730, "L": 895, "B": 165, "R": 730, "z": 0, "candidates_b": [ 163, 164, 165, 166, 167 ], "count": 5 }, "expected": { "tradition": "LXX", "name": "Mahalalel", "b": 165, "r": 730, "L": 895, "B": 165, "R": 730, "z": 0, "candidates_b": [ 163, 164, 165, 166, 167 ], "count": 5 } }, { "name": "C1192 interior domain LXX:Mahalalel", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Jared", "pass": true, "actual": { "tradition": "LXX", "name": "Jared", "b": 162, "r": 800, "L": 962, "B": 160, "R": 800, "z": 2, "candidates_b": [ 160, 161, 162 ], "count": 3 }, "expected": { "tradition": "LXX", "name": "Jared", "b": 162, "r": 800, "L": 962, "B": 160, "R": 800, "z": 2, "candidates_b": [ 160, 161, 162 ], "count": 3 } }, { "name": "C1192 interior domain LXX:Jared", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Enoch", "pass": true, "actual": { "tradition": "LXX", "name": "Enoch", "b": 165, "r": 200, "L": 365, "B": 165, "R": 200, "z": 0, "candidates_b": [ 163, 164, 165, 166, 167 ], "count": 5 }, "expected": { "tradition": "LXX", "name": "Enoch", "b": 165, "r": 200, "L": 365, "B": 165, "R": 200, "z": 0, "candidates_b": [ 163, 164, 165, 166, 167 ], "count": 5 } }, { "name": "C1192 interior domain LXX:Enoch", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Methuselah", "pass": true, "actual": { "tradition": "LXX", "name": "Methuselah", "b": 187, "r": 782, "L": 969, "B": 185, "R": 780, "z": 4, "candidates_b": [ 187 ], "count": 1 }, "expected": { "tradition": "LXX", "name": "Methuselah", "b": 187, "r": 782, "L": 969, "B": 185, "R": 780, "z": 4, "candidates_b": [ 187 ], "count": 1 } }, { "name": "C1192 interior domain LXX:Methuselah", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Lamech", "pass": true, "actual": { "tradition": "LXX", "name": "Lamech", "b": 182, "r": 571, "L": 753, "B": 180, "R": 570, "z": 3, "candidates_b": [ 181, 182 ], "count": 2 }, "expected": { "tradition": "LXX", "name": "Lamech", "b": 182, "r": 571, "L": 753, "B": 180, "R": 570, "z": 3, "candidates_b": [ 181, 182 ], "count": 2 } }, { "name": "C1192 interior domain LXX:Lamech", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Noah", "pass": true, "actual": { "tradition": "LXX", "name": "Noah", "b": 500, "r": 450, "L": 950, "B": 500, "R": 450, "z": 0, "candidates_b": [ 498, 499, 500, 501, 502 ], "count": 5 }, "expected": { "tradition": "LXX", "name": "Noah", "b": 500, "r": 450, "L": 950, "B": 500, "R": 450, "z": 0, "candidates_b": [ 498, 499, 500, 501, 502 ], "count": 5 } }, { "name": "C1192 interior domain LXX:Noah", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Shem", "pass": true, "actual": { "tradition": "LXX", "name": "Shem", "b": 100, "r": 500, "L": 600, "B": 100, "R": 500, "z": 0, "candidates_b": [ 98, 99, 100, 101, 102 ], "count": 5 }, "expected": { "tradition": "LXX", "name": "Shem", "b": 100, "r": 500, "L": 600, "B": 100, "R": 500, "z": 0, "candidates_b": [ 98, 99, 100, 101, 102 ], "count": 5 } }, { "name": "C1192 interior domain LXX:Shem", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Arphaxad", "pass": true, "actual": { "tradition": "LXX", "name": "Arphaxad", "b": 135, "r": 330, "L": 465, "B": 135, "R": 330, "z": 0, "candidates_b": [ 133, 134, 135, 136, 137 ], "count": 5 }, "expected": { "tradition": "LXX", "name": "Arphaxad", "b": 135, "r": 330, "L": 465, "B": 135, "R": 330, "z": 0, "candidates_b": [ 133, 134, 135, 136, 137 ], "count": 5 } }, { "name": "C1192 interior domain LXX:Arphaxad", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Cainan2", "pass": true, "actual": { "tradition": "LXX", "name": "Cainan2", "b": 130, "r": 330, "L": 460, "B": 130, "R": 330, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 }, "expected": { "tradition": "LXX", "name": "Cainan2", "b": 130, "r": 330, "L": 460, "B": 130, "R": 330, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 } }, { "name": "C1192 interior domain LXX:Cainan2", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Shelah", "pass": true, "actual": { "tradition": "LXX", "name": "Shelah", "b": 130, "r": 330, "L": 460, "B": 130, "R": 330, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 }, "expected": { "tradition": "LXX", "name": "Shelah", "b": 130, "r": 330, "L": 460, "B": 130, "R": 330, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 } }, { "name": "C1192 interior domain LXX:Shelah", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Eber", "pass": true, "actual": { "tradition": "LXX", "name": "Eber", "b": 134, "r": 370, "L": 504, "B": 135, "R": 370, "z": -1, "candidates_b": [ 133, 134, 135, 136 ], "count": 4 }, "expected": { "tradition": "LXX", "name": "Eber", "b": 134, "r": 370, "L": 504, "B": 135, "R": 370, "z": -1, "candidates_b": [ 133, 134, 135, 136 ], "count": 4 } }, { "name": "C1192 interior domain LXX:Eber", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Peleg", "pass": true, "actual": { "tradition": "LXX", "name": "Peleg", "b": 130, "r": 209, "L": 339, "B": 130, "R": 210, "z": -1, "candidates_b": [ 128, 129, 130, 131 ], "count": 4 }, "expected": { "tradition": "LXX", "name": "Peleg", "b": 130, "r": 209, "L": 339, "B": 130, "R": 210, "z": -1, "candidates_b": [ 128, 129, 130, 131 ], "count": 4 } }, { "name": "C1192 interior domain LXX:Peleg", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Reu", "pass": true, "actual": { "tradition": "LXX", "name": "Reu", "b": 132, "r": 207, "L": 339, "B": 130, "R": 205, "z": 4, "candidates_b": [ 132 ], "count": 1 }, "expected": { "tradition": "LXX", "name": "Reu", "b": 132, "r": 207, "L": 339, "B": 130, "R": 205, "z": 4, "candidates_b": [ 132 ], "count": 1 } }, { "name": "C1192 interior domain LXX:Reu", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Serug", "pass": true, "actual": { "tradition": "LXX", "name": "Serug", "b": 130, "r": 200, "L": 330, "B": 130, "R": 200, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 }, "expected": { "tradition": "LXX", "name": "Serug", "b": 130, "r": 200, "L": 330, "B": 130, "R": 200, "z": 0, "candidates_b": [ 128, 129, 130, 131, 132 ], "count": 5 } }, { "name": "C1192 interior domain LXX:Serug", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Nahor", "pass": true, "actual": { "tradition": "LXX", "name": "Nahor", "b": 79, "r": 129, "L": 208, "B": 80, "R": 130, "z": -2, "candidates_b": [ 78, 79, 80 ], "count": 3 }, "expected": { "tradition": "LXX", "name": "Nahor", "b": 79, "r": 129, "L": 208, "B": 80, "R": 130, "z": -2, "candidates_b": [ 78, 79, 80 ], "count": 3 } }, { "name": "C1192 interior domain LXX:Nahor", "pass": true, "actual": true, "expected": true }, { "name": "C1192 full fibre LXX:Terah", "pass": true, "actual": { "tradition": "LXX", "name": "Terah", "b": 70, "r": 135, "L": 205, "B": 70, "R": 135, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 }, "expected": { "tradition": "LXX", "name": "Terah", "b": 70, "r": 135, "L": 205, "B": 70, "R": 135, "z": 0, "candidates_b": [ 68, 69, 70, 71, 72 ], "count": 5 } }, { "name": "C1192 interior domain LXX:Terah", "pass": true, "actual": true, "expected": true }, { "name": "C1192 complete ordinary domain", "pass": true, "actual": 55, "expected": 55 }, { "name": "C1192 exclusions", "pass": true, "actual": [ "SP:Jared", "SP:Methuselah", "SP:Lamech" ], "expected": [ "SP:Jared", "SP:Methuselah", "SP:Lamech" ] }, { "name": "C1192 stored exclusions", "pass": true, "actual": [ "SP:Jared", "SP:Methuselah", "SP:Lamech" ], "expected": [ "SP:Jared", "SP:Methuselah", "SP:Lamech" ] }, { "name": "C1192 singletons", "pass": true, "actual": [ "MT:Methuselah", "MT:Reu", "SP:Reu", "LXX:Methuselah", "LXX:Reu" ], "expected": [ "MT:Methuselah", "MT:Reu", "SP:Reu", "LXX:Methuselah", "LXX:Reu" ] }, { "name": "C1192 saved singletons", "pass": true, "actual": [ "MT:Methuselah", "MT:Reu", "SP:Reu", "LXX:Methuselah", "LXX:Reu" ], "expected": [ "MT:Methuselah", "MT:Reu", "SP:Reu", "LXX:Methuselah", "LXX:Reu" ] }, { "name": "C1193 B/L observation MT:Methuselah", "pass": true, "actual": [ 183, 184, 185, 186, 187 ], "expected": [ 183, 184, 185, 186, 187 ] }, { "name": "C1193 R/L observation MT:Methuselah", "pass": true, "actual": [ 187, 188, 189, 190, 191 ], "expected": [ 187, 188, 189, 190, 191 ] }, { "name": "C1193 intersection MT:Methuselah", "pass": true, "actual": [ 187 ], "expected": [ 187 ] }, { "name": "C1193 B/L observation MT:Reu", "pass": true, "actual": [ 28, 29, 30, 31, 32 ], "expected": [ 28, 29, 30, 31, 32 ] }, { "name": "C1193 R/L observation MT:Reu", "pass": true, "actual": [ 32, 33, 34, 35, 36 ], "expected": [ 32, 33, 34, 35, 36 ] }, { "name": "C1193 intersection MT:Reu", "pass": true, "actual": [ 32 ], "expected": [ 32 ] }, { "name": "C1193 B/L observation SP:Reu", "pass": true, "actual": [ 128, 129, 130, 131, 132 ], "expected": [ 128, 129, 130, 131, 132 ] }, { "name": "C1193 R/L observation SP:Reu", "pass": true, "actual": [ 132, 133, 134, 135, 136 ], "expected": [ 132, 133, 134, 135, 136 ] }, { "name": "C1193 intersection SP:Reu", "pass": true, "actual": [ 132 ], "expected": [ 132 ] }, { "name": "C1193 B/L observation LXX:Methuselah", "pass": true, "actual": [ 183, 184, 185, 186, 187 ], "expected": [ 183, 184, 185, 186, 187 ] }, { "name": "C1193 R/L observation LXX:Methuselah", "pass": true, "actual": [ 187, 188, 189, 190, 191 ], "expected": [ 187, 188, 189, 190, 191 ] }, { "name": "C1193 intersection LXX:Methuselah", "pass": true, "actual": [ 187 ], "expected": [ 187 ] }, { "name": "C1193 B/L observation LXX:Reu", "pass": true, "actual": [ 128, 129, 130, 131, 132 ], "expected": [ 128, 129, 130, 131, 132 ] }, { "name": "C1193 R/L observation LXX:Reu", "pass": true, "actual": [ 132, 133, 134, 135, 136 ], "expected": [ 132, 133, 134, 135, 136 ] }, { "name": "C1193 intersection LXX:Reu", "pass": true, "actual": [ 132 ], "expected": [ 132 ] }, { "name": "C1194 Lamech possibilities", "pass": true, "actual": [ [ 181, 572 ], [ 182, 571 ] ], "expected": [ [ 181, 572 ], [ 182, 571 ] ] }, { "name": "C1194 saved possibilities", "pass": true, "actual": [ [ 181, 572 ], [ 182, 571 ] ], "expected": [ [ 181, 572 ], [ 182, 571 ] ] }, { "name": "C1195 histogram", "pass": true, "actual": { "1": 5, "2": 1, "3": 13, "4": 6, "5": 30 }, "expected": { "5": 30, "3": 13, "1": 5, "4": 6, "2": 1 } }, { "name": "C1195 formal products", "pass": true, "actual": { "MT": 22781250000, "SP": 2531250000, "LXX": 210937500000 }, "expected": { "MT": 22781250000, "SP": 2531250000, "LXX": 210937500000 } }, { "name": "C1195 total formal product", "pass": true, "actual": 12163719177246093750000000000000, "expected": 12163719177246093750000000000000 }, { "name": "C1195 formal-only qualification", "pass": true, "actual": true, "expected": true }, { "name": "C1196 equal-remainder fibre MT", "pass": true, "actual": [ [ 33, 28 ], [ 34, 29 ], [ 35, 30 ] ], "expected": [ [ 33, 28 ], [ 34, 29 ], [ 35, 30 ] ] }, { "name": "C1196 exact count MT", "pass": true, "actual": [ 9, 3 ], "expected": [ 9, 3 ] }, { "name": "C1196 fixed five-year difference MT", "pass": true, "actual": true, "expected": true }, { "name": "C1196 equal-remainder fibre SP", "pass": true, "actual": [ [ 133, 128 ], [ 134, 129 ], [ 135, 130 ] ], "expected": [ [ 133, 128 ], [ 134, 129 ], [ 135, 130 ] ] }, { "name": "C1196 exact count SP", "pass": true, "actual": [ 9, 3 ], "expected": [ 9, 3 ] }, { "name": "C1196 fixed five-year difference SP", "pass": true, "actual": true, "expected": true }, { "name": "C1196 equal-remainder fibre LXX", "pass": true, "actual": [ [ 133, 128 ], [ 134, 129 ], [ 135, 130 ], [ 136, 131 ], [ 137, 132 ] ], "expected": [ [ 133, 128 ], [ 134, 129 ], [ 135, 130 ], [ 136, 131 ], [ 137, 132 ] ] }, { "name": "C1196 exact count LXX", "pass": true, "actual": [ 25, 5 ], "expected": [ 25, 5 ] }, { "name": "C1196 fixed five-year difference LXX", "pass": true, "actual": true, "expected": true }, { "name": "C1197 entire conditioned fibre", "pass": true, "actual": [ 28, 29, 30, 31 ], "expected": [ 28, 29, 30, 31 ] }, { "name": "C1197 stored fibre", "pass": true, "actual": [ 28, 29, 30, 31 ], "expected": [ 28, 29, 30, 31 ] }, { "name": "C1197 MT Reu", "pass": true, "actual": [ 32 ], "expected": [ 32 ] }, { "name": "C1197 equal-age premise recorded", "pass": true, "actual": true, "expected": true }, { "name": "C1198 source residual and exact parts MT:Adam", "pass": true, "actual": [ 0, 130, 800 ], "expected": [ 0, 130, 800 ] }, { "name": "C1198 source residual and exact parts MT:Seth", "pass": true, "actual": [ 0, 105, 807 ], "expected": [ 0, 105, 807 ] }, { "name": "C1198 source residual and exact parts MT:Enosh", "pass": true, "actual": [ 0, 90, 815 ], "expected": [ 0, 90, 815 ] }, { "name": "C1198 source residual and exact parts MT:Kenan", "pass": true, "actual": [ 0, 70, 840 ], "expected": [ 0, 70, 840 ] }, { "name": "C1198 source residual and exact parts MT:Mahalalel", "pass": true, "actual": [ 0, 65, 830 ], "expected": [ 0, 65, 830 ] }, { "name": "C1198 source residual and exact parts MT:Jared", "pass": true, "actual": [ 2, 162, 800 ], "expected": [ 2, 162, 800 ] }, { "name": "C1198 source residual and exact parts MT:Enoch", "pass": true, "actual": [ 0, 65, 300 ], "expected": [ 0, 65, 300 ] }, { "name": "C1198 source residual and exact parts MT:Methuselah", "pass": true, "actual": [ 2, 187, 782 ], "expected": [ 2, 187, 782 ] }, { "name": "C1198 source residual and exact parts MT:Lamech", "pass": true, "actual": [ 2, 182, 595 ], "expected": [ 2, 182, 595 ] }, { "name": "C1198 source residual and exact parts MT:Noah", "pass": true, "actual": [ 0, 500, 450 ], "expected": [ 0, 500, 450 ] }, { "name": "C1198 source residual and exact parts MT:Shem", "pass": true, "actual": [ 0, 100, 500 ], "expected": [ 0, 100, 500 ] }, { "name": "C1198 source residual and exact parts MT:Arphaxad", "pass": true, "actual": [ 0, 35, 403 ], "expected": [ 0, 35, 403 ] }, { "name": "C1198 source residual and exact parts MT:Shelah", "pass": true, "actual": [ 0, 30, 403 ], "expected": [ 0, 30, 403 ] }, { "name": "C1198 source residual and exact parts MT:Eber", "pass": true, "actual": [ -1, 34, 430 ], "expected": [ -1, 34, 430 ] }, { "name": "C1198 source residual and exact parts MT:Peleg", "pass": true, "actual": [ 0, 30, 209 ], "expected": [ 0, 30, 209 ] }, { "name": "C1198 source residual and exact parts MT:Reu", "pass": true, "actual": [ 2, 32, 207 ], "expected": [ 2, 32, 207 ] }, { "name": "C1198 source residual and exact parts MT:Serug", "pass": true, "actual": [ 0, 30, 200 ], "expected": [ 0, 30, 200 ] }, { "name": "C1198 source residual and exact parts MT:Nahor", "pass": true, "actual": [ -1, 29, 119 ], "expected": [ -1, 29, 119 ] }, { "name": "C1198 source residual and exact parts MT:Terah", "pass": true, "actual": [ 0, 70, 135 ], "expected": [ 0, 70, 135 ] }, { "name": "C1198 source residual and exact parts SP:Adam", "pass": true, "actual": [ 0, 130, 800 ], "expected": [ 0, 130, 800 ] }, { "name": "C1198 source residual and exact parts SP:Seth", "pass": true, "actual": [ 0, 105, 807 ], "expected": [ 0, 105, 807 ] }, { "name": "C1198 source residual and exact parts SP:Enosh", "pass": true, "actual": [ 0, 90, 815 ], "expected": [ 0, 90, 815 ] }, { "name": "C1198 source residual and exact parts SP:Kenan", "pass": true, "actual": [ 0, 70, 840 ], "expected": [ 0, 70, 840 ] }, { "name": "C1198 source residual and exact parts SP:Mahalalel", "pass": true, "actual": [ 0, 65, 830 ], "expected": [ 0, 65, 830 ] }, { "name": "C1198 source residual and exact parts SP:Enoch", "pass": true, "actual": [ 0, 65, 300 ], "expected": [ 0, 65, 300 ] }, { "name": "C1198 source residual and exact parts SP:Noah", "pass": true, "actual": [ 0, 500, 450 ], "expected": [ 0, 500, 450 ] }, { "name": "C1198 source residual and exact parts SP:Shem", "pass": true, "actual": [ 0, 100, 500 ], "expected": [ 0, 100, 500 ] }, { "name": "C1198 source residual and exact parts SP:Arphaxad", "pass": true, "actual": [ 0, 135, 303 ], "expected": [ 0, 135, 303 ] }, { "name": "C1198 source residual and exact parts SP:Shelah", "pass": true, "actual": [ 0, 130, 303 ], "expected": [ 0, 130, 303 ] }, { "name": "C1198 source residual and exact parts SP:Eber", "pass": true, "actual": [ -1, 134, 270 ], "expected": [ -1, 134, 270 ] }, { "name": "C1198 source residual and exact parts SP:Peleg", "pass": true, "actual": [ 0, 130, 109 ], "expected": [ 0, 130, 109 ] }, { "name": "C1198 source residual and exact parts SP:Reu", "pass": true, "actual": [ 2, 132, 107 ], "expected": [ 2, 132, 107 ] }, { "name": "C1198 source residual and exact parts SP:Serug", "pass": true, "actual": [ 0, 130, 100 ], "expected": [ 0, 130, 100 ] }, { "name": "C1198 source residual and exact parts SP:Nahor", "pass": true, "actual": [ -1, 79, 69 ], "expected": [ -1, 79, 69 ] }, { "name": "C1198 source residual and exact parts SP:Terah", "pass": true, "actual": [ 0, 70, 75 ], "expected": [ 0, 70, 75 ] }, { "name": "C1198 source residual and exact parts LXX:Adam", "pass": true, "actual": [ 0, 230, 700 ], "expected": [ 0, 230, 700 ] }, { "name": "C1198 source residual and exact parts LXX:Seth", "pass": true, "actual": [ 0, 205, 707 ], "expected": [ 0, 205, 707 ] }, { "name": "C1198 source residual and exact parts LXX:Enosh", "pass": true, "actual": [ 0, 190, 715 ], "expected": [ 0, 190, 715 ] }, { "name": "C1198 source residual and exact parts LXX:Kenan", "pass": true, "actual": [ 0, 170, 740 ], "expected": [ 0, 170, 740 ] }, { "name": "C1198 source residual and exact parts LXX:Mahalalel", "pass": true, "actual": [ 0, 165, 730 ], "expected": [ 0, 165, 730 ] }, { "name": "C1198 source residual and exact parts LXX:Jared", "pass": true, "actual": [ 2, 162, 800 ], "expected": [ 2, 162, 800 ] }, { "name": "C1198 source residual and exact parts LXX:Enoch", "pass": true, "actual": [ 0, 165, 200 ], "expected": [ 0, 165, 200 ] }, { "name": "C1198 source residual and exact parts LXX:Methuselah", "pass": true, "actual": [ 2, 187, 782 ], "expected": [ 2, 187, 782 ] }, { "name": "C1198 source residual and exact parts LXX:Lamech", "pass": true, "actual": [ 2, 182, 571 ], "expected": [ 2, 182, 571 ] }, { "name": "C1198 source residual and exact parts LXX:Noah", "pass": true, "actual": [ 0, 500, 450 ], "expected": [ 0, 500, 450 ] }, { "name": "C1198 source residual and exact parts LXX:Shem", "pass": true, "actual": [ 0, 100, 500 ], "expected": [ 0, 100, 500 ] }, { "name": "C1198 source residual and exact parts LXX:Arphaxad", "pass": true, "actual": [ 0, 135, 330 ], "expected": [ 0, 135, 330 ] }, { "name": "C1198 source residual and exact parts LXX:Cainan2", "pass": true, "actual": [ 0, 130, 330 ], "expected": [ 0, 130, 330 ] }, { "name": "C1198 source residual and exact parts LXX:Shelah", "pass": true, "actual": [ 0, 130, 330 ], "expected": [ 0, 130, 330 ] }, { "name": "C1198 source residual and exact parts LXX:Eber", "pass": true, "actual": [ -1, 134, 370 ], "expected": [ -1, 134, 370 ] }, { "name": "C1198 source residual and exact parts LXX:Peleg", "pass": true, "actual": [ 0, 130, 209 ], "expected": [ 0, 130, 209 ] }, { "name": "C1198 source residual and exact parts LXX:Reu", "pass": true, "actual": [ 2, 132, 207 ], "expected": [ 2, 132, 207 ] }, { "name": "C1198 source residual and exact parts LXX:Serug", "pass": true, "actual": [ 0, 130, 200 ], "expected": [ 0, 130, 200 ] }, { "name": "C1198 source residual and exact parts LXX:Nahor", "pass": true, "actual": [ -1, 79, 129 ], "expected": [ -1, 79, 129 ] }, { "name": "C1198 source residual and exact parts LXX:Terah", "pass": true, "actual": [ 0, 70, 135 ], "expected": [ 0, 70, 135 ] }, { "name": "C1199 carry MT:Adam", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Adam", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Seth", "pass": true, "actual": [ 2, 0 ], "expected": [ 2, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Seth", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Enosh", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Enosh", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Kenan", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Kenan", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Mahalalel", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Mahalalel", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Jared", "pass": true, "actual": [ 2, 0 ], "expected": [ 2, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Jared", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Enoch", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Enoch", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Methuselah", "pass": true, "actual": [ 4, 5 ], "expected": [ 4, 5 ] }, { "name": "C1199 signed auxiliary identity MT:Methuselah", "pass": true, "actual": 5, "expected": 5 }, { "name": "C1199 carry MT:Lamech", "pass": true, "actual": [ 2, 0 ], "expected": [ 2, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Lamech", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Noah", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Noah", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Shem", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Shem", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Arphaxad", "pass": true, "actual": [ -2, 0 ], "expected": [ -2, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Arphaxad", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Shelah", "pass": true, "actual": [ -2, 0 ], "expected": [ -2, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Shelah", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Eber", "pass": true, "actual": [ -1, 0 ], "expected": [ -1, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Eber", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Peleg", "pass": true, "actual": [ -1, 0 ], "expected": [ -1, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Peleg", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Reu", "pass": true, "actual": [ 4, 5 ], "expected": [ 4, 5 ] }, { "name": "C1199 signed auxiliary identity MT:Reu", "pass": true, "actual": 5, "expected": 5 }, { "name": "C1199 carry MT:Serug", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Serug", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Nahor", "pass": true, "actual": [ -2, 0 ], "expected": [ -2, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Nahor", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry MT:Terah", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity MT:Terah", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Adam", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Adam", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Seth", "pass": true, "actual": [ 2, 0 ], "expected": [ 2, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Seth", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Enosh", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Enosh", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Kenan", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Kenan", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Mahalalel", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Mahalalel", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Enoch", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Enoch", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Noah", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Noah", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Shem", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Shem", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Arphaxad", "pass": true, "actual": [ -2, 0 ], "expected": [ -2, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Arphaxad", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Shelah", "pass": true, "actual": [ -2, 0 ], "expected": [ -2, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Shelah", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Eber", "pass": true, "actual": [ -1, 0 ], "expected": [ -1, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Eber", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Peleg", "pass": true, "actual": [ -1, 0 ], "expected": [ -1, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Peleg", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Reu", "pass": true, "actual": [ 4, 5 ], "expected": [ 4, 5 ] }, { "name": "C1199 signed auxiliary identity SP:Reu", "pass": true, "actual": 5, "expected": 5 }, { "name": "C1199 carry SP:Serug", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Serug", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Nahor", "pass": true, "actual": [ -2, 0 ], "expected": [ -2, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Nahor", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry SP:Terah", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity SP:Terah", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Adam", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Adam", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Seth", "pass": true, "actual": [ 2, 0 ], "expected": [ 2, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Seth", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Enosh", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Enosh", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Kenan", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Kenan", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Mahalalel", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Mahalalel", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Jared", "pass": true, "actual": [ 2, 0 ], "expected": [ 2, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Jared", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Enoch", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Enoch", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Methuselah", "pass": true, "actual": [ 4, 5 ], "expected": [ 4, 5 ] }, { "name": "C1199 signed auxiliary identity LXX:Methuselah", "pass": true, "actual": 5, "expected": 5 }, { "name": "C1199 carry LXX:Lamech", "pass": true, "actual": [ 3, 5 ], "expected": [ 3, 5 ] }, { "name": "C1199 signed auxiliary identity LXX:Lamech", "pass": true, "actual": 5, "expected": 5 }, { "name": "C1199 carry LXX:Noah", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Noah", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Shem", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Shem", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Arphaxad", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Arphaxad", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Cainan2", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Cainan2", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Shelah", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Shelah", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Eber", "pass": true, "actual": [ -1, 0 ], "expected": [ -1, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Eber", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Peleg", "pass": true, "actual": [ -1, 0 ], "expected": [ -1, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Peleg", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Reu", "pass": true, "actual": [ 4, 5 ], "expected": [ 4, 5 ] }, { "name": "C1199 signed auxiliary identity LXX:Reu", "pass": true, "actual": 5, "expected": 5 }, { "name": "C1199 carry LXX:Serug", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Serug", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Nahor", "pass": true, "actual": [ -2, 0 ], "expected": [ -2, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Nahor", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 carry LXX:Terah", "pass": true, "actual": [ 0, 0 ], "expected": [ 0, 0 ] }, { "name": "C1199 signed auxiliary identity LXX:Terah", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 branch -4", "pass": true, "actual": -5, "expected": -5 }, { "name": "C1199 branch -3", "pass": true, "actual": -5, "expected": -5 }, { "name": "C1199 branch -2", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 branch -1", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 branch 0", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 branch 1", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 branch 2", "pass": true, "actual": 0, "expected": 0 }, { "name": "C1199 branch 3", "pass": true, "actual": 5, "expected": 5 }, { "name": "C1199 branch 4", "pass": true, "actual": 5, "expected": 5 }, { "name": "C1200 carry fibres", "pass": true, "actual": { "-5": 3, "0": 19, "5": 3 }, "expected": { "-5": 3, "0": 19, "5": 3 } }, { "name": "C1200 fibre counts", "pass": true, "actual": { "-5": 3, "0": 19, "5": 3 }, "expected": { "-5": 3, "0": 19, "5": 3 } }, { "name": "C1189 conditional and origin qualifications", "pass": true, "actual": true, "expected": true }, { "name": "C1201 source dependency retained", "pass": true, "actual": true, "expected": true }, { "name": "C1201 ordinary SP exclusion retained", "pass": true, "actual": true, "expected": true }, { "name": "C1201 main LXX753 retained", "pass": true, "actual": true, "expected": true } ] }