@inventarch/compliance 0.0.0-stage → 1.0.0

package/fixtures/language/cases/fail/missing-expected.ia

@@ -0,0 +1,70 @@
+#! 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
+@case example
+  scenario
+    kind success
+    given "input"
+    request "act"
+    evaluator "reviewer"
+  relationships
+    implements @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

package/fixtures/language/cases/fail/missing-given.diagnostics.json

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

package/fixtures/language/cases/fail/missing-given.ia

@@ -0,0 +1,70 @@
+#! 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
+@case example
+  scenario
+    kind success
+    request "act"
+    expected "output"
+    evaluator "reviewer"
+  relationships
+    implements @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

package/fixtures/language/cases/fail/missing-kind.diagnostics.json

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

package/fixtures/language/cases/fail/missing-kind.ia

@@ -0,0 +1,70 @@
+#! 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
+@case example
+  scenario
+    given "input"
+    request "act"
+    expected "output"
+    evaluator "reviewer"
+  relationships
+    implements @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

package/fixtures/language/cases/fail/missing-request.diagnostics.json

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

package/fixtures/language/cases/fail/missing-request.ia

@@ -0,0 +1,70 @@
+#! 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
+@case example
+  scenario
+    kind success
+    given "input"
+    expected "output"
+    evaluator "reviewer"
+  relationships
+    implements @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

package/fixtures/language/cases/fail/scenario-conditioned-field.diagnostics.json

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

package/fixtures/language/cases/fail/scenario-conditioned-field.ia

@@ -0,0 +1,71 @@
+#! 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
+@case example
+  scenario
+    kind success
+    given "input" when phase is act
+    request "act"
+    expected "output"
+    evaluator "reviewer"
+  relationships
+    implements @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

package/fixtures/language/cases/fail/scenario-verdict.diagnostics.json

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

package/fixtures/language/cases/fail/scenario-verdict.ia

@@ -0,0 +1,72 @@
+#! 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
+@case example
+  scenario
+    kind success
+    given "input"
+    request "act"
+    expected "output"
+    evaluator "reviewer"
+    verdict "pass"
+  relationships
+    implements @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

package/fixtures/language/cases/fail/unbound.diagnostics.json

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-CASE-UNBOUND",
+    "line": 58
+  }
+]

package/fixtures/language/cases/fail/unbound.ia

@@ -0,0 +1,71 @@
+#! 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
+@case example
+  scenario
+    kind success
+    given "input"
+    request "act"
+    expected "output"
+    evaluator "reviewer"
+  relationships
+    cites @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

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

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

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

@@ -0,0 +1,71 @@
+#! 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
+@case example
+  scenario
+    kind unknown
+    given "input"
+    request "act"
+    expected "output"
+    evaluator "reviewer"
+  relationships
+    implements @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

package/fixtures/language/cases/fail/verdict-block.diagnostics.json

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

package/fixtures/language/cases/fail/verdict-block.ia

@@ -0,0 +1,73 @@
+#! 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
+@case example
+  scenario
+    kind success
+    given "input"
+    request "act"
+    expected "output"
+    evaluator "reviewer"
+  verdict
+    outcome "pass"
+  relationships
+    implements @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

package/fixtures/language/cases/fail/wrong-fragment.diagnostics.json

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-CASE-UNBOUND",
+    "line": 58
+  }
+]