Live-qualified · agent tool-call interception

Deterministic DENY and ALLOW, before the tool runs.

InvarOS intercepts agent tool calls at the OpenClaw gateway and asks InvarOS Authority for a decision before the tool body can execute. Deterministic DENY, deterministic ALLOW with a single correlated execution, fail-closed behavior when Authority is unavailable, and process/socket recovery have all been runtime-verified. Authored fault, rewrite, concurrency, and model-facing execution paths remain unverified.

Agent tool call

OpenClaw before_tool_call hook (priority 100)

framed AF_UNIX authorization request

Runtime Authorization API

InvarOS Runtime · transport · lifecycle · never the authority

Authority Client · Governance Protocol

InvarOS Authority (sole authority)

Governance Engine · Decision · Receipt · Lease → Math Provider when constrained

DENY → HTTP 403

tool_call_blocked · body never executes

ALLOW → HTTP 200

signed receipt + single-use lease · exactly one execution

openclaw + InvarOS Runtime — governed authorization (qualified pilot evidence)
request probe-deny-001 tool=invaros_probe_touch
authority=governance decision=DENY reason=pilot.prohibited_marker
http=403 tool_call_blocked protected_body=0 bytes // not executed

request probe-allow-002 tool=invaros_probe_touch
authority=governance decision=ALLOW receipt=signed lease=single-use
lifecycle=CLAIM → COMPLETE http=200 executions=1 // exactly once

fault-injection daemon=unavailablehttp=403 fail-closed executions=0
recovery socket=/run/invarosd/openclaw-authorize.sockrecovered

Representative of the qualified OpenClaw authorization evidence (installed-system qualification PASS, July 2026). Values shown are the recorded decision fields, not fabricated metrics. The recorded socket path uses invarosd, the legacy name at time of evidence for InvarOS Runtime; the canonical path is /run/invaros-runtime/authorization.sock. Recorded bytes are never rewritten.

Evidence families

Separate, durable, fingerprint-linked artifacts.

These are distinct artifact families — not fields buried inside one another. Each references the others by cryptographic fingerprint.

Governed path

Decision Receipt

A signed record of a Decision, bound to the request, transaction, Snapshot, and mathematical verdict when one applies. Produced for every created governance transaction. Issued only by InvarOS Authority.

Governed path

Authorization Lease

Issued only for ALLOW, and only by InvarOS Authority. Single-use and correlated to the exact tool call, consumed through a claim → complete / abort / expire lifecycle.

Governed path

Classified refusal

A DENY carrying a refusal code and layer. Policy, topology, and attestation refusals are categorically distinct and independently auditable.

Edge runtime

TBoM topology artifact

The Runtime Topology Plugin emits Edge Network Topology Profile artifacts per observation epoch, with host and topology fingerprints. See the open standard →

Runtime evidence

Runtime Evidence Record (standalone)

The Runtime Evidence Plugin generates and verifies ES256 (ECDSA P-256 + SHA-256) ContractEvent evidence records. It is loadable today but not yet orchestrated into the Runtime's automatic per-observation path. Runtime Evidence Records are operational evidence; they are not Decision Receipts.

Enterprise pipeline

CBOM · in-toto · ZK-ready claim

The enterprise attestation pipeline emits a CycloneDX 1.6 CBOM, an in-toto Statement (unsigned structural or signed DSSE envelope), and a ZK-ready compliance claim. "ZK-ready" is the schema format, not a production proving system.

Independently verifiable

The open artifacts, you can check yourself.

The Topology Bill of Materials standard is public and Apache-2.0 licensed, with JSON Schemas, a reference validator, and conformance vectors. You can validate topology artifacts against their declared profile without contacting us and without a network connection. The governed Decision Receipt, Authorization Lease, and refusal formats are part of the commercial platform; we are happy to walk architects through real examples.

Explore the TBoM standard See topology captures Request an evidence walkthrough