Skip to content

a11oy — governed agentic execution fabric

Etymology. a11oy is a coinage on the English word alloy — a blended, hardened metal — styled in the a11y numeronym form. It is not a Quechua word, and is labelled as such honestly. The metaphor is load-bearing: a11oy is the substrate that fuses policy, measurement, knowledge, and integrity into one governed material.

Overview

a11oy is the seven-layer governed agentic execution fabric of SZL Holdings — the substrate that connects live enterprise signals to human-confirmed decisions with cryptographic proof at every transition. It ships TypeScript packages consumed by the szl-holdings/platform monorepo.

Frontier capability. First agent-execution fabric with a Lean-verified termination + Λ-monotonicity proof — Lutar.AgentLoop.terminates + Lutar.AgentLoop.preserves_lambda (Ouroboros Thesis DOI 10.5281/zenodo.20434276).

Anatomy mapping: a11oy is the integration host; in the a11oy.code tier→organ router it routes PRIME→Amaru, HEART→Yuyay, IMMUNE→Sentra.

How it works — the 7-layer pipeline

Every action passes through the fabric before execution:

  1. Signal ingressmeasurement scores events against PRISM baselines.
  2. Knowledge contextknowledge retrieves domain ontology for explanation.
  3. Policy evaluationpolicy checks the action against Covenant Policy rules.
  4. Approval gate — human approval is created when policy requires it.
  5. Execution unlock — the action proceeds only after gate resolution.
  6. QEC verificationqec-integrity verifies proof-chain cryptographic lineage.
  7. Receipt — the decision is emitted to the rosie Khipu DAG.

The Λ-invariant constrains step 3: no recommendation below the configured confidence threshold reaches the approval gate without escalation.

Packages

PackagePurposeKey types
packages/policyCovenant Policy Engine — evaluates actions against governance rulesCovenantPolicy, ApprovalGate, PolicyDecision
packages/measurementSignal scoring, PRISM correlation, drift detectionSignalScore, PRISMFrame, DriftReport
packages/knowledgeKnowledge-graph traversal and ontology queriesKnowledgeGraph, OntologyQuery, DomainNode
packages/qec-integrityCSS-QEC lineage verification (backed by lutar-lean)QECLineage, IntegrityProof, CSSVector

API / install

bash
npm install @szl-holdings/a11oy-policy
npm install @szl-holdings/a11oy-measurement
# or
pnpm add @szl-holdings/a11oy-policy

Example — evaluate an action

ts
import { CovenantPolicy } from '@szl-holdings/a11oy-policy'

const policy = new CovenantPolicy()
const decision = policy.evaluate({
  action: 'deploy-model',
  axes: {
    moralGrounding: 0.97,         // sacred, floor 0.95
    measurabilityHonesty: 0.96,   // sacred, floor 0.95
    // ...7 structural axes (floor 0.90) + 4 introspection axes
  },
})

if (decision.passed) {
  // proceeds to QEC verification + receipt emission
} else {
  console.log('blocked:', decision.failedAxes, decision.continuumHash)
}

Source & evidence

bibtex
@software{szl_holdings_a11oy_2026,
  title  = {a11oy — Governed Agentic Execution Fabric},
  author = {{SZL Holdings}},
  year   = {2026},
  doi    = {10.5281/zenodo.20434276},
  url    = {https://github.com/szl-holdings/a11oy}
}

Doctrine v11 LOCKED · 749/14/163 · kernel c7c0ba17 · Λ = Conjecture 1 · SLSA L1 honest. Math-grounded, Quechua-rooted, zero mysticism (PURIQ v12 agentic layer is additive).