Evidence

review1253 1264.json

Download source fileOpen in research workspace
{
  "status": "PASS_WITH_MINOR_READER_CLARIFICATIONS",
  "scope": "Independent review ofC1253–1264 journal,all12scripts,11models,reader andC1281binding. No rootsources,journal,models ordeliverables changed.",
  "created_utc": "2026-09-28T06:05:26.803411+00:00",
  "checks": {
    "source_common_rows19": true,
    "source_row_changes_match": true,
    "source_field20_match": true,
    "adjacent_recovery": true,
    "six_pre_centuries": true,
    "six_post_centuries_half": true,
    "field_head_and_plateau": true,
    "literal_native_field": true,
    "native_insertion_support": true,
    "native_and_OFF_heads": true,
    "eight_literal_rows": true,
    "eight_literal_state_bits": true,
    "eight_literal_endpoint_roles": true,
    "offsets_match": true,
    "gap_word": true,
    "TC_restriction": true,
    "TS_restriction": true,
    "width_no_five": true,
    "invertible_two_equations": true,
    "coefficient_solution": true,
    "symbolic_five_equations": true,
    "free_kappa_elimination": true,
    "free_kappa_scope": true,
    "Sojourn_absent_from_calibration": true,
    "sum_difference_not_extra": true,
    "SP_named_losses": true,
    "SP_one_count": true,
    "SP_source_primary_binding": true,
    "SP_companion_counts_one_once": true,
    "SP_source_Creation_and_Flood": true,
    "covariance_all_support_blocks": true,
    "reader_no_origin_claim": true,
    "reader_two_layer_condition": true,
    "twelve_closed_steps": true,
    "all_recorded_artifact_hashes": true,
    "C1281_reader_binding": true
  },
  "check_count": 36,
  "arithmetic_errors": [],
  "blocking_findings": [],
  "findings": [
    {
      "id": "R1",
      "severity": "low",
      "type": "reader_scope",
      "location": "Regular_Kernel_Two_Source_Mechanisms.md:5",
      "finding": "The first1250/650 comparison omits its matched-Cainan/OFF label until the later native sentence. The model has the scope correctly.",
      "suggested_copy": "First, the ordered shared MT–LXX rows, with Cainan matched OFF for this comparison, generate a complete Regular displacement field.",
      "blocking": false
    },
    {
      "id": "R2",
      "severity": "low",
      "type": "evidence_wording",
      "location": "Regular_Kernel_Two_Source_Mechanisms.md:11",
      "finding": "“Independently supplied Sojourn215” can be read as an independence claim; the demonstrated point is thatS is separately sourced and absent from the two equations.",
      "suggested_copy": "The separately sourced Sojourn interval215 is not constrained by these two relations.",
      "blocking": false
    },
    {
      "id": "R3",
      "severity": "low",
      "type": "primitive_register",
      "location": "C1253 checks.four_primitives; model/regular_kernel_two_mechanisms.json; final synthesis register",
      "finding": "u=100 is a summary parameter extracted from retained paired source rows. If those rows are already retained, do not countu again as an independent primitive. The same applies to derivedcalibration and totals.",
      "suggested_copy": "u=100 summarizes the repeated begetting differences; the named supports and source rows remain its evidence.",
      "blocking": false
    },
    {
      "id": "R4",
      "severity": "low",
      "type": "presentation",
      "location": "Reader draft throughout",
      "finding": "Restore spaces around numbers and words in final copy; typeset the two calibration equations as a single displayed pair. This does not require historical file edits.",
      "blocking": false
    }
  ],
  "source_evidence": {
    "row_tables": "File18§§2.1.3–2.2,4.1–4.2;directparserusesliteralbirths andbegettingages.",
    "eight_states": "File07§2.11.1a literalrows991–998; bothcoordinatecolumnsandallvariantlabels independentlychecked.",
    "SP": "File18§3.1,literal52/53paths andsameFloodstart.",
    "calibration": "ExactFractionelimination;not replayingrootresearch.begin/finish."
  },
  "verified_conclusions": [
    "All20boundarydifferences reconstruct directlyfromliteralMT/LXXrows.",
    "NativeCainan changesonlythedeclaredprefixby130.",
    "Both190/275restrictionsandthe405envelopearefullysourcebound.",
    "CoefficientfiveiffT=3u/5,C=13u/10;arbitrarycommoncoefficientiff6C=13T fornonzerosource scales.",
    "S is not constrained bythose twoequations.",
    "SP129+1 is one completed-count adjustment,not a secondFloodyear.",
    "Thepositive explanation joins two mechanisms; nohistoricalgenerationofagesclaimed."
  ],
  "primitive_register_proposal": {
    "principle": "Use role-keyed sourceinputs plus operationchoices. Separate derivedoperational summaries/interfacecaches from globalprimitive evidence. Preserve sourcepacketrefs ratherthanrepeatingeveryvalue.",
    "fields": [
      "id",
      "value_or_packet_ref",
      "unit_and_measure",
      "subject_and_order",
      "mode_state_scope",
      "source_ref",
      "status_given_reconstructed_or_derived",
      "derived_from"
    ],
    "bundles": [
      {
        "bundle": "Ordered source rows",
        "retain": "Names,order,tradition; selectedb andL with source statuses; nativeCainan incidence; currentLXX182/753;SPinclusive flags and effective binding corrections.",
        "examples": [
          "Adam MTb130",
          "Cainan LXXb130,L460",
          "Terah selectedb70/130",
          "Lamech SP53rdcounted→52completed"
        ],
        "derived_not_extra": "r=L−b; all row differences; fittedu100 andother amplitude summaries; accumulated dates if constructed from retainedrows/terminal.",
        "source": "File18; complete_source_row_packet.json"
      },
      {
        "bundle": "Admitted state and placement choices",
        "retain": "Role-keyedTerahT,Regular/CumulativeCainan measure,SojournS,source support masks,finite labels,andnative-versus-comparison selections.",
        "examples": [
          "T_Terah=60 from205−75−70",
          "Cainan insertion readsb130 orL460",
          "S_Sojourn=215 withExodusheld"
        ],
        "derived_not_extra": "190/275/405 offsets,gap70,gap25;fivefoldcalibration recorded as observed relation,not originrule.",
        "source": "File04§2.4;File18§§1.3.1,1.6;File00§3.3.1;File07§2.11.1a"
      },
      {
        "bundle": "Terminals and counting conventions",
        "retain": "Each adopted anchor with event/node class,mode,frame andcount rule; SPnativeG2 and600toFlood;inclusive+1;actualcompletion/Year6 choices;civil versusRounded crossing.",
        "examples": [
          "Exodus1446",
          "Conquest/Mosesdeath1406 initsdeclaredrole",
          "Nativity6",
          "SPNoah3493 andFloodstart2893 asoneboundsourceplacement"
        ],
        "derived_not_extra": "Store onechosen independentplacement basis per localmodule; otherconnected dates are generated/cached.600+1=601 is derived.",
        "source": "File18sourcebindings;File51a;File52c;inheritedC1131junctionpacket"
      },
      {
        "bundle": "Rounded observations and retained subdivisions",
        "retain": "Which sourcequantity isrounded,theQ5rule,andtheexactsource-appointedcuts;residuals onlywhere required byan explicitinverseobservation problem.",
        "examples": [
          "Regular1650|1050 andCumulative9170|3430 are generatedboundary interfaces withretainedcutroles",
          "Moses13-edgepath and4|9 grouping"
        ],
        "derived_not_extra": "Roundedvalues,residuals,carryandfibre sizes whencomputedfromrawrows;do notcountbothrows andtheirownroundedoutputs asindependenttestimony.",
        "source": "File51a§§3.1,7A,16;currentRoundedmodels"
      },
      {
        "bundle": "Covenant biographies and calendar operations",
        "retain": "Namedlocalbiographies/ages,phase/terminalchoices,exactE/P/Jratios,theirunitmeasures,andwhichpathparts areconverted orretained.",
        "examples": [
          "Jacoblife147",
          "LeviandIshmael137 roles",
          "E25/23 pairedwith336;P70/69 with360;J300/299 with364"
        ],
        "derived_not_extra": "Clutchcoordinates,sharedlandings,commongain,allocationfractionsandtotals;calibrationequationsbelonginrelationscolumn.",
        "source": "Files60–63;inheritedC1131Covenant/Keyregister"
      },
      {
        "bundle": "NT,counted andliterary structures",
        "retain": "Namedslotorder,multiplicity/categories,source-selectedmetricandhinge;whichmeasurecounts names,intervals,sections oroccurrences.",
        "examples": [
          "NTcarrier70",
          "Lukehinge6",
          "nativeCainanpersonlabeldistinctfrom70-yearslotmeasurement"
        ],
        "derived_not_extra": "Displaydates,490coarsening,Keyreturnindices;samevalue70inTerahageandderivedvariantgapdoesnotmergewithNTmetric.",
        "source": "Files43/54/58/69/70;existingfullsourcepackets"
      },
      {
        "bundle": "First decimal-inverse interface",
        "retain": "Base10,placeholderpolicy,sourcecomponentcuts,first-reversal selectoranchorsandadmittedmembermanifest.",
        "examples": [
          "File52cConquest1406versus1401selectorrole",
          "Original1400completionleg"
        ],
        "derived_not_extra": "Inverseendpoints10620/12026/14726 anddigitgains;theyareoutputchecks,notadditionalglobalprimitive inputs.",
        "source": "LatestFile52c;inheritedcomplete32pairedfieldandprimarypaths"
      }
    ],
    "same_value_different_roles": [
      {
        "value": 130,
        "separate_roles": [
          "MTAdam begetting",
          "secondCainan begetting",
          "selectedTerah begetting",
          "derivedMosesprefix130"
        ],
        "rule": "Keep the firstthree source roles distinct; thelast is a generated sum."
      },
      {
        "value": 60,
        "separate_roles": [
          "Terah variant",
          "Isaac begetting",
          "Nahor MT/LXX lifespan difference",
          "SP Eber/Terah lifespan differences"
        ],
        "rule": "Shared fitted amplitudes may encode numeric equality but do not replace source-role provenance."
      },
      {
        "value": 100,
        "separate_roles": [
          "repeated MT/LXX differenceu",
          "Abraham begetting",
          "sourceNoah/Shem local interval"
        ],
        "rule": "Do not promote one role to generator ofthe others without an admittedsource relation."
      },
      {
        "value": 70,
        "separate_roles": [
          "NTslotmetric",
          "Terah minimum begetting",
          "derivedC−T gap"
        ],
        "rule": "Only the firsttwo can be retainedsource inputs in their modules;thelast is a consequence."
      },
      {
        "value": 460,
        "separate_roles": [
          "Cainan lifespan",
          "Covenant299+161 total",
          "SPfirstfive begetting sum"
        ],
        "rule": "One life input andtwo labelled pathmeasurements are not one interchangeableoperation."
      },
      {
        "value": 950,
        "separate_roles": [
          "Noah lifespan",
          "derivedmidpoint of1250/650"
        ],
        "rule": "Record source datum andcomparisonrelation,not two independent primitive950s."
      }
    ],
    "not_a_new_campaign": "This is editorial consolidation ofexistingcertifiedpackets; no new numericalsearch orminimizationtheorem proposed."
  },
  "input_sha256": {
    "evidence/sources/38-File_18.Chronological_Data_Tables-20260919-141048-.md": {
      "sha256": "68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5",
      "bytes": 221777
    },
    "evidence/sources/22-File_07.Creation_Seed_Decimal_Root-1-1-.md": {
      "sha256": "1aa4e02dd346c8e0879c8d196bd76c95c9069237fe41d1ca816175f84d3c162c",
      "bytes": 274314
    },
    "deliverables/Regular_Kernel_Two_Source_Mechanisms.md": {
      "sha256": "ef89a70263acf53cf639f122160a561771a46054d5821ca824bab796dc44b2db",
      "bytes": 1968
    },
    "prep/regular_kernel_source_cost.json": {
      "sha256": "95050da2bd7b5e7bb0d7612b5b36cdf8e81a7e8d68f6493dd1824fe72cba3863",
      "bytes": 19281
    },
    "inherited/Primitive_Data_Register_C1131.json": {
      "sha256": "82098ab7be4ca54ea653bec57029f7298c3aa23ba74325362e534607b918e9c5",
      "bytes": 2109
    },
    "deliverables/Block_03_C1232_C1281_Checkpoint.json": {
      "sha256": "fc4491ecdf84cce379b6db1c61d5a569c5ed3a08fb3569279df7e32723210082",
      "bytes": 1231
    },
    "model/regular_kernel_SP_local_mechanism.json": {
      "sha256": "530d7955a762a6f1e7c1f80d69750855d16b25251c3e41d0b2b9ef14eec97fcb",
      "bytes": 453
    },
    "model/regular_kernel_common_coefficient.json": {
      "sha256": "15e4ece10cca099ee802d18df1a9385606604314efc2998858552a45c5008aca",
      "bytes": 450
    },
    "model/regular_kernel_complete_staircase.json": {
      "sha256": "dbf847b6bd763d2c10d8dbc1144a44d7e89fc83c8597def0302bc4bacf8f66d1",
      "bytes": 863
    },
    "model/regular_kernel_eight_state_field.json": {
      "sha256": "b72b31629e31996bd0e090a0f1833f4f5a3361ea610ca8d600d0a91ba1ebef43",
      "bytes": 1037
    },
    "model/regular_kernel_five_calibration.json": {
      "sha256": "df161a85a5d0da068398d3c6e22e3232084ff1ded55eb7929261cbd762d6b63a",
      "bytes": 474
    },
    "model/regular_kernel_four_state_restrictions.json": {
      "sha256": "746905c28121909a96402a212fbe1f45d719f8df0828a4e87cf1aa1b0680d4e5",
      "bytes": 298
    },
    "model/regular_kernel_literal_eight_states.json": {
      "sha256": "656a663efb970ffb4164c7877345e18c2a2afc2b2165334b615c4db8906560eb",
      "bytes": 2918
    },
    "model/regular_kernel_native_staircase.json": {
      "sha256": "0f041687dd46807b2d89a5416e25b71ec744dbce28153a8d101b5e0c2cc13147",
      "bytes": 935
    },
    "model/regular_kernel_sum_difference_scope.json": {
      "sha256": "54fafdd8b71ac0f1f88ddad4d8c43dd2683e1a7f29634dd9fef272077fe4f235",
      "bytes": 394
    },
    "model/regular_kernel_two_mechanisms.json": {
      "sha256": "d8a2ee103b3ab70d54fd26f14b74d158f1f079f34ec331d06e82575119daa926",
      "bytes": 2655
    },
    "model/regular_kernel_variant_covariance.json": {
      "sha256": "d6fd98fa2cfaf15d4c700f7b320f6dd86b244b9edfd8666eef4ec807c6cec4f5",
      "bytes": 918
    },
    "evidence/s1253.py": {
      "sha256": "f75cea2c3975d41c631afe1e08236920e29328b3f624d950b6a514116ab10f8f",
      "bytes": 1387
    },
    "evidence/s1254.py": {
      "sha256": "661c3e9a9eb025a3047c7f3251199782d7b84876a74ba6ed9763a8bc9aa64639",
      "bytes": 1289
    },
    "evidence/s1255.py": {
      "sha256": "dc6592c3933eed85bf15988418315127cf0f12ab934fca5c48b48318188a9695",
      "bytes": 1226
    },
    "evidence/s1256.py": {
      "sha256": "f6cb5eab431c5c55859800697b09d1d77596855474597c4da3d93e336dbc6fb3",
      "bytes": 1161
    },
    "evidence/s1257.py": {
      "sha256": "c66df18eb8e2843896a085f5a2c51fb2773b383d4638fe2ed98b16b104d89898",
      "bytes": 1089
    },
    "evidence/s1258.py": {
      "sha256": "10aa451fc368b1a1328999e8c12adebfcf3bd7fcddf4237a545cab7b0f25ae8a",
      "bytes": 1474
    },
    "evidence/s1259.py": {
      "sha256": "70f3a4c44caad7b66af6ec2a72b49388e28acf12876d8116e519717b32f024e4",
      "bytes": 1247
    },
    "evidence/s1260.py": {
      "sha256": "d79f14cae286cca601a05aed038fbcd099f6e1d73e8623b99ffbb3ef54f28c7c",
      "bytes": 1141
    },
    "evidence/s1261.py": {
      "sha256": "5c967514da416bfdd3469e2a3ab71a6440a2912e09c141193b5b6602539196f7",
      "bytes": 1297
    },
    "evidence/s1262.py": {
      "sha256": "37ae69c766222e02ef996f0f321f48d584b3a0c163178fbfcf3f46d3e030eba7",
      "bytes": 1364
    },
    "evidence/s1263.py": {
      "sha256": "7345b1e0619fe8171acf00a02d261eac7bb1f86bb9d840982b7b8bae8faf400f",
      "bytes": 1292
    },
    "evidence/s1264.py": {
      "sha256": "29428be9cc4a12c6c8bb4a34c087f803d89b024b231e327ba28cac3567af88d4",
      "bytes": 2784
    }
  },
  "journal_step_hashes": {
    "1253": "60273029fa4b5b1de7fbbe54cccb7040aeed0e8e72996771ffeed43c33627fb2",
    "1254": "51f2670a249422df989754b6c32ec0df916ab7d23a61ef2136789912d27daf54",
    "1255": "4e8c03ea8dadd2945648d9f51ae4fde3c4da93332ceedc9e54c2a78f8e38ae8d",
    "1256": "8c7738cd9781e1ad93c18a0353a16161b968b64bfedfa7dd888503fa7f2b7ff8",
    "1257": "8d35865d82c52c5d58e6d563c2c0dbd8318591d1f4ffada4d127c9f944a14411",
    "1258": "1ec561163270dd28520393c528af658364b0f17805c122359487ffd1756c76d6",
    "1259": "eca1b4576c3639111eecd6e4283671e4b0a3343ec75c6a6a9d7b0ba981e2d7fa",
    "1260": "da6a9f4711f4dc3d8300fe6296ee8a3cef63f4fdf704c5f88dd36fed80fe03e5",
    "1261": "3da77f0a9678c956cf650c363eac249f929005fe3e628e4235e6ccb9712da828",
    "1262": "6f8b1c28a202707339472a403c196ba4b9cf4cbd26e06075b7644d724797a790",
    "1263": "ae5d989ee653ec32b5b473aaafa2b9a6aae42b05fba98a624e9e97922dde493f",
    "1264": "a84f26b23c330d29a2fb03857e85c07617fcd895568fa378300527178985915d"
  }
}

Linked sources and evidence

Edition and provenance

review1253_1264.json

SHA-256 d7532c398241f62da15d1dec67d9fa7a5d11edaf11ea6391cb0c7f5f34abdec8

C480–C1634/Research_Cycles/C1132_C1431_Recovered/prep/review1253_1264.json