{
"status": "PASS_WITH_SOURCE_POINTER_CLARIFICATION",
"review_scope": "C984–C1007 exact calculations, full declared fields and source/diagnostic qualifications",
"method": "Independent standard-library Fraction calculations; recursive determinant/minor ranks; exhaustive finite residue classes; no root/preparation algebra imports",
"script": "/workspace/scratch/1b40da62dcbd/c932_c1131/prep/key_constraints/review_C984_C1007.py",
"script_sha256": "57d7f3c906f3ed4c29655c853277a3912bd98b417b0356fbb84060200add3840",
"check_count": 212,
"pass_count": 212,
"record_bindings": [
{
"step": 984,
"sha256": "dc92b1a4d39cb1aea2af0a68016c974f54ba1c928e6014ef9b266758f2b6dc22"
},
{
"step": 985,
"sha256": "ca1fb687d526fe397b7dd51e4fbe9b6b7b9fea5bb7c7800f1675d698437aa5df"
},
{
"step": 986,
"sha256": "d8a292ad4d07891854d6e0caf09a4a88bb0b7ac50a057f1e5c4f8da98f7e2bf7"
},
{
"step": 987,
"sha256": "4943fd50616d70bca539f25bdd91ca12d2ce73d480b2b4b55006098679591407"
},
{
"step": 988,
"sha256": "f4ca7f39bf66adfc0b7748a7054e83250c88fba07ce0dc8469a3b0dc7708ffbd"
},
{
"step": 989,
"sha256": "7e7b49c53b5d12c663cebd76338097a9e9a1cc49685e7d7baefe870a48b2e202"
},
{
"step": 990,
"sha256": "98b644dd1fb767351a5065deecb84ef274ade100cfcc31a31a683940966624d5"
},
{
"step": 991,
"sha256": "d3859ee65e2e01ec3ebe9099894e72e315b8591e00258c5b33308e3f9606d8d7"
},
{
"step": 992,
"sha256": "6def0f2fcdc3147880fbc2ffdaefd4ce195494a40f04fb9722e46c471cc37f5d"
},
{
"step": 993,
"sha256": "e154b01f56e7b52fcf5a1193c7078496c77ac689a15b3616b00dbaced8f3cb8f"
},
{
"step": 994,
"sha256": "15cc695fa2dd8c10163b7a33c74a3ac607d7e682b0642e224d4d4e586b7d65d0"
},
{
"step": 995,
"sha256": "04bd58dba9703075d630020c71a6c1b0c2428e508ed4cf5626587d31fcaa57af"
},
{
"step": 996,
"sha256": "97a316d99fd4c0b7ebb4246f2255532ccf5b5de85b48527b72c9bed63e92ac15"
},
{
"step": 997,
"sha256": "7d7abe1f3b751463c3d9a696801ca28e47c9910ac78b4851c97d2c524040e197"
},
{
"step": 998,
"sha256": "7b7c8675f32232625f98746a6f0eed5ab3d45116706fab42eec457dbbf305aaa"
},
{
"step": 999,
"sha256": "6f992b301ba80a26752f26973613cbaabb9366ede87f00785bff8c41edea7352"
},
{
"step": 1000,
"sha256": "b0ce4d9805172c518f2bdc73dfa1d9406777f1135d5baa0f8fc5008d4eb164e4"
},
{
"step": 1001,
"sha256": "3c01eb998f1b0f440c676831c9ab5eab4e50200b7c7ea2de588c0cdc3d642b5b"
},
{
"step": 1002,
"sha256": "d7a873e98ab35ec6e9ae9f4c8fdbcf8e79677c5bad44640e49c90d50a5525ebc"
},
{
"step": 1003,
"sha256": "8d91f201b4244c918a1659327bba48abfd8280eb7fe2cd5703eefed13b352c8d"
},
{
"step": 1004,
"sha256": "d8b9017853cdf670cd6459be80ba654e16c504f329b75c7021fd3d70066fd1eb"
},
{
"step": 1005,
"sha256": "4c5d2ee5bd1083017f8f6a04a64ea5c0b12baf95e5728376bcbd8ef588bdb1bc"
},
{
"step": 1006,
"sha256": "74191c6cf262d183089c6aeb9b52ed2bea30b2f295fae719534e369ecce2a931"
},
{
"step": 1007,
"sha256": "766ebbdd56a80ed43b5b971386f834d5fce3d948b1b63b244a932bb39ae6b31d"
}
],
"artifact_bindings": [
{
"path": "model/key_constraint_inputs.json",
"sha256": "1064b340647501b6dfb4ae391459166926ebeaedf9a0f70f2275033b99e3f6f3",
"bytes": 554
},
{
"path": "evidence/algebra.py",
"sha256": "5ee97feebb041bfd8bf679e44e541c1fd3ca5cf49abc5aa81d8d4fc8ccbff40c",
"bytes": 3166
},
{
"path": "model/key_calibration_basis.json",
"sha256": "0cd31da8f6cd69b1b9a7f33ef4fc1994b80e977c2715a19b08cf9043e76d1155",
"bytes": 365
},
{
"path": "model/retained_part_measurement.json",
"sha256": "4bd02f25d95fef51c02d965da796d0c3e1211b02609383f231c7fb1093e8e1d2",
"bytes": 231
},
{
"path": "model/retained_part_complete_field.json",
"sha256": "191c8be002ec5b6904324b1a6bd626f3018146fcd29bb8808ee47ae74366c592",
"bytes": 523
},
{
"path": "model/fixed_pivot_key_domains.json",
"sha256": "9eb556b1e69ffbff221d7a8fc0350f27653c0ae076bb1a77a0e643bc01f3d327",
"bytes": 940
},
{
"path": "model/key_full_field_normal_form.json",
"sha256": "db914a9e5f1a7898a4098a26c534f9d4a527c015aba62d6ba733fb65a3623a57",
"bytes": 359
},
{
"path": "model/mixed_calendar_complete_field.json",
"sha256": "1993eb0c0c6c76278b093d3a22fc54de18eb67c6e7e42c6f39a57be05fdcbdd2",
"bytes": 2280
},
{
"path": "model/key_constraint_ledger.json",
"sha256": "3bd48f32224cc11b72fa175389b1c6625c0a1c26ad6effa31c77c949548410f0",
"bytes": 854
}
],
"source_bindings": {
"Strategy": {
"path": "/workspace/scratch/1b40da62dcbd/upload/490d_Unification_Research_Strategy_v0_2_20260906.md",
"sha256": "9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476"
},
"File12": {
"path": "/workspace/scratch/1b40da62dcbd/project_sources/16-File_12.Calendrical_Physics-20260907-192303-.md",
"sha256": "9a1eff41920cd0f8ded897eb602563cf3575d5ca202d65909865d745d80299a8"
},
"File46": {
"path": "/workspace/scratch/1b40da62dcbd/project_sources/20-File_46.Harmonic_Expansion_Protocols-1-.md",
"sha256": "18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b"
},
"File60": {
"path": "/workspace/scratch/1b40da62dcbd/project_sources/36-File_60.Levitical_Covenant_Spine_161_299_Key_of_23_Reconciliation-10-.md",
"sha256": "12a48221b7fdcdcd4ce1b9e169ced8456f291b85f1b453ff3d33de210c64c165"
},
"File63": {
"path": "/workspace/scratch/1b40da62dcbd/project_sources/09-File_63.Scale_Neutral_480_483_490_Carrier-20260821-143254-.md",
"sha256": "180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35"
},
"SupplementA": {
"path": "/workspace/scratch/1b40da62dcbd/project_sources/14-file_70-supplement-a-key-of-23-fine-resolution-720-30-rail-2-.md",
"sha256": "7a3a2b42ad70a08f9b44b087106b4f6517924c13a00817ecfadf1326da11b968"
},
"File52c_latest": {
"path": "/workspace/scratch/1b40da62dcbd/upload/File_52c.Rounded_Whole_Span_Inverse_Detailed_Study_Draft (2)(1).md",
"sha256": "a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530"
},
"prior_index": {
"path": "/workspace/scratch/1b40da62dcbd/c832_c931/prep/completed_family_index_C482_C831.tsv",
"sha256": "a8cfc6339e49f63e21a25523265e6b64641d81e2dca3d807ebff0b0fcc137514"
}
},
"coarsening_proof": {
"assumption": "C is the incidence map summing a declared partition into disjoint blocks",
"column_i": "(k_i-k_block(i)) times the block's coordinate vector",
"necessity": "A zero operator has every column zero; each fine factor equals its block factor",
"sufficiency": "The stated equalities make every column zero",
"limitation": "Agreement on one supplied weighted vector need not make every column zero"
},
"rank_basis": {
"matrix": [
[
336,
-360,
0
],
[
336,
0,
-364
],
[
1,
-6,
0
],
[
1,
0,
-26
]
],
"rhs": [
0,
0,
-5,
-25
],
"rank": 3,
"left_dependency": [
7,
-6,
-420,
84
],
"solution": [
"25/23",
"70/69",
"300/299"
]
},
"retained_measurements": [
{
"source_parts": [
690,
0
],
"totals": [
690,
700,
750
],
"recovered": [
690,
0
]
},
{
"source_parts": [
690,
30
],
"totals": [
720,
730,
780
],
"recovered": [
690,
30
]
},
{
"source_parts": [
690,
60
],
"totals": [
750,
760,
810
],
"recovered": [
690,
60
]
},
{
"source_parts": [
9660,
2940
],
"totals": [
12600,
12740,
13440
],
"recovered": [
9660,
2940
]
}
],
"exhaustive_affine_domains": [
{
"pair": "E→E",
"nonempty": true,
"residue": 68,
"period": 529,
"exact_residues_in_q1q2_period": [
68
],
"substitutions": [
{
"x": -990,
"y": -2294,
"z": -2914
},
{
"x": 68,
"y": -1144,
"z": -1664
},
{
"x": 1655,
"y": 581,
"z": 211
}
]
},
{
"pair": "E→P",
"nonempty": true,
"residue": 1126,
"period": 1587,
"exact_residues_in_q1q2_period": [
1126
],
"substitutions": [
{
"x": -2048,
"y": -3444,
"z": -3564
},
{
"x": 1126,
"y": 6,
"z": -64
},
{
"x": 5887,
"y": 5181,
"z": 5186
}
]
},
{
"pair": "E→J",
"nonempty": true,
"residue": 68,
"period": 6877,
"exact_residues_in_q1q2_period": [
68
],
"substitutions": [
{
"x": -13686,
"y": -16094,
"z": -16164
},
{
"x": 68,
"y": -1144,
"z": -1164
},
{
"x": 20699,
"y": 21281,
"z": 21336
}
]
},
{
"pair": "P→E",
"nonempty": true,
"residue": 206,
"period": 1587,
"exact_residues_in_q1q2_period": [
206
],
"substitutions": [
{
"x": -2968,
"y": -3214,
"z": -3914
},
{
"x": 206,
"y": 6,
"z": -414
},
{
"x": 4967,
"y": 4836,
"z": 4836
}
]
},
{
"pair": "P→P",
"nonempty": true,
"residue": 206,
"period": 4761,
"exact_residues_in_q1q2_period": [
206
],
"substitutions": [
{
"x": -9316,
"y": -9654,
"z": -9864
},
{
"x": 206,
"y": 6,
"z": -64
},
{
"x": 14489,
"y": 14496,
"z": 14636
}
]
},
{
"pair": "P→J",
"nonempty": true,
"residue": 4967,
"period": 20631,
"exact_residues_in_q1q2_period": [
4967
],
"substitutions": [
{
"x": -36295,
"y": -37024,
"z": -37164
},
{
"x": 4967,
"y": 4836,
"z": 4836
},
{
"x": 66860,
"y": 67626,
"z": 67836
}
]
},
{
"pair": "J→E",
"nonempty": true,
"residue": 2345,
"period": 6877,
"exact_residues_in_q1q2_period": [
2345
],
"substitutions": [
{
"x": -11409,
"y": -11494,
"z": -12914
},
{
"x": 2345,
"y": 2306,
"z": 2086
},
{
"x": 22976,
"y": 23006,
"z": 24586
}
]
},
{
"pair": "J→P",
"nonempty": false,
"exact_residues_in_q1q2_period": [],
"substitutions": []
},
{
"pair": "J→J",
"nonempty": true,
"residue": 43607,
"period": 89401,
"exact_residues_in_q1q2_period": [
43607
],
"substitutions": [
{
"x": -135195,
"y": -135694,
"z": -136164
},
{
"x": 43607,
"y": 43706,
"z": 43836
},
{
"x": 311810,
"y": 312806,
"z": 313836
}
]
}
],
"mixed_unit_field": [
{
"assignment": [
"E",
"E"
],
"outputs": [
325,
175
],
"units": [
336,
336
],
"volumes": [
109200,
58800
],
"total": 168000
},
{
"assignment": [
"E",
"P"
],
"outputs": [
325,
"490/3"
],
"units": [
336,
360
],
"volumes": [
109200,
58800
],
"total": 168000
},
{
"assignment": [
"E",
"J"
],
"outputs": [
325,
"2100/13"
],
"units": [
336,
364
],
"volumes": [
109200,
58800
],
"total": 168000
},
{
"assignment": [
"P",
"E"
],
"outputs": [
"910/3",
175
],
"units": [
360,
336
],
"volumes": [
109200,
58800
],
"total": 168000
},
{
"assignment": [
"P",
"P"
],
"outputs": [
"910/3",
"490/3"
],
"units": [
360,
360
],
"volumes": [
109200,
58800
],
"total": 168000
},
{
"assignment": [
"P",
"J"
],
"outputs": [
"910/3",
"2100/13"
],
"units": [
360,
364
],
"volumes": [
109200,
58800
],
"total": 168000
},
{
"assignment": [
"J",
"E"
],
"outputs": [
300,
175
],
"units": [
364,
336
],
"volumes": [
109200,
58800
],
"total": 168000
},
{
"assignment": [
"J",
"P"
],
"outputs": [
300,
"490/3"
],
"units": [
364,
360
],
"volumes": [
109200,
58800
],
"total": 168000
},
{
"assignment": [
"J",
"J"
],
"outputs": [
300,
"2100/13"
],
"units": [
364,
364
],
"volumes": [
109200,
58800
],
"total": 168000
}
],
"observations": [
{
"severity": "nonblocking source-pointer clarification",
"records": [
995,
996
],
"finding": "The retained 9660|2940 family with totals 12600,12740,13440 is directly sourced in Supplement A §10.3. Latest File52c should not be cited as its controlling source.",
"controlling_path": "/workspace/scratch/1b40da62dcbd/project_sources/14-file_70-supplement-a-key-of-23-fine-resolution-720-30-rail-2-.md",
"controlling_sha256": "7a3a2b42ad70a08f9b44b087106b4f6517924c13a00817ecfadf1326da11b968",
"lines": [
2130,
2185
],
"action": "Carry the source attribution forward explicitly; leave completed journal records and arithmetic intact."
},
{
"severity": "wording precision",
"records": [
1004,
1005,
1006
],
"finding": "File60 supplies the 299|161 partition and the component branches 299→300 and161→175. The assembled475 comparison is inherited C533; cite that comparison rather than implying File60 directly appoints a literal mixed-calendar475 timeline.",
"action": "Retain the conditional unit interpretation already present in C1004–C1006 and name inherited C533 when discussing the mixed path."
}
],
"checks": [
{
"name": "24 completed records",
"passed": true,
"actual": [
984,
985,
986,
987,
988,
989,
990,
991,
992,
993,
994,
995,
996,
997,
998,
999,
1000,
1001,
1002,
1003,
1004,
1005,
1006,
1007
],
"expected": [
984,
985,
986,
987,
988,
989,
990,
991,
992,
993,
994,
995,
996,
997,
998,
999,
1000,
1001,
1002,
1003,
1004,
1005,
1006,
1007
]
},
{
"name": "source hash Strategy",
"passed": true,
"actual": "9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476",
"expected": "9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476"
},
{
"name": "source hash File12",
"passed": true,
"actual": "9a1eff41920cd0f8ded897eb602563cf3575d5ca202d65909865d745d80299a8",
"expected": "9a1eff41920cd0f8ded897eb602563cf3575d5ca202d65909865d745d80299a8"
},
{
"name": "source hash File46",
"passed": true,
"actual": "18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b",
"expected": "18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b"
},
{
"name": "source hash File60",
"passed": true,
"actual": "12a48221b7fdcdcd4ce1b9e169ced8456f291b85f1b453ff3d33de210c64c165",
"expected": "12a48221b7fdcdcd4ce1b9e169ced8456f291b85f1b453ff3d33de210c64c165"
},
{
"name": "source hash File63",
"passed": true,
"actual": "180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35",
"expected": "180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35"
},
{
"name": "source hash SupplementA",
"passed": true,
"actual": "7a3a2b42ad70a08f9b44b087106b4f6517924c13a00817ecfadf1326da11b968",
"expected": "7a3a2b42ad70a08f9b44b087106b4f6517924c13a00817ecfadf1326da11b968"
},
{
"name": "source hash File52c_latest",
"passed": true,
"actual": "a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530",
"expected": "a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530"
},
{
"name": "source hash prior_index",
"passed": true,
"actual": "a8cfc6339e49f63e21a25523265e6b64641d81e2dca3d807ebff0b0fcc137514",
"expected": "a8cfc6339e49f63e21a25523265e6b64641d81e2dca3d807ebff0b0fcc137514"
},
{
"name": "literal source excerpt 1",
"passed": true,
"actual": "\nThe Style Guide already states the shared schematic year:\n\n\\[\nK=8400/23.\n\\]\n\nThe three exact identities are\n\n\\[\n336\\frac{25}{23}=360\\frac{70}{69}=364\\frac{300}{299}=K.\n\\]\n\nConsequently, at the scalar/calendar level,\n\n\\[\nK_d(s)=\\frac{K}{d}s,\\qquad d\\in\\{336,360,364\\},\n\\]\n\nand\n\n\\[\ndK_d(s)=Ks.\n\\]\n\nThe output year counts differ because their declared year lengths differ, while their modeled day-volume is the same. This supplies an existing mathematical reason for compatibility among the Keys.\n\nFor example, the `12558` seed gives `13650`, `12740`, and `12600` under the Priestly, Prophetic, and Enochian Keys, respectively:\n\n\\[\n13650\\times336=12740\\times360=12600\\times364=4586400.\n\\]\n",
"expected": "\nThe Style Guide already states the shared schematic year:\n\n\\[\nK=8400/23.\n\\]\n\nThe three exact identities are\n\n\\[\n336\\frac{25}{23}=360\\frac{70}{69}=364\\frac{300}{299}=K.\n\\]\n\nConsequently, at the scalar/calendar level,\n\n\\[\nK_d(s)=\\frac{K}{d}s,\\qquad d\\in\\{336,360,364\\},\n\\]\n\nand\n\n\\[\ndK_d(s)=Ks.\n\\]\n\nThe output year counts differ because their declared year lengths differ, while their modeled day-volume is the same. This supplies an existing mathematical reason for compatibility among the Keys.\n\nFor example, the `12558` seed gives `13650`, `12740`, and `12600` under the Priestly, Prophetic, and Enochian Keys, respectively:\n\n\\[\n13650\\times336=12740\\times360=12600\\times364=4586400.\n\\]\n"
},
{
"name": "literal source excerpt 2",
"passed": true,
"actual": "The active Enochian Key-of-23 operator is `300/299`, the third allowable ratio after `25/23` and `70/69`. It means that `300 × 364` Enochian days nearly equals `299 × 365.2422` true-solar days. The legacy `299/300` label is retained only as source-history / inverse wording where it appears. Do not make `299/300` the operative conversion ratio.\n",
"expected": "The active Enochian Key-of-23 operator is `300/299`, the third allowable ratio after `25/23` and `70/69`. It means that `300 × 364` Enochian days nearly equals `299 × 365.2422` true-solar days. The legacy `299/300` label is retained only as source-history / inverse wording where it appears. Do not make `299/300` the operative conversion ratio.\n"
},
{
"name": "literal source excerpt 3",
"passed": true,
"actual": "## 2. Generator Locks: Solomon and Christ\n\n### 2.1 Solomon expansion (Priestly operator from deep time)\n\nActive state: Priestly Ratio `25/23`; cumulative deep-time anchor `14006 BC` by `File_22` dependency; Matthew-side display ledger (`File_43` 70-year carrier display; source wording: \"Matthew shadow lattice\").\n\nGoal: generate `1756 BC`, the end of Solomon's 70-year carrier (`1826–1756 BC`), by applying the Priestly operator to the deep-time → Abraham boundary span.\n\n| Step | Value |\n|---|---|\n| Anchor | `14006 BC` |\n| Intermediate endpoint | `2736 BC` — end of the Abraham generation (`2806–2736 BC`) in the Matthew-side display ledger |\n| Input span | `14006 − 2736 = 11270` |\n| Operator | Priestly expansion `25/23` |\n| Expanded span | `11270 × 25/23 = 12250`, because `11270/23 = 490` and `490 × 25 = 12250` |\n| Projected endpoint | `14006 − 12250 = 1756 BC` |\n| Expansion delta | `12250 − 11270 = 980 = 14 × 70` |\n\nLattice placement:\n`1756 BC` is the end of Solomon's 70-year carrier (`1826–1756 BC`) in the `File_43` display ledger.\n\nClaim-status note:\nThe span chain is arithmetic fact under the stated operator. The identification of the projected endpoint with the Solomon carrier boundary is structural inference controlled by the `File_43` ledger. \"Lock\" in this file's source is a legacy label for these lattice placements; it is not the `File_33` Value Lock or Ordinal Lock state.\n\n### 2.2 Christ-generation generator (Prophetic operator from the Enoch pivot)\n\nActive state: Prophetic Ratio `70/69`; Enoch pivot state `4836 BC`.\n\nGoal: generate the AD 65 terminus of the Christ generation from the Enoch pivot.\n\n| Step | Value |\n|---|---|\n| Anchor | `4836 BC` (Enoch pivot) |\n| Input span (solar) | `4836 BC → 6 BC = 4830` |\n| Operator | Prophetic expansion `70/69` |\n| Expanded span | `4830 × 70/69 = 4900` |\n| Endpoint | `4836 BC → AD 65 = 4900`, because `4836 + 65 − 1 = 4900` |\n\nLattice placement:\nAD 65 is the end of the Christ generation (`6 BC → AD 65`) in the 70-year lattice framing of `File_43`.\n\n## 3. The 9660 Dual Expansion: Adam and Noah/Shem\n\nDefine the doubled base span:\n\n```markdown\n9660 = 2 × 4830\n```\n\n### 3.1 Prophetic track — Matthew-side Adam at 4206 BC\n\nActive state: Prophetic Ratio `70/69`; deep-time anchor `14006 BC`; Matthew-side display ledger.\n\n| Step | Value |\n|---|---|\n| Input | `9660` |\n| Operator | `70/69` |\n| Expanded span | `9660 × 70/69 = 9800`, because `9660/69 = 140` and `140 × 70 = 9800` |\n| Endpoint from deep time | `14006 − 9800 = 4206 BC` |\n\nLattice placement:\n`4206 BC` opens the Matthew-side display bracket \"Creation of Adam\" (`4206–4136 BC`) in the `File_43` ledger.\n\n### 3.2 Priestly track — Noah/Shem hinge at 3506 BC\n\nActive state: Priestly Ratio `25/23`; deep-time anchor `14006 BC`; Matthew-side display ledger.\n\n| Step | Value |\n|---|---|\n| Input | `9660` |\n| Operator | `25/23` |\n| Expanded span | `9660 × 25/23 = 10500`, because `9660/23 = 420` and `420 × 25 = 10500` |\n| Endpoint from deep time | `14006 − 10500 = 3506 BC` |\n\nLattice placement:\n`3506 BC` is the Noah/Shem hinge boundary — end of the Noah generation (`3576–3506 BC`), start of the Shem generation (`3506–3436 BC`) — on the Matthew side of the `File_43` ledger.\n\n## 4. The Rosetta Stone: 3-Calendar Resolution\n\nSection-heading note:\n\"Rosetta Stone\" is retained as a legacy theorem label; its evidential role is supplied by the claim-status notes below.\n\n### 4.1 One fixed solar span\n\n```markdown\n4836 BC → 6 BC = 4830 solar years\n```\n\n### 4.2 Three translations of the same 4830 span\n\n| Translation | Operator | Result | Matching lattice span |\n|---|---|---|---|\n| Solar (Enoch) | none | `4830` | `4836 BC → 6 BC = 4830` |\n| Prophetic (Jared) | `70/69` | `4830 × 70/69 = 4900` | `4906 BC → 6 BC = 4900` |\n| Priestly (Luke) | `25/23` | `4830 × 25/23 = 5250` | `5256 BC → 6 BC = 5250` |\n\nNode-class note:\n`4906 BC` is the opening boundary of Luke's Jared generation, and `5256 BC` is Luke's Adam-Creation ledger boundary (`LukeIntervals` lock endpoint), per `File_43` and `File_54`. The correspondence of each expanded value to a lattice boundary is structural inference.",
"expected": "## 2. Generator Locks: Solomon and Christ\n\n### 2.1 Solomon expansion (Priestly operator from deep time)\n\nActive state: Priestly Ratio `25/23`; cumulative deep-time anchor `14006 BC` by `File_22` dependency; Matthew-side display ledger (`File_43` 70-year carrier display; source wording: \"Matthew shadow lattice\").\n\nGoal: generate `1756 BC`, the end of Solomon's 70-year carrier (`1826–1756 BC`), by applying the Priestly operator to the deep-time → Abraham boundary span.\n\n| Step | Value |\n|---|---|\n| Anchor | `14006 BC` |\n| Intermediate endpoint | `2736 BC` — end of the Abraham generation (`2806–2736 BC`) in the Matthew-side display ledger |\n| Input span | `14006 − 2736 = 11270` |\n| Operator | Priestly expansion `25/23` |\n| Expanded span | `11270 × 25/23 = 12250`, because `11270/23 = 490` and `490 × 25 = 12250` |\n| Projected endpoint | `14006 − 12250 = 1756 BC` |\n| Expansion delta | `12250 − 11270 = 980 = 14 × 70` |\n\nLattice placement:\n`1756 BC` is the end of Solomon's 70-year carrier (`1826–1756 BC`) in the `File_43` display ledger.\n\nClaim-status note:\nThe span chain is arithmetic fact under the stated operator. The identification of the projected endpoint with the Solomon carrier boundary is structural inference controlled by the `File_43` ledger. \"Lock\" in this file's source is a legacy label for these lattice placements; it is not the `File_33` Value Lock or Ordinal Lock state.\n\n### 2.2 Christ-generation generator (Prophetic operator from the Enoch pivot)\n\nActive state: Prophetic Ratio `70/69`; Enoch pivot state `4836 BC`.\n\nGoal: generate the AD 65 terminus of the Christ generation from the Enoch pivot.\n\n| Step | Value |\n|---|---|\n| Anchor | `4836 BC` (Enoch pivot) |\n| Input span (solar) | `4836 BC → 6 BC = 4830` |\n| Operator | Prophetic expansion `70/69` |\n| Expanded span | `4830 × 70/69 = 4900` |\n| Endpoint | `4836 BC → AD 65 = 4900`, because `4836 + 65 − 1 = 4900` |\n\nLattice placement:\nAD 65 is the end of the Christ generation (`6 BC → AD 65`) in the 70-year lattice framing of `File_43`.\n\n## 3. The 9660 Dual Expansion: Adam and Noah/Shem\n\nDefine the doubled base span:\n\n```markdown\n9660 = 2 × 4830\n```\n\n### 3.1 Prophetic track — Matthew-side Adam at 4206 BC\n\nActive state: Prophetic Ratio `70/69`; deep-time anchor `14006 BC`; Matthew-side display ledger.\n\n| Step | Value |\n|---|---|\n| Input | `9660` |\n| Operator | `70/69` |\n| Expanded span | `9660 × 70/69 = 9800`, because `9660/69 = 140` and `140 × 70 = 9800` |\n| Endpoint from deep time | `14006 − 9800 = 4206 BC` |\n\nLattice placement:\n`4206 BC` opens the Matthew-side display bracket \"Creation of Adam\" (`4206–4136 BC`) in the `File_43` ledger.\n\n### 3.2 Priestly track — Noah/Shem hinge at 3506 BC\n\nActive state: Priestly Ratio `25/23`; deep-time anchor `14006 BC`; Matthew-side display ledger.\n\n| Step | Value |\n|---|---|\n| Input | `9660` |\n| Operator | `25/23` |\n| Expanded span | `9660 × 25/23 = 10500`, because `9660/23 = 420` and `420 × 25 = 10500` |\n| Endpoint from deep time | `14006 − 10500 = 3506 BC` |\n\nLattice placement:\n`3506 BC` is the Noah/Shem hinge boundary — end of the Noah generation (`3576–3506 BC`), start of the Shem generation (`3506–3436 BC`) — on the Matthew side of the `File_43` ledger.\n\n## 4. The Rosetta Stone: 3-Calendar Resolution\n\nSection-heading note:\n\"Rosetta Stone\" is retained as a legacy theorem label; its evidential role is supplied by the claim-status notes below.\n\n### 4.1 One fixed solar span\n\n```markdown\n4836 BC → 6 BC = 4830 solar years\n```\n\n### 4.2 Three translations of the same 4830 span\n\n| Translation | Operator | Result | Matching lattice span |\n|---|---|---|---|\n| Solar (Enoch) | none | `4830` | `4836 BC → 6 BC = 4830` |\n| Prophetic (Jared) | `70/69` | `4830 × 70/69 = 4900` | `4906 BC → 6 BC = 4900` |\n| Priestly (Luke) | `25/23` | `4830 × 25/23 = 5250` | `5256 BC → 6 BC = 5250` |\n\nNode-class note:\n`4906 BC` is the opening boundary of Luke's Jared generation, and `5256 BC` is Luke's Adam-Creation ledger boundary (`LukeIntervals` lock endpoint), per `File_43` and `File_54`. The correspondence of each expanded value to a lattice boundary is structural inference."
},
{
"name": "literal source excerpt 4",
"passed": true,
"actual": "### 6A.3 Double-expansion licensing and the appendix example\n\nA span divisible by `23²` admits two successive integral `25/23` expansions. This operator fact remains in the main body. The particular LXX `777`-overlay example formerly here, including its onward conversions, is retained in Appendix A.3 and is not independent main-chain evidence.\n\n### 6A.4 The cross-track `2300` and the Jared span\n\n```markdown\n8048 BC (Lamech Flood node, Moses member) → 5748 BC (Arphaxad Flood node, Aaron member) = 2300\n10349 BC (Jared span head) → 5748 BC = 4601 = 2301 + 2300 = 4000 + 1 + 600\n```\n\nMember selections are author-declared: Jared's span head; Lamech's Moses member; Arphaxad's Aaron member. The `+1` is the Flood-year inclusive device — Noah \"in the 600th year… in the 601st\" (Gen. 7:11; 8:13) — which warrants the head-member selection; Shem's `600` stands in for Noah's `600` in the stacked frame. Device recurrence: the SP regular's inclusive-600th `−1` (`File_18`) is the same instrument seen from the other side. Claim-status: arithmetic fact (spans); textual datum (the device); structural inference (selection and substitution).\n\n### 6A.5 The Adam-field expansion\n\n```markdown\nHeads: 14896 / 14466 / 14436 / 14006 BC = 430 + 30 + 430\nApparent head 14926 BC: 30 + 400 + 30 + 30 + 400 + 30 = 920; 920 × 25/23 = 1000\n```\n",
"expected": "### 6A.3 Double-expansion licensing and the appendix example\n\nA span divisible by `23²` admits two successive integral `25/23` expansions. This operator fact remains in the main body. The particular LXX `777`-overlay example formerly here, including its onward conversions, is retained in Appendix A.3 and is not independent main-chain evidence.\n\n### 6A.4 The cross-track `2300` and the Jared span\n\n```markdown\n8048 BC (Lamech Flood node, Moses member) → 5748 BC (Arphaxad Flood node, Aaron member) = 2300\n10349 BC (Jared span head) → 5748 BC = 4601 = 2301 + 2300 = 4000 + 1 + 600\n```\n\nMember selections are author-declared: Jared's span head; Lamech's Moses member; Arphaxad's Aaron member. The `+1` is the Flood-year inclusive device — Noah \"in the 600th year… in the 601st\" (Gen. 7:11; 8:13) — which warrants the head-member selection; Shem's `600` stands in for Noah's `600` in the stacked frame. Device recurrence: the SP regular's inclusive-600th `−1` (`File_18`) is the same instrument seen from the other side. Claim-status: arithmetic fact (spans); textual datum (the device); structural inference (selection and substitution).\n\n### 6A.5 The Adam-field expansion\n\n```markdown\nHeads: 14896 / 14466 / 14436 / 14006 BC = 430 + 30 + 430\nApparent head 14926 BC: 30 + 400 + 30 + 30 + 400 + 30 = 920; 920 × 25/23 = 1000\n```\n"
},
{
"name": "literal source excerpt 5",
"passed": true,
"actual": "## 5. The Covenant partition: `299 + 161 = 460`\n\n### 5.1 The missing chronological expression\n\nUnder the MT Minimum / `−215` state:\n\n```text\nCovenant of Pieces 1866 BC\nLevi death 1567 BC\nAaron death 1407t/1406n BC\n```\n\nThe Covenant-to-Levi span is:\n\n```text\n1866 − 1567 = 299 = 13 × 23\n```\n\nThe Levi-to-Aaron span is:\n\n```text\n1567 − 1406 = 161 = 7 × 23\n```\n\nTogether:\n\n```text\n299 + 161 = 460\n13 × 23 + 7 × 23 = (13 + 7) × 23 = 20 × 23\n```\n\nLevi’s death is therefore the priestly hinge where the Covenant-to-Conquest `460` passes from a `13 × 23` arm into a `7 × 23` arm.\n\n### 5.2 The `7/13` atonement grammar\n\nFile_29 interprets `13` as entropy, rebellion, or curse and `7` as perfection, completion, or reconciliation. In the chronology the relation is additive:\n\n```text\n13 + 7 = 20\n```\n\nThe Enochian calendar expresses the same pair multiplicatively:\n\n```text\n13 weeks × 7 days = 91 days\n4 × 91 = 364\n```\n\nThus the chronology and calendar use the same two coefficients in different operations:\n\n```text\nChronology: 13 × 23 + 7 × 23\nCalendar: 13 × 7\n```\n\nThe author’s atonement interpretation is that `13` is not erased but bound into `7`. Levi’s priestly position makes the transition thematically appropriate.\n\n### 5.3 The internal anatomy of `299`\n\nThe Covenant reaches Levi’s birth in `162` years:\n\n```text\n1866 − 1704 = 162\n```\n\nLevi then lives `137` years:\n\n```text\n162 + 137 = 299\n```\n\nAnd the `162` itself contains both Abrahamic-son routes:\n\n```text\n162 = 1 + 161 = 15 + 147\n```\n\nTherefore:\n\n```text\n299 = 1 + 161 + 137\n299 = 15 + 147 + 137\n```\n\nThe Covenant, Ishmael, Isaac, and Levi are all internal to the `299`.\n\n### 5.4 `299 → 300`\n\nThe Enochian completion operator is:\n\n```text\n299 × 300/299 = 300\n```\n\nHolding the Covenant fixed moves Levi’s terminal coordinate forward one year:\n\n```text\n1567 BC → 1566 BC\n1866 − 1566 = 300\n```\n\nThis one-year completion also changes the Levi-side measure:\n\n```text\n1704 − 1566 = 138 = 6 × 23\n```\n\nThus:\n\n```text\n299 = 162 + 137\n300 = 162 + 138\n```\n\nThe extra year is not treated as an alteration of Levi’s textual lifespan. It is a transformed completion state.\n",
"expected": "## 5. The Covenant partition: `299 + 161 = 460`\n\n### 5.1 The missing chronological expression\n\nUnder the MT Minimum / `−215` state:\n\n```text\nCovenant of Pieces 1866 BC\nLevi death 1567 BC\nAaron death 1407t/1406n BC\n```\n\nThe Covenant-to-Levi span is:\n\n```text\n1866 − 1567 = 299 = 13 × 23\n```\n\nThe Levi-to-Aaron span is:\n\n```text\n1567 − 1406 = 161 = 7 × 23\n```\n\nTogether:\n\n```text\n299 + 161 = 460\n13 × 23 + 7 × 23 = (13 + 7) × 23 = 20 × 23\n```\n\nLevi’s death is therefore the priestly hinge where the Covenant-to-Conquest `460` passes from a `13 × 23` arm into a `7 × 23` arm.\n\n### 5.2 The `7/13` atonement grammar\n\nFile_29 interprets `13` as entropy, rebellion, or curse and `7` as perfection, completion, or reconciliation. In the chronology the relation is additive:\n\n```text\n13 + 7 = 20\n```\n\nThe Enochian calendar expresses the same pair multiplicatively:\n\n```text\n13 weeks × 7 days = 91 days\n4 × 91 = 364\n```\n\nThus the chronology and calendar use the same two coefficients in different operations:\n\n```text\nChronology: 13 × 23 + 7 × 23\nCalendar: 13 × 7\n```\n\nThe author’s atonement interpretation is that `13` is not erased but bound into `7`. Levi’s priestly position makes the transition thematically appropriate.\n\n### 5.3 The internal anatomy of `299`\n\nThe Covenant reaches Levi’s birth in `162` years:\n\n```text\n1866 − 1704 = 162\n```\n\nLevi then lives `137` years:\n\n```text\n162 + 137 = 299\n```\n\nAnd the `162` itself contains both Abrahamic-son routes:\n\n```text\n162 = 1 + 161 = 15 + 147\n```\n\nTherefore:\n\n```text\n299 = 1 + 161 + 137\n299 = 15 + 147 + 137\n```\n\nThe Covenant, Ishmael, Isaac, and Levi are all internal to the `299`.\n\n### 5.4 `299 → 300`\n\nThe Enochian completion operator is:\n\n```text\n299 × 300/299 = 300\n```\n\nHolding the Covenant fixed moves Levi’s terminal coordinate forward one year:\n\n```text\n1567 BC → 1566 BC\n1866 − 1566 = 300\n```\n\nThis one-year completion also changes the Levi-side measure:\n\n```text\n1704 − 1566 = 138 = 6 × 23\n```\n\nThus:\n\n```text\n299 = 162 + 137\n300 = 162 + 138\n```\n\nThe extra year is not treated as an alteration of Levi’s textual lifespan. It is a transformed completion state.\n"
},
{
"name": "literal source excerpt 6",
"passed": true,
"actual": "### 1.3 The `480/483/490` completion classes\n\nThe carrier family contains three non-collapsible completion states:\n\n```text\n480=12×40\n483=12×40.25=480+3=3×161=69×7\n490=70×7.\n```\n\nThe difference between the whole-year and quarter-phase carriers is distributive:\n\n```text\n483−480=3=12×0.25.\n```\n\nThus the `3`-year tail is not an unrelated addition. It is the aggregate of twelve quarter-year increments.\n\nThe Prophetic Key completes the sixty-nine-week carrier:\n\n```text\n483×70/69=490.\n```\n\nThe Priestly Key acts differently:\n\n```text\n483×25/23=525.\n```\n\nThe two expanded values become calendar-equivalent day volumes only after their calendars are declared:\n\n```text\n525×336=176400\n490×360=176400.\n```\n\nFile_62 also supplies the local-subset Priestly route:\n\n```text\n402.5+80.5=483\n80.5×25/23=87.5\n402.5+87.5=490.\n```\n\nThe common endpoint `490` does not identify the Priestly and Prophetic operators. One expands a declared subset; the other expands the whole `69×7` carrier.",
"expected": "### 1.3 The `480/483/490` completion classes\n\nThe carrier family contains three non-collapsible completion states:\n\n```text\n480=12×40\n483=12×40.25=480+3=3×161=69×7\n490=70×7.\n```\n\nThe difference between the whole-year and quarter-phase carriers is distributive:\n\n```text\n483−480=3=12×0.25.\n```\n\nThus the `3`-year tail is not an unrelated addition. It is the aggregate of twelve quarter-year increments.\n\nThe Prophetic Key completes the sixty-nine-week carrier:\n\n```text\n483×70/69=490.\n```\n\nThe Priestly Key acts differently:\n\n```text\n483×25/23=525.\n```\n\nThe two expanded values become calendar-equivalent day volumes only after their calendars are declared:\n\n```text\n525×336=176400\n490×360=176400.\n```\n\nFile_62 also supplies the local-subset Priestly route:\n\n```text\n402.5+80.5=483\n80.5×25/23=87.5\n402.5+87.5=490.\n```\n\nThe common endpoint `490` does not identify the Priestly and Prophetic operators. One expands a declared subset; the other expands the whole `69×7` carrier."
},
{
"name": "literal source excerpt 7",
"passed": true,
"actual": "### 7.3 The `25×483` Jacob–Levi landing\n\nThe corresponding endpoint equations are:\n\n```text\n14011−1936=12075\n14008−1933=12075\n14006−1931=12075\n14004−1929=12075.\n```\n\nThe translated nodes have different evidentiary status:\n\n| Coordinate | Function | Status |\n|---:|---|---|\n| `1936 BC` | cumulative Jacob-death / Levi-birth upper state | source-controlled cumulative node |\n| `1933 BC` | cumulative lower Levitical branch | source-controlled cumulative node |\n| `1931 BC` | Jacob age-`75` derived coordinate | derived but biographically meaningful |\n| `1929 BC` | Jacob age-`77` Bethel / Haran call | source-controlled regular node |\n\nMeasured from Jacob’s regular `2006 BC` birth, the translated labels give:\n\n```text\n2006−1936=70 cross-register comparison to cumulative Jacob death / Levi birth\n2006−1933=73 cross-register comparison to the lower cumulative branch\n2006−1931=75 derived age-label comparison\n2006−1929=77 regular Jacob age at Bethel / Haran.\n```\n\nThese are not four regular biographical ages. The `1936/1933 BC` members remain cumulative nodes; only `1929 BC` is the source-controlled regular call date.\n\nThe Creation sequence `1→4→6→7` is thereby translated into the Jacob age sequence `70→73→75→77` with the same `3+2+2` interval grammar.\n\n### 7.4 The `26×483` Exodus landing\n\nThe next row gives:\n\n```text\n14011−1453=12558\n14008−1450=12558\n14006−1448=12558\n14004−1446=12558.\n```\n\nThe terminal `1446 BC` member is the primary Exodus anchor. The `1453`, `1450`, and `1448 BC` members remain derived translation coordinates unless a controlling dependency assigns them an independent state.\n\nThe carrier factorization is:\n\n```text\n12558=26×483.\n```\n\nIt will reappear in §9 as a bridge between the Prophetic `483→490` and Enochian `299→300` completions.",
"expected": "### 7.3 The `25×483` Jacob–Levi landing\n\nThe corresponding endpoint equations are:\n\n```text\n14011−1936=12075\n14008−1933=12075\n14006−1931=12075\n14004−1929=12075.\n```\n\nThe translated nodes have different evidentiary status:\n\n| Coordinate | Function | Status |\n|---:|---|---|\n| `1936 BC` | cumulative Jacob-death / Levi-birth upper state | source-controlled cumulative node |\n| `1933 BC` | cumulative lower Levitical branch | source-controlled cumulative node |\n| `1931 BC` | Jacob age-`75` derived coordinate | derived but biographically meaningful |\n| `1929 BC` | Jacob age-`77` Bethel / Haran call | source-controlled regular node |\n\nMeasured from Jacob’s regular `2006 BC` birth, the translated labels give:\n\n```text\n2006−1936=70 cross-register comparison to cumulative Jacob death / Levi birth\n2006−1933=73 cross-register comparison to the lower cumulative branch\n2006−1931=75 derived age-label comparison\n2006−1929=77 regular Jacob age at Bethel / Haran.\n```\n\nThese are not four regular biographical ages. The `1936/1933 BC` members remain cumulative nodes; only `1929 BC` is the source-controlled regular call date.\n\nThe Creation sequence `1→4→6→7` is thereby translated into the Jacob age sequence `70→73→75→77` with the same `3+2+2` interval grammar.\n\n### 7.4 The `26×483` Exodus landing\n\nThe next row gives:\n\n```text\n14011−1453=12558\n14008−1450=12558\n14006−1448=12558\n14004−1446=12558.\n```\n\nThe terminal `1446 BC` member is the primary Exodus anchor. The `1453`, `1450`, and `1448 BC` members remain derived translation coordinates unless a controlling dependency assigns them an independent state.\n\nThe carrier factorization is:\n\n```text\n12558=26×483.\n```\n\nIt will reappear in §9 as a bridge between the Prophetic `483→490` and Enochian `299→300` completions."
},
{
"name": "literal source excerpt 8",
"passed": true,
"actual": "### 9.7 The `12558` dual grammar\n\nThe cumulative Creation endpoint to the Exodus is:\n\n```text\n14004−1446=12558.\n```\n\nThe same seed has two exact factorizations:\n\n```text\n12558=26×483\n12558=42×299.\n```\n\nThe Prophetic expansion is:\n\n```text\n26×483 ×70/69\n=26×490\n=12740.\n```\n\nThe Enochian completion is:\n\n```text\n42×299 ×300/299\n=42×300\n=12600.\n```\n\nThus one cumulative seed exposes both the `483→490` and `299→300` grammars without identifying the operators.\n",
"expected": "### 9.7 The `12558` dual grammar\n\nThe cumulative Creation endpoint to the Exodus is:\n\n```text\n14004−1446=12558.\n```\n\nThe same seed has two exact factorizations:\n\n```text\n12558=26×483\n12558=42×299.\n```\n\nThe Prophetic expansion is:\n\n```text\n26×483 ×70/69\n=26×490\n=12740.\n```\n\nThe Enochian completion is:\n\n```text\n42×299 ×300/299\n=42×300\n=12600.\n```\n\nThus one cumulative seed exposes both the `483→490` and `299→300` grammars without identifying the operators.\n"
},
{
"name": "literal source excerpt 9",
"passed": true,
"actual": "coarse-carrier state; crossed-core fine-resolution state; orthogonal-rail state; exact Key-of-23 execution; source/generated node discipline.\n\n### 1.1 The crossed core\n\nThe coarse SKL carrier moves by `720` on either same rail. Crossing from one member of the `+30` pair to the opposite member of the adjacent macro gear contracts the interval by `30`:\n\n```text\n720 − 30 = 690.\n```\n\nThe contracted core is simultaneously divisible by the denominators of the two principal Key-of-23 operators:\n\n```text\n690 = 23×30 = 69×10.\n```\n\nIt therefore admits both exact expansions:\n\n```text\n690×70/69 = 700,\n690×25/23 = 750.\n```\n\nThe Prophetic gain is `10`; the Priestly gain is `60`.\n\n### 1.2 Core, flank, and bracket\n\nThe transformed core must remain distinct from the rail attached to it and from the complete two-rail bracket.\n\n| State | Core | Gain from `690` | One flank: `30+core` | Full bracket: `30+core+30` |\n|---|---:|---:|---:|---:|\n| Native | `690` | `0` | `720` | `750` |\n| Prophetic | `700` | `10` | `730` | `760` |\n| Priestly | `750` | `60` | `780` | `810` |\n\nThe native full bracket and the Priestly-expanded core are both numerically `750`, but they are not the same measured object:\n\n```text\nnative full bracket: 30+690+30 = 750,\nPriestly core: 690×25/23 = 750.\n```\n",
"expected": "coarse-carrier state; crossed-core fine-resolution state; orthogonal-rail state; exact Key-of-23 execution; source/generated node discipline.\n\n### 1.1 The crossed core\n\nThe coarse SKL carrier moves by `720` on either same rail. Crossing from one member of the `+30` pair to the opposite member of the adjacent macro gear contracts the interval by `30`:\n\n```text\n720 − 30 = 690.\n```\n\nThe contracted core is simultaneously divisible by the denominators of the two principal Key-of-23 operators:\n\n```text\n690 = 23×30 = 69×10.\n```\n\nIt therefore admits both exact expansions:\n\n```text\n690×70/69 = 700,\n690×25/23 = 750.\n```\n\nThe Prophetic gain is `10`; the Priestly gain is `60`.\n\n### 1.2 Core, flank, and bracket\n\nThe transformed core must remain distinct from the rail attached to it and from the complete two-rail bracket.\n\n| State | Core | Gain from `690` | One flank: `30+core` | Full bracket: `30+core+30` |\n|---|---:|---:|---:|---:|\n| Native | `690` | `0` | `720` | `750` |\n| Prophetic | `700` | `10` | `730` | `760` |\n| Priestly | `750` | `60` | `780` | `810` |\n\nThe native full bracket and the Priestly-expanded core are both numerically `750`, but they are not the same measured object:\n\n```text\nnative full bracket: 30+690+30 = 750,\nPriestly core: 690×25/23 = 750.\n```\n"
},
{
"name": "literal source excerpt 10",
"passed": true,
"actual": "\n### 10.3 Cumulative calendar-body matrix\n\nThe fixed lower segment is:\n\n```text\n4346−1406 = 2940 = 21×140.\n```\n\nThe native cumulative state is:\n\n```text\n9660+2940 = 12600 = 35×360.\n```\n\nThe Prophetic completion is:\n\n```text\n9660×70/69 = 9800,\n4346+9800 = 14146 BC,\n14146−1406 = 12740 = 35×364.\n```\n\nIts displacement is the exact intercalary difference:\n\n```text\n14146−14006 = 140,\n12740−12600 = 140 = 35×4.\n```\n\nThe Priestly completion is:\n\n```text\n9660×25/23 = 10500,\n4346+10500 = 14846 BC,\n14846−1406 = 13440 = 40×336.\n```\n\nIts gain is:\n\n```text\n10500−9660 = 840,\n14846−14006 = 840,\n13440−12600 = 840.\n```\n\n| State of upper segment | Upper segment | Fixed lower segment | Complete span to `1406 BC` | Calendar body |\n|---|---:|---:|---:|---:|\n| native | `9660=69×140` | `2940` | `12600` | `35×360` |\n| Prophetic completion | `9800=70×140` | `2940` | `12740` | `35×364` |\n| Priestly completion | `10500=75×140` | `2940` | `13440` | `40×336` |\n\nThe inherited File_22 `12740` coordinate execution remains distinct from the generated fixed-`4346` execution `14146→1406 BC`.\n\n### 10.4 Cumulative Cainan continuation\n\nThe restored cumulative Cainan head is:\n\n```text\n14006+460 = 14466 BC.\n```\n\nFrom the common parent:\n\n```text",
"expected": "\n### 10.3 Cumulative calendar-body matrix\n\nThe fixed lower segment is:\n\n```text\n4346−1406 = 2940 = 21×140.\n```\n\nThe native cumulative state is:\n\n```text\n9660+2940 = 12600 = 35×360.\n```\n\nThe Prophetic completion is:\n\n```text\n9660×70/69 = 9800,\n4346+9800 = 14146 BC,\n14146−1406 = 12740 = 35×364.\n```\n\nIts displacement is the exact intercalary difference:\n\n```text\n14146−14006 = 140,\n12740−12600 = 140 = 35×4.\n```\n\nThe Priestly completion is:\n\n```text\n9660×25/23 = 10500,\n4346+10500 = 14846 BC,\n14846−1406 = 13440 = 40×336.\n```\n\nIts gain is:\n\n```text\n10500−9660 = 840,\n14846−14006 = 840,\n13440−12600 = 840.\n```\n\n| State of upper segment | Upper segment | Fixed lower segment | Complete span to `1406 BC` | Calendar body |\n|---|---:|---:|---:|---:|\n| native | `9660=69×140` | `2940` | `12600` | `35×360` |\n| Prophetic completion | `9800=70×140` | `2940` | `12740` | `35×364` |\n| Priestly completion | `10500=75×140` | `2940` | `13440` | `40×336` |\n\nThe inherited File_22 `12740` coordinate execution remains distinct from the generated fixed-`4346` execution `14146→1406 BC`.\n\n### 10.4 Cumulative Cainan continuation\n\nThe restored cumulative Cainan head is:\n\n```text\n14006+460 = 14466 BC.\n```\n\nFrom the common parent:\n\n```text"
},
{
"name": "artifact binding model/key_constraint_inputs.json",
"passed": true,
"actual": [
"1064b340647501b6dfb4ae391459166926ebeaedf9a0f70f2275033b99e3f6f3",
554
],
"expected": [
"1064b340647501b6dfb4ae391459166926ebeaedf9a0f70f2275033b99e3f6f3",
554
]
},
{
"name": "artifact binding evidence/algebra.py",
"passed": true,
"actual": [
"5ee97feebb041bfd8bf679e44e541c1fd3ca5cf49abc5aa81d8d4fc8ccbff40c",
3166
],
"expected": [
"5ee97feebb041bfd8bf679e44e541c1fd3ca5cf49abc5aa81d8d4fc8ccbff40c",
3166
]
},
{
"name": "artifact binding model/key_calibration_basis.json",
"passed": true,
"actual": [
"0cd31da8f6cd69b1b9a7f33ef4fc1994b80e977c2715a19b08cf9043e76d1155",
365
],
"expected": [
"0cd31da8f6cd69b1b9a7f33ef4fc1994b80e977c2715a19b08cf9043e76d1155",
365
]
},
{
"name": "artifact binding model/retained_part_measurement.json",
"passed": true,
"actual": [
"4bd02f25d95fef51c02d965da796d0c3e1211b02609383f231c7fb1093e8e1d2",
231
],
"expected": [
"4bd02f25d95fef51c02d965da796d0c3e1211b02609383f231c7fb1093e8e1d2",
231
]
},
{
"name": "artifact binding model/retained_part_complete_field.json",
"passed": true,
"actual": [
"191c8be002ec5b6904324b1a6bd626f3018146fcd29bb8808ee47ae74366c592",
523
],
"expected": [
"191c8be002ec5b6904324b1a6bd626f3018146fcd29bb8808ee47ae74366c592",
523
]
},
{
"name": "artifact binding model/fixed_pivot_key_domains.json",
"passed": true,
"actual": [
"9eb556b1e69ffbff221d7a8fc0350f27653c0ae076bb1a77a0e643bc01f3d327",
940
],
"expected": [
"9eb556b1e69ffbff221d7a8fc0350f27653c0ae076bb1a77a0e643bc01f3d327",
940
]
},
{
"name": "artifact binding model/key_full_field_normal_form.json",
"passed": true,
"actual": [
"db914a9e5f1a7898a4098a26c534f9d4a527c015aba62d6ba733fb65a3623a57",
359
],
"expected": [
"db914a9e5f1a7898a4098a26c534f9d4a527c015aba62d6ba733fb65a3623a57",
359
]
},
{
"name": "artifact binding model/mixed_calendar_complete_field.json",
"passed": true,
"actual": [
"1993eb0c0c6c76278b093d3a22fc54de18eb67c6e7e42c6f39a57be05fdcbdd2",
2280
],
"expected": [
"1993eb0c0c6c76278b093d3a22fc54de18eb67c6e7e42c6f39a57be05fdcbdd2",
2280
]
},
{
"name": "artifact binding model/key_constraint_ledger.json",
"passed": true,
"actual": [
"3bd48f32224cc11b72fa175389b1c6625c0a1c26ad6effa31c77c949548410f0",
854
],
"expected": [
"3bd48f32224cc11b72fa175389b1c6625c0a1c26ad6effa31c77c949548410f0",
854
]
},
{
"name": "C984 calendars",
"passed": true,
"actual": [
336,
360,
364
],
"expected": [
336,
360,
364
]
},
{
"name": "C984 source fractions",
"passed": true,
"actual": [
"1/6",
"1/26"
],
"expected": [
"1/6",
"1/26"
]
},
{
"name": "C984 pivot packet",
"passed": true,
"actual": [
14006,
4836
],
"expected": [
14006,
4836
]
},
{
"name": "C984 covenant parts",
"passed": true,
"actual": [
299,
161
],
"expected": [
299,
161
]
},
{
"name": "C985 determinant",
"passed": true,
"actual": -1656,
"expected": -1656
},
{
"name": "C985 Cramer solution",
"passed": true,
"actual": [
"25/23",
"70/69"
],
"expected": [
"25/23",
"70/69"
]
},
{
"name": "C985 stored solution",
"passed": true,
"actual": [
"25/23",
"70/69"
],
"expected": [
"25/23",
"70/69"
]
},
{
"name": "C986 determinant",
"passed": true,
"actual": -8372,
"expected": -8372
},
{
"name": "C986 Cramer solution",
"passed": true,
"actual": [
"25/23",
"300/299"
],
"expected": [
"25/23",
"300/299"
]
},
{
"name": "C986 stored solution",
"passed": true,
"actual": [
"25/23",
"300/299"
],
"expected": [
"25/23",
"300/299"
]
},
{
"name": "C987 rank by all minors",
"passed": true,
"actual": 3,
"expected": 3
},
{
"name": "C987 augmented rank by all minors",
"passed": true,
"actual": 3,
"expected": 3
},
{
"name": "C987 exact left dependency including constants",
"passed": true,
"actual": [
0,
0,
0,
0
],
"expected": [
0,
0,
0,
0
]
},
{
"name": "C987 dependency primitive",
"passed": true,
"actual": 1,
"expected": 1
},
{
"name": "C987 every three-row constraint set independent",
"passed": true,
"actual": [
3,
3,
3,
3
],
"expected": [
3,
3,
3,
3
]
},
{
"name": "C987 first three-row solution",
"passed": true,
"actual": [
"25/23",
"70/69",
"300/299"
],
"expected": [
"25/23",
"70/69",
"300/299"
]
},
{
"name": "C988 calibration-only rank",
"passed": true,
"actual": 2,
"expected": 2
},
{
"name": "C988 common volume",
"passed": true,
"actual": [
"8400/23",
"8400/23",
"8400/23"
],
"expected": [
"8400/23",
"8400/23",
"8400/23"
]
},
{
"name": "C988 free family satisfies homogeneous calibration",
"passed": true,
"actual": [
0,
0
],
"expected": [
0,
0
]
},
{
"name": "C989 implied allocation",
"passed": true,
"actual": "1/26",
"expected": "1/26"
},
{
"name": "C990 perturbed E",
"passed": true,
"actual": "312/287",
"expected": "312/287"
},
{
"name": "C990 perturbation difference",
"passed": true,
"actual": "1/6601",
"expected": "1/6601"
},
{
"name": "C991 selection triangle",
"passed": true,
"actual": [
"1/6",
"3/13",
"1/26"
],
"expected": [
"1/6",
"3/13",
"1/26"
]
},
{
"name": "C991 selection fractions compose",
"passed": true,
"actual": "1/26",
"expected": "1/26"
},
{
"name": "C992 nested action",
"passed": true,
"actual": "300/299",
"expected": "300/299"
},
{
"name": "C992 sequential action",
"passed": true,
"actual": "7000/6877",
"expected": "7000/6877"
},
{
"name": "C992 operations distinct",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "C994 partial image",
"passed": true,
"actual": [
"805/2",
"175/2"
],
"expected": [
"805/2",
"175/2"
]
},
{
"name": "C994 uniform image",
"passed": true,
"actual": [
"1225/3",
"245/3"
],
"expected": [
"1225/3",
"245/3"
]
},
{
"name": "C994 internal defect",
"passed": true,
"actual": [
"-35/6",
"35/6"
],
"expected": [
"-35/6",
"35/6"
]
},
{
"name": "C994 same total",
"passed": true,
"actual": [
490,
490,
0
],
"expected": [
490,
490,
0
]
},
{
"name": "C993 agreement does not commute universally",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "C994 general selected-last coefficient",
"passed": true,
"actual": "35/6",
"expected": "35/6"
},
{
"name": "C995 measurement rank",
"passed": true,
"actual": 2,
"expected": 2
},
{
"name": "C995 native-P minor",
"passed": true,
"actual": "-1/69",
"expected": "-1/69"
},
{
"name": "C995 dependent measurement",
"passed": true,
"actual": [
0,
0
],
"expected": [
0,
0
]
},
{
"name": "C996 complete totals (690, 0)",
"passed": true,
"actual": [
690,
700,
750
],
"expected": [
690,
700,
750
]
},
{
"name": "C996 inverse (690, 0)",
"passed": true,
"actual": [
690,
0
],
"expected": [
690,
0
]
},
{
"name": "C996 dependent residual (690, 0)",
"passed": true,
"actual": 0,
"expected": 0
},
{
"name": "C996 complete totals (690, 30)",
"passed": true,
"actual": [
720,
730,
780
],
"expected": [
720,
730,
780
]
},
{
"name": "C996 inverse (690, 30)",
"passed": true,
"actual": [
690,
30
],
"expected": [
690,
30
]
},
{
"name": "C996 dependent residual (690, 30)",
"passed": true,
"actual": 0,
"expected": 0
},
{
"name": "C996 complete totals (690, 60)",
"passed": true,
"actual": [
750,
760,
810
],
"expected": [
750,
760,
810
]
},
{
"name": "C996 inverse (690, 60)",
"passed": true,
"actual": [
690,
60
],
"expected": [
690,
60
]
},
{
"name": "C996 dependent residual (690, 60)",
"passed": true,
"actual": 0,
"expected": 0
},
{
"name": "C996 complete totals (9660, 2940)",
"passed": true,
"actual": [
12600,
12740,
13440
],
"expected": [
12600,
12740,
13440
]
},
{
"name": "C996 inverse (9660, 2940)",
"passed": true,
"actual": [
9660,
2940
],
"expected": [
9660,
2940
]
},
{
"name": "C996 dependent residual (9660, 2940)",
"passed": true,
"actual": 0,
"expected": 0
},
{
"name": "C999 exhaustive domain E→E",
"passed": true,
"actual": {
"nonempty": true,
"residue": 68,
"period": 529
},
"expected": {
"nonempty": true,
"residue": 68,
"period": 529
}
},
{
"name": "C998 existence criterion E→E",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "C999 gcd E→E",
"passed": true,
"actual": 1,
"expected": 1
},
{
"name": "C998 period theorem E→E",
"passed": true,
"actual": 529,
"expected": 529
},
{
"name": "C1000 exact stages E→E n=-2",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages E→E n=0",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages E→E n=3",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1002 translated coset E→E",
"passed": true,
"actual": {
"nonempty": true,
"residue": 283,
"period": 529
},
"expected": {
"nonempty": true,
"residue": 283,
"period": 529
}
},
{
"name": "C1002 both stage shifts E→E",
"passed": true,
"actual": [
215,
215
],
"expected": [
215,
215
]
},
{
"name": "C999 exhaustive domain E→P",
"passed": true,
"actual": {
"nonempty": true,
"residue": 1126,
"period": 1587
},
"expected": {
"nonempty": true,
"residue": 1126,
"period": 1587
}
},
{
"name": "C998 existence criterion E→P",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "C999 gcd E→P",
"passed": true,
"actual": 1,
"expected": 1
},
{
"name": "C998 period theorem E→P",
"passed": true,
"actual": 1587,
"expected": 1587
},
{
"name": "C1000 exact stages E→P n=-2",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages E→P n=0",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages E→P n=3",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1002 translated coset E→P",
"passed": true,
"actual": {
"nonempty": true,
"residue": 1341,
"period": 1587
},
"expected": {
"nonempty": true,
"residue": 1341,
"period": 1587
}
},
{
"name": "C1002 both stage shifts E→P",
"passed": true,
"actual": [
215,
215
],
"expected": [
215,
215
]
},
{
"name": "C999 exhaustive domain E→J",
"passed": true,
"actual": {
"nonempty": true,
"residue": 68,
"period": 6877
},
"expected": {
"nonempty": true,
"residue": 68,
"period": 6877
}
},
{
"name": "C998 existence criterion E→J",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "C999 gcd E→J",
"passed": true,
"actual": 1,
"expected": 1
},
{
"name": "C998 period theorem E→J",
"passed": true,
"actual": 6877,
"expected": 6877
},
{
"name": "C1000 exact stages E→J n=-2",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages E→J n=0",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages E→J n=3",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1002 translated coset E→J",
"passed": true,
"actual": {
"nonempty": true,
"residue": 283,
"period": 6877
},
"expected": {
"nonempty": true,
"residue": 283,
"period": 6877
}
},
{
"name": "C1002 both stage shifts E→J",
"passed": true,
"actual": [
215,
215
],
"expected": [
215,
215
]
},
{
"name": "C999 exhaustive domain P→E",
"passed": true,
"actual": {
"nonempty": true,
"residue": 206,
"period": 1587
},
"expected": {
"nonempty": true,
"residue": 206,
"period": 1587
}
},
{
"name": "C998 existence criterion P→E",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "C999 gcd P→E",
"passed": true,
"actual": 1,
"expected": 1
},
{
"name": "C998 period theorem P→E",
"passed": true,
"actual": 1587,
"expected": 1587
},
{
"name": "C1000 exact stages P→E n=-2",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages P→E n=0",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages P→E n=3",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1002 translated coset P→E",
"passed": true,
"actual": {
"nonempty": true,
"residue": 421,
"period": 1587
},
"expected": {
"nonempty": true,
"residue": 421,
"period": 1587
}
},
{
"name": "C1002 both stage shifts P→E",
"passed": true,
"actual": [
215,
215
],
"expected": [
215,
215
]
},
{
"name": "C999 exhaustive domain P→P",
"passed": true,
"actual": {
"nonempty": true,
"residue": 206,
"period": 4761
},
"expected": {
"nonempty": true,
"residue": 206,
"period": 4761
}
},
{
"name": "C998 existence criterion P→P",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "C999 gcd P→P",
"passed": true,
"actual": 1,
"expected": 1
},
{
"name": "C998 period theorem P→P",
"passed": true,
"actual": 4761,
"expected": 4761
},
{
"name": "C1000 exact stages P→P n=-2",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages P→P n=0",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages P→P n=3",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1002 translated coset P→P",
"passed": true,
"actual": {
"nonempty": true,
"residue": 421,
"period": 4761
},
"expected": {
"nonempty": true,
"residue": 421,
"period": 4761
}
},
{
"name": "C1002 both stage shifts P→P",
"passed": true,
"actual": [
215,
215
],
"expected": [
215,
215
]
},
{
"name": "C999 exhaustive domain P→J",
"passed": true,
"actual": {
"nonempty": true,
"residue": 4967,
"period": 20631
},
"expected": {
"nonempty": true,
"residue": 4967,
"period": 20631
}
},
{
"name": "C998 existence criterion P→J",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "C999 gcd P→J",
"passed": true,
"actual": 1,
"expected": 1
},
{
"name": "C998 period theorem P→J",
"passed": true,
"actual": 20631,
"expected": 20631
},
{
"name": "C1000 exact stages P→J n=-2",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages P→J n=0",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages P→J n=3",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1002 translated coset P→J",
"passed": true,
"actual": {
"nonempty": true,
"residue": 5182,
"period": 20631
},
"expected": {
"nonempty": true,
"residue": 5182,
"period": 20631
}
},
{
"name": "C1002 both stage shifts P→J",
"passed": true,
"actual": [
215,
215
],
"expected": [
215,
215
]
},
{
"name": "C999 exhaustive domain J→E",
"passed": true,
"actual": {
"nonempty": true,
"residue": 2345,
"period": 6877
},
"expected": {
"nonempty": true,
"residue": 2345,
"period": 6877
}
},
{
"name": "C998 existence criterion J→E",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "C999 gcd J→E",
"passed": true,
"actual": 1,
"expected": 1
},
{
"name": "C998 period theorem J→E",
"passed": true,
"actual": 6877,
"expected": 6877
},
{
"name": "C1000 exact stages J→E n=-2",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages J→E n=0",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages J→E n=3",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1002 translated coset J→E",
"passed": true,
"actual": {
"nonempty": true,
"residue": 2560,
"period": 6877
},
"expected": {
"nonempty": true,
"residue": 2560,
"period": 6877
}
},
{
"name": "C1002 both stage shifts J→E",
"passed": true,
"actual": [
215,
215
],
"expected": [
215,
215
]
},
{
"name": "C999 exhaustive domain J→P",
"passed": true,
"actual": {
"nonempty": false
},
"expected": {
"nonempty": false
}
},
{
"name": "C998 existence criterion J→P",
"passed": true,
"actual": false,
"expected": false
},
{
"name": "C999 gcd J→P",
"passed": true,
"actual": 3,
"expected": 3
},
{
"name": "C999 exhaustive domain J→J",
"passed": true,
"actual": {
"nonempty": true,
"residue": 43607,
"period": 89401
},
"expected": {
"nonempty": true,
"residue": 43607,
"period": 89401
}
},
{
"name": "C998 existence criterion J→J",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "C999 gcd J→J",
"passed": true,
"actual": 1,
"expected": 1
},
{
"name": "C998 period theorem J→J",
"passed": true,
"actual": 89401,
"expected": 89401
},
{
"name": "C1000 exact stages J→J n=-2",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages J→J n=0",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1000 exact stages J→J n=3",
"passed": true,
"actual": [
1,
1
],
"expected": [
1,
1
]
},
{
"name": "C1002 translated coset J→J",
"passed": true,
"actual": {
"nonempty": true,
"residue": 43822,
"period": 89401
},
"expected": {
"nonempty": true,
"residue": 43822,
"period": 89401
}
},
{
"name": "C1002 both stage shifts J→J",
"passed": true,
"actual": [
215,
215
],
"expected": [
215,
215
]
},
{
"name": "C1000 pivot difference obstruction",
"passed": true,
"actual": 1,
"expected": 1
},
{
"name": "C1001 inherited domain C480",
"passed": true,
"actual": {
"nonempty": true,
"residue": 32,
"period": 529
},
"expected": {
"nonempty": true,
"residue": 32,
"period": 529
}
},
{
"name": "C1001 width condition C480",
"passed": true,
"actual": 0,
"expected": 0
},
{
"name": "C1001 placement condition C480",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "C1001 inherited domain fixed12026",
"passed": true,
"actual": {
"nonempty": true,
"residue": 388,
"period": 529
},
"expected": {
"nonempty": true,
"residue": 388,
"period": 529
}
},
{
"name": "C1001 width condition fixed12026",
"passed": true,
"actual": 0,
"expected": 0
},
{
"name": "C1001 placement condition fixed12026",
"passed": true,
"actual": false,
"expected": false
},
{
"name": "C1003 source mesh and labels",
"passed": true,
"actual": [
10,
[
92,
89,
46,
43,
0
]
],
"expected": [
10,
[
92,
89,
46,
43,
0
]
]
},
{
"name": "C1003 exact full image",
"passed": true,
"actual": [
15006,
"344388/23",
14506,
"332888/23",
14006
],
"expected": [
15006,
"344388/23",
14506,
"332888/23",
14006
]
},
{
"name": "C1003 image mesh",
"passed": true,
"actual": "250/23",
"expected": "250/23"
},
{
"name": "C1003 integral subset",
"passed": true,
"actual": [
92,
46,
0
],
"expected": [
92,
46,
0
]
},
{
"name": "C1004 complete ordered assignment field",
"passed": true,
"actual": [
[
"E",
"E"
],
[
"E",
"P"
],
[
"E",
"J"
],
[
"P",
"E"
],
[
"P",
"P"
],
[
"P",
"J"
],
[
"J",
"E"
],
[
"J",
"P"
],
[
"J",
"J"
]
],
"expected": [
[
"E",
"E"
],
[
"E",
"P"
],
[
"E",
"J"
],
[
"P",
"E"
],
[
"P",
"P"
],
[
"P",
"J"
],
[
"J",
"E"
],
[
"J",
"P"
],
[
"J",
"J"
]
]
},
{
"name": "C1004 outputs EE",
"passed": true,
"actual": [
325,
175
],
"expected": [
325,
175
]
},
{
"name": "C1004 matching units EE",
"passed": true,
"actual": [
336,
336
],
"expected": [
336,
336
]
},
{
"name": "C1004 component volumes EE",
"passed": true,
"actual": [
109200,
58800
],
"expected": [
109200,
58800
]
},
{
"name": "C1004 stored total and scalar sum EE",
"passed": true,
"actual": [
168000,
500
],
"expected": [
168000,
500
]
},
{
"name": "C1004 outputs EP",
"passed": true,
"actual": [
325,
"490/3"
],
"expected": [
325,
"490/3"
]
},
{
"name": "C1004 matching units EP",
"passed": true,
"actual": [
336,
360
],
"expected": [
336,
360
]
},
{
"name": "C1004 component volumes EP",
"passed": true,
"actual": [
109200,
58800
],
"expected": [
109200,
58800
]
},
{
"name": "C1004 stored total and scalar sum EP",
"passed": true,
"actual": [
168000,
"1465/3"
],
"expected": [
168000,
"1465/3"
]
},
{
"name": "C1004 outputs EJ",
"passed": true,
"actual": [
325,
"2100/13"
],
"expected": [
325,
"2100/13"
]
},
{
"name": "C1004 matching units EJ",
"passed": true,
"actual": [
336,
364
],
"expected": [
336,
364
]
},
{
"name": "C1004 component volumes EJ",
"passed": true,
"actual": [
109200,
58800
],
"expected": [
109200,
58800
]
},
{
"name": "C1004 stored total and scalar sum EJ",
"passed": true,
"actual": [
168000,
"6325/13"
],
"expected": [
168000,
"6325/13"
]
},
{
"name": "C1004 outputs PE",
"passed": true,
"actual": [
"910/3",
175
],
"expected": [
"910/3",
175
]
},
{
"name": "C1004 matching units PE",
"passed": true,
"actual": [
360,
336
],
"expected": [
360,
336
]
},
{
"name": "C1004 component volumes PE",
"passed": true,
"actual": [
109200,
58800
],
"expected": [
109200,
58800
]
},
{
"name": "C1004 stored total and scalar sum PE",
"passed": true,
"actual": [
168000,
"1435/3"
],
"expected": [
168000,
"1435/3"
]
},
{
"name": "C1004 outputs PP",
"passed": true,
"actual": [
"910/3",
"490/3"
],
"expected": [
"910/3",
"490/3"
]
},
{
"name": "C1004 matching units PP",
"passed": true,
"actual": [
360,
360
],
"expected": [
360,
360
]
},
{
"name": "C1004 component volumes PP",
"passed": true,
"actual": [
109200,
58800
],
"expected": [
109200,
58800
]
},
{
"name": "C1004 stored total and scalar sum PP",
"passed": true,
"actual": [
168000,
"1400/3"
],
"expected": [
168000,
"1400/3"
]
},
{
"name": "C1004 outputs PJ",
"passed": true,
"actual": [
"910/3",
"2100/13"
],
"expected": [
"910/3",
"2100/13"
]
},
{
"name": "C1004 matching units PJ",
"passed": true,
"actual": [
360,
364
],
"expected": [
360,
364
]
},
{
"name": "C1004 component volumes PJ",
"passed": true,
"actual": [
109200,
58800
],
"expected": [
109200,
58800
]
},
{
"name": "C1004 stored total and scalar sum PJ",
"passed": true,
"actual": [
168000,
"18130/39"
],
"expected": [
168000,
"18130/39"
]
},
{
"name": "C1004 outputs JE",
"passed": true,
"actual": [
300,
175
],
"expected": [
300,
175
]
},
{
"name": "C1004 matching units JE",
"passed": true,
"actual": [
364,
336
],
"expected": [
364,
336
]
},
{
"name": "C1004 component volumes JE",
"passed": true,
"actual": [
109200,
58800
],
"expected": [
109200,
58800
]
},
{
"name": "C1004 stored total and scalar sum JE",
"passed": true,
"actual": [
168000,
475
],
"expected": [
168000,
475
]
},
{
"name": "C1004 outputs JP",
"passed": true,
"actual": [
300,
"490/3"
],
"expected": [
300,
"490/3"
]
},
{
"name": "C1004 matching units JP",
"passed": true,
"actual": [
364,
360
],
"expected": [
364,
360
]
},
{
"name": "C1004 component volumes JP",
"passed": true,
"actual": [
109200,
58800
],
"expected": [
109200,
58800
]
},
{
"name": "C1004 stored total and scalar sum JP",
"passed": true,
"actual": [
168000,
"1390/3"
],
"expected": [
168000,
"1390/3"
]
},
{
"name": "C1004 outputs JJ",
"passed": true,
"actual": [
300,
"2100/13"
],
"expected": [
300,
"2100/13"
]
},
{
"name": "C1004 matching units JJ",
"passed": true,
"actual": [
364,
364
],
"expected": [
364,
364
]
},
{
"name": "C1004 component volumes JJ",
"passed": true,
"actual": [
109200,
58800
],
"expected": [
109200,
58800
]
},
{
"name": "C1004 stored total and scalar sum JJ",
"passed": true,
"actual": [
168000,
"6000/13"
],
"expected": [
168000,
"6000/13"
]
},
{
"name": "C1005 unit-label control",
"passed": true,
"actual": [
475,
168000,
164500,
-3500
],
"expected": [
475,
168000,
164500,
-3500
]
},
{
"name": "C1006 common-unit counts",
"passed": true,
"actual": [
500,
"1400/3",
"6000/13"
],
"expected": [
500,
"1400/3",
"6000/13"
]
},
{
"name": "C1006 uniform scalar images",
"passed": true,
"actual": [
500,
"1400/3",
"6000/13"
],
"expected": [
500,
"1400/3",
"6000/13"
]
},
{
"name": "scope qualifier backward_basis_not_independent_history",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "scope qualifier source_cut_not_generated_by_fraction",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "scope qualifier numeric_inverse_does_not_restore_tags",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "scope qualifier nine_affine_pairs_diagnostic",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "scope qualifier congruence_representatives_not_dates",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "scope qualifier rational_mesh_not_new_calendar",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "scope qualifier mixed_assignment_conditional",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "scope qualifier nine_identities_not_independent_evidence",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "scope qualifier mixed_475_not_literal_elapsed_time",
"passed": true,
"actual": true,
"expected": true
},
{
"name": "source authority Supplement A section 10.3",
"passed": true,
"actual": true,
"expected": true
}
]
}
Evidence
INDEPENDENT C984 C1007.json
Linked sources and evidence
Edition and provenance
INDEPENDENT_C984_C1007.json
SHA-256 9002875f9e315517a7f7c8a167b0bfee6d4fef369acd910fce0ee615660bcb61
C480–C1634/Research_Cycles/C0932_C1131/evidence/INDEPENDENT_C984_C1007.json