C1170 — Include the baseline early-remainder relation

Question

Does the MT Arphaxad/Shelah constraint reduce the complete family model rather than only a projection?

Inputs

{}

Sources

[
  "C1160",
  "C1169"
]

Opened utc

2026-09-28T05:10:07.555891+00:00

Results

{
  "restricted_native_model": {
    "path": "model/postflood_native_with_early_relation.json",
    "sha256": "e2d25c8794d995a9ca16bbcad5b65a9c753686c1ab310eeb5a36c6418897a732",
    "bytes": 427
  },
  "rank": 20
}

Finding

Including the shared MT403 remainder as a relation reduces the declared whole-family dimension from21 to20. The reduction applies to all native outputs coherently; it does not make403 or the remaining baseline ages self-explanatory.

Reassessment

Test another explicit repeated baseline value and keep its numerical role separate from shared operators.

Checks

{
  "constraint_holds": true,
  "rank20": true,
  "one_relation": true
}

Closed utc

2026-09-28T05:10:07.641129+00:00

Record provenance

Exact record hash: a845fa514ac062c4fe58c3c4b0518596e3a0afb40b512f4941aeb80ed4562cba

Source journal: Research_Cycles/C1132_C1431_Recovered/journal.json