npm - @inventarch/compliance - Versions diffs - 0.0.0-stage → 1.0.0 - Mend

@inventarch/compliance 0.0.0-stage → 1.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (511) hide show

package/fixtures/language/refs/pass/fragments.ast.json ADDED Viewed

@@ -0,0 +1,104 @@
+{
+  "kind": "file",
+  "path": "refs/pass/fragments.ia",
+  "version": "1.0",
+  "records": [
+    {
+      "kind": "record",
+      "discriminator": "case",
+      "name": "c",
+      "head": [],
+      "sections": [
+        {
+          "kind": "section",
+          "name": "relationships",
+          "span": {
+            "line": 3,
+            "endLine": 6
+          },
+          "children": [
+            {
+              "kind": "field",
+              "key": "implements",
+              "words": [
+                "implements"
+              ],
+              "value": {
+                "kind": "ref",
+                "discriminator": "contract",
+                "name": "x",
+                "fragment": "REQ-1",
+                "raw": "@contract x#REQ-1"
+              },
+              "span": {
+                "line": 4,
+                "endLine": 4
+              },
+              "children": []
+            },
+            {
+              "kind": "field",
+              "key": "cites",
+              "words": [
+                "cites"
+              ],
+              "value": {
+                "kind": "ref",
+                "discriminator": "law",
+                "name": "y",
+                "fragment": "part-2",
+                "raw": "@law y#part-2"
+              },
+              "when": [
+                "severity",
+                "is",
+                "blocking"
+              ],
+              "span": {
+                "line": 5,
+                "endLine": 5
+              },
+              "children": []
+            },
+            {
+              "kind": "field",
+              "key": "requires",
+              "words": [
+                "requires"
+              ],
+              "value": {
+                "kind": "list",
+                "items": [
+                  {
+                    "kind": "ref",
+                    "discriminator": "law",
+                    "name": "a",
+                    "raw": "@law a"
+                  },
+                  {
+                    "kind": "ref",
+                    "discriminator": "law",
+                    "name": "b",
+                    "fragment": "frag",
+                    "raw": "@law b#frag"
+                  }
+                ]
+              },
+              "span": {
+                "line": 6,
+                "endLine": 6
+              },
+              "children": []
+            }
+          ]
+        }
+      ],
+      "nested": [],
+      "span": {
+        "line": 2,
+        "endLine": 6
+      }
+    }
+  ],
+  "trivia": []
+}

package/fixtures/language/refs/pass/fragments.ia ADDED Viewed

@@ -0,0 +1,6 @@
+#! ia 1.0
+@case c
+  relationships
+    implements @contract x#REQ-1
+    cites @law y#part-2 when severity is blocking
+    requires [@law a, @law b#frag]

package/fixtures/language/registry/fail/category-missing.diagnostics.json ADDED Viewed

	@@ -0,0 +1 @@
1	+ [{ "code": "IA-LANG-REGISTRATION-INCOMPLETE", "line": 6 }]

package/fixtures/language/registry/fail/category-missing.ia ADDED Viewed

@@ -0,0 +1,8 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  discriminators
+    agent lowers to binding
+      facets [head]
+      schema @schema agent

package/fixtures/language/registry/fail/category-unknown.diagnostics.json ADDED Viewed

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

package/fixtures/language/registry/fail/category-unknown.ia ADDED Viewed

@@ -0,0 +1,9 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  discriminators
+    agent lowers to binding
+      category widgets
+      facets [head]
+      schema @schema agent

package/fixtures/language/registry/fail/condition-in-entry.diagnostics.json ADDED Viewed

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

package/fixtures/language/registry/fail/condition-in-entry.ia ADDED Viewed

@@ -0,0 +1,9 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  discriminators
+    agent lowers to binding
+      category capability when phase is act
+      facets [head]
+      schema @schema agent

package/fixtures/language/registry/fail/condition-on-head.diagnostics.json ADDED Viewed

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

package/fixtures/language/registry/fail/condition-on-head.ia ADDED Viewed

@@ -0,0 +1,4 @@
+#! ia 1.0
+@system s
+  provider "p" when phase is act
+  version "1.0.0"

package/fixtures/language/registry/fail/consent-predicate-unknown.diagnostics.json ADDED Viewed

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

package/fixtures/language/registry/fail/consent-predicate-unknown.ia ADDED Viewed

@@ -0,0 +1,6 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  edges
+    cites * using agent

package/fixtures/language/registry/fail/consent-row-malformed.diagnostics.json ADDED Viewed

	@@ -0,0 +1 @@
1	+ [{ "code": "IA-LANG-REGISTRATION-INCOMPLETE", "line": 6 }]

package/fixtures/language/registry/fail/consent-row-malformed.ia ADDED Viewed

@@ -0,0 +1,6 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  edges
+    cite * agent

package/fixtures/language/registry/fail/discriminator-conflict.diagnostics.json ADDED Viewed

	@@ -0,0 +1 @@
1	+ [{ "code": "IA-LANG-DISCRIMINATOR-CONFLICT", "line": 6 }, { "code": "IA-LANG-DISCRIMINATOR-CONFLICT", "line": 14 }]

package/fixtures/language/registry/fail/discriminator-conflict.ia ADDED Viewed

@@ -0,0 +1,21 @@
+#! ia 1.0
+@system a
+  provider "a"
+  version "1.0.0"
+  discriminators
+    law lowers to governance
+      category rule
+      facets [head]
+      schema @schema law
+@system b
+  provider "b"
+  version "1.0.0"
+  discriminators
+    law lowers to governance
+      category rule
+      facets [head]
+      schema @schema law
+@schema law
+  lowers to governance
+  sections
+    closed

package/fixtures/language/registry/fail/entry-malformed.diagnostics.json ADDED Viewed

	@@ -0,0 +1 @@
1	+ [{ "code": "IA-LANG-REGISTRATION-INCOMPLETE", "line": 6 }]

package/fixtures/language/registry/fail/entry-malformed.ia ADDED Viewed

@@ -0,0 +1,6 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  discriminators
+    agent binding

package/fixtures/language/registry/fail/facets-missing.diagnostics.json ADDED Viewed

	@@ -0,0 +1 @@
1	+ [{ "code": "IA-LANG-REGISTRATION-INCOMPLETE", "line": 6 }]

package/fixtures/language/registry/fail/facets-missing.ia ADDED Viewed

@@ -0,0 +1,9 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  discriminators
+    agent lowers to binding
+      category capability
+      facets []
+      schema @schema agent

package/fixtures/language/registry/fail/keyword-reserved.diagnostics.json ADDED Viewed

	@@ -0,0 +1 @@
1	+ [{ "code": "IA-LANG-KEYWORD-RESERVED", "line": 6 }]

package/fixtures/language/registry/fail/keyword-reserved.ia ADDED Viewed

@@ -0,0 +1,9 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  discriminators
+    system lowers to definition
+      category boundary
+      facets [system]
+      schema @schema system

package/fixtures/language/registry/fail/kind-unknown.diagnostics.json ADDED Viewed

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

package/fixtures/language/registry/fail/kind-unknown.ia ADDED Viewed

@@ -0,0 +1,9 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  discriminators
+    agent lowers to widget
+      category capability
+      facets [head]
+      schema @schema agent

package/fixtures/language/registry/fail/provider-missing.diagnostics.json ADDED Viewed

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

package/fixtures/language/registry/fail/provider-missing.ia ADDED Viewed

@@ -0,0 +1,3 @@
+#! ia 1.0
+@system s
+  version "1.0.0"

package/fixtures/language/registry/fail/requires-head-field.diagnostics.json ADDED Viewed

	@@ -0,0 +1 @@
1	+ [{ "code": "IA-LANG-REGISTRATION-INCOMPLETE", "line": 5 }]

package/fixtures/language/registry/fail/requires-head-field.ia ADDED Viewed

@@ -0,0 +1,5 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  requires [taxonomy]

package/fixtures/language/registry/fail/retired-interface.diagnostics.json ADDED Viewed

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-KEYWORD-RESERVED",
+    "line": 6
+  }
+]

package/fixtures/language/registry/fail/retired-interface.ia ADDED Viewed

@@ -0,0 +1,9 @@
+#! ia 1.0
+@system example
+  provider "test"
+  version "1.0.0"
+  discriminators
+    interface lowers to binding
+      category capability
+      facets [head]
+      schema @schema example

package/fixtures/language/registry/fail/retired-protocol.diagnostics.json ADDED Viewed

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-KEYWORD-RESERVED",
+    "line": 6
+  }
+]

package/fixtures/language/registry/fail/retired-protocol.ia ADDED Viewed

@@ -0,0 +1,9 @@
+#! ia 1.0
+@system example
+  provider "test"
+  version "1.0.0"
+  discriminators
+    protocol lowers to binding
+      category capability
+      facets [head]
+      schema @schema example

package/fixtures/language/registry/fail/retired-shape.diagnostics.json ADDED Viewed

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-KEYWORD-RESERVED",
+    "line": 6
+  }
+]

package/fixtures/language/registry/fail/retired-shape.ia ADDED Viewed

@@ -0,0 +1,9 @@
+#! ia 1.0
+@system example
+  provider "test"
+  version "1.0.0"
+  discriminators
+    shape lowers to binding
+      category capability
+      facets [head]
+      schema @schema example

package/fixtures/language/registry/fail/schema-entry-missing.diagnostics.json ADDED Viewed

	@@ -0,0 +1 @@
1	+ [{ "code": "IA-LANG-REGISTRATION-INCOMPLETE", "line": 6 }]

package/fixtures/language/registry/fail/schema-entry-missing.ia ADDED Viewed

@@ -0,0 +1,9 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  discriminators
+    agent lowers to binding
+      category capability
+      facets [head]
+      schema "agent"

package/fixtures/language/registry/fail/schema-kind-mismatch.diagnostics.json ADDED Viewed

	@@ -0,0 +1 @@
1	+ [{ "code": "IA-LANG-SCHEMA-KIND-MISMATCH", "line": 6 }]

package/fixtures/language/registry/fail/schema-kind-mismatch.ia ADDED Viewed

@@ -0,0 +1,13 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  discriminators
+    agent lowers to binding
+      category capability
+      facets [head]
+      schema @schema agent
+@schema agent
+  lowers to policy
+  sections
+    closed

package/fixtures/language/registry/fail/schema-missing.diagnostics.json ADDED Viewed

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

package/fixtures/language/registry/fail/schema-missing.ia ADDED Viewed

@@ -0,0 +1,9 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  discriminators
+    agent lowers to binding
+      category capability
+      facets [head]
+      schema @schema ghost

package/fixtures/language/registry/fail/system-cycle.diagnostics.json ADDED Viewed

	@@ -0,0 +1 @@
1	+ [{ "code": "IA-LANG-SYSTEM-CYCLE", "line": 2 }, { "code": "IA-LANG-SYSTEM-CYCLE", "line": 7 }]

package/fixtures/language/registry/fail/system-cycle.ia ADDED Viewed

@@ -0,0 +1,11 @@
+#! ia 1.0
+@system a
+  provider "a"
+  version "1.0.0"
+  requires
+    - b
+@system b
+  provider "b"
+  version "1.0.0"
+  requires
+    - a

package/fixtures/language/registry/fail/system-missing.diagnostics.json ADDED Viewed

	@@ -0,0 +1 @@
1	+ [{ "code": "IA-LANG-SYSTEM-MISSING", "line": 6 }]

package/fixtures/language/registry/fail/system-missing.ia ADDED Viewed

@@ -0,0 +1,6 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0.0"
+  requires
+    - ghost

package/fixtures/language/registry/fail/version-not-semver.diagnostics.json ADDED Viewed

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

package/fixtures/language/registry/fail/version-not-semver.ia ADDED Viewed

@@ -0,0 +1,4 @@
+#! ia 1.0
+@system s
+  provider "p"
+  version "1.0"

package/fixtures/language/registry/pass/requires-order.ia ADDED Viewed

@@ -0,0 +1,44 @@
+#! ia 1.0
+@system workspace-system
+  provider "workspace-system"
+  version "0.1.0"
+  requires
+    - agent-system
+    - compliance-system
+  discriminators
+    workspace lowers to definition
+      category boundary
+      facets [head]
+      schema @schema workspace
+@system compliance-system
+  provider "compliance-system"
+  version "0.1.0"
+  requires
+    - agent-system
+  discriminators
+    check lowers to check
+      category rule
+      facets [head]
+      schema @schema check
+@system agent-system
+  provider "agent-system"
+  version "0.1.0"
+  requires
+    - taxonomy
+  discriminators
+    agent lowers to binding
+      category capability
+      facets [head]
+      schema @schema agent
+@schema workspace
+  lowers to definition
+  sections
+    closed
+@schema check
+  lowers to check
+  sections
+    closed
+@schema agent
+  lowers to binding
+  sections
+    closed