@inventarch/compliance 0.0.0-stage → 1.0.0

package/fixtures/language/schema/fail/field-type-unknown.ia

@@ -0,0 +1,7 @@
+#! ia 1.0
+@schema s
+  lowers to definition
+  sections
+    closed
+  fields
+    must have meaning.says as string

package/fixtures/language/schema/fail/kind-unknown.diagnostics.json

@@ -0,0 +1 @@
+[{ "code": "IA-LANG-KIND-UNKNOWN", "line": 3 }]

package/fixtures/language/schema/fail/kind-unknown.ia

@@ -0,0 +1,5 @@
+#! ia 1.0
+@schema s
+  lowers to widget
+  sections
+    closed

package/fixtures/language/schema/fail/lowers-to-missing.diagnostics.json

@@ -0,0 +1 @@
+[{ "code": "IA-LANG-SCHEMA-MALFORMED", "line": 2 }]

package/fixtures/language/schema/fail/lowers-to-missing.ia

@@ -0,0 +1,4 @@
+#! ia 1.0
+@schema s
+  sections
+    closed

package/fixtures/language/schema/fail/sections-unclosed.diagnostics.json

@@ -0,0 +1 @@
+[{ "code": "IA-LANG-SCHEMA-MALFORMED", "line": 4 }]

package/fixtures/language/schema/fail/sections-unclosed.ia

@@ -0,0 +1,5 @@
+#! ia 1.0
+@schema s
+  lowers to definition
+  sections
+    must have meaning

package/fixtures/language/schema/pass/field-narrowing.ia

@@ -0,0 +1,13 @@
+#! ia 1.0
+@schema Task
+  lowers to definition
+  sections
+    must have work
+    closed
+  fields
+    must have work.status as id in [todo, doing, done]
+    may have work.tags as list of id in [urgent, blocked]
+    must have work.milestone as ref to milestone "the parent"
+    may have work.depends as list of ref to task
+    may have work.due as text form iso-date "YYYY-MM-DD"
+    may have work.dates as list of text form iso-date

package/fixtures/language/schema/pass/field-narrowing.records.json

@@ -0,0 +1,170 @@
+[
+  {
+    "identity": "floor/contract/head/task",
+    "system": "floor",
+    "kind": "contract",
+    "facet": "head",
+    "name": "task",
+    "displayName": "Task",
+    "discriminator": "schema",
+    "source": {
+      "path": "schema/pass/field-narrowing.ia",
+      "line": 2,
+      "endLine": 13
+    },
+    "head": [
+      {
+        "key": "lowers to",
+        "value": {
+          "kind": "scalar",
+          "text": "definition"
+        },
+        "span": {
+          "line": 3,
+          "endLine": 3
+        }
+      }
+    ],
+    "sections": [
+      {
+        "name": "sections",
+        "span": {
+          "line": 4,
+          "endLine": 6
+        },
+        "fields": [
+          {
+            "key": "must have",
+            "value": {
+              "kind": "scalar",
+              "text": "work"
+            },
+            "span": {
+              "line": 5,
+              "endLine": 5
+            }
+          },
+          {
+            "key": "closed",
+            "value": {
+              "kind": "none"
+            },
+            "span": {
+              "line": 6,
+              "endLine": 6
+            }
+          }
+        ]
+      },
+      {
+        "name": "fields",
+        "span": {
+          "line": 7,
+          "endLine": 13
+        },
+        "fields": [
+          {
+            "key": "must have work.status as id in",
+            "value": {
+              "kind": "list",
+              "items": [
+                {
+                  "kind": "scalar",
+                  "text": "todo"
+                },
+                {
+                  "kind": "scalar",
+                  "text": "doing"
+                },
+                {
+                  "kind": "scalar",
+                  "text": "done"
+                }
+              ]
+            },
+            "span": {
+              "line": 8,
+              "endLine": 8
+            }
+          },
+          {
+            "key": "may have work.tags as list of id in",
+            "value": {
+              "kind": "list",
+              "items": [
+                {
+                  "kind": "scalar",
+                  "text": "urgent"
+                },
+                {
+                  "kind": "scalar",
+                  "text": "blocked"
+                }
+              ]
+            },
+            "span": {
+              "line": 9,
+              "endLine": 9
+            }
+          },
+          {
+            "key": "must have work.milestone as ref to milestone",
+            "value": {
+              "kind": "string",
+              "text": "the parent"
+            },
+            "span": {
+              "line": 10,
+              "endLine": 10
+            }
+          },
+          {
+            "key": "may have",
+            "value": {
+              "kind": "scalar",
+              "text": "work.depends as list of ref to task"
+            },
+            "span": {
+              "line": 11,
+              "endLine": 11
+            }
+          },
+          {
+            "key": "may have work.due as text form iso-date",
+            "value": {
+              "kind": "string",
+              "text": "YYYY-MM-DD"
+            },
+            "span": {
+              "line": 12,
+              "endLine": 12
+            }
+          },
+          {
+            "key": "may have",
+            "value": {
+              "kind": "scalar",
+              "text": "work.dates as list of text form iso-date"
+            },
+            "span": {
+              "line": 13,
+              "endLine": 13
+            }
+          }
+        ]
+      }
+    ],
+    "edges": [],
+    "cells": [],
+    "selectors": [],
+    "variants": [],
+    "requirements": [],
+    "schema": "floor/contract/head/schema",
+    "provenance": "workspace",
+    "placement": {
+      "kind": "authored",
+      "band": 100,
+      "reach": ""
+    }
+  }
+]

package/fixtures/language/schema/pass/full-dialect.ia

@@ -0,0 +1,16 @@
+#! ia 1.0
+@schema Playbook
+  lowers to definition
+  sections
+    must have meaning
+    must have cognition
+    may have activation
+    closed
+  fields
+    must have meaning.says as text "one-line identity"
+    must have meaning.answers as text
+    may have lifecycle.state as id
+    may have meaning.tags as list of id
+  edges
+    must cite governance one-or-more
+    may use playbook optional

package/fixtures/language/schema/pass/full-dialect.records.json

@@ -0,0 +1,179 @@
+[
+  {
+    "identity": "floor/contract/head/playbook",
+    "system": "floor",
+    "kind": "contract",
+    "facet": "head",
+    "name": "playbook",
+    "displayName": "Playbook",
+    "discriminator": "schema",
+    "source": {
+      "path": "schema/pass/full-dialect.ia",
+      "line": 2,
+      "endLine": 16
+    },
+    "head": [
+      {
+        "key": "lowers to",
+        "value": {
+          "kind": "scalar",
+          "text": "definition"
+        },
+        "span": {
+          "line": 3,
+          "endLine": 3
+        }
+      }
+    ],
+    "sections": [
+      {
+        "name": "sections",
+        "span": {
+          "line": 4,
+          "endLine": 8
+        },
+        "fields": [
+          {
+            "key": "must have",
+            "value": {
+              "kind": "scalar",
+              "text": "meaning"
+            },
+            "span": {
+              "line": 5,
+              "endLine": 5
+            }
+          },
+          {
+            "key": "must have",
+            "value": {
+              "kind": "scalar",
+              "text": "cognition"
+            },
+            "span": {
+              "line": 6,
+              "endLine": 6
+            }
+          },
+          {
+            "key": "may have",
+            "value": {
+              "kind": "scalar",
+              "text": "activation"
+            },
+            "span": {
+              "line": 7,
+              "endLine": 7
+            }
+          },
+          {
+            "key": "closed",
+            "value": {
+              "kind": "none"
+            },
+            "span": {
+              "line": 8,
+              "endLine": 8
+            }
+          }
+        ]
+      },
+      {
+        "name": "fields",
+        "span": {
+          "line": 9,
+          "endLine": 13
+        },
+        "fields": [
+          {
+            "key": "must have meaning.says as text",
+            "value": {
+              "kind": "string",
+              "text": "one-line identity"
+            },
+            "span": {
+              "line": 10,
+              "endLine": 10
+            }
+          },
+          {
+            "key": "must have",
+            "value": {
+              "kind": "scalar",
+              "text": "meaning.answers as text"
+            },
+            "span": {
+              "line": 11,
+              "endLine": 11
+            }
+          },
+          {
+            "key": "may have",
+            "value": {
+              "kind": "scalar",
+              "text": "lifecycle.state as id"
+            },
+            "span": {
+              "line": 12,
+              "endLine": 12
+            }
+          },
+          {
+            "key": "may have",
+            "value": {
+              "kind": "scalar",
+              "text": "meaning.tags as list of id"
+            },
+            "span": {
+              "line": 13,
+              "endLine": 13
+            }
+          }
+        ]
+      },
+      {
+        "name": "edges",
+        "span": {
+          "line": 14,
+          "endLine": 16
+        },
+        "fields": [
+          {
+            "key": "must",
+            "value": {
+              "kind": "scalar",
+              "text": "cite governance one-or-more"
+            },
+            "span": {
+              "line": 15,
+              "endLine": 15
+            }
+          },
+          {
+            "key": "may",
+            "value": {
+              "kind": "scalar",
+              "text": "use playbook optional"
+            },
+            "span": {
+              "line": 16,
+              "endLine": 16
+            }
+          }
+        ]
+      }
+    ],
+    "edges": [],
+    "cells": [],
+    "selectors": [],
+    "variants": [],
+    "requirements": [],
+    "schema": "floor/contract/head/schema",
+    "provenance": "workspace",
+    "placement": {
+      "kind": "authored",
+      "band": 100,
+      "reach": ""
+    }
+  }
+]

package/fixtures/language/selectors/fail/child-condition.diagnostics.json

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-SELECTOR-MALFORMED",
+    "line": 60
+  }
+]

package/fixtures/language/selectors/fail/child-condition.ia

@@ -0,0 +1,61 @@
+#! ia 1.0
+@system fixture-system
+  provider "conformance"
+  version "1.0.0"
+  discriminators
+    playbook lowers to governance
+      category process
+      facets [head]
+      schema @schema playbook
+    law lowers to governance
+      category process
+      facets [head]
+      schema @schema law
+    contract lowers to contract
+      category process
+      facets [head]
+      schema @schema contract
+    case lowers to check
+      category process
+      facets [head]
+      schema @schema case
+  edges
+    govern * using *
+    enforce * using *
+    ground * using *
+    constrain * using *
+    implement * using *
+    produce * using *
+    consume * using *
+    record-lineage-from * using *
+    grant-access-to * using *
+    run-before * using *
+    trigger * using *
+    cite * using *
+    supersede * using *
+    require * using *
+    use * using *
+    forbid * using *
+    route * using *
+    land * using *
+@schema playbook
+  lowers to governance
+  sections
+    open
+@schema law
+  lowers to governance
+  sections
+    open
+@schema contract
+  lowers to contract
+  sections
+    open
+@schema case
+  lowers to check
+  sections
+    open
+@playbook target
+@playbook example
+  activation
+    activate
+      when phase is act

package/fixtures/language/selectors/fail/dangling-and.diagnostics.json

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-SELECTOR-MALFORMED",
+    "line": 60
+  }
+]

package/fixtures/language/selectors/fail/dangling-and.ia

@@ -0,0 +1,60 @@
+#! ia 1.0
+@system fixture-system
+  provider "conformance"
+  version "1.0.0"
+  discriminators
+    playbook lowers to governance
+      category process
+      facets [head]
+      schema @schema playbook
+    law lowers to governance
+      category process
+      facets [head]
+      schema @schema law
+    contract lowers to contract
+      category process
+      facets [head]
+      schema @schema contract
+    case lowers to check
+      category process
+      facets [head]
+      schema @schema case
+  edges
+    govern * using *
+    enforce * using *
+    ground * using *
+    constrain * using *
+    implement * using *
+    produce * using *
+    consume * using *
+    record-lineage-from * using *
+    grant-access-to * using *
+    run-before * using *
+    trigger * using *
+    cite * using *
+    supersede * using *
+    require * using *
+    use * using *
+    forbid * using *
+    route * using *
+    land * using *
+@schema playbook
+  lowers to governance
+  sections
+    open
+@schema law
+  lowers to governance
+  sections
+    open
+@schema contract
+  lowers to contract
+  sections
+    open
+@schema case
+  lowers to check
+  sections
+    open
+@playbook target
+@playbook example
+  activation
+    activate when phase is act and

package/fixtures/language/selectors/fail/dimension-not-axis.diagnostics.json

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-SELECTOR-AXIS-UNKNOWN",
+    "line": 60
+  }
+]

package/fixtures/language/selectors/fail/dimension-not-axis.ia

@@ -0,0 +1,60 @@
+#! ia 1.0
+@system fixture-system
+  provider "conformance"
+  version "1.0.0"
+  discriminators
+    playbook lowers to governance
+      category process
+      facets [head]
+      schema @schema playbook
+    law lowers to governance
+      category process
+      facets [head]
+      schema @schema law
+    contract lowers to contract
+      category process
+      facets [head]
+      schema @schema contract
+    case lowers to check
+      category process
+      facets [head]
+      schema @schema case
+  edges
+    govern * using *
+    enforce * using *
+    ground * using *
+    constrain * using *
+    implement * using *
+    produce * using *
+    consume * using *
+    record-lineage-from * using *
+    grant-access-to * using *
+    run-before * using *
+    trigger * using *
+    cite * using *
+    supersede * using *
+    require * using *
+    use * using *
+    forbid * using *
+    route * using *
+    land * using *
+@schema playbook
+  lowers to governance
+  sections
+    open
+@schema law
+  lowers to governance
+  sections
+    open
+@schema contract
+  lowers to contract
+  sections
+    open
+@schema case
+  lowers to check
+  sections
+    open
+@playbook target
+@playbook example
+  activation
+    activate when severity is blocking

package/fixtures/language/selectors/fail/missing-is.diagnostics.json

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-SELECTOR-MALFORMED",
+    "line": 60
+  }
+]

package/fixtures/language/selectors/fail/missing-is.ia

@@ -0,0 +1,60 @@
+#! ia 1.0
+@system fixture-system
+  provider "conformance"
+  version "1.0.0"
+  discriminators
+    playbook lowers to governance
+      category process
+      facets [head]
+      schema @schema playbook
+    law lowers to governance
+      category process
+      facets [head]
+      schema @schema law
+    contract lowers to contract
+      category process
+      facets [head]
+      schema @schema contract
+    case lowers to check
+      category process
+      facets [head]
+      schema @schema case
+  edges
+    govern * using *
+    enforce * using *
+    ground * using *
+    constrain * using *
+    implement * using *
+    produce * using *
+    consume * using *
+    record-lineage-from * using *
+    grant-access-to * using *
+    run-before * using *
+    trigger * using *
+    cite * using *
+    supersede * using *
+    require * using *
+    use * using *
+    forbid * using *
+    route * using *
+    land * using *
+@schema playbook
+  lowers to governance
+  sections
+    open
+@schema law
+  lowers to governance
+  sections
+    open
+@schema contract
+  lowers to contract
+  sections
+    open
+@schema case
+  lowers to check
+  sections
+    open
+@playbook target
+@playbook example
+  activation
+    activate when phase act

package/fixtures/language/selectors/fail/quoted-value.diagnostics.json

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-SELECTOR-MALFORMED",
+    "line": 60
+  }
+]