@crvouga/atlas 0.0.0-stage → 0.2.0

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/001.vtt

@@ -0,0 +1,9 @@
+WEBVTT
+
+1
+00:00:00.700 --> 00:00:02.100
+Start checkout
+
+2
+00:00:02.100 --> 00:00:02.600
+Now: Checking out

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/002.vtt

@@ -0,0 +1,9 @@
+WEBVTT
+
+1
+00:00:00.700 --> 00:00:02.100
+Pick card
+
+2
+00:00:02.100 --> 00:00:02.600
+Now: Entering card details

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/003.vtt

@@ -0,0 +1,9 @@
+WEBVTT
+
+1
+00:00:00.700 --> 00:00:02.100
+Pick wallet
+
+2
+00:00:02.100 --> 00:00:02.600
+Now: Confirming with the wallet

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/004.vtt

@@ -0,0 +1,9 @@
+WEBVTT
+
+1
+00:00:00.700 --> 00:00:02.100
+Close checkout
+
+2
+00:00:02.100 --> 00:00:02.600
+Now: Checkout abandoned

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/005.vtt

@@ -0,0 +1,17 @@
+WEBVTT
+
+1
+00:00:00.300 --> 00:00:00.800
+Card number
+
+2
+00:00:00.650 --> 00:00:01.500
+Card number: “4242 4242 4242 4242”
+
+3
+00:00:01.500 --> 00:00:02.100
+Submit the card
+
+4
+00:00:02.100 --> 00:00:02.600
+Now: Waiting for the payment

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/006.vtt

@@ -0,0 +1,9 @@
+WEBVTT
+
+1
+00:00:00.700 --> 00:00:02.100
+Confirm with the wallet
+
+2
+00:00:02.100 --> 00:00:02.600
+Now: Waiting for the payment

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/007.vtt

@@ -0,0 +1,17 @@
+WEBVTT
+
+1
+00:00:00.400 --> 00:00:00.900
+The user waits on this screen
+
+2
+00:00:00.900 --> 00:00:01.400
+Payment provider approves the payment
+
+3
+00:00:01.300 --> 00:00:01.900
+Approved
+
+4
+00:00:01.900 --> 00:00:02.500
+Now: Paid

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/008.vtt

@@ -0,0 +1,17 @@
+WEBVTT
+
+1
+00:00:00.400 --> 00:00:00.900
+The user waits on this screen
+
+2
+00:00:00.900 --> 00:00:01.400
+Payment provider declines the payment
+
+3
+00:00:01.300 --> 00:00:01.900
+Payment declined
+
+4
+00:00:01.900 --> 00:00:02.500
+Now: Told the payment was declined

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/009.vtt

@@ -0,0 +1,13 @@
+WEBVTT
+
+1
+00:00:00.300 --> 00:00:01.100
+Payment takes longer than a minute
+
+2
+00:00:01.100 --> 00:00:01.900
+Still waiting on your payment
+
+3
+00:00:01.900 --> 00:00:02.500
+Now: Told the payment is slow

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/010.vtt

@@ -0,0 +1,9 @@
+WEBVTT
+
+1
+00:00:00.700 --> 00:00:02.100
+Check the payment again
+
+2
+00:00:02.100 --> 00:00:02.600
+Now: Waiting for the payment

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/011.vtt

@@ -0,0 +1,9 @@
+WEBVTT
+
+1
+00:00:00.200 --> 00:00:00.700
+Checkout is done and hands back with "Payment goes through"
+
+2
+00:00:00.700 --> 00:00:02.500
+Now: Order in progress

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/012.vtt

@@ -0,0 +1,9 @@
+WEBVTT
+
+1
+00:00:00.200 --> 00:00:00.700
+Checkout is done and hands back with "Leaves checkout"
+
+2
+00:00:00.700 --> 00:00:02.500
+Now: Reviewing the cart

package/packages/visualizer/fixtures/failures/runs/2026-10-06T14-40-00-000Z-showcase/media/captions/013.vtt

@@ -0,0 +1,9 @@
+WEBVTT
+
+1
+00:00:00.700 --> 00:00:02.100
+Confirm with the wallet
+
+2
+00:00:02.100 --> 00:00:02.600
+Now: Waiting for the payment

package/packages/visualizer/fixtures/failures/specs/coffee/ordering/checkout.scxml

@@ -0,0 +1,82 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- The child chart: W3C SCXML. Readable names travel in atlas:name; a final state's
+     atlas:done-event names the event the parent chart receives when checkout ends there. -->
+<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:atlas="https://github.com/crvouga/atlas/ns/1" version="1.0" name="Checkout" initial="choosing-how-to-pay" datamodel="null">
+  <atlas:meta>
+    <atlas:description>Paying for the order, by card or with a wallet.</atlas:description>
+    <atlas:timeEvents>{"Payment takes longer than a minute": "1 minute"}</atlas:timeEvents>
+  </atlas:meta>
+  <state id="choosing-how-to-pay" atlas:name="Choosing how to pay">
+    <atlas:meta>
+      <atlas:description>Card and wallet buttons, and the order total.</atlas:description>
+      <atlas:snapshot>pay-options</atlas:snapshot>
+      <atlas:confidence>confirmed</atlas:confidence>
+      <atlas:hints>["A card button", "A wallet button", "The order total"]</atlas:hints>
+    </atlas:meta>
+    <transition event="picks-card" atlas:name="Picks card" target="entering-card-details"/>
+    <transition event="picks-wallet" atlas:name="Picks wallet" target="confirming-with-the-wallet"/>
+    <transition event="closes-checkout" atlas:name="Closes checkout" target="checkout-abandoned"/>
+  </state>
+  <state id="entering-card-details" atlas:name="Entering card details">
+    <atlas:meta>
+      <atlas:description>A form for the card number, expiry and code.</atlas:description>
+      <atlas:snapshot>card-form</atlas:snapshot>
+      <atlas:confidence>confirmed</atlas:confidence>
+      <atlas:check>The pay button stays off until the card is complete</atlas:check>
+    </atlas:meta>
+    <transition event="submits-the-card" atlas:name="Submits the card" target="waiting-for-the-payment"/>
+    <transition event="goes-back-to-the-payment-options" atlas:name="Goes back to the payment options" target="choosing-how-to-pay"/>
+  </state>
+  <state id="confirming-with-the-wallet" atlas:name="Confirming with the wallet">
+    <atlas:meta>
+      <atlas:description>The wallet sheet asks the customer to confirm the payment.</atlas:description>
+      <atlas:snapshot>wallet-sheet</atlas:snapshot>
+      <atlas:confidence>confirmed</atlas:confidence>
+    </atlas:meta>
+    <transition event="confirms-with-the-wallet" atlas:name="Confirms with the wallet" target="waiting-for-the-payment"/>
+    <transition event="cancels-the-wallet" atlas:name="Cancels the wallet" target="choosing-how-to-pay"/>
+  </state>
+  <state id="waiting-for-the-payment" atlas:name="Waiting for the payment">
+    <atlas:meta>
+      <atlas:description>A spinner while the payment provider answers.</atlas:description>
+      <atlas:snapshot>paying</atlas:snapshot>
+      <atlas:confidence>confirmed</atlas:confidence>
+      <atlas:event>Payment requested</atlas:event>
+    </atlas:meta>
+    <transition event="payment-provider-approves-the-payment" atlas:name="Payment provider approves the payment" target="paid"/>
+    <transition event="payment-provider-declines-the-payment" atlas:name="Payment provider declines the payment" target="told-the-payment-was-declined"/>
+    <transition event="payment-takes-longer-than-a-minute" atlas:name="Payment takes longer than a minute" target="told-the-payment-is-slow"/>
+  </state>
+  <state id="told-the-payment-is-slow" atlas:name="Told the payment is slow">
+    <atlas:meta>
+      <atlas:description>A message says the payment is taking longer than usual, with "Check again".</atlas:description>
+      <atlas:snapshot>paying-slow</atlas:snapshot>
+      <atlas:confidence>assumed</atlas:confidence>
+    </atlas:meta>
+    <transition event="checks-the-payment-again" atlas:name="Checks the payment again" target="waiting-for-the-payment"/>
+  </state>
+  <state id="told-the-payment-was-declined" atlas:name="Told the payment was declined">
+    <atlas:meta>
+      <atlas:description>A message says the payment was declined, with "Try another way".</atlas:description>
+      <atlas:snapshot>payment-declined</atlas:snapshot>
+      <atlas:confidence>confirmed</atlas:confidence>
+      <atlas:event>Payment declined</atlas:event>
+    </atlas:meta>
+    <transition event="tries-another-way-to-pay" atlas:name="Tries another way to pay" target="choosing-how-to-pay"/>
+  </state>
+  <final id="paid" atlas:name="Paid" atlas:done-event="Payment goes through">
+    <atlas:meta>
+      <atlas:description>A check mark confirms the payment.</atlas:description>
+      <atlas:snapshot>paid</atlas:snapshot>
+      <atlas:confidence>confirmed</atlas:confidence>
+      <atlas:event>Payment captured</atlas:event>
+    </atlas:meta>
+  </final>
+  <final id="checkout-abandoned" atlas:name="Checkout abandoned" atlas:done-event="Leaves checkout">
+    <atlas:meta>
+      <atlas:description>Checkout closes and the cart is kept.</atlas:description>
+      <atlas:snapshot>checkout-closed</atlas:snapshot>
+      <atlas:confidence>confirmed</atlas:confidence>
+    </atlas:meta>
+  </final>
+</scxml>

package/packages/visualizer/fixtures/failures/specs/coffee/ordering/journeys.yaml

@@ -0,0 +1,129 @@
+# Named paths through the composed chart. Hand-off events from Checkout are inserted automatically.
+journeys:
+  Orders a drink and pays by card:
+    description: The everyday order, from the menu to picking the drink up.
+    tour: true
+    events:
+      - Picks a drink
+      - Picks a size
+      - Picks a milk
+      - Adds the drink to the cart
+      - Starts checkout
+      - Picks card
+      - Submits the card
+      - Payment provider approves the payment
+      - Barista starts the drink
+      - Barista finishes the drink
+      - Picks up the drink
+    endsIn:
+      - Order complete
+  Pays with a wallet:
+    description: The wallet confirms the payment instead of a card.
+    events:
+      - Picks a drink
+      - Picks a size
+      - Picks a milk
+      - Adds the drink to the cart
+      - Starts checkout
+      - Picks wallet
+      - Confirms with the wallet
+      - Payment provider approves the payment
+    endsIn:
+      - Paid, waiting for the barista
+      - Updates on
+  Card declined, then a wallet works:
+    description: The card is declined and the wallet goes through.
+    events:
+      - Picks a drink
+      - Picks a size
+      - Picks a milk
+      - Adds the drink to the cart
+      - Starts checkout
+      - Picks card
+      - Submits the card
+      - Payment provider declines the payment
+      - Tries another way to pay
+      - Picks wallet
+      - Confirms with the wallet
+      - Payment provider approves the payment
+    endsIn:
+      - Paid, waiting for the barista
+  Slow payment:
+    description: The payment provider takes more than a minute to answer.
+    events:
+      - Picks a drink
+      - Picks a size
+      - Picks a milk
+      - Adds the drink to the cart
+      - Starts checkout
+      - Picks card
+      - Submits the card
+      - Payment takes longer than a minute
+      - Checks the payment again
+      - Payment provider approves the payment
+    endsIn:
+      - Paid, waiting for the barista
+  Leaves checkout and comes back:
+    description: The customer closes checkout, then starts it again.
+    events:
+      - Picks a drink
+      - Picks a size
+      - Picks a milk
+      - Adds the drink to the cart
+      - Starts checkout
+      - Closes checkout
+      - Starts checkout
+    endsIn:
+      - Checking out
+      - Choosing how to pay
+  Drink left too long:
+    description: Nobody picks the drink up, so it is thrown away and refunded.
+    events:
+      - Picks a drink
+      - Picks a size
+      - Picks a milk
+      - Adds the drink to the cart
+      - Starts checkout
+      - Picks card
+      - Submits the card
+      - Payment provider approves the payment
+      - Barista starts the drink
+      - Barista finishes the drink
+      - Drink sits ready for ten minutes
+      - Orders again
+    endsIn:
+      - Browsing the menu
+  Turns off updates while waiting:
+    description: Updates go off while the drink is in the queue; the drink is still made.
+    events:
+      - Picks a drink
+      - Picks a size
+      - Picks a milk
+      - Adds the drink to the cart
+      - Starts checkout
+      - Picks wallet
+      - Confirms with the wallet
+      - Payment provider approves the payment
+      - Turns off updates
+      - Barista starts the drink
+    endsIn:
+      - Updates off
+      - Drink being made
+  Changes their mind about the drink:
+    description: The customer backs out while choosing the drink.
+    events:
+      - Picks a drink
+      - Picks a size
+      - Goes back to the menu
+    endsIn:
+      - Browsing the menu
+  Empties the cart:
+    description: The only drink is removed from the cart.
+    events:
+      - Picks a drink
+      - Picks a size
+      - Picks a milk
+      - Adds the drink to the cart
+      - Removes the last drink
+    endsIn:
+      - Browsing the menu

package/packages/visualizer/fixtures/failures/specs/coffee/ordering/known-issues.md

@@ -0,0 +1,14 @@
+# Known issues
+
+## Drink being made
+
+- The progress bar jumps back once. It settles after a second.
+
+## Drink ready for pickup → Picks up the drink
+
+- The pickup button needs two taps on small screens.
+
+## Other
+
+- `Updates off` shows the wrong icon.
+- Nothing named here.

package/packages/visualizer/fixtures/failures/specs/coffee/ordering/machine.yaml

@@ -0,0 +1,158 @@
+# The root chart: XState v5 machine config, as Stately Studio imports and exports it.
+# "Checking out" runs the Checkout chart (checkout.scxml) with a standard invoke.
+id: Coffee order
+initial: Browsing the menu
+meta:
+  description: A customer picks a drink, pays for it, and picks it up when it is ready.
+  timeEvents:
+    Drink sits ready for ten minutes: 10 minutes
+  eventKinds:
+    Barista starts the drink: system
+states:
+  Browsing the menu:
+    meta:
+      description: The menu of drinks, with a cart button.
+      snapshot: menu
+      confidence: confirmed
+      hints:
+        - A list of drinks with prices
+        - A cart button with the number of drinks
+      source:
+        - src/screens/menu.tsx
+    on:
+      Picks a drink:
+        target: '#Customizing the drink'
+  Customizing the drink:
+    initial: Choosing a size
+    meta:
+      description: The customer sets the drink up before adding it to the cart.
+    states:
+      Choosing a size:
+        meta:
+          description: Small, medium and large buttons.
+          snapshot: size
+          confidence: confirmed
+        on:
+          Picks a size:
+            target: '#Choosing the milk'
+      Choosing the milk:
+        meta:
+          description: A list of milks, with "No milk" first.
+          snapshot: milk
+          confidence: confirmed
+        on:
+          Picks a milk:
+            target: '#Ready to add the drink'
+      Ready to add the drink:
+        meta:
+          description: A summary of the drink with an "Add to cart" button.
+          snapshot: drink-summary
+          confidence: confirmed
+          checks:
+            - The summary shows the size and the milk
+        on:
+          Adds the drink to the cart:
+            target: '#Reviewing the cart'
+    on:
+      Goes back to the menu:
+        target: '#Browsing the menu'
+  Reviewing the cart:
+    meta:
+      description: The drinks in the cart, the total, and a checkout button.
+      snapshot: cart
+      confidence: confirmed
+      checks:
+        - The total matches the drinks in the cart
+    on:
+      Removes the last drink:
+        target: '#Browsing the menu'
+      Starts checkout:
+        target: '#Checking out'
+  Checking out:
+    meta:
+      description: Checkout runs as its own chart.
+    invoke:
+      src: Checkout
+      id: checkout
+    on:
+      Payment goes through:
+        target: '#Order in progress'
+      Leaves checkout:
+        target: '#Reviewing the cart'
+  Order in progress:
+    type: parallel
+    meta:
+      description: The drink is made while the customer chooses how to hear about it.
+    states:
+      Drink:
+        initial: Paid, waiting for the barista
+        meta:
+          description: Where the drink is.
+        states:
+          Paid, waiting for the barista:
+            meta:
+              description: A card says the order is paid and in the queue.
+              snapshot: order-queued
+              confidence: confirmed
+              events:
+                - Order paid
+            on:
+              Barista starts the drink:
+                target: '#Drink being made'
+          Drink being made:
+            meta:
+              description: A progress bar while the barista makes the drink.
+              snapshot: order-making
+              confidence: assumed
+            on:
+              Barista finishes the drink:
+                target: '#Drink ready for pickup'
+          Drink ready for pickup:
+            meta:
+              description: A card says the drink is ready, with the pickup counter.
+              snapshot: order-ready
+              confidence: confirmed
+              events:
+                - Customer notified
+            on:
+              Picks up the drink:
+                target: '#Order complete'
+              Drink sits ready for ten minutes:
+                target: '#Told the drink was thrown away'
+      Updates:
+        initial: Updates on
+        meta:
+          description: Whether the customer gets a notification at each step.
+        states:
+          Updates on:
+            meta:
+              description: The updates switch is on.
+              snapshot: updates-on
+            on:
+              Turns off updates:
+                target: '#Updates off'
+          Updates off:
+            meta:
+              description: The updates switch is off.
+              snapshot: updates-off
+            on:
+              Turns on updates:
+                target: '#Updates on'
+  Told the drink was thrown away:
+    meta:
+      description: A message says the drink waited too long and was refunded.
+      snapshot: order-expired
+      confidence: assumed
+      events:
+        - Order refunded
+    on:
+      Orders again:
+        target: '#Browsing the menu'
+  Order complete:
+    type: final
+    meta:
+      description: A thank-you screen with the receipt.
+      snapshot: order-complete
+      confidence: confirmed
+      events:
+        - Order completed

package/packages/visualizer/fixtures/failures/specs/coffee/ordering/open-questions.md

@@ -0,0 +1,25 @@
+# Open questions
+
+## Paying
+
+1. **Should a declined card be kept for next time?** Nothing stores it today.
+   - S: Told the payment was declined, Choosing how to pay.
+   - T: Waiting for the payment → Payment provider declines the payment.
+2. **How long can an order wait for the barista?** Nobody follows up on a long queue.
+   - S: Paid, waiting for the barista.
+   - T: Paid, waiting for the barista → Barista starts the drink.
+   - Spec today: it waits **forever**.
+
+## Pickup
+
+3. **Refund or remake?** A drink left too long is refunded; a remake might be kinder.
+   - S: Told the drink was thrown away (assumed). T: Drink ready for pickup → Drink sits ready for ten minutes.
+4. **Who can pick the drink up?** Anyone at the counter can today.
+   - T: Picks up the drink.
+
+## Not modeled
+
+5. These are outside this spec today:
+   - tips
+   - **gift cards** and promo codes
+   - ordering for a later time