Skip to main content

​
Leja Professional — Overview

​
The Formal Operator Side of the Leja Ecosystem

​
What Leja Professional Is

Leja Professional is the operator-facing audience surface of the Leja ecosystem. It serves the Professional audience — where properties are listed, agents operate, landlords manage their portfolios, and organisations run their businesses. Leja Professional is not the full product identity of Leja. Leja Professional is not property management software with a trust layer. Leja Professional serves as the operating surface for the Professional audience: the place where formal property activity becomes witnessed, attributable, and useful across the ecosystem. Within the nine-surface architecture, Leja Professional is the Professional surface — the primary Professional audience surface where agents, Principals, organisations, and hotel operators operate. Its property, unit, charge, payment, receipt, and statement workflows matter because they turn formal operator actions into witnessed ecosystem records. See 00_Foundation/02_surface_architecture.md for the full surface architecture definition. Every action taken in Leja Professional — confirming a payment, signing a lease, logging a maintenance request, generating a receipt — is simultaneously:
  1. An operational action completed with institutional traceability
  2. A witnessed event that becomes available to the ecosystem record layer
The operational tools are real product surfaces for the Professional audience. The witnessed record is what lets those surfaces compound beyond the immediate workflow.

​
Who Uses Leja Professional

Solo Agents (Segment A — Volume Play) Independent agents managing 1–20 units. One-person operations. Sometimes manage units for landlords, sometimes just broker deals. They are the largest segment by count. Each deal brings a new buyer into the Leja ecosystem. They are the data engine. Growth Agencies / Organisations (Segment B — Revenue Play) Established property operators managing 20–500+ units. 2+ staff. Operating under a BRN. They are the primary subscription revenue source. Landlords Property owners who manage their own portfolio directly (without an agent) or who want direct visibility into how their properties are managed. They use Leja Professional to view witnessed payment histories, dispute records, and property condition events. Note: Service providers receive jobs through Resident, not Leja Professional. Leja Professional is for formal real estate actors only.

​
What Leja Professional Witnesses

Every Leja Professional action that witnesses an event creates a TrendEvent. These TrendEvents are the raw material of the Trust Graph. 
LEASE EVENTS:
  LEASE_STARTED — tenancy agreement signed and witnessed
  LEASE_RENEWED — renewal confirmed by both parties
  LEASE_EXPIRED_CLEAN — natural end, no disputes
  LEASE_EXPIRED_WITH_ARREARS — natural end, outstanding balance
  EARLY_EXIT_BY_TENANT — tenant leaves before lease end
  EARLY_EXIT_BY_LANDLORD — landlord terminates early
  EVICTION_INITIATED — formal eviction process begun
  EVICTION_RESOLVED — eviction process concluded

PAYMENT EVENTS:
  PAYMENT_ON_TIME — paid within grace period
  PAYMENT_LATE — paid after grace period (1–7 days)
  PAYMENT_VERY_LATE — paid after 8+ days
  PAYMENT_PARTIAL — less than full amount paid
  PAYMENT_MISSED — no payment, threshold exceeded

MAINTENANCE EVENTS:
  MAINTENANCE_REQUESTED — tenant/landlord raises an issue
  MAINTENANCE_IN_PROGRESS — job assigned and started
  MAINTENANCE_COMPLETED — job done, both parties confirm
  MAINTENANCE_DISPUTED — dispute over completion or cost

DISPUTE EVENTS:
  DISPUTE_RAISED_BY_TENANT
  DISPUTE_RAISED_BY_LANDLORD
  DISPUTE_RESOLVED_AMICABLY
  DISPUTE_ESCALATED — referred to Leja resolution

IDENTITY EVENTS (on Property RIN):
  PROPERTY_LISTED — property enters Leja Professional with Property RIN
  PROPERTY_STATUS_CHANGED — availability status update
  PROPERTY_INSPECTED — formal inspection conducted

​
The Core Workflow (MVP)

Property created
  → Unit(s) created under property
    → Tenant created, linked to unit
      → RIN issued to tenant (silent, PROVISIONAL)
        → Rent charge created (invoice)
          → Payment received (manual or AI-assisted)
            → Payment confirmed by agent
              → TrendEvent created (PAYMENT_ON_TIME / LATE / PARTIAL)
                → Receipt generated (state-compliant PDF)
                  → Landlord statement exportable
Every step in this chain is a witnessed-record event. None of these steps are optional. The receipt is proof. The TrendEvent is what the Trust Graph consumes. Both must be generated for every confirmed payment.

​
State Compliance (Built In, Not Bolted On)

Leja Professional generates state-compliant documents based on the property’s state — not the agent’s location, not Leja’s headquarters. Active in Milestone Wave 1:
  • Lagos State — Lagos Tenancy Law 2011
  • Oyo State — Oyo State Tenancy Law 2006
Active in Milestone Wave 2:
  • FCT/Abuja — FCT Tenancy Act 2008
  • Rivers State — Rivers State Rental Accommodation Law
Architecture from Day 1: All 36 states + FCT are in the state enum from the first migration. Templates are added progressively. The schema never needs to change. What state compliance governs:
  • Receipt required fields (date, parties, property, amount, period, stamp)
  • Advance rent limits (Lagos: max 1 year for new tenants)
  • Service charge receipt and 6-monthly accounting requirements
  • Eviction notice periods
  • Legal fee caps (Lagos: 10% of annual rent)

​
Revenue Model (Summary — Full Detail in 09_Revenue_Model)

Solo agents (no subscription): Transaction fees on every witnessed event:
  • ₦150 per receipt generated
  • ₦250 per AI-assisted payment extraction confirmed
  • ₦500 per AI tenancy agreement generated
  • ₦200 per landlord statement exported
Organisations (subscription + transaction fees):
TierUnitsMonthly
Pro16–50₦15,000
Business51–150₦35,000
Scale151–400₦65,000
Enterprise400+Custom
Transaction fees apply on top of subscription for all tiers. Subscriptions unlock: custom branding on documents, operator intelligence, anomaly detection, payment prediction, natural language queries, fraud detection alerts.

​
What Leja Professional Does NOT Do

Leja Professional does not replace WhatsApp for communication. Leja Professional is not a personal tracking ledger. Leja Professional does not upload, store, or search unwitnessed documents. Leja Professional does not provide Resident-facing services (that is Resident). Leja Professional does not manage service participation jobs (that is Resident). Leja Professional witnesses events in the formal real estate economy. Everything else is out of scope.