C614 — Build the typed family interface map

Question

Which demonstrated relations actually join different modules?

Inputs

{
  "interface_kinds": [
    "same source relation",
    "same duration",
    "endpoint-pair map",
    "same labelled coordinate",
    "evaluation equivalence"
  ]
}

Sources

[
  "C535,C545–C546,C570–C581,C605–C612; C531"
]

Opened utc

2026-09-28T00:31:11.666653+00:00

Results

{
  "interfaces": 13,
  "artifact": {
    "path": "model/family_interfaces.json",
    "sha256": "5d2a0654dd9eddf3a10dda6b89954024dedfbec350d10f9395d7982f284258cf",
    "bytes": 1867
  },
  "event_identity_claim": "only the explicitly labelled coordinate links identify nodes"
}

Finding

Thirteen typed interfaces make the family network connected at the level actually demonstrated. Some links identify source nodes; others identify durations or evaluated endpoints. The map preserves that distinction instead of using one undifferentiated arrow.

Reassessment

Determine which operations the expanded candidate grammar must expose.

Checks

{
  "typed": true,
  "coverage": true
}

Closed utc

2026-09-28T00:31:11.667052+00:00

Record provenance

Exact record hash: a203bf8024cf9fdcc2cc227137100577212f4f0b2e814e3c9275b0eda164a085

Source journal: Research_Cycles/C0532_C0631/journal.json