diff --git a/public/ambient-verification.html b/public/ambient-verification.html index ef58300..7676152 100644 --- a/public/ambient-verification.html +++ b/public/ambient-verification.html @@ -45,7 +45,7 @@ - +
diff --git a/public/api.html b/public/api.html index be3bae4..fafcd69 100644 --- a/public/api.html +++ b/public/api.html @@ -27,7 +27,7 @@ diff --git a/public/canonical-receipts.html b/public/canonical-receipts.html index ec91095..500dab3 100644 --- a/public/canonical-receipts.html +++ b/public/canonical-receipts.html @@ -13,7 +13,7 @@ - +
Moved

Canonical Receipts moved.

Canonical receipt structure, proof fields, metadata.trace, metadata.proof, and verification lifecycle are now documented in the CommandLayer Receipts reference.

Read Receipts

Verify a Receipt · View Live Proof

diff --git a/public/capabilities.html b/public/capabilities.html index 41afc23..d03e8b5 100644 --- a/public/capabilities.html +++ b/public/capabilities.html @@ -27,7 +27,7 @@
Capabilities

Capability Families
for Verifiable Agent Actions

Capabilities define the action surface CommandLayer can describe. Receipts prove what happened. Trust Verification is live. Additional families are draft/planned as the protocol expands.

View Proof
diff --git a/public/claim.html b/public/claim.html index 9774549..fdd2101 100644 --- a/public/claim.html +++ b/public/claim.html @@ -246,7 +246,7 @@ diff --git a/public/docs.html b/public/docs.html index 56a990f..5da4792 100644 --- a/public/docs.html +++ b/public/docs.html @@ -59,7 +59,7 @@ diff --git a/public/docs/scoped-execution-settlement.html b/public/docs/scoped-execution-settlement.html index d5bc709..c2a2890 100644 --- a/public/docs/scoped-execution-settlement.html +++ b/public/docs/scoped-execution-settlement.html @@ -15,7 +15,7 @@ - +
clas.execution.receipt.v1

Scoped execution and settlement receipts

Private settlement, public accountability. CommandLayer receipts can prove what an agent executed while separately proving that a payment rail, payer, or settlement authority attested settlement without exposing private payment data.

Execution and settlement are independently attested.
The ENS capability name is the durable proof identity.
Payment addresses can rotate, hide, or settle privately.

diff --git a/public/docs/wrap-your-agent.html b/public/docs/wrap-your-agent.html index 56d2a8f..5681124 100644 --- a/public/docs/wrap-your-agent.html +++ b/public/docs/wrap-your-agent.html @@ -19,7 +19,7 @@ diff --git a/public/execution-receipt-demo.html b/public/execution-receipt-demo.html index 9cdc878..c2a8c39 100644 --- a/public/execution-receipt-demo.html +++ b/public/execution-receipt-demo.html @@ -15,7 +15,7 @@ - +

Execution receipt demo

Private settlement, public accountability. These examples show how clas.execution.receipt.v1 scopes signatures so execution and settlement are independently attested.

Verify in VerifyAgent paste flow Read docs

Execution and settlement are independently attested.
The ENS capability name is the durable proof identity.
Payment addresses can rotate, hide, or settle privately.

diff --git a/public/genesis-proof.html b/public/genesis-proof.html index 29b4db2..cc08aee 100644 --- a/public/genesis-proof.html +++ b/public/genesis-proof.html @@ -34,7 +34,7 @@
diff --git a/public/index.html b/public/index.html index 1ead02a..f3f6cb6 100644 --- a/public/index.html +++ b/public/index.html @@ -570,6 +570,15 @@ } + .stack-section { padding: 72px 0; background: var(--surface); } + .stack-section .section-h2 { max-width: 900px; } + .stack-grid { display: grid; grid-template-columns: repeat(5, 1fr); gap: 14px; margin-top: 32px; } + .stack-card { display: flex; flex-direction: column; gap: 6px; padding: 20px; border: 1px solid var(--border); border-radius: 14px; background: #fff; } + .stack-card strong { color: var(--text); font-size: 15px; } + .stack-card span { color: var(--muted); font-size: 13px; } + @media (max-width: 900px) { .stack-grid { grid-template-columns: 1fr 1fr; } } + @media (max-width: 560px) { .stack-grid { grid-template-columns: 1fr; } } + .live-proof-intro { padding: 72px 0 28px; text-align:center; } .live-proof-intro h2 { font-size: clamp(2rem,4vw,3.2rem); line-height:1.15; letter-spacing:-0.03em; } .live-proof-intro .grad { background: linear-gradient(100deg,#2563eb,#7c3aed); -webkit-background-clip:text; color:transparent; } @@ -1035,6 +1044,17 @@ .api-top { flex-direction: column; } } .nav-links a:hover,.nav-drop:hover>a,.nav-drop:focus-within>a,.nav-drop>a.active{color:var(--text);background:var(--surface)}.nav-drop{position:relative}.nav-drop>a{display:inline-flex;align-items:center;gap:4px}.nav-drop-menu{position:absolute;top:calc(100% - 1px);left:0;background:#fff;border:1px solid var(--border);border-radius:12px;box-shadow:0 10px 34px rgba(15,23,42,.12);padding:8px;display:none;min-width:260px;z-index:200}.nav-drop-menu::before{content:"";position:absolute;left:0;right:0;top:-8px;height:8px}.nav-drop-menu a{display:block;white-space:nowrap}.nav-drop:hover .nav-drop-menu,.nav-drop:focus-within .nav-drop-menu{display:grid}@media(max-width:900px){.nav-drop{width:100%}.nav-drop-menu{position:static;display:grid;margin-top:2px;min-width:0;box-shadow:none}} + @@ -1042,7 +1062,7 @@ @@ -1171,6 +1191,20 @@

Verifiable proof for AI agent actions.

+
+
+

The verification stack

+

ERC-8004 proves who the agent is. CLAS proves what the agent did. CommandLayer verifies the receipt.

+
+
ENSAgent identity
+
ERC-8004Agent discovery
+
Agent cardMachine-readable metadata
+
CLAS receiptSigned proof of action
+
VerifyAgentPublic verification
+
+
+
+

From preview to production

diff --git a/public/integrations.html b/public/integrations.html index 05269dd..3ba0859 100644 --- a/public/integrations.html +++ b/public/integrations.html @@ -39,7 +39,7 @@ - +
Docs

Integrations

External systems authenticate events, payments, or actions in their own way. CommandLayer signs the normalized result as a portable receipt that can be verified independently.

diff --git a/public/proof-flow-composer.html b/public/proof-flow-composer.html index 1389c2c..2cc7f88 100644 --- a/public/proof-flow-composer.html +++ b/public/proof-flow-composer.html @@ -37,7 +37,7 @@ - +
Demo

Proof Flow Composer

This demo is now part of Live Proof. Open /proof.html for the complete proof hub.

Simulate an external Coinbase event, generate a signed receipt, and verify it in one trace-linked flow.

diff --git a/public/protocol.html b/public/protocol.html index 9d92ea1..e299794 100644 --- a/public/protocol.html +++ b/public/protocol.html @@ -51,7 +51,7 @@ diff --git a/public/receipts.html b/public/receipts.html index e85bd1b..4a96a61 100644 --- a/public/receipts.html +++ b/public/receipts.html @@ -49,7 +49,7 @@
diff --git a/public/runtime-core.html b/public/runtime-core.html index 52e80f8..af4126f 100644 --- a/public/runtime-core.html +++ b/public/runtime-core.html @@ -13,7 +13,7 @@ - +
runtime-core

The crypto truth layer for CommandLayer receipts.

runtime-core defines the canonicalization, hashing, signing, and verification primitives used to produce and validate CommandLayer receipts.

What runtime-core does

Canonicalizes receipt payloads.
Computes SHA-256 hashes.
Signs receipts with Ed25519.
Verifies Ed25519 signatures.
Checks metadata.proof integrity.
Detects tampering.
diff --git a/public/runtime.html b/public/runtime.html index b1378e7..17e17db 100644 --- a/public/runtime.html +++ b/public/runtime.html @@ -24,7 +24,7 @@ - +
Runtime

Runtime signs canonical receipts.

The runtime is the production signer and execution layer for CommandLayer receipts. It executes actions, emits metadata.proof, and powers verification workflows.

View Production ProofTry Verifier

What runtime does

  • Executes actions.
  • Emits metadata.proof receipts.
  • Signs receipts with Ed25519.
  • Exposes /verify.
  • Supports Trust Verification v1 endpoints.
diff --git a/public/schemas.html b/public/schemas.html index 85bc057..cc8a0cb 100644 --- a/public/schemas.html +++ b/public/schemas.html @@ -41,7 +41,7 @@ diff --git a/public/sdk-records.html b/public/sdk-records.html index 81aa330..25e7057 100644 --- a/public/sdk-records.html +++ b/public/sdk-records.html @@ -50,7 +50,7 @@
diff --git a/public/stack-proof-demo.html b/public/stack-proof-demo.html index 3b3ff47..b042ec0 100644 --- a/public/stack-proof-demo.html +++ b/public/stack-proof-demo.html @@ -46,7 +46,7 @@ diff --git a/public/trust-verification.html b/public/trust-verification.html index 5938930..1e92ae4 100644 --- a/public/trust-verification.html +++ b/public/trust-verification.html @@ -13,7 +13,7 @@ - +
Moved

Trust Verification moved.

Trust Verification verbs and receipt verification semantics are now documented in the CommandLayer Receipts reference.

Read Receipts

Explore Capabilities · Verify a Receipt · View Live Proof

diff --git a/public/verify-badge-demo.html b/public/verify-badge-demo.html index ba5c5a0..e9926cd 100644 --- a/public/verify-badge-demo.html +++ b/public/verify-badge-demo.html @@ -48,7 +48,7 @@ diff --git a/public/verify.html b/public/verify.html index 0dcd881..2a0ca0a 100644 --- a/public/verify.html +++ b/public/verify.html @@ -47,7 +47,7 @@
diff --git a/public/verifyagent.html b/public/verifyagent.html index e1e7d90..7523abc 100644 --- a/public/verifyagent.html +++ b/public/verifyagent.html @@ -13,7 +13,7 @@ - +
Moved

VerifyAgent moved.

VerifyAgent is now explained as part of the CommandLayer Receipts reference. VerifyAgent is the reference verifier for CommandLayer receipts; it does not sign receipts, execute actions, or hold runtime keys.

Read Receipts

Verify a Receipt · View Live Proof · Production Proof

diff --git a/public/webhook-auto-verify.html b/public/webhook-auto-verify.html index 3b14014..2fad282 100644 --- a/public/webhook-auto-verify.html +++ b/public/webhook-auto-verify.html @@ -47,7 +47,7 @@