Build software around your business.

# Assign onboarding work and follow each new starter's progress.
app Onboarding
Given
 role hr
 Starter {
  name:text trim max=120 label="New starter",
  employee:user label="Employee account",
  start_date:date label="Start date",
  department:text trim max=120 label="Department"
 }
 Task {
  starter:Starter label="New starter",
  title:text trim max=200 label="Task",
  responsible:user label="Responsible teammate",
  due_date:date label="Due date",
  done:bool=false label="Complete",
  completed_at:datetime? label="Completed at",
  completion_note:text? label="Completion note"
 }
 policy Starter read=members where=row.employee==actor
 policy Starter read=members where=count(Task as task where task.starter==row and task.responsible==actor)>0
 policy Starter read=hr
 policy Task read=members where=row.responsible==actor
 policy Task read=hr
 invariant Task: trim(row.title)!=""
 lock Task fields=starter,title,responsible,due_date when=row.done
 lock Task fields=done,completed_at,completion_note when=row.done
When
 crud Starter by=hr fields=name,employee,start_date,department delete=none
 crud Task by=hr fields=starter,title,responsible,due_date when=not row.done delete=none
 # The teammate responsible for a task records its completion.
 scenario complete(task:Task,note:text?) by=members
  require task.responsible==actor and not task.done
  do set task {done=true,completed_at=now,completion_note=note}
 # HR can hand unfinished work to another teammate.
 scenario reassign(task:Task,responsible:user) by=hr
  require not task.done
  do set task {responsible}
Then
 preferences { view:enum(unfinished,finished)=unfinished }
 page / title="Onboarding tasks"
  breadcrumbs
  card "Assign onboarding work"
   form Task.create
    input starter
    input title
    input responsible
    input due_date
  card "Assigned tasks and progress"
   tabs preferences.view
   list Task as task where (preferences.view==unfinished and not task.done) or (preferences.view==finished and task.done) order=due_date search=title empty="No onboarding tasks"
    text row.starter.name,row.title,row.responsible,row.due_date
    badge row.done
    edit
    action complete
    action reassign
    collapse "Completion record"
     text row.completed_at,row.completion_note
     history
    pagination
 page /starters title="New starters"
  breadcrumbs
  card "Register a new starter"
   form Starter.create
    input name
    input employee
    input start_date
    input department
  card "New starters"
   list Starter order=start_date search=name empty="No new starters"
    text row.name,row.department,row.start_date
    edit
    pagination

# Revised application: preview and confirm calendar-day scheduling.
# Existing explicit dates are fixed until HR deliberately converts unfinished work.
# The 500-task bound refuses oversized changes; it never truncates the schedule.
app Onboarding
Given
 role hr
 Starter {
  name:text trim max=120 label="New starter",
  employee:user label="Employee account",
  start_date:date label="Start date",
  department:text trim max=120 label="Department"
 }
 Task {
  starter:Starter label="New starter",
  title:text trim max=200 label="Task",
  responsible:user label="Responsible teammate",
  due_date:date label="Due date",
  timing:enum(fixed,relative)=fixed label="Date choice",
  offset_days:int=0 label="Calendar days from start",
  done:bool=false label="Complete",
  completed_at:datetime? label="Completed at",
  completion_note:text? label="Completion note"
 }
 SchedulePreview {
  starter:Starter,
  previous_date:date,
  proposed_date:date,
  prepared_by:user server=actor,
  prepared_at:datetime server=now,
  status:enum(prepared,confirmed,cancelled)=prepared
 }
 DeadlinePreview in SchedulePreview {
  task:Task,
  previous_date:date,
  proposed_date:date,
  was_done:bool,
  timing:Task.timing,
  offset_days:int,
  already_overdue:bool,
  becomes_past_due:bool
 }
 policy SchedulePreview read=hr
 policy DeadlinePreview read=hr
 lock SchedulePreview fields=starter,previous_date,proposed_date,prepared_by,prepared_at
 lock SchedulePreview fields=status when=row.status!=prepared
 lock DeadlinePreview fields=task,previous_date,proposed_date,was_done,timing,offset_days,already_overdue,becomes_past_due
 policy Starter read=members where=row.employee==actor
 policy Starter read=members where=count(Task as task where task.starter==row and task.responsible==actor)>0
 policy Starter read=hr
 policy Task read=members where=row.responsible==actor
 policy Task read=hr
 invariant Task: trim(row.title)!=""
 lock Task fields=starter,title,responsible,due_date,timing,offset_days when=row.done
 lock Task fields=done,completed_at,completion_note when=row.done
When
 crud Starter by=hr fields=name,employee,department create_fields=name,employee,start_date,department delete=none
 crud Task by=hr fields=starter,title,responsible create_fields=starter,title,responsible,due_date when=not row.done delete=none
 # Preview a start-date change without changing the starter or any task.
 scenario preview_schedule(starter:Starter,proposed_date:date) by=hr
  do
   create SchedulePreview {starter,previous_date=starter.start_date,proposed_date} as preview
   for task in Task as task where task.starter==starter limit=500
    if task.timing==relative and not task.done
     create DeadlinePreview {parent=preview,task,previous_date=task.due_date,proposed_date=add_days(proposed_date,task.offset_days),was_done=task.done,timing=task.timing,offset_days=task.offset_days,already_overdue=task.due_date<local_date(now,"Europe/Brussels"),becomes_past_due=add_days(proposed_date,task.offset_days)<local_date(now,"Europe/Brussels")} as line
    else
     create DeadlinePreview {parent=preview,task,previous_date=task.due_date,proposed_date=task.due_date,was_done=task.done,timing=task.timing,offset_days=task.offset_days,already_overdue=false,becomes_past_due=false} as fixed_line
 # Confirmation rejects a changed task set or stale preview before any final commit.
 scenario confirm_schedule(preview:SchedulePreview,confirm_past_due:bool) by=hr
  require preview.status==prepared and preview.prepared_by==actor
  require preview.starter.start_date==preview.previous_date
  require count(Task as task where task.starter==preview.starter)==count(DeadlinePreview as line where line.parent==preview)
  do
   for line in DeadlinePreview as line where line.parent==preview limit=500
    require line.task.starter==preview.starter and line.task.due_date==line.previous_date
    require line.task.done==line.was_done and line.task.timing==line.timing and line.task.offset_days==line.offset_days
    require confirm_past_due or (not line.already_overdue and not line.becomes_past_due)
    if line.timing==relative and not line.was_done
     require line.already_overdue==(line.previous_date<local_date(now,"Europe/Brussels")) and line.becomes_past_due==(line.proposed_date<local_date(now,"Europe/Brussels"))
     set line.task {due_date=line.proposed_date}
   set preview.starter {start_date=preview.proposed_date}
   set preview {status=confirmed}
 # Cancellation retains the previous start date and every task deadline.
 scenario cancel_schedule(preview:SchedulePreview) by=hr
  require preview.status==prepared and preview.prepared_by==actor
  do set preview {status=cancelled}
 # HR deliberately converts an unfinished task after reviewing its calculated date.
 scenario use_relative(task:Task,offset_days:int,expected_date:date,confirm_past_due:bool) by=hr
  require not task.done
  require expected_date==add_days(task.starter.start_date,offset_days)
  require confirm_past_due or (task.due_date>=local_date(now,"Europe/Brussels") and expected_date>=local_date(now,"Europe/Brussels"))
  do set task {timing=relative,offset_days,due_date=expected_date}
 scenario use_fixed(task:Task,due_date:date) by=hr
  require not task.done
  do set task {timing=fixed,due_date}
 # The teammate responsible for a task records its completion.
 scenario complete(task:Task,note:text?) by=members
  require task.responsible==actor and not task.done
  do set task {done=true,completed_at=now,completion_note=note}
 # HR can hand unfinished work to another teammate.
 scenario reassign(task:Task,responsible:user) by=hr
  require not task.done
  do set task {responsible}
Then
 preferences { view:enum(unfinished,finished)=unfinished }
 page / title="Onboarding tasks"
  breadcrumbs
  card "Assign onboarding work"
   form Task.create
    input starter
    input title
    input responsible
    input due_date
  card "Assigned tasks and progress"
   tabs preferences.view
   list Task as task where (preferences.view==unfinished and not task.done) or (preferences.view==finished and task.done) order=due_date search=title empty="No onboarding tasks"
    text row.starter.name,row.title,row.responsible,row.due_date
    badge row.done
    edit
    action complete
    action reassign
    action use_relative
    action use_fixed
    collapse "Completion record"
     text row.completed_at,row.completion_note
     history
    pagination
 page /starters title="New starters"
  breadcrumbs
  card "Register a new starter"
   form Starter.create
    input name
    input employee
    input start_date
    input department
  card "New starters"
   list Starter order=start_date search=name empty="No new starters"
    text row.name,row.department,row.start_date
    action preview_schedule
    edit
    pagination
 page /schedule title="Review schedule changes"
  list SchedulePreview order=-created
   text row.starter.name,row.previous_date,row.proposed_date
   badge row.status
   list row.DeadlinePreview
    text row.task.title,row.previous_date,row.proposed_date
    badge row.was_done
    badge row.timing
    badge row.already_overdue
    badge row.becomes_past_due
   action confirm_schedule
   action cancel_schedule