Skip to content

Record Reconciliation

Core Idea

Record reconciliation is the structural pattern of matching records or names from one system to entities in another, declaring which pairs refer to the same thing, and making the resulting mapping queryable and auditable with explicit conditions of preservation and loss. Two systems each carry their own naming or identifier scheme over partially overlapping referents; the reconciler asks, for each candidate record on one side, "what, if anything, on the other side is the same?" and produces a typed answer: equivalent, where the two records refer to the same entity in a way the systems agree counts as identity; near match with stated loss, where the two align well enough for a given purpose but specified attributes do not carry across, the loss named rather than hidden; ambiguous, where multiple candidates plausibly match and the reconciler refuses a single binding or escalates; and no match, where nothing corresponds, with the reason recorded.

The structural payload is not the act of comparison; it is the persistent, citable, reviewable assertion of cross-system sameness, with the conditions of that sameness made explicit. The pattern composes a small role-set: two naming systems with overlapping but not identical referents, a per-record match decision drawn from a finite typed vocabulary, an explicit preservation-and-loss clause for each non-equivalent match, a persistent mapping artifact rather than an ad-hoc inference, and an update discipline for when either underlying system changes.

The structural force is the typing of the sameness claim together with its named loss. By refusing a single undifferentiated "matched" verdict and instead committing to a typed decision plus an explicit statement of what the match preserves and what it loses, the pattern controls exactly the inference that downstream consumers are entitled to draw. The mapping is the joint, not the merge: each system keeps its own granularity, disambiguation rules, and historical baggage, and the reconciliation records how they correspond without forcing convergence. This shape is substrate-neutral within reference-system practice — the same typed-match-with-named-loss governs authority control, identifier crosswalks, gene-name mapping, and cross-jurisdictional legal recognition.

How would you explain it like I'm…

Same Kid, Two Lists?

Imagine you have two boxes of name tags for the same group of kids, but each box spells the names a little differently. You go through and match up which tag in one box means the same kid as a tag in the other box. Record Reconciliation is making that list of which name goes with which, and writing down when you're sure, when you're guessing, and when there's no match.

Which One Is the Same?

Two different systems each have their own names or ID numbers for some of the same things — like one school calling a student 'Robert Smith' and another calling him 'Bob Smith, ID 4471.' Record reconciliation is the job of matching them up and writing down, for each one, exactly how they match. The answer isn't just 'matched' — it's a specific type: the same thing, a close-enough match but some details don't carry over, too unclear to pick just one, or no match at all. You also write down what each match keeps and what it loses, and you save this matching as a real document people can look up and review, not just a guess made in someone's head.

Typed-Match With Named Loss

Record Reconciliation is the pattern of matching records or names from one system to entities in another, declaring which pairs refer to the same thing, and making that mapping queryable and auditable with explicit notes about what is preserved and what is lost. Two systems each carry their own naming scheme over partly overlapping things, and the reconciler asks, for each record on one side, 'what, if anything, on the other side is the same?' — giving a typed answer: equivalent (genuinely the same), near match with stated loss (aligned enough for a purpose, but some attributes don't carry across and the loss is named), ambiguous (several candidates match, so it refuses to pick or escalates), or no match (nothing corresponds, with the reason recorded). The real payload isn't the comparing; it's the lasting, citable, reviewable claim of cross-system sameness with the conditions made explicit. It's a joint, not a merge: each system keeps its own granularity and history, and the mapping just records how they correspond — without forcing them to become one.

 

Record Reconciliation is the structural pattern of matching records or names from one system to entities in another, declaring which pairs refer to the same thing, and making the resulting mapping queryable and auditable with explicit conditions of preservation and loss. Two systems each carry their own naming or identifier scheme over partially overlapping referents; the reconciler asks, for each candidate record on one side, 'what, if anything, on the other side is the same?' and produces a typed answer: equivalent, where the records refer to the same entity in a way the systems agree counts as identity; near match with stated loss, where they align well enough for a purpose but specified attributes do not carry across, the loss named rather than hidden; ambiguous, where multiple candidates plausibly match and the reconciler refuses a single binding or escalates; and no match, where nothing corresponds, with the reason recorded. The structural payload is not the act of comparison but the persistent, citable, reviewable assertion of cross-system sameness with its conditions made explicit. The pattern composes a small role-set: two naming systems with overlapping but not identical referents, a per-record decision from a finite typed vocabulary, an explicit preservation-and-loss clause for each non-equivalent match, a persistent mapping artifact rather than ad-hoc inference, and an update discipline for when either system changes. The force is the typing of the sameness claim together with its named loss: by refusing a single undifferentiated 'matched' verdict, the pattern controls exactly the inference downstream consumers may draw. The mapping is the joint, not the merge — each system keeps its own granularity and history, and the reconciliation records how they correspond without forcing convergence.

Structural Signature

two naming systems over overlapping referentsthe per-record candidate matchthe typed sameness verdict (equivalent / near-match-with-loss / ambiguous / no-match)the named preservation-and-loss clausethe persistent mapping artifactthe update disciplinethe typing-the-claim-with-its-loss invariant

The pattern is present when each of the following holds:

  • Two naming systems. Two schemes, each with its own identifiers, granularity, and disambiguation rules, cover partially overlapping but non-identical sets of referents. Neither is forced to converge on the other.
  • A per-record match decision. For each candidate record on one side, the reconciler asks what, if anything, on the other side is the same, yielding a decision rather than a free-text note.
  • A typed verdict. The decision is drawn from a finite vocabulary: equivalent (same entity by both systems' lights), near-match-with-stated-loss (alignment for a purpose, with named attributes that do not carry across), ambiguous (multiple plausible candidates; a single binding refused or escalated), or no-match (nothing corresponds, reason recorded).
  • A preservation-and-loss clause. Every non-equivalent verdict carries an explicit statement of what the match preserves and what it loses, so loss is named rather than hidden.
  • A persistent mapping artifact. The verdict is a citable, reviewable object — the joint between the two systems — not an ad-hoc inference re-derived by each consumer.
  • An update discipline. A rule governs how the mapping is re-examined, and what happens to already-drawn inferences, when either underlying system changes.

The load-bearing invariant is the typing of the sameness claim together with its named loss: it bounds exactly the inference a downstream consumer may draw — distinguishing "are the same," "can be used as the same for a purpose," and "share enough to link but not identify" — and controls the transitivity that is otherwise the failure mode.

What It Is Not

  • Not provenance. Provenance records where a record came from within one system — its origin and chain of transformation. Reconciliation records a cross-system sameness claim between two records in different naming regimes. One is intra-system lineage; the other is inter-system correspondence.
  • Not equivalence_relation. An equivalence relation is the algebraic structure of reflexive, symmetric, transitive identity within a single set; reconciliation is a partial, typed, fallible identity claim across two sets, where transitivity is precisely the failure mode to be blocked, not an axiom to be enjoyed.
  • Not comparison. Comparison is the act of holding two things against each other on some dimension; reconciliation's payload is not the comparison but the persistent, citable, typed verdict of cross-system sameness with named loss. The comparison is an input; the durable typed mapping is the output.
  • Not compatibility. Compatibility is the property of two systems being able to work together; reconciliation is the specific artifact that often makes compatibility possible. Compatibility is the goal-state; the typed crosswalk is one means to it.
  • Not versioning. Versioning tracks states of one evolving artifact over time; reconciliation maps records across two coexisting systems at a point in time. One axis is temporal succession within a system; the other is correspondence between systems.
  • Not native_category_flattening. Flattening is the failure mode where one system's partition is imposed on another's data, destroying source distinctions; reconciliation is the positive discipline whose absence produces flattening. They are the disease and its prevention, not the same thing.
  • Common misclassification. Treating any "matched" flag as an equivalence. The catch is the typed-verdict test: if the schema records only "matched / unmatched" with no near-match, ambiguous, or named-loss types, it has collapsed three distinct claims into one and will propagate identity assertions no one can defend — a silent untyped merge, not reconciliation.

Broad Use

The typed-cross-system-identity-matching pattern recurs wherever two systems must talk about the same referents under different naming regimes. In cultural heritage and authority control, catalog entries are reconciled to authority files and subject vocabularies so that a name in one database resolves to the same entity as a differently spelled name in another. In bibliographic and scholarly identity, publication records are reconciled to person identifiers across disambiguation pipelines. In bioinformatics, gene names across multiple registries are reconciled, and the mapping tables — with their explicit one-to-many and many-to-one cases — are the load-bearing artifact. In customer and identity data, master-data management and patient master indexes reconcile records arriving from heterogeneous source systems into a single canonical identity. In trade and regulatory coding, shipment descriptions are reconciled to harmonized codes and narrative diagnoses to clinical code sets. And in cross-jurisdictional law, a foreign judgment, marriage, or corporate form is reconciled to a domestic legal category, with explicit recognition of which attributes carry across and which do not. Each instance shares the same shape: two systems, a candidate record, a typed match decision, and an explicit statement of what the match preserves and what it loses.

Clarity

Reconciliation is clear because each decision is a named claim about identity across boundaries, drawn from a finite vocabulary of match-types and paired with a named conditions-of-preservation clause. The diagnostic question is "what does this mapping let us safely infer about the other system's record, and what does it not?" Failures are recognizable: untyped mappings collapse near-matches into equivalents, hidden one-to-many bindings silently merge distinct referents, and unstated loss conditions let downstream queries inherit identity claims they were never entitled to.

The clarifying force is that the prime forces an explicit distinction between three otherwise-conflatable claims: that two records are the same entity, that two records can be used as the same for a purpose, and that two records share enough attributes to be linked but not identified. Systems that conflate these — assuming "matched" means "identical" — propagate identity claims they cannot defend; systems that respect the distinction can reason correctly about partial, purpose-relative, and revocable identifications. The prime also separates reconciliation from its neighbors. Compatibility is the property of two systems being able to work together; reconciliation is the specific artifact that often makes compatibility possible. Provenance records where a record came from within a system; reconciliation records a cross-system sameness claim between two records. An equivalence relation is the algebraic structure of reflexive, symmetric, transitive identity within a set; reconciliation is a partial, typed, fallible identity claim across two sets, where transitivity is precisely the failure mode to be controlled. And native-category flattening is the failure mode where one system's partition is imposed on another's data without preserving the source distinctions — reconciliation is the positive discipline whose absence produces flattening.

Manages Complexity

Two systems naming overlapping referents without reconciliation force every downstream consumer to re-invent the mapping ad hoc. Reconciliation turns that distributed, repeated work into a single, inspectable, updatable artifact. It also lets each system keep its own internal logic — its own granularity, its own disambiguation rules, its own historical baggage — without forcing convergence. The mapping is the joint, not the merge.

The deeper complexity-management insight is that the prime concentrates a many-times-repeated, error-prone judgment into one maintained object whose errors are typed and visible rather than scattered and silent. Without the reconciliation artifact, each consumer who needs to cross the boundary between the two systems performs its own match, makes its own implicit assumptions about what carries across, and produces its own undocumented loss — so the same matching work is done repeatedly, inconsistently, and without an audit trail. With the artifact, the match is done once, the verdict is typed, the loss is named, and the consumer inherits a claim it can inspect and bound. This is why the mapping table is so often the load-bearing artifact in cross-system integration: it is the place where the inevitable partiality of cross-system identity is made explicit and controlled, so that downstream queries inherit exactly the inferences the match supports and no more. The complexity is not eliminated — cross-system identity is genuinely partial — but it is consolidated, typed, and made auditable.

Abstract Reasoning

Reconciliation forces explicit distinction between three otherwise-conflatable claims: that two records are the same entity, that two records can be used as the same for a purpose, and that two records share enough attributes to be linked but not identified. Systems that conflate these propagate identity claims they cannot defend; systems that respect the distinction reason correctly about partial, purpose-relative, and revocable identifications. The prime makes the typing of the claim the central reasoning act, because the type of the match is what bounds the inference a consumer may draw from it.

The reasoning is portable because it is stated over the role-set — source record, target entity, match type, preservation conditions, update discipline — none of which mentions a substrate. Whatever the two systems, one asks what the match types are and whether the boundary between them is defensible, what each non-equivalent match preserves and loses, how ambiguous and no-match cases are recorded and made visible, and how the mapping updates when the underlying systems change. From the answers one predicts the pathology: untyped matches collapse distinctions, hidden cardinality silently merges referents, unstated loss lets consumers over-claim, and a missing update discipline lets already-drawn inferences silently go stale when a source system changes. A reasoner who has internalized the prime diagnoses any cross-system mapping by these questions and predicts these failures, which is what makes the prime a reasoning instrument rather than a description.

Knowledge Transfer

A reader who has seen reconciliation in cultural-heritage authority control can ask the same questions of a gene-mapping table, a patient master index, or a customs-classification crosswalk: what are the match types and is the boundary between them defensible? for each non-equivalent match, what is preserved and what is lost? how are ambiguous and no-match cases recorded, and are they visible to downstream consumers? and when the underlying systems change, how does the reconciliation update, and what happens to inferences already drawn from the old mapping? These questions transfer because the structural roles — source record, target entity, match type, preservation conditions — are the same.

What makes the transfer genuine is that the role-set maps cleanly across substrates that share no vocabulary. A museum specimen reconciled against several taxonomic registries — equivalent to one with high confidence, near-match to another with a noted synonym-history disagreement, linked back to the original field record — has its roles mirror exactly onto a customer record reconciled against a sanctions list, and onto a probe identifier reconciled from an old microarray to current gene records, even though the substrates are natural history, finance, and genomics. A reasoner who has internalized the prime reads a new cross-system mapping by locating the role-set and inherits the full discipline: type every match, name the loss on every non-equivalent match, make ambiguous and no-match cases visible, and define an update discipline that re-examines drawn inferences when a source system changes. Because the typed-mapping-with-named-loss pattern is a data-management practice tied to designed reference systems, the transfer stays within that substrate family — authority control, identifier crosswalks, master data, trade and clinical coding, cross-jurisdictional law. But within that family it is recurrent and well-documented, and the prime's distinctive value is that it lets a practitioner who has built reconciliation in one reference domain immediately recognize, in another, where a silent untyped merge is propagating identity claims no one can defend — and supply the typed-match-with-named-loss discipline that prevents native-category flattening.

Examples

Formal/abstract

A bibliographic name-authority reconciliation against an aggregating registry is the pattern in its most explicit, rule-governed form. Two naming systems are in play: a local catalog's author records and a global author-identifier registry, each with its own identifiers, granularity, and disambiguation rules, covering partially overlapping but non-identical sets of persons. For each candidate local author record, the reconciler asks "what, if anything, in the registry is the same person?" and produces a typed verdict. Equivalent: a high-confidence match where birth/death dates, affiliations, and a disambiguated publication set agree, so both systems treat the records as the same person. Near-match-with-stated-loss: the registry entry covers the same person but conflates two pseudonymous identities the local catalog keeps separate — the match is usable for discovery but the named loss is that the local pseudonym distinction does not carry across. Ambiguous: three registry entries share the name and overlapping fields, so the reconciler refuses a single binding and escalates to manual review rather than guessing. No-match: no registry entry corresponds, recorded with the reason (a regional author absent from the registry). The persistent mapping artifact is a citable crosswalk, not an inference each downstream tool re-derives, and the update discipline specifies what happens to drawn links when the registry merges two entries. The load-bearing invariant is on display: the typed verdict plus named loss bounds exactly what a consumer may infer, and it is what controls transitivity — the failure where A≈B and B≈C are silently promoted to A=C across a near-match boundary.

Mapped back: The author-authority crosswalk instantiates every role — two naming systems, per-record candidate match, typed verdict, named loss, persistent artifact, update discipline — and its central safeguard is the typed-claim-with-loss invariant that bounds inference and blocks illegitimate transitivity.

Applied/industry

Two industry cases run the same typed-match-with-named-loss on different substrates. In customer master-data management, records arriving from heterogeneous source systems — a billing platform, a support tool, a marketing list — are reconciled into one canonical identity. Each candidate pair receives a typed verdict: equivalent when name, normalized address, and account number agree; near-match-with-stated-loss when a household shares an address and surname but the match preserves household-level linkage while losing individual-person identity (the named loss that prevents merging a parent and child into one customer); ambiguous when a common name with no corroborating field yields several candidates, held for stewardship review; no-match when nothing corresponds. Conflating these — treating every "matched" as "identical" — is exactly the silent untyped merge that fuses distinct customers and corrupts compliance checks, the native-category flattening the prime warns against. In bioinformatics gene-name mapping, an old microarray probe identifier is reconciled against current gene records: a clean equivalent where the probe maps to exactly one current gene; a near-match-with-stated-loss where a probe targets a region now split across two gene models, the loss being the lost one-to-one resolution; ambiguous where the probe cross-hybridizes to a family, refusing a single binding; no-match where the target has been withdrawn. The mapping table, with its explicit one-to-many and many-to-one cases, is the load-bearing artifact precisely because cross-study meta-analyses that ignore the named loss double-count or merge distinct genes. Both domains need the same update discipline: when a source system or a gene database revises an entry, the reconciler must re-examine the affected verdicts and flag inferences already drawn from the stale mapping.

Mapped back: Master-data customer matching and gene-name mapping span enterprise data and genomics; in each, the four-way typed verdict with an explicit loss clause is what lets downstream consumers inherit exactly the inferences a match supports, and an untyped silent merge reproduces the same flattening and double-counting the prime exists to prevent.

Structural Tensions

T1 — Non-Transitive Match across an Equivalence Closure (coupling). The typed verdict deliberately distinguishes "equivalent" from "near-match," because near-matches are not transitive: A≈B and B≈C does not license A=C. But consumers and graph-merge algorithms love to take the transitive closure of a match relation, silently promoting near-matches to equivalences across chained hops. The failure mode is identity-by-closure, where a long chain of "good enough" links fuses referents none of which the reconciler ever declared the same. Diagnostic: ask whether any process computes connected components over the mapping; if so, verify it stops at equivalence edges and refuses to traverse near-match edges.

T2 — Mapping Freshness versus Source Drift (temporal). The mapping is a snapshot of a sameness judgment, but both source systems keep changing — a registry merges two entries, a code set splits one diagnosis. Already-drawn inferences silently go stale, still citing a verdict whose premises no longer hold. The failure mode is a confidently-typed mapping that is quietly wrong because the underlying systems moved after the match was made. Diagnostic: check for an update discipline that re-examines affected verdicts on source change and flags downstream inferences; a mapping with no re-validation trigger is a decaying asset masquerading as a fixed one.

T3 — Cardinality Hidden inside "Matched" (scalar). A verdict of "equivalent" presumes one-to-one correspondence, but real cross-system mappings teem with one-to-many and many-to-one cases — one gene model split into two, two source customers that are one household. Flattening these into a single "matched" silently merges or duplicates referents. The failure mode is a crosswalk that reads as clean pairings while concealing fan-out, so downstream aggregates double-count or collapse distinct entities. Diagnostic: inspect the cardinality of every match explicitly; if the schema only stores a target without recording whether the source mapped to one or several, the cardinality loss is already baked in.

T4 — Named Loss versus Consumer Compliance (scopal). The preservation-and-loss clause names what a near-match does not carry across, but naming the loss does not enforce respect for it — a downstream consumer can read "household-level only" and still merge parent and child. The artifact controls what inference is licensed, not what inference is drawn. The failure mode is a correctly-typed mapping whose loss clauses are ignored, so the discipline exists on paper while over-claiming happens in practice. Diagnostic: trace an actual downstream query and check whether it honors the loss clause of the matches it traverses; an unread loss clause is no better than an absent one.

T5 — Joint versus Merge (scopal). The prime's stance is that reconciliation records correspondence without forcing convergence — each system keeps its own granularity. But organizational pressure constantly pushes toward an actual merge into one canonical system, at which point the source distinctions the joint preserved are destroyed. The failure mode is "reconciliation" that is really a covert master-merge, flattening one system's partition onto the other's and losing the source granularity the mapping was supposed to protect. Diagnostic: ask whether both source systems still exist and retain their native distinctions after reconciliation; if one has been dissolved into the other, this is native-category flattening, not reconciliation.

T6 — Ambiguous Verdict versus Forced Binding (measurement). The vocabulary includes "ambiguous" precisely so the reconciler can refuse a single binding and escalate — but automated pipelines and throughput targets pressure the system to always pick a winner, converting honest ambiguity into a false equivalence. The failure mode is a mapping with no ambiguous verdicts because the threshold was tuned to always decide, so every coin-flip match is recorded as confident identity. Diagnostic: look at the rate of ambiguous and no-match verdicts; a mapping that almost never abstains has likely buried its hard cases inside its equivalents, where they will surface later as wrong identities no one flagged.

Structural–Framed Character

Record reconciliation sits on the framed side of the structural–framed spectrum, at an aggregate of 0.6. Its structural payload — the typing of a cross-system sameness claim together with its named loss, drawn from a finite verdict vocabulary (equivalent, near-match-with-stated-loss, ambiguous, no-match) — is genuine, but the pattern lives entirely inside reference-system practice, and two diagnostics hit the full mark.

The framing pressure is concentrated in institutional_origin (1.0) and human_practice_bound (1.0). Reconciliation presupposes two designed naming systems with their own identifier schemes over overlapping referents, plus a reconciler that produces a persistent, citable, reviewable mapping artifact. None of this exists in indifferent physical substrates: there is no reconciliation of two gene-name authorities, two bibliographic catalogs, or two legal jurisdictions without the institutions that built those naming regimes and the data-management practice that maintains the crosswalk between them. Its home cases — ULAN/VIAF authority control, ORCID/Scopus matching, MDM/KYC, trade-code mapping, cross-jurisdictional legal recognition — are all reference-system artifacts, which is exactly why both criteria max out.

The remaining marks hold the grade just on the framed side. vocab_travels is 0.5: terms like crosswalk, authority record, and equivalence verdict carry a data-management idiom that partly travels, but the underlying typed-match-with-named-loss can be stated neutrally. import_vs_recognize is 0.5 because invoking the prime partly imports the reconciliation frame and partly recognizes a real cross-regime correspondence. And evaluative_weight is 0: a sameness verdict is a neutral typed assertion, not approval or disapproval. The framed label is correct — this is a data-management discipline tied to designed reference systems — but the genuine structural move (refusing an undifferentiated "matched" and committing to a typed verdict plus explicit loss) is what keeps it at 0.6.

Substrate Independence

Record reconciliation is a moderately substrate-independent prime — composite 3 / 5 on the substrate-independence scale. Its structural payload — the typing of a cross-system sameness claim together with its named loss, drawn from a finite verdict vocabulary (equivalent, near-match-with-stated-loss, ambiguous, no-match) — is a genuine relational move statable over a substrate-free role-set (source record, target entity, match type, preservation conditions, update discipline), which earns the middle structural-abstraction mark. The domain breadth is real but bounded: the typed-match-with-named-loss pattern recurs in cultural-heritage authority control (ULAN, VIAF), scholarly identity matching (ORCID/Scopus), bioinformatics gene-name mapping, customer and patient master-data management and KYC, trade and clinical coding crosswalks, and cross-jurisdictional legal recognition. Transfer evidence is the strongest component at 4, because the role-set maps concretely across these cases — a museum specimen reconciled against taxonomic registries, a customer record reconciled against a sanctions list, and a probe identifier reconciled to current gene records are recognizably the same discipline. What caps the composite at 3 is that every instance presupposes two designed naming systems and a maintained mapping artifact: reconciliation has no instance in indifferent physical substrates, so the pattern is recurrent but narrowly confined to reference-system practice.

  • Composite substrate independence — 3 / 5
  • Domain breadth — 3 / 5
  • Structural abstraction — 3 / 5
  • Transfer evidence — 4 / 5

Relationships to Other Primes

One-hop neighborhood: parents above, mutual partners to the right, children below.Record Reconciliationcomposition: Equivalence RelationEquivalenceRelation

Parents (1) — more general patterns this builds on

  • Record Reconciliation presupposes, typical Equivalence Relation

    A typed cross-system sameness verdict (equivalent/near-match-with-loss/ambiguous/no-match) that deliberately BLOCKS the transitive closure an equivalence_relation enjoys; presupposes the equivalence machinery precisely to control where it must not apply across two sets. (Owner may prefer parentless.)

Path to root: Record ReconciliationEquivalence Relation

Neighborhood in Abstraction Space

Record Reconciliation sits among the more crowded primes in the catalog (35th percentile for distinctiveness): several abstractions describe nearly the same structure, so a description that fits it will tend to fit its neighbors too — transporting it usually means disambiguating within this family rather than landing on it exactly.

Family — Identity Matching & Lookup (10 primes)

Nearest neighbors

Computed from structural-signature embeddings · 2026-06-14

Not to Be Confused With

The embedding-nearest and most seductive confusion is with provenance (similarity 0.86). Both produce durable, citable records about records, and both are central to trustworthy data management. The decisive difference is the direction of the claim. Provenance is intra-system and backward-looking: it answers "where did this record come from, through what chain of custody and transformation, within this system's own history?" Reconciliation is inter-system and lateral: it answers "what, in that other naming system, is the same referent as this record, and exactly how same?" A provenance entry never crosses a naming-regime boundary; a reconciliation verdict exists only because two regimes overlap and must be related without being merged. The confusion is consequential because a system rich in provenance can still be utterly unreconciled — every record's origin documented, yet no typed statement of how its referents correspond to a second system's — and a system rich in reconciliation can be provenance-blind, knowing what equals what across the boundary while losing track of how any single record arose. Treating the one as the other leads a practitioner to build origin trails when the need is cross-system identity, or vice versa.

A second, deeper confusion is with equivalence_relation, and it is the one the prime is most concerned to block. An equivalence relation is the clean algebraic structure of identity within a set: reflexive, symmetric, and crucially transitive, so that A=B and B=C force A=C, and the set partitions into disjoint classes. Reconciliation deliberately refuses this structure across systems. Its verdicts are typed precisely because near-matches are not transitive: A≈B and B≈C must not be promoted to A=C, and the whole "joint, not merge" stance exists to keep the two systems' partitions distinct rather than fusing them into equivalence classes. The danger, named in tension T1, is exactly the graph-merge algorithm that computes the transitive closure of a match relation as if it were an equivalence relation, fusing referents the reconciler never declared the same. A practitioner who imports equivalence-relation intuitions into reconciliation will treat "matched" as transitive identity and manufacture false sameness by chaining; the prime's typed verdict is the discipline that quarantines near-match edges from equivalence edges.

A third confusion, frequent in integration projects, is with compatibility. Compatibility is the property that two systems can work together; reconciliation is one specific artifact that achieves it. The two get fused because reconciliation is so often the means to interoperability that the means is mistaken for the end. But compatibility can be achieved by other means (a shared schema, a common protocol) without any reconciliation artifact, and a reconciliation can exist between two systems that are otherwise wholly incompatible operationally. Confusing them leads to declaring "the systems are compatible" once a crosswalk exists, when the crosswalk's typed verdicts and named losses actually bound how far that compatibility extends — and which queries it does not license.

These distinctions matter because each protects a different load-bearing feature of the prime. Holding reconciliation apart from provenance keeps the cross-system, lateral character of the sameness claim in focus rather than collapsing it into intra-system lineage. Holding it apart from equivalence_relation preserves the non-transitivity that is the prime's core safeguard against identity-by-closure. And holding it apart from compatibility keeps the typed-mapping-with-named-loss as a bounded, inspectable artifact rather than an unqualified declaration that two systems simply "fit." In each case the discriminator is the same: the typed verdict together with its named loss, which bounds exactly the inference a consumer may draw and no more.

Solution Archetypes

No catalogued solution archetypes reference this prime yet.