# C1038 — Joseph double-span constraint

## Question

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

## Inputs

```json
{}
```

## Sources

```json
[
  "File60 §2.5",
  "C1037"
]
```

## Opened utc

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

## Results

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

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