# C1054 — Jacob-to-Isaac join recovers the147 condition

## Question

What extra source equation does the next translated join impose?

## Inputs

```json
{}
```

## Sources

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

## Opened utc

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

## Results

```json
{
  "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

```json
{
  "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`