Agency 2: Facilities

Beyond Ownership: A Recursive-Control Architecture for Non-Speculative Facility Governance

Abstract

This paper develops a recursive-control framework for Agency 2, the facility lease-execution and construction-governance rail within the NewVistas institutional system. The analysis focuses on long-duration facility shells, including land, building envelopes, structural frames, and durable space. Conventional real estate finance often permits speculative project initiation, exposes long-duration assets to refinancing and maturity risk, fragments ownership and control rights, and resolves distress through liquidation or forced sale. This paper proposes an alternative architecture in which admissibility, custody, and title finance are constitutionally separated. Under this structure, project admissibility is determined upstream through the TOK bundle governed by Agencies 19–21. Facility use is granted only through binding Agency 2 leases that confer custody exclusively to stewards. Title, liens, covenants, debt service, and refinancing remain on Agency 8’s domain-specific property finance rail. Agency 2 therefore does not originate eligibility, hold title, finance property, or operate assets directly but governs lease execution, construction sequencing, milestone verification, and compliance through certified contractors. The paper models each facility project as a Markov switching state machine moving through plan, construction, and operational steward-custody states. This formalization proves the no-speculation condition as a zero-probability transition: a project cannot move from planning to construction unless both TOK validation and a binding lease are present. The framework further derives the lease-pricing rule L = kDS, with k ≈ 2, as a default buffer, as an endogenous safety coefficient that strengthens DSCR corridors and reduces title-loss risk under refinancing gaps, vacancy duration, and cashflow volatility. Construction governance is modeled through milestone micro-draws, where draw execution depends on certified verification, TOK validity, and active lease status. The paper also incorporates the capital-rail constraints that residue and tithing are received and kept on Agency 7, allocation posture across Agencies 7–9 is governed at the Bureau III level through Metrics rules, and tithing cannot be used to absorb agency lease or asset losses. The results show that Agency 2’s recursive-control architecture prevents speculative starts, reduces construction and refinancing risk, preserves Trust-held title, and converts facility distress into re-lease coordination rather than liquidation.

Keywords: facilities governance; lease; development; recursive contracts; Markov switching; DSCR corridors; refinancing gap; mechanism design; institutional architecture; New Vistas

JEL Codes: G21, G32, R33, D23

1. Introduction

Facility shells, including land, structural frames, building envelopes, durable space, and the physical infrastructure that enables long-term occupancy, are among the most foundational capital goods in any economic system. They provide a spatial and structural base on which households, enterprises, services, production systems, and institutional life depend. Unlike short-duration flow assets such as inventory or raw materials, and unlike equipment assets that can often be moved, replaced, or reorganized more easily, facility shells are durable, location-bound, capital-intensive, and difficult to reverse once built. Their value depends not only on construction cost but also on occupancy, lease continuity, refinancing conditions, maintenance discipline, and the long-run matching of space to productive users. Because of these characteristics, facility governance is not merely a construction problem. It is a deep institutional problem involving title, access, financing, risk allocation, sequencing, and default resolution.

Conventional real estate and facility finance systems normally rely on a combination of developer equity, commercial bank debt, securitized claims, investor ownership, and secondary market transfer. These mechanisms can mobilize large amounts of capital and enable rapid construction, but they also create recurring structural pathologies. Projects are often initiated before committed users exist, producing speculative inventory and vacancies. Developers may build based on expected appreciation rather than verified productive demand. Refinancing windows has become major stress points because long-duration assets are frequently funded through time-limited or variable-rate facilities. When conditions tighten, even otherwise useful buildings can be forced into distress. In default, the resolution process often depends on foreclosure, forced sale, discounted liquidation, or transfer of control to external creditors. These mechanisms may preserve creditor claims in narrow legal terms, but they frequently destroy productive capacity, destabilize users, and sever the relationship between the asset and the community it was meant to serve.

Agency 2, the Facilities rail in the NewVistas institutional system, is designed to address these problems by governing facility shells through lease-first, non-speculative, and title-separated architecture. Agency 2 does not exist to behave like a conventional developer, landlord, bank, or property investor. Its constitutional role is to govern the operational lease structure through which stewards receive custody of facility assets for productive use. Custody is reserved strictly for stewards and arises only through binding lease agreements. Agency 2 therefore governs the facility lease rail, while the Trust holds title through Agency 8. This distinction is essential. Agency 2 does not hold title, does not govern liens, does not originate refinancing, and does not allocate capital by discretion. Title, collateral, covenants, and refinancing for facility shells reside exclusively on Agency 8’s domain-specific property finance rail. In this sense, Agency 2 governs access and construction sequencing, while Agency 8 governs property title and financing.

The architecture is built around a separation-of-powers principle. Eligibility determination, operational use, and title/finance governance are not collapsed into one entity. Upstream admissibility is governed through the TOK bundle, produced by Agencies 19, 20, and 21. Agency 19 verifies plan completeness and schema discipline. Agency 20 verifies market evidence, demand, and contractual artifacts. Agency 21 evaluates underwriting feasibility and risk corridors. Only after this upstream validation can Agency 2 execute a binding facility lease. This prevents speculative construction because facility capital cannot be initiated merely on expectation, preference, or political pressure. It must be tied to a validated plan and a binding lease.

Agency 2 also governs construction sequencing through certified contractor verification. Facility development is not funded through lump-sum discretionary release. Instead, construction financing is staged through milestone micro-draws. Each draw is tied to verified progress, contractor certification, and compliance with approved plans. This reduces fraud, limits premature capital instantiation, and ensures that durable assets are created only in response to validated demand. In conventional development finance, capital can become trapped in partially completed projects, overbuilt inventory, or misaligned facilities. In the Agency 2 model, construction is treated as a sequence of verified state transitions. Each stage must justify the next, and the facility cannot advance beyond the authority granted by the lease, plan, and financing structure.

A central argument of this paper is that facility governance must be modeled as a recursive contractual system rather than a static property transaction. Facilities are long-lived and exposed to changing maintenance, refinancing, and default conditions. Agency 2’s lease-first structure creates an ongoing relational framework in which use, compliance, payments, maintenance, and reallocation remain governed over time. If a steward succeeds, the facility continues to generate stable lease cashflows. If a steward fails, custody can terminate without transferring title, and the facility can be re-leased to another validated steward. This creates a non-liquidation default path. Instead of resolving failure through forced sale or title transfer, the system resolves failure through reallocation of custody while preserving Trust title.

The bylaw default pricing rule, under which facility lease charges are set approximately two times the related debt service or amortization cost, is also central to the model. This rule should not be interpreted as an arbitrary markup. In the facility context, it functions as a refinancing and title-preservation safety coefficient. Long-duration assets face refinancing gaps, interest-rate shocks, vacancy risk, maintenance needs, and covenant pressure. A lease charge that merely equals current debt service may appear efficient in the short run but leaves no room for volatility, repair, reserves, or refinancing stress. The paper therefore derives the two-times rule as an endogenous buffer designed to reduce title-loss probability under uncertain conditions. In other words, the pricing structure is a constitutional safeguard: it creates room for debt service, reserve accumulation, maintenance discipline, and refinancing resilience without relying on discretionary rescue.

This paper also uses incomplete-contract theory to explain why Agency 2 separates title from custody. In conventional property systems, ownership carries residual control rights, and these rights can create hold-up problems. Owners may withhold access, demand renegotiation, or extract value from users once sunk investments have been made. Users may also resist efficient reallocation if they hold strong proprietary claims. The NewVistas architecture reduces both risks by placing title in the Trust through Agency 8 while granting stewards lease-based custody through Agency 2. The steward receives secure operational use but does not receive transferable title. The Trust retains title but does not operate the business. This balance preserves productive access while maintaining reallocation capacity.

The central claims of the paper are therefore both architectural and testable. First, the lease-first design structurally closes speculation by requiring TOK validation and binding leases before facility capital is initiated. Second, the lease pricing rule can be modeled as a refinancing robustness coefficient that reduces title-loss risk under volatility. Third, incomplete-contract control rights can be allocated without private ownership by separating Trust title from steward custody. Fourth, milestone micro-draw construction governance reduces fraud and prevents capital from being embodied in projects without verified demand. Finally, the constitutional routing of residue and tithing ensures that facility governance does not depend on cross-domain subsidies or discretionary loss absorption.

This paper contributes to real estate finance, institutional economics, and management science by presenting a formally specified alternative to conventional facility development and ownership. It advances a model in which durable capital is preserved through separable authority, recursive contracts, rule-bound state transitions, and non-liquidation reallocation. Facility shells are treated not as speculative commodities or private balance-sheet instruments, but as Trust-held capital assets accessed through validated leases and governed through disciplined institutional rails.

2. Literature Review

2.1 Real Estate Finance, DSCR Corridors, and Refinancing Risk

Commercial real estate finance and project finance have long relied on cashflow-based feasibility tests to determine whether long-duration assets can sustain debt obligations over time. DSCR compares net operating income or lease-based cashflow against required debt service, and it signals whether an asset can meet its financing obligations from its own operating performance. In conventional lending practice, collateral value matters, but cashflow continuity is often the real determinant of long-run feasibility. A building may have high appraised value, but if its lease income cannot cover interest, principal, reserves, and covenant requirements, the asset can still become financially distressed.

The idea of covenant corridors builds on this logic. Lenders do not usually wait until full default occurs; they set thresholds, reporting obligations, reserve requirements, and refinancing conditions that define acceptable operating boundaries. If DSCR falls below the required level, if occupancy weakens, interest rates rise, or if refinancing conditions tighten, the asset may enter a covenant stress zone before outright insolvency. This makes long-duration facility finance highly sensitive to both operating cashflows and external credit conditions. Conventional real estate finance therefore recognizes that long-duration assets are not judged only by their physical existence, but by their ability to sustain predictable cashflows within lender-defined corridors.

However, conventional frameworks often treat refinancing risk as an external event rather than as an internal state of the system. In many real estate models, refinancing appears as a future date, a maturity event, or an assumed rollover condition. The model may estimate interest-rate sensitivity, exit capitalization rates, or loan-to-value constraints, but it often does not treat refinancing fragility as a continuously evolving condition that interacts with lease performance, vacancy, covenant pressure, and default probability. This is a major weakness because liquidity shocks and interest-rate changes can convert otherwise solvent operations into technical or covenant failures. A property may still be useful and productive yet become distressed because refinancing terms deteriorate or maturity arrives during a tight credit window.

Agency 2 does not merely refinancing price after a facility has already been built. Instead, it embeds refinancing robustness into the initial lease and execution structure. Facility capital cannot be initiated unless there is TOK validation and a binding lease. This means that construction does not begin on speculative expectation alone. The lease structure is the condition that permits capital instantiation. Moreover, lease pricing is designed to create a buffer above bare debt service, so that refinancing stress, covenant pressure, maintenance needs, and volatility can be absorbed before title is endangered. The analytical shift is to remove avoidable failure channels by design. Agency 2 turns DSCR and refinancing discipline from lender-side monitoring tools into constitutional constraints embedded in the facility governance process.

2.2 Incomplete Contracts and Control Rights

Facilities are classic incomplete contract assets. No lease, construction contract, or operating agreement can fully specify every future contingency affecting land, buildings, shells, structural frames, maintenance, and reuse. Over time, unforeseen events arise: a business may change scale, maintenance conditions may differ from expectation, the facility may need retrofitting, a steward may fail, demand may shift, or new compliance requirements may emerge. Because not all future states can be written into a complete contract at the beginning, the question becomes: who holds residual control rights when the contract is incomplete?

The Hart–Moore tradition in incomplete-contract theory emphasizes that ownership matters because it allocates residual control rights over assets when contracts do not specify what should happen. In conventional systems, ownership often determines who has the authority to decide in unanticipated conditions. However, facility assets create special problems because they are immobile, durable, specific to location, and often adapted to users. Once investments are sunk, either party may try to exploit the other. Owners may hold up operators by threatening rent increases, access restrictions, or renegotiation after the steward has built a business around the facility. Operators may also hold up owners by refusing efficient exit, under-maintaining the space, resisting reconfiguration, or using their embedded position to extract concessions.

Agency 2 responds to this incomplete-contract problem by separating title from custody. Title remains permanently with the Trust under Agency 8, while stewards receive custody only through Agency 2 leases. This gives the steward secure operational use without converting that use into alienable ownership. At the same time, it gives the Trust long-term title protection without allowing the title-holding rail to directly operate businesses. Control rights are not left to discretionary bargaining; they are enclosed in leases, verification procedures and re-leasing protocols. When conditions change, the system does not need to renegotiate ownership. It adjusts custody, lease terms, compliance requirements, or reallocation pathways within the rule-governed architecture.

This is a mechanical design response to incomplete contracts. The system allocates functional control without allocating private ownership claims. Stewards can rely on lease-based custody to operate and invest effort into their stewardship, but they cannot capitalize, sell, sublease, or pledge the facility shell. The Trust retains title, but it does not become an operating landlord in the ordinary discretionary sense. Agency 2 governs lease execution and facility use, while Agency 8 governs title and financing. This structure reduces hold-up risk on both sides because neither the steward nor a discretionary agency can convert incomplete contracts into uncontrolled bargaining power.

2.3 Mechanism Design, Separation of Powers, and Institutional Architecture

Most financial mechanism design begins with existing institutional categories and then how contracts can be optimized within them. For example, a bank designs a better loan contract, a landlord designs a better lease, an investor designs better covenants, or a regulator designs disclosure rules. These approaches improve parts of the system, but they usually leave the core institutional coupling intact. The same or closely related entities may assess eligibility, control access to capital, hold collateral rights, renegotiate terms, and influence default outcomes. This creates opportunities for discretion, rent extraction, favoritism, moral hazard, and procyclical tightening.

The NewVistas framework takes a different approach. Instead of only optimizing contracts within existing intermediaries, it designs the intermediary architecture itself. It constitutionally separates eligibility determination, lease execution, title holding, financing governance, metrics, audit, and legal templates. In this structure, Agencies 19–21 determine admissibility through the TOK process. Agency 2 governs facility lease execution and construction sequencing. Agency 8 holds title and governs long-duration financing, liens, covenants, DSCR controls, and refinancing. Agency 11 enforces sequencing through systems. Agency 15 audits rule compliance. Agency 16 governs representation and ledger treatment. Agency 18 provides measurements but does not define discretionary outcomes.

This separation of powers is essential because it prevents discretionary coupling between eligibility and capital control. Agency 2 cannot decide that a project is desirable and then initiate facility capital with its own authority. It cannot hold title, set financing terms, or use external collateral discretion. It can act only after upstream TOK validation and only through binding lease structures. In the same way, Agency 8 may hold title and govern finance, but it does not create business plans or decide which steward should receive custody. This distribution of authority lowers moral hazards because no single institution controls the entire pipeline from plan approval to capital deployment.

The mechanism-design contribution of Agency 2 is therefore not simply a better lease. It is an execution rail inside a larger constitutional architecture. Its authority is deliberately incomplete. It governs facility lease issuance, construction sequencing, and custody-granting contracts, but the conditions for action come from upstream admissibility and the title/finance rules come from Agency 8. This creates a stronger institutional structure than conventional development finance because it removes the ability to build speculatively, allocate capital by preference, or resolve failure through discretionary liquidation.

2.4 Markov Switching and Hazard Models for Stateful Assets

Facilities naturally move through discrete states over time. A parcel may begin with planning, shift to construction, become operational, undergo modification, face distress, move into re-lease, or require restructuring. These regimes are not merely descriptive labels; they determine financing exposure, covenant status, cashflow reliability, construction risk, and title-loss probability. For that reason, Markov switching models and hazard formulations are natural analytical tools for facility governance. They allow researchers to model transition probabilities between states and estimate the expected timing of events such as vacancy, default, refinancing stress, or re-leasing.

Conventional real estate analytics often use state models descriptively. A project may be classified as pre-development, under construction, stabilized, distressed, or disposed. A hazard model may estimate probability of default or prepayment. A Markov model may estimate transitions among occupancy states. However, these models typically observe the institutional process rather than constitutionally governing it. They describe what happens in a market where speculation, refinancing stress and liquidation are all possible outcomes. The model estimates probabilities, but it does not eliminate certain transitions by design.

Agency 2 changes the function of state modeling. In this architecture, facility states become rule governed. Some transitions are allowed only after specified conditions are satisfied, and some transitions are structurally prohibited. For example, the system should not transition from planning to construction unless TOK is valid and a binding lease exists. This means the probability of speculative construction is not merely low; under correct rule execution, it is zero. Similarly, a failed stewardship should not automatically transition to liquidation. Instead, the preferred transition is from failed custody to re-lease, with title preserved under Agency 8. Construction financing also proceeds through milestone micro-draws, meaning a facility cannot jump from concept to fully funded construction without verified staged progress.

This creates a more powerful theoretical model. Instead of treating facility development as an open market process with uncertain transitions, Agency 2 treats it as a controlled state machine. States such as planning, construction, operation, distress, and re-lease are not simply outcomes; they are institutional statuses governed by rules. Transition probabilities are shaped by constitutional constraints, certified contractor verification, TOK conditions, lease status, DSCR corridors, and refinancing posture. This allows the paper to prove stronger claims than conventional real estate models. The system closes the speculative transition channel and redirects failure into re-leasing where title remains preserved.

The literature on real estate finance, incomplete contracts, mechanism design, and state-transition modeling provides valuable tools, but existing systems rarely integrate them into a single institutional architecture. Conventional real estate finance uses DSCR and covenants but still permits speculative starts and refinancing fragility. Incomplete-contract theory explains control rights but usually assumes ownership remains the primary solution. Mechanism design improves contracts but often leaves institutional power concentrated. Markov and hazard models describe transitions but rarely make certain transitions structurally impossible.

Agency 2 is unique because it combines these insights into a rule-bound facility governance system. It does not rely on private ownership fragmentation, developer speculation, public subsidy, or lender liquidation as the central organizing mechanism. Instead, it creates a lease-first model in which construction begins only after validated demand, title remains with the Trust, custody belongs only to stewards through lease agreements, financing sits under Agency 8, and failures are resolved through re-leasing rather than forced sale. This makes the framework more practical than conventional models because it directly targets the institutional causes of facility distress rather than merely pricing them after the fact.

The distinctiveness of NewVistas lies in its constitutional separation of functions. Agency 2 cannot speculate because it cannot act without TOK and lease validation. Agency 8 cannot operate businesses because it holds title and governs finance only. Stewards cannot convert custody into ownership because leases grant use, not title. Residue and tithing cannot be used as bailout pools for facility losses because those flows remain on Agency 7 and are governed by strict rules. In this way, the system creates a disciplined architecture for durable capital that is neither conventional capitalism, public housing, nor cooperative ownership, nor standard leasing. 

3. Methodology

This study uses a recursive-control methodology to model Agency 2 as the facility lease-execution rail within the NewVistas institutional system. The central methodological claim is that facility governance cannot be treated as a one-time real estate transaction or as a continuous flow of capital. Facility shells, land, buildings, structural frames, building envelopes, and long-duration durable space are long-lived, capital-intensive, immobile, and exposed to construction risk, vacancy risk, covenant stress, refinancing gaps, and title-loss risk. For that reason, the paper treats each facility as a state-dependent asset pipeline that moves through rule-governed stages rather than as a static property investment. The methodology is designed to show how Agency 2 closes the speculation channel, regulates construction sequencing, and preserves Trust title through lease-based custody rather than private ownership.

Agency 2 is modeled as a recursive contract operator controlling the execution path of a facility project x. Its governance action set is deliberately narrow: lease issuance that grants custody rights to stewards, contractor milestone verification, construction sequencing rules, lease triggers, re-lease triggers, and verification rigor. Agency 2 does not finance facility shells, hold titles, govern liens, or originate admissibility. Agency 8 governs title and finance for the same facility through a domain-exclusive external property-bank rail. Agency 2 governs the lease and construction sequence, while Agency 8 governs title, covenants, refinancing, and debt service.

The first methodological layer models the facility lifecycle as a Markov switching state machine. Each facility project x exists in one of three mutually exclusive states. The first state, S₀, is the Plan Stage, or lease-first admissibility stage. In this state, the project has TOK validation and a binding Agency 2 lease, but physical capital has not yet been instantiated, so K_x,t = 0. The second state, S₁, is the Construction Stage, in which verified milestone draws instantiate facility capital, so K_x,t > 0. The third state, S₂, is Operational Steward Custody, where a steward holds custody only through an Agency 2 lease and the facility produces stabilized lease cashflows. The state variable is therefore written as, 

Z_x,t ∈ {S₀, S₁, S₂}

The transition law is, 

P_r(z_x,t+1 = j | Z_x,t = i, I_t) = P_ij(t; I_t)

where I_tis the institutional information set. It includes TOK status, lease status, verified milestones, contractor capacity, external credit conditions, refinancing posture, and relevant audit or covenant signals. This formulation allows facility development to be modeled as a controlled institutional process rather than as a speculative market sequence. The second methodological layer defines the execution gate. Agency 2 may not execute construction or facility deployment unless the project has both TOK validation and a binding Agency 2 lease. 

Exec^A2_x,t = TOK^A2_x,t.Lease^A2_x,t

Here, Lease^A2_x,t ∈ {0,1} indicates that a binding Agency 2 lease exists granting steward custody upon completion, while TOK_x,t ∈ {0,1} is the admissibility bundle generated by Agencies 19, 20, and 21. This equation converts the lease-first and no-speculation rule into a mechanical execution condition. If either TOK is absent or the lease is absent, execution equals zero. This produces the first core methodological result, 

Lease^A2_x,t = 0 “or” TOK_x,t = 0 ⇒ Pr(S₀→S₁) = 0

The proof is mechanical rather than discretionary. Construction draw authorization requires Exec^A2_x,t = 1. If the lease is absent or TOK fails, then Exec^A2_x,t = 0. Since the construction state S₁ is defined as positive physical capital instantiated through milestone draws are forbidden when execution equals zero, the transition from S₁ to S₁is infeasible. Therefore, its probability is structurally zero. This is stronger than saying the system discourages speculation. It means speculative construction is a state-machine impossibility under correct rule execution.

The third methodological layer evaluates recursive financing feasibility through the DSCR corridor. Agency 2 does not finance assets, but the feasibility of the lease schedule depends on financing parameters set by Agency 8. Agency 2 sets lease charges and contractor verification rules so that the facility remains inside covenant corridors and remains refinanceable without title loss. Let L_x,t denote lease revenue paid by the steward under the Agency 2 lease. 0C_x,t denote operating, maintenance, and compliance costs executed through certified contractors, not agency labor. DS_x,t denote debt service under Agency 8’s external property-finance facility. Net operating income is, 

NOI_x,t = L_x,t – OC_x,t

The debt service coverage ratio is

DSR_x,t = ^NOI_x,t⁄_DSx,t

The feasibility corridor requires,

DSR_x,t ≥ τ

where τ is the required covenant threshold, published as a corridor by Metrics and implemented mechanically through covenants on the Agency 8 rail. This corridor is central because facility shells can become distressed through covenant breach, refinancing stress, vacancy, cashflow interruption, or operating-cost pressure even when the physical asset remains usable. The fourth methodological layer introduces the endogenous buffer coefficient κ, which represents the lease pricing multiplier. The bylaw default rule L≈2×DS is treated not as a slogan but as a safety coefficient derived from refinancing risk and DSCR feasibility. Lease pricing is written as, 

L_x,t = κ · DS_x,t

Substituting into the NOI and DSCR equations gives:

NOI_x,t = κDS_x,t – OC_x,t

and

DSR_x,t = ^{κDS_x,t – OC_x,t}⁄_DSx,t = κ – ^OC_x,t⁄_DSx,t

This makes the buffer explicit. DSCR is structurally increasing in , and the DSCR corridor becomes a direct lower bound on the lease multiplier, 

κ ≥ τ̄ + ^OC_x,t⁄_DSx,t

Facility lending is long duration but not frictionless. Refinancing and re-leasing occur with timing risk. The methodology therefore defines a refinancing gap Δt as the critical time window during which refinancing or re-lease stabilization must occur to avoid covenant escalation toward title-loss outcomes. Operationally, Δt is governed by Agency 8’s refinancing protocols and verified by audit triggers. It enters the risk of title loss through vacancy and cashflow interruption. Let V_x denote vacancy duration and let σ summarize external credit stress, including interest-rate volatility, credit-spread volatility, refinancing tightness, and market-rate instability.

λ_TL(κ;σ,Δt,V_x) = Pr(TitleLoss_x∣κ,σ,Δt,V_x)

The economically correct safety multiplier is then modeled as, 

κ* (σ,Δt) = arg(min)_{κ∈[κmin,κmax]} E[λ_TL(κ;σ,Δt,V_x)]

subject to the DSCR corridor, TOK21 viability, and an implementation constraint that must not create artificial deadweight that blocks adoption. Thus, is not arbitrary. It is the minimal buffer that makes title invariance robust to vacancy, refinancing timing risk, and credit stress while preserving steward viability.

log(NOI_t+Δt) = (log(NOI))̄ – 1/2 σ²Δt + σ√Δt ϵ, ϵ ∼ N(0,1)

Title-loss escalation is triggered when DSCR falls below the covenant threshold during the refinancing window:

Pr(DSCR < τ̄) = Pr(NOI/DS < τ̄) = Pr(NOI < τ̄DS)

Using NOI = κDS – OC, the required deterministic buffer becomes:

κ ≳ τ̄ + OC/DS + z_pσ√Δt

where z_p is a stress quantile, such as 95 percent or 99 percent, chosen by the law corridor. This equation gives direct comparative statics: κ increases with external credit volatility σ, increases with the square root of the refinancing gap √Δt, and increases with operating-cost intensity OC/DS. Under normal corridor settings and conservative stress quantiles, the default κ ≈ 2 emerges as a stable interior value in plausible parameter regions rather than as an arbitrary markup.

The fifth methodological layer uses incomplete-contract theory to explain why lease custody and Trust title must be separated. Facility assets are classic incomplete-contract objects. In conventional ownership regimes, this creates hold-up risk because an operator controlling an immobile and relationship-specific site may threaten under-maintenance, exit, or renegotiation to extract concessions. Title is held permanently by the Trust under Agency 8. Custody is a revocable lease-right under Agency 2, enforceable under civil law. Control rights are embedded in lease covenants, standards compliance, maintenance schedules, occupancy conditions, termination triggers, and re-lease protocols.

Let R donate residual control rights under incomplete contracts. In Hart–Moore logic, the asset owner holds . In this system, Agency 8’s title rail holds residual control by title, while the steward never holds residual control because the steward never holds title. Agency 2 implements lease control without discretionary moral judgment, using mechanical covenants and certified verification. Since custody is contractually bound and non-transferable, the steward cannot hold the land or facility shell hostage by threatening title impairment. The steward’s maximum threat set is bounded to operational performance and lease termination, after which the facility is re-leased. Thus, the canonical hold-up problem is reduced from a bargaining problem into a reallocation problem.

The sixth methodological layer formalizes the recursive contract structure. A facility lease is not a one-shot contract. It updates over time based on measurable states, including occupancy status, DSCR corridor status, refinancing window state Δt, vacancy duration V_x, standards versioning, and contractor capacity. Let the facility state vector be, 

X_x,t = (Z_x,t, DSCR_x,t, σ_t, Δt_t, Ω_t)

where Ω_t captures standards and version constraints as well as contractor capacity. The lease-control rule is recursive, 

π_t+1 = T(π_t, X_x,t)

where π_t is the policy objects include lease covenants, pricing schedule, maintenance cadence, and re-lease triggers. Updates occur only by rules and under agency separation. This is why recursive control is the proper methodology, the facility governance problem is not solved once at project approval and is continuously governed through state-dependent, rule-bound updates. The seventh methodological layer integrates binary TOK gates with stochastic filtering. Operationally, execution requires TOK = 1, where the TOK bundle is the product of required components. The methodology therefore models a latent plan viability state θ and posterior probability, 

π_t = Pr(θ = viable | I_t)

The operational TOK gate is then defined as,

TOK_x,t = 1{π_t ≥ π̄} · 1{schema} · 1{market artifacts}.

This preserves doctrine because execution still requires a binary TOK value, but it gives the model a formal filtering layer that can incorporate new information about plan viability, market evidence, contractor readiness, or risk status. The eighth methodological layer models milestone micro-draw construction governance. Contractors are paid through milestone micro-draws, not lump sums, and draw execution occurs through the bank rail only after verification. Let milestones be indexed by m=1,…,M. Let Draw_x,m be the draw amount for milestone m, and let Verify_x,m ∈ {0,1} indicate certified verification that milestone m is complete. The draw execution rules are, 

DrawExec_x,m = Verify_x,m · TOK_x,t · Lease_x,t^A2

During the construction state , capital instantiation is controlled accumulation, 

K_x,t+1 = K_x,t + ∑_m=1^M Draw_x,m · DrawExec_x,m

This is the formal anti-fraud and anti-speculation mechanism. No TOK and lease means no draw. Capital is instantiated only when verified progress, admissibility, and lease validity coexist. Finally, the methodology gives Agency 2 a hard optimization spine through a Lagrangian formulation. Let P denote a policy over milestone verification stringency, lease pricing multiplier κ, re-lease triggers, construction pacing, lease triggers, and verification rigor. Agency 2’s policy problem is not profit maximization. It is minimization of expected title-loss probability while respecting constitutional execution constraints:

(min)_P E[“TitleLoss”_x]

subject to:

A compact Lagrangian expression is, 

Agency 2 is not optimizing developer profit, occupancy growth, or discretionary expansion. It is optimizing title invariance and non-liquidation under constraints that enforce TOK gating, lease-first execution, DSCR discipline, no subleasing, and milestone-only construction. The resulting method presents Agency 2 as a recursive governance rail, does not speculate, hold title, or finance property directly, and does not operate construction businesses. It governs the lease and construction sequence that grants steward custody while preserving Trust title under Agency 8.

4. Theoretical Framework: Separable Title, Lease Custody, and State-Transition Control

The theoretical framework builds on the central premise that facility shells require a governance architecture fundamentally different from conventional property ownership, developer speculation, or bank-led foreclosure systems. Facility shells include land, structural frames, building envelopes, durable space, and the long-lived physical platforms on which productive and residential activity depends. These assets are long-duration, immobile, expensive to construct, difficult to repurpose quickly, and costly to liquidate without loss. Their productive value does not arise merely from ownership or appraisal value; it depends on continuous use, stable lease cashflows, DSCR stability, maintenance discipline, re-leasing capacity, and refinancing resilience. Agency 2 addresses these characteristics by separating three functions that are commonly bundled in conventional real estate systems: eligibility, custody, and title finance. Agencies 19–21 determine admissibility through TOK; Agency 2 executes leases that grant steward custody; and Agency 8 holds title and governs long-duration financing. The first theoretical principle is formal domain separation.Agency 2 governs the facility shell execution rail, meaning it governs lease execution, construction verification, and the grant of custody through binding facility leases. 

This expression means Agency 2’s domain is not property ownership and not facility finance. Its domain is the intersection of facility lease execution, verified construction sequencing, and custody-granting contracts. Agency 8 governs the title and financing rail for long-duration property assets.

This second expression defines Agency 8 as the title, lien, covenant, and refinancing rail. The separation is constitutional because the agency that grants custody cannot hold title, and the agency that governs title cannot create eligible projects or grant operational custody by discretion. This prevents the concentration of power that usually appears in developer-led or landlord-led systems.

The second theoretical principle is separable asset custody. In this framework, custody is not ownership. Custody refers only to the steward’s lease-based operational use-right. Title remains with the Trust under Agency 8. Agency 2 therefore grants custody only through a binding lease, while Agency 8 governs title, collateral, liens, DSCR covenants, and refinancing. This separation limits hold-up risk on both sides. The steward cannot impair title, pledge the facility, sell the space, sublease the use-right, or convert custody into ownership. At the same time, the Trust does not operate the steward’s business. If the steward fails, the system terminates custody and re-leases the facility rather than liquidating title. This theoretical structure can be expressed through a domain matrix that separates institutional control functions.

The matrix shows that facility governance is not centralized in one institution. The admissibility function is upstream, the custody function is lease-based, and title finance is held separately. Authority matrix can be written as, 

The rows correspond respectively to Agencies 19–21, Agency 2, and Agency 8. The first row means Agencies 19–21 validate the plan through TOK but do not lease, hold title, finance, or grant custody. The second row means Agency 2 governs lease execution and steward custody but does not hold title or govern financing. The third row means Agency 8 holds title and financing authority but does not validate business admissibility or grant steward custody. This matrix encodes the constitutional separation at the core of Agency 2.

The third theoretical principle is the zero-probability speculation channel. In conventional development, a project can begin because a developer expects future demand, appreciation, or refinancing opportunities. In the Agency 2 model, construction cannot begin unless the execution gate equals one:

This implies

The implication is stronger than risk pricing. The system does not merely make speculation expensive; it makes speculative construction structurally impossible under correct rule execution. The planning state cannot transition into the construction state without validated demand and a binding lease. If TOK is missing, execution is zero. If the Agency 2 lease is missing, execution is zero. Therefore, the facility cannot be instantiated merely because capital is available or because future demand is expected.

The fourth theoretical principle is facility lease pricing and DSCR robustness through an endogenous buffer. Conventional real estate finance often treats refinancing as an external event. In this framework, refinancing exposure is modeled as endogenous to the lease structure. Because the facility shell is long-lived and tied to Agency 8’s property-finance rail, refinancing failure can create title-loss risk. The buffer coefficient becomes the theoretical instrument that creates DSCR slack. Lease pricing is written as:

Here, is lease revenue, is debt service under the Agency 8 property-finance rail, represents external credit or cashflow volatility, and represents the refinancing or re-lease gap window. Net operating income is, 

and DSCR is:

This shows that the lease multiplier directly determines covenant slack after accounting for operating-cost intensity. The DSCR corridor requires Substituting the DSCR equation gives a direct lower bound on , 

Under stochastic refinancing or re-lease gaps, the stress buffer term must also be included.

This equation links the lease multiplier to the covenant threshold, operating-cost intensity, volatility, and refinancing gap duration. The bylaw default is therefore interpreted as an endogenous safety coefficient rather than an arbitrary markup. The higher the buffer, the greater the distance between normal operations and covenant breach. The fifth theoretical principle is milestone micro-draw construction governance. Facilities are not instantiated in one uncontrolled leap. They move from planning to construction through verified stages. The construction capital stock evolves according to, 

This equation means capital formation is recursive and conditional. If verification fails, the draw is blocked. If TOK fails, the draw is blocked. If the lease is absent, the draw is blocked. Therefore, facility capital accumulates only when institutional conditions remain valid. This converts construction from a speculative lump-sum event into a verified sequence of state transitions. Certified contractors verify milestones, but they do not create eligibility or control title. Agency 2 governs the sequence; Agency 8 governs the title and financing rail. The sixth theoretical principle is non-liquidation reallocation. When a steward fails operationally, the facility does not liquidate by design. Instead, it enters a controlled vacancy or re-lease substates inside the operational regime. Let denote vacancy duration. A re-lease trigger can be written as, 

This means re-leasing is triggered when vacancy duration reaches a rule-defined threshold and a new TOK-valid steward exists. The transition can be represented as:

where is operational custody by a new steward. Title remains in the Trust throughout.

Agency 2 executes the custody transfer through a new lease issuance, not through title transfer. The facility remains Trust-held capital, and distress appears as a temporary interruption of use and lease cashflow rather than a destruction or sale of the underlying asset. Finally, the framework can be represented as a controlled state-transition matrix. In conventional systems, transitions from planning to speculative construction and from distress to liquidation are both possible. In Agency 2, these probabilities are constrained by institutional rules. 

with the key condition. 

This matrix-based view shows that Agency 2 is a controlled state machine. Its uniqueness lies in converting detrimental market transitions into prohibited transitions and productive transitions into rule-governed state changes. Planning can move to construction only through TOK and lease validation. Construction can move to operation only through verified milestone execution. Operational failure moves toward vacancy and re-lease rather than forced title liquidation. Thus, Agency 2 turns facility governance from speculative real estate development into a recursive, lease-first, title-preserving institutional system.

5. Results

The results demonstrate that Agency 2 creates a structurally distinct facility-governance system when compared with conventional real estate finance, public development, cooperative ownership, or standard leasing models.  The results therefore show not only that Agency 2 can reduce risks commonly associated with facility development, but that certain failure channels are made structurally unavailable under correct rule execution. The first and most important result is the elimination of speculative facility starts. In conventional real estate development, a project can move from planning to construction based on anticipated demand, expected appreciation, investor confidence, or developer risk appetite. This creates the familiar problem of overbuilding, vacant inventory, stalled projects, and refinancing stress. In the Agency 2 framework, this transition is not discouraged as it is mechanically blocked unless two conditions are simultaneously satisfied, TOK validation and a binding Agency 2 lease. The execution condition is:

Because execution is multiplicative, failure of either condition collapses execution to zero. Therefore:

This result transforms the anti-speculation claim from a normative statement into a formal transition restriction. Facility capital cannot be instantiated unless validated demand exists and a steward is already contractually committed through lease-based custody. Agency 2 does not attempt to predict future demand through speculation as it requires verified demand before construction can begin. This closes a major failure channel found in prevailing development systems. The second result is that DSCR robustness increases monotonically with the lease-pricing buffer coefficient . Since facility lease pricing is defined as:

and net operating income is, the DSCR expression becomes,  Taking the derivative with respect to gives, This means the lease multiplier has a direct and one-for-one effect on covenant slack, holding operating-cost intensity constant. The result clarifies that the multiplier is not an arbitrary margin or surplus extraction device. A higher increases the distance between normal operations and covenant breach, reducing the likelihood that vacancy, volatility, cost pressure, or interest-rate stress will push the facility outside the DSCR corridor. In institutional terms, the lease multiplier protects title continuity by strengthening the cashflow layer before distress reaches the property-finance rail. The third result concerns refinancing-gap sensitivity. Long-duration facilities are exposed not only to ordinary operating risk but also to timing risk: refinancing, re-leasing, or stabilization may need to occur during a period of unfavorable credit conditions. The model captures this through the term 
where represents credit or cashflow volatility and represents the refinancing or re-lease gap window. The required buffer is approximated by, 

This result shows that the required safety coefficient rises mechanically when volatility increases, when the refinancing window lengthens, or operating-cost intensity increases. Therefore, Agency 2 cannot treat lease pricing as static across all macroeconomic conditions. During periods of tight credit, higher volatility, or delayed re-leasing, the system must either increase the buffer, slow expansion, or adopt a more conservative Bureau III posture. This converts macro-financial stress into a rule-governed adjustment rather than a discretionary crisis response. This supports the plausibility of the bylaw default . Under a DSCR corridor of , operating-cost intensity , a 95 percent stress quantile , and refinancing-volatility exposure , the model gives, which implies, 

This range contains , suggesting that the two-times lease rule is not an arbitrary rule of thumb. It lies within a plausible robustness corridor under conservative stress assumptions. The result supports interpreting the bylaw default as a practical safety multiplier that can protect DSCR stability, absorb refinancing gaps, and reduce title-loss risk while remaining intelligible and administratively simple. The fourth result is that incomplete-contract hold-up is reduced through the separation of title from custody. Facilities are immobile and relationship-specific, which makes them vulnerable to bargaining problems after capital has sunk. In conventional ownership or landlord-tenant systems, the party controlling use or ownership can exploit the other side through renegotiation, delayed exit, under-maintenance, refusal to cooperate, or strategic default. In the Agency 2 model, the steward never receives title. The steward receives custody only through a lease. As a result, the steward cannot sell, pledge, sublease, capitalize, or impair title. If the steward fails operationally, the system terminates custody and moves the facility into vacancy and then re-lease under a new TOK-valid lease. Distress therefore becomes a temporary interruption of net operating income rather than a title-loss event.

The fifth result is that milestone micro-draw governance reduces construction risk. Conventional construction finance often suffers from cost overruns, incomplete projects, front-loaded draw abuse, weak verification, and capital being committed before demand is secure. Agency 2 prevents this by making each draw conditional on three simultaneous requirements:

If verification fails, the draw is blocked. If TOK fails, the draw is blocked. If the lease is absent, the draw is blocked. Therefore, construction capital accumulates only through verified progress within an active lease and validated plan. This result is important because it ties physical capital formation to real institutional evidence at every stage. It also preserves the contractor-based execution model certified contractors verify milestones, but agencies do not become builders or operators.

The sixth result is that Agency 2 converts facility distress from a liquidation problem into a reallocation problem. In conventional property finance, distress often leads to foreclosure, forced sale, write-downs, or transfer of ownership. In Agency 2, title remains with the Trust under Agency 8, and Agency 2 manages custody through leases. A failed stewardship does not require title transfer. Instead, the facility enters a controlled vacancy or re-lease state and returns to productive use when a new TOK-valid steward lease is available. This preserves the asset base and reduces the probability that temporary operational failure becomes permanent capital destruction.

The broader comparative implication is that Agency 2 establishes a fourth facility-governance model. Private development allows speculative starts and depends heavily on expected appreciation. Public housing and public infrastructure systems often depend on budgetary allocation, political priorities, and administrative discretion. Cooperative or community ownership models may improve participation but often blur the boundary between use, ownership, exit, and capital protection. Standard leasing separates ownership from use but does not fully eliminate liquidation risk, refinancing fragility, or fragmented standards. Agency 2 combines features that prevailing systems rarely integrate: Trust-held title, steward custody by lease, TOK-gated initiation, milestone micro-draw construction, DSCR-buffered pricing, domain-separated finance, and re-leasing instead of liquidation. Speculative construction is blocked by the execution gate. Covenant fragility is buffered through . Refinancing stress is incorporated into the safety coefficient. Hold-up is reduced by separating custody from title. Construction fraud is reduced by milestone micro-draws. These results show that Agency 2 is a recursive facility-governance rail that converts durable real estate capital into lease-based productive space while preserving Trust title and preventing speculative capital destruction.

6. Discussion

Agency 2 represents a fundamentally different approach to facility governance because it does not operate as a developer, landlord, bank, or property owner in the conventional sense. Its role is narrower, more disciplined, and constitutionally important. It governs the lease-execution rail through which stewards receive facility custody by contract. This distinction is central to the New Vistas model. In ordinary development systems, the same actor may identify a project, raise capital, hold ownership interests, lease the building, and profit from appreciation. That bundling creates conflicts of interest, speculative starts, overbuilding, refinancing fragility, and discretionary control over access. Agency 2 breaks this pattern by separating project eligibility, lease execution, title holding, and financing into different rails. It cannot create eligible projects by itself, cannot hold title, and finance facilities. It can only execute facility leases after TOK validation and govern sequencing through certified contractor verification.

This makes Agency 2 neither a conventional developer nor a conventional landlord. A developer normally initiates projects based on expected demand, market appreciation, or investor return.  It cannot move a facility from planning into construction unless a validated plan and binding lease already exist. Likewise, a landlord typically owns or controls property and leases it to tenants. Agency 2 does not own the facility. Title, liens, covenants, collateral, and refinancing remain with Agency 8. Agency 2 governs the lease that grants custody to the steward, while ownership remains in the Trust. This is why the Agency 2 model is anti-speculative by design. The entity responsible for lease execution cannot use speculative judgment to initiate capital, and the title-holding rail cannot create eligible projects for itself.

Compared with prevailing real estate models, this is a major institutional innovation. Conventional real estate finance usually prices risk after the project has already entered the market. Developers may build first and search for users later. Lenders may rely on collateral value and refinancing assumptions. Investors may tolerate vacancy because appreciation is expected. NewVistas reverses this sequence. Facility capital is not instantiated until validated use exists. The model therefore changes the question from “How do we price the risk of speculative development?” to “How do we prevent speculative development from entering the system at all?”. 

The interaction between Agency 2 and Bureau III’s Council of 12 also shows why the model is more disciplined than ordinary public or private capital allocation. Since residue and tithing are kept on Agency 7, expansion decisions cannot be made by Agency 2 preference or Agency 8 financing appetite alone. The Bureau III Council coordinates capital posture across Agencies 7, 8, and 9 using metrics such as throughput pressure, credit posture, deployment readiness, volatility, and steward demand quality. Agency 2 contributes one crucial truth to that process: whether there is an actual, validated, executable facility pipeline. Even if capital appears available, facility expansion cannot proceed unless TOK-ready leases, contractor capacity, and construction sequencing are all present.

This is more practical than conventional planning systems because it links capital posture to executable readiness. In many public infrastructure or real estate systems, projects are approved because budgets exist, political priorities shift, or long-term demand is assumed. In NewVistas, readiness must be verified. A project must be structurally complete, market-validated, underwritten, leased, and staged through certified milestones. This turns expansion into a disciplined state transition rather than a political or speculative decision. The result is a facility-governance model that can scale without relying on centralized discretion.

The rule that tithing cannot cover agency losses is also crucial for preserving the integrity of the model. Facility portfolios can experience vacancy, construction delay, cost overrun, maintenance burden, refinancing stress, or impairment. In ordinary systems, such losses are often absorbed through subsidies, refinancing extensions, investor write-downs, rent hikes, public rescue, or cross-subsidies from profitable units. NewVistas rejects that pattern. Agency 2 and Agency 8 losses must be handled within the facility domain through lease repricing, re-leasing, construction resequencing, covenant renegotiation, DSCR discipline, and ring-fenced portfolio adjustment. They cannot be pushed onto stewardship tithing reserves or Agency 7 working-capital protections.

This matters because allowing tithing to cover facility losses would create moral hazard. If facility-domain actors knew that losses could be absorbed by a shared reserve, they would have weaker incentives to maintain strict underwriting, prevent overbuilding, enforce milestones, or preserve DSCR corridors. By prohibiting tithing from covering agency lease or sale losses, the system forces each rail to remain economically authentic. Agency 2 must govern facility access carefully. Bureau III must decide expansion posture based on measurable capacity. This is one of the reasons NewVistas is more robust than cooperative or mutual-aid systems that often blur solidarity with loss absorption.

The implementation realism of Agency 2 depends heavily on digital enforcement and contractor certification. The model assumes that leases, TOK status, milestone verification, draw approvals, covenant conditions, construction progress, and audit triggers are all digitally logged and traceable.   The system’s receipts-first logic means that every transition must leave a machine-verifiable record. Verification replaces personal judgment, and traceability replaces after-the-fact dispute resolution.

The framework is not without open questions. Empirical calibration is needed for volatility, refinancing gaps, vacancy duration, and jurisdiction-specific construction risk. Legal implementation must ensure that lease-only custody is enforceable and that use-rights cannot be subleased, pledged, transferred, or capitalized by stewards. External regulatory environments may also affect property lending, foreclosure law, construction approval, and creditor remedies. Extreme macro shocks could still create stress if refinancing markets freeze broadly. However, even these limitations reinforce the value of the architecture: under stress, the system can shift posture toward deleveraging, buffered cash, slower construction pacing, and re-leasing rather than speculative expansion or liquidation.

Agency 2 is best understood as a recursive facility-governance system that transforms real estate from speculative property into rule-bound productive space. It protects capital by separating title from custody, prevents speculation by requiring TOK and lease validation, reduces construction fraud through milestone verification, and resolves failure through re-leasing rather than forced sale. Its contribution is not merely a new financing technique but a new institutional form for durable assets. It offers a practical alternative to prevailing real estate systems by preserving productive use while removing the ownership fragmentation, speculative initiation, and liquidation-first logic that make conventional facility finance unstable.

Conclusion

This paper establishes Agency 2 as a formally specified, rule-governed governance architecture for facility shells, grounded in a recursive-control framework rather than conventional ownership-based or developer-led models. The Markov switching formulation, combined with an explicit execution gate, transforms qualitative design principles into verifiable structural properties. In particular, the result that transitions from planning to construction have zero probability in the absence of both TOK validation and a binding lease provides a rigorous foundation for the claim that speculative initiation is eliminated at the level of system dynamics rather than merely discouraged through pricing.

The results further show that financial robustness is endogenously engineered through the lease-pricing buffer coefficient. By expressing lease revenue as a multiple of debt service, the framework derives the debt service coverage ratio as a direct function of this multiplier, thereby linking pricing, covenant compliance, and refinancing resilience in a single structural equation. The inclusion of volatility and refinancing-gap parameters extends this result by demonstrating that the required safety margin is not arbitrary but increases predictably with external uncertainty and timing risk. Under plausible parameter ranges, the bylaw default multiplier approximates the minimum level required to maintain covenant stability and minimize title-loss hazard, supporting its interpretation as a systemic safeguard rather than a discretionary pricing choice.

A central contribution of the framework lies in its treatment of incomplete-contract risks. By separating title from custody, the system removes the traditional locus of bargaining power associated with asset ownership. Stewards operate under lease-based custody without the ability to transfer, pledge, or impair title, while the Trust retains residual control rights through the Agency 8 rail. This structure transforms potential hold-up situations into bounded operational events resolved through lease termination and reallocation rather than renegotiation over ownership claims. As a result, facility distress manifests as a temporary disruption in net operating income rather than a destructive transfer of title, preserving both capital continuity and productive capacity. This recursive verification mechanism eliminates the possibility of uncontrolled capital deployment, incomplete projects, and speculative overbuilding, while maintaining a clear separation between governance and execution through certified contractors. The paper demonstrates that facility governance can be restructured as a recursive, rule-based system that preserves capital durability, enforces demand validation prior to construction, and maintains refinancing resilience without reliance on ownership fragmentation or discretionary intervention. 

Appendix

Section	Invariant	Constitutional Rule
Separation of functions across layers	Invariant A: No dual authority	No entity may determine both eligibility and control capital execution.	Agencies 19–21 validate plans through TOK; Agencies 1–3 execute leases granting steward custody; Agencies 7–9 govern title, liens, covenants, and external banking facilities by asset class.
Custody vocabulary rule	Invariant B: Custody means steward lease-right only	Custody refers exclusively to steward rights under executed leases.	Agencies do not have custody. Agencies hold title registry responsibility, govern liens, enforce covenants, and execute rules only.
Contractors-only execution	Invariant C: Agencies govern through certified contractors	Agencies and bureaus do not operate assets directly.	Inspection, verification, construction, maintenance, mediation, and compliance are performed by certified contractor businesses under agency-governed templates and standards.
Banking separation and domain isolation	Invariant D: Domain-exclusive external banking	Agency 7, Agency 8, and Agency 9 each maintain separate external banking relationships.	Working-capital, property, and equipment finance rails have zero cross-domain collateral, liens, reserves, or commingled cashflows.
Residue and tithing routing	Invariant E: Residue and tithing kept on Ag7	Steward residue and tithing flows are received and kept on the Agency 7 cash rail, not on Agency 8.	Agency 8 handles entry intake, title routing for contributed property, and property finance governance. Allocation across Agencies 7, 8, and 9 is governed by Bureau III Council of 12 using Metrics rules.
Residue and tithing routing	Invariant F: No tithing for agency losses	Tithing reserve applies only to bounded stewardship working-capital credit losses under strict triggers.	Tithing cannot be used to cover losses from agency leasing or asset sales.
Lease pricing and viability discipline	Invariant G: Lease pricing default	Lease charges are set by bylaw default at approximately , more generally , unless explicitly modified by bylaw.	Lease pricing creates a structural buffer above debt service for corridor stability and sustainability.
Lease pricing and viability discipline	Invariant H: Profitability discipline	TOK-validated plans must satisfy minimum viability targets such that expected post-settlement cash surplus meets or exceeds approximately the steward-defined sufficient level.	Higher multiples may be required where necessary to sustain system functions and risk corridors.