@inventarch/compliance 0.0.0-stage → 1.0.0

package/fixtures/loop/.ia/src/blocking.ia

@@ -0,0 +1,8 @@
+#! ia 1.0
+@law always-check-inputs
+  meaning
+    says "Inspect required input before acting."
+    answers "What input must be retained?"
+  governance
+    severity blocking
+    requires "Keep the supplied scope and revision attached to every result."

package/fixtures/loop/.ia/src/choice-a.ia

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

package/fixtures/loop/.ia/src/choice-b.ia

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

package/fixtures/loop/.ia/src/declared-decision.ia

@@ -0,0 +1,12 @@
+#! ia 1.0
+@playbook declared-decision
+  meaning
+    says "Fixture procedure declared-decision"
+    answers "What does this procedure do?"
+    category "gloss unrelated to routing"
+  cognition
+    learn
+      primary Learning
+      Learning means "Later learning"
+  activation
+    activate when category is decision

package/fixtures/loop/.ia/src/fallback.ia

@@ -0,0 +1,9 @@
+#! ia 1.0
+@playbook fallback
+  meaning
+    says "Fixture procedure fallback"
+    answers "What does this procedure do?"
+  cognition
+    orient
+      primary Memory
+      Memory means "Fallback fixture memory"

package/fixtures/loop/.ia/src/floor/artifact-set.ia

@@ -0,0 +1,65 @@
+#! ia 1.0
+
+@artifact-set inquiry
+  meaning
+    says "Questions, exploration and research whose result is understanding."
+    answers "What does inquiry designate in the artifact-set domain?"
+  data
+    order 0
+
+@artifact-set decision
+  meaning
+    says "A retained choice with its reasons and constraints."
+    answers "What does decision designate in the artifact-set domain?"
+  data
+    order 1
+
+@artifact-set contract
+  meaning
+    says "An agreement or structural obligation consumers rely on."
+    answers "What does contract designate in the artifact-set domain?"
+  data
+    order 2
+
+@artifact-set product-definition
+  meaning
+    says "A definition of intended product behavior or structure."
+    answers "What does product-definition designate in the artifact-set domain?"
+  data
+    order 3
+
+@artifact-set execution
+  meaning
+    says "Work instructions, plans and implementations used to act."
+    answers "What does execution designate in the artifact-set domain?"
+  data
+    order 4
+
+@artifact-set operational
+  meaning
+    says "Configuration and records that maintain an operating environment."
+    answers "What does operational designate in the artifact-set domain?"
+  data
+    order 5
+
+@artifact-set evidence
+  meaning
+    says "An attributable observation used to verify a claim."
+    answers "What does evidence designate in the artifact-set domain?"
+  data
+    order 6
+
+@artifact-set projection
+  meaning
+    says "A generated rendering whose authored source remains authoritative."
+    answers "What does projection designate in the artifact-set domain?"
+  data
+    order 7
+
+@artifact-set principle
+  meaning
+    says "A durable guiding judgement applied across situations."
+    answers "What does principle designate in the artifact-set domain?"
+  data
+    order 8
+

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

@@ -0,0 +1,74 @@
+#! ia 1.0
+
+@axis shape
+  meaning
+    says "The intent framing of a request; a derived hint unless explicitly declared."
+    answers "What does shape designate in the axis domain?"
+  data
+    order 0
+    values [context, governance, execution, sequence, learning]
+
+@axis category
+  meaning
+    says "The kind of concept requested; request category is distinct from discriminator classification."
+    answers "What does category designate in the axis domain?"
+  data
+    order 1
+    values [thing, kind, property, state, event, relation, rule, capability, intent, decision, evidence, representation, process, measure, boundary]
+
+@axis phase
+  meaning
+    says "The declared position in orient, plan, act and learn."
+    answers "What does phase designate in the axis domain?"
+  data
+    order 2
+    values [orient, plan, act, learn]
+
+@axis primitive
+  meaning
+    says "The cognitive operation the actor declares it is performing."
+    answers "What does primitive designate in the axis domain?"
+  data
+    order 3
+    values [Memory, Attention, Inference, Decision, Escalation, Learning]
+
+@axis move
+  meaning
+    says "The requested action mode, distinct from a cognitive primitive."
+    answers "What does move designate in the axis domain?"
+  data
+    order 4
+    values [Observation, Execution, Delegation, Synthesis, Verification]
+
+@axis kind
+  meaning
+    says "The closed semantic kind a request selects."
+    answers "What does kind designate in the axis domain?"
+  data
+    order 5
+    values [governance, contract, definition, template, check, policy, binding]
+
+@axis lane
+  meaning
+    says "The structural lane derived from kind, with the authority-facet contract exception."
+    answers "What does lane designate in the axis domain?"
+  data
+    order 6
+    values [authority, contracts, definitions, templates, enforcement, bindings]
+
+@axis predicate
+  meaning
+    says "The active relationship family a request follows or selects."
+    answers "What does predicate designate in the axis domain?"
+  data
+    order 7
+    values [govern, enforce, ground, constrain, implement, produce, consume, record-lineage-from, grant-access-to, run-before, trigger, cite, supersede, require, use, forbid, route, land]
+
+@axis artifact-set
+  meaning
+    says "The artifact classification used in routing and subject conditions."
+    answers "What does artifact-set designate in the axis domain?"
+  data
+    order 8
+    values [inquiry, decision, contract, product-definition, execution, operational, evidence, projection, principle]
+

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

@@ -0,0 +1,23 @@
+#! ia 1.0
+
+@cardinality one
+  meaning
+    says "At most one distinct target; a must obligation also requires its presence."
+    answers "What does one designate in the cardinality domain?"
+  data
+    order 0
+
+@cardinality one-or-more
+  meaning
+    says "No upper bound; a must obligation requires at least one distinct target."
+    answers "What does one-or-more designate in the cardinality domain?"
+  data
+    order 1
+
+@cardinality optional
+  meaning
+    says "Zero or one distinct target, including when the schema row uses must."
+    answers "What does optional designate in the cardinality domain?"
+  data
+    order 2
+

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

@@ -0,0 +1,107 @@
+#! ia 1.0
+
+@category thing
+  meaning
+    says "A concrete entity — an object or instance that exists in its own right."
+    answers "Is this node a concrete entity?"
+  data
+    order 0
+
+@category kind
+  meaning
+    says "A type or class — the category an instance belongs to."
+    answers "Is this node a type or class?"
+  data
+    order 1
+
+@category property
+  meaning
+    says "An attribute or quality — a characteristic a node carries."
+    answers "Is this node an attribute or quality?"
+  data
+    order 2
+
+@category state
+  meaning
+    says "A condition or status — the configuration a node is in at a moment."
+    answers "Is this node a condition or status?"
+  data
+    order 3
+
+@category event
+  meaning
+    says "An occurrence in time — something that happens or is emitted."
+    answers "Is this node an occurrence in time?"
+  data
+    order 4
+
+@category relation
+  meaning
+    says "A link between nodes — an edge or association connecting two things."
+    answers "Is this node a link between things?"
+  data
+    order 5
+
+@category rule
+  meaning
+    says "A normative constraint — what must, may, or must not hold."
+    answers "Is this node a normative constraint?"
+  data
+    order 6
+
+@category capability
+  meaning
+    says "An ability or affordance — what an actor or system can do."
+    answers "Is this node an ability or affordance?"
+  data
+    order 7
+
+@category intent
+  meaning
+    says "A goal or purpose — the aim a node is directed toward."
+    answers "Is this node a goal or purpose?"
+  data
+    order 8
+
+@category decision
+  meaning
+    says "A committed choice — a selection among alternatives, with the bet stated."
+    answers "Is this node a committed choice?"
+  data
+    order 9
+
+@category evidence
+  meaning
+    says "A grounding observation — a checkable fact that supports a claim."
+    answers "Is this node grounding evidence?"
+  data
+    order 10
+
+@category representation
+  meaning
+    says "A data shape or encoding — how information is structured or rendered."
+    answers "Is this node a data shape or encoding?"
+  data
+    order 11
+
+@category process
+  meaning
+    says "An activity or transformation — work that takes inputs to outputs over steps."
+    answers "Is this node an activity or transformation?"
+  data
+    order 12
+
+@category measure
+  meaning
+    says "A quantity or metric — a measured value or unit of assessment."
+    answers "Is this node a quantity or metric?"
+  data
+    order 13
+
+@category boundary
+  meaning
+    says "A scope or limit — the edge of a domain, where reach or authority stops."
+    answers "Is this node a scope or limit?"
+  data
+    order 14
+

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

@@ -0,0 +1,29 @@
+#! ia 1.0
+
+@dimension severity
+  meaning
+    says "The governance stakes read from governance.severity; a declared request may raise them."
+    answers "What does severity designate in the dimension domain?"
+  data
+    order 0
+    values [blocking, advisory, informational]
+    path "governance.severity"
+
+@dimension provenance
+  meaning
+    says "The source provenance supplied by the loader, never inferred from prose."
+    answers "What does provenance designate in the dimension domain?"
+  data
+    order 1
+    values [workspace, methodology, bootstrap, runtime]
+    path "provenance"
+
+@dimension artifact-set
+  meaning
+    says "The subject artifact classification supplied by the classification consumer."
+    answers "What does artifact-set designate in the dimension domain?"
+  data
+    order 2
+    values [inquiry, decision, contract, product-definition, execution, operational, evidence, projection, principle]
+    path "classification"
+

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

@@ -0,0 +1,23 @@
+#! ia 1.0
+
+@schema system
+  lowers to definition
+  sections
+    may have discriminators
+    may have requires
+    may have edges
+    may have relationships
+    open
+  fields
+    must have head.provider as text
+    must have head.version as text
+    may have head.steward as ref
+    may have head.describes as text
+
+@schema schema
+  lowers to contract
+  sections
+    must have sections
+    may have fields
+    may have edges
+    closed

package/fixtures/loop/.ia/src/floor/intent-shape.ia

@@ -0,0 +1,73 @@
+#! ia 1.0
+
+@intent-shape context
+  meaning
+    says "Need context — pull the source documents, evidence and prerequisites a request rests on. The Orient framing: select the relevant entity and traverse its relations. Also the safe default when no signal dominates."
+    answers "Is this request asking what exists, where it is, or what it means?"
+  data
+    order 0
+  routing
+    category relation
+    primitive Attention
+    tie-precedence 4
+    kind-focus [definition, contract]
+    lane-focus [definitions, contracts]
+    predicate-focus [cite, ground, require]
+
+@intent-shape governance
+  meaning
+    says "Need governance — pull the rules, boundaries, prohibitions and checks that bear on a request. The Act framing: notice the applicable rule, then infer compliance. First in tie precedence because a missed guardrail is the costliest classification error."
+    answers "Is this request asking what is permitted, forbidden or enforced?"
+  data
+    order 1
+  routing
+    category rule
+    primitive Inference
+    tie-precedence 0
+    kind-focus [governance, policy, check]
+    lane-focus [authority, enforcement]
+    predicate-focus [govern, constrain, forbid, enforce]
+    priming-order [govern, constrain, forbid, enforce, implement]
+
+@intent-shape execution
+  meaning
+    says "Need execution — pull the bindings, tools, dispatch paths and inputs a request would run through. The Plan framing: choose the invocation surface. The work verbs (implement, fix, author, write) belong to this shape, not to context."
+    answers "Is this request asking how something is run, built or invoked?"
+  data
+    order 2
+  routing
+    category capability
+    primitive Decision
+    tie-precedence 3
+    kind-focus [binding, template]
+    lane-focus [bindings, templates]
+    predicate-focus [implement, trigger, route, consume]
+
+@intent-shape sequence
+  meaning
+    says "Need sequence — pull the ordering, the blockers and the current version. The framing that infers the next step in a process."
+    answers "Is this request asking what comes before, after or instead of something?"
+  data
+    order 3
+  routing
+    category process
+    primitive Inference
+    tie-precedence 1
+    kind-focus [contract, binding]
+    lane-focus [contracts, bindings]
+    predicate-focus [run-before, require, supersede]
+
+@intent-shape learning
+  meaning
+    says "Need learning — pull the derivation, the outputs and the evidence. The Learn framing: store the proof and learn from the outcome."
+    answers "Is this request asking what a run taught, produced or derived from?"
+  data
+    order 4
+  routing
+    category evidence
+    primitive Learning
+    tie-precedence 2
+    kind-focus [definition]
+    lane-focus [definitions]
+    predicate-focus [record-lineage-from, produce, cite]
+

package/fixtures/loop/.ia/src/floor/kernel.schema.ia

@@ -0,0 +1,173 @@
+#! ia 1.0
+
+@schema kernel-kind
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+    must have data.lane as id
+    may have data.authority-lane as id
+
+@schema kernel-category
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+
+@schema kernel-lane
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+
+@schema kernel-phase
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+
+@schema kernel-primitive
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+    must have data.anchor as id
+
+@schema kernel-move
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+
+@schema kernel-predicate
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+    must have data.inverse as id
+    must have data.phrase as text
+
+@schema kernel-axis
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+    must have data.values as list of id
+
+@schema kernel-dimension
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+    must have data.values as list of id
+    must have data.path as text
+
+@schema kernel-intent-shape
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    must have routing
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+    must have routing.category as id
+    must have routing.primitive as id
+    must have routing.tie-precedence as number
+    must have routing.kind-focus as list of id
+    must have routing.lane-focus as list of id
+    must have routing.predicate-focus as list of id
+    may have routing.priming-order as list of id
+
+@schema kernel-artifact-set
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+
+@schema kernel-placement
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+    must have data.band as number
+
+@schema kernel-value-type
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+
+@schema kernel-cardinality
+  lowers to definition
+  sections
+    must have meaning
+    must have data
+    closed
+  fields
+    must have meaning.says as text
+    must have meaning.answers as text
+    must have data.order as number
+

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

@@ -0,0 +1,59 @@
+#! ia 1.0
+
+@kind governance
+  meaning
+    says "A standing 'ought' — a norm that always holds (law · principle · convention · policy-as-norm)."
+    answers "Is this record a binding rule, rather than a thing or an action?"
+  data
+    order 0
+    lane authority
+
+@kind contract
+  meaning
+    says "An obligation that another record relies on: a structural body schema or a signature between parties. The schema and contract discriminators have distinct dialects under this shared kind."
+    answers "Does this record pin a structure that something else relies on?"
+  data
+    order 1
+    lane contracts
+    authority-lane authority
+
+@kind definition
+  meaning
+    says "The meaning of a term or the membership of an axis (kind · lane · category · predicate · primitive · topology nodes)."
+    answers "Does this record define what a word or an axis-value means?"
+  data
+    order 2
+    lane definitions
+
+@kind template
+  meaning
+    says "A reusable output shape. An implemented consumer is required to instantiate it into records or files."
+    answers "Does this record generate other records?"
+  data
+    order 3
+    lane templates
+
+@kind check
+  meaning
+    says "A declared evaluation gate. Its bound evaluator produces a verdict; the declaration alone does not execute."
+    answers "Does this record execute and yield a verdict?"
+  data
+    order 4
+    lane enforcement
+
+@kind policy
+  meaning
+    says "An access or routing rule — who may, and what flows where."
+    answers "Does this record decide permission or routing?"
+  data
+    order 5
+    lane enforcement
+
+@kind binding
+  meaning
+    says "An explicit connection between an actor, invocation or trigger and behavior. A host consumer supplies execution."
+    answers "Does this record wire something executable to when it fires?"
+  data
+    order 6
+    lane bindings
+