Proposed companion integration record

Any actual integration must use the repository's current schema and real identifiers, add one appropriately typed connection per intended relation, and run its actual source, face, connection, time-index, problem, and proposal tests. Expected array lengths, passing results, or a no-edit-after-registration condition are not asserted before that transaction exists.

A citation does not automatically create a formal premise. Conversely, the explicitly stated definitions and hypotheses used in a mathematical proof are not erased by labeling a registry edge “separation.”