C1303 — Classify relations by their explanatory role

Question

Which equalitiesare identities,sourceconditions or completefamilyreconstructions?

Inputs

{}

Sources

[
  "C1302",
  "Strategy §§5D,6",
  "C1227",
  "C1259"
]

Opened utc

2026-09-28T06:10:19.137650+00:00

Results

{
  "claim_classes": {
    "path": "model/relation_claim_classes.json",
    "sha256": "ca85c3c1157482807ae7bcd79783c13bc1d530b46e687ea54b63a8dd6ecbd051",
    "bytes": 1105
  }
}

Finding

Therelationledger willstatewhatkindofclaim eachconnectionmakes. Thislets thereaderseeexactlywhere aproofisautomatic, whereanadditionalsourceconditionenters, andwhereinterpretationbegins.

Reassessment

Register thelinearmeasurementrelationthat carriesordinaryrowchanges intocompletefields.

Checks

{
  "fiveclasses": true,
  "distinct_ids": true
}

Closed utc

2026-09-28T06:10:19.138187+00:00

Record provenance

Exact record hash: 9b56f75490cdf774a3a76ac55b33d6afaa5692a9d7191afa7ea49d8b8c82506c

Source journal: Research_Cycles/C1132_C1431_Recovered/journal.json