@inventarch/compliance 0.0.0-stage → 1.0.0

package/fixtures/language/registry/pass/requires-order.records.json

@@ -0,0 +1,633 @@
+[
+  {
+    "identity": "floor/definition/system/workspace-system",
+    "system": "floor",
+    "kind": "definition",
+    "facet": "system",
+    "name": "workspace-system",
+    "displayName": "workspace-system",
+    "discriminator": "system",
+    "source": {
+      "path": "registry/pass/requires-order.ia",
+      "line": 2,
+      "endLine": 12
+    },
+    "head": [
+      {
+        "key": "provider",
+        "value": {
+          "kind": "string",
+          "text": "workspace-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": 7
+        },
+        "fields": [
+          {
+            "item": {
+              "kind": "scalar",
+              "text": "agent-system"
+            },
+            "span": {
+              "line": 6,
+              "endLine": 6
+            }
+          },
+          {
+            "item": {
+              "kind": "scalar",
+              "text": "compliance-system"
+            },
+            "span": {
+              "line": 7,
+              "endLine": 7
+            }
+          }
+        ]
+      },
+      {
+        "name": "discriminators",
+        "span": {
+          "line": 8,
+          "endLine": 12
+        },
+        "fields": [
+          {
+            "key": "workspace",
+            "value": {
+              "kind": "scalar",
+              "text": "lowers to definition"
+            },
+            "span": {
+              "line": 9,
+              "endLine": 12
+            },
+            "fields": [
+              {
+                "key": "category",
+                "value": {
+                  "kind": "scalar",
+                  "text": "boundary"
+                },
+                "span": {
+                  "line": 10,
+                  "endLine": 10
+                }
+              },
+              {
+                "key": "facets",
+                "value": {
+                  "kind": "list",
+                  "items": [
+                    {
+                      "kind": "scalar",
+                      "text": "head"
+                    }
+                  ]
+                },
+                "span": {
+                  "line": 11,
+                  "endLine": 11
+                }
+              },
+              {
+                "key": "schema",
+                "value": {
+                  "kind": "ref",
+                  "discriminator": "schema",
+                  "name": "workspace"
+                },
+                "span": {
+                  "line": 12,
+                  "endLine": 12
+                }
+              }
+            ]
+          }
+        ]
+      }
+    ],
+    "edges": [
+      {
+        "predicate": "ground",
+        "direction": "out",
+        "target": "floor/contract/head/workspace",
+        "span": {
+          "line": 9,
+          "endLine": 12
+        },
+        "reference": {
+          "kind": "ref",
+          "discriminator": "schema",
+          "name": "workspace"
+        }
+      }
+    ],
+    "cells": [],
+    "selectors": [],
+    "variants": [],
+    "requirements": [],
+    "schema": "floor/contract/head/system",
+    "provenance": "workspace",
+    "placement": {
+      "kind": "authored",
+      "band": 100,
+      "reach": ""
+    }
+  },
+  {
+    "identity": "floor/definition/system/compliance-system",
+    "system": "floor",
+    "kind": "definition",
+    "facet": "system",
+    "name": "compliance-system",
+    "displayName": "compliance-system",
+    "discriminator": "system",
+    "source": {
+      "path": "registry/pass/requires-order.ia",
+      "line": 13,
+      "endLine": 22
+    },
+    "head": [
+      {
+        "key": "provider",
+        "value": {
+          "kind": "string",
+          "text": "compliance-system"
+        },
+        "span": {
+          "line": 14,
+          "endLine": 14
+        }
+      },
+      {
+        "key": "version",
+        "value": {
+          "kind": "string",
+          "text": "0.1.0"
+        },
+        "span": {
+          "line": 15,
+          "endLine": 15
+        }
+      }
+    ],
+    "sections": [
+      {
+        "name": "requires",
+        "span": {
+          "line": 16,
+          "endLine": 17
+        },
+        "fields": [
+          {
+            "item": {
+              "kind": "scalar",
+              "text": "agent-system"
+            },
+            "span": {
+              "line": 17,
+              "endLine": 17
+            }
+          }
+        ]
+      },
+      {
+        "name": "discriminators",
+        "span": {
+          "line": 18,
+          "endLine": 22
+        },
+        "fields": [
+          {
+            "key": "check",
+            "value": {
+              "kind": "scalar",
+              "text": "lowers to check"
+            },
+            "span": {
+              "line": 19,
+              "endLine": 22
+            },
+            "fields": [
+              {
+                "key": "category",
+                "value": {
+                  "kind": "scalar",
+                  "text": "rule"
+                },
+                "span": {
+                  "line": 20,
+                  "endLine": 20
+                }
+              },
+              {
+                "key": "facets",
+                "value": {
+                  "kind": "list",
+                  "items": [
+                    {
+                      "kind": "scalar",
+                      "text": "head"
+                    }
+                  ]
+                },
+                "span": {
+                  "line": 21,
+                  "endLine": 21
+                }
+              },
+              {
+                "key": "schema",
+                "value": {
+                  "kind": "ref",
+                  "discriminator": "schema",
+                  "name": "check"
+                },
+                "span": {
+                  "line": 22,
+                  "endLine": 22
+                }
+              }
+            ]
+          }
+        ]
+      }
+    ],
+    "edges": [
+      {
+        "predicate": "ground",
+        "direction": "out",
+        "target": "floor/contract/head/check",
+        "span": {
+          "line": 19,
+          "endLine": 22
+        },
+        "reference": {
+          "kind": "ref",
+          "discriminator": "schema",
+          "name": "check"
+        }
+      }
+    ],
+    "cells": [],
+    "selectors": [],
+    "variants": [],
+    "requirements": [],
+    "schema": "floor/contract/head/system",
+    "provenance": "workspace",
+    "placement": {
+      "kind": "authored",
+      "band": 100,
+      "reach": ""
+    }
+  },
+  {
+    "identity": "floor/definition/system/agent-system",
+    "system": "floor",
+    "kind": "definition",
+    "facet": "system",
+    "name": "agent-system",
+    "displayName": "agent-system",
+    "discriminator": "system",
+    "source": {
+      "path": "registry/pass/requires-order.ia",
+      "line": 23,
+      "endLine": 32
+    },
+    "head": [
+      {
+        "key": "provider",
+        "value": {
+          "kind": "string",
+          "text": "agent-system"
+        },
+        "span": {
+          "line": 24,
+          "endLine": 24
+        }
+      },
+      {
+        "key": "version",
+        "value": {
+          "kind": "string",
+          "text": "0.1.0"
+        },
+        "span": {
+          "line": 25,
+          "endLine": 25
+        }
+      }
+    ],
+    "sections": [
+      {
+        "name": "requires",
+        "span": {
+          "line": 26,
+          "endLine": 27
+        },
+        "fields": [
+          {
+            "item": {
+              "kind": "scalar",
+              "text": "taxonomy"
+            },
+            "span": {
+              "line": 27,
+              "endLine": 27
+            }
+          }
+        ]
+      },
+      {
+        "name": "discriminators",
+        "span": {
+          "line": 28,
+          "endLine": 32
+        },
+        "fields": [
+          {
+            "key": "agent",
+            "value": {
+              "kind": "scalar",
+              "text": "lowers to binding"
+            },
+            "span": {
+              "line": 29,
+              "endLine": 32
+            },
+            "fields": [
+              {
+                "key": "category",
+                "value": {
+                  "kind": "scalar",
+                  "text": "capability"
+                },
+                "span": {
+                  "line": 30,
+                  "endLine": 30
+                }
+              },
+              {
+                "key": "facets",
+                "value": {
+                  "kind": "list",
+                  "items": [
+                    {
+                      "kind": "scalar",
+                      "text": "head"
+                    }
+                  ]
+                },
+                "span": {
+                  "line": 31,
+                  "endLine": 31
+                }
+              },
+              {
+                "key": "schema",
+                "value": {
+                  "kind": "ref",
+                  "discriminator": "schema",
+                  "name": "agent"
+                },
+                "span": {
+                  "line": 32,
+                  "endLine": 32
+                }
+              }
+            ]
+          }
+        ]
+      }
+    ],
+    "edges": [
+      {
+        "predicate": "ground",
+        "direction": "out",
+        "target": "floor/contract/head/agent",
+        "span": {
+          "line": 29,
+          "endLine": 32
+        },
+        "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/workspace",
+    "system": "floor",
+    "kind": "contract",
+    "facet": "head",
+    "name": "workspace",
+    "displayName": "workspace",
+    "discriminator": "schema",
+    "source": {
+      "path": "registry/pass/requires-order.ia",
+      "line": 33,
+      "endLine": 36
+    },
+    "head": [
+      {
+        "key": "lowers to",
+        "value": {
+          "kind": "scalar",
+          "text": "definition"
+        },
+        "span": {
+          "line": 34,
+          "endLine": 34
+        }
+      }
+    ],
+    "sections": [
+      {
+        "name": "sections",
+        "span": {
+          "line": 35,
+          "endLine": 36
+        },
+        "fields": [
+          {
+            "key": "closed",
+            "value": {
+              "kind": "none"
+            },
+            "span": {
+              "line": 36,
+              "endLine": 36
+            }
+          }
+        ]
+      }
+    ],
+    "edges": [],
+    "cells": [],
+    "selectors": [],
+    "variants": [],
+    "requirements": [],
+    "schema": "floor/contract/head/schema",
+    "provenance": "workspace",
+    "placement": {
+      "kind": "authored",
+      "band": 100,
+      "reach": ""
+    }
+  },
+  {
+    "identity": "floor/contract/head/check",
+    "system": "floor",
+    "kind": "contract",
+    "facet": "head",
+    "name": "check",
+    "displayName": "check",
+    "discriminator": "schema",
+    "source": {
+      "path": "registry/pass/requires-order.ia",
+      "line": 37,
+      "endLine": 40
+    },
+    "head": [
+      {
+        "key": "lowers to",
+        "value": {
+          "kind": "scalar",
+          "text": "check"
+        },
+        "span": {
+          "line": 38,
+          "endLine": 38
+        }
+      }
+    ],
+    "sections": [
+      {
+        "name": "sections",
+        "span": {
+          "line": 39,
+          "endLine": 40
+        },
+        "fields": [
+          {
+            "key": "closed",
+            "value": {
+              "kind": "none"
+            },
+            "span": {
+              "line": 40,
+              "endLine": 40
+            }
+          }
+        ]
+      }
+    ],
+    "edges": [],
+    "cells": [],
+    "selectors": [],
+    "variants": [],
+    "requirements": [],
+    "schema": "floor/contract/head/schema",
+    "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": "registry/pass/requires-order.ia",
+      "line": 41,
+      "endLine": 44
+    },
+    "head": [
+      {
+        "key": "lowers to",
+        "value": {
+          "kind": "scalar",
+          "text": "binding"
+        },
+        "span": {
+          "line": 42,
+          "endLine": 42
+        }
+      }
+    ],
+    "sections": [
+      {
+        "name": "sections",
+        "span": {
+          "line": 43,
+          "endLine": 44
+        },
+        "fields": [
+          {
+            "key": "closed",
+            "value": {
+              "kind": "none"
+            },
+            "span": {
+              "line": 44,
+              "endLine": 44
+            }
+          }
+        ]
+      }
+    ],
+    "edges": [],
+    "cells": [],
+    "selectors": [],
+    "variants": [],
+    "requirements": [],
+    "schema": "floor/contract/head/schema",
+    "provenance": "workspace",
+    "placement": {
+      "kind": "authored",
+      "band": 100,
+      "reach": ""
+    }
+  }
+]

package/fixtures/language/schema/fail/edge-as-field.diagnostics.json

@@ -0,0 +1 @@
+[{ "code": "IA-LANG-SCHEMA-EDGE-AS-FIELD", "line": 7 }]

package/fixtures/language/schema/fail/edge-as-field.ia

@@ -0,0 +1,7 @@
+#! ia 1.0
+@schema s
+  lowers to definition
+  sections
+    closed
+  fields
+    must have relationships.cites as ref

package/fixtures/language/schema/fail/edge-cardinality-unknown.diagnostics.json

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

package/fixtures/language/schema/fail/edge-cardinality-unknown.ia

@@ -0,0 +1,7 @@
+#! ia 1.0
+@schema s
+  lowers to definition
+  sections
+    closed
+  edges
+    must cite governance many

package/fixtures/language/schema/fail/edge-predicate-unknown.diagnostics.json

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

package/fixtures/language/schema/fail/edge-predicate-unknown.ia

@@ -0,0 +1,7 @@
+#! ia 1.0
+@schema s
+  lowers to definition
+  sections
+    closed
+  edges
+    must cites governance one

package/fixtures/language/schema/fail/field-form-unknown.diagnostics.json

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

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

@@ -0,0 +1,7 @@
+#! ia 1.0
+@schema s
+  lowers to definition
+  sections
+    closed
+  fields
+    must have work.due as text form rfc3339

package/fixtures/language/schema/fail/field-path-malformed.diagnostics.json

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

package/fixtures/language/schema/fail/field-path-malformed.ia

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

package/fixtures/language/schema/fail/field-set-not-id.diagnostics.json

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

package/fixtures/language/schema/fail/field-set-not-id.ia

@@ -0,0 +1,7 @@
+#! ia 1.0
+@schema s
+  lowers to definition
+  sections
+    closed
+  fields
+    must have work.status as text in [todo, done]

package/fixtures/language/schema/fail/field-type-unknown.diagnostics.json

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