04 · reference operator surface

The docs.

Specifications, protocols, and operations guides for integrators and operators. The papers explain why; the docs describe how. Each entry is a load-bearing reference — start at the SAIRP entry point or jump to the lifecycle walkthrough.

the chain negotiation agreement admission enforce(event, state, skill_context) execution read order start-here → lifecycle walkthrough → reference · or jump straight to operations if you're integrating scope protocol specs and operator references. essays and category claims live under /papers.

Start here

entry points · non-authoritative for execution
DOC · 01
SAIRP entry point
Operational entry into the Secure Agentic Intent-to-Runtime Protocol. Separates intent, authority, and execution. Establishes that execution must consume already-verified authority, not infer it.
00_README.md Stable
DOC · 02
Governance overview
The governance model in one document. Authority binding, invariant evaluation, ledger evidence, and the boundary between development-time and gate-time claims.
00_GOVERNANCE_OVERVIEW.md Stable

SAIRP lifecycle

negotiation → agreement → admission → execution · single walkthrough
DOC · 03
Lifecycle walkthrough
The four-phase protocol traced end to end. Negotiated transaction authority (NTA), ACK envelope agreement, admission handshake, and execution under enforce(). Each phase has a sub-anchor and links to its underlying specification.
runtime/04 → 07 Stable

Reference

load-bearing specs · cited from runtime code
REF · 04
HALT reference
Terminal HALT semantics: codes, namespace, and routing. The non-optional state-transition stop. Combines code catalog with namespace structure.
halt_codes.md · HALT_NAMESPACE.md Stable
REF · 05
Unified enforcement engine
The execution-phase engine that consumes admitted events, evaluates invariants, and emits PASS or HALT. The runtime equivalent of enforce(event).
UNIFIED_ENFORCEMENT_ENGINE.md Stable
REF · 06
Contracts & interfaces
Unified contracts and interface architecture across the meetLab surfaces. What each component must accept, what it must emit, and how authority flows through the boundary.
unified_contracts.md · unified_interface_architecture.md Stable
REF · 07
Corpus spec
Formatting specification and schema for the v1 corpus. How sessions, turns, and labels are represented; what the canonical SQLite shape looks like.
CORPUS_FORMATTING_SPEC_v1.md · corpus_schema_v1.md Stable
REF · 08
Hash unification
The single hash semantic across ledger, capsules, and audit trail. Cited by verify_shcl_chain.py and test_hash_unification.py. The basis for replayable evidence.
architecture/hash_unification.md Stable

Operations

operator-facing runbooks per surface
OPS · 09
meetLab Operations Guide
SAIRP-level operations for the full meetLab platform. Build entry, artifact promotion, runtime state, and the day-to-day operator surface.
SAIRP_meetLab_Operations_Guide.md Stable
OPS · 10
EDPIPE Operations Guide
Operating the editorial pipeline. Six stages — segment, canonicalize, compress, bind, evaluate, seal — wired into a deterministic chain that emits the Final Execution Envelope. Includes the HALT Matrix, the cryptographic amnesia boundary, the 22-code error namespace, and the recovery decision matrix.
EDPIPE_Operations_Guide.md Stable
OPS · 11
Gauntlet Operations Guide
The deterministic ingestion and analytics pipeline. Four phases, seventeen ordered tools, and the unified integration/ layer that wraps GAUNTLET with cross-domain contract checks. Includes the DB-vs-filesystem boundary, the DB safety contract, and a failure-triage flow.
Gauntlet_Operational_Guide.md Stable

Integrations

protocols for tool calls and model relays
INT · 12
Agent tools & model relay protocols
Two Tier-2 statutory protocols govern off-surface execution. ATL-001 binds tool-call events to authority; MRP-001 binds model relay and MCP messages to artifact-anchored payloads. Both gate on active_envelope_hash and fail closed.
AGENT_TOOLS_PROTOCOL.md · MODEL_RELAY_PROTOCOL.md Stable
docs · index-first · build 2026-04-25 event → enforce(event) → invariant → PASS | HALT meetLab · 2026