Property
The Property module is the Identity-Criterion crux of OPDA. It distinguishes:
- the physical Property (a house, a flat — bricks and mortar);
- the Legal Estate vested in it (the rights bundle — Freehold, Leasehold, Commonhold);
- the Registered Title that documents the Legal Estate at HMLR;
- the Address that locates the Property (in any of several authority-issued forms: title, marketing, INSPIRE).
These four are routinely conflated in property data. OPDA keeps them separate because they have different Identity Criteria: a Property can persist while its Title is closed and reopened; a Title can persist through a Lease Extension that mutates (but does not break) the Legal Estate; an Address can change without the Property changing.
This module also contains two reified lifecycle events — Lease Extension Event and UPRN Succession Event — that record administrative changes which, importantly, do not break the underlying Property or Legal Estate identity.
Entities
- Address — an authority-issued locator for a Property
- Lease Extension Event — a statutory lease-extension event that mutates a leasehold’s term without breaking its identity
- Lease Term — the time interval bounding a leasehold tenure
- Legal Estate — the bundle of legal rights vested in a Property
- Property — the physical residential property
- Registered Title — the HMLR title-register record documenting a Legal Estate
- UPRN Succession Event — an administrative re-numbering of a Property’s UPRN
Module-internal relationships
The Property quartet (Property — LegalEstate — RegisteredTitle — Address) and the two reified identity-preserving lifecycle events:
(spatial-material continuant)"]:::cls Address["Address
(authority locator)"]:::cls LegalEstate["LegalEstate
(rights bundle)"]:::cls RegisteredTitle["RegisteredTitle
(HMLR record)"]:::cls %% Leasehold lifecycle LeaseTerm["LeaseTerm
(time interval)"]:::cls LeaseExtensionEvent["LeaseExtensionEvent
(reified)"]:::cls %% UPRN lifecycle UPRNSuccessionEvent["UPRNSuccessionEvent
(reified)"]:::cls %% Cross-module Proprietorship["Proprietorship
(agent module)"]:::ext Transaction["Transaction
(transaction module)"]:::ext %% Core quartet Property -->|"hasAddress (1..*)"| Address Property -->|"hasLegalEstate (1..*)"| LegalEstate LegalEstate -->|"documentedBy"| RegisteredTitle RegisteredTitle -->|"identifiesPropertyOf"| Property %% Leasehold subtype LegalEstate -->|"leaseTerm (if leasehold)"| LeaseTerm LeaseExtensionEvent -->|"extends"| LegalEstate LeaseExtensionEvent -->|"produces successor"| LeaseTerm LeaseExtensionEvent -->|"updates"| RegisteredTitle %% UPRN succession UPRNSuccessionEvent -->|"re-numbers"| Property UPRNSuccessionEvent -->|"accompanies"| Address %% Cross-module touch points (faded) Proprietorship -.->|"binds"| RegisteredTitle Transaction -.->|"conveys"| LegalEstate
Lifecycle: Property identity-criterion decision flow
Walk the four mutually-exclusive outcomes for a candidate Property record:
Property records"]):::cls Q1{"Same spatial-material
continuant
(same bricks)?"}:::cls Q2{"Legal-record evidence
of replacement
(demolition cert,
new title)?"}:::cls Q3{"Subdivision or merger
recorded?"}:::cls Persist(["SAME Property
(identity persists)"]):::success Override(["NEW Property
(legal-record override)"]):::warning Split(["Subdivision or Merger
(see hard cases)"]):::warning Distinct(["DIFFERENT Property"]):::errorState Start --> Q1 Q1 -->|"Yes"| Q2 Q1 -->|"No"| Q3 Q2 -->|"No"| Persist Q2 -->|"Yes"| Override Q3 -->|"Yes"| Split Q3 -->|"No"| Distinct
Lifecycle: Registered Title lineage
How a Registered Title’s identity moves through registry events without taking the underlying Legal Estate with it:
(no lineage break) Active --> Reissued : reissue on corrupt-plan
or admin replacement Active --> Merged : merged into another Title Active --> Closed : closure (e.g. on amalgamation) Active --> Transferred : moved between
district registries Reissued --> Active : successor Title
linked to predecessor Transferred --> Active : same Title, new register Merged --> [*] : Title ceases;
LegalEstate may persist Closed --> [*] : Title ceases;
LegalEstate may persist
Comments