C1054 — Jacob-to-Isaac join recovers the147 condition

Question

What extra source equation does the next translated join impose?

Inputs

{}

Sources

[
  "C1035",
  "C1053",
  "File61 §8.2"
]

Opened utc

2026-09-28T04:07:20.070860+00:00

Results

{
  "join_residual_equals": "−A1",
  "source_residual": 0,
  "translated_Jacob": 2066
}

Finding

The Jacob-to-Isaac join adds exactly the earlier Isaac-to-Levi147 condition. It connects the two families through a shared source relation, not a new unrelated endpoint law.

Reassessment

Check anchor cancellation across the entire translated root.

Checks

{
  "symbolic_identity": true,
  "source_join": true,
  "landing": true
}

Closed utc

2026-09-28T04:07:20.075491+00:00

Record provenance

Exact record hash: 89a21615b28d21bf632bf23cdf3198b7b35bd8d6d98c5bcdb2b6d5149ba6f143

Source journal: Research_Cycles/C0932_C1131/journal.json