{
"status": "PASS",
"require_100": true,
"journal": {
"actions": 100,
"first": 1483,
"last": 1582,
"parent_record_sha256": "63a2c1e00d6bd151dbc8c279f358e52735901cb21b6bdf2f97b533ad0b2d0623",
"last_record_sha256": "b7addc59554061e63897a05b62c4aa61bb1479c6be540d4ebb1714b3c626debe",
"journal_file_sha256": "7241bc8dee3ba293341214bcb88dc4f80832f7d0207eb9e07f9364c06d3847c8"
},
"grouped_check_count": 1037,
"failed_check_count": 0,
"models_checked": [
"12600_common_refinement.json",
"LXX_completion_join.json",
"SP_Shem_path.json",
"SP_refinement_scope.json",
"Shem_whole_edge.json",
"babylonian_inputs.json",
"babylonian_paths.json",
"cumulative_source_nodes.json",
"exile_key.json",
"exodus_destruction_path.json",
"fixed_total_cuts.json",
"interval_9900.json",
"lifespan_split_law.json",
"lower_1550_law.json",
"merge_defect_grammar.json",
"named_partition_key.json",
"partition_spec.json",
"partitions_LXX.json",
"partitions_MT.json",
"partitions_SP.json",
"prefix_source_rows.json",
"refinement_law.json",
"refinement_scope.json",
"restoration70_grid.json",
"source_bindings.json",
"stage_rectangle.json",
"three_MSS_junction.json",
"two_70_operations.json",
"upper_1550_law.json"
],
"narrative_models": [
"babylonian_kernel.json",
"claim_ledger_first50.json",
"claim_ledger_second50.json",
"final_kernel.json"
],
"unverified_models": [],
"not_yet_present": [],
"Babylonian_verifier": {
"status": "PASS",
"grouped_check_count": 76,
"models_checked": [
"babylonian_inputs.json",
"babylonian_paths.json",
"stage_rectangle.json",
"interval_9900.json",
"exile_key.json",
"fixed_total_cuts.json",
"two_70_operations.json",
"SP_Shem_path.json",
"Shem_whole_edge.json",
"three_MSS_junction.json",
"named_partition_key.json",
"exodus_destruction_path.json",
"restoration70_grid.json",
"12600_common_refinement.json",
"source_bindings.json"
],
"additional_model_files_not_checked": [
"LXX_completion_join.json",
"SP_refinement_scope.json",
"claim_ledger_second50.json",
"cumulative_source_nodes.json",
"final_kernel.json",
"lifespan_split_law.json",
"lower_1550_law.json",
"merge_defect_grammar.json",
"partition_spec.json",
"partitions_LXX.json",
"partitions_MT.json",
"partitions_SP.json",
"prefix_source_rows.json",
"refinement_law.json",
"refinement_scope.json",
"upper_1550_law.json"
]
},
"method": "Portable source SHA bindings, canonical linked-journal hashes, independent integer divmod reversal and exact Fraction arithmetic. Counts are verification groups, not discoveries.",
"checks": [
{
"name": "source remains inside evidence: C1482_parent_record.json",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: C1482_parent_record.json",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: C1482_parent_record.json",
"actual": [
1379,
"198978b3ccb4f0d320f33172e1592e575de2eaedc8412f19f9514e944509a080"
],
"expected": [
1379,
"198978b3ccb4f0d320f33172e1592e575de2eaedc8412f19f9514e944509a080"
],
"pass": true
},
{
"name": "source remains inside evidence: Comparative_Study.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: Comparative_Study.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: Comparative_Study.md",
"actual": [
32805,
"3083e334c2834b5b53aa2acab6aa957c1e21bd28ccb404eb91ec2158d859acdb"
],
"expected": [
32805,
"3083e334c2834b5b53aa2acab6aa957c1e21bd28ccb404eb91ec2158d859acdb"
],
"pass": true
},
{
"name": "source remains inside evidence: File17.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: File17.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: File17.md",
"actual": [
103967,
"0f5ab858ab7f6e1ff213ed85f1e9f3cec19263e8d49ee4eeb45d81e5990e494e"
],
"expected": [
103967,
"0f5ab858ab7f6e1ff213ed85f1e9f3cec19263e8d49ee4eeb45d81e5990e494e"
],
"pass": true
},
{
"name": "source remains inside evidence: File18.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: File18.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: File18.md",
"actual": [
221777,
"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
],
"expected": [
221777,
"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
],
"pass": true
},
{
"name": "source remains inside evidence: File22.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: File22.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: File22.md",
"actual": [
121394,
"1c77fd504afbf59b20675980f1122b4f5618a1b8f389132f018d80f65f339894"
],
"expected": [
121394,
"1c77fd504afbf59b20675980f1122b4f5618a1b8f389132f018d80f65f339894"
],
"pass": true
},
{
"name": "source remains inside evidence: File29.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: File29.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: File29.md",
"actual": [
101073,
"0066d07fd7bf2db4faaf79368833880e98b1900c52666903892673718f131421"
],
"expected": [
101073,
"0066d07fd7bf2db4faaf79368833880e98b1900c52666903892673718f131421"
],
"pass": true
},
{
"name": "source remains inside evidence: File51a.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: File51a.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: File51a.md",
"actual": [
196972,
"d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c"
],
"expected": [
196972,
"d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c"
],
"pass": true
},
{
"name": "source remains inside evidence: File52a_MT_secondary_cumulative_excerpt.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: File52a_MT_secondary_cumulative_excerpt.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: File52a_MT_secondary_cumulative_excerpt.md",
"actual": [
1557,
"b504093aac4d1ec022641265516985361921f177728cf90196d0c8160a3fc4a3"
],
"expected": [
1557,
"b504093aac4d1ec022641265516985361921f177728cf90196d0c8160a3fc4a3"
],
"pass": true
},
{
"name": "source remains inside evidence: File52c_latest.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: File52c_latest.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: File52c_latest.md",
"actual": [
253860,
"a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530"
],
"expected": [
253860,
"a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530"
],
"pass": true
},
{
"name": "source remains inside evidence: File53.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: File53.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: File53.md",
"actual": [
74403,
"9f0e41022cab59a43c090c98224e55fe45e622a15e094dacad6721bea0aee8f3"
],
"expected": [
74403,
"9f0e41022cab59a43c090c98224e55fe45e622a15e094dacad6721bea0aee8f3"
],
"pass": true
},
{
"name": "source remains inside evidence: File60.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: File60.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: File60.md",
"actual": [
94902,
"12a48221b7fdcdcd4ce1b9e169ced8456f291b85f1b453ff3d33de210c64c165"
],
"expected": [
94902,
"12a48221b7fdcdcd4ce1b9e169ced8456f291b85f1b453ff3d33de210c64c165"
],
"pass": true
},
{
"name": "source remains inside evidence: File63.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: File63.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: File63.md",
"actual": [
179378,
"180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35"
],
"expected": [
179378,
"180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35"
],
"pass": true
},
{
"name": "source remains inside evidence: Moses_LXX_native_complete_path.json",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: Moses_LXX_native_complete_path.json",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: Moses_LXX_native_complete_path.json",
"actual": [
3839,
"349e15040eb75bcb325bb2c83865a847266e0b60a265da53410dc040515fd403"
],
"expected": [
3839,
"349e15040eb75bcb325bb2c83865a847266e0b60a265da53410dc040515fd403"
],
"pass": true
},
{
"name": "source remains inside evidence: Reader_before.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: Reader_before.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: Reader_before.md",
"actual": [
64192,
"4d136569b51ff5d76d3141ca0b7e979256d49e67f1995e9b771b95e4334c1104"
],
"expected": [
64192,
"4d136569b51ff5d76d3141ca0b7e979256d49e67f1995e9b771b95e4334c1104"
],
"pass": true
},
{
"name": "source remains inside evidence: Strategy.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source exists: Strategy.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "source bound bytes and SHA: Strategy.md",
"actual": [
29743,
"9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476"
],
"expected": [
29743,
"9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476"
],
"pass": true
},
{
"name": "parent is completed C1482",
"actual": 1482,
"expected": 1482,
"pass": true
},
{
"name": "parent canonical record hash",
"actual": "63a2c1e00d6bd151dbc8c279f358e52735901cb21b6bdf2f97b533ad0b2d0623",
"expected": "63a2c1e00d6bd151dbc8c279f358e52735901cb21b6bdf2f97b533ad0b2d0623",
"pass": true
},
{
"name": "journal is ordered list",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "journal count bounds",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "one hundred completed actions",
"actual": 100,
"expected": 100,
"pass": true
},
{
"name": "no pending action at close",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1483 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1483 sequence",
"actual": 1483,
"expected": 1483,
"pass": true
},
{
"name": "C1483 predecessor",
"actual": "63a2c1e00d6bd151dbc8c279f358e52735901cb21b6bdf2f97b533ad0b2d0623",
"expected": "63a2c1e00d6bd151dbc8c279f358e52735901cb21b6bdf2f97b533ad0b2d0623",
"pass": true
},
{
"name": "C1483 canonical record hash",
"actual": "ffa763b836a78ffb40749320b869a5672c06d879a9b263dbf0aab742b14d3534",
"expected": "ffa763b836a78ffb40749320b869a5672c06d879a9b263dbf0aab742b14d3534",
"pass": true
},
{
"name": "C1483 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1483 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1483 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1484 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1484 sequence",
"actual": 1484,
"expected": 1484,
"pass": true
},
{
"name": "C1484 predecessor",
"actual": "ffa763b836a78ffb40749320b869a5672c06d879a9b263dbf0aab742b14d3534",
"expected": "ffa763b836a78ffb40749320b869a5672c06d879a9b263dbf0aab742b14d3534",
"pass": true
},
{
"name": "C1484 canonical record hash",
"actual": "86bf01e8a75de8e7e787b17a43347b3c913bd979d893fee1b3835cd9c1966544",
"expected": "86bf01e8a75de8e7e787b17a43347b3c913bd979d893fee1b3835cd9c1966544",
"pass": true
},
{
"name": "C1484 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1484 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1484 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1484 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1485 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1485 sequence",
"actual": 1485,
"expected": 1485,
"pass": true
},
{
"name": "C1485 predecessor",
"actual": "86bf01e8a75de8e7e787b17a43347b3c913bd979d893fee1b3835cd9c1966544",
"expected": "86bf01e8a75de8e7e787b17a43347b3c913bd979d893fee1b3835cd9c1966544",
"pass": true
},
{
"name": "C1485 canonical record hash",
"actual": "ba73cbbb5b878a94d4dd4d24998bd2095552a3f275603c6b19861899c1fbb7c1",
"expected": "ba73cbbb5b878a94d4dd4d24998bd2095552a3f275603c6b19861899c1fbb7c1",
"pass": true
},
{
"name": "C1485 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1485 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1485 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1485 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1486 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1486 sequence",
"actual": 1486,
"expected": 1486,
"pass": true
},
{
"name": "C1486 predecessor",
"actual": "ba73cbbb5b878a94d4dd4d24998bd2095552a3f275603c6b19861899c1fbb7c1",
"expected": "ba73cbbb5b878a94d4dd4d24998bd2095552a3f275603c6b19861899c1fbb7c1",
"pass": true
},
{
"name": "C1486 canonical record hash",
"actual": "fc511b3c1f369ee465de3ee326d879f54213bee9e15c9ad2f05df007dff7a82e",
"expected": "fc511b3c1f369ee465de3ee326d879f54213bee9e15c9ad2f05df007dff7a82e",
"pass": true
},
{
"name": "C1486 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1486 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1486 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1486 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1487 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1487 sequence",
"actual": 1487,
"expected": 1487,
"pass": true
},
{
"name": "C1487 predecessor",
"actual": "fc511b3c1f369ee465de3ee326d879f54213bee9e15c9ad2f05df007dff7a82e",
"expected": "fc511b3c1f369ee465de3ee326d879f54213bee9e15c9ad2f05df007dff7a82e",
"pass": true
},
{
"name": "C1487 canonical record hash",
"actual": "adf56cff3b3ce5ff65b0814141d42bdbd681d32fda7fe4d9982d0cd4617b931f",
"expected": "adf56cff3b3ce5ff65b0814141d42bdbd681d32fda7fe4d9982d0cd4617b931f",
"pass": true
},
{
"name": "C1487 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1487 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1487 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1487 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1488 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1488 sequence",
"actual": 1488,
"expected": 1488,
"pass": true
},
{
"name": "C1488 predecessor",
"actual": "adf56cff3b3ce5ff65b0814141d42bdbd681d32fda7fe4d9982d0cd4617b931f",
"expected": "adf56cff3b3ce5ff65b0814141d42bdbd681d32fda7fe4d9982d0cd4617b931f",
"pass": true
},
{
"name": "C1488 canonical record hash",
"actual": "5e8c8e62315819776b2d7bd5d38dd577eb79189d737f82cd2871a12eaad368a8",
"expected": "5e8c8e62315819776b2d7bd5d38dd577eb79189d737f82cd2871a12eaad368a8",
"pass": true
},
{
"name": "C1488 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1488 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1488 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1488 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1489 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1489 sequence",
"actual": 1489,
"expected": 1489,
"pass": true
},
{
"name": "C1489 predecessor",
"actual": "5e8c8e62315819776b2d7bd5d38dd577eb79189d737f82cd2871a12eaad368a8",
"expected": "5e8c8e62315819776b2d7bd5d38dd577eb79189d737f82cd2871a12eaad368a8",
"pass": true
},
{
"name": "C1489 canonical record hash",
"actual": "4493998fdda34983fac42d04dcacf91ffee5ade6c69167668662915cf6c39b67",
"expected": "4493998fdda34983fac42d04dcacf91ffee5ade6c69167668662915cf6c39b67",
"pass": true
},
{
"name": "C1489 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1489 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1489 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1489 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1490 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1490 sequence",
"actual": 1490,
"expected": 1490,
"pass": true
},
{
"name": "C1490 predecessor",
"actual": "4493998fdda34983fac42d04dcacf91ffee5ade6c69167668662915cf6c39b67",
"expected": "4493998fdda34983fac42d04dcacf91ffee5ade6c69167668662915cf6c39b67",
"pass": true
},
{
"name": "C1490 canonical record hash",
"actual": "45526fbcfa74d7547968a1b2c44852fd0c57dda1fbe6e2349866123049fdabf5",
"expected": "45526fbcfa74d7547968a1b2c44852fd0c57dda1fbe6e2349866123049fdabf5",
"pass": true
},
{
"name": "C1490 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1490 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1490 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1490 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1491 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1491 sequence",
"actual": 1491,
"expected": 1491,
"pass": true
},
{
"name": "C1491 predecessor",
"actual": "45526fbcfa74d7547968a1b2c44852fd0c57dda1fbe6e2349866123049fdabf5",
"expected": "45526fbcfa74d7547968a1b2c44852fd0c57dda1fbe6e2349866123049fdabf5",
"pass": true
},
{
"name": "C1491 canonical record hash",
"actual": "cf8ead845f773773671f40e66320bf5fd65c5c3afa0c9261634a221761fc9cdd",
"expected": "cf8ead845f773773671f40e66320bf5fd65c5c3afa0c9261634a221761fc9cdd",
"pass": true
},
{
"name": "C1491 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1491 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1491 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1491 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1492 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1492 sequence",
"actual": 1492,
"expected": 1492,
"pass": true
},
{
"name": "C1492 predecessor",
"actual": "cf8ead845f773773671f40e66320bf5fd65c5c3afa0c9261634a221761fc9cdd",
"expected": "cf8ead845f773773671f40e66320bf5fd65c5c3afa0c9261634a221761fc9cdd",
"pass": true
},
{
"name": "C1492 canonical record hash",
"actual": "fc1abdf2a873d092b3821e287ac1db341dc7b28092f283a7564956f58e2531cb",
"expected": "fc1abdf2a873d092b3821e287ac1db341dc7b28092f283a7564956f58e2531cb",
"pass": true
},
{
"name": "C1492 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1492 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1492 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1492 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1493 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1493 sequence",
"actual": 1493,
"expected": 1493,
"pass": true
},
{
"name": "C1493 predecessor",
"actual": "fc1abdf2a873d092b3821e287ac1db341dc7b28092f283a7564956f58e2531cb",
"expected": "fc1abdf2a873d092b3821e287ac1db341dc7b28092f283a7564956f58e2531cb",
"pass": true
},
{
"name": "C1493 canonical record hash",
"actual": "dbc87bcc3199969047958a02e5c50630f6cfab1661e28eab9659db3a6e00ec9b",
"expected": "dbc87bcc3199969047958a02e5c50630f6cfab1661e28eab9659db3a6e00ec9b",
"pass": true
},
{
"name": "C1493 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1493 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1493 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1493 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1494 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1494 sequence",
"actual": 1494,
"expected": 1494,
"pass": true
},
{
"name": "C1494 predecessor",
"actual": "dbc87bcc3199969047958a02e5c50630f6cfab1661e28eab9659db3a6e00ec9b",
"expected": "dbc87bcc3199969047958a02e5c50630f6cfab1661e28eab9659db3a6e00ec9b",
"pass": true
},
{
"name": "C1494 canonical record hash",
"actual": "806588a08546dd438681472ce4c149dbc39e0e85092ffc1fee4a4b7945e46153",
"expected": "806588a08546dd438681472ce4c149dbc39e0e85092ffc1fee4a4b7945e46153",
"pass": true
},
{
"name": "C1494 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1494 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1494 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1494 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1495 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1495 sequence",
"actual": 1495,
"expected": 1495,
"pass": true
},
{
"name": "C1495 predecessor",
"actual": "806588a08546dd438681472ce4c149dbc39e0e85092ffc1fee4a4b7945e46153",
"expected": "806588a08546dd438681472ce4c149dbc39e0e85092ffc1fee4a4b7945e46153",
"pass": true
},
{
"name": "C1495 canonical record hash",
"actual": "81ce7fb689e8649f648fb0c4be979d35c53e68027be7e4ffc8d93c53365a1957",
"expected": "81ce7fb689e8649f648fb0c4be979d35c53e68027be7e4ffc8d93c53365a1957",
"pass": true
},
{
"name": "C1495 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1495 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1495 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1495 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1496 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1496 sequence",
"actual": 1496,
"expected": 1496,
"pass": true
},
{
"name": "C1496 predecessor",
"actual": "81ce7fb689e8649f648fb0c4be979d35c53e68027be7e4ffc8d93c53365a1957",
"expected": "81ce7fb689e8649f648fb0c4be979d35c53e68027be7e4ffc8d93c53365a1957",
"pass": true
},
{
"name": "C1496 canonical record hash",
"actual": "636b9ad468f928e1f446e4b5d3ace4e1ee4930b958a3d572c4d7dbfcc979a26a",
"expected": "636b9ad468f928e1f446e4b5d3ace4e1ee4930b958a3d572c4d7dbfcc979a26a",
"pass": true
},
{
"name": "C1496 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1496 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1496 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1496 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1497 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1497 sequence",
"actual": 1497,
"expected": 1497,
"pass": true
},
{
"name": "C1497 predecessor",
"actual": "636b9ad468f928e1f446e4b5d3ace4e1ee4930b958a3d572c4d7dbfcc979a26a",
"expected": "636b9ad468f928e1f446e4b5d3ace4e1ee4930b958a3d572c4d7dbfcc979a26a",
"pass": true
},
{
"name": "C1497 canonical record hash",
"actual": "b45d2dafa23494590bd5a3fd8c3729ab6396274c2e834b3b170afc84f5ebebdf",
"expected": "b45d2dafa23494590bd5a3fd8c3729ab6396274c2e834b3b170afc84f5ebebdf",
"pass": true
},
{
"name": "C1497 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1497 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1497 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1497 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1498 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1498 sequence",
"actual": 1498,
"expected": 1498,
"pass": true
},
{
"name": "C1498 predecessor",
"actual": "b45d2dafa23494590bd5a3fd8c3729ab6396274c2e834b3b170afc84f5ebebdf",
"expected": "b45d2dafa23494590bd5a3fd8c3729ab6396274c2e834b3b170afc84f5ebebdf",
"pass": true
},
{
"name": "C1498 canonical record hash",
"actual": "362e97a4597ae7ad1d4f8f6ed884c8a14cc85ad230dcf1acecdf8a6fd26adb7b",
"expected": "362e97a4597ae7ad1d4f8f6ed884c8a14cc85ad230dcf1acecdf8a6fd26adb7b",
"pass": true
},
{
"name": "C1498 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1498 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1498 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1498 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1499 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1499 sequence",
"actual": 1499,
"expected": 1499,
"pass": true
},
{
"name": "C1499 predecessor",
"actual": "362e97a4597ae7ad1d4f8f6ed884c8a14cc85ad230dcf1acecdf8a6fd26adb7b",
"expected": "362e97a4597ae7ad1d4f8f6ed884c8a14cc85ad230dcf1acecdf8a6fd26adb7b",
"pass": true
},
{
"name": "C1499 canonical record hash",
"actual": "5b50f8d052fb3581ef903546be9fdbabcdbccd9b3a3c584fcd34a8699afdca4e",
"expected": "5b50f8d052fb3581ef903546be9fdbabcdbccd9b3a3c584fcd34a8699afdca4e",
"pass": true
},
{
"name": "C1499 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1499 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1499 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1499 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1500 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1500 sequence",
"actual": 1500,
"expected": 1500,
"pass": true
},
{
"name": "C1500 predecessor",
"actual": "5b50f8d052fb3581ef903546be9fdbabcdbccd9b3a3c584fcd34a8699afdca4e",
"expected": "5b50f8d052fb3581ef903546be9fdbabcdbccd9b3a3c584fcd34a8699afdca4e",
"pass": true
},
{
"name": "C1500 canonical record hash",
"actual": "8c58aa588bc93ba3ac6ade18830020ad15381d2de9a9c4d5439f17cc9d34db36",
"expected": "8c58aa588bc93ba3ac6ade18830020ad15381d2de9a9c4d5439f17cc9d34db36",
"pass": true
},
{
"name": "C1500 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1500 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1500 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1500 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1501 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1501 sequence",
"actual": 1501,
"expected": 1501,
"pass": true
},
{
"name": "C1501 predecessor",
"actual": "8c58aa588bc93ba3ac6ade18830020ad15381d2de9a9c4d5439f17cc9d34db36",
"expected": "8c58aa588bc93ba3ac6ade18830020ad15381d2de9a9c4d5439f17cc9d34db36",
"pass": true
},
{
"name": "C1501 canonical record hash",
"actual": "23a777ea57331bf13ddbcb98e90b05cc5488557d341377c0f6ff2ccc86871114",
"expected": "23a777ea57331bf13ddbcb98e90b05cc5488557d341377c0f6ff2ccc86871114",
"pass": true
},
{
"name": "C1501 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1501 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1501 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1501 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1502 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1502 sequence",
"actual": 1502,
"expected": 1502,
"pass": true
},
{
"name": "C1502 predecessor",
"actual": "23a777ea57331bf13ddbcb98e90b05cc5488557d341377c0f6ff2ccc86871114",
"expected": "23a777ea57331bf13ddbcb98e90b05cc5488557d341377c0f6ff2ccc86871114",
"pass": true
},
{
"name": "C1502 canonical record hash",
"actual": "54a208ae2b4b322a48227f0800358fa63f0fc3d50f9741c9bbcd036d3283523e",
"expected": "54a208ae2b4b322a48227f0800358fa63f0fc3d50f9741c9bbcd036d3283523e",
"pass": true
},
{
"name": "C1502 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1502 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1502 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1502 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1503 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1503 sequence",
"actual": 1503,
"expected": 1503,
"pass": true
},
{
"name": "C1503 predecessor",
"actual": "54a208ae2b4b322a48227f0800358fa63f0fc3d50f9741c9bbcd036d3283523e",
"expected": "54a208ae2b4b322a48227f0800358fa63f0fc3d50f9741c9bbcd036d3283523e",
"pass": true
},
{
"name": "C1503 canonical record hash",
"actual": "3dc5c2b2da230b03a28975392f4d11e153132c4933b676fca94250208dfe773f",
"expected": "3dc5c2b2da230b03a28975392f4d11e153132c4933b676fca94250208dfe773f",
"pass": true
},
{
"name": "C1503 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1503 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1503 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1503 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1504 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1504 sequence",
"actual": 1504,
"expected": 1504,
"pass": true
},
{
"name": "C1504 predecessor",
"actual": "3dc5c2b2da230b03a28975392f4d11e153132c4933b676fca94250208dfe773f",
"expected": "3dc5c2b2da230b03a28975392f4d11e153132c4933b676fca94250208dfe773f",
"pass": true
},
{
"name": "C1504 canonical record hash",
"actual": "72223d2182e9cf1415aa3641d3ddcd778bf174167622d83e10fc51cdb5361425",
"expected": "72223d2182e9cf1415aa3641d3ddcd778bf174167622d83e10fc51cdb5361425",
"pass": true
},
{
"name": "C1504 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1504 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1504 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1504 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1505 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1505 sequence",
"actual": 1505,
"expected": 1505,
"pass": true
},
{
"name": "C1505 predecessor",
"actual": "72223d2182e9cf1415aa3641d3ddcd778bf174167622d83e10fc51cdb5361425",
"expected": "72223d2182e9cf1415aa3641d3ddcd778bf174167622d83e10fc51cdb5361425",
"pass": true
},
{
"name": "C1505 canonical record hash",
"actual": "7e57de39f301e14766ac1d26b3b04c17cb5de5581fcaaaad5b8ad5c362f6c8b3",
"expected": "7e57de39f301e14766ac1d26b3b04c17cb5de5581fcaaaad5b8ad5c362f6c8b3",
"pass": true
},
{
"name": "C1505 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1505 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1505 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1505 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1506 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1506 sequence",
"actual": 1506,
"expected": 1506,
"pass": true
},
{
"name": "C1506 predecessor",
"actual": "7e57de39f301e14766ac1d26b3b04c17cb5de5581fcaaaad5b8ad5c362f6c8b3",
"expected": "7e57de39f301e14766ac1d26b3b04c17cb5de5581fcaaaad5b8ad5c362f6c8b3",
"pass": true
},
{
"name": "C1506 canonical record hash",
"actual": "8ef8b7115b33171376cc8dd46fb507795ac9ef7aa7e64fe4870a1127c5bf9699",
"expected": "8ef8b7115b33171376cc8dd46fb507795ac9ef7aa7e64fe4870a1127c5bf9699",
"pass": true
},
{
"name": "C1506 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1506 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1506 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1506 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1507 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1507 sequence",
"actual": 1507,
"expected": 1507,
"pass": true
},
{
"name": "C1507 predecessor",
"actual": "8ef8b7115b33171376cc8dd46fb507795ac9ef7aa7e64fe4870a1127c5bf9699",
"expected": "8ef8b7115b33171376cc8dd46fb507795ac9ef7aa7e64fe4870a1127c5bf9699",
"pass": true
},
{
"name": "C1507 canonical record hash",
"actual": "6a271fc0b50ef81311b3029501af82d35fb421693806219583d07a9f402cee45",
"expected": "6a271fc0b50ef81311b3029501af82d35fb421693806219583d07a9f402cee45",
"pass": true
},
{
"name": "C1507 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1507 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1507 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1507 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1508 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1508 sequence",
"actual": 1508,
"expected": 1508,
"pass": true
},
{
"name": "C1508 predecessor",
"actual": "6a271fc0b50ef81311b3029501af82d35fb421693806219583d07a9f402cee45",
"expected": "6a271fc0b50ef81311b3029501af82d35fb421693806219583d07a9f402cee45",
"pass": true
},
{
"name": "C1508 canonical record hash",
"actual": "f47bd6068eb2cf8ffd05180124c30a4c834798fc8267dde2ec769a36c984a96c",
"expected": "f47bd6068eb2cf8ffd05180124c30a4c834798fc8267dde2ec769a36c984a96c",
"pass": true
},
{
"name": "C1508 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1508 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1508 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1508 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1509 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1509 sequence",
"actual": 1509,
"expected": 1509,
"pass": true
},
{
"name": "C1509 predecessor",
"actual": "f47bd6068eb2cf8ffd05180124c30a4c834798fc8267dde2ec769a36c984a96c",
"expected": "f47bd6068eb2cf8ffd05180124c30a4c834798fc8267dde2ec769a36c984a96c",
"pass": true
},
{
"name": "C1509 canonical record hash",
"actual": "e4748381257719a1c145de95a366f92458f2eb4bcd32c4c50efb1244c77a1bcb",
"expected": "e4748381257719a1c145de95a366f92458f2eb4bcd32c4c50efb1244c77a1bcb",
"pass": true
},
{
"name": "C1509 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1509 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1509 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1509 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1510 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1510 sequence",
"actual": 1510,
"expected": 1510,
"pass": true
},
{
"name": "C1510 predecessor",
"actual": "e4748381257719a1c145de95a366f92458f2eb4bcd32c4c50efb1244c77a1bcb",
"expected": "e4748381257719a1c145de95a366f92458f2eb4bcd32c4c50efb1244c77a1bcb",
"pass": true
},
{
"name": "C1510 canonical record hash",
"actual": "ff80a9bd2d199227e18b6300f7d2ae715a33051ff84a1723be4be6cbce15ec3e",
"expected": "ff80a9bd2d199227e18b6300f7d2ae715a33051ff84a1723be4be6cbce15ec3e",
"pass": true
},
{
"name": "C1510 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1510 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1510 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1510 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1511 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1511 sequence",
"actual": 1511,
"expected": 1511,
"pass": true
},
{
"name": "C1511 predecessor",
"actual": "ff80a9bd2d199227e18b6300f7d2ae715a33051ff84a1723be4be6cbce15ec3e",
"expected": "ff80a9bd2d199227e18b6300f7d2ae715a33051ff84a1723be4be6cbce15ec3e",
"pass": true
},
{
"name": "C1511 canonical record hash",
"actual": "da293bf9f7f7904499aafc72a5a0b8c01e6f1bb514df50fa8d0fc7950150408a",
"expected": "da293bf9f7f7904499aafc72a5a0b8c01e6f1bb514df50fa8d0fc7950150408a",
"pass": true
},
{
"name": "C1511 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1511 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1511 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1511 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1512 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1512 sequence",
"actual": 1512,
"expected": 1512,
"pass": true
},
{
"name": "C1512 predecessor",
"actual": "da293bf9f7f7904499aafc72a5a0b8c01e6f1bb514df50fa8d0fc7950150408a",
"expected": "da293bf9f7f7904499aafc72a5a0b8c01e6f1bb514df50fa8d0fc7950150408a",
"pass": true
},
{
"name": "C1512 canonical record hash",
"actual": "8f8d9204295e61267c4b9fc319f4c46fcaba6799aa5c0197d74f5277075976d5",
"expected": "8f8d9204295e61267c4b9fc319f4c46fcaba6799aa5c0197d74f5277075976d5",
"pass": true
},
{
"name": "C1512 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1512 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1512 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1512 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1513 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1513 sequence",
"actual": 1513,
"expected": 1513,
"pass": true
},
{
"name": "C1513 predecessor",
"actual": "8f8d9204295e61267c4b9fc319f4c46fcaba6799aa5c0197d74f5277075976d5",
"expected": "8f8d9204295e61267c4b9fc319f4c46fcaba6799aa5c0197d74f5277075976d5",
"pass": true
},
{
"name": "C1513 canonical record hash",
"actual": "d3f1c58a7e9f9ba24279286d305b2d14f4cf8f816c1a63f95b8c583c24a338c2",
"expected": "d3f1c58a7e9f9ba24279286d305b2d14f4cf8f816c1a63f95b8c583c24a338c2",
"pass": true
},
{
"name": "C1513 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1513 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1513 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1513 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1514 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1514 sequence",
"actual": 1514,
"expected": 1514,
"pass": true
},
{
"name": "C1514 predecessor",
"actual": "d3f1c58a7e9f9ba24279286d305b2d14f4cf8f816c1a63f95b8c583c24a338c2",
"expected": "d3f1c58a7e9f9ba24279286d305b2d14f4cf8f816c1a63f95b8c583c24a338c2",
"pass": true
},
{
"name": "C1514 canonical record hash",
"actual": "522d77721ee12e556cad086bdfc21f2d72c64fc085f9ec5fe438aab0b768e436",
"expected": "522d77721ee12e556cad086bdfc21f2d72c64fc085f9ec5fe438aab0b768e436",
"pass": true
},
{
"name": "C1514 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1514 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1514 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1514 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1515 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1515 sequence",
"actual": 1515,
"expected": 1515,
"pass": true
},
{
"name": "C1515 predecessor",
"actual": "522d77721ee12e556cad086bdfc21f2d72c64fc085f9ec5fe438aab0b768e436",
"expected": "522d77721ee12e556cad086bdfc21f2d72c64fc085f9ec5fe438aab0b768e436",
"pass": true
},
{
"name": "C1515 canonical record hash",
"actual": "d8d80711bf4be122b8d291b6f7e101f416584455d05222636b1e14eb50a18986",
"expected": "d8d80711bf4be122b8d291b6f7e101f416584455d05222636b1e14eb50a18986",
"pass": true
},
{
"name": "C1515 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1515 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1515 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1515 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1516 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1516 sequence",
"actual": 1516,
"expected": 1516,
"pass": true
},
{
"name": "C1516 predecessor",
"actual": "d8d80711bf4be122b8d291b6f7e101f416584455d05222636b1e14eb50a18986",
"expected": "d8d80711bf4be122b8d291b6f7e101f416584455d05222636b1e14eb50a18986",
"pass": true
},
{
"name": "C1516 canonical record hash",
"actual": "4e76215a175d729731988b29429b6d46bb324fe5ce7350704cae134cca8338c0",
"expected": "4e76215a175d729731988b29429b6d46bb324fe5ce7350704cae134cca8338c0",
"pass": true
},
{
"name": "C1516 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1516 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1516 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1516 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1517 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1517 sequence",
"actual": 1517,
"expected": 1517,
"pass": true
},
{
"name": "C1517 predecessor",
"actual": "4e76215a175d729731988b29429b6d46bb324fe5ce7350704cae134cca8338c0",
"expected": "4e76215a175d729731988b29429b6d46bb324fe5ce7350704cae134cca8338c0",
"pass": true
},
{
"name": "C1517 canonical record hash",
"actual": "603a7a401956e2f4658a63ffe9651454f6c6230a45094418e8f5a8b853fece81",
"expected": "603a7a401956e2f4658a63ffe9651454f6c6230a45094418e8f5a8b853fece81",
"pass": true
},
{
"name": "C1517 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1517 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1517 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1517 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1518 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1518 sequence",
"actual": 1518,
"expected": 1518,
"pass": true
},
{
"name": "C1518 predecessor",
"actual": "603a7a401956e2f4658a63ffe9651454f6c6230a45094418e8f5a8b853fece81",
"expected": "603a7a401956e2f4658a63ffe9651454f6c6230a45094418e8f5a8b853fece81",
"pass": true
},
{
"name": "C1518 canonical record hash",
"actual": "fbcf1959ad956777222841b3cc9f8eb178a19ab0d0a994e40c07965f028412ec",
"expected": "fbcf1959ad956777222841b3cc9f8eb178a19ab0d0a994e40c07965f028412ec",
"pass": true
},
{
"name": "C1518 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1518 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1518 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1518 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1519 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1519 sequence",
"actual": 1519,
"expected": 1519,
"pass": true
},
{
"name": "C1519 predecessor",
"actual": "fbcf1959ad956777222841b3cc9f8eb178a19ab0d0a994e40c07965f028412ec",
"expected": "fbcf1959ad956777222841b3cc9f8eb178a19ab0d0a994e40c07965f028412ec",
"pass": true
},
{
"name": "C1519 canonical record hash",
"actual": "c33094deb3543e7dd8ca23a1134194aced96af93f29254e08fd7c859dc7164a1",
"expected": "c33094deb3543e7dd8ca23a1134194aced96af93f29254e08fd7c859dc7164a1",
"pass": true
},
{
"name": "C1519 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1519 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1519 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1519 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1520 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1520 sequence",
"actual": 1520,
"expected": 1520,
"pass": true
},
{
"name": "C1520 predecessor",
"actual": "c33094deb3543e7dd8ca23a1134194aced96af93f29254e08fd7c859dc7164a1",
"expected": "c33094deb3543e7dd8ca23a1134194aced96af93f29254e08fd7c859dc7164a1",
"pass": true
},
{
"name": "C1520 canonical record hash",
"actual": "a156e6aafb27800e21b46155e3017c8437565cd562319e6ea8f58b166ce8ef03",
"expected": "a156e6aafb27800e21b46155e3017c8437565cd562319e6ea8f58b166ce8ef03",
"pass": true
},
{
"name": "C1520 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1520 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1520 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1520 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1521 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1521 sequence",
"actual": 1521,
"expected": 1521,
"pass": true
},
{
"name": "C1521 predecessor",
"actual": "a156e6aafb27800e21b46155e3017c8437565cd562319e6ea8f58b166ce8ef03",
"expected": "a156e6aafb27800e21b46155e3017c8437565cd562319e6ea8f58b166ce8ef03",
"pass": true
},
{
"name": "C1521 canonical record hash",
"actual": "699e029db2a538de6f720891381668e4507f9a20ecdad04db1ba8c83b8083e8a",
"expected": "699e029db2a538de6f720891381668e4507f9a20ecdad04db1ba8c83b8083e8a",
"pass": true
},
{
"name": "C1521 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1521 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1521 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1521 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1522 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1522 sequence",
"actual": 1522,
"expected": 1522,
"pass": true
},
{
"name": "C1522 predecessor",
"actual": "699e029db2a538de6f720891381668e4507f9a20ecdad04db1ba8c83b8083e8a",
"expected": "699e029db2a538de6f720891381668e4507f9a20ecdad04db1ba8c83b8083e8a",
"pass": true
},
{
"name": "C1522 canonical record hash",
"actual": "23b5aec47bed81293fcf67b8a4666aab920ae84848345bdc3bdfb33bbfce6f57",
"expected": "23b5aec47bed81293fcf67b8a4666aab920ae84848345bdc3bdfb33bbfce6f57",
"pass": true
},
{
"name": "C1522 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1522 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1522 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1522 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1523 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1523 sequence",
"actual": 1523,
"expected": 1523,
"pass": true
},
{
"name": "C1523 predecessor",
"actual": "23b5aec47bed81293fcf67b8a4666aab920ae84848345bdc3bdfb33bbfce6f57",
"expected": "23b5aec47bed81293fcf67b8a4666aab920ae84848345bdc3bdfb33bbfce6f57",
"pass": true
},
{
"name": "C1523 canonical record hash",
"actual": "a4e1e640480346dad2bd914fc24de60b8b902d8aad857e4ff1815375473adfb8",
"expected": "a4e1e640480346dad2bd914fc24de60b8b902d8aad857e4ff1815375473adfb8",
"pass": true
},
{
"name": "C1523 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1523 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1523 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1523 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1524 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1524 sequence",
"actual": 1524,
"expected": 1524,
"pass": true
},
{
"name": "C1524 predecessor",
"actual": "a4e1e640480346dad2bd914fc24de60b8b902d8aad857e4ff1815375473adfb8",
"expected": "a4e1e640480346dad2bd914fc24de60b8b902d8aad857e4ff1815375473adfb8",
"pass": true
},
{
"name": "C1524 canonical record hash",
"actual": "5cf70692d96ed6160ea1a820e8b4cacb5ecf570658aaf623d04b9fd85a6dff36",
"expected": "5cf70692d96ed6160ea1a820e8b4cacb5ecf570658aaf623d04b9fd85a6dff36",
"pass": true
},
{
"name": "C1524 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1524 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1524 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1524 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1525 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1525 sequence",
"actual": 1525,
"expected": 1525,
"pass": true
},
{
"name": "C1525 predecessor",
"actual": "5cf70692d96ed6160ea1a820e8b4cacb5ecf570658aaf623d04b9fd85a6dff36",
"expected": "5cf70692d96ed6160ea1a820e8b4cacb5ecf570658aaf623d04b9fd85a6dff36",
"pass": true
},
{
"name": "C1525 canonical record hash",
"actual": "8c59d08a85db823b785b5cbd499f04a8e816d8e35c2da4cad9bec08cbef4cf7a",
"expected": "8c59d08a85db823b785b5cbd499f04a8e816d8e35c2da4cad9bec08cbef4cf7a",
"pass": true
},
{
"name": "C1525 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1525 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1525 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1525 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1526 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1526 sequence",
"actual": 1526,
"expected": 1526,
"pass": true
},
{
"name": "C1526 predecessor",
"actual": "8c59d08a85db823b785b5cbd499f04a8e816d8e35c2da4cad9bec08cbef4cf7a",
"expected": "8c59d08a85db823b785b5cbd499f04a8e816d8e35c2da4cad9bec08cbef4cf7a",
"pass": true
},
{
"name": "C1526 canonical record hash",
"actual": "48916cf472e057b7e6622172751dccaf11a3f36e5a3e06175280ad2ffe408317",
"expected": "48916cf472e057b7e6622172751dccaf11a3f36e5a3e06175280ad2ffe408317",
"pass": true
},
{
"name": "C1526 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1526 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1526 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1526 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1527 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1527 sequence",
"actual": 1527,
"expected": 1527,
"pass": true
},
{
"name": "C1527 predecessor",
"actual": "48916cf472e057b7e6622172751dccaf11a3f36e5a3e06175280ad2ffe408317",
"expected": "48916cf472e057b7e6622172751dccaf11a3f36e5a3e06175280ad2ffe408317",
"pass": true
},
{
"name": "C1527 canonical record hash",
"actual": "2520c8873a74c33433b90f6d862762e324ecd4097e552ead304da431b9eb622c",
"expected": "2520c8873a74c33433b90f6d862762e324ecd4097e552ead304da431b9eb622c",
"pass": true
},
{
"name": "C1527 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1527 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1527 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1527 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1528 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1528 sequence",
"actual": 1528,
"expected": 1528,
"pass": true
},
{
"name": "C1528 predecessor",
"actual": "2520c8873a74c33433b90f6d862762e324ecd4097e552ead304da431b9eb622c",
"expected": "2520c8873a74c33433b90f6d862762e324ecd4097e552ead304da431b9eb622c",
"pass": true
},
{
"name": "C1528 canonical record hash",
"actual": "37f9348ebeeaa54d87ab970dd007ea28d59c0203143a24cf39136c6c6951de4a",
"expected": "37f9348ebeeaa54d87ab970dd007ea28d59c0203143a24cf39136c6c6951de4a",
"pass": true
},
{
"name": "C1528 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1528 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1528 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1528 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1529 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1529 sequence",
"actual": 1529,
"expected": 1529,
"pass": true
},
{
"name": "C1529 predecessor",
"actual": "37f9348ebeeaa54d87ab970dd007ea28d59c0203143a24cf39136c6c6951de4a",
"expected": "37f9348ebeeaa54d87ab970dd007ea28d59c0203143a24cf39136c6c6951de4a",
"pass": true
},
{
"name": "C1529 canonical record hash",
"actual": "20303fea633136375574bb1a48e9b5551ca61225c013d92e43c35cf5c195baa1",
"expected": "20303fea633136375574bb1a48e9b5551ca61225c013d92e43c35cf5c195baa1",
"pass": true
},
{
"name": "C1529 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1529 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1529 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1529 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1530 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1530 sequence",
"actual": 1530,
"expected": 1530,
"pass": true
},
{
"name": "C1530 predecessor",
"actual": "20303fea633136375574bb1a48e9b5551ca61225c013d92e43c35cf5c195baa1",
"expected": "20303fea633136375574bb1a48e9b5551ca61225c013d92e43c35cf5c195baa1",
"pass": true
},
{
"name": "C1530 canonical record hash",
"actual": "57747b274d50eb6ffe5bce5f852c93c44bd8aecff04c862ba7e3f0229e050b49",
"expected": "57747b274d50eb6ffe5bce5f852c93c44bd8aecff04c862ba7e3f0229e050b49",
"pass": true
},
{
"name": "C1530 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1530 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1530 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1530 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1531 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1531 sequence",
"actual": 1531,
"expected": 1531,
"pass": true
},
{
"name": "C1531 predecessor",
"actual": "57747b274d50eb6ffe5bce5f852c93c44bd8aecff04c862ba7e3f0229e050b49",
"expected": "57747b274d50eb6ffe5bce5f852c93c44bd8aecff04c862ba7e3f0229e050b49",
"pass": true
},
{
"name": "C1531 canonical record hash",
"actual": "269fffa141143518d83aef561a0e3797f4e7b8ce57c66d9d12982d495c5a23f8",
"expected": "269fffa141143518d83aef561a0e3797f4e7b8ce57c66d9d12982d495c5a23f8",
"pass": true
},
{
"name": "C1531 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1531 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1531 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1531 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1532 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1532 sequence",
"actual": 1532,
"expected": 1532,
"pass": true
},
{
"name": "C1532 predecessor",
"actual": "269fffa141143518d83aef561a0e3797f4e7b8ce57c66d9d12982d495c5a23f8",
"expected": "269fffa141143518d83aef561a0e3797f4e7b8ce57c66d9d12982d495c5a23f8",
"pass": true
},
{
"name": "C1532 canonical record hash",
"actual": "9327bed5f14ce9298b2b3c49203087b9e329ca8ecdf3e6f8b058cf32c92ff004",
"expected": "9327bed5f14ce9298b2b3c49203087b9e329ca8ecdf3e6f8b058cf32c92ff004",
"pass": true
},
{
"name": "C1532 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1532 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1532 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1532 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1532 review is portable",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1532 review exists",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1532 review content hash",
"actual": "c8bb17d2eba86dbd0c425e09417328aa9c90e3e95a1029319d071afadc561493",
"expected": "c8bb17d2eba86dbd0c425e09417328aa9c90e3e95a1029319d071afadc561493",
"pass": true
},
{
"name": "C1532 bound Strategy edition",
"actual": "9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476",
"expected": "9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476",
"pass": true
},
{
"name": "C1533 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1533 sequence",
"actual": 1533,
"expected": 1533,
"pass": true
},
{
"name": "C1533 predecessor",
"actual": "9327bed5f14ce9298b2b3c49203087b9e329ca8ecdf3e6f8b058cf32c92ff004",
"expected": "9327bed5f14ce9298b2b3c49203087b9e329ca8ecdf3e6f8b058cf32c92ff004",
"pass": true
},
{
"name": "C1533 canonical record hash",
"actual": "a9f8188c378fc9b085539c1be506c21048aa7a3d32bf0f93a104906b56071d4d",
"expected": "a9f8188c378fc9b085539c1be506c21048aa7a3d32bf0f93a104906b56071d4d",
"pass": true
},
{
"name": "C1533 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1533 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1533 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1533 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1534 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1534 sequence",
"actual": 1534,
"expected": 1534,
"pass": true
},
{
"name": "C1534 predecessor",
"actual": "a9f8188c378fc9b085539c1be506c21048aa7a3d32bf0f93a104906b56071d4d",
"expected": "a9f8188c378fc9b085539c1be506c21048aa7a3d32bf0f93a104906b56071d4d",
"pass": true
},
{
"name": "C1534 canonical record hash",
"actual": "5eabca381d53721b181edec968f6e1f9d0cd562e7b7a02f5049592ad6dc1598e",
"expected": "5eabca381d53721b181edec968f6e1f9d0cd562e7b7a02f5049592ad6dc1598e",
"pass": true
},
{
"name": "C1534 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1534 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1534 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1534 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1535 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1535 sequence",
"actual": 1535,
"expected": 1535,
"pass": true
},
{
"name": "C1535 predecessor",
"actual": "5eabca381d53721b181edec968f6e1f9d0cd562e7b7a02f5049592ad6dc1598e",
"expected": "5eabca381d53721b181edec968f6e1f9d0cd562e7b7a02f5049592ad6dc1598e",
"pass": true
},
{
"name": "C1535 canonical record hash",
"actual": "7c965d85c878ccf6ce5af03ea4a96128227a225d3afbf7f753a1462bd212b153",
"expected": "7c965d85c878ccf6ce5af03ea4a96128227a225d3afbf7f753a1462bd212b153",
"pass": true
},
{
"name": "C1535 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1535 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1535 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1535 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1536 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1536 sequence",
"actual": 1536,
"expected": 1536,
"pass": true
},
{
"name": "C1536 predecessor",
"actual": "7c965d85c878ccf6ce5af03ea4a96128227a225d3afbf7f753a1462bd212b153",
"expected": "7c965d85c878ccf6ce5af03ea4a96128227a225d3afbf7f753a1462bd212b153",
"pass": true
},
{
"name": "C1536 canonical record hash",
"actual": "a47efa751f65cfe608c6ab227ce75aff39ccbbba0f91b9b087f429110e245a1d",
"expected": "a47efa751f65cfe608c6ab227ce75aff39ccbbba0f91b9b087f429110e245a1d",
"pass": true
},
{
"name": "C1536 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1536 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1536 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1536 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1537 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1537 sequence",
"actual": 1537,
"expected": 1537,
"pass": true
},
{
"name": "C1537 predecessor",
"actual": "a47efa751f65cfe608c6ab227ce75aff39ccbbba0f91b9b087f429110e245a1d",
"expected": "a47efa751f65cfe608c6ab227ce75aff39ccbbba0f91b9b087f429110e245a1d",
"pass": true
},
{
"name": "C1537 canonical record hash",
"actual": "3f216ff0bcf5100c004df530a499113f67f76ffc2603806d69118013eb0f9d34",
"expected": "3f216ff0bcf5100c004df530a499113f67f76ffc2603806d69118013eb0f9d34",
"pass": true
},
{
"name": "C1537 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1537 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1537 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1537 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1538 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1538 sequence",
"actual": 1538,
"expected": 1538,
"pass": true
},
{
"name": "C1538 predecessor",
"actual": "3f216ff0bcf5100c004df530a499113f67f76ffc2603806d69118013eb0f9d34",
"expected": "3f216ff0bcf5100c004df530a499113f67f76ffc2603806d69118013eb0f9d34",
"pass": true
},
{
"name": "C1538 canonical record hash",
"actual": "f5597daf7360230b06e6471755f0ad1457b52c2ac2706100cf3ab81ade7e6a0e",
"expected": "f5597daf7360230b06e6471755f0ad1457b52c2ac2706100cf3ab81ade7e6a0e",
"pass": true
},
{
"name": "C1538 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1538 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1538 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1538 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1539 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1539 sequence",
"actual": 1539,
"expected": 1539,
"pass": true
},
{
"name": "C1539 predecessor",
"actual": "f5597daf7360230b06e6471755f0ad1457b52c2ac2706100cf3ab81ade7e6a0e",
"expected": "f5597daf7360230b06e6471755f0ad1457b52c2ac2706100cf3ab81ade7e6a0e",
"pass": true
},
{
"name": "C1539 canonical record hash",
"actual": "cce7c9031834d2ed4b3ca40215f0aef7f561ccac6c75d670dfa35c50dfef85fb",
"expected": "cce7c9031834d2ed4b3ca40215f0aef7f561ccac6c75d670dfa35c50dfef85fb",
"pass": true
},
{
"name": "C1539 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1539 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1539 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1539 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1540 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1540 sequence",
"actual": 1540,
"expected": 1540,
"pass": true
},
{
"name": "C1540 predecessor",
"actual": "cce7c9031834d2ed4b3ca40215f0aef7f561ccac6c75d670dfa35c50dfef85fb",
"expected": "cce7c9031834d2ed4b3ca40215f0aef7f561ccac6c75d670dfa35c50dfef85fb",
"pass": true
},
{
"name": "C1540 canonical record hash",
"actual": "034b6cc417d74db26e6a7fc65c0b27a10a34b31942504a01e154df7ca3c88773",
"expected": "034b6cc417d74db26e6a7fc65c0b27a10a34b31942504a01e154df7ca3c88773",
"pass": true
},
{
"name": "C1540 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1540 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1540 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1540 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1541 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1541 sequence",
"actual": 1541,
"expected": 1541,
"pass": true
},
{
"name": "C1541 predecessor",
"actual": "034b6cc417d74db26e6a7fc65c0b27a10a34b31942504a01e154df7ca3c88773",
"expected": "034b6cc417d74db26e6a7fc65c0b27a10a34b31942504a01e154df7ca3c88773",
"pass": true
},
{
"name": "C1541 canonical record hash",
"actual": "0b7933b2a7821fe73e39d78c2048eede59d3124df269b9b4892834d4cdeb9218",
"expected": "0b7933b2a7821fe73e39d78c2048eede59d3124df269b9b4892834d4cdeb9218",
"pass": true
},
{
"name": "C1541 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1541 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1541 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1541 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1542 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1542 sequence",
"actual": 1542,
"expected": 1542,
"pass": true
},
{
"name": "C1542 predecessor",
"actual": "0b7933b2a7821fe73e39d78c2048eede59d3124df269b9b4892834d4cdeb9218",
"expected": "0b7933b2a7821fe73e39d78c2048eede59d3124df269b9b4892834d4cdeb9218",
"pass": true
},
{
"name": "C1542 canonical record hash",
"actual": "9b6286fdba745398afab41d2a6ecc0c8ec3b0cfe5b3ea0dd771626cb5a55b77e",
"expected": "9b6286fdba745398afab41d2a6ecc0c8ec3b0cfe5b3ea0dd771626cb5a55b77e",
"pass": true
},
{
"name": "C1542 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1542 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1542 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1542 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1543 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1543 sequence",
"actual": 1543,
"expected": 1543,
"pass": true
},
{
"name": "C1543 predecessor",
"actual": "9b6286fdba745398afab41d2a6ecc0c8ec3b0cfe5b3ea0dd771626cb5a55b77e",
"expected": "9b6286fdba745398afab41d2a6ecc0c8ec3b0cfe5b3ea0dd771626cb5a55b77e",
"pass": true
},
{
"name": "C1543 canonical record hash",
"actual": "b0a05e00199f1bc9f0740762b4ad4c653b8928bbeb2309aa41a909eec284fff2",
"expected": "b0a05e00199f1bc9f0740762b4ad4c653b8928bbeb2309aa41a909eec284fff2",
"pass": true
},
{
"name": "C1543 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1543 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1543 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1543 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1544 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1544 sequence",
"actual": 1544,
"expected": 1544,
"pass": true
},
{
"name": "C1544 predecessor",
"actual": "b0a05e00199f1bc9f0740762b4ad4c653b8928bbeb2309aa41a909eec284fff2",
"expected": "b0a05e00199f1bc9f0740762b4ad4c653b8928bbeb2309aa41a909eec284fff2",
"pass": true
},
{
"name": "C1544 canonical record hash",
"actual": "7669fcdec6feb3d1bee5cf0468295804efd49a30919e156855bb6acab7bc2362",
"expected": "7669fcdec6feb3d1bee5cf0468295804efd49a30919e156855bb6acab7bc2362",
"pass": true
},
{
"name": "C1544 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1544 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1544 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1544 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1545 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1545 sequence",
"actual": 1545,
"expected": 1545,
"pass": true
},
{
"name": "C1545 predecessor",
"actual": "7669fcdec6feb3d1bee5cf0468295804efd49a30919e156855bb6acab7bc2362",
"expected": "7669fcdec6feb3d1bee5cf0468295804efd49a30919e156855bb6acab7bc2362",
"pass": true
},
{
"name": "C1545 canonical record hash",
"actual": "06bcd70e07de700498471a82e802872fc95602ba88d37e1585cdaa9ec45c5ed3",
"expected": "06bcd70e07de700498471a82e802872fc95602ba88d37e1585cdaa9ec45c5ed3",
"pass": true
},
{
"name": "C1545 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1545 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1545 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1545 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1546 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1546 sequence",
"actual": 1546,
"expected": 1546,
"pass": true
},
{
"name": "C1546 predecessor",
"actual": "06bcd70e07de700498471a82e802872fc95602ba88d37e1585cdaa9ec45c5ed3",
"expected": "06bcd70e07de700498471a82e802872fc95602ba88d37e1585cdaa9ec45c5ed3",
"pass": true
},
{
"name": "C1546 canonical record hash",
"actual": "bd5b8983c449d4ef19196172e5eb22146174ad56563ccd4c34d503196c814e94",
"expected": "bd5b8983c449d4ef19196172e5eb22146174ad56563ccd4c34d503196c814e94",
"pass": true
},
{
"name": "C1546 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1546 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1546 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1546 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1547 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1547 sequence",
"actual": 1547,
"expected": 1547,
"pass": true
},
{
"name": "C1547 predecessor",
"actual": "bd5b8983c449d4ef19196172e5eb22146174ad56563ccd4c34d503196c814e94",
"expected": "bd5b8983c449d4ef19196172e5eb22146174ad56563ccd4c34d503196c814e94",
"pass": true
},
{
"name": "C1547 canonical record hash",
"actual": "eb46cb62e228fef440399b09dad7a03500cf921a95c557f53f8ae01e37004eea",
"expected": "eb46cb62e228fef440399b09dad7a03500cf921a95c557f53f8ae01e37004eea",
"pass": true
},
{
"name": "C1547 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1547 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1547 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1547 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1548 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1548 sequence",
"actual": 1548,
"expected": 1548,
"pass": true
},
{
"name": "C1548 predecessor",
"actual": "eb46cb62e228fef440399b09dad7a03500cf921a95c557f53f8ae01e37004eea",
"expected": "eb46cb62e228fef440399b09dad7a03500cf921a95c557f53f8ae01e37004eea",
"pass": true
},
{
"name": "C1548 canonical record hash",
"actual": "b131338ccfbba9b37702dfe473d14c493a0a38ca836e14ce767ed96e8a76fbfd",
"expected": "b131338ccfbba9b37702dfe473d14c493a0a38ca836e14ce767ed96e8a76fbfd",
"pass": true
},
{
"name": "C1548 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1548 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1548 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1548 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1549 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1549 sequence",
"actual": 1549,
"expected": 1549,
"pass": true
},
{
"name": "C1549 predecessor",
"actual": "b131338ccfbba9b37702dfe473d14c493a0a38ca836e14ce767ed96e8a76fbfd",
"expected": "b131338ccfbba9b37702dfe473d14c493a0a38ca836e14ce767ed96e8a76fbfd",
"pass": true
},
{
"name": "C1549 canonical record hash",
"actual": "09a08162136b46ce7d267ba04f7f3474ccdd751e201774de3f998df141aee1f3",
"expected": "09a08162136b46ce7d267ba04f7f3474ccdd751e201774de3f998df141aee1f3",
"pass": true
},
{
"name": "C1549 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1549 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1549 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1549 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1550 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1550 sequence",
"actual": 1550,
"expected": 1550,
"pass": true
},
{
"name": "C1550 predecessor",
"actual": "09a08162136b46ce7d267ba04f7f3474ccdd751e201774de3f998df141aee1f3",
"expected": "09a08162136b46ce7d267ba04f7f3474ccdd751e201774de3f998df141aee1f3",
"pass": true
},
{
"name": "C1550 canonical record hash",
"actual": "d0f8eb7985f4a6298dd67cebbc106a69254749998970e35d25436c8b79ad3bdd",
"expected": "d0f8eb7985f4a6298dd67cebbc106a69254749998970e35d25436c8b79ad3bdd",
"pass": true
},
{
"name": "C1550 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1550 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1550 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1550 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1551 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1551 sequence",
"actual": 1551,
"expected": 1551,
"pass": true
},
{
"name": "C1551 predecessor",
"actual": "d0f8eb7985f4a6298dd67cebbc106a69254749998970e35d25436c8b79ad3bdd",
"expected": "d0f8eb7985f4a6298dd67cebbc106a69254749998970e35d25436c8b79ad3bdd",
"pass": true
},
{
"name": "C1551 canonical record hash",
"actual": "1269a5b20c6a8a763f76ae43b75a795f3405b00712857b348f4c8c4f53ffe037",
"expected": "1269a5b20c6a8a763f76ae43b75a795f3405b00712857b348f4c8c4f53ffe037",
"pass": true
},
{
"name": "C1551 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1551 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1551 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1551 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1552 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1552 sequence",
"actual": 1552,
"expected": 1552,
"pass": true
},
{
"name": "C1552 predecessor",
"actual": "1269a5b20c6a8a763f76ae43b75a795f3405b00712857b348f4c8c4f53ffe037",
"expected": "1269a5b20c6a8a763f76ae43b75a795f3405b00712857b348f4c8c4f53ffe037",
"pass": true
},
{
"name": "C1552 canonical record hash",
"actual": "0a066aa723eefcdf92e3fa6740816f1248c39a129b33f52f0517d134bc5a7150",
"expected": "0a066aa723eefcdf92e3fa6740816f1248c39a129b33f52f0517d134bc5a7150",
"pass": true
},
{
"name": "C1552 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1552 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1552 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1552 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1553 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1553 sequence",
"actual": 1553,
"expected": 1553,
"pass": true
},
{
"name": "C1553 predecessor",
"actual": "0a066aa723eefcdf92e3fa6740816f1248c39a129b33f52f0517d134bc5a7150",
"expected": "0a066aa723eefcdf92e3fa6740816f1248c39a129b33f52f0517d134bc5a7150",
"pass": true
},
{
"name": "C1553 canonical record hash",
"actual": "a27f47359f0818467961b69c409c69f0c3e9f4b4f6c649d21aa6d70b5cdfba7f",
"expected": "a27f47359f0818467961b69c409c69f0c3e9f4b4f6c649d21aa6d70b5cdfba7f",
"pass": true
},
{
"name": "C1553 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1553 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1553 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1553 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1554 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1554 sequence",
"actual": 1554,
"expected": 1554,
"pass": true
},
{
"name": "C1554 predecessor",
"actual": "a27f47359f0818467961b69c409c69f0c3e9f4b4f6c649d21aa6d70b5cdfba7f",
"expected": "a27f47359f0818467961b69c409c69f0c3e9f4b4f6c649d21aa6d70b5cdfba7f",
"pass": true
},
{
"name": "C1554 canonical record hash",
"actual": "12f6573a6bc1d01da56d47948ac9ca20145305c740644c3092312602576201cd",
"expected": "12f6573a6bc1d01da56d47948ac9ca20145305c740644c3092312602576201cd",
"pass": true
},
{
"name": "C1554 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1554 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1554 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1554 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1555 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1555 sequence",
"actual": 1555,
"expected": 1555,
"pass": true
},
{
"name": "C1555 predecessor",
"actual": "12f6573a6bc1d01da56d47948ac9ca20145305c740644c3092312602576201cd",
"expected": "12f6573a6bc1d01da56d47948ac9ca20145305c740644c3092312602576201cd",
"pass": true
},
{
"name": "C1555 canonical record hash",
"actual": "faf028807389de40e1810a02149f23e3151f5253a86fbb30bad9db1b659ed08e",
"expected": "faf028807389de40e1810a02149f23e3151f5253a86fbb30bad9db1b659ed08e",
"pass": true
},
{
"name": "C1555 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1555 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1555 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1555 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1556 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1556 sequence",
"actual": 1556,
"expected": 1556,
"pass": true
},
{
"name": "C1556 predecessor",
"actual": "faf028807389de40e1810a02149f23e3151f5253a86fbb30bad9db1b659ed08e",
"expected": "faf028807389de40e1810a02149f23e3151f5253a86fbb30bad9db1b659ed08e",
"pass": true
},
{
"name": "C1556 canonical record hash",
"actual": "67022f4f0f4b9153439e0615b53a060b98f9eb9ff6589df9af6cc84d3aaa3f7c",
"expected": "67022f4f0f4b9153439e0615b53a060b98f9eb9ff6589df9af6cc84d3aaa3f7c",
"pass": true
},
{
"name": "C1556 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1556 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1556 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1556 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1557 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1557 sequence",
"actual": 1557,
"expected": 1557,
"pass": true
},
{
"name": "C1557 predecessor",
"actual": "67022f4f0f4b9153439e0615b53a060b98f9eb9ff6589df9af6cc84d3aaa3f7c",
"expected": "67022f4f0f4b9153439e0615b53a060b98f9eb9ff6589df9af6cc84d3aaa3f7c",
"pass": true
},
{
"name": "C1557 canonical record hash",
"actual": "65053aefd14b9348e11ce328407a6b75c04f10ed3d73591661b80cdff0ca3e37",
"expected": "65053aefd14b9348e11ce328407a6b75c04f10ed3d73591661b80cdff0ca3e37",
"pass": true
},
{
"name": "C1557 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1557 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1557 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1557 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1558 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1558 sequence",
"actual": 1558,
"expected": 1558,
"pass": true
},
{
"name": "C1558 predecessor",
"actual": "65053aefd14b9348e11ce328407a6b75c04f10ed3d73591661b80cdff0ca3e37",
"expected": "65053aefd14b9348e11ce328407a6b75c04f10ed3d73591661b80cdff0ca3e37",
"pass": true
},
{
"name": "C1558 canonical record hash",
"actual": "b14cf2cfc6d91a9ed40dd755be3479a862f344ccc951836c49bbb9b3527be67e",
"expected": "b14cf2cfc6d91a9ed40dd755be3479a862f344ccc951836c49bbb9b3527be67e",
"pass": true
},
{
"name": "C1558 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1558 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1558 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1558 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1559 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1559 sequence",
"actual": 1559,
"expected": 1559,
"pass": true
},
{
"name": "C1559 predecessor",
"actual": "b14cf2cfc6d91a9ed40dd755be3479a862f344ccc951836c49bbb9b3527be67e",
"expected": "b14cf2cfc6d91a9ed40dd755be3479a862f344ccc951836c49bbb9b3527be67e",
"pass": true
},
{
"name": "C1559 canonical record hash",
"actual": "1dc06c969b87654c0adf15c9bfaa2c866887c225a59599bd1804046e36cea6ad",
"expected": "1dc06c969b87654c0adf15c9bfaa2c866887c225a59599bd1804046e36cea6ad",
"pass": true
},
{
"name": "C1559 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1559 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1559 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1559 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1560 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1560 sequence",
"actual": 1560,
"expected": 1560,
"pass": true
},
{
"name": "C1560 predecessor",
"actual": "1dc06c969b87654c0adf15c9bfaa2c866887c225a59599bd1804046e36cea6ad",
"expected": "1dc06c969b87654c0adf15c9bfaa2c866887c225a59599bd1804046e36cea6ad",
"pass": true
},
{
"name": "C1560 canonical record hash",
"actual": "751d7084b2c6d7526c84e10ceba9c9155d9c1ffc31572d143c4bda849834ff5f",
"expected": "751d7084b2c6d7526c84e10ceba9c9155d9c1ffc31572d143c4bda849834ff5f",
"pass": true
},
{
"name": "C1560 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1560 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1560 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1560 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1561 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1561 sequence",
"actual": 1561,
"expected": 1561,
"pass": true
},
{
"name": "C1561 predecessor",
"actual": "751d7084b2c6d7526c84e10ceba9c9155d9c1ffc31572d143c4bda849834ff5f",
"expected": "751d7084b2c6d7526c84e10ceba9c9155d9c1ffc31572d143c4bda849834ff5f",
"pass": true
},
{
"name": "C1561 canonical record hash",
"actual": "f13866798f4f92db73d9371b4c5beb0b9bdeea07050a709b64f134dbd64bad46",
"expected": "f13866798f4f92db73d9371b4c5beb0b9bdeea07050a709b64f134dbd64bad46",
"pass": true
},
{
"name": "C1561 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1561 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1561 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1561 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1562 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1562 sequence",
"actual": 1562,
"expected": 1562,
"pass": true
},
{
"name": "C1562 predecessor",
"actual": "f13866798f4f92db73d9371b4c5beb0b9bdeea07050a709b64f134dbd64bad46",
"expected": "f13866798f4f92db73d9371b4c5beb0b9bdeea07050a709b64f134dbd64bad46",
"pass": true
},
{
"name": "C1562 canonical record hash",
"actual": "b5a9ed4a7401bebf9d18959d41c7fe1775a5fdd912f3939ef460025f9dc8935c",
"expected": "b5a9ed4a7401bebf9d18959d41c7fe1775a5fdd912f3939ef460025f9dc8935c",
"pass": true
},
{
"name": "C1562 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1562 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1562 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1562 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1563 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1563 sequence",
"actual": 1563,
"expected": 1563,
"pass": true
},
{
"name": "C1563 predecessor",
"actual": "b5a9ed4a7401bebf9d18959d41c7fe1775a5fdd912f3939ef460025f9dc8935c",
"expected": "b5a9ed4a7401bebf9d18959d41c7fe1775a5fdd912f3939ef460025f9dc8935c",
"pass": true
},
{
"name": "C1563 canonical record hash",
"actual": "9fedbd084c74ed34199ee338a2ff3a8020b83b29161e5f244f90a9e65c644fb0",
"expected": "9fedbd084c74ed34199ee338a2ff3a8020b83b29161e5f244f90a9e65c644fb0",
"pass": true
},
{
"name": "C1563 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1563 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1563 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1563 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1564 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1564 sequence",
"actual": 1564,
"expected": 1564,
"pass": true
},
{
"name": "C1564 predecessor",
"actual": "9fedbd084c74ed34199ee338a2ff3a8020b83b29161e5f244f90a9e65c644fb0",
"expected": "9fedbd084c74ed34199ee338a2ff3a8020b83b29161e5f244f90a9e65c644fb0",
"pass": true
},
{
"name": "C1564 canonical record hash",
"actual": "bd30a1fd6f2d3a55dc69376848456e2726a0881d28f683796a6c436ff678c729",
"expected": "bd30a1fd6f2d3a55dc69376848456e2726a0881d28f683796a6c436ff678c729",
"pass": true
},
{
"name": "C1564 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1564 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1564 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1564 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1565 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1565 sequence",
"actual": 1565,
"expected": 1565,
"pass": true
},
{
"name": "C1565 predecessor",
"actual": "bd30a1fd6f2d3a55dc69376848456e2726a0881d28f683796a6c436ff678c729",
"expected": "bd30a1fd6f2d3a55dc69376848456e2726a0881d28f683796a6c436ff678c729",
"pass": true
},
{
"name": "C1565 canonical record hash",
"actual": "fb6d3c4d630456d92076ff8c20d0d2dc87f6d45a319ca89b90c9105dd09b1740",
"expected": "fb6d3c4d630456d92076ff8c20d0d2dc87f6d45a319ca89b90c9105dd09b1740",
"pass": true
},
{
"name": "C1565 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1565 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1565 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1565 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1566 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1566 sequence",
"actual": 1566,
"expected": 1566,
"pass": true
},
{
"name": "C1566 predecessor",
"actual": "fb6d3c4d630456d92076ff8c20d0d2dc87f6d45a319ca89b90c9105dd09b1740",
"expected": "fb6d3c4d630456d92076ff8c20d0d2dc87f6d45a319ca89b90c9105dd09b1740",
"pass": true
},
{
"name": "C1566 canonical record hash",
"actual": "3b3274cc24c87c476e9a484e8389aa909378f725697d616f318d292dbecfb481",
"expected": "3b3274cc24c87c476e9a484e8389aa909378f725697d616f318d292dbecfb481",
"pass": true
},
{
"name": "C1566 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1566 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1566 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1566 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1567 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1567 sequence",
"actual": 1567,
"expected": 1567,
"pass": true
},
{
"name": "C1567 predecessor",
"actual": "3b3274cc24c87c476e9a484e8389aa909378f725697d616f318d292dbecfb481",
"expected": "3b3274cc24c87c476e9a484e8389aa909378f725697d616f318d292dbecfb481",
"pass": true
},
{
"name": "C1567 canonical record hash",
"actual": "2f148a60d8336d9d9190cf5e85342aedff52498ce1a48199cad89893b0641dc3",
"expected": "2f148a60d8336d9d9190cf5e85342aedff52498ce1a48199cad89893b0641dc3",
"pass": true
},
{
"name": "C1567 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1567 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1567 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1567 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1568 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1568 sequence",
"actual": 1568,
"expected": 1568,
"pass": true
},
{
"name": "C1568 predecessor",
"actual": "2f148a60d8336d9d9190cf5e85342aedff52498ce1a48199cad89893b0641dc3",
"expected": "2f148a60d8336d9d9190cf5e85342aedff52498ce1a48199cad89893b0641dc3",
"pass": true
},
{
"name": "C1568 canonical record hash",
"actual": "eee37f36b05fbc7c930e8d87ad1dd476ddb1c3728cf573e1a531dcbb8b2e0372",
"expected": "eee37f36b05fbc7c930e8d87ad1dd476ddb1c3728cf573e1a531dcbb8b2e0372",
"pass": true
},
{
"name": "C1568 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1568 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1568 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1568 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1569 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1569 sequence",
"actual": 1569,
"expected": 1569,
"pass": true
},
{
"name": "C1569 predecessor",
"actual": "eee37f36b05fbc7c930e8d87ad1dd476ddb1c3728cf573e1a531dcbb8b2e0372",
"expected": "eee37f36b05fbc7c930e8d87ad1dd476ddb1c3728cf573e1a531dcbb8b2e0372",
"pass": true
},
{
"name": "C1569 canonical record hash",
"actual": "c07913091d28f046a0c0a790c788d35b129bd636204324135a1e53eb10876886",
"expected": "c07913091d28f046a0c0a790c788d35b129bd636204324135a1e53eb10876886",
"pass": true
},
{
"name": "C1569 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1569 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1569 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1569 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1570 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1570 sequence",
"actual": 1570,
"expected": 1570,
"pass": true
},
{
"name": "C1570 predecessor",
"actual": "c07913091d28f046a0c0a790c788d35b129bd636204324135a1e53eb10876886",
"expected": "c07913091d28f046a0c0a790c788d35b129bd636204324135a1e53eb10876886",
"pass": true
},
{
"name": "C1570 canonical record hash",
"actual": "b7a22e115749d55ca44421e584d608a62635bdf1647b5d34d8d93e6310951a81",
"expected": "b7a22e115749d55ca44421e584d608a62635bdf1647b5d34d8d93e6310951a81",
"pass": true
},
{
"name": "C1570 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1570 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1570 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1570 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1571 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1571 sequence",
"actual": 1571,
"expected": 1571,
"pass": true
},
{
"name": "C1571 predecessor",
"actual": "b7a22e115749d55ca44421e584d608a62635bdf1647b5d34d8d93e6310951a81",
"expected": "b7a22e115749d55ca44421e584d608a62635bdf1647b5d34d8d93e6310951a81",
"pass": true
},
{
"name": "C1571 canonical record hash",
"actual": "c61b75e3e911675e0c8b1833ae632c569a5b2cd26d4783a588df4d89baa0a27d",
"expected": "c61b75e3e911675e0c8b1833ae632c569a5b2cd26d4783a588df4d89baa0a27d",
"pass": true
},
{
"name": "C1571 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1571 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1571 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1571 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1572 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1572 sequence",
"actual": 1572,
"expected": 1572,
"pass": true
},
{
"name": "C1572 predecessor",
"actual": "c61b75e3e911675e0c8b1833ae632c569a5b2cd26d4783a588df4d89baa0a27d",
"expected": "c61b75e3e911675e0c8b1833ae632c569a5b2cd26d4783a588df4d89baa0a27d",
"pass": true
},
{
"name": "C1572 canonical record hash",
"actual": "6ef2e81a4c16f4dd3833dfcd029547c6387625413bc2f6efbd663520ee5a351d",
"expected": "6ef2e81a4c16f4dd3833dfcd029547c6387625413bc2f6efbd663520ee5a351d",
"pass": true
},
{
"name": "C1572 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1572 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1572 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1572 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1573 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1573 sequence",
"actual": 1573,
"expected": 1573,
"pass": true
},
{
"name": "C1573 predecessor",
"actual": "6ef2e81a4c16f4dd3833dfcd029547c6387625413bc2f6efbd663520ee5a351d",
"expected": "6ef2e81a4c16f4dd3833dfcd029547c6387625413bc2f6efbd663520ee5a351d",
"pass": true
},
{
"name": "C1573 canonical record hash",
"actual": "50e86a288588ad58803c81b212c0a70530c6111d6b11497ffac52088e9a4bb0a",
"expected": "50e86a288588ad58803c81b212c0a70530c6111d6b11497ffac52088e9a4bb0a",
"pass": true
},
{
"name": "C1573 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1573 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1573 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1573 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1574 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1574 sequence",
"actual": 1574,
"expected": 1574,
"pass": true
},
{
"name": "C1574 predecessor",
"actual": "50e86a288588ad58803c81b212c0a70530c6111d6b11497ffac52088e9a4bb0a",
"expected": "50e86a288588ad58803c81b212c0a70530c6111d6b11497ffac52088e9a4bb0a",
"pass": true
},
{
"name": "C1574 canonical record hash",
"actual": "8bbfc3b82cceeb1bbb6df91889944e40c70156d7787f41a5744a10b904ac1c83",
"expected": "8bbfc3b82cceeb1bbb6df91889944e40c70156d7787f41a5744a10b904ac1c83",
"pass": true
},
{
"name": "C1574 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1574 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1574 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1574 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1575 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1575 sequence",
"actual": 1575,
"expected": 1575,
"pass": true
},
{
"name": "C1575 predecessor",
"actual": "8bbfc3b82cceeb1bbb6df91889944e40c70156d7787f41a5744a10b904ac1c83",
"expected": "8bbfc3b82cceeb1bbb6df91889944e40c70156d7787f41a5744a10b904ac1c83",
"pass": true
},
{
"name": "C1575 canonical record hash",
"actual": "75fff32ec9388f53694d7a5316b88fbb26d20bdc0251c45d44c0329f4f8e4d38",
"expected": "75fff32ec9388f53694d7a5316b88fbb26d20bdc0251c45d44c0329f4f8e4d38",
"pass": true
},
{
"name": "C1575 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1575 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1575 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1575 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1576 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1576 sequence",
"actual": 1576,
"expected": 1576,
"pass": true
},
{
"name": "C1576 predecessor",
"actual": "75fff32ec9388f53694d7a5316b88fbb26d20bdc0251c45d44c0329f4f8e4d38",
"expected": "75fff32ec9388f53694d7a5316b88fbb26d20bdc0251c45d44c0329f4f8e4d38",
"pass": true
},
{
"name": "C1576 canonical record hash",
"actual": "8868a85aeee0616bdb753aa8626fc426786f97f8a461c5dfb15f17076dd5999c",
"expected": "8868a85aeee0616bdb753aa8626fc426786f97f8a461c5dfb15f17076dd5999c",
"pass": true
},
{
"name": "C1576 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1576 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1576 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1576 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1577 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1577 sequence",
"actual": 1577,
"expected": 1577,
"pass": true
},
{
"name": "C1577 predecessor",
"actual": "8868a85aeee0616bdb753aa8626fc426786f97f8a461c5dfb15f17076dd5999c",
"expected": "8868a85aeee0616bdb753aa8626fc426786f97f8a461c5dfb15f17076dd5999c",
"pass": true
},
{
"name": "C1577 canonical record hash",
"actual": "3313375e0c5a435d3cc6766b52e41af74572d958d44cbcdd1bc80660f855d923",
"expected": "3313375e0c5a435d3cc6766b52e41af74572d958d44cbcdd1bc80660f855d923",
"pass": true
},
{
"name": "C1577 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1577 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1577 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1577 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1578 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1578 sequence",
"actual": 1578,
"expected": 1578,
"pass": true
},
{
"name": "C1578 predecessor",
"actual": "3313375e0c5a435d3cc6766b52e41af74572d958d44cbcdd1bc80660f855d923",
"expected": "3313375e0c5a435d3cc6766b52e41af74572d958d44cbcdd1bc80660f855d923",
"pass": true
},
{
"name": "C1578 canonical record hash",
"actual": "84847b2ad06ec1544253959661616135482aa5b6fafe63aa53e87f6343cee1e9",
"expected": "84847b2ad06ec1544253959661616135482aa5b6fafe63aa53e87f6343cee1e9",
"pass": true
},
{
"name": "C1578 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1578 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1578 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1578 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1579 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1579 sequence",
"actual": 1579,
"expected": 1579,
"pass": true
},
{
"name": "C1579 predecessor",
"actual": "84847b2ad06ec1544253959661616135482aa5b6fafe63aa53e87f6343cee1e9",
"expected": "84847b2ad06ec1544253959661616135482aa5b6fafe63aa53e87f6343cee1e9",
"pass": true
},
{
"name": "C1579 canonical record hash",
"actual": "a1655873c938b97117bfa8b2760c2782f01f4fa9f62dc456c4c5deb352109f74",
"expected": "a1655873c938b97117bfa8b2760c2782f01f4fa9f62dc456c4c5deb352109f74",
"pass": true
},
{
"name": "C1579 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1579 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1579 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1579 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1580 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1580 sequence",
"actual": 1580,
"expected": 1580,
"pass": true
},
{
"name": "C1580 predecessor",
"actual": "a1655873c938b97117bfa8b2760c2782f01f4fa9f62dc456c4c5deb352109f74",
"expected": "a1655873c938b97117bfa8b2760c2782f01f4fa9f62dc456c4c5deb352109f74",
"pass": true
},
{
"name": "C1580 canonical record hash",
"actual": "b40a171527a1b7968f80f4c04e0f765313d958805681a4a8336965ea97cfc41d",
"expected": "b40a171527a1b7968f80f4c04e0f765313d958805681a4a8336965ea97cfc41d",
"pass": true
},
{
"name": "C1580 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1580 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1580 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1580 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1581 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1581 sequence",
"actual": 1581,
"expected": 1581,
"pass": true
},
{
"name": "C1581 predecessor",
"actual": "b40a171527a1b7968f80f4c04e0f765313d958805681a4a8336965ea97cfc41d",
"expected": "b40a171527a1b7968f80f4c04e0f765313d958805681a4a8336965ea97cfc41d",
"pass": true
},
{
"name": "C1581 canonical record hash",
"actual": "540006904d0a294dce83d9e137b9a2842fe94ec3035d43ef5451fcccf68cab42",
"expected": "540006904d0a294dce83d9e137b9a2842fe94ec3035d43ef5451fcccf68cab42",
"pass": true
},
{
"name": "C1581 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1581 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1581 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1581 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1582 complete fields",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1582 sequence",
"actual": 1582,
"expected": 1582,
"pass": true
},
{
"name": "C1582 predecessor",
"actual": "540006904d0a294dce83d9e137b9a2842fe94ec3035d43ef5451fcccf68cab42",
"expected": "540006904d0a294dce83d9e137b9a2842fe94ec3035d43ef5451fcccf68cab42",
"pass": true
},
{
"name": "C1582 canonical record hash",
"actual": "b7addc59554061e63897a05b62c4aa61bb1479c6be540d4ebb1714b3c626debe",
"expected": "b7addc59554061e63897a05b62c4aa61bb1479c6be540d4ebb1714b3c626debe",
"pass": true
},
{
"name": "C1582 explicit reassessment",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1582 declared check results",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1582 closure after opening",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1582 order in time",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1582 review is portable",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1582 review exists",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1582 review content hash",
"actual": "26fe827bb1d433e070af5168f685e0433073c3c11b19713b9f53fa7ee350ec11",
"expected": "26fe827bb1d433e070af5168f685e0433073c3c11b19713b9f53fa7ee350ec11",
"pass": true
},
{
"name": "C1582 bound Strategy edition",
"actual": "9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476",
"expected": "9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476",
"pass": true
},
{
"name": "C1532 Strategy checkpoint present",
"actual": 1532,
"expected": 1532,
"pass": true
},
{
"name": "C1532 Strategy review recorded",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "C1582 final step",
"actual": 1582,
"expected": 1582,
"pass": true
},
{
"name": "C1582 Strategy review recorded",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "model/cumulative_source_nodes",
"actual": {
"MT": {
"C": 14006,
"F": 4836,
"S": 5436,
"N": 6386,
"A": 1406
},
"LXX": {
"C": 14896,
"F": 5746,
"S": 6346,
"N": 7296,
"A": 1406
},
"SP": {
"C": 13396,
"F": 4716,
"S": 5316,
"N": 6266,
"A": 1406
}
},
"expected": {
"MT": {
"C": 14006,
"F": 4836,
"S": 5436,
"N": 6386,
"A": 1406
},
"LXX": {
"C": 14896,
"F": 5746,
"S": 6346,
"N": 7296,
"A": 1406
},
"SP": {
"C": 13396,
"F": 4716,
"S": 5316,
"N": 6266,
"A": 1406
}
},
"pass": true
},
{
"name": "model/prefix_source_rows",
"actual": {
"names": [
"Adam",
"Seth",
"Enosh",
"Kenan",
"Mahalalel",
"Jared",
"Enoch",
"Methuselah",
"Lamech"
],
"actual": {
"MT": [
930,
912,
905,
910,
895,
962,
365,
969,
777
],
"LXX": [
930,
912,
905,
910,
895,
962,
365,
969,
753
],
"SP": [
930,
912,
905,
910,
895,
847,
365,
720,
653
]
},
"rounded": {
"MT": [
930,
910,
905,
910,
895,
960,
365,
970,
775
],
"LXX": [
930,
910,
905,
910,
895,
960,
365,
970,
755
],
"SP": [
930,
910,
905,
910,
895,
845,
365,
720,
655
]
},
"sums": {
"MT": 7620,
"LXX": 7600,
"SP": 7135
},
"residuals": {
"MT": [
0,
-2,
0,
0,
0,
-2,
0,
1,
-2
],
"LXX": [
0,
-2,
0,
0,
0,
-2,
0,
1,
2
],
"SP": [
0,
-2,
0,
0,
0,
-2,
0,
0,
2
]
}
},
"expected": {
"names": [
"Adam",
"Seth",
"Enosh",
"Kenan",
"Mahalalel",
"Jared",
"Enoch",
"Methuselah",
"Lamech"
],
"actual": {
"MT": [
930,
912,
905,
910,
895,
962,
365,
969,
777
],
"LXX": [
930,
912,
905,
910,
895,
962,
365,
969,
753
],
"SP": [
930,
912,
905,
910,
895,
847,
365,
720,
653
]
},
"rounded": {
"MT": [
930,
910,
905,
910,
895,
960,
365,
970,
775
],
"LXX": [
930,
910,
905,
910,
895,
960,
365,
970,
755
],
"SP": [
930,
910,
905,
910,
895,
845,
365,
720,
655
]
},
"sums": {
"MT": 7620,
"LXX": 7600,
"SP": 7135
},
"residuals": {
"MT": [
0,
-2,
0,
0,
0,
-2,
0,
1,
-2
],
"LXX": [
0,
-2,
0,
0,
0,
-2,
0,
1,
2
],
"SP": [
0,
-2,
0,
0,
0,
-2,
0,
0,
2
]
}
},
"pass": true
},
{
"name": "model/partition_spec",
"actual": {
"order": [
"A",
"F",
"S",
"N",
"C"
],
"partitions": {
"F": [
"F"
],
"S": [
"S"
],
"N": [
"N"
],
"FS": [
"F",
"S"
],
"FN": [
"F",
"N"
],
"SN": [
"S",
"N"
],
"FSN": [
"F",
"S",
"N"
]
},
"head_and_anchor": "alwaysretained",
"reversal": "eachoriginallegonce",
"empty_selection": "notpartofthisnamedspineextension"
},
"expected": {
"order": [
"A",
"F",
"S",
"N",
"C"
],
"partitions": {
"F": [
"F"
],
"S": [
"S"
],
"N": [
"N"
],
"FS": [
"F",
"S"
],
"FN": [
"F",
"N"
],
"SN": [
"S",
"N"
],
"FSN": [
"F",
"S",
"N"
]
},
"head_and_anchor": "alwaysretained",
"reversal": "eachoriginallegonce",
"empty_selection": "notpartofthisnamedspineextension"
},
"pass": true
},
{
"name": "MT retained serial Noah and Shem lives",
"actual": [
950,
600
],
"expected": [
950,
600
],
"pass": true
},
{
"name": "MT rounded prefix agrees with selected head",
"actual": 7620,
"expected": 7620,
"pass": true
},
{
"name": "MT/F source total",
"actual": [
12600,
12600
],
"expected": [
12600,
12600
],
"pass": true
},
{
"name": "MT/F common stage translation",
"actual": [
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700
],
"pass": true
},
{
"name": "MT/S source total",
"actual": [
12600,
12600
],
"expected": [
12600,
12600
],
"pass": true
},
{
"name": "MT/S common stage translation",
"actual": [
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700
],
"pass": true
},
{
"name": "MT/N source total",
"actual": [
12600,
12600
],
"expected": [
12600,
12600
],
"pass": true
},
{
"name": "MT/N common stage translation",
"actual": [
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700
],
"pass": true
},
{
"name": "MT/FS source total",
"actual": [
12600,
12600
],
"expected": [
12600,
12600
],
"pass": true
},
{
"name": "MT/FS common stage translation",
"actual": [
2700,
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700,
2700
],
"pass": true
},
{
"name": "MT/FN source total",
"actual": [
12600,
12600
],
"expected": [
12600,
12600
],
"pass": true
},
{
"name": "MT/FN common stage translation",
"actual": [
2700,
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700,
2700
],
"pass": true
},
{
"name": "MT/SN source total",
"actual": [
12600,
12600
],
"expected": [
12600,
12600
],
"pass": true
},
{
"name": "MT/SN common stage translation",
"actual": [
2700,
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700,
2700
],
"pass": true
},
{
"name": "MT/FSN source total",
"actual": [
12600,
12600
],
"expected": [
12600,
12600
],
"pass": true
},
{
"name": "MT/FSN common stage translation",
"actual": [
2700,
2700,
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700,
2700,
2700
],
"pass": true
},
{
"name": "model/partitions_MT",
"actual": {
"F": {
"source_nodes": [
1406,
4836,
14006
],
"source_legs": [
3430,
9170
],
"inverse_legs": [
3430,
7190
],
"path1406": [
1406,
4836,
12026
],
"path6": [
6,
4106,
7536,
14726
],
"total": 10620
},
"S": {
"source_nodes": [
1406,
5436,
14006
],
"source_legs": [
4030,
8570
],
"inverse_legs": [
3040,
7580
],
"path1406": [
1406,
4446,
12026
],
"path6": [
6,
4106,
7146,
14726
],
"total": 10620
},
"N": {
"source_nodes": [
1406,
6386,
14006
],
"source_legs": [
4980,
7620
],
"inverse_legs": [
8940,
2670
],
"path1406": [
1406,
10346,
13016
],
"path6": [
6,
4106,
13046,
15716
],
"total": 11610
},
"FS": {
"source_nodes": [
1406,
4836,
5436,
14006
],
"source_legs": [
3430,
600,
8570
],
"inverse_legs": [
3430,
600,
7580
],
"path1406": [
1406,
4836,
5436,
13016
],
"path6": [
6,
4106,
7536,
8136,
15716
],
"total": 11610
},
"FN": {
"source_nodes": [
1406,
4836,
6386,
14006
],
"source_legs": [
3430,
1550,
7620
],
"inverse_legs": [
3430,
5510,
2670
],
"path1406": [
1406,
4836,
10346,
13016
],
"path6": [
6,
4106,
7536,
13046,
15716
],
"total": 11610
},
"SN": {
"source_nodes": [
1406,
5436,
6386,
14006
],
"source_legs": [
4030,
950,
7620
],
"inverse_legs": [
3040,
590,
2670
],
"path1406": [
1406,
4446,
5036,
7706
],
"path6": [
6,
4106,
7146,
7736,
10406
],
"total": 6300
},
"FSN": {
"source_nodes": [
1406,
4836,
5436,
6386,
14006
],
"source_legs": [
3430,
600,
950,
7620
],
"inverse_legs": [
3430,
600,
590,
2670
],
"path1406": [
1406,
4836,
5436,
6026,
8696
],
"path6": [
6,
4106,
7536,
8136,
8726,
11396
],
"total": 7290
}
},
"expected": {
"F": {
"source_nodes": [
1406,
4836,
14006
],
"source_legs": [
3430,
9170
],
"inverse_legs": [
3430,
7190
],
"path1406": [
1406,
4836,
12026
],
"path6": [
6,
4106,
7536,
14726
],
"total": 10620
},
"S": {
"source_nodes": [
1406,
5436,
14006
],
"source_legs": [
4030,
8570
],
"inverse_legs": [
3040,
7580
],
"path1406": [
1406,
4446,
12026
],
"path6": [
6,
4106,
7146,
14726
],
"total": 10620
},
"N": {
"source_nodes": [
1406,
6386,
14006
],
"source_legs": [
4980,
7620
],
"inverse_legs": [
8940,
2670
],
"path1406": [
1406,
10346,
13016
],
"path6": [
6,
4106,
13046,
15716
],
"total": 11610
},
"FS": {
"source_nodes": [
1406,
4836,
5436,
14006
],
"source_legs": [
3430,
600,
8570
],
"inverse_legs": [
3430,
600,
7580
],
"path1406": [
1406,
4836,
5436,
13016
],
"path6": [
6,
4106,
7536,
8136,
15716
],
"total": 11610
},
"FN": {
"source_nodes": [
1406,
4836,
6386,
14006
],
"source_legs": [
3430,
1550,
7620
],
"inverse_legs": [
3430,
5510,
2670
],
"path1406": [
1406,
4836,
10346,
13016
],
"path6": [
6,
4106,
7536,
13046,
15716
],
"total": 11610
},
"SN": {
"source_nodes": [
1406,
5436,
6386,
14006
],
"source_legs": [
4030,
950,
7620
],
"inverse_legs": [
3040,
590,
2670
],
"path1406": [
1406,
4446,
5036,
7706
],
"path6": [
6,
4106,
7146,
7736,
10406
],
"total": 6300
},
"FSN": {
"source_nodes": [
1406,
4836,
5436,
6386,
14006
],
"source_legs": [
3430,
600,
950,
7620
],
"inverse_legs": [
3430,
600,
590,
2670
],
"path1406": [
1406,
4836,
5436,
6026,
8696
],
"path6": [
6,
4106,
7536,
8136,
8726,
11396
],
"total": 7290
}
},
"pass": true
},
{
"name": "LXX retained serial Noah and Shem lives",
"actual": [
950,
600
],
"expected": [
950,
600
],
"pass": true
},
{
"name": "LXX rounded prefix agrees with selected head",
"actual": 7600,
"expected": 7600,
"pass": true
},
{
"name": "LXX/F source total",
"actual": [
13490,
13490
],
"expected": [
13490,
13490
],
"pass": true
},
{
"name": "LXX/F common stage translation",
"actual": [
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700
],
"pass": true
},
{
"name": "LXX/S source total",
"actual": [
13490,
13490
],
"expected": [
13490,
13490
],
"pass": true
},
{
"name": "LXX/S common stage translation",
"actual": [
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700
],
"pass": true
},
{
"name": "LXX/N source total",
"actual": [
13490,
13490
],
"expected": [
13490,
13490
],
"pass": true
},
{
"name": "LXX/N common stage translation",
"actual": [
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700
],
"pass": true
},
{
"name": "LXX/FS source total",
"actual": [
13490,
13490
],
"expected": [
13490,
13490
],
"pass": true
},
{
"name": "LXX/FS common stage translation",
"actual": [
2700,
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700,
2700
],
"pass": true
},
{
"name": "LXX/FN source total",
"actual": [
13490,
13490
],
"expected": [
13490,
13490
],
"pass": true
},
{
"name": "LXX/FN common stage translation",
"actual": [
2700,
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700,
2700
],
"pass": true
},
{
"name": "LXX/SN source total",
"actual": [
13490,
13490
],
"expected": [
13490,
13490
],
"pass": true
},
{
"name": "LXX/SN common stage translation",
"actual": [
2700,
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700,
2700
],
"pass": true
},
{
"name": "LXX/FSN source total",
"actual": [
13490,
13490
],
"expected": [
13490,
13490
],
"pass": true
},
{
"name": "LXX/FSN common stage translation",
"actual": [
2700,
2700,
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700,
2700,
2700
],
"pass": true
},
{
"name": "model/partitions_LXX",
"actual": {
"F": {
"source_nodes": [
1406,
5746,
14896
],
"source_legs": [
4340,
9150
],
"inverse_legs": [
4340,
5190
],
"path1406": [
1406,
5746,
10936
],
"path6": [
6,
4106,
8446,
13636
],
"total": 9530
},
"S": {
"source_nodes": [
1406,
6346,
14896
],
"source_legs": [
4940,
8550
],
"inverse_legs": [
4940,
5580
],
"path1406": [
1406,
6346,
11926
],
"path6": [
6,
4106,
9046,
14626
],
"total": 10520
},
"N": {
"source_nodes": [
1406,
7296,
14896
],
"source_legs": [
5890,
7600
],
"inverse_legs": [
9850,
6700
],
"path1406": [
1406,
11256,
17956
],
"path6": [
6,
4106,
13956,
20656
],
"total": 16550
},
"FS": {
"source_nodes": [
1406,
5746,
6346,
14896
],
"source_legs": [
4340,
600,
8550
],
"inverse_legs": [
4340,
600,
5580
],
"path1406": [
1406,
5746,
6346,
11926
],
"path6": [
6,
4106,
8446,
9046,
14626
],
"total": 10520
},
"FN": {
"source_nodes": [
1406,
5746,
7296,
14896
],
"source_legs": [
4340,
1550,
7600
],
"inverse_legs": [
4340,
5510,
6700
],
"path1406": [
1406,
5746,
11256,
17956
],
"path6": [
6,
4106,
8446,
13956,
20656
],
"total": 16550
},
"SN": {
"source_nodes": [
1406,
6346,
7296,
14896
],
"source_legs": [
4940,
950,
7600
],
"inverse_legs": [
4940,
590,
6700
],
"path1406": [
1406,
6346,
6936,
13636
],
"path6": [
6,
4106,
9046,
9636,
16336
],
"total": 12230
},
"FSN": {
"source_nodes": [
1406,
5746,
6346,
7296,
14896
],
"source_legs": [
4340,
600,
950,
7600
],
"inverse_legs": [
4340,
600,
590,
6700
],
"path1406": [
1406,
5746,
6346,
6936,
13636
],
"path6": [
6,
4106,
8446,
9046,
9636,
16336
],
"total": 12230
}
},
"expected": {
"F": {
"source_nodes": [
1406,
5746,
14896
],
"source_legs": [
4340,
9150
],
"inverse_legs": [
4340,
5190
],
"path1406": [
1406,
5746,
10936
],
"path6": [
6,
4106,
8446,
13636
],
"total": 9530
},
"S": {
"source_nodes": [
1406,
6346,
14896
],
"source_legs": [
4940,
8550
],
"inverse_legs": [
4940,
5580
],
"path1406": [
1406,
6346,
11926
],
"path6": [
6,
4106,
9046,
14626
],
"total": 10520
},
"N": {
"source_nodes": [
1406,
7296,
14896
],
"source_legs": [
5890,
7600
],
"inverse_legs": [
9850,
6700
],
"path1406": [
1406,
11256,
17956
],
"path6": [
6,
4106,
13956,
20656
],
"total": 16550
},
"FS": {
"source_nodes": [
1406,
5746,
6346,
14896
],
"source_legs": [
4340,
600,
8550
],
"inverse_legs": [
4340,
600,
5580
],
"path1406": [
1406,
5746,
6346,
11926
],
"path6": [
6,
4106,
8446,
9046,
14626
],
"total": 10520
},
"FN": {
"source_nodes": [
1406,
5746,
7296,
14896
],
"source_legs": [
4340,
1550,
7600
],
"inverse_legs": [
4340,
5510,
6700
],
"path1406": [
1406,
5746,
11256,
17956
],
"path6": [
6,
4106,
8446,
13956,
20656
],
"total": 16550
},
"SN": {
"source_nodes": [
1406,
6346,
7296,
14896
],
"source_legs": [
4940,
950,
7600
],
"inverse_legs": [
4940,
590,
6700
],
"path1406": [
1406,
6346,
6936,
13636
],
"path6": [
6,
4106,
9046,
9636,
16336
],
"total": 12230
},
"FSN": {
"source_nodes": [
1406,
5746,
6346,
7296,
14896
],
"source_legs": [
4340,
600,
950,
7600
],
"inverse_legs": [
4340,
600,
590,
6700
],
"path1406": [
1406,
5746,
6346,
6936,
13636
],
"path6": [
6,
4106,
8446,
9046,
9636,
16336
],
"total": 12230
}
},
"pass": true
},
{
"name": "SP retained serial Noah and Shem lives",
"actual": [
950,
600
],
"expected": [
950,
600
],
"pass": true
},
{
"name": "SP rounded prefix agrees with selected head",
"actual": 7130,
"expected": 7130,
"pass": true
},
{
"name": "SP/F source total",
"actual": [
11990,
11990
],
"expected": [
11990,
11990
],
"pass": true
},
{
"name": "SP/F common stage translation",
"actual": [
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700
],
"pass": true
},
{
"name": "SP/S source total",
"actual": [
11990,
11990
],
"expected": [
11990,
11990
],
"pass": true
},
{
"name": "SP/S common stage translation",
"actual": [
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700
],
"pass": true
},
{
"name": "SP/N source total",
"actual": [
11990,
11990
],
"expected": [
11990,
11990
],
"pass": true
},
{
"name": "SP/N common stage translation",
"actual": [
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700
],
"pass": true
},
{
"name": "SP/FS source total",
"actual": [
11990,
11990
],
"expected": [
11990,
11990
],
"pass": true
},
{
"name": "SP/FS common stage translation",
"actual": [
2700,
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700,
2700
],
"pass": true
},
{
"name": "SP/FN source total",
"actual": [
11990,
11990
],
"expected": [
11990,
11990
],
"pass": true
},
{
"name": "SP/FN common stage translation",
"actual": [
2700,
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700,
2700
],
"pass": true
},
{
"name": "SP/SN source total",
"actual": [
11990,
11990
],
"expected": [
11990,
11990
],
"pass": true
},
{
"name": "SP/SN common stage translation",
"actual": [
2700,
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700,
2700
],
"pass": true
},
{
"name": "SP/FSN source total",
"actual": [
11990,
11990
],
"expected": [
11990,
11990
],
"pass": true
},
{
"name": "SP/FSN common stage translation",
"actual": [
2700,
2700,
2700,
2700,
2700
],
"expected": [
2700,
2700,
2700,
2700,
2700
],
"pass": true
},
{
"name": "model/partitions_SP",
"actual": {
"F": {
"source_nodes": [
1406,
4716,
13396
],
"source_legs": [
3310,
8680
],
"inverse_legs": [
1330,
8680
],
"path1406": [
1406,
2736,
11416
],
"path6": [
6,
4106,
5436,
14116
],
"total": 10010
},
"S": {
"source_nodes": [
1406,
5316,
13396
],
"source_legs": [
3910,
8080
],
"inverse_legs": [
1930,
8080
],
"path1406": [
1406,
3336,
11416
],
"path6": [
6,
4106,
6036,
14116
],
"total": 10010
},
"N": {
"source_nodes": [
1406,
6266,
13396
],
"source_legs": [
4860,
7130
],
"inverse_legs": [
6840,
3170
],
"path1406": [
1406,
8246,
11416
],
"path6": [
6,
4106,
10946,
14116
],
"total": 10010
},
"FS": {
"source_nodes": [
1406,
4716,
5316,
13396
],
"source_legs": [
3310,
600,
8080
],
"inverse_legs": [
1330,
600,
8080
],
"path1406": [
1406,
2736,
3336,
11416
],
"path6": [
6,
4106,
5436,
6036,
14116
],
"total": 10010
},
"FN": {
"source_nodes": [
1406,
4716,
6266,
13396
],
"source_legs": [
3310,
1550,
7130
],
"inverse_legs": [
1330,
5510,
3170
],
"path1406": [
1406,
2736,
8246,
11416
],
"path6": [
6,
4106,
5436,
10946,
14116
],
"total": 10010
},
"SN": {
"source_nodes": [
1406,
5316,
6266,
13396
],
"source_legs": [
3910,
950,
7130
],
"inverse_legs": [
1930,
590,
3170
],
"path1406": [
1406,
3336,
3926,
7096
],
"path6": [
6,
4106,
6036,
6626,
9796
],
"total": 5690
},
"FSN": {
"source_nodes": [
1406,
4716,
5316,
6266,
13396
],
"source_legs": [
3310,
600,
950,
7130
],
"inverse_legs": [
1330,
600,
590,
3170
],
"path1406": [
1406,
2736,
3336,
3926,
7096
],
"path6": [
6,
4106,
5436,
6036,
6626,
9796
],
"total": 5690
}
},
"expected": {
"F": {
"source_nodes": [
1406,
4716,
13396
],
"source_legs": [
3310,
8680
],
"inverse_legs": [
1330,
8680
],
"path1406": [
1406,
2736,
11416
],
"path6": [
6,
4106,
5436,
14116
],
"total": 10010
},
"S": {
"source_nodes": [
1406,
5316,
13396
],
"source_legs": [
3910,
8080
],
"inverse_legs": [
1930,
8080
],
"path1406": [
1406,
3336,
11416
],
"path6": [
6,
4106,
6036,
14116
],
"total": 10010
},
"N": {
"source_nodes": [
1406,
6266,
13396
],
"source_legs": [
4860,
7130
],
"inverse_legs": [
6840,
3170
],
"path1406": [
1406,
8246,
11416
],
"path6": [
6,
4106,
10946,
14116
],
"total": 10010
},
"FS": {
"source_nodes": [
1406,
4716,
5316,
13396
],
"source_legs": [
3310,
600,
8080
],
"inverse_legs": [
1330,
600,
8080
],
"path1406": [
1406,
2736,
3336,
11416
],
"path6": [
6,
4106,
5436,
6036,
14116
],
"total": 10010
},
"FN": {
"source_nodes": [
1406,
4716,
6266,
13396
],
"source_legs": [
3310,
1550,
7130
],
"inverse_legs": [
1330,
5510,
3170
],
"path1406": [
1406,
2736,
8246,
11416
],
"path6": [
6,
4106,
5436,
10946,
14116
],
"total": 10010
},
"SN": {
"source_nodes": [
1406,
5316,
6266,
13396
],
"source_legs": [
3910,
950,
7130
],
"inverse_legs": [
1930,
590,
3170
],
"path1406": [
1406,
3336,
3926,
7096
],
"path6": [
6,
4106,
6036,
6626,
9796
],
"total": 5690
},
"FSN": {
"source_nodes": [
1406,
4716,
5316,
6266,
13396
],
"source_legs": [
3310,
600,
950,
7130
],
"inverse_legs": [
1330,
600,
590,
3170
],
"path1406": [
1406,
2736,
3336,
3926,
7096
],
"path6": [
6,
4106,
5436,
6036,
6626,
9796
],
"total": 5690
}
},
"pass": true
},
{
"name": "MT named Noah lower merge",
"actual": [
0,
0
],
"expected": [
0,
0
],
"pass": true
},
{
"name": "LXX named Noah lower merge",
"actual": [
0,
0
],
"expected": [
0,
0
],
"pass": true
},
{
"name": "SP named Noah lower merge",
"actual": [
0,
0
],
"expected": [
0,
0
],
"pass": true
},
{
"name": "model/lower_1550_law",
"actual": {
"MT": {
"a": 3430,
"merged_original": 4980,
"merged_inverse": 8940,
"split_inverse": 8940,
"defect": 0
},
"LXX": {
"a": 4340,
"merged_original": 5890,
"merged_inverse": 9850,
"split_inverse": 9850,
"defect": 0
},
"SP": {
"a": 3310,
"merged_original": 4860,
"merged_inverse": 6840,
"split_inverse": 6840,
"defect": 0
}
},
"expected": {
"MT": {
"a": 3430,
"merged_original": 4980,
"merged_inverse": 8940,
"split_inverse": 8940,
"defect": 0
},
"LXX": {
"a": 4340,
"merged_original": 5890,
"merged_inverse": 9850,
"split_inverse": 9850,
"defect": 0
},
"SP": {
"a": 3310,
"merged_original": 4860,
"merged_inverse": 6840,
"split_inverse": 6840,
"defect": 0
}
},
"pass": true
},
{
"name": "MT common explicit lifespan split",
"actual": 4320,
"expected": 4320,
"pass": true
},
{
"name": "LXX common explicit lifespan split",
"actual": 4320,
"expected": 4320,
"pass": true
},
{
"name": "SP common explicit lifespan split",
"actual": 4320,
"expected": 4320,
"pass": true
},
{
"name": "LXX refinement/completion join",
"actual": 13636,
"expected": 13636,
"pass": true
},
{
"name": "LXX joined coordinate",
"actual": 13636,
"expected": 13636,
"pass": true
},
{
"name": "SP source to completed refined head",
"actual": 3600,
"expected": 3600,
"pass": true
},
{
"name": "MT inherited secondary Flood/Noah head",
"actual": 13016,
"expected": 13016,
"pass": true
},
{
"name": "LXX prefix reversal register contrast",
"actual": 4030,
"expected": 4030,
"pass": true
},
{
"name": "model/lifespan_split_law",
"actual": {
"original_combined": 1550,
"original_separate": [
600,
950
],
"inverse_combined": 5510,
"inverse_separate": [
600,
590
],
"loss": 4320
},
"expected": {
"original_combined": 1550,
"original_separate": [
600,
950
],
"inverse_combined": 5510,
"inverse_separate": [
600,
590
],
"loss": 4320
},
"pass": true
},
{
"name": "model/upper_1550_law",
"actual": {
"MT": {
"prefix": 7620,
"primary_upper": 7190,
"Noah_grouped_upper": 8180,
"gain": 990
},
"LXX": {
"prefix": 7600,
"primary_upper": 5190,
"Noah_grouped_upper": 12210,
"gain": 7020
},
"SP": {
"prefix": 7130,
"primary_upper": 8680,
"Noah_grouped_upper": 8680,
"gain": 0
}
},
"expected": {
"MT": {
"prefix": 7620,
"primary_upper": 7190,
"Noah_grouped_upper": 8180,
"gain": 990
},
"LXX": {
"prefix": 7600,
"primary_upper": 5190,
"Noah_grouped_upper": 12210,
"gain": 7020
},
"SP": {
"prefix": 7130,
"primary_upper": 8680,
"Noah_grouped_upper": 8680,
"gain": 0
}
},
"pass": true
},
{
"name": "model/refinement_law",
"actual": {
"MT": {
"upper_gain": 990,
"split_loss": 4320,
"predicted_change": -3330,
"observed_change": -3330
},
"LXX": {
"upper_gain": 7020,
"split_loss": 4320,
"predicted_change": 2700,
"observed_change": 2700
},
"SP": {
"upper_gain": 0,
"split_loss": 4320,
"predicted_change": -4320,
"observed_change": -4320
}
},
"expected": {
"MT": {
"upper_gain": 990,
"split_loss": 4320,
"predicted_change": -3330,
"observed_change": -3330
},
"LXX": {
"upper_gain": 7020,
"split_loss": 4320,
"predicted_change": 2700,
"observed_change": 2700
},
"SP": {
"upper_gain": 0,
"split_loss": 4320,
"predicted_change": -4320,
"observed_change": -4320
}
},
"pass": true
},
{
"name": "model/refinement_scope",
"actual": {
"MT": {
"refined_held": 8696,
"primary_completed": 14726,
"signed_difference": -6030
},
"LXX": {
"refined_held": 13636,
"primary_completed": 13636,
"signed_difference": 0
},
"SP": {
"refined_held": 7096,
"primary_completed": 14116,
"signed_difference": -7020
}
},
"expected": {
"MT": {
"refined_held": 8696,
"primary_completed": 14726,
"signed_difference": -6030
},
"LXX": {
"refined_held": 13636,
"primary_completed": 13636,
"signed_difference": 0
},
"SP": {
"refined_held": 7096,
"primary_completed": 14116,
"signed_difference": -7020
}
},
"pass": true
},
{
"name": "model/LXX_completion_join",
"actual": {
"refined_held_path": [
1406,
5746,
6346,
6936,
13636
],
"primary_completed_path": [
6,
4106,
8446,
13636
],
"refinement_gain": 2700,
"stage_gain": 2700,
"common_head": 13636
},
"expected": {
"refined_held_path": [
1406,
5746,
6346,
6936,
13636
],
"primary_completed_path": [
6,
4106,
8446,
13636
],
"refinement_gain": 2700,
"stage_gain": 2700,
"common_head": 13636
},
"pass": true
},
{
"name": "model/SP_refinement_scope",
"actual": {
"source_branch": [
4716,
5316,
6266,
13396
],
"inverse_branch": [
2736,
3336,
3926,
7096
],
"node_shifts": [
-1980,
-1980,
-2340,
-6300
],
"new_local_contractions": [
360,
3960
]
},
"expected": {
"source_branch": [
4716,
5316,
6266,
13396
],
"inverse_branch": [
2736,
3336,
3926,
7096
],
"node_shifts": [
-1980,
-1980,
-2340,
-6300
],
"new_local_contractions": [
360,
3960
]
},
"pass": true
},
{
"name": "MT all seven totals regenerated from merging defects",
"actual": {
"F": 10620,
"S": 10620,
"N": 11610,
"FS": 11610,
"FN": 11610,
"SN": 6300,
"FSN": 7290
},
"expected": {
"F": 10620,
"S": 10620,
"N": 11610,
"FS": 11610,
"FN": 11610,
"SN": 6300,
"FSN": 7290
},
"pass": true
},
{
"name": "MT lower merge cocycle",
"actual": 4320,
"expected": 4320,
"pass": true
},
{
"name": "MT upper merge cocycle",
"actual": 3330,
"expected": 3330,
"pass": true
},
{
"name": "MT cocycle alternative Noah total",
"actual": 11610,
"expected": 11610,
"pass": true
},
{
"name": "LXX all seven totals regenerated from merging defects",
"actual": {
"F": 9530,
"S": 10520,
"N": 16550,
"FS": 10520,
"FN": 16550,
"SN": 12230,
"FSN": 12230
},
"expected": {
"F": 9530,
"S": 10520,
"N": 16550,
"FS": 10520,
"FN": 16550,
"SN": 12230,
"FSN": 12230
},
"pass": true
},
{
"name": "LXX lower merge cocycle",
"actual": 4320,
"expected": 4320,
"pass": true
},
{
"name": "LXX upper merge cocycle",
"actual": -2700,
"expected": -2700,
"pass": true
},
{
"name": "LXX cocycle alternative Noah total",
"actual": 16550,
"expected": 16550,
"pass": true
},
{
"name": "SP all seven totals regenerated from merging defects",
"actual": {
"F": 10010,
"S": 10010,
"N": 10010,
"FS": 10010,
"FN": 10010,
"SN": 5690,
"FSN": 5690
},
"expected": {
"F": 10010,
"S": 10010,
"N": 10010,
"FS": 10010,
"FN": 10010,
"SN": 5690,
"FSN": 5690
},
"pass": true
},
{
"name": "SP lower merge cocycle",
"actual": 4320,
"expected": 4320,
"pass": true
},
{
"name": "SP upper merge cocycle",
"actual": 4320,
"expected": 4320,
"pass": true
},
{
"name": "SP cocycle alternative Noah total",
"actual": 10010,
"expected": 10010,
"pass": true
},
{
"name": "model/merge_defect_grammar",
"actual": {
"MT": {
"full_total": 7290,
"D_a_600": -990,
"D_600_950": 4320,
"D_950_c": 4320,
"D_a_1550": 0,
"D_1550_c": -990,
"D_a600_950": 5310
},
"LXX": {
"full_total": 12230,
"D_a_600": 0,
"D_600_950": 4320,
"D_950_c": -1710,
"D_a_1550": 0,
"D_1550_c": -7020,
"D_a600_950": 4320
},
"SP": {
"full_total": 5690,
"D_a_600": 0,
"D_600_950": 4320,
"D_950_c": 4320,
"D_a_1550": 0,
"D_1550_c": 0,
"D_a600_950": 4320
}
},
"expected": {
"MT": {
"full_total": 7290,
"D_a_600": -990,
"D_600_950": 4320,
"D_950_c": 4320,
"D_a_1550": 0,
"D_1550_c": -990,
"D_a600_950": 5310
},
"LXX": {
"full_total": 12230,
"D_a_600": 0,
"D_600_950": 4320,
"D_950_c": -1710,
"D_a_1550": 0,
"D_1550_c": -7020,
"D_a600_950": 4320
},
"SP": {
"full_total": 5690,
"D_a_600": 0,
"D_600_950": 4320,
"D_950_c": 4320,
"D_a_1550": 0,
"D_1550_c": 0,
"D_a600_950": 4320
}
},
"pass": true
},
{
"name": "File29 appoints4176 Year6+60 state",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "File29 distinguishes4116 Year6 and4114 endpoint",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "File17 appoints4176 MT+275 Year6 state",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "File17 names3901 Year6 variant base",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Year6 variant descriptions agree",
"actual": [
4176,
4176,
4176
],
"expected": [
4176,
4176,
4176
],
"pass": true
},
{
"name": "Year6 source pair is translated SP pair",
"actual": [
4176,
1446
],
"expected": [
4176,
1446
],
"pass": true
},
{
"name": "Year6 source interval retains2730",
"actual": 2730,
"expected": 2730,
"pass": true
},
{
"name": "Babylonian verifier exits successfully",
"actual": 0,
"expected": 0,
"pass": true
},
{
"name": "Babylonian arithmetic status",
"actual": "PASS",
"expected": "PASS",
"pass": true
},
{
"name": "Babylonian/independent spine outputs",
"actual": [
10436,
13136,
2736,
5436,
3336,
6036,
11416,
14116
],
"expected": [
10436,
13136,
2736,
5436,
3336,
6036,
11416,
14116
],
"pass": true
},
{
"name": "Babylonian/model/babylonian_inputs",
"actual": {
"LXX_regular_head_conquest": 10436,
"LXX_regular_head_nativity": 13136,
"SP_inverse_cumulative_Flood_conquest": 2736,
"SP_inverse_cumulative_Flood_nativity": 5436,
"MT_cumulative_Shem_birth": 5436,
"Babylon_start": 606,
"Jerusalem_destruction": 586,
"restoration": 536,
"Exodus": 1446,
"Conquest": 1406,
"Nativity": 6,
"MT_cumulative_Creation": 14006,
"MT_regular_Creation": 4106,
"SP_regular_inverse_head_nativity": 14306,
"SP_regular_Fall": 4406
},
"expected": {
"LXX_regular_head_conquest": 10436,
"LXX_regular_head_nativity": 13136,
"SP_inverse_cumulative_Flood_conquest": 2736,
"SP_inverse_cumulative_Flood_nativity": 5436,
"MT_cumulative_Shem_birth": 5436,
"Babylon_start": 606,
"Jerusalem_destruction": 586,
"restoration": 536,
"Exodus": 1446,
"Conquest": 1406,
"Nativity": 6,
"MT_cumulative_Creation": 14006,
"MT_regular_Creation": 4106,
"SP_regular_inverse_head_nativity": 14306,
"SP_regular_Fall": 4406
},
"pass": true
},
{
"name": "Babylonian/model/babylonian_paths",
"actual": {
"conquest_stage": {
"nodes": [
10436,
2736,
536
],
"legs": [
7700,
2200
],
"total": 9900
},
"nativity_stage": {
"nodes": [
13136,
5436,
536
],
"legs": [
7700,
4900
],
"total": 12600
},
"identities": [
true,
true
]
},
"expected": {
"conquest_stage": {
"nodes": [
10436,
2736,
536
],
"legs": [
7700,
2200
],
"total": 9900
},
"nativity_stage": {
"nodes": [
13136,
5436,
536
],
"legs": [
7700,
4900
],
"total": 12600
},
"identities": [
true,
true
]
},
"pass": true
},
{
"name": "Babylonian/model/stage_rectangle",
"actual": {
"low_edge": [
10436,
2736
],
"high_edge": [
13136,
5436
],
"endpoint_displacements": [
2700,
2700
],
"lengths": [
7700,
7700
]
},
"expected": {
"low_edge": [
10436,
2736
],
"high_edge": [
13136,
5436
],
"endpoint_displacements": [
2700,
2700
],
"lengths": [
7700,
7700
]
},
"pass": true
},
{
"name": "Babylonian/model/interval_9900",
"actual": {
"MT": [
14006,
4106
],
"SP": [
14306,
4406
],
"LXX_Babylon": [
10436,
536
],
"MT_to_SP": 300,
"MT_to_LXX": -3570,
"lengths": [
9900,
9900,
9900
]
},
"expected": {
"MT": [
14006,
4106
],
"SP": [
14306,
4406
],
"LXX_Babylon": [
10436,
536
],
"MT_to_SP": 300,
"MT_to_LXX": -3570,
"lengths": [
9900,
9900,
9900
]
},
"pass": true
},
{
"name": "Babylonian/9900 complete pair MT to SP",
"actual": [
14306,
4406
],
"expected": [
14306,
4406
],
"pass": true
},
{
"name": "Babylonian/9900 complete pair MT to LXX",
"actual": [
10436,
536
],
"expected": [
10436,
536
],
"pass": true
},
{
"name": "Babylonian/model/exile_key",
"actual": {
"held_node": 5436,
"endpoints": [
606,
536
],
"radii": [
4830,
4900
],
"units70": [
69,
70
],
"endpoint_gap": 70
},
"expected": {
"held_node": 5436,
"endpoints": [
606,
536
],
"radii": [
4830,
4900
],
"units70": [
69,
70
],
"endpoint_gap": 70
},
"pass": true
},
{
"name": "Babylonian/model/fixed_total_cuts",
"actual": {
"outer": [
13136,
536
],
"named_cut": 5436,
"alternative_cut": 5366,
"alternative_check": 5366,
"cut_displacement": 70,
"leg_pairs": [
[
7700,
4900
],
[
7770,
4830
]
]
},
"expected": {
"outer": [
13136,
536
],
"named_cut": 5436,
"alternative_cut": 5366,
"alternative_check": 5366,
"cut_displacement": 70,
"leg_pairs": [
[
7700,
4900
],
[
7770,
4830
]
]
},
"pass": true
},
{
"name": "Babylonian/model/two_70_operations",
"actual": {
"local_key": {
"held": 5436,
"moving_endpoint": [
606,
536
],
"radius": [
4830,
4900
],
"whole_total": [
12530,
12600
]
},
"repartition": {
"held_outer": [
13136,
536
],
"moving_cut": [
5436,
5366
],
"legs": [
[
7700,
4900
],
[
7770,
4830
]
],
"whole_total": [
12600,
12600
]
}
},
"expected": {
"local_key": {
"held": 5436,
"moving_endpoint": [
606,
536
],
"radius": [
4830,
4900
],
"whole_total": [
12530,
12600
]
},
"repartition": {
"held_outer": [
13136,
536
],
"moving_cut": [
5436,
5366
],
"legs": [
[
7700,
4900
],
[
7770,
4830
]
],
"whole_total": [
12600,
12600
]
}
},
"pass": true
},
{
"name": "Babylonian/model/SP_Shem_path",
"actual": {
"source_nodes": [
1406,
4716,
5316,
13396
],
"source_legs": [
3310,
600,
8080
],
"inverse_nodes": [
1406,
2736,
3336,
11416
],
"shifts": [
-1980,
-1980,
-1980
]
},
"expected": {
"source_nodes": [
1406,
4716,
5316,
13396
],
"source_legs": [
3310,
600,
8080
],
"inverse_nodes": [
1406,
2736,
3336,
11416
],
"shifts": [
-1980,
-1980,
-1980
]
},
"pass": true
},
{
"name": "Babylonian/model/Shem_whole_edge",
"actual": {
"SP_inverse_cumulative_life": [
3336,
2736
],
"LXX_regular_life": [
3336,
2736
],
"SP_original_cumulative_life": [
5316,
4716
],
"translation": -1980,
"length": 600
},
"expected": {
"SP_inverse_cumulative_life": [
3336,
2736
],
"LXX_regular_life": [
3336,
2736
],
"SP_original_cumulative_life": [
5316,
4716
],
"translation": -1980,
"length": 600
},
"pass": true
},
{
"name": "Babylonian/model/three_MSS_junction",
"actual": {
"Conquest_stage": {
"LXX_head": 10436,
"SP_inverse_Shem": 3336,
"SP_inverse_Flood_and_LXX_Shem_death": 2736
},
"Nativity_stage": {
"LXX_head": 13136,
"SP_inverse_Shem": 6036,
"SP_inverse_Flood_and_MT_cum_Shem": 5436
},
"preserved_edges": [
7100,
600,
7700
],
"translated_edges": [
7100,
600,
7700
]
},
"expected": {
"Conquest_stage": {
"LXX_head": 10436,
"SP_inverse_Shem": 3336,
"SP_inverse_Flood_and_LXX_Shem_death": 2736
},
"Nativity_stage": {
"LXX_head": 13136,
"SP_inverse_Shem": 6036,
"SP_inverse_Flood_and_MT_cum_Shem": 5436
},
"preserved_edges": [
7100,
600,
7700
],
"translated_edges": [
7100,
600,
7700
]
},
"pass": true
},
{
"name": "Babylonian/model/named_partition_key",
"actual": {
"anchor": 536,
"input": 5366,
"output": 5436,
"reciprocal": 5366,
"radii": [
4830,
4900
],
"whole_paths": [
[
13136,
5366,
536
],
[
13136,
5436,
536
]
]
},
"expected": {
"anchor": 536,
"input": 5366,
"output": 5436,
"reciprocal": 5366,
"radii": [
4830,
4900
],
"whole_paths": [
[
13136,
5366,
536
],
[
13136,
5436,
536
]
]
},
"pass": true
},
{
"name": "Babylonian/model/exodus_destruction_path",
"actual": {
"nodes": [
2736,
1446,
586
],
"legs": [
1290,
860
],
"units430": [
3,
2
],
"total": 2150,
"total430": 5
},
"expected": {
"nodes": [
2736,
1446,
586
],
"legs": [
1290,
860
],
"units430": [
3,
2
],
"total": 2150,
"total430": 5
},
"pass": true
},
{
"name": "Babylonian/model/restoration70_grid",
"actual": {
"origin": 536,
"unit": 70,
"nodes": {
"606": 1,
"1866": 19,
"5366": 69,
"5436": 70,
"13136": 180,
"14116": 194
}
},
"expected": {
"origin": 536,
"unit": 70,
"nodes": {
"606": 1,
"1866": 19,
"5366": 69,
"5436": 70,
"13136": 180,
"14116": 194
}
},
"pass": true
},
{
"name": "Babylonian/model/12600_common_refinement",
"actual": {
"nodes": [
13136,
5436,
1866,
536
],
"legs": [
7700,
3570,
1330
],
"units70": [
110,
51,
19
],
"upper_merge": 11270,
"lower_merge": 4900,
"total": 12600
},
"expected": {
"nodes": [
13136,
5436,
1866,
536
],
"legs": [
7700,
3570,
1330
],
"units70": [
110,
51,
19
],
"upper_merge": 11270,
"lower_merge": 4900,
"total": 12600
},
"pass": true
},
{
"name": "Babylonian/fixed source actual no-Cainan comparison",
"actual": 5366,
"expected": 5366,
"pass": true
},
{
"name": "Babylonian/local forward key at Shem",
"actual": 536,
"expected": 536,
"pass": true
},
{
"name": "Babylonian/local reciprocal at Shem",
"actual": 606,
"expected": 606,
"pass": true
},
{
"name": "Babylonian/source-appointed cut forward key",
"actual": 5436,
"expected": 5436,
"pass": true
},
{
"name": "Babylonian/signed cut reciprocal displacement",
"actual": -70,
"expected": -70,
"pass": true
},
{
"name": "Babylonian/fixed total after cut move",
"actual": 12600,
"expected": 12600,
"pass": true
},
{
"name": "Babylonian/global affine image of outer LXX head",
"actual": "306328/23",
"expected": "306328/23",
"pass": true
},
{
"name": "Babylonian/global key cannot keep outer head fixed",
"actual": false,
"expected": false,
"pass": true
},
{
"name": "Babylonian/Covenant Key image of middle junction",
"actual": "132168/23",
"expected": "132168/23",
"pass": true
},
{
"name": "Babylonian/Covenant Key junction displacement",
"actual": "7140/23",
"expected": "7140/23",
"pass": true
},
{
"name": "Babylonian/Covenant head key",
"actual": 14116,
"expected": 14116,
"pass": true
},
{
"name": "Babylonian/two-stage Babylonian local key exact miss",
"actual": "13228/23",
"expected": "13228/23",
"pass": true
},
{
"name": "Babylonian/two-stage image is not restoration",
"actual": false,
"expected": false,
"pass": true
},
{
"name": "Babylonian/70 grid Covenant law",
"actual": 194,
"expected": 194,
"pass": true
},
{
"name": "Babylonian/Covenant source spans",
"actual": [
11270,
12250
],
"expected": [
11270,
12250
],
"pass": true
},
{
"name": "Babylonian/same fixed junction spans",
"actual": [
7700,
8680
],
"expected": [
7700,
8680
],
"pass": true
},
{
"name": "Babylonian/Babylonian destruction divisions",
"actual": [
20,
50,
70
],
"expected": [
20,
50,
70
],
"pass": true
},
{
"name": "Babylonian/SP inverse Flood Babylonian radii",
"actual": [
2130,
2150,
2200
],
"expected": [
2130,
2150,
2200
],
"pass": true
},
{
"name": "Babylonian/Enochian tail",
"actual": 2730,
"expected": 2730,
"pass": true
},
{
"name": "Babylonian/Enochian tail other registers",
"actual": [
2730,
2730
],
"expected": [
2730,
2730
],
"pass": true
},
{
"name": "Babylonian/Enochian tail versus stage shift",
"actual": 30,
"expected": 30,
"pass": true
},
{
"name": "Babylonian/File29 actual MT +60 Year6 counterpart",
"actual": 2730,
"expected": 2730,
"pass": true
},
{
"name": "Babylonian/first-stage 70 grid",
"actual": [
39,
149,
163
],
"expected": [
39,
149,
163
],
"pass": true
},
{
"name": "Babylonian/stage and anchor net increment",
"actual": 2170,
"expected": 2170,
"pass": true
},
{
"name": "Babylonian/other selected 70-grid coordinates",
"actual": {
"586": "5/7",
"1406": "87/7",
"1446": 13,
"6": "-53/7"
},
"expected": {
"586": "5/7",
"1406": "87/7",
"1446": 13,
"6": "-53/7"
},
"pass": true
},
{
"name": "Babylonian/File29 frozen source SHA",
"actual": "0066d07fd7bf2db4faaf79368833880e98b1900c52666903892673718f131421",
"expected": "0066d07fd7bf2db4faaf79368833880e98b1900c52666903892673718f131421",
"pass": true
},
{
"name": "Babylonian/File29 explicitly names source state",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/File29 records independent no-Cainan rail",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/File29 records Enochian counterpart",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound evidence exists: C1482_parent_record.json",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: C1482_parent_record.json",
"actual": [
1379,
"198978b3ccb4f0d320f33172e1592e575de2eaedc8412f19f9514e944509a080"
],
"expected": [
1379,
"198978b3ccb4f0d320f33172e1592e575de2eaedc8412f19f9514e944509a080"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: Comparative_Study.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: Comparative_Study.md",
"actual": [
32805,
"3083e334c2834b5b53aa2acab6aa957c1e21bd28ccb404eb91ec2158d859acdb"
],
"expected": [
32805,
"3083e334c2834b5b53aa2acab6aa957c1e21bd28ccb404eb91ec2158d859acdb"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: File17.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: File17.md",
"actual": [
103967,
"0f5ab858ab7f6e1ff213ed85f1e9f3cec19263e8d49ee4eeb45d81e5990e494e"
],
"expected": [
103967,
"0f5ab858ab7f6e1ff213ed85f1e9f3cec19263e8d49ee4eeb45d81e5990e494e"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: File18.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: File18.md",
"actual": [
221777,
"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
],
"expected": [
221777,
"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: File22.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: File22.md",
"actual": [
121394,
"1c77fd504afbf59b20675980f1122b4f5618a1b8f389132f018d80f65f339894"
],
"expected": [
121394,
"1c77fd504afbf59b20675980f1122b4f5618a1b8f389132f018d80f65f339894"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: File29.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: File29.md",
"actual": [
101073,
"0066d07fd7bf2db4faaf79368833880e98b1900c52666903892673718f131421"
],
"expected": [
101073,
"0066d07fd7bf2db4faaf79368833880e98b1900c52666903892673718f131421"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: File51a.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: File51a.md",
"actual": [
196972,
"d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c"
],
"expected": [
196972,
"d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: File52a_MT_secondary_cumulative_excerpt.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: File52a_MT_secondary_cumulative_excerpt.md",
"actual": [
1557,
"b504093aac4d1ec022641265516985361921f177728cf90196d0c8160a3fc4a3"
],
"expected": [
1557,
"b504093aac4d1ec022641265516985361921f177728cf90196d0c8160a3fc4a3"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: File52c_latest.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: File52c_latest.md",
"actual": [
253860,
"a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530"
],
"expected": [
253860,
"a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: File53.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: File53.md",
"actual": [
74403,
"9f0e41022cab59a43c090c98224e55fe45e622a15e094dacad6721bea0aee8f3"
],
"expected": [
74403,
"9f0e41022cab59a43c090c98224e55fe45e622a15e094dacad6721bea0aee8f3"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: File60.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: File60.md",
"actual": [
94902,
"12a48221b7fdcdcd4ce1b9e169ced8456f291b85f1b453ff3d33de210c64c165"
],
"expected": [
94902,
"12a48221b7fdcdcd4ce1b9e169ced8456f291b85f1b453ff3d33de210c64c165"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: File63.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: File63.md",
"actual": [
179378,
"180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35"
],
"expected": [
179378,
"180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: Moses_LXX_native_complete_path.json",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: Moses_LXX_native_complete_path.json",
"actual": [
3839,
"349e15040eb75bcb325bb2c83865a847266e0b60a265da53410dc040515fd403"
],
"expected": [
3839,
"349e15040eb75bcb325bb2c83865a847266e0b60a265da53410dc040515fd403"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: Reader_before.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: Reader_before.md",
"actual": [
64192,
"4d136569b51ff5d76d3141ca0b7e979256d49e67f1995e9b771b95e4334c1104"
],
"expected": [
64192,
"4d136569b51ff5d76d3141ca0b7e979256d49e67f1995e9b771b95e4334c1104"
],
"pass": true
},
{
"name": "Babylonian/bound evidence exists: Strategy.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "Babylonian/bound source bytes and SHA: Strategy.md",
"actual": [
29743,
"9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476"
],
"expected": [
29743,
"9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476"
],
"pass": true
},
{
"name": "narrative model is nonempty object: babylonian_kernel.json",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "narrative model is nonempty object: claim_ledger_first50.json",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "narrative model is nonempty object: claim_ledger_second50.json",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "narrative model is nonempty object: final_kernel.json",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "all arithmetic model categories covered",
"actual": [],
"expected": [],
"pass": true
}
]
}
Evidence
verification.json
Linked sources and evidence
Edition and provenance
verification.json
SHA-256 9d7aca4bfda4be4a24fca510e028fb566d17ca0ec74497260a599b9a0dc0fdaa
C480–C1634/Research_Cycles/C1483_C1582/c1483_c1582/verification.json