Research portal

Mathematical note

Occupancy-qualified spatial transition

math/occupied-spatial-transition.md

Edition
Site v0.3.0 · continuous main snapshot
Source revision
ec2865b0eac15148675c629981a545632b3571c5
Extent
1,045 words
Public route
https://www.cordana.dev/math/occupied-spatial-transition/
Mapped records3 mapped records

Direct repository links only; no document-level evidence status is implied.

This note defines the narrow built-environment stress track for Candidate 001. Its purpose is to expose state and cost that disappear when a topology edit is represented as an instantaneous graph operation.

The contract applies only when physical or service topology changes while people, critical services, or hazardous inventory remain inside the affected dependency boundary. If the asset can be isolated and a fixed approved sequence dominates, ordinary change control is the relevant baseline.

Typed transition state

For transition version vv and step kk, keep the state tuple

Xv,k=(G,Y,O,R,F,S,U,H,C,E)v,k.X_{v,k}= \left( G, Y, O, R, F, S, U, H, C, E \right)_{v,k}.

The fields are deliberately not collapsed:

  • GG: surveyed physical and service topology, including uncertainty;
  • YY: required service by user group, location, and time;
  • OO: observed or forecast occupancy, ability, familiarity, and assistance;
  • RR: ordinary, accessible, construction, emergency, responder, and goods routes, including capacity and closures;
  • FF: detection, alarm, suppression, compartment, smoke and heat state, and scenario-specific evacuation timing;
  • SS: structural, utility, control, and indoor-environment state;
  • UU: ownership, permits, operating restrictions, acceptance authority, stop-work power, and their expiry;
  • HH: material and work state—installed, removed, stored, in transit, reusable, damaged, waste, temporary, and irreversible;
  • CC: cost, energy, carbon, water, waste, and disruption accounts; and
  • EE: evidence support, timestamp, version, calibration, coverage, uncertainty, and invalidation dependencies.

A plan or model is an input to EE; it is not a substitute for GG, OO, FF, or SS. Likewise, an actuator command belongs to the control record while verified equipment response belongs to SS.

Intermediate-state admissibility

Let H\mathcal H be the preregistered set of hard constraints. The step gate is

Av,k=1[hHgh(Xv,k)0]1[Ev,k is sufficient and current]1[Uv,k permits the step],\mathcal A_{v,k} = \mathbf 1 \left[ \bigwedge_{h\in\mathcal H} g_h(X_{v,k})\ge 0 \right] \mathbf 1[E_{v,k}\text{ is sufficient and current}] \mathbf 1[U_{v,k}\text{ permits the step}],

where every indicator is dimensionless. Each ghg_h retains its own physical unit and threshold; the conjunction does not add seconds, newtons, contaminant concentration, and route availability into a fictitious scalar score.

For fire scenario ss, one necessary margin is

ms,v,kegress=ASETs,v,kRSETs,v,kMs[s],m^{\mathrm{egress}}_{s,v,k} =ASET_{s,v,k}-RSET_{s,v,k}-M_s\quad[\mathrm{s}],

with ms,v,kegress0m^{\mathrm{egress}}_{s,v,k}\ge0. Here ASETASET is available safe egress time, RSETRSET is required safe egress time, and MsM_s is the frozen scenario margin, all in seconds. Passing this one margin does not establish structural, accessibility, utility, or environmental admissibility.

For user group gg, define accessible route availability as

ag,v,k=1[ usable route for g]1[qg,v,kqgmin],a_{g,v,k} = \mathbf 1[\exists\text{ usable route for }g] \mathbf 1[q_{g,v,k}\ge q_g^{\min}],

where aa is dimensionless, route capacity qq and its minimum qminq^{\min} use the same declared unit such as persons per second, and “usable” includes the group's mobility and assistance requirements. A graph path that is blocked, untenable, too narrow, or unsupported does not satisfy the predicate.

The controller may execute step kk only when Av,k=1\mathcal A_{v,k}=1. Otherwise it must abstain or enter a pre-approved restricted, decanted, isolated, or safe-stop state. It cannot average one hard violation against an energy saving.

Evidence-age gate

For evidence item jj, let measurement time be tjt_j, current decision time be tt, and maximum permitted age under the current hazard and work state be τj(Xv,k)\tau_j(X_{v,k}), all in seconds. Its freshness indicator is

fj(t,Xv,k)=1[ttjτj(Xv,k)]1[dj(Xv,k)=0],f_j(t,X_{v,k})= \mathbf 1[t-t_j\le\tau_j(X_{v,k})] \mathbf 1[d_j(X_{v,k})=0],

where djd_j is a dimensionless invalidation flag. Moving a wall, isolating a circuit, changing occupancy, impairing suppression, or changing the sensor support can set dj=1d_j=1 even before the clock expires. Required evidence is current only when jJv,kfj=1\prod_{j\in\mathcal J_{v,k}} f_j=1.

Service and transition burden

For user group gg over transition interval [t0,t1][t_0,t_1], service loss is

Lg=t0t1[Qg,ref(t)Qg(t)]+dt.L_g= \int_{t_0}^{t_1} \left[Q_{g,\mathrm{ref}}(t)-Q_g(t)\right]_+dt.

If QgQ_g is usable service places, LgL_g is place-hours; if QgQ_g is flow in persons per hour, LgL_g is persons. The service unit must be declared, and the vector L=(L1,,LG)\mathbf L=(L_1,\ldots,L_G) remains visible so an aggregate cannot hide loss concentrated on one group.

Transition burden is reported as a vector rather than an automatic weighted sum:

B=(L,Ttransition,Etransition,GWPtransition,Ctransition,Wmaterial,Ndefect,Nhard violation).\mathbf B= \left( \mathbf L, T_{\mathrm{transition}}, E_{\mathrm{transition}}, GWP_{\mathrm{transition}}, C_{\mathrm{transition}}, W_{\mathrm{material}}, N_{\mathrm{defect}}, N_{\mathrm{hard\ violation}} \right).

The components use, respectively, declared service-unit-hours, seconds, joules, kilograms CO2_2e, currency, kilograms, a defect count, and a hard- violation count. Any scalarization must publish its weights, units, and decision authority. The primary feasibility condition is Nhard violation=0N_{\mathrm{hard\ violation}}=0 for every protected scenario—not a favorable mean.

Fast reversible allocation and slow structural adaptation therefore retain different action, deficit, build, carry, and stranded-capacity coordinates (C-1496).

Commitment and recovery

Let Kv,kK_{v,k} be the set of material or legal commitments already made. A software rollback is physically available only if a tested predecessor state Xv,kX_{v,k^-} remains reachable under the current Kv,kK_{v,k}, resources, authority, and time. Define

rv,k=1[Xv,kR(Xv,k,Kv,k)],r_{v,k}=\mathbf 1[X_{v,k^-}\in\mathcal R(X_{v,k},K_{v,k})],

where rr is dimensionless and R\mathcal R is the set of reachable, verified states. When rv,k=0r_{v,k}=0, the record must name a reachable safe-stop or forward- recovery state; calling the transition reversible is false.

Recovery after a demand-regime reversal is part of the structural decision, not an optional endpoint after the selected regime has already been scored (C-1496).

Recovery is complete only after target service, evidence validity, open-defect limits, and reserve are restored. For each service component mm,

Tmrecover=inf{ttf:Qm(t:t+Δ)QmtargetRm(t:t+Δ)Rmmin}tf,T^{\mathrm{recover}}_m = \inf\{t\ge t_f: Q_m(t:t+\Delta)\ge Q_m^{\mathrm{target}} \land R_m(t:t+\Delta)\ge R_m^{\min}\}-t_f,

where tft_f is fault or interruption time, Δ\Delta is the frozen sustainment window, QQ and reserve RR use declared service units, and TrecoverT^{\mathrm{recover}} is seconds. Reopening without reserve restoration is reported separately.

Equal-budget comparison and rejection

The residual contract is compared with the complete ordinary stack: surveyed as-built records, code and professional review, permits, impairment control, configuration management, construction sequencing, commissioning, post- occupancy evaluation, and lifecycle asset management. All arms receive the same asset, staff time, information, sensors, professional review, material, construction window, compute, maintenance, and whole-life budget.

Reject or merge the residual when any of the following holds:

  1. the asset can be isolated and a fixed approved sequence matches outcomes;
  2. a protected-user accessibility or life-safety constraint is violated;
  3. the advantage disappears when stale evidence, failed actuators, occupancy changes, transition duration, irreversible work, and common causes are represented;
  4. mature change control plus commissioning matches the protected-service and lifecycle frontier; or
  5. apparent recovery omits displaced exposure, defects, reserve restoration, or the next disruption.

The editable transition diagram is occupancy-qualified-spatial-transition.mmd. The evidence boundary is developed in the built-environment audit.