control

module

v0.16.0 Latest Latest Go to latest Published: Sep 12, 2026 License: Apache-2.0

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/abovebeyond-ai/control

Links

Open Source Insights

README ¶

control

A reference gateway service for the Proof-of-Control Standard: the thing you deploy once and point every agent at. Hands propose; the gateway judges, writes the evidence, and performs the effect with credentials the hands never see.

The standard has a reference library in Python that demonstrates the protocol. This is a reference service: one static binary, one configuration, one API, built so that moving it into a confidential VM is a redeploy and not a rewrite.

The boundary rule

Inside the trusted, measured core lives only what can change a verdict or hold a credential: policy evaluation, the evidence log, the signing key, the effect adapters, and the premises verifier. Everything else lives outside and needs no trust: anchorers, witnesses, verifiers, dashboards. The gateway publishes a signed checkpoint; whoever anchors it to a ledger, a timestamp authority or a witness reads that checkpoint and can prove nothing false, only fail to anchor, which the verifier detects. That is how transparency systems that have met attackers are built, and it is what the standard's rows on independent monitors describe.

What one step does

Premises first. A kind the grant marks premises_for must carry a certificate of premises: a ProveML text stating why, every number a claim on a named record, every judgement a threshold from a registry declared in advance, with a provenance grade per fact. Verified inside the boundary with proveml-go. A certificate that does not verify is a DENY before the grant is read; the seven claims of the reason-as-evidence profile ride in the token, the material sits beside the record.
Then the grant, path-aware: kinds, resources, how many of each in one path.
Chain, tree, token. The snapshot is committed to a hash chain and an RFC 6962 tree; the token is the standard's claim set, EdDSA over its canonical form (RFC 8785).
Written before released. The record is fsynced under a lock before the answer; an unwritable store answers FAIL_CLOSED and nothing leaves.
The effect, by an adapter holding the credential: GitHub first.

Run it

go build ./cmd/gateway ./cmd/verify
./gateway --config config.json

{
  "listen": "127.0.0.1:8471",
  "issuer": "https://portal.example/control",
  "store": "/var/lib/control/store",
  "secrets": "/etc/control/secrets",
  "dry": false,
  "agents": {
    "did:webvh:…:example.org#agent-fix": {
      "grant": { "principal": "did:webvh:…:example.org", "kinds": ["workflow.dispatch", "pull.open"],
                 "resources": ["owner/repo"], "max_per_kind": 1, "premises_for": ["workflow.dispatch"] }
    }
  }
}

The signing key is made on first start in the secrets directory, owner-only; GitHub tokens live there as github-token-<owner>. dry: true judges and records but performs nothing, for a first deployment beside an existing hand.

method	what
`POST /v1/submit`	`{run, agent, principal, action:{kind,resource,params}, extension, premises}` → verdict, reason, step, action, token, effect, steps. Path limits count per `run`; a hand that names none has one run for life. One action is three records under one `control_action`: the request as judged, the effect as performed, the result as returned (row 7.1.2).
`GET /v1/checkpoint?agent=`	the signed tree head an anchorer or witness picks up
`GET /v1/records?agent=&from=`	the records, for a verifier
`GET /v1/proof?agent=&step=`	an inclusion proof against the current tree
`GET /v1/agents`	the agents this gateway judges for, the platform, and whether it is dry
`GET /v1/attachment?agent=&step=&name=`	what was written beside a record: `premises` or `action`
`GET /v1/key`	the public key, issuer and platform
`GET /v1/attestation`	the hardware's record binding the key, or 404 when software attests

A grant may name the hand's own public key as submitter_key: every submission must then be signed by it, Control-Signature carrying the Ed25519 signature over the request body in hex, and the record says control_submitter: verified; an unsigned or wrongly signed submission is refused and the refusal recorded (row 5.1.2). Parameters are held to a schema per kind (row 4.1.4).

A grant may name the principal's public key as principal_key: every submission must then carry capability, a token the principal signed for the task (capability package: who, for which agent and gateway, which kinds on which resources, until when), and the gateway takes the intersection of grant and capability, so a capability narrows and never widens (rows 4.2.1, 4.2.3, 5.1.3). The record carries the token's digest and the task it names.

client_token in the configuration, when set, is what a hand must present as a bearer token to submit: a gateway reached from another machine holds credentials and judges within grants, and without it anyone who can reach the port could make it act. Reading stays open; evidence is for strangers.

docs/verify-yourself.md is the recipe for a stranger: the mirror, this verifier, and the key from the DID log, no credentials. verify --gateway URL reads everything from a running gateway over HTTP, agents, records, attachments, attestation and the live checkpoint, so a stranger verifies without the store directory; --key holds it to a key obtained elsewhere, such as the DID document. verify --store DIR --key HEX [--checkpoint FILE] [--anchors DIR] replays everything with nothing but the store, the public key and the measurement, and, given the receipts, that the chain extends every anchored head.

Anchoring, outside

anchor is a separate binary that never holds a key. It reads the signed checkpoint from the gateway, verifies the signature under the key the gateway publishes, posts the checkpoint bytes to a backend, and keeps what the backend answered as a receipt, one per tree size and backend. A size already anchored is skipped, so running it every minute costs nothing when nothing moved.

anchor pin --gateway http://127.0.0.1:8471 --agent DID --out anchors --tsa http://timestamp.digicert.com
anchor pin --gateway http://127.0.0.1:8471 --agent DID --out anchors --hedera operator.json
anchor check --out anchors --agent DID --key HEX [--offline]

Two backends from the start, so that no ledger is load-bearing and a third is an afternoon: an RFC 3161 timestamp authority (a signed timestamp over the checkpoint's hash from a public authority, no account, verified offline against the certificate in the token) and Hedera Consensus Service (a consensus timestamp from a public ledger, kept as the mirror node returned it). The standard accepts either, and running both makes presenting two histories to two readers a matter of forging two independent parties.

What this design gives up on purpose: nothing inside the gateway knows a ledger exists. A client who wants the anchor inside their own consortium chain writes a backend against this interface and never touches the measured core.

Checked against what is not ours

go test ./... proves the pieces against the standard's own vectors: the canonical form byte for byte, its published tokens re-signed identically under its published seed, the tree against the RFC's recursive definition. tools/crosscheck.py then replays a chain this gateway wrote with the standard's validator, its reference verifier, and the ProveML JavaScript package as a second judge of every certificate, none of which is this repository's code. CI runs both.

What it is, no larger than the evidence supports

Software attestation, today. The standard's own validator says it on every token: platform SOFTWARE, Tier 2 at most. The records prove they were not altered after the gateway wrote them, that the chain is whole, and that a stranger can replay every judgement; they do not yet prove the operator could not have written them differently.

The move to Tier 3 is built and waits for a machine. The attest package binds the evidence key to an Intel TDX quote the way the standard's reference does: REPORTDATA is SHA-512 of poc-evidence-key\0 and the public key, so the hardware's signature covers both the code that runs and the key it holds. With "attestation": "tdx" in its configuration the gateway asks the hardware for that quote at start, refuses to run without one, writes the record as attestation.json beside the store and serves it at /v1/attestation; every token then says platform INTEL_TDX with the MRTD, a sha-384 digest, as its measurement. verify --attestation attestation.json checks the quote under Intel's roots (collateral from Intel's provisioning service unless --offline), that it binds the key given, and that every record carries that MRTD. Tested against the quote Google ships with go-tdx-guest: it parses, verifies at the date its certificates were valid, and a copy with our key's digest written into REPORTDATA binds the key and fails Intel's signature, which is the two checks being separate on purpose. What remains is a confidential VM to run it on, and the disclosure page saying so.

Apache-2.0. Offered to the Advanced AI Society as a lab project beside the reason-as-evidence profile.

Directories ¶

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL

Path	Synopsis
anchor Package anchor pins a gateway's signed checkpoint outside the operator's control.	Package anchor pins a gateway's signed checkpoint outside the operator's control.
attest Package attest binds the evidence signing key to a hardware measurement: an Intel TDX quote whose REPORTDATA carries the digest of the key, so the hardware's signature covers both the code that runs and the key it holds.	Package attest binds the evidence signing key to a hardware measurement: an Intel TDX quote whose REPORTDATA carries the digest of the key, so the hardware's signature covers both the code that runs and the key it holds.
canonical Package canonical is the canonical form an evidence digest commits to: RFC 8785 (JSON Canonicalization Scheme) as the Proof-of-Control standard pins it down in schema/canonicalization.md.	Package canonical is the canonical form an evidence digest commits to: RFC 8785 (JSON Canonicalization Scheme) as the Proof-of-Control standard pins it down in schema/canonicalization.md.
capability Package capability is the per-task authorization token a principal issues for one piece of work (rows 4.2.1, 5.1.3): who may do what, where, until when, signed by the principal's key, carried by the hand into every submission, and held by the gateway to the standing grant.	Package capability is the per-task authorization token a principal issues for one piece of work (rows 4.2.1, 5.1.3): who may do what, where, until when, signed by the principal's key, carried by the hand into every submission, and held by the gateway to the standing grant.
cmd
anchor command anchor pins a gateway's signed checkpoint outside the operator's control and keeps the receipt.	anchor pins a gateway's signed checkpoint outside the operator's control and keeps the receipt.
demo command demo writes a small evidence chain into a directory: an allowed dispatch with verified premises, a proposal, a refused merge, and a dispatch whose premises fail, each as the three records the service writes (request, effect, result; row 7.1.2).	demo writes a small evidence chain into a directory: an allowed dispatch with verified premises, a proposal, a refused merge, and a dispatch whose premises fail, each as the three records the service writes (request, effect, result; row 7.1.2).
gateway command gateway is the control gateway as a service: hands propose over HTTP, the gateway judges, writes the evidence and performs the effect with credentials the hands never see.	gateway is the control gateway as a service: hands propose over HTTP, the gateway judges, writes the evidence and performs the effect with credentials the hands never see.
relying command relying is the far end: run it on a runner before it acts on a dispatch, or as a merge check on a pull request.	relying is the far end: run it on a runner before it acts on a dispatch, or as a merge check on a pull request.
verify command verify replays the evidence a gateway wrote, with nothing but the store, the public key and the measurement: every chain, every record's premises against the material beside it, and the checkpoint against the head.	verify replays the evidence a gateway wrote, with nothing but the store, the public key and the measurement: every chain, every record's premises against the material beside it, and the checkpoint against the head.
effects Package effects performs the effect an allowed action names, with credentials the hands never see.	Package effects performs the effect an allowed action names, with credentials the hands never see.
evidence Package evidence is the Proof-of-Control claim set and its signature: the token an attesting environment issues for one intercepted action, in the shape the standard's schema and canonical form fix (profile v0.1), so the standard's own validator and reference verifier read it unchanged.	Package evidence is the Proof-of-Control claim set and its signature: the token an attesting environment issues for one intercepted action, in the shape the standard's schema and canonical form fix (profile v0.1), so the standard's own validator and reference verifier read it unchanged.
gateway Package gateway is the Action Interception Gateway together with the attesting environment the reference keeps beside it: one intercepted step evaluates the premises, then the policy, extends the chain and the tree, signs a token, writes it durably, and only then answers.	Package gateway is the Action Interception Gateway together with the attesting environment the reference keeps beside it: one intercepted step evaluates the premises, then the policy, extends the chain and the tree, signs a token, writes it durably, and only then answers.
log Package log is the durable evidence log: one append-only JSON Lines file per agent, a secondary log for the times the primary could not be written, and attachments beside a record (the premises a token's digests cover).	Package log is the durable evidence log: one append-only JSON Lines file per agent, a secondary log for the times the primary could not be written, and attachments beside a record (the premises a token's digests cover).
merkle Package merkle is the append-only tree of RFC 6962 section 2, hash for hash the tree the Proof-of-Control reference implementation keeps beside its chain: a verifier checks one record among a million with a dozen hashes (inclusion), and that a newer root extends an older one without rewriting anything (consistency).	Package merkle is the append-only tree of RFC 6962 section 2, hash for hash the tree the Proof-of-Control reference implementation keeps beside its chain: a verifier checks one record among a million with a dozen hashes (inclusion), and that a newer root extends an older one without rewriting anything (consistency).
policy Package policy is the deterministic policy over (action, path summary): the same inputs give the same verdict, with no lookup a stranger cannot repeat.	Package policy is the deterministic policy over (action, path summary): the same inputs give the same verdict, with no lookup a stranger cannot repeat.
premises Package premises is the reason-as-evidence profile: a hand states the premises of an action as a ProveML certificate, the gateway verifies it against a snapshot, a registry and a provenance map before the grant is consulted, and the digests ride in the token as the profile's seven claims.	Package premises is the reason-as-evidence profile: a hand states the premises of an action as a ProveML certificate, the gateway verifies it against a snapshot, a registry and a provenance map before the grant is consulted, and the digests ride in the token as the profile's seven claims.
relying Package relying is the far end (row 8.3.5): what a runner or a merge check does with the evidence a dispatch or a pull request carries, before it acts.	Package relying is the far end (row 8.3.5): what a runner or a merge check does with the evidence a dispatch or a pull request carries, before it acts.