C1187 — Restore native LXX insertion after matched-row comparison

Question

What does Cainan add that no common-row coefficient can supply?

Inputs

{}

Sources

[
  "C1182",
  "C1168",
  "model/complete_source_row_packet.json"
]

Opened utc

2026-09-28T05:22:25.961337+00:00

Results

{
  "native_insertion": {
    "path": "model/whole_genealogy_native_insertion.json",
    "sha256": "47ae760f92ed9eb575696dfb014115d80ff1215ca9b548fe188be5faaec1b50c",
    "bytes": 658
  },
  "native_heads": [
    1380,
    890
  ]
}

Finding

Native Cainan adds130 to the Regular and460 to the Cumulative head difference, producing1380 and890. Its numbers match Shelah, but its existence and ordered position are separate source information.

Reassessment

Find a whole-field observation that distinguishes an insertion from a redistributed total.

Checks

{
  "native_heads": true,
  "same_numbers": true
}

Closed utc

2026-09-28T05:22:25.961782+00:00

Record provenance

Exact record hash: 8e4b8d6f3d87022f072f4ec768562899ae371e1d0e5c0fdc272d834243632023

Source journal: Research_Cycles/C1132_C1431_Recovered/journal.json