Capstone

Author, debug, and validate one governed service.

Build a room-booking VSL system that composes a system header, typed state, a closed enum, a governed action, a read-only query, an ordered workflow, and a runtime block. The model answer below is the same checked artifact that the CAPSTONE and DO-VARRO gates validate.

Try it

Write the full VSL file, then run varro check vsl. Your target is status: ok, valid: true, and zero validation errors.

Model answer (passes varro check vsl)

system mentormind.facilities.room_booking {
  mission "Specify a governed room-booking surface for a campus, exposing booking state as typed contracts under research authority"
  authority lane "operator:research"
  domain education
  maturity draft

  context root = "helios://local/mentormind/facilities/room-booking?view=detail&tab=contract&bind=auto"

  enum RoomState {
    value free
    value held
    value booked
  }

  type Room {
    field room_id: string required
    field capacity: integer required
    field state: RoomState required
  }

  compile booking-runtime -> varro

  action hold-room {
    risk low
    binding required
    input room_id: string required
  }

  query rooms.free {
    output Room[]
  }

  workflow reserve-room {
    inspect selection
    resolve rooms.free
    check hold-room
    render center.detail
  }

  runtime specification {
    host governed
    commit-mode host-only
  }
}