# C1132 — Inventory source relations behind the SP inputs

## Question

Which explicit supplied relations constrain the SP ages and lifespan excesses that the cap leaves undetermined?

## Inputs

```json
{}
```

## Sources

```json
[
  "File18 §§2.1.3,3.1,4A.2–4A.4",
  "File51a §8.3",
  "File47 §8.4",
  "File20 §7A.10",
  "C1131 continuation"
]
```

## Opened utc

2026-09-28T04:56:55.425185+00:00

## Results

```json
{
  "relation_inventory": {
    "path": "model/source_relation_inventory.json",
    "sha256": "66f58b98e2c90a3596f86253eb2bc7d5563086f6cc4f844d80343b97a316e1c4",
    "bytes": 1106
  },
  "candidate_families": 5
}
```

## Finding

Explicit source relations constrain the age packet beyond the cap: two half/equality relations and the first-five460 total. Methuselah has a source Flood equation; Lamech753 remains supplied despite supporting differences.

## Reassessment

Freeze one joint age-variable model and determine exactly what these relations recover.

## Checks

```json
{
  "five_roles": true,
  "prior_step": true,
  "actual_relation": true
}
```

## Closed utc

2026-09-28T04:56:55.425960+00:00

## Record provenance

Exact record hash: `86bbc080b541650c4f980843e678e6771d29004b41496983831e3ef305bef0b3`

Source journal: `Research_Cycles/C1132_C1431_Recovered/journal.json`