@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.
- package/LICENSE +202 -0
- package/NOTICE +4 -0
- package/README.md +8 -2
- package/SPEC.md +128 -0
- package/dist/adoption.d.ts +18 -0
- package/dist/adoption.d.ts.map +1 -0
- package/dist/adoption.js +76 -0
- package/dist/adoption.js.map +1 -0
- package/dist/catalog.d.ts +112 -0
- package/dist/catalog.d.ts.map +1 -0
- package/dist/catalog.js +265 -0
- package/dist/catalog.js.map +1 -0
- package/dist/check-ids.d.ts +4 -0
- package/dist/check-ids.d.ts.map +1 -0
- package/dist/check-ids.js +22 -0
- package/dist/check-ids.js.map +1 -0
- package/dist/evidence.d.ts +145 -0
- package/dist/evidence.d.ts.map +1 -0
- package/dist/evidence.js +468 -0
- package/dist/evidence.js.map +1 -0
- package/dist/fixtures.d.ts +29 -0
- package/dist/fixtures.d.ts.map +1 -0
- package/dist/fixtures.js +107 -0
- package/dist/fixtures.js.map +1 -0
- package/dist/graph-checks.d.ts +27 -0
- package/dist/graph-checks.d.ts.map +1 -0
- package/dist/graph-checks.js +184 -0
- package/dist/graph-checks.js.map +1 -0
- package/dist/host-plugin.d.ts +23 -0
- package/dist/host-plugin.d.ts.map +1 -0
- package/dist/host-plugin.js +204 -0
- package/dist/host-plugin.js.map +1 -0
- package/dist/index.d.ts +31 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +18 -0
- package/dist/index.js.map +1 -0
- package/dist/obligations.d.ts +157 -0
- package/dist/obligations.d.ts.map +1 -0
- package/dist/obligations.js +301 -0
- package/dist/obligations.js.map +1 -0
- package/dist/profiles.d.ts +27 -0
- package/dist/profiles.d.ts.map +1 -0
- package/dist/profiles.js +40 -0
- package/dist/profiles.js.map +1 -0
- package/dist/projections.d.ts +51 -0
- package/dist/projections.d.ts.map +1 -0
- package/dist/projections.js +124 -0
- package/dist/projections.js.map +1 -0
- package/dist/record-text.d.ts +26 -0
- package/dist/record-text.d.ts.map +1 -0
- package/dist/record-text.js +73 -0
- package/dist/record-text.js.map +1 -0
- package/dist/report.d.ts +25 -0
- package/dist/report.d.ts.map +1 -0
- package/dist/report.js +80 -0
- package/dist/report.js.map +1 -0
- package/dist/schema.d.ts +23 -0
- package/dist/schema.d.ts.map +1 -0
- package/dist/schema.js +229 -0
- package/dist/schema.js.map +1 -0
- package/dist/shape.d.ts +18 -0
- package/dist/shape.d.ts.map +1 -0
- package/dist/shape.js +106 -0
- package/dist/shape.js.map +1 -0
- package/dist/steward-profile.d.ts +39 -0
- package/dist/steward-profile.d.ts.map +1 -0
- package/dist/steward-profile.js +143 -0
- package/dist/steward-profile.js.map +1 -0
- package/dist/systems.d.ts +11 -0
- package/dist/systems.d.ts.map +1 -0
- package/dist/systems.js +86 -0
- package/dist/systems.js.map +1 -0
- package/dist/types.d.ts +23 -0
- package/dist/types.d.ts.map +1 -0
- package/dist/types.js +92 -0
- package/dist/types.js.map +1 -0
- package/dist/values.d.ts +8 -0
- package/dist/values.d.ts.map +1 -0
- package/dist/values.js +47 -0
- package/dist/values.js.map +1 -0
- package/dist/variants.d.ts +4 -0
- package/dist/variants.d.ts.map +1 -0
- package/dist/variants.js +82 -0
- package/dist/variants.js.map +1 -0
- package/dist/workspace-projection.d.ts +22 -0
- package/dist/workspace-projection.d.ts.map +1 -0
- package/dist/workspace-projection.js +68 -0
- package/dist/workspace-projection.js.map +1 -0
- package/fixtures/language/cases/fail/duplicate-given.diagnostics.json +10 -0
- package/fixtures/language/cases/fail/duplicate-given.ia +72 -0
- package/fixtures/language/cases/fail/given-scalar.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/given-scalar.ia +71 -0
- package/fixtures/language/cases/fail/head-verdict.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/head-verdict.ia +72 -0
- package/fixtures/language/cases/fail/missing-evaluator.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/missing-evaluator.ia +70 -0
- package/fixtures/language/cases/fail/missing-expected.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/missing-expected.ia +70 -0
- package/fixtures/language/cases/fail/missing-given.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/missing-given.ia +70 -0
- package/fixtures/language/cases/fail/missing-kind.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/missing-kind.ia +70 -0
- package/fixtures/language/cases/fail/missing-request.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/missing-request.ia +70 -0
- package/fixtures/language/cases/fail/scenario-conditioned-field.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/scenario-conditioned-field.ia +71 -0
- package/fixtures/language/cases/fail/scenario-verdict.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/scenario-verdict.ia +72 -0
- package/fixtures/language/cases/fail/unbound.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/unbound.ia +71 -0
- package/fixtures/language/cases/fail/unknown-kind.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/unknown-kind.ia +71 -0
- package/fixtures/language/cases/fail/verdict-block.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/verdict-block.ia +73 -0
- package/fixtures/language/cases/fail/wrong-fragment.diagnostics.json +6 -0
- package/fixtures/language/cases/fail/wrong-fragment.ia +71 -0
- package/fixtures/language/cases/pass/all-scenario-kinds.ia +107 -0
- package/fixtures/language/cases/pass/all-scenario-kinds.records.json +1558 -0
- package/fixtures/language/cells/fail/duplicate-phase-sections.diagnostics.json +10 -0
- package/fixtures/language/cells/fail/duplicate-phase-sections.ia +64 -0
- package/fixtures/language/cells/fail/duplicate-primary.diagnostics.json +10 -0
- package/fixtures/language/cells/fail/duplicate-primary.ia +63 -0
- package/fixtures/language/cells/fail/duplicate-primitive.diagnostics.json +10 -0
- package/fixtures/language/cells/fail/duplicate-primitive.ia +63 -0
- package/fixtures/language/cells/fail/legacy-primary-move.diagnostics.json +6 -0
- package/fixtures/language/cells/fail/legacy-primary-move.ia +61 -0
- package/fixtures/language/cells/fail/means-list.diagnostics.json +6 -0
- package/fixtures/language/cells/fail/means-list.ia +61 -0
- package/fixtures/language/cells/fail/means-reference.diagnostics.json +6 -0
- package/fixtures/language/cells/fail/means-reference.ia +61 -0
- package/fixtures/language/cells/fail/means-scalar.diagnostics.json +6 -0
- package/fixtures/language/cells/fail/means-scalar.ia +61 -0
- package/fixtures/language/cells/fail/means-unsupported-child.diagnostics.json +6 -0
- package/fixtures/language/cells/fail/means-unsupported-child.ia +62 -0
- package/fixtures/language/cells/fail/phase-unknown.diagnostics.json +6 -0
- package/fixtures/language/cells/fail/phase-unknown.ia +61 -0
- package/fixtures/language/cells/fail/primary-quoted.diagnostics.json +6 -0
- package/fixtures/language/cells/fail/primary-quoted.ia +61 -0
- package/fixtures/language/cells/fail/primary-requires-means.diagnostics.json +6 -0
- package/fixtures/language/cells/fail/primary-requires-means.ia +61 -0
- package/fixtures/language/cells/fail/primary-unknown.diagnostics.json +6 -0
- package/fixtures/language/cells/fail/primary-unknown.ia +61 -0
- package/fixtures/language/cells/fail/primitive-case.diagnostics.json +6 -0
- package/fixtures/language/cells/fail/primitive-case.ia +61 -0
- package/fixtures/language/cells/fail/primitive-unknown.diagnostics.json +6 -0
- package/fixtures/language/cells/fail/primitive-unknown.ia +61 -0
- package/fixtures/language/cells/fail/unsupported-item.diagnostics.json +6 -0
- package/fixtures/language/cells/fail/unsupported-item.ia +61 -0
- package/fixtures/language/cells/pass/full-opal-grid.ia +92 -0
- package/fixtures/language/cells/pass/full-opal-grid.records.json +1450 -0
- package/fixtures/language/compile/fail/blocked-keyword.diagnostics.json +1 -0
- package/fixtures/language/compile/fail/blocked-keyword.ia +22 -0
- package/fixtures/language/compile/fail/discriminator-unregistered.diagnostics.json +1 -0
- package/fixtures/language/compile/fail/discriminator-unregistered.ia +19 -0
- package/fixtures/language/compile/pass/minimal-floor.ia +22 -0
- package/fixtures/language/compile/pass/minimal-floor.records.json +293 -0
- package/fixtures/language/compile/pass/nested-and-items.ia +27 -0
- package/fixtures/language/compile/pass/nested-and-items.records.json +373 -0
- package/fixtures/language/conditions/fail/conflicting-name.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/conflicting-name.ia +60 -0
- package/fixtures/language/conditions/fail/dangling-and.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/dangling-and.ia +60 -0
- package/fixtures/language/conditions/fail/empty-child.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/empty-child.ia +61 -0
- package/fixtures/language/conditions/fail/misplaced-head.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/misplaced-head.ia +59 -0
- package/fixtures/language/conditions/fail/misplaced-meaning.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/misplaced-meaning.ia +60 -0
- package/fixtures/language/conditions/fail/misplaced-ordinary-deep.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/misplaced-ordinary-deep.ia +61 -0
- package/fixtures/language/conditions/fail/misplaced-phase.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/misplaced-phase.ia +61 -0
- package/fixtures/language/conditions/fail/misplaced-primary.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/misplaced-primary.ia +62 -0
- package/fixtures/language/conditions/fail/misplaced-severity.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/misplaced-severity.ia +60 -0
- package/fixtures/language/conditions/fail/misplaced-standalone.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/misplaced-standalone.ia +60 -0
- package/fixtures/language/conditions/fail/missing-is.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/missing-is.ia +60 -0
- package/fixtures/language/conditions/fail/mixed-carriers.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/mixed-carriers.ia +61 -0
- package/fixtures/language/conditions/fail/quoted-value.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/quoted-value.ia +60 -0
- package/fixtures/language/conditions/fail/repeated-child.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/repeated-child.ia +62 -0
- package/fixtures/language/conditions/fail/repeated-name.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/repeated-name.ia +60 -0
- package/fixtures/language/conditions/fail/schema-when-block.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/schema-when-block.ia +64 -0
- package/fixtures/language/conditions/fail/unknown-term.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/unknown-term.ia +60 -0
- package/fixtures/language/conditions/fail/unknown-value.diagnostics.json +6 -0
- package/fixtures/language/conditions/fail/unknown-value.ia +60 -0
- package/fixtures/language/conditions/pass/all-carriers-and-dimensions.ia +71 -0
- package/fixtures/language/conditions/pass/all-carriers-and-dimensions.records.json +1131 -0
- package/fixtures/language/contracts/fail/duplicate-requirement-records.diagnostics.json +10 -0
- package/fixtures/language/contracts/fail/duplicate-requirement-records.ia +67 -0
- package/fixtures/language/contracts/fail/duplicate-requirement-sections.diagnostics.json +10 -0
- package/fixtures/language/contracts/fail/duplicate-requirement-sections.ia +64 -0
- package/fixtures/language/contracts/fail/extra-word.diagnostics.json +6 -0
- package/fixtures/language/contracts/fail/extra-word.ia +62 -0
- package/fixtures/language/contracts/fail/id-case.diagnostics.json +6 -0
- package/fixtures/language/contracts/fail/id-case.ia +62 -0
- package/fixtures/language/contracts/fail/id-empty.diagnostics.json +6 -0
- package/fixtures/language/contracts/fail/id-empty.ia +62 -0
- package/fixtures/language/contracts/fail/retired-binds.diagnostics.json +6 -0
- package/fixtures/language/contracts/fail/retired-binds.ia +59 -0
- package/fixtures/language/contracts/fail/retired-schema.diagnostics.json +6 -0
- package/fixtures/language/contracts/fail/retired-schema.ia +62 -0
- package/fixtures/language/contracts/fail/text-reference.diagnostics.json +6 -0
- package/fixtures/language/contracts/fail/text-reference.ia +62 -0
- package/fixtures/language/contracts/fail/text-scalar.diagnostics.json +6 -0
- package/fixtures/language/contracts/fail/text-scalar.ia +62 -0
- package/fixtures/language/contracts/fail/unbound.diagnostics.json +6 -0
- package/fixtures/language/contracts/fail/unbound.ia +60 -0
- package/fixtures/language/contracts/fail/unsupported-child.diagnostics.json +6 -0
- package/fixtures/language/contracts/fail/unsupported-child.ia +63 -0
- package/fixtures/language/contracts/pass/all-requirement-kinds.ia +76 -0
- package/fixtures/language/contracts/pass/all-requirement-kinds.records.json +1101 -0
- package/fixtures/language/edges/fail/identity-fragment.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/identity-fragment.ia +60 -0
- package/fixtures/language/edges/fail/identity-kind.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/identity-kind.ia +60 -0
- package/fixtures/language/edges/fail/identity-short.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/identity-short.ia +60 -0
- package/fixtures/language/edges/fail/missing-target.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/missing-target.ia +60 -0
- package/fixtures/language/edges/fail/source-side-unconsented.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/source-side-unconsented.ia +60 -0
- package/fixtures/language/edges/fail/target-absent.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/target-absent.ia +60 -0
- package/fixtures/language/edges/fail/target-ambiguous.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/target-ambiguous.ia +60 -0
- package/fixtures/language/edges/fail/target-ambiguous.pool.json +26 -0
- package/fixtures/language/edges/fail/target-bare.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/target-bare.ia +60 -0
- package/fixtures/language/edges/fail/target-list.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/target-list.ia +60 -0
- package/fixtures/language/edges/fail/target-quoted.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/target-quoted.ia +60 -0
- package/fixtures/language/edges/fail/target-side-unconsented.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/target-side-unconsented.ia +60 -0
- package/fixtures/language/edges/fail/target-trailing-word.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/target-trailing-word.ia +60 -0
- package/fixtures/language/edges/fail/unknown-verb.diagnostics.json +6 -0
- package/fixtures/language/edges/fail/unknown-verb.ia +60 -0
- package/fixtures/language/edges/pass/all-verbs-and-addresses.ia +114 -0
- package/fixtures/language/edges/pass/all-verbs-and-addresses.records.json +2221 -0
- package/fixtures/language/format/fail/lost-comment.candidate.txt +5 -0
- package/fixtures/language/format/fail/lost-comment.diagnostics.json +3 -0
- package/fixtures/language/format/fail/lost-comment.ia +5 -0
- package/fixtures/language/format/pass/token-spacing.ast.json +100 -0
- package/fixtures/language/format/pass/token-spacing.formatted.txt +7 -0
- package/fixtures/language/format/pass/token-spacing.ia +7 -0
- package/fixtures/language/identity/fail/facet-undeclared.diagnostics.json +1 -0
- package/fixtures/language/identity/fail/facet-undeclared.ia +20 -0
- package/fixtures/language/identity/fail/identity-collision.diagnostics.json +1 -0
- package/fixtures/language/identity/fail/identity-collision.ia +20 -0
- package/fixtures/language/identity/pass/facets.ia +21 -0
- package/fixtures/language/identity/pass/facets.records.json +300 -0
- package/fixtures/language/indent/fail/odd-block-with-prose.diagnostics.json +1 -0
- package/fixtures/language/indent/fail/odd-block-with-prose.ia +6 -0
- package/fixtures/language/indent/fail/odd-block.diagnostics.json +1 -0
- package/fixtures/language/indent/fail/odd-block.ia +4 -0
- package/fixtures/language/indent/fail/odd.diagnostics.json +1 -0
- package/fixtures/language/indent/fail/odd.ia +3 -0
- package/fixtures/language/indent/fail/step-block.diagnostics.json +1 -0
- package/fixtures/language/indent/fail/step-block.ia +4 -0
- package/fixtures/language/indent/fail/step-in-block.diagnostics.json +1 -0
- package/fixtures/language/indent/fail/step-in-block.ia +6 -0
- package/fixtures/language/indent/fail/step-under-header.diagnostics.json +1 -0
- package/fixtures/language/indent/fail/step-under-header.ia +3 -0
- package/fixtures/language/indent/fail/tab-block.diagnostics.json +1 -0
- package/fixtures/language/indent/fail/tab-block.ia +5 -0
- package/fixtures/language/indent/fail/tab.diagnostics.json +1 -0
- package/fixtures/language/indent/fail/tab.ia +3 -0
- package/fixtures/language/indent/fail/under-item.diagnostics.json +1 -0
- package/fixtures/language/indent/fail/under-item.ia +5 -0
- package/fixtures/language/indent/pass/blocks.ast.json +127 -0
- package/fixtures/language/indent/pass/blocks.ia +9 -0
- package/fixtures/language/lists/fail/dash-without-value.diagnostics.json +1 -0
- package/fixtures/language/lists/fail/dash-without-value.ia +4 -0
- package/fixtures/language/lists/fail/empty-item.diagnostics.json +1 -0
- package/fixtures/language/lists/fail/empty-item.ia +4 -0
- package/fixtures/language/lists/fail/item-line-list.diagnostics.json +1 -0
- package/fixtures/language/lists/fail/item-line-list.ia +4 -0
- package/fixtures/language/lists/fail/item-line-prose.diagnostics.json +1 -0
- package/fixtures/language/lists/fail/item-line-prose.ia +4 -0
- package/fixtures/language/lists/fail/missing-separator.diagnostics.json +1 -0
- package/fixtures/language/lists/fail/missing-separator.ia +4 -0
- package/fixtures/language/lists/fail/nested-list.diagnostics.json +1 -0
- package/fixtures/language/lists/fail/nested-list.ia +4 -0
- package/fixtures/language/lists/fail/unterminated.diagnostics.json +1 -0
- package/fixtures/language/lists/fail/unterminated.ia +5 -0
- package/fixtures/language/lists/pass/multi-line.ast.json +117 -0
- package/fixtures/language/lists/pass/multi-line.ia +9 -0
- package/fixtures/language/pragma/fail/missing.diagnostics.json +1 -0
- package/fixtures/language/pragma/fail/missing.ia +1 -0
- package/fixtures/language/pragma/fail/unsupported.diagnostics.json +1 -0
- package/fixtures/language/pragma/fail/unsupported.ia +2 -0
- package/fixtures/language/pragma/pass/minimal.ast.json +20 -0
- package/fixtures/language/pragma/pass/minimal.ia +2 -0
- package/fixtures/language/prose/fail/trailing.diagnostics.json +1 -0
- package/fixtures/language/prose/fail/trailing.ia +4 -0
- package/fixtures/language/prose/fail/unterminated.diagnostics.json +1 -0
- package/fixtures/language/prose/fail/unterminated.ia +5 -0
- package/fixtures/language/prose/pass/paragraphs.ast.json +48 -0
- package/fixtures/language/prose/pass/paragraphs.ia +7 -0
- package/fixtures/language/records/fail/head-after-section.diagnostics.json +1 -0
- package/fixtures/language/records/fail/head-after-section.ia +5 -0
- package/fixtures/language/records/fail/header-discriminator-class.diagnostics.json +1 -0
- package/fixtures/language/records/fail/header-discriminator-class.ia +2 -0
- package/fixtures/language/records/fail/header-extra-token.diagnostics.json +1 -0
- package/fixtures/language/records/fail/header-extra-token.ia +2 -0
- package/fixtures/language/records/fail/header-missing-name.diagnostics.json +1 -0
- package/fixtures/language/records/fail/header-missing-name.ia +2 -0
- package/fixtures/language/records/fail/header-name-class.diagnostics.json +1 -0
- package/fixtures/language/records/fail/header-name-class.ia +2 -0
- package/fixtures/language/records/fail/indented-preamble.diagnostics.json +1 -0
- package/fixtures/language/records/fail/indented-preamble.ia +3 -0
- package/fixtures/language/records/fail/item-under-header.diagnostics.json +1 -0
- package/fixtures/language/records/fail/item-under-header.ia +3 -0
- package/fixtures/language/records/fail/nested-under-header.diagnostics.json +1 -0
- package/fixtures/language/records/fail/nested-under-header.ia +3 -0
- package/fixtures/language/records/fail/toplevel.diagnostics.json +1 -0
- package/fixtures/language/records/fail/toplevel.ia +3 -0
- package/fixtures/language/records/pass/full.ast.json +31 -0
- package/fixtures/language/records/pass/full.ia +11 -0
- package/fixtures/language/refs/fail/discriminator-class.diagnostics.json +1 -0
- package/fixtures/language/refs/fail/discriminator-class.ia +4 -0
- package/fixtures/language/refs/fail/name-class.diagnostics.json +1 -0
- package/fixtures/language/refs/fail/name-class.ia +4 -0
- package/fixtures/language/refs/pass/cell-fragment.ast.json +50 -0
- package/fixtures/language/refs/pass/cell-fragment.ia +4 -0
- package/fixtures/language/refs/pass/fragments.ast.json +104 -0
- package/fixtures/language/refs/pass/fragments.ia +6 -0
- package/fixtures/language/registry/fail/category-missing.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/category-missing.ia +8 -0
- package/fixtures/language/registry/fail/category-unknown.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/category-unknown.ia +9 -0
- package/fixtures/language/registry/fail/condition-in-entry.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/condition-in-entry.ia +9 -0
- package/fixtures/language/registry/fail/condition-on-head.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/condition-on-head.ia +4 -0
- package/fixtures/language/registry/fail/consent-predicate-unknown.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/consent-predicate-unknown.ia +6 -0
- package/fixtures/language/registry/fail/consent-row-malformed.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/consent-row-malformed.ia +6 -0
- package/fixtures/language/registry/fail/discriminator-conflict.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/discriminator-conflict.ia +21 -0
- package/fixtures/language/registry/fail/entry-malformed.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/entry-malformed.ia +6 -0
- package/fixtures/language/registry/fail/facets-missing.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/facets-missing.ia +9 -0
- package/fixtures/language/registry/fail/keyword-reserved.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/keyword-reserved.ia +9 -0
- package/fixtures/language/registry/fail/kind-unknown.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/kind-unknown.ia +9 -0
- package/fixtures/language/registry/fail/provider-missing.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/provider-missing.ia +3 -0
- package/fixtures/language/registry/fail/requires-head-field.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/requires-head-field.ia +5 -0
- package/fixtures/language/registry/fail/retired-interface.diagnostics.json +6 -0
- package/fixtures/language/registry/fail/retired-interface.ia +9 -0
- package/fixtures/language/registry/fail/retired-protocol.diagnostics.json +6 -0
- package/fixtures/language/registry/fail/retired-protocol.ia +9 -0
- package/fixtures/language/registry/fail/retired-shape.diagnostics.json +6 -0
- package/fixtures/language/registry/fail/retired-shape.ia +9 -0
- package/fixtures/language/registry/fail/schema-entry-missing.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/schema-entry-missing.ia +9 -0
- package/fixtures/language/registry/fail/schema-kind-mismatch.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/schema-kind-mismatch.ia +13 -0
- package/fixtures/language/registry/fail/schema-missing.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/schema-missing.ia +9 -0
- package/fixtures/language/registry/fail/system-cycle.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/system-cycle.ia +11 -0
- package/fixtures/language/registry/fail/system-missing.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/system-missing.ia +6 -0
- package/fixtures/language/registry/fail/version-not-semver.diagnostics.json +1 -0
- package/fixtures/language/registry/fail/version-not-semver.ia +4 -0
- package/fixtures/language/registry/pass/requires-order.ia +44 -0
- package/fixtures/language/registry/pass/requires-order.records.json +633 -0
- package/fixtures/language/schema/fail/edge-as-field.diagnostics.json +1 -0
- package/fixtures/language/schema/fail/edge-as-field.ia +7 -0
- package/fixtures/language/schema/fail/edge-cardinality-unknown.diagnostics.json +1 -0
- package/fixtures/language/schema/fail/edge-cardinality-unknown.ia +7 -0
- package/fixtures/language/schema/fail/edge-predicate-unknown.diagnostics.json +1 -0
- package/fixtures/language/schema/fail/edge-predicate-unknown.ia +7 -0
- package/fixtures/language/schema/fail/field-form-unknown.diagnostics.json +1 -0
- package/fixtures/language/schema/fail/field-form-unknown.ia +7 -0
- package/fixtures/language/schema/fail/field-path-malformed.diagnostics.json +1 -0
- package/fixtures/language/schema/fail/field-path-malformed.ia +7 -0
- package/fixtures/language/schema/fail/field-set-not-id.diagnostics.json +1 -0
- package/fixtures/language/schema/fail/field-set-not-id.ia +7 -0
- package/fixtures/language/schema/fail/field-type-unknown.diagnostics.json +1 -0
- package/fixtures/language/schema/fail/field-type-unknown.ia +7 -0
- package/fixtures/language/schema/fail/kind-unknown.diagnostics.json +1 -0
- package/fixtures/language/schema/fail/kind-unknown.ia +5 -0
- package/fixtures/language/schema/fail/lowers-to-missing.diagnostics.json +1 -0
- package/fixtures/language/schema/fail/lowers-to-missing.ia +4 -0
- package/fixtures/language/schema/fail/sections-unclosed.diagnostics.json +1 -0
- package/fixtures/language/schema/fail/sections-unclosed.ia +5 -0
- package/fixtures/language/schema/pass/field-narrowing.ia +13 -0
- package/fixtures/language/schema/pass/field-narrowing.records.json +170 -0
- package/fixtures/language/schema/pass/full-dialect.ia +16 -0
- package/fixtures/language/schema/pass/full-dialect.records.json +179 -0
- package/fixtures/language/selectors/fail/child-condition.diagnostics.json +6 -0
- package/fixtures/language/selectors/fail/child-condition.ia +61 -0
- package/fixtures/language/selectors/fail/dangling-and.diagnostics.json +6 -0
- package/fixtures/language/selectors/fail/dangling-and.ia +60 -0
- package/fixtures/language/selectors/fail/dimension-not-axis.diagnostics.json +6 -0
- package/fixtures/language/selectors/fail/dimension-not-axis.ia +60 -0
- package/fixtures/language/selectors/fail/missing-is.diagnostics.json +6 -0
- package/fixtures/language/selectors/fail/missing-is.ia +60 -0
- package/fixtures/language/selectors/fail/quoted-value.diagnostics.json +6 -0
- package/fixtures/language/selectors/fail/quoted-value.ia +60 -0
- package/fixtures/language/selectors/fail/repeated-axis.diagnostics.json +6 -0
- package/fixtures/language/selectors/fail/repeated-axis.ia +60 -0
- package/fixtures/language/selectors/fail/unknown-axis.diagnostics.json +6 -0
- package/fixtures/language/selectors/fail/unknown-axis.ia +60 -0
- package/fixtures/language/selectors/fail/unknown-value.diagnostics.json +6 -0
- package/fixtures/language/selectors/fail/unknown-value.ia +60 -0
- package/fixtures/language/selectors/fail/wrong-grammar-case.diagnostics.json +6 -0
- package/fixtures/language/selectors/fail/wrong-grammar-case.ia +60 -0
- package/fixtures/language/selectors/pass/all-axes-canonical-values.ia +136 -0
- package/fixtures/language/selectors/pass/all-axes-canonical-values.records.json +2437 -0
- package/fixtures/language/strings/fail/unterminated-block.diagnostics.json +1 -0
- package/fixtures/language/strings/fail/unterminated-block.ia +6 -0
- package/fixtures/language/strings/fail/unterminated.diagnostics.json +1 -0
- package/fixtures/language/strings/fail/unterminated.ia +4 -0
- package/fixtures/language/strings/pass/structural-words.ast.json +21 -0
- package/fixtures/language/strings/pass/structural-words.ia +4 -0
- package/fixtures/language/values/fail/key-missing.diagnostics.json +1 -0
- package/fixtures/language/values/fail/key-missing.ia +4 -0
- package/fixtures/language/values/fail/trailing.diagnostics.json +1 -0
- package/fixtures/language/values/fail/trailing.ia +4 -0
- package/fixtures/language/values/fail/when-empty.diagnostics.json +1 -0
- package/fixtures/language/values/fail/when-empty.ia +4 -0
- package/fixtures/language/values/fail/when-list.diagnostics.json +1 -0
- package/fixtures/language/values/fail/when-list.ia +4 -0
- package/fixtures/language/values/pass/forms.ast.json +177 -0
- package/fixtures/language/values/pass/forms.ia +11 -0
- package/fixtures/language/variants/fail/duplicate-canonical-conjunction.diagnostics.json +14 -0
- package/fixtures/language/variants/fail/duplicate-canonical-conjunction.ia +63 -0
- package/fixtures/language/variants/fail/duplicate-fallback.diagnostics.json +10 -0
- package/fixtures/language/variants/fail/duplicate-fallback.ia +61 -0
- package/fixtures/language/variants/pass/fallback-and-coordinate-families.ia +65 -0
- package/fixtures/language/variants/pass/fallback-and-coordinate-families.records.json +971 -0
- package/fixtures/loop/.ia/src/blocking.ia +8 -0
- package/fixtures/loop/.ia/src/choice-a.ia +9 -0
- package/fixtures/loop/.ia/src/choice-b.ia +9 -0
- package/fixtures/loop/.ia/src/declared-decision.ia +12 -0
- package/fixtures/loop/.ia/src/fallback.ia +9 -0
- package/fixtures/loop/.ia/src/floor/artifact-set.ia +65 -0
- package/fixtures/loop/.ia/src/floor/axis.ia +74 -0
- package/fixtures/loop/.ia/src/floor/cardinality.ia +23 -0
- package/fixtures/loop/.ia/src/floor/category.ia +107 -0
- package/fixtures/loop/.ia/src/floor/dimension.ia +29 -0
- package/fixtures/loop/.ia/src/floor/floor.schema.ia +23 -0
- package/fixtures/loop/.ia/src/floor/intent-shape.ia +73 -0
- package/fixtures/loop/.ia/src/floor/kernel.schema.ia +173 -0
- package/fixtures/loop/.ia/src/floor/kind.ia +59 -0
- package/fixtures/loop/.ia/src/floor/lane.ia +44 -0
- package/fixtures/loop/.ia/src/floor/move.ia +37 -0
- package/fixtures/loop/.ia/src/floor/phase.ia +30 -0
- package/fixtures/loop/.ia/src/floor/placement.ia +42 -0
- package/fixtures/loop/.ia/src/floor/predicate.ia +164 -0
- package/fixtures/loop/.ia/src/floor/primitive.ia +50 -0
- package/fixtures/loop/.ia/src/floor/taxonomy.system.ia +67 -0
- package/fixtures/loop/.ia/src/floor/value-type.ia +44 -0
- package/fixtures/loop/.ia/src/systems/agent-system/records/foreign.ia +9 -0
- package/fixtures/loop/.ia/src/systems/agent-system/records/sample-mandate.ia +8 -0
- package/fixtures/loop/.ia/src/systems/agent-system/schemas/agent.schema.ia +13 -0
- package/fixtures/loop/.ia/src/systems/agent-system/schemas/mandate.schema.ia +12 -0
- package/fixtures/loop/.ia/src/systems/agent-system/steward.ia +9 -0
- package/fixtures/loop/.ia/src/systems/agent-system/system.ia +25 -0
- package/fixtures/loop/.ia/src/systems/compliance-system/cases/foreign-vocabulary.ia +14 -0
- package/fixtures/loop/.ia/src/systems/compliance-system/cases/missing-required-field.ia +14 -0
- package/fixtures/loop/.ia/src/systems/compliance-system/cases/valid-native-record.ia +15 -0
- package/fixtures/loop/.ia/src/systems/compliance-system/checks/instance-schema-check.ia +13 -0
- package/fixtures/loop/.ia/src/systems/compliance-system/contracts/foundation-authoring-contract.ia +15 -0
- package/fixtures/loop/.ia/src/systems/compliance-system/schemas/case.schema.ia +17 -0
- package/fixtures/loop/.ia/src/systems/compliance-system/schemas/check.schema.ia +15 -0
- package/fixtures/loop/.ia/src/systems/compliance-system/schemas/contract.schema.ia +20 -0
- package/fixtures/loop/.ia/src/systems/compliance-system/steward.ia +9 -0
- package/fixtures/loop/.ia/src/systems/compliance-system/system.ia +29 -0
- package/fixtures/loop/.ia/src/systems/governance-system/records/sample-convention.ia +9 -0
- package/fixtures/loop/.ia/src/systems/governance-system/records/sample-principle.ia +9 -0
- package/fixtures/loop/.ia/src/systems/governance-system/records/sample-procedure.ia +44 -0
- package/fixtures/loop/.ia/src/systems/governance-system/records/sample-rule.ia +13 -0
- package/fixtures/loop/.ia/src/systems/governance-system/schemas/convention.schema.ia +13 -0
- package/fixtures/loop/.ia/src/systems/governance-system/schemas/law.schema.ia +13 -0
- package/fixtures/loop/.ia/src/systems/governance-system/schemas/playbook.schema.ia +14 -0
- package/fixtures/loop/.ia/src/systems/governance-system/schemas/principle.schema.ia +13 -0
- package/fixtures/loop/.ia/src/systems/governance-system/steward.ia +9 -0
- package/fixtures/loop/.ia/src/systems/governance-system/system.ia +35 -0
- package/fixtures/loop/.ia/src/systems/session-system/records/sample-session.ia +10 -0
- package/fixtures/loop/.ia/src/systems/session-system/schemas/run.schema.ia +15 -0
- package/fixtures/loop/.ia/src/systems/session-system/steward.ia +9 -0
- package/fixtures/loop/.ia/src/systems/session-system/system.ia +23 -0
- package/fixtures/loop/.ia/src/systems/workspace-system/records/foundation-distribution.ia +8 -0
- package/fixtures/loop/.ia/src/systems/workspace-system/records/foundation-workspace.ia +10 -0
- package/fixtures/loop/.ia/src/systems/workspace-system/schemas/distribution.schema.ia +13 -0
- package/fixtures/loop/.ia/src/systems/workspace-system/schemas/workspace.schema.ia +13 -0
- package/fixtures/loop/.ia/src/systems/workspace-system/steward.ia +9 -0
- package/fixtures/loop/.ia/src/systems/workspace-system/system.ia +26 -0
- package/fixtures/loop/README.md +3 -0
- package/fixtures/loop/SPEC.md +9 -0
- package/fixtures/refusals.ts +434 -0
- package/package.json +129 -3
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@schema contract
|
|
4
|
+
lowers to contract
|
|
5
|
+
sections
|
|
6
|
+
must have meaning
|
|
7
|
+
must have relationships
|
|
8
|
+
may have inputs
|
|
9
|
+
may have outputs
|
|
10
|
+
may have preconditions
|
|
11
|
+
may have invariants
|
|
12
|
+
may have failures
|
|
13
|
+
may have authority
|
|
14
|
+
may have context
|
|
15
|
+
may have evolution
|
|
16
|
+
closed
|
|
17
|
+
fields
|
|
18
|
+
must have meaning.says as text
|
|
19
|
+
must have meaning.answers as text
|
|
20
|
+
must have head.version as text
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@agent compliance-steward
|
|
4
|
+
meaning
|
|
5
|
+
says "The designated expert for declared obligations, evaluators and scenario evidence."
|
|
6
|
+
answers "Who owns the vocabulary and authoring method of compliance-system?"
|
|
7
|
+
governance
|
|
8
|
+
applies [contract, check, case]
|
|
9
|
+
requires "Use the owning schema and the current spec, plan and validation evidence before changing this system."
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@system compliance-system
|
|
4
|
+
provider "inventarch.foundation"
|
|
5
|
+
version "0.1.0"
|
|
6
|
+
describes "Declared obligations, evaluators and scenario evidence"
|
|
7
|
+
steward @agent compliance-steward
|
|
8
|
+
requires
|
|
9
|
+
- agent-system
|
|
10
|
+
discriminators
|
|
11
|
+
contract lowers to contract
|
|
12
|
+
category relation
|
|
13
|
+
facets [signature]
|
|
14
|
+
schema @schema contract
|
|
15
|
+
check lowers to check
|
|
16
|
+
category rule
|
|
17
|
+
facets [gate]
|
|
18
|
+
schema @schema check
|
|
19
|
+
case lowers to definition
|
|
20
|
+
category evidence
|
|
21
|
+
facets [scenario]
|
|
22
|
+
schema @schema case
|
|
23
|
+
edges
|
|
24
|
+
cite * using *
|
|
25
|
+
govern * using *
|
|
26
|
+
enforce * using *
|
|
27
|
+
implement * using *
|
|
28
|
+
require * using *
|
|
29
|
+
use * using *
|
|
@@ -0,0 +1,44 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@playbook sample-procedure
|
|
4
|
+
meaning
|
|
5
|
+
says "Sample fixture statement 1."
|
|
6
|
+
answers "Sample fixture statement 2."
|
|
7
|
+
cognition
|
|
8
|
+
orient
|
|
9
|
+
primary Memory
|
|
10
|
+
Memory means "Sample fixture statement 3."
|
|
11
|
+
Attention means "Sample fixture statement 4."
|
|
12
|
+
Inference means "Sample fixture statement 5."
|
|
13
|
+
Decision means "Sample fixture statement 6."
|
|
14
|
+
Escalation means "Sample fixture statement 7."
|
|
15
|
+
Learning means "Sample fixture statement 8."
|
|
16
|
+
plan
|
|
17
|
+
primary Inference
|
|
18
|
+
Memory means "Sample fixture statement 9."
|
|
19
|
+
Attention means "Sample fixture statement 10."
|
|
20
|
+
Inference means "Sample fixture statement 11."
|
|
21
|
+
Decision means "Sample fixture statement 12."
|
|
22
|
+
Escalation means "Sample fixture statement 13."
|
|
23
|
+
Learning means "Sample fixture statement 14."
|
|
24
|
+
act
|
|
25
|
+
primary Decision
|
|
26
|
+
Memory means "Sample fixture statement 15."
|
|
27
|
+
Attention means "Sample fixture statement 16."
|
|
28
|
+
Inference means "Sample fixture statement 17."
|
|
29
|
+
Decision means "Sample fixture statement 18."
|
|
30
|
+
Escalation means "Sample fixture statement 19."
|
|
31
|
+
Learning means "Sample fixture statement 20."
|
|
32
|
+
learn
|
|
33
|
+
primary Learning
|
|
34
|
+
Memory means "Sample fixture statement 21."
|
|
35
|
+
Attention means "Sample fixture statement 22."
|
|
36
|
+
Inference means "Sample fixture statement 23."
|
|
37
|
+
Decision means "Sample fixture statement 24."
|
|
38
|
+
Escalation means "Sample fixture statement 25."
|
|
39
|
+
Learning means "Sample fixture statement 26."
|
|
40
|
+
activation
|
|
41
|
+
activate when category is process
|
|
42
|
+
relationships
|
|
43
|
+
cites @law sample-rule
|
|
44
|
+
uses @check instance-schema-check
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@law sample-rule
|
|
4
|
+
meaning
|
|
5
|
+
says "Sample fixture statement 1."
|
|
6
|
+
answers "Sample fixture statement 2."
|
|
7
|
+
governance
|
|
8
|
+
severity advisory
|
|
9
|
+
requires "Sample fixture statement 3."
|
|
10
|
+
requires "Sample fixture statement 4."
|
|
11
|
+
when primitive is Memory and severity is blocking
|
|
12
|
+
relationships
|
|
13
|
+
enforced-by @check instance-schema-check when phase is act and severity is blocking
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@schema convention
|
|
4
|
+
lowers to governance
|
|
5
|
+
sections
|
|
6
|
+
must have meaning
|
|
7
|
+
must have governance
|
|
8
|
+
may have relationships
|
|
9
|
+
closed
|
|
10
|
+
fields
|
|
11
|
+
must have meaning.says as text
|
|
12
|
+
must have meaning.answers as text
|
|
13
|
+
must have governance.severity as id
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@schema law
|
|
4
|
+
lowers to governance
|
|
5
|
+
sections
|
|
6
|
+
must have meaning
|
|
7
|
+
must have governance
|
|
8
|
+
may have relationships
|
|
9
|
+
closed
|
|
10
|
+
fields
|
|
11
|
+
must have meaning.says as text
|
|
12
|
+
must have meaning.answers as text
|
|
13
|
+
must have governance.severity as id
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@schema playbook
|
|
4
|
+
lowers to definition
|
|
5
|
+
sections
|
|
6
|
+
must have meaning
|
|
7
|
+
must have cognition
|
|
8
|
+
may have relationships
|
|
9
|
+
may have activation
|
|
10
|
+
closed
|
|
11
|
+
fields
|
|
12
|
+
must have meaning.says as text
|
|
13
|
+
must have meaning.answers as text
|
|
14
|
+
may have meaning.category as text
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@schema principle
|
|
4
|
+
lowers to governance
|
|
5
|
+
sections
|
|
6
|
+
must have meaning
|
|
7
|
+
must have governance
|
|
8
|
+
may have relationships
|
|
9
|
+
closed
|
|
10
|
+
fields
|
|
11
|
+
must have meaning.says as text
|
|
12
|
+
must have meaning.answers as text
|
|
13
|
+
must have governance.severity as id
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@agent governance-steward
|
|
4
|
+
meaning
|
|
5
|
+
says "The designated expert for rules and practical methods for governed authoring."
|
|
6
|
+
answers "Who owns the vocabulary and authoring method of governance-system?"
|
|
7
|
+
governance
|
|
8
|
+
applies [law, principle, convention, playbook]
|
|
9
|
+
requires "Use the owning schema and the current spec, plan and validation evidence before changing this system."
|
|
@@ -0,0 +1,35 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@system governance-system
|
|
4
|
+
provider "inventarch.foundation"
|
|
5
|
+
version "0.1.0"
|
|
6
|
+
describes "Rules and practical methods for governed authoring"
|
|
7
|
+
steward @agent governance-steward
|
|
8
|
+
requires
|
|
9
|
+
- agent-system
|
|
10
|
+
- compliance-system
|
|
11
|
+
- workspace-system
|
|
12
|
+
discriminators
|
|
13
|
+
law lowers to governance
|
|
14
|
+
category rule
|
|
15
|
+
facets [law]
|
|
16
|
+
schema @schema law
|
|
17
|
+
principle lowers to governance
|
|
18
|
+
category rule
|
|
19
|
+
facets [principle]
|
|
20
|
+
schema @schema principle
|
|
21
|
+
convention lowers to governance
|
|
22
|
+
category rule
|
|
23
|
+
facets [convention]
|
|
24
|
+
schema @schema convention
|
|
25
|
+
playbook lowers to definition
|
|
26
|
+
category process
|
|
27
|
+
facets [procedure]
|
|
28
|
+
schema @schema playbook
|
|
29
|
+
edges
|
|
30
|
+
cite * using *
|
|
31
|
+
govern * using *
|
|
32
|
+
enforce * using *
|
|
33
|
+
implement * using *
|
|
34
|
+
require * using *
|
|
35
|
+
use * using *
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@schema run
|
|
4
|
+
lowers to definition
|
|
5
|
+
sections
|
|
6
|
+
must have meaning
|
|
7
|
+
must have execution
|
|
8
|
+
may have relationships
|
|
9
|
+
closed
|
|
10
|
+
fields
|
|
11
|
+
must have meaning.says as text
|
|
12
|
+
must have meaning.answers as text
|
|
13
|
+
must have execution.status as id
|
|
14
|
+
must have execution.phase as id
|
|
15
|
+
must have execution.owner as ref
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@agent session-steward
|
|
4
|
+
meaning
|
|
5
|
+
says "The designated expert for identity and declared state of governed runs."
|
|
6
|
+
answers "Who owns the vocabulary and authoring method of session-system?"
|
|
7
|
+
governance
|
|
8
|
+
applies [run]
|
|
9
|
+
requires "Use the owning schema and the current spec, plan and validation evidence before changing this system."
|
|
@@ -0,0 +1,23 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@system session-system
|
|
4
|
+
provider "inventarch.foundation"
|
|
5
|
+
version "0.1.0"
|
|
6
|
+
describes "Identity and declared state of governed runs"
|
|
7
|
+
steward @agent session-steward
|
|
8
|
+
requires
|
|
9
|
+
- agent-system
|
|
10
|
+
- workspace-system
|
|
11
|
+
- governance-system
|
|
12
|
+
discriminators
|
|
13
|
+
run lowers to definition
|
|
14
|
+
category event
|
|
15
|
+
facets [run]
|
|
16
|
+
schema @schema run
|
|
17
|
+
edges
|
|
18
|
+
cite * using *
|
|
19
|
+
govern * using *
|
|
20
|
+
enforce * using *
|
|
21
|
+
implement * using *
|
|
22
|
+
require * using *
|
|
23
|
+
use * using *
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@workspace foundation-workspace
|
|
4
|
+
meaning
|
|
5
|
+
says "The work boundary composing the five foundational systems."
|
|
6
|
+
answers "Which systems support foundation authoring?"
|
|
7
|
+
composition
|
|
8
|
+
systems [@system agent-system, @system compliance-system, @system workspace-system, @system governance-system, @system session-system]
|
|
9
|
+
relationships
|
|
10
|
+
requires @contract foundation-authoring-contract
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@schema distribution
|
|
4
|
+
lowers to definition
|
|
5
|
+
sections
|
|
6
|
+
must have meaning
|
|
7
|
+
must have distribution
|
|
8
|
+
may have relationships
|
|
9
|
+
closed
|
|
10
|
+
fields
|
|
11
|
+
must have meaning.says as text
|
|
12
|
+
must have meaning.answers as text
|
|
13
|
+
must have distribution.records as list of ref
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@schema workspace
|
|
4
|
+
lowers to definition
|
|
5
|
+
sections
|
|
6
|
+
must have meaning
|
|
7
|
+
must have composition
|
|
8
|
+
may have relationships
|
|
9
|
+
closed
|
|
10
|
+
fields
|
|
11
|
+
must have meaning.says as text
|
|
12
|
+
must have meaning.answers as text
|
|
13
|
+
must have composition.systems as list of ref
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@agent workspace-steward
|
|
4
|
+
meaning
|
|
5
|
+
says "The designated expert for composed work boundaries and distributable record closures."
|
|
6
|
+
answers "Who owns the vocabulary and authoring method of workspace-system?"
|
|
7
|
+
governance
|
|
8
|
+
applies [workspace, distribution]
|
|
9
|
+
requires "Use the owning schema and the current spec, plan and validation evidence before changing this system."
|
|
@@ -0,0 +1,26 @@
|
|
|
1
|
+
#! ia 1.0
|
|
2
|
+
|
|
3
|
+
@system workspace-system
|
|
4
|
+
provider "inventarch.foundation"
|
|
5
|
+
version "0.1.0"
|
|
6
|
+
describes "Composed work boundaries and distributable record closures"
|
|
7
|
+
steward @agent workspace-steward
|
|
8
|
+
requires
|
|
9
|
+
- agent-system
|
|
10
|
+
- compliance-system
|
|
11
|
+
discriminators
|
|
12
|
+
workspace lowers to definition
|
|
13
|
+
category boundary
|
|
14
|
+
facets [workspace]
|
|
15
|
+
schema @schema workspace
|
|
16
|
+
distribution lowers to definition
|
|
17
|
+
category representation
|
|
18
|
+
facets [distribution]
|
|
19
|
+
schema @schema distribution
|
|
20
|
+
edges
|
|
21
|
+
cite * using *
|
|
22
|
+
govern * using *
|
|
23
|
+
enforce * using *
|
|
24
|
+
implement * using *
|
|
25
|
+
require * using *
|
|
26
|
+
use * using *
|
|
@@ -0,0 +1,3 @@
|
|
|
1
|
+
# Native loop acceptance tree
|
|
2
|
+
|
|
3
|
+
Input data for the cross-package acceptance in systems section12 and graph section12. [SPEC.md](SPEC.md) states the deliberate additions and expected failures. The `.ia/src` files were copied from this repository's native corpus at c41d9ff, then given the fixture changes listed there. Runtime tests copy the tree to a bounded temporary directory before mutating it. The single foreign playbook is intentionally invalid at its location.
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
# Native loop fixture contract
|
|
2
|
+
|
|
3
|
+
F01. This tree copies the native floor and five-system IA sources at c41d9ff, with the same registration/schema/compiler path. It is test data, not a new vocabulary provider. The existing authoring procedure retains its full24cells. The sample-rule law becomes advisory so request severity can raise it. Add one unconditional blocking law, a fallback-only procedure, a declared-category procedure with an unrelated category gloss, and two equal act/Decision choices. A deliberately foreign playbook sits inside agent-system and must be refused independently.
|
|
4
|
+
|
|
5
|
+
F02. Runtime loop tests open temporary copies, assert158admitted records and exactly the foreign-record structural error, inspect explicit unavailable adoption/build/fixture evidence, remove/restore agent schema registration, deliver exact/primary/variant/gated-edge behavior, refuse ties/missing axes, remove a case to fail coverage, mutate a requirement fragment to fail existence, and exercise cache/source identity changes. Mutations never edit this checked-in fixture. Hook allow/deny is added under the separate host's contract; its built launcher now exercises owner success and other/missing identity refusal.
|
|
6
|
+
|
|
7
|
+
F03. The fixture's contract/cases assert structural coverage only. No scenario declaration is an execution receipt. Test output and diagnostic fixture observations are the executed evidence. The copied floor sources remain independent of donor repositories.
|
|
8
|
+
|
|
9
|
+
Executed at runtime Task3: all non-hook rows pass in packages/runtime/tests/loop.test.ts and the connected context/select/door suites. Six native-loop door refusal scenarios also run in tools/compliance/runtime-fixtures.ts. Task5 completes the hook row in apps/steward-hook/tests/hook.test.ts; six built hook refusals also run in tools/compliance/hook-fixtures.ts. Database acceptance supplies independent kernel/system/record cache mutation evidence. All nine rows now have executed observations.
|