@inventarch/compliance 0.0.0-stage → 1.0.0

package/fixtures/loop/.ia/src/floor/lane.ia

@@ -0,0 +1,44 @@
+#! ia 1.0
+
+@lane authority
+  meaning
+    says "The authority lane — where governance and authority-facet contracts land: the rules and bindings that say what must hold. Derived from @kind governance and @kind contract (authority facet)."
+    answers "Does this node lower into the authority lane?"
+  data
+    order 0
+
+@lane contracts
+  meaning
+    says "The contracts lane — where non-authority contracts land: the agreed shapes and interfaces records fill. Derived from @kind contract (non-authority facet)."
+    answers "Does this node lower into the contracts lane?"
+  data
+    order 1
+
+@lane definitions
+  meaning
+    says "The definitions lane — where definitional nodes land: the declarations of what things ARE. Derived from @kind definition."
+    answers "Does this node lower into the definitions lane?"
+  data
+    order 2
+
+@lane templates
+  meaning
+    says "The templates lane — where reusable scaffolds land: the parameterized shapes instantiated into concrete records. Derived from @kind template."
+    answers "Does this node lower into the templates lane?"
+  data
+    order 3
+
+@lane enforcement
+  meaning
+    says "The enforcement lane — where gates and access rules land: the checks and policies evaluated at a crossing. Derived from @kind check and @kind policy."
+    answers "Does this node lower into the enforcement lane?"
+  data
+    order 4
+
+@lane bindings
+  meaning
+    says "The bindings lane — where wirings land: the projection edges that materialize a record into a host, store, or hook. Derived from @kind binding."
+    answers "Does this node lower into the bindings lane?"
+  data
+    order 5
+

package/fixtures/loop/.ia/src/floor/move.ia

@@ -0,0 +1,37 @@
+#! ia 1.0
+
+@move Observation
+  meaning
+    says "Take in what is actually there — the move that reads state without changing it."
+    answers "Is this routed to where something is looked at rather than acted on?"
+  data
+    order 0
+
+@move Execution
+  meaning
+    says "Carry out the authorized action — the move that changes state."
+    answers "Is this routed to where work is performed?"
+  data
+    order 1
+
+@move Delegation
+  meaning
+    says "Hand bounded work to another actor — the move that transfers responsibility, not authority."
+    answers "Is this routed to where work is given to someone else?"
+  data
+    order 2
+
+@move Synthesis
+  meaning
+    says "Combine separate findings into one account — the move that produces a whole from parts."
+    answers "Is this routed to where pieces are drawn together?"
+  data
+    order 3
+
+@move Verification
+  meaning
+    says "Check a claim against evidence — the move that decides whether something holds."
+    answers "Is this routed to where a claim is tested?"
+  data
+    order 4
+

package/fixtures/loop/.ia/src/floor/phase.ia

@@ -0,0 +1,30 @@
+#! ia 1.0
+
+@phase orient
+  meaning
+    says "Establish the objective, context and constraints before selecting work."
+    answers "What does orient designate in the phase domain?"
+  data
+    order 0
+
+@phase plan
+  meaning
+    says "Derive a bounded approach and the evidence that will establish its result."
+    answers "What does plan designate in the phase domain?"
+  data
+    order 1
+
+@phase act
+  meaning
+    says "Perform the authorized work and observe its actual effects."
+    answers "What does act designate in the phase domain?"
+  data
+    order 2
+
+@phase learn
+  meaning
+    says "Compare the outcome with the intent and retain attributable knowledge."
+    answers "What does learn designate in the phase domain?"
+  data
+    order 3
+

package/fixtures/loop/.ia/src/floor/placement.ia

@@ -0,0 +1,42 @@
+#! ia 1.0
+
+@placement authored
+  meaning
+    says "Local authored material at authority band 100."
+    answers "What does authored designate in the placement domain?"
+  data
+    order 0
+    band 100
+
+@placement adopted
+  meaning
+    says "Explicitly adopted material at authority band 90."
+    answers "What does adopted designate in the placement domain?"
+  data
+    order 1
+    band 90
+
+@placement open
+  meaning
+    says "Visible but unadopted material at authority band 50."
+    answers "What does open designate in the placement domain?"
+  data
+    order 2
+    band 50
+
+@placement floor
+  meaning
+    says "Bootstrap foundation material at authority band 10."
+    answers "What does floor designate in the placement domain?"
+  data
+    order 3
+    band 10
+
+@placement runtime
+  meaning
+    says "Run-produced material at authority band 0."
+    answers "What does runtime designate in the placement domain?"
+  data
+    order 4
+    band 0
+

package/fixtures/loop/.ia/src/floor/predicate.ia

@@ -0,0 +1,164 @@
+#! ia 1.0
+
+@predicate govern
+  meaning
+    says "X governs Y — Y is subject to X's authority and rules (inverse: governed-by). The authority edge."
+    answers "Is this edge an authority relation?"
+  data
+    order 0
+    inverse governed-by
+    phrase "governs"
+
+@predicate enforce
+  meaning
+    says "X enforces Y — X actively applies or checks Y at a crossing (inverse: enforced-by). The enforcement edge."
+    answers "Is this edge an enforcement relation?"
+  data
+    order 1
+    inverse enforced-by
+    phrase "enforces"
+
+@predicate ground
+  meaning
+    says "X grounds Y — X is the evidence or basis Y rests on (inverse: grounded-by). The grounding edge."
+    answers "Is this edge a grounding relation?"
+  data
+    order 2
+    inverse grounded-by
+    phrase "grounds"
+
+@predicate constrain
+  meaning
+    says "X constrains Y — X bounds what Y may be or do (inverse: constrained-by). The constraint edge."
+    answers "Is this edge a constraint relation?"
+  data
+    order 3
+    inverse constrained-by
+    phrase "constrains"
+
+@predicate implement
+  meaning
+    says "X implements Y — X is the concrete realization of the interface or intent Y (inverse: implemented-by). The realization edge."
+    answers "Is this edge a realization relation?"
+  data
+    order 4
+    inverse implemented-by
+    phrase "implements"
+
+@predicate produce
+  meaning
+    says "X produces Y — X yields Y as an output or artifact (inverse: produced-by). The production edge."
+    answers "Is this edge a production relation?"
+  data
+    order 5
+    inverse produced-by
+    phrase "produces"
+
+@predicate consume
+  meaning
+    says "X consumes Y — X takes Y as an input (inverse: consumed-by). The consumption edge."
+    answers "Is this edge a consumption relation?"
+  data
+    order 6
+    inverse consumed-by
+    phrase "consumes"
+
+@predicate record-lineage-from
+  meaning
+    says "X records lineage from Y — X traces its provenance to the source Y (inverse: lineage-recorded-by). The lineage edge."
+    answers "Is this edge a lineage relation?"
+  data
+    order 7
+    inverse lineage-recorded-by
+    phrase "records lineage from"
+
+@predicate grant-access-to
+  meaning
+    says "X grants access to Y — X authorizes reaching the resource Y (inverse: access-granted-by). The access-grant edge."
+    answers "Is this edge an access-grant relation?"
+  data
+    order 8
+    inverse access-granted-by
+    phrase "grants access to"
+
+@predicate run-before
+  meaning
+    says "X runs before Y — X precedes Y in execution order (inverse: run-after). The ordering edge."
+    answers "Is this edge an ordering relation?"
+  data
+    order 9
+    inverse run-after
+    phrase "runs before"
+
+@predicate trigger
+  meaning
+    says "X triggers Y — X fires or initiates Y at a lifecycle moment (inverse: triggered-by). The trigger edge."
+    answers "Is this edge a trigger relation?"
+  data
+    order 10
+    inverse triggered-by
+    phrase "triggers"
+
+@predicate cite
+  meaning
+    says "X cites Y — X references Y as a source or prior art (inverse: cited-by). The citation edge."
+    answers "Is this edge a citation relation?"
+  data
+    order 11
+    inverse cited-by
+    phrase "cites"
+
+@predicate supersede
+  meaning
+    says "X supersedes Y — X replaces and obsoletes Y (inverse: superseded-by). The supersession edge."
+    answers "Is this edge a supersession relation?"
+  data
+    order 12
+    inverse superseded-by
+    phrase "supersedes"
+
+@predicate require
+  meaning
+    says "X requires Y — X depends on Y being present to function (inverse: required-by). The dependency edge."
+    answers "Is this edge a dependency relation?"
+  data
+    order 13
+    inverse required-by
+    phrase "requires"
+
+@predicate use
+  meaning
+    says "X uses Y — X installs or draws on Y; a @workspace `uses @distribution <name>` edge is one install (inverse: used-by). The install edge."
+    answers "Is this edge an install relation?"
+  data
+    order 14
+    inverse used-by
+    phrase "uses"
+
+@predicate forbid
+  meaning
+    says "X forbids Y — X prohibits Y (inverse: forbidden-by). The prohibition edge."
+    answers "Is this edge a prohibition relation?"
+  data
+    order 15
+    inverse forbidden-by
+    phrase "forbids"
+
+@predicate route
+  meaning
+    says "X routes to Y — X directs dispatch or flow to Y (inverse: routed-by). The routing edge."
+    answers "Is this edge a routing relation?"
+  data
+    order 16
+    inverse routed-by
+    phrase "routes to"
+
+@predicate land
+  meaning
+    says "X lands at Y — X's published content materializes at tier Y when a consumer adopts it (inverse: landed-by). The distribution landing edge."
+    answers "Is this edge a distribution landing relation?"
+  data
+    order 17
+    inverse landed-by
+    phrase "lands at"
+

package/fixtures/loop/.ia/src/floor/primitive.ia

@@ -0,0 +1,50 @@
+#! ia 1.0
+
+@primitive Memory
+  meaning
+    says "Recall and retrieval — bring stored context to bear and gather what is already known. Anchors the orient phase, with Attention."
+    answers "What cognitive operation does Memory name?"
+  data
+    order 0
+    anchor orient
+
+@primitive Attention
+  meaning
+    says "Selection and focus — attend to what is salient and narrow the field to what matters now. Anchors the orient phase, with Memory."
+    answers "What cognitive operation does Attention name?"
+  data
+    order 1
+    anchor orient
+
+@primitive Inference
+  meaning
+    says "Computation and derivation — derive a conclusion or an approach from the premises; compute the plan before acting. Anchors the plan phase."
+    answers "What cognitive operation does Inference name?"
+  data
+    order 2
+    anchor plan
+
+@primitive Decision
+  meaning
+    says "Commitment and choice — commit to one option among the named alternatives and make the call. Anchors the act phase, with Escalation."
+    answers "What cognitive operation does Decision name?"
+  data
+    order 3
+    anchor act
+
+@primitive Escalation
+  meaning
+    says "Raising and routing — escalate when a gate blocks or the stakes exceed the local authority, routing the call upward. Anchors the act phase, with Decision."
+    answers "What cognitive operation does Escalation name?"
+  data
+    order 4
+    anchor act
+
+@primitive Learning
+  meaning
+    says "Update and consolidation — write back what the run taught and revise the model from the evidence, so the next loop is better informed. Anchors the learn phase."
+    answers "What cognitive operation does Learning name?"
+  data
+    order 5
+    anchor learn
+

package/fixtures/loop/.ia/src/floor/taxonomy.system.ia

@@ -0,0 +1,67 @@
+#! ia 1.0
+
+@system taxonomy
+  provider "inventarch.kernel"
+  version "1.0.0"
+  describes "Closed vocabulary and routing defaults for the language foundation."
+  requires
+    - floor
+  discriminators
+    kind lowers to definition
+      category kind
+      facets [kind]
+      schema @schema kernel-kind
+    category lowers to definition
+      category kind
+      facets [category]
+      schema @schema kernel-category
+    lane lowers to definition
+      category kind
+      facets [lane]
+      schema @schema kernel-lane
+    phase lowers to definition
+      category kind
+      facets [phase]
+      schema @schema kernel-phase
+    primitive lowers to definition
+      category kind
+      facets [primitive]
+      schema @schema kernel-primitive
+    move lowers to definition
+      category kind
+      facets [move]
+      schema @schema kernel-move
+    predicate lowers to definition
+      category kind
+      facets [predicate]
+      schema @schema kernel-predicate
+    axis lowers to definition
+      category kind
+      facets [axis]
+      schema @schema kernel-axis
+    dimension lowers to definition
+      category kind
+      facets [dimension]
+      schema @schema kernel-dimension
+    intent-shape lowers to definition
+      category kind
+      facets [intent-shape]
+      schema @schema kernel-intent-shape
+    artifact-set lowers to definition
+      category kind
+      facets [artifact-set]
+      schema @schema kernel-artifact-set
+    placement lowers to definition
+      category kind
+      facets [placement]
+      schema @schema kernel-placement
+    value-type lowers to definition
+      category kind
+      facets [value-type]
+      schema @schema kernel-value-type
+    cardinality lowers to definition
+      category kind
+      facets [cardinality]
+      schema @schema kernel-cardinality
+  edges
+    cite * using *

package/fixtures/loop/.ia/src/floor/value-type.ia

@@ -0,0 +1,44 @@
+#! ia 1.0
+
+@value-type text
+  meaning
+    says "Scalar, quoted string or folded prose text, including empty quoted text."
+    answers "What does text designate in the value-type domain?"
+  data
+    order 0
+
+@value-type id
+  meaning
+    says "An ASCII-letter-led identifier containing letters, digits and hyphens."
+    answers "What does id designate in the value-type domain?"
+  data
+    order 1
+
+@value-type qname
+  meaning
+    says "A canonical four-slot system/kind/facet/name identity."
+    answers "What does qname designate in the value-type domain?"
+  data
+    order 2
+
+@value-type number
+  meaning
+    says "A finite decimal number with optional sign, fraction and exponent."
+    answers "What does number designate in the value-type domain?"
+  data
+    order 3
+
+@value-type ref
+  meaning
+    says "A typed sigil reference to a record, optionally with a fragment."
+    answers "What does ref designate in the value-type domain?"
+  data
+    order 4
+
+@value-type flag
+  meaning
+    says "A bare field key, or an unquoted true or false scalar."
+    answers "What does flag designate in the value-type domain?"
+  data
+    order 5
+

package/fixtures/loop/.ia/src/systems/agent-system/records/foreign.ia

@@ -0,0 +1,9 @@
+#! ia 1.0
+@playbook foreign-procedure
+  meaning
+    says "Fixture procedure foreign-procedure"
+    answers "What does this procedure do?"
+  cognition
+    act
+      primary Decision
+      Decision means "Foreign fixture"

package/fixtures/loop/.ia/src/systems/agent-system/records/sample-mandate.ia

@@ -0,0 +1,8 @@
+#! ia 1.0
+
+@mandate sample-mandate
+  meaning
+    says "Sample fixture statement 1."
+    answers "Sample fixture statement 2."
+  governance
+    requires "Sample fixture statement 3."

package/fixtures/loop/.ia/src/systems/agent-system/schemas/agent.schema.ia

@@ -0,0 +1,13 @@
+#! ia 1.0
+
+@schema agent
+  lowers to binding
+  sections
+    must have meaning
+    must have governance
+    may have relationships
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have governance.applies as list of id

package/fixtures/loop/.ia/src/systems/agent-system/schemas/mandate.schema.ia

@@ -0,0 +1,12 @@
+#! ia 1.0
+
+@schema mandate
+  lowers to policy
+  sections
+    must have meaning
+    must have governance
+    may have relationships
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text

package/fixtures/loop/.ia/src/systems/agent-system/steward.ia

@@ -0,0 +1,9 @@
+#! ia 1.0
+
+@agent agent-steward
+  meaning
+    says "The designated expert for expert agent identities and bounded mandates."
+    answers "Who owns the vocabulary and authoring method of agent-system?"
+  governance
+    applies [agent, mandate]
+    requires "Use the owning schema and the current spec, plan and validation evidence before changing this system."

package/fixtures/loop/.ia/src/systems/agent-system/system.ia

@@ -0,0 +1,25 @@
+#! ia 1.0
+
+@system agent-system
+  provider "inventarch.foundation"
+  version "0.1.0"
+  describes "Expert agent identities and bounded mandates"
+  steward @agent agent-steward
+  requires
+    - floor
+  discriminators
+    agent lowers to binding
+      category capability
+      facets [agent]
+      schema @schema agent
+    mandate lowers to policy
+      category rule
+      facets [mandate]
+      schema @schema mandate
+  edges
+    cite * using *
+    govern * using *
+    enforce * using *
+    implement * using *
+    require * using *
+    use * using *

package/fixtures/loop/.ia/src/systems/compliance-system/cases/foreign-vocabulary.ia

@@ -0,0 +1,14 @@
+#! ia 1.0
+
+@case foreign-vocabulary
+  meaning
+    says "A structural authoring scenario: foreign-vocabulary."
+    answers "What observation establishes the authoring outcome?"
+  scenario
+    kind refusal
+    given "An agent-system record declared with the workspace discriminator without requiring workspace-system."
+    request "Validate the system folder."
+    expected "DISCRIMINATOR-FOREIGN identifies the missing dependency."
+    evaluator "Native corpus mutation tests in tools/native/check.test.ts; structural outcomes only, no model execution."
+  relationships
+    implements @contract foundation-authoring-contract#REQ-FOUNDATION-REFUSE

package/fixtures/loop/.ia/src/systems/compliance-system/cases/missing-required-field.ia

@@ -0,0 +1,14 @@
+#! ia 1.0
+
+@case missing-required-field
+  meaning
+    says "A structural authoring scenario: missing-required-field."
+    answers "What observation establishes the authoring outcome?"
+  scenario
+    kind failure
+    given "A native agent record whose governance.applies field is missing."
+    request "Validate the incomplete agent record."
+    expected "FIELD-MISSING names governance.applies and the assessment fails."
+    evaluator "Native corpus mutation tests in tools/native/check.test.ts; structural outcomes only, no model execution."
+  relationships
+    implements @contract foundation-authoring-contract#REQ-FOUNDATION-REFUSE

package/fixtures/loop/.ia/src/systems/compliance-system/cases/valid-native-record.ia

@@ -0,0 +1,15 @@
+#! ia 1.0
+
+@case valid-native-record
+  meaning
+    says "A structural authoring scenario: valid-native-record."
+    answers "What observation establishes the authoring outcome?"
+  scenario
+    kind success
+    given "A valid agent record under agent-system with its required meaning and applies fields."
+    request "Validate the native record with its complete closure."
+    expected "The record has pass schema and system assessments."
+    evaluator "Native corpus mutation tests in tools/native/check.test.ts; structural outcomes only, no model execution."
+  relationships
+    implements @contract foundation-authoring-contract#REQ-FOUNDATION-INPUT
+    implements @contract foundation-authoring-contract#REQ-FOUNDATION-VALID

package/fixtures/loop/.ia/src/systems/compliance-system/checks/instance-schema-check.ia

@@ -0,0 +1,13 @@
+#! ia 1.0
+
+@check instance-schema-check
+  meaning
+    says "Validate every admitted record against its registered structural schema."
+    answers "Which evaluator checks required structure?"
+  check
+    runs COMP-SCHEMA
+    scope "every admitted native record"
+  governance
+    severity blocking
+  relationships
+    enforces @contract foundation-authoring-contract

package/fixtures/loop/.ia/src/systems/compliance-system/contracts/foundation-authoring-contract.ia

@@ -0,0 +1,15 @@
+#! ia 1.0
+
+@contract foundation-authoring-contract
+  version "0.1.0"
+  meaning
+    says "Author records only when their declared structure and ownership can be checked."
+    answers "What must foundation authoring establish?"
+  relationships
+    governs @check instance-schema-check
+  inputs
+    REQ-FOUNDATION-INPUT "Supply the intended owner, complete native registry closure and authored record source."
+  outputs
+    REQ-FOUNDATION-VALID "A structurally valid owned record receives a passing schema and system assessment."
+  failures
+    REQ-FOUNDATION-REFUSE "Missing required fields or foreign vocabulary receives a named refusal and is not reported as conforming."

package/fixtures/loop/.ia/src/systems/compliance-system/schemas/case.schema.ia

@@ -0,0 +1,17 @@
+#! ia 1.0
+
+@schema case
+  lowers to definition
+  sections
+    must have meaning
+    must have scenario
+    must have relationships
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have scenario.kind as id
+    must have scenario.given as text
+    must have scenario.request as text
+    must have scenario.expected as text
+    must have scenario.evaluator as text

package/fixtures/loop/.ia/src/systems/compliance-system/schemas/check.schema.ia

@@ -0,0 +1,15 @@
+#! ia 1.0
+
+@schema check
+  lowers to check
+  sections
+    must have meaning
+    must have check
+    may have relationships
+    may have governance
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have check.runs as id
+    must have check.scope as text