What You See Is What You Get

Expectation. The building shall ensure that the digital representation of every shared space reflects its actual physical state — so the resident's view of availability, occupancy, and condition matches what they encounter when they arrive.

Required.

• When a space has a booking system and an access control system, the two are synchronized. ACC.HA A resident with a confirmed booking is granted access to the space. A resident without a booking for a controlled-access space is not granted access during another resident's reserved period.
• When the building manages multiple shared spaces, all appear within a single section of the resident's primary interface. The resident does not navigate to separate systems or interfaces to view different spaces.
• When a space's condition changes — equipment removed for repair, furniture reconfigured, temporary capacity reduction — the interface reflects the current state. The resident is not directed to a space whose digital description no longer matches its physical condition. For non-bookable spaces, the description in the interface serves as the condition baseline: if the listing describes the space, the space matches the description.
• When a booking is completed, not used, or expires, the space's status returns to available in the interface. No ghost booking persists after its reserved period ends.
• When a booking period ends, the resident is notified. The next resident's confirmed booking is not compromised by the previous resident's continued presence. The building defines and publishes the mechanism for end-of-booking transitions.

Recommended.

• When occupancy detection is available, the interface reflects real-time or near-real-time utilization of non-bookable spaces — so the resident can see whether a space is in use before visiting.
• When a no-show is detected — a booking holder does not arrive within the building's published grace period — the reservation is released and the slot becomes available to other residents.
• When a resident checks into a booked space, the interface confirms the check-in. When they leave or the booking period ends, the space status updates.
• When a resident's booking period is approaching its end, the interface provides advance notice — so the resident can conclude their use without being abruptly interrupted.

In practice.

A resident books the meeting room for 2 PM. They approach the door at 1:58 PM. Their credential opens it — because the booking system and the access system agree that this resident has a reservation now. At 4 PM, when their booking ends, the door locks and the room shows as available for the next resident.

The gym has no booking system. A resident checks the interface before heading down: current occupancy 8 of 15. They decide to go. When they arrive, roughly 8 people are using the gym. The number they saw matched what they found. The gym listing describes 12 cardio machines and 8 strength stations. All 12 cardio machines and all 8 strength stations are present and functional. The listing and the room agree.

A resident booked the cinema room for Friday at 8 PM but did not show up. The building's published grace period is 15 minutes. At 8:15 PM, the booking is released. Another resident, checking availability at 8:20 PM, sees the cinema room is now open and walks in.

A resident is using the co-working room. Their booking runs until 3 PM. At 2:45 PM, a notification appears: booking ends in 15 minutes. At 3 PM, a second notification: booking period ended. The resident wraps up and leaves. The 3:30 PM resident (after the 30-minute buffer) arrives to a reset room. The transition was managed — not by confrontation between residents, but by the system.

The building has a gym, a pool, a co-working room, a rooftop terrace, and a private dining room. All five appear in a single "Spaces" section of the resident's interface. The resident does not use one app for the gym, a separate web portal for the pool, and a phone call for the dining room.

Failure modes.

Booking-access mismatch. A resident books the co-working room for 10 AM. They arrive and present their credential. The door does not open. The booking system confirmed the reservation; the access system was not informed. The resident stands in the hallway with a confirmed booking and a locked door.

Ghost booking. A resident booked the rooftop for 6 PM but cancelled an hour before. The rooftop still shows as reserved until 9 PM. Other residents see it as unavailable. The physical rooftop is empty; the digital rooftop is occupied. Three hours of prime evening availability are wasted.

Fragmented interfaces. The pool is managed through one vendor's app. The gym booking uses the building's main interface. The co-working space requires a separate login to a third platform. The resident manages three accounts across three systems with no unified view of their bookings or space availability.

Stale condition. The interface describes the gym as having "12 cardio machines, 8 strength stations, and free weights." In reality, three cardio machines were removed for repair two months ago. The resident chose this building partly for its gym. The gym they use is not the gym that was described.

Overstay cascade. A resident's booking of the private dining room ends at 9 PM. At 9:15 PM they are still inside — cleaning up, they say. Another resident arrives for their 9:30 PM booking. The room is occupied. The building has no mechanism to notify the overstaying resident, no published end-of-booking transition, and no way to protect the incoming booking. One resident's overrun consumed another resident's confirmed reservation.

Test.

1. Book a space with access control. Confirm: the resident's credential grants access during the reserved period and denies access outside it.
2. View all shared spaces. Confirm: every space appears within a single section of the primary interface.
3. Remove a piece of equipment or reduce capacity in a space. Confirm: the interface reflects the change. For non-bookable spaces, confirm: the listing description matches the physical state.
4. Allow a booking to expire without the resident arriving. Confirm: the space status returns to available after the published grace period.
5. Allow a booking to reach its end time while the resident is present. Confirm: the resident receives notification and the next booking is protected.