Lossless Bijective Mapping Design¶
Design mappings so nothing collides, nothing is left out, and every pairing can be traversed backward as well as forward.
Overview¶
Lossless Bijective Mapping Design is the intervention pattern for mappings that must be exact. It applies when a source collection and a target collection need a one-to-one-and-onto correspondence: every source gets exactly one target, every target is used exactly once, and the mapping can be traversed backward without losing the original member.
The target prime is bijectivity: a correspondence that is exactly one-to-one and onto — no collisions, no gaps — so it is reversible and the two collections have equal size and information content.
Disposition check¶
The pre-draft check found no accepted archetype directly covering bijectivity. The closest accepted neighbors were correspondence_validation, mapping_reconciliation, equivalence_normalization, equivalence_class_consolidation, source_of_truth_assignment, and data_integrity_preservation. Those cover adjacent concerns, but none requires the full bijective invariant: no collisions, no gaps, inverse lookup, and round-trip preservation. The previous queue item, variant_access_point, was dispositioned as a component direction for many-to-one alias/authority routing, which is explicitly different from bijective mapping.
When This Archetype Applies¶
Partial catalog groundingSome structural conditions are represented by existing abstractions, but no sufficient condition set is fully represented.
Diagnostic problem
A mapping between two sets, schemas, namespaces, identifiers, states, encodings, allocations, or versions is treated as equivalent or reversible even though collisions, gaps, orphaned targets, missing sources, or broken inverse paths may exist. As a result, migrations lose information, records merge incorrectly, target states remain unreachable, allocations double-book resources, old identifiers cannot be recovered, or downstream users falsely trust a mapping that is only partial, many-to-one, or one-to-many.
Applicability expression5 distinct conditions
′ context guard? connective not recorded∅ no catalog witness yet
groundedpartly groundedopen
5 conditions, all required.
5Required in every casenumbered 1–5
These hold no matter which pattern applies.
Exact preservation claim · 2 cases · 2 matched
A migration, crosswalk, encoding, allocation, or schema transition claims exact identity1 or information2 preservation.
The source archetype describes the situation as follows: A migration, crosswalk, encoding, import, export, synchronization, allocation, or schema transition claims to preserve identity or information exactly. The normalized requirement above isolates the load-bearing portion used in this condition set.
This predicate enumerates 2 cases · 2 matched
- 1
One listed operational mapping claims to preserve identity exactly.
matched to the catalog
Established by any one of these 2
adomainSchema Mapping Relation— Bridge two independently governed classification schemes with an explicit, typed assertion — source concept, target concept, and a fidelity grade (exact / close / broader / narrower / related) — so consumers know exactly what the bridge guarantees without merging the schemes.
AND both parts requiredcontext guardThe schema mapping's declared correspondence type is exactMatch.
suppliesThe mapping claims to preserve identity. · The claimed identity preservation is exact.
or — any one of these establishes this casebdomainDeclared Equivalence Mapping— An explicit, authoritative, versioned assertion that two concepts from different vocabularies are interchangeable for stated purposes — collapsing a cross-scheme distinction to zero for consumers who trust the declaration rather than re-verifying at use-time.
Case 1 of 2 — what it requires — 3 shared + 8 branches
All of
- roleAn operational mapping or transition connects source and target representations, collections, or states.
- modalityThe mapping claims to preserve identity.
- quantifierThe claimed identity preservation is exact.
…and any one of 8 alternative branches
Too many branches to lay out readably. The full expression is in the trigger-logic download.
- 2
One listed operational mapping claims to preserve information exactly.
matched to the catalog
Established by any one of these 2
adomainSchema Mapping Relation— Bridge two independently governed classification schemes with an explicit, typed assertion — source concept, target concept, and a fidelity grade (exact / close / broader / narrower / related) — so consumers know exactly what the bridge guarantees without merging the schemes.
AND both parts requiredcontext guardThe schema mapping's declared correspondence type is exactMatch.
suppliesThe mapping claims to preserve information. · The claimed information preservation is exact.
or — any one of these establishes this casebdomainDeclared Equivalence Mapping— An explicit, authoritative, versioned assertion that two concepts from different vocabularies are interchangeable for stated purposes — collapsing a cross-scheme distinction to zero for consumers who trust the declaration rather than re-verifying at use-time.
Case 2 of 2 — what it requires — 3 shared + 8 branches
All of
- roleAn operational mapping or transition connects source and target representations, collections, or states.
- modalityThe mapping claims to preserve information.
- quantifierThe claimed information preservation is exact.
…and any one of 8 alternative branches
Too many branches to lay out readably. The full expression is in the trigger-logic download.
Unique source-target mapping · grounded · any one of 2
Every source member has exactly one target counterpart and distinct source identities remain distinguishable.
The source archetype describes the situation as follows: Every source item is supposed to have one and only one target counterpart. The normalized requirement above isolates the load-bearing portion used in this condition set.
primeBijectivity— A correspondence that is exactly one-to-one and onto — no collisions, no gaps — so it is reversible and the two collections have equal size and information content.
primeInjectivity— A distinctness-preserving mapping in which distinct inputs never collide on one output.
Complete target coverage · grounded · any one of 2
Every governed target is reached by a source, leaving no orphaned or unused target.
The source archetype describes the situation as follows: Every target item is supposed to be accounted for by the mapping rather than appearing as an orphan, duplicate, or unused residue. The normalized requirement above isolates the load-bearing portion used in this condition set.
primeBijectivity— A correspondence that is exactly one-to-one and onto — no collisions, no gaps — so it is reversible and the two collections have equal size and information content.
primeSurjectivity— A coverage-guaranteeing mapping in which every element of the target is hit by some input, leaving no gap in the codomain.
Reversible source tracing · grounded · any one of 2
A produced target can be traced backward to its source, and a full round trip is well-defined when the map covers the governed target set.
The source archetype describes the situation as follows: A reverse lookup, rollback, audit, reconstruction, or round-trip conversion must be possible. The normalized requirement above isolates the load-bearing portion used in this condition set.
primeBijectivity— A correspondence that is exactly one-to-one and onto — no collisions, no gaps — so it is reversible and the two collections have equal size and information content.
primeInjectivity— A distinctness-preserving mapping in which distinct inputs never collide on one output.
Evolving-map validity · open
The exact mapping must remain valid while either collection undergoes additions, removals, splits, merges, or renames.
The source archetype describes the situation as follows: The two collections are evolving and the mapping must remain exact after additions, removals, splits, merges, or renames. The normalized requirement above isolates the load-bearing portion used in this condition set.
Other requirements and context (1)
Why these sit outside the expression
Supporting context — it may accompany or help interpret the situation, but it is not a load-bearing condition in a sufficient diagnostic set.
Supporting contextCollisions or gaps would create serious errors in counts, rights, ownership, billing, safety, compliance, provenance, or interpretation.
A mapping between two sets, schemas, namespaces, identifiers, states, encodings, allocations, or versions is treated as equivalent or reversible even though collisions, gaps, orphaned targets, missing sources, or broken inverse paths may exist. In this archetype, the relevant contextual consideration is: Collisions or gaps would create serious errors in counts, rights, ownership, billing, safety, compliance, provenance, or interpretation. It helps interpret the situation or strengthens the practical case for examining the archetype.
Coverage
4 of 5 conditions grounded · 1 open.
Why this is not just correspondence validation¶
Correspondence validation asks whether a new model, version, or system agrees with an old one inside an overlap domain. Lossless Bijective Mapping Design asks a stricter question: does every source member pair with exactly one target member, does every target member have exactly one source member, and can the mapping be traversed in reverse without loss? A correspondence can be partial or approximate; a bijection cannot.
Key components¶
| Component | Description |
|---|---|
| Domain and Codomain Set Specifications ↗ | A bijection cannot be checked unless both sides are explicitly bounded. The domain set defines what must be mapped from. The codomain set defines what must be covered. Ambiguous boundaries turn bijection into a slogan rather than an invariant. |
| Mapping Rule ↗ | The mapping rule may be a table, transformation, matching rule, function, or crosswalk. It must be explicit enough that pairings can be inspected, regenerated, tested, and governed. Hidden heuristics are acceptable only if their outputs are recorded and audited as pairings. |
| Injectivity Guard ↗ | The injectivity guard prevents two distinct source members from collapsing onto the same target. It protects identity, information, ownership, rights, counts, and accountability from accidental merging. |
| Surjectivity Coverage Guard ↗ | The surjectivity guard checks the other side: every target inside scope must be reached. It prevents orphan target records, unused slots, missing target states, and false claims of complete coverage. |
| Inverse Lookup Path ↗ | A practical bijection needs a reverse route. The inverse lookup path may be an index, inverse table, decoder, rollback map, or audit process, but it must reliably recover the source from the target inside scope. |
| Round-Trip Test Set ↗ | Round-trip tests expose loss. Mapping source to target and back should return the source. Mapping target to source and back should return the target. Boundary cases, exceptions, and recently changed members should be included. |
Common mechanisms¶
Common mechanisms include one-to-one crosswalk tables, bijection test suites, duplicate target scans, orphan target scans, inverse indexes, unique-constraint pairs, reversible encoder–decoder pairs, ID mapping registers, and mapping exception queues. These are mechanisms; the archetype is the larger design discipline that decides when bijection is required and maintains it through change.
Parameter dimensions¶
The main dimensions are mapping scope, membership volatility, identity granularity, exception tolerance, inverse strength, and failure cost. A small one-time crosswalk may only need spreadsheet checks. A regulated data migration, identity registry, safety system, or rights-bearing archive needs explicit evidence, inverse records, and repeated validation.
Invariants to preserve¶
A valid bijective mapping preserves source coverage, target coverage, uniqueness on both sides, inverse lookup, and round-trip identity. It also preserves honesty: if the relationship becomes partial, many-to-one, one-to-many, or lossy, the mapping should be relabeled instead of pretending to remain bijective.
Tradeoffs and failure modes¶
The core tradeoff is strictness versus practical coverage. Strict bijection protects reversibility but may exclude real cases that need partial, fuzzy, or probabilistic mapping. The main failure modes are hidden collisions, orphan targets, broken inverse paths, equal-count fallacies, stale mappings after membership changes, and forced bijections over naturally many-valued domains.
Neighbor distinctions¶
correspondence_validation checks old/new agreement in an overlap domain. mapping_reconciliation resolves conflicts between mappings. equivalence_normalization may intentionally collapse equivalent forms. equivalence_class_consolidation groups multiple items for shared treatment. source_of_truth_assignment assigns authority. Lossless Bijective Mapping Design is the stricter pattern for exact reversible pairings.
Examples and non-examples¶
A legacy-to-new ID crosswalk is a good example when every old ID maps to one new ID and every new ID maps back to one old ID. A reversible encoding is a good example when every valid source state has exactly one representation and every valid representation decodes to one source state. A room-to-exam assignment is a good example within a time block when every exam gets one room and every room is used by one exam.
A synonym table is not a bijection when many names point to one authority. A category split is not a bijection when one old category maps to several new categories. Lossy compression is not a bijection because the inverse cannot recover the original. Equal counts alone do not prove bijection because pairings can still be wrong.
Quality note¶
This draft is recommended for use with ordinary review. The main future boundary issue is the relation to upcoming zero-coverage targets canonical_form, injectivity, and any later surjectivity-like target; those may become components, variants, or separate narrower archetypes depending on their disposition checks.
Common Mechanisms¶
10 documented mechanisms across 8 implementation forms.
The grouping reflects forms represented among the mechanisms currently documented for this archetype; an absent form is not necessarily an impossible implementation.
Analysis, Modeling & Optimization · 1 mechanism
- Reversible Encoder–Decoder Pair — A paired encoding and decoding mechanism whose output can be decoded back to the original input within scope.
Assessment, Review & Assurance · 2 mechanisms
- Duplicate Target Scan — A scan that detects target values assigned to multiple distinct sources.
- Orphan Target Scan — A scan that detects target members with no source member mapped to them under the intended bijection.
Control, Automation & Runtime · 1 mechanism
- Unique-Constraint Pair — Database uniqueness constraints on both sides of a mapping table to prevent collisions and duplicate pairings.
Decision, Gate & Allocation · 1 mechanism
- Mapping Exception Queue — A review queue for collisions, gaps, ambiguous pairs, and cases that violate bijection assumptions.
Experiment, Test & Rehearsal · 2 mechanisms
- Bijection Test Suite — Automated or manual tests checking no duplicate targets, no orphaned targets, no missing sources, and correct round trips.
- Round-Trip Migration Test — A migration test that maps records forward into a new representation and back into the old one to detect information loss.
Record, Log & Register · 1 mechanism
- ID Mapping Register — A governed register pairing old and new identifiers during migration, merge, split, or namespace transition.
Representation, Specification & Plan · 1 mechanism
- One-to-One Crosswalk Table — A table that pairs each source member with exactly one target member and supports inverse lookup.
Structure, Architecture & Configuration · 1 mechanism
- Inverse Index — A maintained reverse lookup from target members back to source members.
Compression statement¶
Lossless Bijective Mapping Design applies when a system needs a reversible one-to-one-and-onto correspondence between two collections. The intervention defines both sets, states the mapping rule, checks cardinality, prevents collisions, detects gaps, maintains inverse lookup, tests round trips, records exceptions, and governs changes so information, identity, rights, counts, or obligations are not lost when moving across representations.
Canonical formula: For sets A and B, design f: A -> B such that for every a in A there is exactly one f(a), for every b in B there exists exactly one a with f(a)=b, and inverse f^-1 is well-defined throughout the governed scope.
Related Abstractions¶
Abstractions this archetype builds on — directly (a source ingredient) or as a related pattern. Links follow the typed catalog namespace.
Built directly on (7)
- Bijectivity: A correspondence that is exactly one-to-one and onto — no collisions, no gaps — so it is reversible and the two collections have equal size and information content.
- Cardinality: Size of sets.
- Function (Mapping): Relates inputs to outputs.
- Injectivity: A distinctness-preserving mapping in which distinct inputs never collide on one output.
- Isomorphism: Structure-preserving mapping.
- Preimage: The set of all inputs that map to a given output under some mapping.
- Surjectivity: A coverage-guaranteeing mapping in which every element of the target is hit by some input, leaving no gap in the codomain.
Also references 13 related abstractions
- Closure: Ensures operations remain within a set.
- Constraint: Limits possibilities to guide outcomes.
- Correspondence Principle: New theories match old limits.
- Data Integrity: Accuracy and consistency preserved.
- Equivalence Relation: Groups elements into equivalence classes.
- Identifier Assignment: Mint a durable handle for an entity and bind it to that entity in a public, queryable record, so future reference can route through the handle without re-describing the entity.
- Identity-Providing Kind: A category whose membership fixes what it takes for an instance to remain the same instance over time, supplying persistence criteria rather than a temporary description.
- Interoperability: Systems function together.
- Relation: Describes associations or dependencies.
- Representation: Model complex ideas.
Variants¶
Narrower or domain-specific specializations that share this archetype's core structure. Recognized variants are established; candidate variants are provisional.
Identifier Crosswalk Bijection · domain variant · recognized
Maintain a one-to-one crosswalk between old and new identifiers during migration or namespace transition.
- Distinct from parent: The parent covers all bijective mappings; this variant applies specifically to identifiers, registries, and durable namespace changes.
- Use when: Old identifiers must remain traceable to exactly one new identifier; Rollback, audit, or historical references require inverse lookup; A namespace transition must not merge distinct entities or strand new identifiers.
- Typical domains: data migration, registry management, software package renaming
- Common mechanisms: id mapping register, one to one crosswalk table, bijection test suite
Reversible Encoding Mapping · mechanism family variant · recognized
Encode each source state into a target representation that can be decoded back without information loss within the governed state space.
- Distinct from parent: The parent covers set mappings broadly; this variant covers reversible representation transformations.
- Use when: Serialization, exchange, or format conversion must preserve exact recoverability; Round-trip behavior is a core acceptance criterion; The representable target states can be bounded and checked.
- Typical domains: serialization, data exchange, file format conversion
- Common mechanisms: reversible encoder decoder pair, round trip migration test, bijection test suite
Allocation Pairing Bijection · domain variant · candidate
Pair agents, tasks, resources, seats, slots, or obligations so every source and every target is used exactly once within a defined block.
- Distinct from parent: The parent is mapping-general; this variant emphasizes resource assignment, capacity, and operational exceptions.
- Use when: A matching or assignment must avoid both double-booking and unused slots; Every participant or resource should receive exactly one counterpart; The assignment boundary is fixed enough that exact coverage can be checked.
- Typical domains: scheduling, staffing, inventory assignment, matching markets
- Common mechanisms: one to one crosswalk table, duplicate target scan, orphan target scan
Near names: One-to-One Mapping Design, Reversible Crosswalk Design, Exact Correspondence Mapping, Lossless ID Mapping, Bijection Governance.
Editorial Notes¶
Problem Classification¶
Classification: Correctness, Conformance & Formal Validity Failure → Mapping, Rewrite & Structure Preservation
Problem kernel: claimed reversible mapping contains gaps or collisions
Rationale: Earliest causal condition: A mapping between two sets, schemas, namespaces, identifiers, states, encodings, allocations, or versions is treated as equivalent or reversible even though collisions, gaps, orphaned targets, missing sources, or broken inverse paths may exist. As a result, migrations lose information, records merge incorrectly, target states remain unrea
Independent corroboration: The earliest necessary condition in the frozen evidence is: A mapping between two sets, schemas, namespaces, identifiers, states, encodings, allocations, or versions is treated as equivalent or reversible even though collisions, gaps, orphaned targets, missing sources, or broken inverse paths may exist. That is a mapping rewrite and structure preservation problem because Translation, replacement, inversion, lowering, or transformation changes meaning, reachability, connectivity, correspondence, or invariants that were required to survive.
Review outcome: Independent reviewer agreement; high confidence.