C1175 — Check source-row normal forms against their domains

Question

Are the normal forms for all18 observed post-Flood changes numerically admissible, and which intermediate rows are actually supplied?

Inputs

{}

Sources

[
  "C1151–C1153",
  "C1173–C1174"
]

Opened utc

2026-09-28T05:11:51.122846+00:00

Results

{
  "normal_form_domain_check": {
    "path": "model/postflood_normal_form_domain_check.json",
    "sha256": "4d32cccf4e0881fbccf346590dae80e1d6861768549e59f3ad905f2ce5f46f61",
    "bytes": 4396
  },
  "rows": 18
}

Finding

All18 selected R-first normal forms stay nonnegative. The intermediate matches a suppliedSP row only where its lifespan is unchanged; Eber andTerah retain an additional source life change. Mathematical admissibility and source realization are now distinguished row by row.

Reassessment

Summarize the whole post-Flood connection in a compact source-labelled reconstruction.

Checks

{
  "all_nonnegative": true,
  "all_endpoints": true
}

Closed utc

2026-09-28T05:11:51.124066+00:00

Record provenance

Exact record hash: b356db2cc9ff678f3124b341b42978f81bff25a21c587bdfb90375b4e4af4ebd

Source journal: Research_Cycles/C1132_C1431_Recovered/journal.json