@inventarch/compliance 0.0.0-stage → 1.0.0

package/fixtures/language/compile/pass/nested-and-items.records.json

@@ -0,0 +1,373 @@
+[
+  {
+    "identity": "floor/definition/system/agent-system",
+    "system": "floor",
+    "kind": "definition",
+    "facet": "system",
+    "name": "agent-system",
+    "displayName": "agent-system",
+    "discriminator": "system",
+    "source": {
+      "path": "compile/pass/nested-and-items.ia",
+      "line": 2,
+      "endLine": 13
+    },
+    "head": [
+      {
+        "key": "provider",
+        "value": {
+          "kind": "string",
+          "text": "agent-system"
+        },
+        "span": {
+          "line": 3,
+          "endLine": 3
+        }
+      },
+      {
+        "key": "version",
+        "value": {
+          "kind": "string",
+          "text": "0.1.0"
+        },
+        "span": {
+          "line": 4,
+          "endLine": 4
+        }
+      }
+    ],
+    "sections": [
+      {
+        "name": "requires",
+        "span": {
+          "line": 5,
+          "endLine": 6
+        },
+        "fields": [
+          {
+            "item": {
+              "kind": "scalar",
+              "text": "taxonomy"
+            },
+            "span": {
+              "line": 6,
+              "endLine": 6
+            }
+          }
+        ]
+      },
+      {
+        "name": "discriminators",
+        "span": {
+          "line": 7,
+          "endLine": 11
+        },
+        "fields": [
+          {
+            "key": "agent",
+            "value": {
+              "kind": "scalar",
+              "text": "lowers to binding"
+            },
+            "span": {
+              "line": 8,
+              "endLine": 11
+            },
+            "fields": [
+              {
+                "key": "category",
+                "value": {
+                  "kind": "scalar",
+                  "text": "capability"
+                },
+                "span": {
+                  "line": 9,
+                  "endLine": 9
+                }
+              },
+              {
+                "key": "facets",
+                "value": {
+                  "kind": "list",
+                  "items": [
+                    {
+                      "kind": "scalar",
+                      "text": "head"
+                    },
+                    {
+                      "kind": "scalar",
+                      "text": "steward"
+                    }
+                  ]
+                },
+                "span": {
+                  "line": 10,
+                  "endLine": 10
+                }
+              },
+              {
+                "key": "schema",
+                "value": {
+                  "kind": "ref",
+                  "discriminator": "schema",
+                  "name": "agent"
+                },
+                "span": {
+                  "line": 11,
+                  "endLine": 11
+                }
+              }
+            ]
+          }
+        ]
+      },
+      {
+        "name": "edges",
+        "span": {
+          "line": 12,
+          "endLine": 13
+        },
+        "fields": [
+          {
+            "key": "cite",
+            "value": {
+              "kind": "scalar",
+              "text": "* using agent"
+            },
+            "span": {
+              "line": 13,
+              "endLine": 13
+            }
+          }
+        ]
+      }
+    ],
+    "edges": [
+      {
+        "predicate": "ground",
+        "direction": "out",
+        "target": "floor/contract/head/agent",
+        "span": {
+          "line": 8,
+          "endLine": 11
+        },
+        "reference": {
+          "kind": "ref",
+          "discriminator": "schema",
+          "name": "agent"
+        }
+      }
+    ],
+    "cells": [],
+    "selectors": [],
+    "variants": [],
+    "requirements": [],
+    "schema": "floor/contract/head/system",
+    "provenance": "workspace",
+    "placement": {
+      "kind": "authored",
+      "band": 100,
+      "reach": ""
+    }
+  },
+  {
+    "identity": "floor/contract/head/agent",
+    "system": "floor",
+    "kind": "contract",
+    "facet": "head",
+    "name": "agent",
+    "displayName": "agent",
+    "discriminator": "schema",
+    "source": {
+      "path": "compile/pass/nested-and-items.ia",
+      "line": 14,
+      "endLine": 18
+    },
+    "head": [
+      {
+        "key": "lowers to",
+        "value": {
+          "kind": "scalar",
+          "text": "binding"
+        },
+        "span": {
+          "line": 15,
+          "endLine": 15
+        }
+      }
+    ],
+    "sections": [
+      {
+        "name": "sections",
+        "span": {
+          "line": 16,
+          "endLine": 18
+        },
+        "fields": [
+          {
+            "key": "must have",
+            "value": {
+              "kind": "scalar",
+              "text": "meaning"
+            },
+            "span": {
+              "line": 17,
+              "endLine": 17
+            }
+          },
+          {
+            "key": "closed",
+            "value": {
+              "kind": "none"
+            },
+            "span": {
+              "line": 18,
+              "endLine": 18
+            }
+          }
+        ]
+      }
+    ],
+    "edges": [],
+    "cells": [],
+    "selectors": [],
+    "variants": [],
+    "requirements": [],
+    "schema": "floor/contract/head/schema",
+    "provenance": "workspace",
+    "placement": {
+      "kind": "authored",
+      "band": 100,
+      "reach": ""
+    }
+  },
+  {
+    "identity": "agent-system/binding/head/lead",
+    "system": "agent-system",
+    "kind": "binding",
+    "facet": "head",
+    "name": "lead",
+    "displayName": "Lead",
+    "discriminator": "agent",
+    "source": {
+      "path": "compile/pass/nested-and-items.ia",
+      "line": 19,
+      "endLine": 27
+    },
+    "head": [],
+    "sections": [
+      {
+        "name": "team",
+        "span": {
+          "line": 20,
+          "endLine": 24
+        },
+        "fields": [
+          {
+            "key": "size",
+            "value": {
+              "kind": "scalar",
+              "text": "2"
+            },
+            "span": {
+              "line": 24,
+              "endLine": 24
+            }
+          }
+        ]
+      },
+      {
+        "name": "notes",
+        "span": {
+          "line": 25,
+          "endLine": 27
+        },
+        "fields": [
+          {
+            "item": {
+              "kind": "scalar",
+              "text": "one"
+            },
+            "span": {
+              "line": 26,
+              "endLine": 26
+            }
+          },
+          {
+            "key": "state",
+            "value": {
+              "kind": "scalar",
+              "text": "active"
+            },
+            "span": {
+              "line": 27,
+              "endLine": 27
+            }
+          }
+        ]
+      }
+    ],
+    "edges": [],
+    "cells": [],
+    "selectors": [],
+    "variants": [],
+    "requirements": [],
+    "schema": "floor/contract/head/agent",
+    "provenance": "workspace",
+    "placement": {
+      "kind": "authored",
+      "band": 100,
+      "reach": ""
+    }
+  },
+  {
+    "identity": "agent-system/binding/head/member",
+    "system": "agent-system",
+    "kind": "binding",
+    "facet": "head",
+    "name": "member",
+    "displayName": "Member",
+    "discriminator": "agent",
+    "parent": "agent-system/binding/head/lead",
+    "source": {
+      "path": "compile/pass/nested-and-items.ia",
+      "line": 21,
+      "endLine": 23
+    },
+    "head": [],
+    "sections": [
+      {
+        "name": "meaning",
+        "span": {
+          "line": 22,
+          "endLine": 23
+        },
+        "fields": [
+          {
+            "key": "says",
+            "value": {
+              "kind": "string",
+              "text": "m"
+            },
+            "span": {
+              "line": 23,
+              "endLine": 23
+            }
+          }
+        ]
+      }
+    ],
+    "edges": [],
+    "cells": [],
+    "selectors": [],
+    "variants": [],
+    "requirements": [],
+    "schema": "floor/contract/head/agent",
+    "provenance": "workspace",
+    "placement": {
+      "kind": "authored",
+      "band": 100,
+      "reach": ""
+    }
+  }
+]

package/fixtures/language/conditions/fail/conflicting-name.diagnostics.json

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

package/fixtures/language/conditions/fail/conflicting-name.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
+  relationships
+    uses @playbook target when phase is act and phase is plan

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

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

package/fixtures/language/conditions/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
+  relationships
+    uses @playbook target when phase is act and

package/fixtures/language/conditions/fail/empty-child.diagnostics.json

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

package/fixtures/language/conditions/fail/empty-child.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
+  relationships
+    uses @playbook target
+      when

package/fixtures/language/conditions/fail/misplaced-head.diagnostics.json

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-CONDITION-MISPLACED",
+    "line": 59
+  }
+]

package/fixtures/language/conditions/fail/misplaced-head.ia

@@ -0,0 +1,59 @@
+#! 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
+  describes "text" when phase is act

package/fixtures/language/conditions/fail/misplaced-meaning.diagnostics.json

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

package/fixtures/language/conditions/fail/misplaced-meaning.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
+  meaning
+    category process when phase is act