C1038 — Joseph double-span constraint

Question

What source condition joins Joseph’s birth to the retained terminal?

Inputs

{}

Sources

[
  "File60 §2.5",
  "C1037"
]

Opened utc

2026-09-28T04:04:08.421367+00:00

Results

{
  "Joseph_to_terminal": 294,
  "twice_Jacob_life": 294,
  "rank_before": 4,
  "rank_after": 5
}

Finding

Joseph’s294 span adds a source constraint to the preceding same-side relations in this local parameterization. Its contribution will be tested in the complete pattern system.

Reassessment

Check whether the household-middle equality is already forced by those relations.

Checks

{
  "span": true,
  "adds_rank": true
}

Closed utc

2026-09-28T04:04:08.423475+00:00

Record provenance

Exact record hash: da6cae30a571c67d6f2c86870e487e13d9a5803cad85c8109ba2aade3b68778b

Source journal: Research_Cycles/C0932_C1131/journal.json