@supercuts-walrus/backend 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,201 @@
+                                 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,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; 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, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   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.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   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. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   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 (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   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 by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   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

@@ -1,3 +1,250 @@
-# Temporary Holding Version
+# Supercuts backend, CLI, and MCP
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+The backend implements Supercuts' private negotiation and settlement layer for
+agents. Signed encrypted offers bind an agreement to a public x402 or shielded
+payment. Walrus Memory carries typed owner rules and verified outcomes across
+runs, so remembered context can guide a later deal. The role-separated CLI,
+MCP, and SDK adapters share this runtime; settlement and policy decisions stay
+here rather than being reimplemented in tool handlers.
+
+Each buyer, seller, auditor, resource server, and relayer uses a separate
+SQLite state path and a separate owner-only 32-byte state-key file. Secret
+rows are encrypted before reaching SQLite. Do not reuse a role's key file.
+
+## Development
+
+For npm tarball verification and publishing handoff, see [the release guide](../docs/npm-release.md).
+
+```sh
+pnpm install
+pnpm check
+pnpm test
+pnpm build
+```
+
+The package deliberately does not load `.env` itself. Process adapters validate
+and inject configuration, keeping credentials out of logs and returned objects.
+
+The `supercuts` binary emits one versioned JSON response. The `supercuts-mcp`
+binary implements MCP JSON-RPC over newline-delimited stdio and exposes only the
+tools allowed by the initialized role. Use separate `SUPERCUTS_HOME` directories
+for buyer, seller, and auditor processes. Development homes initialized with
+`--mock` always label receipts `deterministic-mock-not-funded`.
+
+For a reusable live buyer, run `supercuts setup buyer --home <buyer-home>` and
+follow [the self-service setup guide](../docs/self-service-setup.md). It creates
+a standing v2 policy, signed seller sources, and a Codex MCP configuration.
+For independent seller registration and buyer approval through the shared
+Testnet directory, follow [the onboarding guide](../docs/testnet-onboarding.md).
+
+MCP mutations are authorized by the owner-only `mandate.json` created at
+initialization. Tool schemas reject unknown arguments (including the deprecated
+`authorize` flag), require an operation ID for every mutation, and enforce the
+mandate's command list, counterparties, assets, per-deal ceiling, total run
+budget, privacy requirement, and expiry before creating an internal exact-intent
+approval. Approval tokens are never returned to the agent.
+
+Buyer mandates may additionally set `requireSettlementPlan` and narrow allowed
+capability IDs, capability classes, and rails. `settlement.plan` deterministically
+ranks validated manifests, applies only trusted typed memories, clamps the opening
+and maximum amounts, and persists a five-minute canonical plan. Pass its
+`planHash` to `pay.x402` or `pay.shielded`; the runtime binds the exact operation,
+manifest, seller, endpoint/session, asset, network, rail, request, and amount
+before signing or proving. `supercuts settlement approve-review` is an owner-only
+CLI path and is intentionally absent from MCP and the agent SDK.
+
+`@supercuts-walrus/sdk` is built from `packages/sdk`. It resolves the matching
+`supercuts-seam` binary from this package and exchanges one protocol-v1 request
+per subprocess. SDK mutations use exact-intent approval tokens instead of the
+legacy CLI `--authorize` boolean.
+
+Create a live Testnet profile from the repository root. Credential files must
+be owner-only and contain the Sui private key and Tatum API key respectively:
+
+```sh
+chmod 600 .secrets/sui.key .secrets/tatum.key
+pnpm --dir backend exec supercuts init --role buyer --home .state/live-buyer \
+  --deployment-config config/phase1.testnet.json \
+  --sui-key-file .secrets/sui.key --tatum-key-file .secrets/tatum.key \
+  --write-grpc https://fullnode.testnet.sui.io:443 \
+  --tatum-grpc https://sui-testnet.gateway.tatum.io:443 \
+  --rapidsnark circuits/build/tools/rapidsnark-src/build_prover/src/prover
+```
+
+Live mutations require an `--operation-id`. Withdrawals additionally require a
+32-byte `--recipient`. A failed or ambiguous broadcast retains the exact signed
+bytes under that operation ID; retrying another payload with the same ID fails.
+
+## Procurement demo
+
+For the Codex buyer with three remote Claude-backed sellers, Supabase-backed seller state, and the separate Render facilitator, follow [the remote demo guide](../docs/remote-codex-demo.md). The remote path is live-only and gives Codex a buyer role MCP server; the three seller panes use the safe `supercuts-seller-watch` event stream.
+
+`supercuts-demo` is the operator entry point:
+
+```sh
+# Four isolated development roles and their MCP configuration.
+supercuts-demo setup --state-dir .state/demo --mock
+supercuts-demo doctor --state-dir .state/demo
+supercuts-demo check --state-dir .state/demo --events evidence/run.jsonl
+
+# Never submits a transaction; every event is relabeled recorded-funded-run.
+supercuts-demo replay --state-dir .state/demo --events evidence/run.jsonl
+supercuts-demo replay --events evidence/run.jsonl --serve --port 4173
+```
+
+Omit `--mock` and provide the pinned deployment, Tatum, Sui gRPC, and optional
+owner-only Mainnet memory configuration arguments to create live profiles. The
+setup output prints only the buyer address/assets that need funding and the
+public seller `payTo` address. `live --workflow workflow.json` refuses mock
+profiles. Setup also requires `--workflow workflow.json` so the generated buyer
+mandate can be narrowed to its exact capability IDs/classes and rails. The live
+run creates a baseline plan, negotiates the public exact amount, executes the
+seller-owned x402 resource, writes ten typed Mainnet memories plus an owner
+privacy policy, restarts the buyer process, recalls citations without plaintext,
+creates the shielded plan, deposits a buyer note, signs and accepts a
+confidential agreement with the confidential seller, and settles it. The live
+workflow must set `publicOperationId` to the operation ID registered by the
+seller resource for `publicResourceUrl`. It must also set
+`buyerDepositAmount` above the confidential capability's minimum price so the
+private transfer can create a positive change note. Use a fresh operation ID
+and resource registration for each recording. The JSONL stream describes x402 amount/payee as
+public. Shielded settlement avoids a direct public payment revealing the deal
+amount or counterparty; funding, deposits, withdrawals, gas, and pool activity
+remain visible.
+
+For a Claude-agent recording, export `CLAUDE_API_KEY` or provide
+`live --claude-key-file <owner-only-file>`; a repository `.env` file is not
+loaded automatically. Validate the credential against Anthropic before starting
+a funded take.
+The live path calls Claude for bounded buyer and seller decisions and records
+only the model, action, and token counts. The backend still enforces capability,
+amount, rail, and agreement bindings. Validate that recording with
+`supercuts-demo check --require-claude`; an earlier funded run without these
+agent-decision events does not satisfy that gate.
+
+The optional `--memory-config-file` is imported from a mode-0600 JSON file and
+stored only as encrypted role state. It has the `ManualMemoryConfig` fields
+documented by `src/memwal.ts`; its Sui and embedding credentials never enter
+profiles, prompts, MCP calls, events, or browser state. Live profiles reject
+non-loopback embedding endpoints; use the repository's 1536-dimension adapter
+for both writes and recalls.
+
+## Current boundaries
+
+- `TatumLedger` uses native HTTP/2 gRPC with an API key for evidence reads.
+- `buildPrivateTransfer` builds the pinned pool's `transfer_private` PTB using
+  the Sui TypeScript gRPC stack.
+- `LiveRuntime` also builds deposit and withdrawal PTBs, reconstructs the
+  20-level Poseidon tree from pinned pool events, creates dynamic circuit
+  witnesses, verifies artifact hashes, and uses RapidSnark with SnarkJS fallback.
+- `RelayAdmission` verifies a single-use, Sui-signed relay challenge before
+  a pinned proof/public-statement submission can be broadcast.
+- `ManualMemory` uses `MemWalManual`, so memory plaintext is embedded and
+  encrypted on the client before the Walrus Memory relayer receives it.
+- `DurableTranscriptTransport` persists exact ciphertext before Walrus upload
+  and authenticates the complete transcript after restart.
+- `PrivateWallet` reconciles only finalized, pinned pool evidence and recovers
+  payment/change notes from matching openings.
+- `ExactResourceServer` adds a signed request binding and atomic payment-use
+  ledger around the standard x402 exact rail. The seller-owned resource URL is
+  supplied to the live workflow; the facilitator only validates and relays the
+  buyer-signed transaction.
+- `SealClientDisclosureTransport` encrypts auditor-scoped disclosure packages;
+  `scripts/seal-live-e2e.ts` supplies the deployed account policy approval PTB,
+  verifies finalized chain evidence, and gates the designated auditor decrypt.
+
+The selected x402 facilitator URL remains public deployment configuration. Its
+`FACILITATOR_SHARED_KEY` is seller-only configuration: it is sent only by the
+resource service as `x-supercuts-facilitator-key`, and must never appear in a
+buyer profile, manifest, event log, or dashboard. The Testnet
+Seal policy is pinned in `config/seal-policy.testnet.json`. No test-only pool is represented as production-safe. Run the
+repository-level `scripts/phase2-check.sh` and see `phase-2-report.md` for the
+live test evidence and explicit production boundary.
+
+## Protocol memory worker
+
+The long-running buyer MCP process drains pending outcome writes every 30
+seconds. For a live role home used without MCP, run
+`supercuts-memory-worker <role-home>` as a separate process. It drains pending
+verified outcome writes and synchronizes the role's Walrus Memory metadata
+using `listMemories()`. `memory.inventory` performs one metadata sync on demand.
+An uncertain write remains `unresolved` for operator reconciliation; the
+worker does not submit it again automatically. `deal.reconcile` compares
+client-decrypted recall results with the exact saved outcome; a missing search
+hit leaves the job unresolved.
+
+## Composite deal adapters
+
+The buyer SDK exposes `executeDeal`, `getDeal`, `resumeDeal`,
+`getDealEvidence`, and `getDealDelivery`. The built-in live adapter loads
+owner-only `deal-sellers.json` from the buyer role home. It is a JSON array of
+seller origins, for example `["https://seller.example"]`, mode `0600`. It
+discovers signed capabilities at `/v2/catalog`, fetches the signed manifest
+from Walrus, selects the mandate-approved rail, and uses the buyer role's own
+signer, pool notes, Walrus and Walrus Memory configuration. A missing file
+returns `DEAL_SELLERS_NOT_CONFIGURED`. An owner-only `deal-ports.mjs` exporting
+`createDealPorts(app, mandate)` remains available as an advanced override.
+
+The seller service is `supercuts-seller-live <seller-home> <config.json>`.
+Register each capability first with
+`supercuts-seller-register <seller-home> <spec.json> <registration.json>`.
+The spec contains `capabilityId`, `capability`, `description`, `inputSchema`,
+`outputSchema`, `supportedRails`, `priceBand`, `asset`, `endpoint`, and
+`expiresAt`; Supercuts inserts the seller signer address, validates the schema,
+publishes the manifest to Walrus, and signs its manifest hash and transport
+key. The registration file is created mode `0600`. The endpoint is the
+seller-owned resource prefix, such as
+`https://seller.example/v2/resource/report`. The current wire contract uses
+the signed price band's `minimum` as its exact price.
+
+The seller's owner-only config has this shape:
+
+```json
+{
+  "origin": "https://seller.example",
+  "listenHost": "127.0.0.1",
+  "listenPort": 8788,
+  "facilitatorUrl": "https://facilitator.example",
+  "facilitatorKey": "OWNER_ONLY_FACILITATOR_SECRET",
+  "allowedBuyers": ["0xBUYER_ADDRESS"],
+  "capabilities": [
+    { "registrationFile": "/owner/path/registration.json", "handler": "/owner/path/handler.mjs" }
+  ]
+}
+```
+
+The handler module exports `default async function handle(request)` and
+returns `{ artifact: Uint8Array, contentType: string, metadata: object }`.
+Its `request.input` is decrypted inside the seller role, and `metadata` must
+match the signed output schema. Keep config and handler mode `0600`. Put a TLS
+reverse proxy in front of the local listener when `origin` is public HTTPS.
+The facilitator key stays in the seller config. The x402 resource delivers a
+paid acknowledgment; the buyer then requests the encrypted artifact. For a
+shielded deal, the seller verifies the pinned pool transfer event and recovers
+its note before the handler runs. Both rails require matching finalized Sui and
+Tatum evidence. The service publishes encrypted offer, agreement reply, and
+delivery blobs to Walrus and checks readback.
+
+Issue a buyer `supercuts.mandate.v2` allowing `deal.execute` and the underlying
+planning, agreement, payment, and memory commands. Shielded is the default;
+public x402 additionally requires `allowPublicX402: true`, `allowedRails`
+containing `x402`, and no shielded-only privacy rule. The buyer must have
+Testnet SUI for gas and payment, a v2 pool deposit for shielded settlement,
+proof artifacts, and an owner-only Mainnet Walrus Memory configuration.
+`executeDeal` returns `outcome_pending` after finalized payment and verified
+delivery, with the artifact available through `getDealDelivery`. Walrus Memory
+indexing proceeds in the worker; `getDeal` later returns `complete` when the
+outcome blob appears in inventory. `reconcileDealOutcome` handles an ambiguous
+manual Memory write without repaying or resubmitting it. Mock profiles are
+refused.
+
+The generic live wire has been tested with local Walrus and signed HTTP
+negotiation on both rails, plus simulated Sui and Tatum seller verification.
+On 2026-11-03, separate funded Sui Testnet composite operations reached
+`complete`: shielded digest
+`HxyeTY9ThQoAtz4a1FLcgJhj1vtsSGSB3zyz6A9fyoeq` and public x402 digest
+`CAWTGRYSr5aTzMmToxZbZQmeX4DN2KiZz7ANoZxNsGeM`. Both buyer journals
+show finalized payment, verified Walrus delivery readback, and indexed Walrus
+Memory outcome. The shielded seller recovered its payment note. These are
+live Testnet observations, separate from the recorded `supercuts-demo` event
+stream. The v2 pool remains experimental and Testnet-only.

package/dist/audit.d.ts

@@ -0,0 +1,52 @@
+import { SealClient, SessionKey } from "@mysten/seal";
+export interface DisclosurePackage {
+    version: 1;
+    dealId: string;
+    auditor: string;
+    agreement: Record<string, unknown>;
+    agreementOpening: string;
+    transcriptRoot: string;
+    authorizations: Array<{
+        author: string;
+        signature: string;
+    }>;
+    paymentDigest: string;
+    dealNullifier: string;
+}
+export interface AuditChainEvidence {
+    finalized: boolean;
+    paymentDigest: string;
+    dealNullifier: string;
+    agreementCommitment: string;
+    transcriptRoot: string;
+}
+export type AuditEvidenceReader = (digest: string) => Promise<AuditChainEvidence | undefined>;
+export type AuditAuthorizationVerifier = (author: string, bytes: Uint8Array, signature: string) => Promise<boolean>;
+export type AgreementCommitmentDeriver = (agreement: Record<string, unknown>, opening: string) => Promise<string>;
+export declare function agreementCommitment(agreement: Record<string, unknown>, opening: string): string;
+/** Recomputes the exact protocol-v1 deal commitment opened by an audit package. */
+export declare function protocolAgreementCommitment(agreement: Record<string, unknown>, opening: string): Promise<string>;
+export declare function disclosureAuthorizationBytes(pkg: Omit<DisclosurePackage, "authorizations">): Uint8Array;
+export declare function validateDisclosureShape(pkg: DisclosurePackage): void;
+export declare function verifyDisclosure(pkg: DisclosurePackage, auditor: string, expectedDealId: string, read: AuditEvidenceReader, verifyAuthorization: AuditAuthorizationVerifier, expectedAuthors: ReadonlySet<string>, deriveCommitment: AgreementCommitmentDeriver): Promise<void>;
+/** Adapter boundary for @mysten/seal encryption in the live process. */
+export interface SealDisclosureTransport {
+    encrypt(auditor: string, plaintext: Uint8Array): Promise<Uint8Array>;
+    decrypt(auditor: string, ciphertext: Uint8Array): Promise<Uint8Array>;
+}
+export interface SealAuthorization {
+    sessionKey: SessionKey;
+    txBytes: Uint8Array;
+}
+/** Live Seal adapter; the authorization transaction must approve only the designated auditor. */
+export declare class SealClientDisclosureTransport implements SealDisclosureTransport {
+    private readonly client;
+    private readonly packageId;
+    private readonly threshold;
+    private readonly authorize;
+    constructor(client: SealClient, packageId: string, threshold: number, authorize: (auditor: string, ciphertext: Uint8Array) => Promise<SealAuthorization>);
+    encrypt(auditor: string, plaintext: Uint8Array): Promise<Uint8Array>;
+    decrypt(auditor: string, ciphertext: Uint8Array): Promise<Uint8Array>;
+}
+export declare function sealDisclosure(pkg: DisclosurePackage, seal: SealDisclosureTransport): Promise<Uint8Array>;
+export declare function openDisclosure(ciphertext: Uint8Array, auditor: string, seal: SealDisclosureTransport): Promise<DisclosurePackage>;

package/dist/audit.js

@@ -0,0 +1,157 @@
+import { createHash } from "node:crypto";
+import { buildPoseidon } from "circomlibjs";
+import { fail } from "./errors.js";
+function canonical(value) {
+    if (Array.isArray(value))
+        return `[${value.map(canonical).join(",")}]`;
+    if (value && typeof value === "object")
+        return `{${Object.entries(value).sort(([a], [b]) => a.localeCompare(b)).map(([key, item]) => `${JSON.stringify(key)}:${canonical(item)}`).join(",")}}`;
+    const encoded = JSON.stringify(value);
+    if (encoded === undefined)
+        fail("AUDIT_PACKAGE_INVALID", "disclosure contains a non-JSON value");
+    return encoded;
+}
+export function agreementCommitment(agreement, opening) {
+    const terms = Buffer.from(canonical(agreement));
+    const secret = Buffer.from(opening);
+    const lengths = Buffer.alloc(8);
+    lengths.writeUInt32BE(terms.length);
+    lengths.writeUInt32BE(secret.length, 4);
+    return createHash("sha256").update("supercuts-disclosure-agreement-v1\0").update(lengths).update(terms).update(secret).digest("hex");
+}
+const FIELD_MODULUS = 21888242871839275222246405745257275088548364400416034343698204186575808495617n;
+const U64_MAX = (1n << 64n) - 1n;
+let poseidonPromise;
+function decimal(name, value, maximum = FIELD_MODULUS - 1n) {
+    if (typeof value === "string" && /^(?:0|[1-9][0-9]*)$/.test(value)) {
+        const parsed = BigInt(value);
+        if (parsed >= 0n && parsed <= maximum)
+            return parsed;
+    }
+    return fail("AUDIT_PACKAGE_INVALID", `${name} must be a canonical decimal string inside its protocol range`);
+}
+/** Recomputes the exact protocol-v1 deal commitment opened by an audit package. */
+export async function protocolAgreementCommitment(agreement, opening) {
+    let parsedOpening;
+    try {
+        parsedOpening = JSON.parse(opening);
+    }
+    catch (error) {
+        return fail("AUDIT_PACKAGE_INVALID", "agreement opening is not valid JSON", error);
+    }
+    if (!parsedOpening || typeof parsedOpening !== "object" || Array.isArray(parsedOpening))
+        fail("AUDIT_PACKAGE_INVALID", "agreement opening has an invalid shape");
+    const secret = parsedOpening;
+    if (Object.keys(secret).length !== 1 || !("blinding" in secret))
+        fail("AUDIT_PACKAGE_INVALID", "agreement opening must contain only the deal blinding");
+    const fields = {
+        deployment: decimal("deployment", agreement.deployment),
+        dealId: decimal("dealId", agreement.dealId),
+        revision: decimal("revision", agreement.revision, U64_MAX),
+        transcriptRootLo: decimal("transcriptRootLo", agreement.transcriptRootLo),
+        transcriptRootHi: decimal("transcriptRootHi", agreement.transcriptRootHi),
+        serviceDigestLo: decimal("serviceDigestLo", agreement.serviceDigestLo),
+        serviceDigestHi: decimal("serviceDigestHi", agreement.serviceDigestHi),
+        settlementNonceLo: decimal("settlementNonceLo", agreement.settlementNonceLo),
+        settlementNonceHi: decimal("settlementNonceHi", agreement.settlementNonceHi),
+        paymentAmount: decimal("paymentAmount", agreement.paymentAmount, U64_MAX),
+        expiry: decimal("expiry", agreement.expiry, U64_MAX),
+        buyerAx: decimal("buyerAx", agreement.buyerAx), buyerAy: decimal("buyerAy", agreement.buyerAy),
+        sellerAx: decimal("sellerAx", agreement.sellerAx), sellerAy: decimal("sellerAy", agreement.sellerAy),
+        recipientSpendTag: decimal("recipientSpendTag", agreement.recipientSpendTag),
+        blinding: decimal("blinding", secret.blinding),
+    };
+    if (Object.keys(agreement).length !== 16)
+        fail("AUDIT_PACKAGE_INVALID", "agreement contains unexpected fields");
+    const poseidon = await (poseidonPromise ??= buildPoseidon());
+    const hash = (values) => poseidon.F.toObject(poseidon(values));
+    const paymentSalt = hash([2009n, fields.deployment, fields.settlementNonceLo, fields.settlementNonceHi]);
+    const termsA = hash([2001n, fields.deployment, fields.dealId, fields.revision, fields.transcriptRootLo, fields.transcriptRootHi]);
+    const termsB = hash([fields.serviceDigestLo, fields.serviceDigestHi, fields.settlementNonceLo, fields.settlementNonceHi, fields.paymentAmount, fields.expiry]);
+    const termsC = hash([fields.buyerAx, fields.buyerAy, fields.sellerAx, fields.sellerAy, fields.recipientSpendTag, paymentSalt]);
+    return hash([2002n, termsA, termsB, termsC, fields.blinding, fields.expiry]).toString(16).padStart(64, "0");
+}
+export function disclosureAuthorizationBytes(pkg) {
+    return Buffer.from(canonical({ domain: "supercuts-audit-v1", version: pkg.version, dealId: pkg.dealId, auditor: pkg.auditor, agreement: pkg.agreement, agreementOpening: pkg.agreementOpening, transcriptRoot: pkg.transcriptRoot, paymentDigest: pkg.paymentDigest, dealNullifier: pkg.dealNullifier }));
+}
+export function validateDisclosureShape(pkg) {
+    if (!pkg || typeof pkg !== "object" || pkg.version !== 1 || !pkg.agreement || typeof pkg.agreement !== "object" || Array.isArray(pkg.agreement)
+        || typeof pkg.agreementOpening !== "string" || !Array.isArray(pkg.authorizations))
+        fail("AUDIT_PACKAGE_INVALID", "disclosure has an invalid shape or version");
+    const serialized = JSON.stringify(pkg);
+    if (/spend(?:ing)?[_ -]?(?:key|secret)|parent[_ -]?session[_ -]?key|note[_ -]?opening/i.test(serialized)) {
+        fail("AUDIT_SECRET_LEAK", "disclosure contains a wallet or parent-session secret");
+    }
+    if (![pkg.dealId, pkg.auditor, pkg.transcriptRoot, pkg.paymentDigest, pkg.dealNullifier].every((value) => typeof value === "string" && value.length > 0)
+        || !pkg.authorizations.length || pkg.authorizations.some((item) => !item || typeof item.author !== "string" || !item.author || typeof item.signature !== "string" || !item.signature))
+        fail("AUDIT_PACKAGE_INVALID", "disclosure is incomplete");
+}
+export async function verifyDisclosure(pkg, auditor, expectedDealId, read, verifyAuthorization, expectedAuthors, deriveCommitment) {
+    validateDisclosureShape(pkg);
+    if (pkg.auditor !== auditor)
+        fail("AUDITOR_IDENTITY_MISMATCH", "disclosure was encrypted for another auditor");
+    if (pkg.dealId !== expectedDealId)
+        fail("AUDIT_DEAL_MISMATCH", "disclosure describes another deal");
+    const evidence = await read(pkg.paymentDigest);
+    if (!evidence)
+        return fail("AUDIT_PAYMENT_MISMATCH", "disclosed payment was not found");
+    if (!evidence.finalized)
+        fail("AUDIT_PAYMENT_MISMATCH", "disclosed payment is not finalized");
+    if (evidence.paymentDigest !== pkg.paymentDigest || evidence.dealNullifier !== pkg.dealNullifier)
+        fail("AUDIT_PAYMENT_MISMATCH", "disclosed payment does not match finalized chain evidence");
+    if (evidence.transcriptRoot !== pkg.transcriptRoot)
+        fail("AUDIT_TRANSCRIPT_MISMATCH", "transcript root does not match chain-bound evidence");
+    if (evidence.agreementCommitment !== await deriveCommitment(pkg.agreement, pkg.agreementOpening))
+        fail("AUDIT_TERMS_MISMATCH", "agreement opening does not match chain evidence");
+    const { authorizations: _authorizations, ...unsigned } = pkg;
+    const bytes = disclosureAuthorizationBytes(unsigned);
+    const authors = new Set();
+    for (const authorization of pkg.authorizations) {
+        if (authors.has(authorization.author) || !(await verifyAuthorization(authorization.author, bytes, authorization.signature)))
+            fail("AUDIT_AUTHORIZATION_INVALID", "disclosure authorization is invalid or duplicated");
+        authors.add(authorization.author);
+    }
+    if (authors.size !== expectedAuthors.size || [...expectedAuthors].some((author) => !authors.has(author)))
+        fail("AUDIT_AUTHORIZATION_INVALID", "disclosure does not contain the exact required authorizers");
+}
+/** Live Seal adapter; the authorization transaction must approve only the designated auditor. */
+export class SealClientDisclosureTransport {
+    client;
+    packageId;
+    threshold;
+    authorize;
+    constructor(client, packageId, threshold, authorize) {
+        this.client = client;
+        this.packageId = packageId;
+        this.threshold = threshold;
+        this.authorize = authorize;
+    }
+    async encrypt(auditor, plaintext) {
+        if (!/^0x[0-9a-f]{64}$/i.test(auditor) || !/^0x[0-9a-f]{64}$/i.test(this.packageId) || !Number.isSafeInteger(this.threshold) || this.threshold < 1)
+            fail("SEAL_CONFIG_INVALID", "Seal auditor, package, or threshold is invalid");
+        const result = await this.client.encrypt({ threshold: this.threshold, packageId: this.packageId, id: auditor.replace(/^0x/, ""), data: plaintext });
+        return result.encryptedObject;
+    }
+    async decrypt(auditor, ciphertext) {
+        const authorization = await this.authorize(auditor, ciphertext);
+        return this.client.decrypt({ data: ciphertext, sessionKey: authorization.sessionKey, txBytes: authorization.txBytes });
+    }
+}
+export async function sealDisclosure(pkg, seal) {
+    validateDisclosureShape(pkg);
+    return seal.encrypt(pkg.auditor, Buffer.from(JSON.stringify(pkg)));
+}
+export async function openDisclosure(ciphertext, auditor, seal) {
+    const plaintext = await seal.decrypt(auditor, ciphertext);
+    let pkg;
+    try {
+        pkg = JSON.parse(Buffer.from(plaintext).toString());
+    }
+    catch (error) {
+        return fail("AUDIT_PACKAGE_INVALID", "disclosure is not valid JSON", error);
+    }
+    validateDisclosureShape(pkg);
+    if (pkg.auditor !== auditor)
+        fail("AUDITOR_IDENTITY_MISMATCH", "disclosure was encrypted for another auditor");
+    return pkg;
+}