@zanii/core 0.1.0

package/LICENSE

@@ -0,0 +1,159 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or Derivative
+          Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or agreed
+      to in writing, Licensor provides the Work (and each Contributor
+      provides its Contributions) on an "AS IS" BASIS, WITHOUT WARRANTIES
+      OR CONDITIONS OF ANY KIND, either express or implied, including,
+      without limitation, any warranties or conditions of TITLE,
+      NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A PARTICULAR PURPOSE.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor.
+
+   END OF TERMS AND CONDITIONS
+
+   Copyright 2026 Zanii
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -0,0 +1,64 @@
+# @zanii/core
+
+The Zanii protocol as pure functions — **no I/O, no network, no trusted party.**
+Agent identities (`did:key`), scoped delegation certificates, signed action
+receipts, RFC 6962 Merkle transparency-log proofs, and self-contained audit
+bundles. Everything here is deterministic; use it to build proofs, or to
+**verify** them independently of any Zanii server.
+
+If you want to instrument a live agent (batching, HTTP ingest, tool wrapping),
+use [`@zanii/sdk`](https://www.npmjs.com/package/@zanii/sdk), which builds on
+this.
+
+```sh
+npm install @zanii/core
+```
+
+## Verify a receipt, offline
+
+```ts
+import {
+  generateKeypair,
+  createCert,
+  createReceipt,
+  hashPayload,
+  verifyReceipt,
+} from '@zanii/core';
+
+const owner = generateKeypair();
+const agent = generateKeypair();
+const cert = createCert(
+  { issuer: owner.did, subject: agent.did, scopes: ['crm.*'], exp: '2027-01-01T00:00:00Z' },
+  owner.privateKey,
+);
+const receipt = createReceipt(
+  {
+    agentId: agent.did,
+    delegation: [cert],
+    action: 'tool_call',
+    target: 'crm.lookup',
+    payloadHash: hashPayload(JSON.stringify({ email: 'a@b.co' })),
+    ts: new Date().toISOString(),
+    prev: null,
+  },
+  agent.privateKey,
+);
+
+// Checks the signature, the delegation chain, and that the action is in scope —
+// with no server and no trust.
+const result = verifyReceipt(receipt);
+if (!result.ok) throw new Error(result.error);
+```
+
+`verifyAuditBundle(bundle)` does the same for a complete exported history at
+once: every receipt's signature and Merkle inclusion, the per-agent hash chain,
+revocations, and on-chain anchor consistency.
+
+## Links
+
+- **Docs & concepts** — https://ledger.zanii.agency/docs
+- **Live transparency log** — https://ledger.zanii.agency
+
+## License
+
+Apache-2.0.

package/dist/a2a.d.ts

@@ -0,0 +1,58 @@
+import { type DelegationCert } from './delegation.js';
+import type { VerifyResult } from './receipt.js';
+export interface A2AParty {
+    agent_id: string;
+    delegation: DelegationCert[];
+    prev: string | null;
+    sig: string;
+}
+export interface A2AReceipt {
+    v: 1;
+    type: 'a2a';
+    action: string;
+    target: string;
+    payload_hash: string;
+    ts: string;
+    initiator: A2AParty;
+    responder: A2AParty;
+}
+/** The body both parties sign: the receipt with both sig fields removed. */
+export type A2ABody = Omit<A2AReceipt, 'initiator' | 'responder'> & {
+    initiator: Omit<A2AParty, 'sig'>;
+    responder: Omit<A2AParty, 'sig'>;
+};
+export declare function buildA2ABody(fields: {
+    action: string;
+    target: string;
+    payloadHash: string;
+    ts: string;
+    initiator: Omit<A2AParty, 'sig'>;
+    responder: Omit<A2AParty, 'sig'>;
+}): A2ABody;
+/** Both parties sign the identical body — order-independent. */
+export declare function signA2ABody(body: A2ABody, privateKey: Uint8Array): string;
+export declare function assembleA2AReceipt(body: A2ABody, initiatorSig: string, responderSig: string): A2AReceipt;
+/** Hash of the full receipt (both sigs) — what both agents' next `prev` points to. */
+export declare function a2aHash(receipt: A2AReceipt): string;
+export declare function bodyOf(receipt: A2AReceipt): A2ABody;
+/** Full A2A verification per SPEC §9. `expectedPrevFor` maps agent DID → required prev. */
+export declare function verifyA2AReceipt(receipt: A2AReceipt, opts?: {
+    revoked?: Set<string>;
+    expectedPrevFor?: Record<string, string | null>;
+}): VerifyResult;
+/** The DIDs participating in any log receipt (solo or a2a). */
+export declare function participantsOf(entry: {
+    agent_id?: string;
+    type?: string;
+    initiator?: A2AParty;
+    responder?: A2AParty;
+}): string[];
+/** The `prev` a given participant declared in a log receipt, or undefined if not a party. */
+export declare function prevFor(entry: {
+    agent_id?: string;
+    prev?: string | null;
+    type?: string;
+    initiator?: A2AParty;
+    responder?: A2AParty;
+}, agentId: string): string | null | undefined;
+//# sourceMappingURL=a2a.d.ts.map

package/dist/a2a.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"a2a.d.ts","sourceRoot":"","sources":["../src/a2a.ts"],"names":[],"mappings":"AAOA,OAAO,EAA4B,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAChF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,MAAM,WAAW,QAAQ;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,UAAU;IACzB,CAAC,EAAE,CAAC,CAAC;IACL,IAAI,EAAE,KAAK,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,QAAQ,CAAC;IACpB,SAAS,EAAE,QAAQ,CAAC;CACrB;AAED,4EAA4E;AAC5E,MAAM,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,WAAW,GAAG,WAAW,CAAC,GAAG;IAClE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACjC,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;CAClC,CAAC;AAEF,wBAAgB,YAAY,CAAC,MAAM,EAAE;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACjC,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;CAClC,GAAG,OAAO,CAeV;AAED,gEAAgE;AAChE,wBAAgB,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,GAAG,MAAM,CAEzE;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,UAAU,CAMxG;AAED,sFAAsF;AACtF,wBAAgB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,MAAM,CAEnD;AAED,wBAAgB,MAAM,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAInD;AAaD,2FAA2F;AAC3F,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,UAAU,EACnB,IAAI,GAAE;IAAE,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAAC,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAA;CAAO,GACpF,YAAY,CAsBd;AAED,+DAA+D;AAC/D,wBAAgB,cAAc,CAAC,KAAK,EAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;IAAC,SAAS,CAAC,EAAE,QAAQ,CAAA;CAAE,GAAG,MAAM,EAAE,CAGhI;AAED,6FAA6F;AAC7F,wBAAgB,OAAO,CACrB,KAAK,EAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;IAAC,SAAS,CAAC,EAAE,QAAQ,CAAA;CAAE,EAC7G,OAAO,EAAE,MAAM,GACd,MAAM,GAAG,IAAI,GAAG,SAAS,CAO3B"}

package/dist/a2a.js

@@ -0,0 +1,102 @@
+/**
+ * Cross-org co-signed receipts — SPEC §9. One interaction, two signers, one
+ * neutral proof that enters both agents' hash chains.
+ */
+import { ed25519 } from '@noble/curves/ed25519';
+import { canonicalBytes, decodeSig, encodeSig, jcsHash } from './encoding.js';
+import { publicKeyFromDid } from './keys.js';
+import { scopesAllow, verifyChain } from './delegation.js';
+export function buildA2ABody(fields) {
+    if (Number.isNaN(Date.parse(fields.ts)))
+        throw new Error(`invalid ts timestamp: ${fields.ts}`);
+    if (fields.initiator.agent_id === fields.responder.agent_id) {
+        throw new Error('initiator and responder must be distinct agents');
+    }
+    return {
+        v: 1,
+        type: 'a2a',
+        action: fields.action,
+        target: fields.target,
+        payload_hash: fields.payloadHash,
+        ts: fields.ts,
+        initiator: fields.initiator,
+        responder: fields.responder,
+    };
+}
+/** Both parties sign the identical body — order-independent. */
+export function signA2ABody(body, privateKey) {
+    return encodeSig(ed25519.sign(canonicalBytes(body), privateKey));
+}
+export function assembleA2AReceipt(body, initiatorSig, responderSig) {
+    return {
+        ...body,
+        initiator: { ...body.initiator, sig: initiatorSig },
+        responder: { ...body.responder, sig: responderSig },
+    };
+}
+/** Hash of the full receipt (both sigs) — what both agents' next `prev` points to. */
+export function a2aHash(receipt) {
+    return jcsHash(receipt);
+}
+export function bodyOf(receipt) {
+    const { sig: _i, ...initiator } = receipt.initiator;
+    const { sig: _r, ...responder } = receipt.responder;
+    return { ...receipt, initiator, responder };
+}
+function partySigOk(body, party) {
+    const pub = publicKeyFromDid(party.agent_id);
+    const sig = decodeSig(party.sig);
+    if (!pub || !sig)
+        return false;
+    try {
+        return ed25519.verify(sig, canonicalBytes(body), pub);
+    }
+    catch {
+        return false;
+    }
+}
+/** Full A2A verification per SPEC §9. `expectedPrevFor` maps agent DID → required prev. */
+export function verifyA2AReceipt(receipt, opts = {}) {
+    if (receipt.v !== 1 || receipt.type !== 'a2a')
+        return { ok: false, error: 'not an a2a receipt' };
+    if (receipt.initiator.agent_id === receipt.responder.agent_id) {
+        return { ok: false, error: 'initiator and responder must be distinct' };
+    }
+    const ts = new Date(receipt.ts);
+    if (Number.isNaN(ts.getTime()))
+        return { ok: false, error: 'invalid ts' };
+    const body = bodyOf(receipt);
+    for (const [role, party] of [['initiator', receipt.initiator], ['responder', receipt.responder]]) {
+        if (!partySigOk(body, party))
+            return { ok: false, error: `${role}: bad signature` };
+        const chain = verifyChain(party.delegation, { agentId: party.agent_id, revoked: opts.revoked, at: ts });
+        if (!chain.ok)
+            return { ok: false, error: `${role} delegation: ${chain.error}` };
+        if (!scopesAllow(chain.effectiveScopes, receipt.target)) {
+            return { ok: false, error: `${role}: target ${receipt.target} outside effective scopes` };
+        }
+        const expected = opts.expectedPrevFor?.[party.agent_id];
+        if (expected !== undefined && party.prev !== expected) {
+            return { ok: false, error: `${role}: prev hash does not match chain head (chain broken)` };
+        }
+    }
+    return { ok: true };
+}
+/** The DIDs participating in any log receipt (solo or a2a). */
+export function participantsOf(entry) {
+    if (entry.type === 'a2a')
+        return [entry.initiator.agent_id, entry.responder.agent_id];
+    return entry.agent_id ? [entry.agent_id] : [];
+}
+/** The `prev` a given participant declared in a log receipt, or undefined if not a party. */
+export function prevFor(entry, agentId) {
+    if (entry.type === 'a2a') {
+        if (entry.initiator?.agent_id === agentId)
+            return entry.initiator.prev;
+        if (entry.responder?.agent_id === agentId)
+            return entry.responder.prev;
+        return undefined;
+    }
+    return entry.agent_id === agentId ? entry.prev : undefined;
+}
+//# sourceMappingURL=a2a.js.map

package/dist/a2a.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"a2a.js","sourceRoot":"","sources":["../src/a2a.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAuB,MAAM,iBAAiB,CAAC;AA2BhF,MAAM,UAAU,YAAY,CAAC,MAO5B;IACC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/F,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,KAAK,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;IACD,OAAO;QACL,CAAC,EAAE,CAAC;QACJ,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,WAAW;QAChC,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,SAAS,EAAE,MAAM,CAAC,SAAS;KAC5B,CAAC;AACJ,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,WAAW,CAAC,IAAa,EAAE,UAAsB;IAC/D,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAa,EAAE,YAAoB,EAAE,YAAoB;IAC1F,OAAO;QACL,GAAG,IAAI;QACP,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,YAAY,EAAE;QACnD,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,YAAY,EAAE;KACpD,CAAC;AACJ,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,OAAO,CAAC,OAAmB;IACzC,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,OAAmB;IACxC,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC;IACpD,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC;IACpD,OAAO,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;AAC9C,CAAC;AAED,SAAS,UAAU,CAAC,IAAa,EAAE,KAAe;IAChD,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC;IAC/B,IAAI,CAAC;QACH,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IACxD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,gBAAgB,CAC9B,OAAmB,EACnB,OAAmF,EAAE;IAErF,IAAI,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC;IACjG,IAAI,OAAO,CAAC,SAAS,CAAC,QAAQ,KAAK,OAAO,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC9D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,0CAA0C,EAAE,CAAC;IAC1E,CAAC;IACD,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;IAE1E,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC,CAAU,EAAE,CAAC;QAC1G,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACpF,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACxG,IAAI,CAAC,KAAK,CAAC,EAAE;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,IAAI,gBAAgB,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;QACjF,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,eAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACzD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,IAAI,YAAY,OAAO,CAAC,MAAM,2BAA2B,EAAE,CAAC;QAC5F,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,IAAI,sDAAsD,EAAE,CAAC;QAC7F,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,cAAc,CAAC,KAAuF;IACpH,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,CAAC,KAAK,CAAC,SAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAU,CAAC,QAAQ,CAAC,CAAC;IACxF,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,OAAO,CACrB,KAA6G,EAC7G,OAAe;IAEf,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,SAAS,EAAE,QAAQ,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC;QACvE,IAAI,KAAK,CAAC,SAAS,EAAE,QAAQ,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC;QACvE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAE,KAAK,CAAC,IAAsB,CAAC,CAAC,CAAC,SAAS,CAAC;AAChF,CAAC"}

package/dist/bundle.d.ts

@@ -0,0 +1,55 @@
+import { type RevocationRecord } from './delegation.js';
+import { type SignedTreeHead } from './sth.js';
+import { type Receipt } from './receipt.js';
+import { type A2AReceipt } from './a2a.js';
+export interface BundledReceipt {
+    receipt: Receipt | A2AReceipt;
+    hash: string;
+    index: number;
+    proof: string[];
+}
+export interface BundledRevocation {
+    revocation: RevocationRecord;
+    cert_hash: string;
+    index: number;
+    proof: string[];
+}
+export interface BundledAnchor {
+    sth: SignedTreeHead;
+    backend: string;
+    ref: string;
+    block?: number;
+    anchored_at: string;
+    /** Consistency proof from the anchored tree to this bundle's STH. */
+    consistency_proof: string[];
+}
+export interface AuditBundle {
+    v: 1;
+    bundle_type: 'zanii-audit-bundle';
+    generated_at: string;
+    log_id: string;
+    agent_id: string;
+    sth: SignedTreeHead;
+    receipts: BundledReceipt[];
+    revocations: BundledRevocation[];
+    anchors: BundledAnchor[];
+}
+export interface BundleCheck {
+    label: string;
+    ok: boolean;
+    detail?: string;
+}
+export interface BundleReport {
+    ok: boolean;
+    checks: BundleCheck[];
+    stats: {
+        receipts: number;
+        first_ts: string | null;
+        last_ts: string | null;
+        revoked_certs: number;
+        anchored_through: number | null;
+    };
+}
+/** Fully verify an audit bundle offline. Every failure is reported, none throws. */
+export declare function verifyAuditBundle(bundle: AuditBundle): BundleReport;
+//# sourceMappingURL=bundle.d.ts.map

package/dist/bundle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundle.d.ts","sourceRoot":"","sources":["../src/bundle.ts"],"names":[],"mappings":"AAOA,OAAO,EAA8B,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEpF,OAAO,EAAa,KAAK,cAAc,EAAE,MAAM,UAAU,CAAC;AAC1D,OAAO,EAAiB,KAAK,OAAO,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAA6C,KAAK,UAAU,EAAE,MAAM,UAAU,CAAC;AAEtF,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,OAAO,GAAG,UAAU,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,gBAAgB,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,cAAc,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,WAAW;IAC1B,CAAC,EAAE,CAAC,CAAC;IACL,WAAW,EAAE,oBAAoB,CAAC;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,cAAc,CAAC;IACpB,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,OAAO,EAAE,aAAa,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,KAAK,EAAE;QACL,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QACxB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QACvB,aAAa,EAAE,MAAM,CAAC;QACtB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;KACjC,CAAC;CACH;AAID,oFAAoF;AACpF,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,WAAW,GAAG,YAAY,CAyGnE"}

package/dist/bundle.js

@@ -0,0 +1,92 @@
+/**
+ * Audit bundles — SPEC §8. A self-contained, offline-verifiable export of one
+ * agent's complete action history: receipts, proofs, revocations, anchors.
+ * verifyAuditBundle() is pure: no network, no trusted party.
+ */
+import { hexToBytes } from '@noble/hashes/utils';
+import { canonicalBytes, jcsHash } from './encoding.js';
+import { certHash, verifyRevocation } from './delegation.js';
+import { leafHash, verifyConsistency, verifyInclusion } from './merkle.js';
+import { verifySTH } from './sth.js';
+import { verifyReceipt } from './receipt.js';
+import { participantsOf, prevFor, verifyA2AReceipt } from './a2a.js';
+const root = (sth) => hexToBytes(sth.root.replace('sha256:', ''));
+/** Fully verify an audit bundle offline. Every failure is reported, none throws. */
+export function verifyAuditBundle(bundle) {
+    const checks = [];
+    const push = (label, ok, detail) => checks.push({ label, ok, detail });
+    try {
+        push('bundle format', bundle.v === 1 && bundle.bundle_type === 'zanii-audit-bundle');
+        push('signed tree head signature and log identity', verifySTH(bundle.sth) && bundle.sth.log_id === bundle.log_id, bundle.log_id);
+        // Receipts: signature/delegation/scope, identity, hash, inclusion, prev-chain continuity.
+        let receiptsOk = true;
+        let chainOk = true;
+        let expectedPrev = null;
+        const sorted = [...bundle.receipts].sort((a, b) => a.index - b.index);
+        for (const [i, br] of sorted.entries()) {
+            // revocation reported separately below
+            const check = br.receipt.type === 'a2a'
+                ? verifyA2AReceipt(br.receipt)
+                : verifyReceipt(br.receipt);
+            const identityOk = participantsOf(br.receipt).includes(bundle.agent_id);
+            const hashOk = jcsHash(br.receipt) === br.hash;
+            const inclusionOk = verifyInclusion(leafHash(canonicalBytes(br.receipt)), br.index, bundle.sth.size, br.proof.map(hexToBytes), root(bundle.sth));
+            if (!check.ok || !identityOk || !hashOk || !inclusionOk) {
+                receiptsOk = false;
+                push(`receipt #${i} (leaf ${br.index})`, false, check.error ?? 'hash/identity/inclusion mismatch');
+            }
+            if (prevFor(br.receipt, bundle.agent_id) !== expectedPrev)
+                chainOk = false;
+            expectedPrev = br.hash;
+        }
+        push(`all ${sorted.length} receipts: signature, delegation, scope, hash, Merkle inclusion`, receiptsOk);
+        push('per-agent hash chain is complete and unbroken (full history, no gaps)', chainOk);
+        // Revocations: issuer-signed and present in the tree.
+        let revocationsOk = true;
+        for (const bv of bundle.revocations) {
+            const sigOk = verifyRevocation(bv.revocation) && certHash(bv.revocation.cert) === bv.cert_hash;
+            const inclusionOk = verifyInclusion(leafHash(canonicalBytes(bv.revocation)), bv.index, bundle.sth.size, bv.proof.map(hexToBytes), root(bundle.sth));
+            if (!sigOk || !inclusionOk) {
+                revocationsOk = false;
+                push(`revocation of ${bv.cert_hash.slice(0, 24)}…`, false);
+            }
+        }
+        push(`all ${bundle.revocations.length} revocation records: issuer signature and Merkle inclusion`, revocationsOk);
+        // Anchors: each anchored STH verifies and the bundle tree is an append-only extension of it.
+        let anchorsOk = true;
+        let anchoredThrough = null;
+        for (const a of bundle.anchors) {
+            const sthOk = verifySTH(a.sth) && a.sth.log_id === bundle.log_id;
+            const consistent = verifyConsistency(a.sth.size, bundle.sth.size, root(a.sth), root(bundle.sth), a.consistency_proof.map(hexToBytes));
+            if (!sthOk || !consistent) {
+                anchorsOk = false;
+                push(`anchor ${a.ref}`, false, 'STH signature or consistency proof failed');
+            }
+            else {
+                anchoredThrough = Math.max(anchoredThrough ?? 0, a.sth.size);
+            }
+        }
+        push(`all ${bundle.anchors.length} anchors: anchored STH valid, bundle tree is append-only extension`, anchorsOk, anchoredThrough !== null ? `history immutable through leaf ${anchoredThrough - 1}` : undefined);
+        const revokedCertHashes = new Set(bundle.revocations.map((r) => r.cert_hash));
+        return {
+            ok: checks.every((c) => c.ok),
+            checks,
+            stats: {
+                receipts: sorted.length,
+                first_ts: sorted[0]?.receipt.ts ?? null,
+                last_ts: sorted[sorted.length - 1]?.receipt.ts ?? null,
+                revoked_certs: revokedCertHashes.size,
+                anchored_through: anchoredThrough,
+            },
+        };
+    }
+    catch (err) {
+        push('bundle parses and verifies without errors', false, String(err));
+        return {
+            ok: false,
+            checks,
+            stats: { receipts: 0, first_ts: null, last_ts: null, revoked_certs: 0, anchored_through: null },
+        };
+    }
+}
+//# sourceMappingURL=bundle.js.map

package/dist/bundle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundle.js","sourceRoot":"","sources":["../src/bundle.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAyB,MAAM,iBAAiB,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC3E,OAAO,EAAE,SAAS,EAAuB,MAAM,UAAU,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAgB,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,gBAAgB,EAAmB,MAAM,UAAU,CAAC;AAwDtF,MAAM,IAAI,GAAG,CAAC,GAAmB,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC;AAElF,oFAAoF;AACpF,MAAM,UAAU,iBAAiB,CAAC,MAAmB;IACnD,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,EAAW,EAAE,MAAe,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IAEjG,IAAI,CAAC;QACH,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,WAAW,KAAK,oBAAoB,CAAC,CAAC;QACrF,IAAI,CACF,6CAA6C,EAC7C,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAC5D,MAAM,CAAC,MAAM,CACd,CAAC;QAEF,0FAA0F;QAC1F,IAAI,UAAU,GAAG,IAAI,CAAC;QACtB,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,IAAI,YAAY,GAAkB,IAAI,CAAC;QACvC,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACtE,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACvC,uCAAuC;YACvC,MAAM,KAAK,GACR,EAAE,CAAC,OAAsB,CAAC,IAAI,KAAK,KAAK;gBACvC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,OAAqB,CAAC;gBAC5C,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,OAAkB,CAAC,CAAC;YAC3C,MAAM,UAAU,GAAG,cAAc,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACxE,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC;YAC/C,MAAM,WAAW,GAAG,eAAe,CACjC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,EACpC,EAAE,CAAC,KAAK,EACR,MAAM,CAAC,GAAG,CAAC,IAAI,EACf,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EACxB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CACjB,CAAC;YACF,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,EAAE,CAAC;gBACxD,UAAU,GAAG,KAAK,CAAC;gBACnB,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,KAAK,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,kCAAkC,CAAC,CAAC;YACrG,CAAC;YACD,IAAI,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,YAAY;gBAAE,OAAO,GAAG,KAAK,CAAC;YAC3E,YAAY,GAAG,EAAE,CAAC,IAAI,CAAC;QACzB,CAAC;QACD,IAAI,CAAC,OAAO,MAAM,CAAC,MAAM,iEAAiE,EAAE,UAAU,CAAC,CAAC;QACxG,IAAI,CAAC,uEAAuE,EAAE,OAAO,CAAC,CAAC;QAEvF,sDAAsD;QACtD,IAAI,aAAa,GAAG,IAAI,CAAC;QACzB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC;YAC/F,MAAM,WAAW,GAAG,eAAe,CACjC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,EACvC,EAAE,CAAC,KAAK,EACR,MAAM,CAAC,GAAG,CAAC,IAAI,EACf,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EACxB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CACjB,CAAC;YACF,IAAI,CAAC,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC;gBAC3B,aAAa,GAAG,KAAK,CAAC;gBACtB,IAAI,CAAC,iBAAiB,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,4DAA4D,EAAE,aAAa,CAAC,CAAC;QAElH,6FAA6F;QAC7F,IAAI,SAAS,GAAG,IAAI,CAAC;QACrB,IAAI,eAAe,GAAkB,IAAI,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC;YACjE,MAAM,UAAU,GAAG,iBAAiB,CAClC,CAAC,CAAC,GAAG,CAAC,IAAI,EACV,MAAM,CAAC,GAAG,CAAC,IAAI,EACf,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EACX,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAChB,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CACpC,CAAC;YACF,IAAI,CAAC,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC1B,SAAS,GAAG,KAAK,CAAC;gBAClB,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,2CAA2C,CAAC,CAAC;YAC9E,CAAC;iBAAM,CAAC;gBACN,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QACD,IAAI,CACF,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,oEAAoE,EAChG,SAAS,EACT,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,kCAAkC,eAAe,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAC/F,CAAC;QAEF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAC9E,OAAO;YACL,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,MAAM;YACN,KAAK,EAAE;gBACL,QAAQ,EAAE,MAAM,CAAC,MAAM;gBACvB,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,IAAI,IAAI;gBACvC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,IAAI,IAAI;gBACtD,aAAa,EAAE,iBAAiB,CAAC,IAAI;gBACrC,gBAAgB,EAAE,eAAe;aAClC;SACF,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,2CAA2C,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QACtE,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM;YACN,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE;SAChG,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/delegation.d.ts

@@ -0,0 +1,48 @@
+export interface DelegationCert {
+    v: 1;
+    issuer: string;
+    subject: string;
+    scopes: string[];
+    exp: string;
+    sig: string;
+}
+export interface ChainResult {
+    ok: boolean;
+    error?: string;
+    /** Only set when ok. Scopes the final subject may act under. */
+    effectiveScopes?: string[];
+}
+export declare function createCert(fields: {
+    issuer: string;
+    subject: string;
+    scopes: string[];
+    exp: string;
+}, issuerPrivateKey: Uint8Array): DelegationCert;
+/** Hash of the full cert (incl. sig) — the revocation identifier. */
+export declare function certHash(cert: DelegationCert): string;
+/** Does `scope` cover `target`? `a.*` covers `a`, `a.b`, `a.b.c`, `a.*`; `*` covers all. */
+export declare function scopeCovers(scope: string, target: string): boolean;
+export declare function scopesAllow(scopes: string[], target: string): boolean;
+/** In-log revocation record — SPEC §6. Only the cert's issuer can revoke it. */
+export interface RevocationRecord {
+    v: 1;
+    type: 'revocation';
+    cert: DelegationCert;
+    ts: string;
+    sig: string;
+}
+export declare function createRevocation(cert: DelegationCert, ts: string, issuerPrivateKey: Uint8Array): RevocationRecord;
+/** Valid iff the embedded cert verifies AND the record is signed by the cert's issuer. */
+export declare function verifyRevocation(record: RevocationRecord): boolean;
+export declare function verifyCertSignature(cert: DelegationCert): boolean;
+/**
+ * Validate a delegation chain (root first) per SPEC §2.
+ * `at` defaults to now; `revoked` is a set of cert hashes.
+ */
+export declare function verifyChain(chain: DelegationCert[], opts: {
+    agentId: string;
+    expectedRoot?: string;
+    revoked?: Set<string>;
+    at?: Date;
+}): ChainResult;
+//# sourceMappingURL=delegation.d.ts.map

package/dist/delegation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"delegation.d.ts","sourceRoot":"","sources":["../src/delegation.ts"],"names":[],"mappings":"AAIA,MAAM,WAAW,cAAc;IAC7B,CAAC,EAAE,CAAC,CAAC;IACL,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,OAAO,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,gEAAgE;IAChE,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,wBAAgB,UAAU,CACxB,MAAM,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,EAC1E,gBAAgB,EAAE,UAAU,GAC3B,cAAc,CAMhB;AAED,qEAAqE;AACrE,wBAAgB,QAAQ,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,CAErD;AAED,4FAA4F;AAC5F,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAQlE;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAErE;AAED,gFAAgF;AAChF,MAAM,WAAW,gBAAgB;IAC/B,CAAC,EAAE,CAAC,CAAC;IACL,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,cAAc,CAAC;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,MAAM,CAAC;CACb;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,UAAU,GAAG,gBAAgB,CAKjH;AAED,0FAA0F;AAC1F,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,GAAG,OAAO,CAYlE;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAUjE;AAED;;;GAGG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,cAAc,EAAE,EACvB,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAAC,EAAE,CAAC,EAAE,IAAI,CAAA;CAAE,GACjF,WAAW,CAgCb"}