@crvouga/atlas 0.3.0 → 0.4.0

package/packages/visualizer/example/specs/coffee/ordering/loyalty.feature

@@ -0,0 +1,7 @@
+Feature: Loyalty stamps
+  A regular earns a free drink. No layer has recorded this yet.
+
+  Scenario: Tenth drink is free
+    Given nine stamps
+    When the customer orders
+    Then the drink is free

package/packages/visualizer/example/specs/coffee/ordering/ordering.feature

@@ -0,0 +1,36 @@
+Feature: Order a drink
+  A customer picks a drink, pays, and picks it up.
+
+  Rule: Paying for the order
+
+    Scenario: Pays by card
+      Given a drink in the cart
+      When the customer pays by card
+      Then the barista can start the drink
+
+    Scenario: Pays with a wallet
+      Given a drink in the cart
+      When the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Card declined, then a wallet works
+      Given a drink in the cart
+      When the card is declined
+      And the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Slow payment
+      Given a drink in the cart
+      When the payment takes longer than a minute
+      Then the customer can check the payment again
+
+    Scenario: Leaves checkout and comes back
+      Given a drink in the cart
+      When the customer closes checkout
+      And the customer starts checkout again
+      Then checkout is open
+
+    Scenario: Drink left too long
+      Given a finished drink
+      When nobody picks it up
+      Then the drink is thrown away and refunded

package/packages/visualizer/example/specs/coffee/ordering/payment.als

@@ -0,0 +1,4 @@
+// An order is paid once.
+sig Order { paid: lone Payment }
+sig Payment {}
+fact { all o: Order | one o.paid }

package/packages/visualizer/fixtures/failures/specs/coffee/ordering/cart.qnt

@@ -0,0 +1,7 @@
+# Cart
+module cart {
+  var items: int
+  var paid: bool
+  action add = items' = items + 1
+  action pay = paid' = true
+}

package/packages/visualizer/fixtures/failures/specs/coffee/ordering/checkout.openslo.yaml

@@ -0,0 +1,10 @@
+# Checkout latency
+apiVersion: openslo/v1
+kind: SLO
+metadata:
+  name: checkout-latency
+spec:
+  description: Checkout answers within a second.
+  objectives:
+    - displayName: Checkout latency
+      target: 0.99

package/packages/visualizer/fixtures/failures/specs/coffee/ordering/drink-price.dmn

@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<definitions xmlns="https://www.omg.org/spec/DMN/20191111/MODEL/">
+  <decision id="drink-price" name="Drink price">
+    <decisionTable id="Drink price" hitPolicy="UNIQUE">
+      <input label="Size">
+        <inputExpression typeRef="string"><text>size</text></inputExpression>
+      </input>
+      <input label="Milk">
+        <inputExpression typeRef="string"><text>milk</text></inputExpression>
+      </input>
+      <output label="Price" name="price" />
+      <rule>
+        <inputEntry><text>"Small"</text></inputEntry>
+        <inputEntry><text>"None"</text></inputEntry>
+        <outputEntry><text>3</text></outputEntry>
+      </rule>
+      <rule>
+        <inputEntry><text>"Large"</text></inputEntry>
+        <inputEntry><text>"Oat"</text></inputEntry>
+        <outputEntry><text>5</text></outputEntry>
+      </rule>
+    </decisionTable>
+  </decision>
+</definitions>

package/packages/visualizer/fixtures/failures/specs/coffee/ordering/loyalty.feature

@@ -0,0 +1,7 @@
+Feature: Loyalty stamps
+  A regular earns a free drink. No layer has recorded this yet.
+
+  Scenario: Tenth drink is free
+    Given nine stamps
+    When the customer orders
+    Then the drink is free

package/packages/visualizer/fixtures/failures/specs/coffee/ordering/ordering.feature

@@ -0,0 +1,36 @@
+Feature: Order a drink
+  A customer picks a drink, pays, and picks it up.
+
+  Rule: Paying for the order
+
+    Scenario: Pays by card
+      Given a drink in the cart
+      When the customer pays by card
+      Then the barista can start the drink
+
+    Scenario: Pays with a wallet
+      Given a drink in the cart
+      When the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Card declined, then a wallet works
+      Given a drink in the cart
+      When the card is declined
+      And the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Slow payment
+      Given a drink in the cart
+      When the payment takes longer than a minute
+      Then the customer can check the payment again
+
+    Scenario: Leaves checkout and comes back
+      Given a drink in the cart
+      When the customer closes checkout
+      And the customer starts checkout again
+      Then checkout is open
+
+    Scenario: Drink left too long
+      Given a finished drink
+      When nobody picks it up
+      Then the drink is thrown away and refunded

package/packages/visualizer/fixtures/failures/specs/coffee/ordering/payment.als

@@ -0,0 +1,4 @@
+// An order is paid once.
+sig Order { paid: lone Payment }
+sig Payment {}
+fact { all o: Order | one o.paid }

package/packages/visualizer/fixtures/full/specs/coffee/ordering/cart.qnt

@@ -0,0 +1,7 @@
+# Cart
+module cart {
+  var items: int
+  var paid: bool
+  action add = items' = items + 1
+  action pay = paid' = true
+}

package/packages/visualizer/fixtures/full/specs/coffee/ordering/checkout.openslo.yaml

@@ -0,0 +1,10 @@
+# Checkout latency
+apiVersion: openslo/v1
+kind: SLO
+metadata:
+  name: checkout-latency
+spec:
+  description: Checkout answers within a second.
+  objectives:
+    - displayName: Checkout latency
+      target: 0.99

package/packages/visualizer/fixtures/full/specs/coffee/ordering/drink-price.dmn

@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<definitions xmlns="https://www.omg.org/spec/DMN/20191111/MODEL/">
+  <decision id="drink-price" name="Drink price">
+    <decisionTable id="Drink price" hitPolicy="UNIQUE">
+      <input label="Size">
+        <inputExpression typeRef="string"><text>size</text></inputExpression>
+      </input>
+      <input label="Milk">
+        <inputExpression typeRef="string"><text>milk</text></inputExpression>
+      </input>
+      <output label="Price" name="price" />
+      <rule>
+        <inputEntry><text>"Small"</text></inputEntry>
+        <inputEntry><text>"None"</text></inputEntry>
+        <outputEntry><text>3</text></outputEntry>
+      </rule>
+      <rule>
+        <inputEntry><text>"Large"</text></inputEntry>
+        <inputEntry><text>"Oat"</text></inputEntry>
+        <outputEntry><text>5</text></outputEntry>
+      </rule>
+    </decisionTable>
+  </decision>
+</definitions>

package/packages/visualizer/fixtures/full/specs/coffee/ordering/loyalty.feature

@@ -0,0 +1,7 @@
+Feature: Loyalty stamps
+  A regular earns a free drink. No layer has recorded this yet.
+
+  Scenario: Tenth drink is free
+    Given nine stamps
+    When the customer orders
+    Then the drink is free

package/packages/visualizer/fixtures/full/specs/coffee/ordering/ordering.feature

@@ -0,0 +1,36 @@
+Feature: Order a drink
+  A customer picks a drink, pays, and picks it up.
+
+  Rule: Paying for the order
+
+    Scenario: Pays by card
+      Given a drink in the cart
+      When the customer pays by card
+      Then the barista can start the drink
+
+    Scenario: Pays with a wallet
+      Given a drink in the cart
+      When the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Card declined, then a wallet works
+      Given a drink in the cart
+      When the card is declined
+      And the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Slow payment
+      Given a drink in the cart
+      When the payment takes longer than a minute
+      Then the customer can check the payment again
+
+    Scenario: Leaves checkout and comes back
+      Given a drink in the cart
+      When the customer closes checkout
+      And the customer starts checkout again
+      Then checkout is open
+
+    Scenario: Drink left too long
+      Given a finished drink
+      When nobody picks it up
+      Then the drink is thrown away and refunded

package/packages/visualizer/fixtures/full/specs/coffee/ordering/payment.als

@@ -0,0 +1,4 @@
+// An order is paid once.
+sig Order { paid: lone Payment }
+sig Payment {}
+fact { all o: Order | one o.paid }

package/packages/visualizer/fixtures/malformed/specs/coffee/ordering/cart.qnt

@@ -0,0 +1,7 @@
+# Cart
+module cart {
+  var items: int
+  var paid: bool
+  action add = items' = items + 1
+  action pay = paid' = true
+}

package/packages/visualizer/fixtures/malformed/specs/coffee/ordering/checkout.openslo.yaml

@@ -0,0 +1,10 @@
+# Checkout latency
+apiVersion: openslo/v1
+kind: SLO
+metadata:
+  name: checkout-latency
+spec:
+  description: Checkout answers within a second.
+  objectives:
+    - displayName: Checkout latency
+      target: 0.99

package/packages/visualizer/fixtures/malformed/specs/coffee/ordering/drink-price.dmn

@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<definitions xmlns="https://www.omg.org/spec/DMN/20191111/MODEL/">
+  <decision id="drink-price" name="Drink price">
+    <decisionTable id="Drink price" hitPolicy="UNIQUE">
+      <input label="Size">
+        <inputExpression typeRef="string"><text>size</text></inputExpression>
+      </input>
+      <input label="Milk">
+        <inputExpression typeRef="string"><text>milk</text></inputExpression>
+      </input>
+      <output label="Price" name="price" />
+      <rule>
+        <inputEntry><text>"Small"</text></inputEntry>
+        <inputEntry><text>"None"</text></inputEntry>
+        <outputEntry><text>3</text></outputEntry>
+      </rule>
+      <rule>
+        <inputEntry><text>"Large"</text></inputEntry>
+        <inputEntry><text>"Oat"</text></inputEntry>
+        <outputEntry><text>5</text></outputEntry>
+      </rule>
+    </decisionTable>
+  </decision>
+</definitions>

package/packages/visualizer/fixtures/malformed/specs/coffee/ordering/loyalty.feature

@@ -0,0 +1,7 @@
+Feature: Loyalty stamps
+  A regular earns a free drink. No layer has recorded this yet.
+
+  Scenario: Tenth drink is free
+    Given nine stamps
+    When the customer orders
+    Then the drink is free

package/packages/visualizer/fixtures/malformed/specs/coffee/ordering/ordering.feature

@@ -0,0 +1,36 @@
+Feature: Order a drink
+  A customer picks a drink, pays, and picks it up.
+
+  Rule: Paying for the order
+
+    Scenario: Pays by card
+      Given a drink in the cart
+      When the customer pays by card
+      Then the barista can start the drink
+
+    Scenario: Pays with a wallet
+      Given a drink in the cart
+      When the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Card declined, then a wallet works
+      Given a drink in the cart
+      When the card is declined
+      And the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Slow payment
+      Given a drink in the cart
+      When the payment takes longer than a minute
+      Then the customer can check the payment again
+
+    Scenario: Leaves checkout and comes back
+      Given a drink in the cart
+      When the customer closes checkout
+      And the customer starts checkout again
+      Then checkout is open
+
+    Scenario: Drink left too long
+      Given a finished drink
+      When nobody picks it up
+      Then the drink is thrown away and refunded

package/packages/visualizer/fixtures/malformed/specs/coffee/ordering/payment.als

@@ -0,0 +1,4 @@
+// An order is paid once.
+sig Order { paid: lone Payment }
+sig Payment {}
+fact { all o: Order | one o.paid }

package/packages/visualizer/fixtures/partial/specs/coffee/ordering/cart.qnt

@@ -0,0 +1,7 @@
+# Cart
+module cart {
+  var items: int
+  var paid: bool
+  action add = items' = items + 1
+  action pay = paid' = true
+}

package/packages/visualizer/fixtures/partial/specs/coffee/ordering/checkout.openslo.yaml

@@ -0,0 +1,10 @@
+# Checkout latency
+apiVersion: openslo/v1
+kind: SLO
+metadata:
+  name: checkout-latency
+spec:
+  description: Checkout answers within a second.
+  objectives:
+    - displayName: Checkout latency
+      target: 0.99

package/packages/visualizer/fixtures/partial/specs/coffee/ordering/drink-price.dmn

@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<definitions xmlns="https://www.omg.org/spec/DMN/20191111/MODEL/">
+  <decision id="drink-price" name="Drink price">
+    <decisionTable id="Drink price" hitPolicy="UNIQUE">
+      <input label="Size">
+        <inputExpression typeRef="string"><text>size</text></inputExpression>
+      </input>
+      <input label="Milk">
+        <inputExpression typeRef="string"><text>milk</text></inputExpression>
+      </input>
+      <output label="Price" name="price" />
+      <rule>
+        <inputEntry><text>"Small"</text></inputEntry>
+        <inputEntry><text>"None"</text></inputEntry>
+        <outputEntry><text>3</text></outputEntry>
+      </rule>
+      <rule>
+        <inputEntry><text>"Large"</text></inputEntry>
+        <inputEntry><text>"Oat"</text></inputEntry>
+        <outputEntry><text>5</text></outputEntry>
+      </rule>
+    </decisionTable>
+  </decision>
+</definitions>

package/packages/visualizer/fixtures/partial/specs/coffee/ordering/loyalty.feature

@@ -0,0 +1,7 @@
+Feature: Loyalty stamps
+  A regular earns a free drink. No layer has recorded this yet.
+
+  Scenario: Tenth drink is free
+    Given nine stamps
+    When the customer orders
+    Then the drink is free

package/packages/visualizer/fixtures/partial/specs/coffee/ordering/ordering.feature

@@ -0,0 +1,36 @@
+Feature: Order a drink
+  A customer picks a drink, pays, and picks it up.
+
+  Rule: Paying for the order
+
+    Scenario: Pays by card
+      Given a drink in the cart
+      When the customer pays by card
+      Then the barista can start the drink
+
+    Scenario: Pays with a wallet
+      Given a drink in the cart
+      When the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Card declined, then a wallet works
+      Given a drink in the cart
+      When the card is declined
+      And the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Slow payment
+      Given a drink in the cart
+      When the payment takes longer than a minute
+      Then the customer can check the payment again
+
+    Scenario: Leaves checkout and comes back
+      Given a drink in the cart
+      When the customer closes checkout
+      And the customer starts checkout again
+      Then checkout is open
+
+    Scenario: Drink left too long
+      Given a finished drink
+      When nobody picks it up
+      Then the drink is thrown away and refunded

package/packages/visualizer/fixtures/partial/specs/coffee/ordering/payment.als

@@ -0,0 +1,4 @@
+// An order is paid once.
+sig Order { paid: lone Payment }
+sig Payment {}
+fact { all o: Order | one o.paid }

package/packages/visualizer/fixtures/removed/specs/coffee/ordering/cart.qnt

@@ -0,0 +1,7 @@
+# Cart
+module cart {
+  var items: int
+  var paid: bool
+  action add = items' = items + 1
+  action pay = paid' = true
+}

package/packages/visualizer/fixtures/removed/specs/coffee/ordering/checkout.openslo.yaml

@@ -0,0 +1,10 @@
+# Checkout latency
+apiVersion: openslo/v1
+kind: SLO
+metadata:
+  name: checkout-latency
+spec:
+  description: Checkout answers within a second.
+  objectives:
+    - displayName: Checkout latency
+      target: 0.99

package/packages/visualizer/fixtures/removed/specs/coffee/ordering/drink-price.dmn

@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<definitions xmlns="https://www.omg.org/spec/DMN/20191111/MODEL/">
+  <decision id="drink-price" name="Drink price">
+    <decisionTable id="Drink price" hitPolicy="UNIQUE">
+      <input label="Size">
+        <inputExpression typeRef="string"><text>size</text></inputExpression>
+      </input>
+      <input label="Milk">
+        <inputExpression typeRef="string"><text>milk</text></inputExpression>
+      </input>
+      <output label="Price" name="price" />
+      <rule>
+        <inputEntry><text>"Small"</text></inputEntry>
+        <inputEntry><text>"None"</text></inputEntry>
+        <outputEntry><text>3</text></outputEntry>
+      </rule>
+      <rule>
+        <inputEntry><text>"Large"</text></inputEntry>
+        <inputEntry><text>"Oat"</text></inputEntry>
+        <outputEntry><text>5</text></outputEntry>
+      </rule>
+    </decisionTable>
+  </decision>
+</definitions>

package/packages/visualizer/fixtures/removed/specs/coffee/ordering/loyalty.feature

@@ -0,0 +1,7 @@
+Feature: Loyalty stamps
+  A regular earns a free drink. No layer has recorded this yet.
+
+  Scenario: Tenth drink is free
+    Given nine stamps
+    When the customer orders
+    Then the drink is free

package/packages/visualizer/fixtures/removed/specs/coffee/ordering/ordering.feature

@@ -0,0 +1,36 @@
+Feature: Order a drink
+  A customer picks a drink, pays, and picks it up.
+
+  Rule: Paying for the order
+
+    Scenario: Pays by card
+      Given a drink in the cart
+      When the customer pays by card
+      Then the barista can start the drink
+
+    Scenario: Pays with a wallet
+      Given a drink in the cart
+      When the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Card declined, then a wallet works
+      Given a drink in the cart
+      When the card is declined
+      And the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Slow payment
+      Given a drink in the cart
+      When the payment takes longer than a minute
+      Then the customer can check the payment again
+
+    Scenario: Leaves checkout and comes back
+      Given a drink in the cart
+      When the customer closes checkout
+      And the customer starts checkout again
+      Then checkout is open
+
+    Scenario: Drink left too long
+      Given a finished drink
+      When nobody picks it up
+      Then the drink is thrown away and refunded

package/packages/visualizer/fixtures/removed/specs/coffee/ordering/payment.als

@@ -0,0 +1,4 @@
+// An order is paid once.
+sig Order { paid: lone Payment }
+sig Payment {}
+fact { all o: Order | one o.paid }

package/packages/visualizer/fixtures/spec-only/specs/coffee/ordering/cart.qnt

@@ -0,0 +1,7 @@
+# Cart
+module cart {
+  var items: int
+  var paid: bool
+  action add = items' = items + 1
+  action pay = paid' = true
+}

package/packages/visualizer/fixtures/spec-only/specs/coffee/ordering/checkout.openslo.yaml

@@ -0,0 +1,10 @@
+# Checkout latency
+apiVersion: openslo/v1
+kind: SLO
+metadata:
+  name: checkout-latency
+spec:
+  description: Checkout answers within a second.
+  objectives:
+    - displayName: Checkout latency
+      target: 0.99

package/packages/visualizer/fixtures/spec-only/specs/coffee/ordering/drink-price.dmn

@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<definitions xmlns="https://www.omg.org/spec/DMN/20191111/MODEL/">
+  <decision id="drink-price" name="Drink price">
+    <decisionTable id="Drink price" hitPolicy="UNIQUE">
+      <input label="Size">
+        <inputExpression typeRef="string"><text>size</text></inputExpression>
+      </input>
+      <input label="Milk">
+        <inputExpression typeRef="string"><text>milk</text></inputExpression>
+      </input>
+      <output label="Price" name="price" />
+      <rule>
+        <inputEntry><text>"Small"</text></inputEntry>
+        <inputEntry><text>"None"</text></inputEntry>
+        <outputEntry><text>3</text></outputEntry>
+      </rule>
+      <rule>
+        <inputEntry><text>"Large"</text></inputEntry>
+        <inputEntry><text>"Oat"</text></inputEntry>
+        <outputEntry><text>5</text></outputEntry>
+      </rule>
+    </decisionTable>
+  </decision>
+</definitions>

package/packages/visualizer/fixtures/spec-only/specs/coffee/ordering/loyalty.feature

@@ -0,0 +1,7 @@
+Feature: Loyalty stamps
+  A regular earns a free drink. No layer has recorded this yet.
+
+  Scenario: Tenth drink is free
+    Given nine stamps
+    When the customer orders
+    Then the drink is free

package/packages/visualizer/fixtures/spec-only/specs/coffee/ordering/ordering.feature

@@ -0,0 +1,36 @@
+Feature: Order a drink
+  A customer picks a drink, pays, and picks it up.
+
+  Rule: Paying for the order
+
+    Scenario: Pays by card
+      Given a drink in the cart
+      When the customer pays by card
+      Then the barista can start the drink
+
+    Scenario: Pays with a wallet
+      Given a drink in the cart
+      When the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Card declined, then a wallet works
+      Given a drink in the cart
+      When the card is declined
+      And the customer pays with a wallet
+      Then the order is paid
+
+    Scenario: Slow payment
+      Given a drink in the cart
+      When the payment takes longer than a minute
+      Then the customer can check the payment again
+
+    Scenario: Leaves checkout and comes back
+      Given a drink in the cart
+      When the customer closes checkout
+      And the customer starts checkout again
+      Then checkout is open
+
+    Scenario: Drink left too long
+      Given a finished drink
+      When nobody picks it up
+      Then the drink is thrown away and refunded

package/packages/visualizer/fixtures/spec-only/specs/coffee/ordering/payment.als

@@ -0,0 +1,4 @@
+// An order is paid once.
+sig Order { paid: lone Payment }
+sig Payment {}
+fact { all o: Order | one o.paid }

package/packages/visualizer/scripts/make-fixtures.ts

@@ -30,6 +30,8 @@ import { APP_ROOT, FIXTURES_ROOT, listSpecFiles } from '../vite/atlas-files';
  * Regenerates every fixture from the example spec in `example/specs` (a coffee-ordering app: an
  * XState root chart with a parallel region that invokes an SCXML checkout chart) and a generated
  * large atlas. All media is synthetic: ImageMagick draws the screens and ffmpeg the clips.
+ * Gherkin, Quint, DMN, Alloy and OpenSLO documents in that spec are copied with the charts.
+ * The visualizer dev server serves the layered report for them; this script does not rebuild it.
  */
 
 const EXAMPLE_SPECS = path.join(APP_ROOT, 'example/specs');