Systems you can explore.

flagship.witl · Rust reference runtime

program flagship@1 where
  -- Composed release train: model draft, operator gate, reusable council.
  require review := "review.witl"

  schema order := shaped "release-order.v1" {"type":"object","required":["tag"],"properties":{"tag":{"type":"string"}},"additionalProperties":false}
  schema note := shaped "release-note.v1" {"type":"object","required":["notes"],"properties":{"notes":{"type":"string"}},"additionalProperties":false}
  adapter only-the-notes : note -> _ := pick "/notes"

  authority operator
  actor operator : authority operator
  actor scribe : managed never
  accepts order
  starts draft

  state draft where
    notes <- scribe : drafted note

  state approve where
    go <- operator : proceed order | abort order

  state review where
    call review

  state shipped := end released
  @[blocked] state cancelled := end cancelled

  next
  | draft, drafted   => approve using only-the-notes
  | approve, proceed => review
  | approve, abort   => cancelled
  | review, adopted  => shipped
  | review, vetoed   => cancelled

program demo-review@1 where
  actor alpha : managed idempotent
  actor beta : managed idempotent
  actor gamma : managed idempotent
  starts vote

  state vote where
    alpha <- alpha : aye | vetoed
    beta  <- beta  : aye | vetoed
    gamma <- gamma : aye | vetoed
    close any_of
    | saying vetoed
    | at_least_saying 2 aye
    decide
    | saying vetoed => rejected
    | _             => approved
    carry := {
      ayes := count aye
      dissent := documents vetoed
    }

  state adopted := end adopted
  @[blocked] state refused := end vetoed

  next
  | vote, approved => adopted
  | vote, rejected => refused