@rohankumar4179/engram-sdk 0.0.0-stage → 0.1.0

package/dist/memwal-account.js

@@ -0,0 +1,75 @@
+import { bcs } from "@mysten/sui/bcs";
+import { Ed25519Keypair } from "@mysten/sui/keypairs/ed25519";
+import { Transaction } from "@mysten/sui/transactions";
+import { normalizeSuiAddress } from "@mysten/sui/utils";
+import { MEMWAL_MAINNET } from "./remote.js";
+/** A fresh Ed25519 delegate key; `secret` is the suiprivkey1… form. */
+export function newDelegateKey() {
+    const kp = new Ed25519Keypair();
+    return { secret: kp.getSecretKey(), publicKey: Buffer.from(kp.getPublicKey().toRawBytes()).toString("hex"), suiAddress: kp.toSuiAddress() };
+}
+export function delegateFromSecret(secret) {
+    const kp = Ed25519Keypair.fromSecretKey(secret);
+    return { publicKey: Buffer.from(kp.getPublicKey().toRawBytes()).toString("hex"), suiAddress: kp.toSuiAddress() };
+}
+/** Finds the Walrus Memory account an address owns (each address can own one). */
+export async function findMemwalAccount(client, owner, ids = MEMWAL_MAINNET) {
+    const { object } = await client.getObject({ objectId: ids.registryId, include: { json: true } });
+    const tableId = object.json?.accounts?.id;
+    if (!tableId)
+        throw new Error("Walrus Memory registry has no accounts table");
+    try {
+        const f = await client.getDynamicField({ parentId: tableId, name: { type: "address", bcs: bcs.Address.serialize(normalizeSuiAddress(owner)).toBytes() } });
+        const value = f.dynamicField?.value;
+        if (!value)
+            return null;
+        // Table<address, ID>: the value is the 32-byte account ID.
+        return normalizeSuiAddress(Buffer.from(value.bcs).toString("hex"));
+    }
+    catch (err) {
+        if (/not ?found|does not exist/i.test(String(err.message)))
+            return null;
+        throw err;
+    }
+}
+export async function readMemwalAccount(client, accountId) {
+    const { object } = await client.getObject({ objectId: accountId, include: { json: true } });
+    const j = object.json;
+    if (!j?.owner)
+        throw new Error(`${accountId} is not a Walrus Memory account`);
+    return {
+        accountId,
+        owner: normalizeSuiAddress(j.owner),
+        delegates: (j.delegate_keys ?? []).map((d) => ({
+            publicKey: /^[0-9a-f]+$/i.test(d.public_key) ? d.public_key.toLowerCase() : Buffer.from(d.public_key, "base64").toString("hex"),
+            suiAddress: normalizeSuiAddress(d.sui_address),
+            label: d.label ?? "",
+        })),
+    };
+}
+/** Unsigned `create_account` transaction for `sender`, as base64 bytes ready for a wallet. */
+export async function buildCreateAccountTx(client, sender, ids = MEMWAL_MAINNET) {
+    const tx = new Transaction();
+    tx.setSender(sender);
+    tx.moveCall({ target: `${ids.packageId}::account::create_account`, arguments: [tx.object(ids.registryId), tx.object.clock()] });
+    return Buffer.from(await tx.build({ client })).toString("base64");
+}
+/** Unsigned `add_delegate_key` transaction (owner adds the server's key). */
+export async function buildAddDelegateTx(client, sender, accountId, publicKeyHex, label, ids = MEMWAL_MAINNET) {
+    const tx = new Transaction();
+    tx.setSender(sender);
+    tx.moveCall({
+        target: `${ids.packageId}::account::add_delegate_key`,
+        arguments: [tx.object(accountId), tx.object(ids.registryId), tx.pure.vector("u8", Buffer.from(publicKeyHex, "hex")), tx.pure.string(label), tx.object.clock()],
+    });
+    return Buffer.from(await tx.build({ client })).toString("base64");
+}
+/** Submits wallet-signed bytes and waits for them to land. Returns the digest. */
+export async function executeSigned(client, bytesBase64, signature) {
+    const res = await client.executeTransaction({ transaction: Buffer.from(bytesBase64, "base64"), signatures: [signature] });
+    if (res.$kind !== "Transaction")
+        throw new Error(`transaction failed: ${JSON.stringify(res.FailedTransaction?.status)}`);
+    await client.waitForTransaction({ digest: res.Transaction.digest });
+    return res.Transaction.digest;
+}
+//# sourceMappingURL=memwal-account.js.map

package/dist/memwal-account.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"memwal-account.js","sourceRoot":"","sources":["../src/memwal-account.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAE9D,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAoB7C,uEAAuE;AACvE,MAAM,UAAU,cAAc;IAC5B,MAAM,EAAE,GAAG,IAAI,cAAc,EAAE,CAAC;IAChC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC;AAC9I,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,MAAM,EAAE,GAAG,cAAc,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IAChD,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC;AACnH,CAAC;AAED,kFAAkF;AAClF,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,MAAqB,EAAE,KAAa,EAAE,MAAiB,cAAc;IAC3G,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IACjG,MAAM,OAAO,GAAI,MAAM,CAAC,IAA8C,EAAE,QAAQ,EAAE,EAAE,CAAC;IACrF,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAC9E,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,eAAe,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3J,MAAM,KAAK,GAAG,CAAC,CAAC,YAAY,EAAE,KAAK,CAAC;QACpC,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,2DAA2D;QAC3D,OAAO,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACrE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,4BAA4B,CAAC,IAAI,CAAC,MAAM,CAAE,GAAa,CAAC,OAAO,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACnF,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,MAAqB,EAAE,SAAiB;IAC9E,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5F,MAAM,CAAC,GAAG,MAAM,CAAC,IAAgH,CAAC;IAClI,IAAI,CAAC,CAAC,EAAE,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,iCAAiC,CAAC,CAAC;IAC9E,OAAO;QACL,SAAS;QACT,KAAK,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC;QACnC,SAAS,EAAE,CAAC,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7C,SAAS,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;YAC/H,UAAU,EAAE,mBAAmB,CAAC,CAAC,CAAC,WAAW,CAAC;YAC9C,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE;SACrB,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,MAAqB,EAAE,MAAc,EAAE,MAAiB,cAAc;IAC/G,MAAM,EAAE,GAAG,IAAI,WAAW,EAAE,CAAC;IAC7B,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACrB,EAAE,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,2BAA2B,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAChI,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AACpE,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,MAAqB,EAAE,MAAc,EAAE,SAAiB,EAAE,YAAoB,EAAE,KAAa,EAAE,MAAiB,cAAc;IACrK,MAAM,EAAE,GAAG,IAAI,WAAW,EAAE,CAAC;IAC7B,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACrB,EAAE,CAAC,QAAQ,CAAC;QACV,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,6BAA6B;QACrD,SAAS,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;KAC/J,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AACpE,CAAC;AAED,kFAAkF;AAClF,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,MAAqB,EAAE,WAAmB,EAAE,SAAiB;IAC/F,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC1H,IAAI,GAAG,CAAC,KAAK,KAAK,aAAa;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACzH,MAAM,MAAM,CAAC,kBAAkB,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;IACpE,OAAO,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC;AAChC,CAAC"}

package/dist/merkle.d.ts

@@ -0,0 +1,14 @@
+import type { MerkleProofStep } from "./types.js";
+/** Root of an empty tree. */
+export declare const EMPTY_ROOT: string;
+/**
+ * Binary Merkle tree over hex leaf values, in the given order.
+ * An odd node at the end of a level is carried up unchanged.
+ */
+export declare class MerkleTree {
+    private levels;
+    constructor(leaves: string[]);
+    get root(): string;
+    proof(index: number): MerkleProofStep[];
+}
+export declare function verifyProof(leafHex: string, proof: MerkleProofStep[], rootHex: string): boolean;

package/dist/merkle.js

@@ -0,0 +1,69 @@
+import { bytesToHex, hexToBytes, sha256Bytes } from "./crypto.js";
+// Domain separation so a leaf can never be passed off as an inner node.
+const LEAF = 0x00;
+const NODE = 0x01;
+function hashLeaf(leafHex) {
+    return bytesToHex(sha256Bytes(concat([LEAF], hexToBytes(leafHex))));
+}
+function hashNode(leftHex, rightHex) {
+    return bytesToHex(sha256Bytes(concat([NODE], hexToBytes(leftHex), hexToBytes(rightHex))));
+}
+function concat(prefix, ...parts) {
+    const out = new Uint8Array(prefix.length + parts.reduce((n, p) => n + p.length, 0));
+    out.set(prefix, 0);
+    let o = prefix.length;
+    for (const p of parts) {
+        out.set(p, o);
+        o += p.length;
+    }
+    return out;
+}
+/** Root of an empty tree. */
+export const EMPTY_ROOT = bytesToHex(sha256Bytes(new Uint8Array([NODE])));
+/**
+ * Binary Merkle tree over hex leaf values, in the given order.
+ * An odd node at the end of a level is carried up unchanged.
+ */
+export class MerkleTree {
+    levels;
+    constructor(leaves) {
+        let level = leaves.map(hashLeaf);
+        this.levels = [level];
+        while (level.length > 1) {
+            const next = [];
+            for (let i = 0; i < level.length; i += 2) {
+                const l = level[i];
+                const r = level[i + 1];
+                next.push(r === undefined ? l : hashNode(l, r));
+            }
+            this.levels.push(next);
+            level = next;
+        }
+    }
+    get root() {
+        const top = this.levels[this.levels.length - 1];
+        return top[0] ?? EMPTY_ROOT;
+    }
+    proof(index) {
+        if (index < 0 || index >= this.levels[0].length)
+            throw new Error(`leaf ${index} out of range`);
+        const steps = [];
+        let i = index;
+        for (let d = 0; d < this.levels.length - 1; d++) {
+            const level = this.levels[d];
+            const isRight = i % 2 === 1;
+            const sib = isRight ? level[i - 1] : level[i + 1];
+            if (sib !== undefined)
+                steps.push({ hash: sib, left: isRight });
+            i = Math.floor(i / 2);
+        }
+        return steps;
+    }
+}
+export function verifyProof(leafHex, proof, rootHex) {
+    let h = hashLeaf(leafHex);
+    for (const s of proof)
+        h = s.left ? hashNode(s.hash, h) : hashNode(h, s.hash);
+    return h === rootHex;
+}
+//# sourceMappingURL=merkle.js.map

package/dist/merkle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merkle.js","sourceRoot":"","sources":["../src/merkle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAGlE,wEAAwE;AACxE,MAAM,IAAI,GAAG,IAAI,CAAC;AAClB,MAAM,IAAI,GAAG,IAAI,CAAC;AAElB,SAAS,QAAQ,CAAC,OAAe;IAC/B,OAAO,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,QAAQ,CAAC,OAAe,EAAE,QAAgB;IACjD,OAAO,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,MAAM,CAAC,MAAgB,EAAE,GAAG,KAAmB;IACtD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACpF,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACnB,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACtB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACd,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6BAA6B;AAC7B,MAAM,CAAC,MAAM,UAAU,GAAG,UAAU,CAAC,WAAW,CAAC,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1E;;;GAGG;AACH,MAAM,OAAO,UAAU;IACb,MAAM,CAAa;IAE3B,YAAY,MAAgB;QAC1B,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAa,EAAE,CAAC;YAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;gBACpB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACvB,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAClD,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC;IAED,IAAI,IAAI;QACN,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;QACjD,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC;IAC9B,CAAC;IAED,KAAK,CAAC,KAAa;QACjB,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,eAAe,CAAC,CAAC;QAChG,MAAM,KAAK,GAAsB,EAAE,CAAC;QACpC,IAAI,CAAC,GAAG,KAAK,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAClD,IAAI,GAAG,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAChE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AAED,MAAM,UAAU,WAAW,CAAC,OAAe,EAAE,KAAwB,EAAE,OAAe;IACpF,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9E,OAAO,CAAC,KAAK,OAAO,CAAC;AACvB,CAAC"}

package/dist/mind.d.ts

@@ -0,0 +1,130 @@
+import { type Anchorer, type SuiNetwork } from "./anchor.js";
+import { Engram, type ForgetResult, type ObserveInput, type SleepReport, type VerifyReport } from "./engram.js";
+import { type LLM } from "./llm.js";
+import { type RemoteMemory } from "./remote.js";
+import type { Belief, Commit, Episode, Receipt } from "./types.js";
+/**
+ * Settings for `engram()`. Anything left out is read from the environment
+ * (`.env`: MEMWAL_KEY, MEMWAL_ACCOUNT_ID, TATUM_API_KEY, GEMINI_API_KEYS, …).
+ */
+export interface EngramConfig {
+    /** Agent name — lowercase letters, digits and dashes. Used for a new repo. */
+    agent: string;
+    /** Folder for `.engram/` (default: the current directory). */
+    dir?: string;
+    /** Walrus Memory account, a ready remote, or "memory" for an in-process store (tests). */
+    walrus?: {
+        accountId: string;
+        key: string;
+        serverUrl?: string;
+    } | RemoteMemory | "memory";
+    /** Tatum Sui gateway (mainnet) — wallet reads and anchor checks. */
+    tatum?: {
+        apiKey: string;
+    };
+    /** LLM for `sleep()`: Gemini keys, or any `LLM`. */
+    llm?: {
+        gemini: string[];
+        model?: string;
+    } | LLM;
+    /** Anchor commits with the engram_anchor Move module. */
+    anchor?: {
+        packageId: string;
+        mnemonic: string;
+        network?: SuiNetwork;
+    } | Anchorer | false;
+    /** Domain hint for consolidation, e.g. "a wallet-watching agent". */
+    context?: string;
+    /** Where unspecified settings come from (default: process.env). */
+    env?: Record<string, string | undefined>;
+}
+export interface WrapOptions<In, Out> {
+    /** What to look up beliefs about (default: the input as JSON). */
+    query?: (input: In) => string;
+    /** One-line description of the decision for the receipt (default: the output as JSON). */
+    action?: (output: Out, input: In) => string;
+    /** Beliefs the decision used: ids like "b_rent" (default: every belief the agent was given). */
+    used?: (output: Out, beliefs: Belief[]) => string[];
+    /** Also record the input as an episode (default true). */
+    observe?: boolean | ((input: In) => ObserveInput);
+    /** Max beliefs handed to the agent (default 6). */
+    limit?: number;
+}
+/** A wrapped agent: same call, plus the last receipt. */
+export interface WrappedAgent<In, Out> {
+    (input: In): Promise<Out>;
+    /** Receipt of the most recent call (null before the first commit). */
+    lastReceipt: Receipt | null;
+}
+/**
+ * The high-level API: one object for an agent's memory.
+ *
+ * ```ts
+ * const mind = engram({ agent: "money-ops" });
+ * const agent = mind.wrap(myAgent);         // beliefs in, signed receipts out
+ * mind.observe({ source: "tatum", data: tx });
+ * await mind.sleep();                       // episodes → beliefs
+ * await mind.commit("weekly");              // Merkle root → Walrus → Sui
+ * await mind.beliefs({ about: "rent" });
+ * mind.at("2026-10-25");                    // time travel
+ * mind.forget("ep_…");                      // provable forgetting
+ * await mind.verify("r_…");                 // proof check
+ * ```
+ */
+export declare class Mind {
+    private llmFactory;
+    private context?;
+    readonly core: Engram;
+    private llmInstance?;
+    constructor(core: Engram, llmFactory: () => LLM, context?: string | undefined);
+    get agent(): string;
+    /** Records an episode (encrypted with its own key). */
+    observe(input: ObserveInput): Episode;
+    /** Consolidates new episodes into beliefs with the configured LLM. */
+    sleep(opts?: {
+        context?: string;
+        batchSize?: number;
+    }): Promise<SleepReport>;
+    /** Signs and stores a snapshot of the current beliefs, anchored on Sui. */
+    commit(message: string): Promise<Commit>;
+    /**
+     * Current beliefs. With `about`, the most relevant ones (Walrus Memory
+     * semantic recall, keyword fallback offline).
+     */
+    beliefs(opts?: {
+        about?: string;
+        limit?: number;
+    }): Promise<Belief[]>;
+    /** Beliefs as they were at a commit, `HEAD~n`, or a date ("2026-10-25"). */
+    at(ref: string): Belief[];
+    /** Destroys an episode's key; dependent beliefs are retracted or revised. */
+    forget(episodeId: string, reason?: string): ForgetResult;
+    /** Verifies a receipt (`r_…`) or a commit (id, `HEAD`, date) end to end. */
+    verify(ref: string, opts?: {
+        offline?: boolean;
+    }): Promise<VerifyReport>;
+    log(): Commit[];
+    diff(from: string, to?: string): import("./engram.js").BeliefDiff;
+    blame(belief: string): {
+        belief: Belief;
+        history: Belief[];
+        evidence: import("./engram.js").BlameEntry[];
+    };
+    receipts(): Receipt[];
+    /**
+     * Wraps an existing agent function. Each call: the relevant committed
+     * beliefs are passed in, the agent runs, and a signed receipt records what it
+     * decided and which beliefs it relied on.
+     *
+     * ```ts
+     * const agent = mind.wrap(async (tx, beliefs) => decide(tx, beliefs), {
+     *   used: (out) => out.beliefIds,
+     * });
+     * const decision = await agent(tx);
+     * agent.lastReceipt; // r_…
+     * ```
+     */
+    wrap<In, Out>(fn: (input: In, beliefs: Belief[]) => Promise<Out> | Out, opts?: WrapOptions<In, Out>): WrappedAgent<In, Out>;
+}
+/** Opens (or creates) an agent's memory. See {@link EngramConfig}. */
+export declare function engram(cfg: EngramConfig): Mind;

package/dist/mind.js

@@ -0,0 +1,156 @@
+import { existsSync } from "node:fs";
+import { join, resolve } from "node:path";
+import { MoveAnchorer, WalrusBlobAnchorer } from "./anchor.js";
+import { Engram } from "./engram.js";
+import { servicesFromEnv } from "./env.js";
+import { GeminiLLM } from "./llm.js";
+import { InMemoryRemote, WalrusMemoryRemote } from "./remote.js";
+import { TatumSui } from "./tatum.js";
+/**
+ * The high-level API: one object for an agent's memory.
+ *
+ * ```ts
+ * const mind = engram({ agent: "money-ops" });
+ * const agent = mind.wrap(myAgent);         // beliefs in, signed receipts out
+ * mind.observe({ source: "tatum", data: tx });
+ * await mind.sleep();                       // episodes → beliefs
+ * await mind.commit("weekly");              // Merkle root → Walrus → Sui
+ * await mind.beliefs({ about: "rent" });
+ * mind.at("2026-10-25");                    // time travel
+ * mind.forget("ep_…");                      // provable forgetting
+ * await mind.verify("r_…");                 // proof check
+ * ```
+ */
+export class Mind {
+    llmFactory;
+    context;
+    core;
+    llmInstance;
+    constructor(core, llmFactory, context) {
+        this.llmFactory = llmFactory;
+        this.context = context;
+        this.core = core;
+    }
+    get agent() {
+        return this.core.agent;
+    }
+    /** Records an episode (encrypted with its own key). */
+    observe(input) {
+        return this.core.observe(input);
+    }
+    /** Consolidates new episodes into beliefs with the configured LLM. */
+    sleep(opts = {}) {
+        this.llmInstance ??= this.llmFactory();
+        return this.core.sleep({ llm: this.llmInstance, context: opts.context ?? this.context, batchSize: opts.batchSize });
+    }
+    /** Signs and stores a snapshot of the current beliefs, anchored on Sui. */
+    commit(message) {
+        return this.core.commit(message);
+    }
+    /**
+     * Current beliefs. With `about`, the most relevant ones (Walrus Memory
+     * semantic recall, keyword fallback offline).
+     */
+    async beliefs(opts = {}) {
+        if (!opts.about)
+            return this.core.beliefs().slice(0, opts.limit ?? Infinity);
+        return this.core.relevant(opts.about, opts.limit ?? 5);
+    }
+    /** Beliefs as they were at a commit, `HEAD~n`, or a date ("2026-10-25"). */
+    at(ref) {
+        return this.core.beliefsAt(ref);
+    }
+    /** Destroys an episode's key; dependent beliefs are retracted or revised. */
+    forget(episodeId, reason) {
+        return this.core.forget(episodeId, reason);
+    }
+    /** Verifies a receipt (`r_…`) or a commit (id, `HEAD`, date) end to end. */
+    verify(ref, opts = {}) {
+        const o = opts.offline ? { walrus: false, chain: false } : {};
+        return ref.startsWith("r_") ? this.core.verifyReceipt(ref, o) : this.core.verifyCommit(ref, o);
+    }
+    log() {
+        return this.core.head() ? this.core.log() : [];
+    }
+    diff(from, to) {
+        return this.core.diff(from, to);
+    }
+    blame(belief) {
+        return this.core.blame(belief);
+    }
+    receipts() {
+        return this.core.receipts();
+    }
+    /**
+     * Wraps an existing agent function. Each call: the relevant committed
+     * beliefs are passed in, the agent runs, and a signed receipt records what it
+     * decided and which beliefs it relied on.
+     *
+     * ```ts
+     * const agent = mind.wrap(async (tx, beliefs) => decide(tx, beliefs), {
+     *   used: (out) => out.beliefIds,
+     * });
+     * const decision = await agent(tx);
+     * agent.lastReceipt; // r_…
+     * ```
+     */
+    wrap(fn, opts = {}) {
+        const json = (v) => (typeof v === "string" ? v : JSON.stringify(v));
+        const wrapped = (async (input) => {
+            if (opts.observe !== false) {
+                this.core.observe(typeof opts.observe === "function" ? opts.observe(input) : { source: "agent", data: input });
+            }
+            const res = await this.core.act({ query: opts.query?.(input) ?? json(input).slice(0, 500), input, limit: opts.limit ?? 6 }, async (beliefs) => {
+                const out = await fn(input, beliefs);
+                return {
+                    action: (opts.action?.(out, input) ?? json(out)).slice(0, 2000),
+                    used: opts.used ? opts.used(out, beliefs) : beliefs.map((b) => b.id),
+                    result: out,
+                };
+            });
+            wrapped.lastReceipt = res.receipt;
+            return res.result;
+        });
+        wrapped.lastReceipt = null;
+        return wrapped;
+    }
+}
+/** Opens (or creates) an agent's memory. See {@link EngramConfig}. */
+export function engram(cfg) {
+    const env = cfg.env ?? process.env;
+    const fromEnv = servicesFromEnv(env);
+    const dir = resolve(cfg.dir ?? ".");
+    const remote = cfg.walrus === "memory"
+        ? new InMemoryRemote()
+        : cfg.walrus && "putMany" in cfg.walrus
+            ? cfg.walrus
+            : cfg.walrus
+                ? new WalrusMemoryRemote({ key: cfg.walrus.key, accountId: cfg.walrus.accountId, serverUrl: cfg.walrus.serverUrl })
+                : fromEnv.remote;
+    const tatum = cfg.tatum ? new TatumSui({ apiKey: cfg.tatum.apiKey }) : fromEnv.tatum;
+    // A Walrus Memory account given in the config (not "memory", not a ready remote).
+    const account = typeof cfg.walrus === "object" && !("putMany" in cfg.walrus) ? cfg.walrus : undefined;
+    const blobAnchorer = account && tatum ? new WalrusBlobAnchorer(tatum, account.accountId) : undefined;
+    let anchorer;
+    if (cfg.anchor && "check" in cfg.anchor)
+        anchorer = cfg.anchor;
+    else if (cfg.anchor === false || cfg.walrus === "memory")
+        anchorer = undefined;
+    else if (cfg.anchor)
+        anchorer = new MoveAnchorer({ ...cfg.anchor, tatum, blobAnchorer: blobAnchorer ?? fromEnv.anchorer });
+    else
+        anchorer = blobAnchorer ?? fromEnv.anchorer;
+    const llmFactory = () => {
+        if (cfg.llm && "json" in cfg.llm)
+            return cfg.llm;
+        if (cfg.llm)
+            return new GeminiLLM({ apiKeys: cfg.llm.gemini, model: cfg.llm.model });
+        return fromEnv.llm();
+    };
+    const opts = { dir, remote, anchorer };
+    const core = existsSync(join(dir, ".engram", "config.json")) ? Engram.open(opts) : Engram.init(cfg.agent, opts);
+    if (core.agent !== cfg.agent)
+        throw new Error(`${dir} holds agent "${core.agent}", not "${cfg.agent}"`);
+    return new Mind(core, llmFactory, cfg.context);
+}
+//# sourceMappingURL=mind.js.map

package/dist/mind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mind.js","sourceRoot":"","sources":["../src/mind.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAkC,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,MAAM,EAA6E,MAAM,aAAa,CAAC;AAChH,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAY,MAAM,UAAU,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAqB,MAAM,aAAa,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AA8CtC;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,IAAI;IAML;IACA;IAND,IAAI,CAAS;IACd,WAAW,CAAO;IAE1B,YACE,IAAY,EACJ,UAAqB,EACrB,OAAgB;QADhB,eAAU,GAAV,UAAU,CAAW;QACrB,YAAO,GAAP,OAAO,CAAS;QAExB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;IACzB,CAAC;IAED,uDAAuD;IACvD,OAAO,CAAC,KAAmB;QACzB,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IAED,sEAAsE;IACtE,KAAK,CAAC,OAAiD,EAAE;QACvD,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IACtH,CAAC;IAED,2EAA2E;IAC3E,MAAM,CAAC,OAAe;QACpB,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,OAAO,CAAC,OAA2C,EAAE;QACzD,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,CAAC;QAC7E,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,4EAA4E;IAC5E,EAAE,CAAC,GAAW;QACZ,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED,6EAA6E;IAC7E,MAAM,CAAC,SAAiB,EAAE,MAAe;QACvC,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED,4EAA4E;IAC5E,MAAM,CAAC,GAAW,EAAE,OAA8B,EAAE;QAClD,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,OAAO,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACjG,CAAC;IAED,GAAG;QACD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,CAAC;IAED,IAAI,CAAC,IAAY,EAAE,EAAW;QAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAClC,CAAC;IAED,KAAK,CAAC,MAAc;QAClB,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC9B,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,IAAI,CAAU,EAAwD,EAAE,OAA6B,EAAE;QACrG,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,KAAS,EAAE,EAAE;YACnC,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;gBAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACjH,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBAC5I,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACrC,OAAO;oBACL,MAAM,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC;oBAC/D,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpE,MAAM,EAAE,GAAG;iBACZ,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,WAAW,GAAG,GAAG,CAAC,OAAO,CAAC;YAClC,OAAO,GAAG,CAAC,MAAM,CAAC;QACpB,CAAC,CAA0B,CAAC;QAC5B,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;QAC3B,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAED,sEAAsE;AACtE,MAAM,UAAU,MAAM,CAAC,GAAiB;IACtC,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;IACnC,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;IAEpC,MAAM,MAAM,GACV,GAAG,CAAC,MAAM,KAAK,QAAQ;QACrB,CAAC,CAAC,IAAI,cAAc,EAAE;QACtB,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,SAAS,IAAI,GAAG,CAAC,MAAM;YACrC,CAAC,CAAC,GAAG,CAAC,MAAM;YACZ,CAAC,CAAC,GAAG,CAAC,MAAM;gBACV,CAAC,CAAC,IAAI,kBAAkB,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBACnH,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IAEzB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACrF,kFAAkF;IAClF,MAAM,OAAO,GAAG,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IACtG,MAAM,YAAY,GAAG,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrG,IAAI,QAA8B,CAAC;IACnC,IAAI,GAAG,CAAC,MAAM,IAAI,OAAO,IAAI,GAAG,CAAC,MAAM;QAAE,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC;SAC1D,IAAI,GAAG,CAAC,MAAM,KAAK,KAAK,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ;QAAE,QAAQ,GAAG,SAAS,CAAC;SAC1E,IAAI,GAAG,CAAC,MAAM;QAAE,QAAQ,GAAG,IAAI,YAAY,CAAC,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;;QACtH,QAAQ,GAAG,YAAY,IAAI,OAAO,CAAC,QAAQ,CAAC;IAEjD,MAAM,UAAU,GAAG,GAAQ,EAAE;QAC3B,IAAI,GAAG,CAAC,GAAG,IAAI,MAAM,IAAI,GAAG,CAAC,GAAG;YAAE,OAAO,GAAG,CAAC,GAAG,CAAC;QACjD,IAAI,GAAG,CAAC,GAAG;YAAE,OAAO,IAAI,SAAS,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;QACrF,OAAO,OAAO,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACvC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChH,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,GAAG,iBAAiB,IAAI,CAAC,KAAK,WAAW,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC;IACxG,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;AACjD,CAAC"}

package/dist/proof.d.ts

@@ -0,0 +1,21 @@
+import { MerkleTree } from "./merkle.js";
+import type { Belief, CommitManifest, MerkleProofStep } from "./types.js";
+/**
+ * Leaf for one belief version. Commits to everything that matters about it —
+ * change a word, the confidence or the evidence, and the root changes.
+ */
+export declare function beliefLeaf(b: Belief): string;
+/** Leaf recording that an episode was forgotten, so forgetting is itself part of the proof. */
+export declare function tombstoneLeaf(episodeId: string): string;
+export interface CommitTree {
+    tree: MerkleTree;
+    /** "belief:b_x@2" / "tombstone:ep_1", in leaf order */
+    labels: string[];
+}
+/** Leaves sorted by label, so the same belief set always gives the same root. */
+export declare function buildCommitTree(beliefs: Belief[], tombstones: string[]): CommitTree;
+export declare function proofFor(ct: CommitTree, beliefKey: string): MerkleProofStep[];
+export declare function verifyBeliefProof(b: Belief, proof: MerkleProofStep[], root: string): boolean;
+/** Commit ID = sha256 of the canonical manifest. */
+export declare function commitId(m: CommitManifest): string;
+export declare function verifyManifestSignature(m: CommitManifest, signature: string): boolean;

package/dist/proof.js

@@ -0,0 +1,46 @@
+import { canonical, sha256Hex, verifySignature } from "./crypto.js";
+import { MerkleTree, verifyProof } from "./merkle.js";
+/**
+ * Leaf for one belief version. Commits to everything that matters about it —
+ * change a word, the confidence or the evidence, and the root changes.
+ */
+export function beliefLeaf(b) {
+    return sha256Hex(canonical({
+        k: "belief",
+        id: b.id,
+        version: b.version,
+        statement: sha256Hex(b.statement),
+        confidence: b.confidence,
+        evidence: new MerkleTree([...b.evidence].sort().map((e) => sha256Hex(e))).root,
+        tags: [...b.tags].sort(),
+    }));
+}
+/** Leaf recording that an episode was forgotten, so forgetting is itself part of the proof. */
+export function tombstoneLeaf(episodeId) {
+    return sha256Hex(canonical({ k: "tombstone", episode: episodeId }));
+}
+/** Leaves sorted by label, so the same belief set always gives the same root. */
+export function buildCommitTree(beliefs, tombstones) {
+    const entries = [
+        ...beliefs.map((b) => ({ label: `belief:${b.id}@${b.version}`, leaf: beliefLeaf(b) })),
+        ...tombstones.map((t) => ({ label: `tombstone:${t}`, leaf: tombstoneLeaf(t) })),
+    ].sort((a, b) => (a.label < b.label ? -1 : a.label > b.label ? 1 : 0));
+    return { tree: new MerkleTree(entries.map((e) => e.leaf)), labels: entries.map((e) => e.label) };
+}
+export function proofFor(ct, beliefKey) {
+    const i = ct.labels.indexOf(`belief:${beliefKey}`);
+    if (i < 0)
+        throw new Error(`belief ${beliefKey} is not in this commit`);
+    return ct.tree.proof(i);
+}
+export function verifyBeliefProof(b, proof, root) {
+    return verifyProof(beliefLeaf(b), proof, root);
+}
+/** Commit ID = sha256 of the canonical manifest. */
+export function commitId(m) {
+    return sha256Hex(canonical(m));
+}
+export function verifyManifestSignature(m, signature) {
+    return verifySignature(canonical(m), signature, m.agentPubKey);
+}
+//# sourceMappingURL=proof.js.map

package/dist/proof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof.js","sourceRoot":"","sources":["../src/proof.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACpE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAGtD;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,CAAS;IAClC,OAAO,SAAS,CACd,SAAS,CAAC;QACR,CAAC,EAAE,QAAQ;QACX,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QACjC,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,QAAQ,EAAE,IAAI,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QAC9E,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;KACzB,CAAC,CACH,CAAC;AACJ,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,aAAa,CAAC,SAAiB;IAC7C,OAAO,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;AACtE,CAAC;AAQD,iFAAiF;AACjF,MAAM,UAAU,eAAe,CAAC,OAAiB,EAAE,UAAoB;IACrE,MAAM,OAAO,GAAG;QACd,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtF,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,EAAE,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;KAChF,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,OAAO,EAAE,IAAI,EAAE,IAAI,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,EAAc,EAAE,SAAiB;IACxD,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,SAAS,EAAE,CAAC,CAAC;IACnD,IAAI,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,UAAU,SAAS,wBAAwB,CAAC,CAAC;IACxE,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,CAAS,EAAE,KAAwB,EAAE,IAAY;IACjF,OAAO,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;AACjD,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,QAAQ,CAAC,CAAiB;IACxC,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,CAAiB,EAAE,SAAiB;IAC1E,OAAO,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;AACjE,CAAC"}