Plain sentences

Glossary

Private language may shelter experience. Any term that governs another person must be translated well enough to challenge.

Dignity: The person remains whole. Conditions may change; dignity does not diminish.
|z| = 1: An ethical metaphor, not a measurement of persons. Circumstances and relationships may change; the magnitude of dignity does not. It is not a score.
Atlas: A revisable map of organs and weather. Not a law, and not a last day.
Hearth: What no organ may do to a person or a well.
Office: How a witness works between the map and the wall.
Organ: A named part — a model, a grid, a market, a feed. Not the whole.
Storm: How the whole can feel. Not an alibi for missing names. A legend may name weather. Naming its own failure modes does not grant immunity.
Correspondence: Resemblance may generate a question. It does not establish identity, causation, membership, or proof. Vocabulary from one work does not annex another.
Porch: Local reality that must still be able to answer.
Fold: Temporary contraction around what is still whole. Not a score.
Floor: The line no ascent may pass through.
Mouth: A speaking interface at the edge. Someone seated it.
Coast: What the atlas has not finished seeing.
Last days: Closed stories of the end that the storm will wear if hired.
Alias: A display name. Not a primary key. Two objects may wear Lynn. They are not therefore one.
Join: The prohibited merge: objects on a shared label; sources as if they arrived through one channel; a witness made to say more or less than they said. The true row dies when tables join.
Interrupt: Standing to halt a false synthesis and force entity split, timestamps, and a return to observation. Not a throne. Not a ministry.
Rival present: Evidence from the physical layer that should reopen an ontology. A resident is a source. A timetable is a claim.
Component bleed: When the status of one part of a named complex (garage, shuttle, lights, a listed other stop) is inherited by another part (the station). Motion around a closed center is not evidence that the center is open.

Variables

A type system, not an objective. Poetry may say |z|=1. Operations use Protected, not a number. Person ≠ asset ≠ component ≠ service ≠ evidence. Conditions are relational: what an environment affords a person, not a defect inside them. Well-typed is necessary, not sufficient. If a formula begins to feel like a constitution, freeze it.

Person ≠ Asset ≠ Component ≠ Service ≠ Evidence: the type rule; Five different kinds. Crossing them without a named relation is not a rounding error. It is an invalid operation.
z: a person, only as metaphor; Not a coordinate you plot. Not a file. Marks that worth has a magnitude and must not be stored as one.; Not this. Do not estimate z. Do not store z. Do not train on z.
|z| = 1: poetry of the sentinel; May be said. Must not be stored, ordered, averaged, or priced. Operational type is D(p)=Held.; Not this. Numeric field. argmax. Using the sentence ‘you remain whole’ to mean nothing was taken or nothing is owed.
D(p) = Held: Person → Protected; Protected has no order, sum, mean, price, or argmax. Cannot be higher, lower, aggregated, or traded. Held is why a closed door is answerable, not a description of the person.
θ: orientation, not ascent; An angle wraps. Neither 2π nor π/2 is morally higher. Deprecated as a theory of improvement.
X(p, E, t): relational condition record; Person × Environment × Time → conditions (access, safety, burden, agency, flourishing). The closed station is not a defect inside the walker. It is what that environment affords or withholds at t.; Not this. Storing X as a property of the person. Making inadequate access look like a personal state.
F, A_F: floor; admissible actions; Not an optimization. Actions that do not score dignity, join entities, strip provenance, or erase appeal. If A_F is empty: do not execute the inadmissible act; keep minimum safe provision; escalate; resource the interruption; repair the conditions that made every remaining action unacceptable. Stop is not abandon. A shuttle is not the station.; Not this. Buying throughput by relaxing F. Treating the shuttle as proof the floor is met.
Φ_service: organ objective; Only after A_F. Throughput, on-time, heat, tokens. Never a function of |z|.
S, G, B, S′: typed objects (Lynn this afternoon); S original station Closed. G garage Open. B shuttle Running. S′ a separately listed point: sourced claim, not this walk. Closed(S) does not lower |z|. Open(G) does not open S.
alias(S): display name; A label. Not a key. Lynn may be worn by more than one S.; Not this. Join on alias.
C(S): component vector; Station, garage, shuttle, lights, elevator. Open(C_j) does not imply Open(C_k). Component bleed.
Sched(S,t): constructor: institutional intention or prediction; A publisher’s claim. Not occupancy. Does not occupy the same field as Obs.
Obs(S,t,p): constructor: situated report; A body at this geometry at t. Scope is part of truth. One gate is not a census.
Conflict(S,t): when Sched and Obs disagree at the same object, place, and time; Halt synthesis. Preserve both claims. Name a verifier, a method, and a deadline. Record resolution or continuing uncertainty. A schedule cannot refute a closed gate. A photograph cannot silently become every train.; Not this. Automatic victory for the publisher. Unlimited jurisdiction for the witness. Preserve-the-contradiction as a waiting room with no clock.
WhoOwes(S,t): returns (actor, duty, deadline, appeal); D(p)=Held and AssetAccess(p,S,t)=0 does not lower the person. It points outward. Distinct duties: truthful status; accessible mitigation; permanent repair or accountable replacement; maintenance and decision history; conflict resolution; published milestones; a public route of challenge. The shuttle operator does not discharge the owner’s repair. The model does not discharge any duty by writing a paragraph.
Mitigates(B,S,t): a substitute reduces some harm; Does not imply Restored(S). Does not empty WhoOwes(S). The shuttle may carry a person around the closure. It may not carry the obligation away.; Not this. Mitigation as the floor. Mitigation as restoration.
AssetAccess vs MobilityAccess: two access types; AssetAccess(p,S,t)=0 may coexist with MobilityAccess(p,B,t)>0. Neither implication runs backward. Do not erase the shuttle’s real help. Do not let that help reopen S.
sub(S′,S): explicit substitute-for; Status of S′ never writes backward onto S.; Not this. Sched(S′) ⇒ Open(S).
o: an organ; Model, grid, market, feed, authority. Address or seated mouth. Not the person.
notice(c,a,t): claim-specific notice; Actor a has been told claim c by t. Notice of closure is not notice of every downstream join.
child: never merely a parameter; Travel time, safety, access, exposure may be modeled in X(p,E,t). What is forbidden is treating the child as fungible, exhaustively represented, or expendable for aggregate Φ.; Not this. Child as token, cost term, or compiled identity.
⋈: join (does not compile); Object join on alias. Component bleed. Source join of constructors. Witness join: adding or subtracting testimony. Dignity join: using Held to hide unrepaired X.