@invisi-labs/sdk 1.1.7 → 1.2.1

package/dist/session-support.cjs

@@ -1,11 +1,14 @@
 "use strict";Object.defineProperty(exports, "__esModule", {value: true}); function _optionalChain(ops) { let lastAccessLHS = undefined; let value = ops[0]; let i = 1; while (i < ops.length) { const op = ops[i]; const fn = ops[i + 1]; i += 2; if ((op === 'optionalAccess' || op === 'optionalCall') && value == null) { return undefined; } if (op === 'access' || op === 'optionalAccess') { lastAccessLHS = value; value = fn(value); } else if (op === 'call' || op === 'optionalCall') { value = fn((...args) => value.call(lastAccessLHS, ...args)); lastAccessLHS = undefined; } } return value; }
 
 
+var _chunk2URICDPWcjs = require('./chunk-2URICDPW.cjs');
 
 
 
 
 
+var _chunkJ6TZZVAMcjs = require('./chunk-J6TZZVAM.cjs');
+require('./chunk-MI4IP4ZD.cjs');
 
 
 
@@ -33,18 +36,20 @@
 
 
 
+var _chunkDHQEB6JRcjs = require('./chunk-DHQEB6JR.cjs');
 
 
 
-var _chunkRHNIHI4Pcjs = require('./chunk-RHNIHI4P.cjs');
+var _chunkBBSRP4MHcjs = require('./chunk-BBSRP4MH.cjs');
 
 
 
-var _chunkLOU7AP2Bcjs = require('./chunk-LOU7AP2B.cjs');
 
 
+var _chunkHCB7RQ3Scjs = require('./chunk-HCB7RQ3S.cjs');
 
 
+var _chunkOCZLJKIAcjs = require('./chunk-OCZLJKIA.cjs');
 
 
 
@@ -55,8 +60,20 @@ var _chunkLOU7AP2Bcjs = require('./chunk-LOU7AP2B.cjs');
 
 
 
-var _chunkJ2JH6HIGcjs = require('./chunk-J2JH6HIG.cjs');
-require('./chunk-7F7ZZW3L.cjs');
+var _chunk3KTQQZOWcjs = require('./chunk-3KTQQZOW.cjs');
+
+
+
+
+
+
+var _chunkMA2QZEF5cjs = require('./chunk-MA2QZEF5.cjs');
+
+
+
+
+var _chunk4SDP53YQcjs = require('./chunk-4SDP53YQ.cjs');
+require('./chunk-LOR6PYH5.cjs');
 
 // src/transactions/proving/aggregate-receipt.ts
 var _ethers = require('ethers');
@@ -76,7 +93,7 @@ function matchesAggregateTransaction(saved, transaction) {
         (source) => source.toObject(true)
       );
       member.params.nullifiers = request.params.nullifiers.toArray(true);
-      member.params.outputCommitments = request.params.outputCommitments.toArray(true);
+      member.params.noteCommitments = request.params.noteCommitments.toArray(true);
       member.deliveries = request.deliveries.map(
         (delivery) => delivery.toObject(true)
       );
@@ -87,7 +104,7 @@ function matchesAggregateTransaction(saved, transaction) {
         funding: member.funding
       };
     });
-    if (decoded.name !== "transact" || !Array.isArray(requests) || ![4, 8, 12].includes(requests.length))
+    if (decoded.name !== "transact" || !Array.isArray(requests) || ![1, 2, 3, 4, 5].includes(requests.length))
       return false;
     const canonical = (request) => _protocol.buildTransactCalldata.call(void 0, {
       context: { ...plan.context, tokenAddress: request.params.token },
@@ -164,5 +181,9 @@ function matchesAggregateTransaction(saved, transaction) {
 
 
 
-exports.BroadcasterClient = _chunkRHNIHI4Pcjs.BroadcasterClient; exports.BroadcasterRpcError = _chunkRHNIHI4Pcjs.BroadcasterRpcError; exports.Invisi = _chunkRHNIHI4Pcjs.Invisi; exports.InvisiError = _chunkJ2JH6HIGcjs.InvisiError; exports.NoteOutput = _chunkJ2JH6HIGcjs.NoteOutput; exports.TransactionOutput = _chunkRHNIHI4Pcjs.TransactionOutput; exports.TransactionPreparation = _chunkJ2JH6HIGcjs.TransactionPreparation; exports.acceptFundingSignature = _chunkRHNIHI4Pcjs.acceptFundingSignature; exports.acceptWalletSignature = _chunkRHNIHI4Pcjs.acceptWalletSignature; exports.authorizationRequest = _chunkJ2JH6HIGcjs.authorizationRequest; exports.authorizeOperation = _chunkRHNIHI4Pcjs.authorizeOperation; exports.broadcasterQuoteDomain = _chunkRHNIHI4Pcjs.broadcasterQuoteDomain; exports.broadcasterQuoteTypes = _chunkRHNIHI4Pcjs.broadcasterQuoteTypes; exports.broadcasterRequestHash = _chunkRHNIHI4Pcjs.broadcasterRequestHash; exports.broadcasterTransactInterface = _chunkRHNIHI4Pcjs.broadcasterTransactInterface; exports.configureRecipientInfrastructure = _chunkJ2JH6HIGcjs.configureRecipientInfrastructure; exports.configureTransactionInfrastructure = _chunkRHNIHI4Pcjs.configureTransactionInfrastructure; exports.copyGasBenchmarks = _chunkRHNIHI4Pcjs.copyGasBenchmarks; exports.creditLeaf = _chunkJ2JH6HIGcjs.creditLeaf; exports.creditReservationKey = _chunkRHNIHI4Pcjs.creditReservationKey; exports.decodeBroadcasterIntent = _chunkRHNIHI4Pcjs.decodeBroadcasterIntent; exports.decodeProtocolEvent = _chunkRHNIHI4Pcjs.decodeProtocolEvent; exports.decryptCandidates = _chunkRHNIHI4Pcjs.decryptCandidates; exports.defineGasBenchmarks = _chunkRHNIHI4Pcjs.defineGasBenchmarks; exports.encodeOperation = _chunkRHNIHI4Pcjs.encodeOperation; exports.estimateBenchmarkGas = _chunkRHNIHI4Pcjs.estimateBenchmarkGas; exports.estimateGasReference = _chunkRHNIHI4Pcjs.estimateGasReference; exports.estimateShapeGas = _chunkRHNIHI4Pcjs.estimateShapeGas; exports.exportBroadcasterIntent = _chunkJ2JH6HIGcjs.exportBroadcasterIntent; exports.extractDeliveryCandidates = _chunkRHNIHI4Pcjs.extractDeliveryCandidates; exports.fundingSigningRequest = _chunkRHNIHI4Pcjs.fundingSigningRequest; exports.fundingTypedData = _chunkRHNIHI4Pcjs.fundingTypedData; exports.inputFacts = _chunkRHNIHI4Pcjs.inputFacts; exports.matchesAggregateTransaction = matchesAggregateTransaction; exports.operationExpired = _chunkJ2JH6HIGcjs.operationExpired; exports.operationPreview = _chunkRHNIHI4Pcjs.operationPreview; exports.operationSources = _chunkRHNIHI4Pcjs.operationSources; exports.prepareBroadcasterPlan = _chunkLOU7AP2Bcjs.prepareBroadcasterPlan; exports.prepareIntent = _chunkLOU7AP2Bcjs.prepareIntent; exports.prepareWithErrors = _chunkJ2JH6HIGcjs.prepareWithErrors; exports.proveOperation = _chunkRHNIHI4Pcjs.proveOperation; exports.publicProof = _chunkRHNIHI4Pcjs.publicProof; exports.readProtocolLogs = _chunkRHNIHI4Pcjs.readProtocolLogs; exports.recipientLookup = _chunkJ2JH6HIGcjs.recipientLookup; exports.requiresAuthorization = _chunkJ2JH6HIGcjs.requiresAuthorization; exports.sameStatement = _chunkRHNIHI4Pcjs.sameStatement; exports.signOperationFunding = _chunkRHNIHI4Pcjs.signOperationFunding; exports.statement = _chunkJ2JH6HIGcjs.statement; exports.validateTransactionInfrastructure = _chunkRHNIHI4Pcjs.validateTransactionInfrastructure; exports.verifyBroadcasterQuote = _chunkRHNIHI4Pcjs.verifyBroadcasterQuote; exports.verifyMembership = _chunkJ2JH6HIGcjs.verifyMembership; exports.walletSigningRequest = _chunkRHNIHI4Pcjs.walletSigningRequest; exports.witnessFor = _chunkRHNIHI4Pcjs.witnessFor;
+
+
+
+
+exports.BroadcasterClient = _chunk3KTQQZOWcjs.BroadcasterClient; exports.BroadcasterRpcError = _chunk3KTQQZOWcjs.BroadcasterRpcError; exports.Invisi = _chunkDHQEB6JRcjs.Invisi; exports.InvisiError = _chunk4SDP53YQcjs.InvisiError; exports.NoteOutput = _chunk4SDP53YQcjs.NoteOutput; exports.TransactionOutput = _chunkOCZLJKIAcjs.TransactionOutput; exports.TransactionPreparation = _chunkBBSRP4MHcjs.TransactionPreparation; exports.acceptFundingSignature = _chunkDHQEB6JRcjs.acceptFundingSignature; exports.acceptRevocationSignature = _chunkDHQEB6JRcjs.acceptRevocationSignature; exports.acceptWalletSignature = _chunkDHQEB6JRcjs.acceptWalletSignature; exports.assertCreditUpdatePlan = _chunkMA2QZEF5cjs.assertCreditUpdatePlan; exports.authorizationRequest = _chunkHCB7RQ3Scjs.authorizationRequest; exports.bindBroadcasterOperation = _chunk3KTQQZOWcjs.bindBroadcasterOperation; exports.broadcasterQuoteDomain = _chunk3KTQQZOWcjs.broadcasterQuoteDomain; exports.broadcasterQuoteTypes = _chunk3KTQQZOWcjs.broadcasterQuoteTypes; exports.broadcasterRequestHash = _chunk3KTQQZOWcjs.broadcasterRequestHash; exports.broadcasterTransactInterface = _chunk3KTQQZOWcjs.broadcasterTransactInterface; exports.configureRecipientInfrastructure = _chunkMA2QZEF5cjs.configureRecipientInfrastructure; exports.configureTransactionInfrastructure = _chunkDHQEB6JRcjs.configureTransactionInfrastructure; exports.creditLeaf = _chunkMA2QZEF5cjs.creditLeaf; exports.creditReservationKey = _chunkDHQEB6JRcjs.creditReservationKey; exports.decodeBroadcasterIntent = _chunk3KTQQZOWcjs.decodeBroadcasterIntent; exports.decodeProtocolEvent = _chunkDHQEB6JRcjs.decodeProtocolEvent; exports.decryptCandidates = _chunkDHQEB6JRcjs.decryptCandidates; exports.encodeOperation = _chunkDHQEB6JRcjs.encodeOperation; exports.exportBroadcasterIntent = _chunkBBSRP4MHcjs.exportBroadcasterIntent; exports.extractDeliveryCandidates = _chunkDHQEB6JRcjs.extractDeliveryCandidates; exports.fundingSigningRequest = _chunkDHQEB6JRcjs.fundingSigningRequest; exports.fundingTypedData = _chunkDHQEB6JRcjs.fundingTypedData; exports.getDocumentedGasReference = _chunkDHQEB6JRcjs.getDocumentedGasReference; exports.getOperationGasReference = _chunkDHQEB6JRcjs.getOperationGasReference; exports.inputFacts = _chunkDHQEB6JRcjs.inputFacts; exports.matchesAggregateTransaction = matchesAggregateTransaction; exports.operationExpired = _chunkHCB7RQ3Scjs.operationExpired; exports.operationPreview = _chunkDHQEB6JRcjs.operationPreview; exports.operationSources = _chunkDHQEB6JRcjs.operationSources; exports.prepareBroadcasterPlan = _chunk2URICDPWcjs.prepareBroadcasterPlan; exports.prepareIntent = _chunk2URICDPWcjs.prepareIntent; exports.prepareProvenance = _chunkJ6TZZVAMcjs.prepareProvenance; exports.prepareWithErrors = _chunk4SDP53YQcjs.prepareWithErrors; exports.proveOperation = _chunkDHQEB6JRcjs.proveOperation; exports.provePreparedProvenance = _chunkJ6TZZVAMcjs.provePreparedProvenance; exports.publicProof = _chunkDHQEB6JRcjs.publicProof; exports.readProtocolLogs = _chunkDHQEB6JRcjs.readProtocolLogs; exports.recipientLookup = _chunkMA2QZEF5cjs.recipientLookup; exports.requiresAuthorization = _chunkHCB7RQ3Scjs.requiresAuthorization; exports.revocationSigningRequest = _chunkDHQEB6JRcjs.revocationSigningRequest; exports.sameStatement = _chunkDHQEB6JRcjs.sameStatement; exports.signOperationFunding = _chunkDHQEB6JRcjs.signOperationFunding; exports.statement = _chunkHCB7RQ3Scjs.statement; exports.validateBroadcastEnvelope = _chunkJ6TZZVAMcjs.validateBroadcastEnvelope; exports.validatePreparedBroadcast = _chunkJ6TZZVAMcjs.validatePreparedBroadcast; exports.validateTransactionInfrastructure = _chunkDHQEB6JRcjs.validateTransactionInfrastructure; exports.verifyBroadcasterQuote = _chunk3KTQQZOWcjs.verifyBroadcasterQuote; exports.verifyMembership = _chunkMA2QZEF5cjs.verifyMembership; exports.walletSigningRequest = _chunkDHQEB6JRcjs.walletSigningRequest; exports.witnessFor = _chunkDHQEB6JRcjs.witnessFor;
 //# sourceMappingURL=session-support.cjs.map

package/dist/session-support.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["/home/runner/work/invisi-sdk-ts/invisi-sdk-ts/packages/sdk/dist/session-support.cjs","../src/transactions/proving/aggregate-receipt.ts"],"names":[],"mappings":"AAAA;AACE;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACF,wDAA6B;AAC7B;AACE;AACA;AACF,wDAA6B;AAC7B;AACE;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACF,wDAA6B;AAC7B,gCAA6B;AAC7B;AACA;AC3DA,gCAAuC;AAEvC,iDAA4D;AAC5D,4DAAwD;AAExD,IAAM,aAAA,EAAe,4BAAA,CAAkB,MAAA;AAAA,EACnC,CAAC,IAAA,EAAA,GACG,IAAA,CAAK,KAAA,IAAS,WAAA,GACd,IAAA,CAAK,KAAA,IAAS,WAAA,GACd,IAAA,CAAK,MAAA,CAAO,OAAA,IAAW,EAAA,mBACvB,IAAA,mBAAK,MAAA,qBAAO,CAAC,CAAA,6BAAG,OAAA,IAAS;AACjC,CAAA;AAEO,SAAS,2BAAA,CACZ,KAAA,EACA,WAAA,EACO;AACP,EAAA,MAAM,KAAA,EAAO,KAAA,CAAM,IAAA;AACnB,EAAA,GAAA,iBACI,IAAA,qBAAK,SAAA,6BAAW,SAAA,IAAW,iBAAA,GAC3B,CAAC,IAAA,CAAK,OAAA,GACN,CAAC,KAAA,CAAM,aAAA,GACP,WAAA,CAAY,EAAA,CAAG,WAAA,CAAY,EAAA,IAAM,IAAA,CAAK,OAAA,CAAQ,eAAA,CAAgB,WAAA,CAAY,EAAA,GAC1E,WAAA,CAAY,MAAA,IAAU,EAAA;AAEtB,IAAA,OAAO,KAAA;AACX,EAAA,IAAI;AACA,IAAA,MAAM,QAAA,EAAU,IAAI,sBAAA,CAAU,YAAY,CAAA,CAAE,gBAAA,CAAiB,EAAE,IAAA,EAAM,WAAA,CAAY,KAAK,CAAC,CAAA,EACnF,SAAA,EAAY,OAAA,CAAQ,IAAA,CAAK,CAAC,CAAA,CAAe,GAAA,CAAI,CAAC,OAAA,EAAA,GAAY;AACtD,MAAA,MAAM,OAAA,EAAS,OAAA,CAAQ,QAAA,CAAS,IAAI,CAAA;AACpC,MAAA,MAAA,CAAO,MAAA,CAAO,QAAA,EAAU,OAAA,CAAQ,MAAA,CAAO,OAAA,CAAQ,GAAA;AAAA,QAAI,CAAC,MAAA,EAAA,GAChD,MAAA,CAAO,QAAA,CAAS,IAAI;AAAA,MACxB,CAAA;AACA,MAAA,MAAA,CAAO,MAAA,CAAO,WAAA,EAAa,OAAA,CAAQ,MAAA,CAAO,UAAA,CAAW,OAAA,CAAQ,IAAI,CAAA;AACjE,MAAA,MAAA,CAAO,MAAA,CAAO,kBAAA,EAAoB,OAAA,CAAQ,MAAA,CAAO,iBAAA,CAAkB,OAAA,CAAQ,IAAI,CAAA;AAC/E,MAAA,MAAA,CAAO,WAAA,EAAa,OAAA,CAAQ,UAAA,CAAW,GAAA;AAAA,QAAI,CAAC,QAAA,EAAA,GACxC,QAAA,CAAS,QAAA,CAAS,IAAI;AAAA,MAC1B,CAAA;AACA,MAAA,MAAA,CAAO,OAAA,CAAQ,MAAA,CAAO,EAAA,EAAI,MAAA,CAAO,MAAA,CAAO,OAAA,CAAQ,MAAA,CAAO,CAAC,CAAA;AACxD,MAAA,OAAO;AAAA,QACH,MAAA,EAAQ,MAAA,CAAO,MAAA;AAAA,QACf,UAAA,EAAY,MAAA,CAAO,UAAA;AAAA,QACnB,OAAA,EAAS,MAAA,CAAO;AAAA,MACpB,CAAA;AAAA,IACJ,CAAC,CAAA;AACL,IAAA,GAAA,CACI,OAAA,CAAQ,KAAA,IAAS,WAAA,GACjB,CAAC,KAAA,CAAM,OAAA,CAAQ,QAAQ,EAAA,GACvB,CAAC,CAAC,CAAA,EAAG,CAAA,EAAG,EAAE,CAAA,CAAE,QAAA,CAAS,QAAA,CAAS,MAAM,CAAA;AAEpC,MAAA,OAAO,KAAA;AACX,IAAA,MAAM,UAAA,EAAY,CAAC,OAAA,EAAA,GACf,6CAAA;AAAsB,MAClB,OAAA,EAAS,EAAE,GAAG,IAAA,CAAK,OAAA,EAAS,YAAA,EAAc,OAAA,CAAQ,MAAA,CAAO,MAAM,CAAA;AAAA,MAC/D,KAAA,EAAO,MAAA;AAAA,MACP,MAAA,EAAQ,OAAA,CAAQ,MAAA;AAAA,MAChB,UAAA,EAAY,OAAA,CAAQ,UAAA;AAAA,MACpB,OAAA,EAAS,OAAA,CAAQ,OAAA;AAAA,MACjB,MAAA,EAAQ,WAAA,CAAY;AAAA,IACxB,CAAC,CAAA,CAAE,IAAA,CAAK,WAAA,CAAY,CAAA;AACxB,IAAA,MAAM,SAAA,EAAW,6CAAA;AAAsB,MACnC,OAAA,EAAS,IAAA,CAAK,OAAA;AAAA,MACd,KAAA,EAAO,MAAA;AAAA,MACP,MAAA,EAAQ,IAAA,CAAK,MAAA;AAAA,MACb,UAAA,EAAY,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,CAAC,MAAA,EAAA,GAAW,MAAA,CAAO,QAAQ,CAAA;AAAA,MACxD,OAAA,EAAS,IAAA,CAAK,OAAA;AAAA,MACd,MAAA,EAAQ,WAAA,CAAY;AAAA,IACxB,CAAC,CAAA,CAAE,IAAA,CAAK,WAAA,CAAY,CAAA;AACpB,IAAA,OAAO,QAAA,CAAS,MAAA,CAAO,CAAC,OAAA,EAAA,GAAY,SAAA,CAAU,OAAO,EAAA,IAAM,QAAQ,CAAA,CAAE,OAAA,IAAW,CAAA;AAAA,EACpF,EAAA,UAAQ;AACJ,IAAA,OAAO,KAAA;AAAA,EACX;AACJ;ADuCA;AACE;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACF,ggHAAC","file":"/home/runner/work/invisi-sdk-ts/invisi-sdk-ts/packages/sdk/dist/session-support.cjs","sourcesContent":[null,"import type { Address } from \"@invisi-labs/protocol/contracts\";\nimport { Interface, type Result } from \"ethers\";\n\nimport { buildTransactCalldata, type TransactionCall } from \"@invisi-labs/protocol\";\nimport { invisiProtocolAbi, type TransactRequest } from \"@invisi-labs/protocol/contracts\";\nimport type { SavedOperation } from \"../operation-types\";\nconst aggregateAbi = invisiProtocolAbi.filter(\n    (item) =>\n        item.type === \"function\" &&\n        item.name === \"transact\" &&\n        item.inputs.length === 2 &&\n        item.inputs[1]?.type === \"tuple[]\"\n);\n/** Match the whole frozen member, including funding nonce, signature and permit, in one successful aggregate. */\nexport function matchesAggregateTransaction(\n    saved: SavedOperation,\n    transaction: TransactionCall & { from: Address }\n): boolean {\n    const plan = saved.plan;\n    if (\n        plan.statement?.target !== \"noir-recursive\" ||\n        !plan.params ||\n        !saved.externalized ||\n        transaction.to.toLowerCase() !== plan.context.protocolAddress.toLowerCase() ||\n        transaction.value !== 0n\n    )\n        return false;\n    try {\n        const decoded = new Interface(aggregateAbi).parseTransaction({ data: transaction.data })!,\n            requests = (decoded.args[1] as Result[]).map((request) => {\n                const member = request.toObject(true);\n                member.params.sources = request.params.sources.map((source: Result) =>\n                    source.toObject(true)\n                );\n                member.params.nullifiers = request.params.nullifiers.toArray(true);\n                member.params.outputCommitments = request.params.outputCommitments.toArray(true);\n                member.deliveries = request.deliveries.map((delivery: Result) =>\n                    delivery.toObject(true)\n                );\n                member.funding.permit.v = Number(member.funding.permit.v);\n                return {\n                    params: member.params,\n                    deliveries: member.deliveries,\n                    funding: member.funding,\n                };\n            }) as readonly TransactRequest[];\n        if (\n            decoded.name !== \"transact\" ||\n            !Array.isArray(requests) ||\n            ![4, 8, 12].includes(requests.length)\n        )\n            return false;\n        const canonical = (request: TransactRequest) =>\n            buildTransactCalldata({\n                context: { ...plan.context, tokenAddress: request.params.token },\n                proof: \"0x00\",\n                params: request.params,\n                deliveries: request.deliveries,\n                funding: request.funding,\n                caller: transaction.from,\n            }).data.toLowerCase();\n        const expected = buildTransactCalldata({\n            context: plan.context,\n            proof: \"0x00\",\n            params: plan.params,\n            deliveries: plan.outputs.map((output) => output.delivery),\n            funding: plan.funding,\n            caller: transaction.from,\n        }).data.toLowerCase();\n        return requests.filter((request) => canonical(request) === expected).length === 1;\n    } catch {\n        return false;\n    }\n}\n"]}
+{"version":3,"sources":["/Users/wx/Workspace/invisi-lab/invisi-sdk-ts/packages/sdk/dist/session-support.cjs","../src/transactions/proving/aggregate-receipt.ts"],"names":[],"mappings":"AAAA;AACE;AACA;AACF,wDAA6B;AAC7B;AACE;AACA;AACA;AACA;AACF,wDAA6B;AAC7B,gCAA6B;AAC7B;AACE;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACF,wDAA6B;AAC7B;AACE;AACA;AACF,wDAA6B;AAC7B;AACE;AACA;AACA;AACA;AACF,wDAA6B;AAC7B;AACE;AACF,wDAA6B;AAC7B;AACE;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACF,wDAA6B;AAC7B;AACE;AACA;AACA;AACA;AACA;AACF,wDAA6B;AAC7B;AACE;AACA;AACA;AACF,wDAA6B;AAC7B,gCAA6B;AAC7B;AACA;AC5EA,gCAAuC;AAEvC,iDAA4D;AAC5D,4DAAwD;AAExD,IAAM,aAAA,EAAe,4BAAA,CAAkB,MAAA;AAAA,EACnC,CAAC,IAAA,EAAA,GACG,IAAA,CAAK,KAAA,IAAS,WAAA,GACd,IAAA,CAAK,KAAA,IAAS,WAAA,GACd,IAAA,CAAK,MAAA,CAAO,OAAA,IAAW,EAAA,mBACvB,IAAA,mBAAK,MAAA,qBAAO,CAAC,CAAA,6BAAG,OAAA,IAAS;AACjC,CAAA;AAEO,SAAS,2BAAA,CACZ,KAAA,EACA,WAAA,EACO;AACP,EAAA,MAAM,KAAA,EAAO,KAAA,CAAM,IAAA;AACnB,EAAA,GAAA,iBACI,IAAA,qBAAK,SAAA,6BAAW,SAAA,IAAW,iBAAA,GAC3B,CAAC,IAAA,CAAK,OAAA,GACN,CAAC,KAAA,CAAM,aAAA,GACP,WAAA,CAAY,EAAA,CAAG,WAAA,CAAY,EAAA,IAAM,IAAA,CAAK,OAAA,CAAQ,eAAA,CAAgB,WAAA,CAAY,EAAA,GAC1E,WAAA,CAAY,MAAA,IAAU,EAAA;AAEtB,IAAA,OAAO,KAAA;AACX,EAAA,IAAI;AACA,IAAA,MAAM,QAAA,EAAU,IAAI,sBAAA,CAAU,YAAY,CAAA,CAAE,gBAAA,CAAiB,EAAE,IAAA,EAAM,WAAA,CAAY,KAAK,CAAC,CAAA,EACnF,SAAA,EAAY,OAAA,CAAQ,IAAA,CAAK,CAAC,CAAA,CAAe,GAAA,CAAI,CAAC,OAAA,EAAA,GAAY;AACtD,MAAA,MAAM,OAAA,EAAS,OAAA,CAAQ,QAAA,CAAS,IAAI,CAAA;AACpC,MAAA,MAAA,CAAO,MAAA,CAAO,QAAA,EAAU,OAAA,CAAQ,MAAA,CAAO,OAAA,CAAQ,GAAA;AAAA,QAAI,CAAC,MAAA,EAAA,GAChD,MAAA,CAAO,QAAA,CAAS,IAAI;AAAA,MACxB,CAAA;AACA,MAAA,MAAA,CAAO,MAAA,CAAO,WAAA,EAAa,OAAA,CAAQ,MAAA,CAAO,UAAA,CAAW,OAAA,CAAQ,IAAI,CAAA;AACjE,MAAA,MAAA,CAAO,MAAA,CAAO,gBAAA,EAAkB,OAAA,CAAQ,MAAA,CAAO,eAAA,CAAgB,OAAA,CAAQ,IAAI,CAAA;AAC3E,MAAA,MAAA,CAAO,WAAA,EAAa,OAAA,CAAQ,UAAA,CAAW,GAAA;AAAA,QAAI,CAAC,QAAA,EAAA,GACxC,QAAA,CAAS,QAAA,CAAS,IAAI;AAAA,MAC1B,CAAA;AACA,MAAA,MAAA,CAAO,OAAA,CAAQ,MAAA,CAAO,EAAA,EAAI,MAAA,CAAO,MAAA,CAAO,OAAA,CAAQ,MAAA,CAAO,CAAC,CAAA;AACxD,MAAA,OAAO;AAAA,QACH,MAAA,EAAQ,MAAA,CAAO,MAAA;AAAA,QACf,UAAA,EAAY,MAAA,CAAO,UAAA;AAAA,QACnB,OAAA,EAAS,MAAA,CAAO;AAAA,MACpB,CAAA;AAAA,IACJ,CAAC,CAAA;AACL,IAAA,GAAA,CACI,OAAA,CAAQ,KAAA,IAAS,WAAA,GACjB,CAAC,KAAA,CAAM,OAAA,CAAQ,QAAQ,EAAA,GACvB,CAAC,CAAC,CAAA,EAAG,CAAA,EAAG,CAAA,EAAG,CAAA,EAAG,CAAC,CAAA,CAAE,QAAA,CAAS,QAAA,CAAS,MAAM,CAAA;AAEzC,MAAA,OAAO,KAAA;AACX,IAAA,MAAM,UAAA,EAAY,CAAC,OAAA,EAAA,GACf,6CAAA;AAAsB,MAClB,OAAA,EAAS,EAAE,GAAG,IAAA,CAAK,OAAA,EAAS,YAAA,EAAc,OAAA,CAAQ,MAAA,CAAO,MAAM,CAAA;AAAA,MAC/D,KAAA,EAAO,MAAA;AAAA,MACP,MAAA,EAAQ,OAAA,CAAQ,MAAA;AAAA,MAChB,UAAA,EAAY,OAAA,CAAQ,UAAA;AAAA,MACpB,OAAA,EAAS,OAAA,CAAQ,OAAA;AAAA,MACjB,MAAA,EAAQ,WAAA,CAAY;AAAA,IACxB,CAAC,CAAA,CAAE,IAAA,CAAK,WAAA,CAAY,CAAA;AACxB,IAAA,MAAM,SAAA,EAAW,6CAAA;AAAsB,MACnC,OAAA,EAAS,IAAA,CAAK,OAAA;AAAA,MACd,KAAA,EAAO,MAAA;AAAA,MACP,MAAA,EAAQ,IAAA,CAAK,MAAA;AAAA,MACb,UAAA,EAAY,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,CAAC,MAAA,EAAA,GAAW,MAAA,CAAO,QAAQ,CAAA;AAAA,MACxD,OAAA,EAAS,IAAA,CAAK,OAAA;AAAA,MACd,MAAA,EAAQ,WAAA,CAAY;AAAA,IACxB,CAAC,CAAA,CAAE,IAAA,CAAK,WAAA,CAAY,CAAA;AACpB,IAAA,OAAO,QAAA,CAAS,MAAA,CAAO,CAAC,OAAA,EAAA,GAAY,SAAA,CAAU,OAAO,EAAA,IAAM,QAAQ,CAAA,CAAE,OAAA,IAAW,CAAA;AAAA,EACpF,EAAA,UAAQ;AACJ,IAAA,OAAO,KAAA;AAAA,EACX;AACJ;ADwDA;AACE;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACF,o3HAAC","file":"/Users/wx/Workspace/invisi-lab/invisi-sdk-ts/packages/sdk/dist/session-support.cjs","sourcesContent":[null,"import type { Address } from \"@invisi-labs/protocol/contracts\";\nimport { Interface, type Result } from \"ethers\";\n\nimport { buildTransactCalldata, type TransactionCall } from \"@invisi-labs/protocol\";\nimport { invisiProtocolAbi, type TransactRequest } from \"@invisi-labs/protocol/contracts\";\nimport type { SavedOperation } from \"../operation-types\";\nconst aggregateAbi = invisiProtocolAbi.filter(\n    (item) =>\n        item.type === \"function\" &&\n        item.name === \"transact\" &&\n        item.inputs.length === 2 &&\n        item.inputs[1]?.type === \"tuple[]\"\n);\n/** Match the whole frozen member, including funding nonce, signature and permit, in one successful aggregate. */\nexport function matchesAggregateTransaction(\n    saved: SavedOperation,\n    transaction: TransactionCall & { from: Address }\n): boolean {\n    const plan = saved.plan;\n    if (\n        plan.statement?.target !== \"noir-recursive\" ||\n        !plan.params ||\n        !saved.externalized ||\n        transaction.to.toLowerCase() !== plan.context.protocolAddress.toLowerCase() ||\n        transaction.value !== 0n\n    )\n        return false;\n    try {\n        const decoded = new Interface(aggregateAbi).parseTransaction({ data: transaction.data })!,\n            requests = (decoded.args[1] as Result[]).map((request) => {\n                const member = request.toObject(true);\n                member.params.sources = request.params.sources.map((source: Result) =>\n                    source.toObject(true)\n                );\n                member.params.nullifiers = request.params.nullifiers.toArray(true);\n                member.params.noteCommitments = request.params.noteCommitments.toArray(true);\n                member.deliveries = request.deliveries.map((delivery: Result) =>\n                    delivery.toObject(true)\n                );\n                member.funding.permit.v = Number(member.funding.permit.v);\n                return {\n                    params: member.params,\n                    deliveries: member.deliveries,\n                    funding: member.funding,\n                };\n            }) as readonly TransactRequest[];\n        if (\n            decoded.name !== \"transact\" ||\n            !Array.isArray(requests) ||\n            ![1, 2, 3, 4, 5].includes(requests.length)\n        )\n            return false;\n        const canonical = (request: TransactRequest) =>\n            buildTransactCalldata({\n                context: { ...plan.context, tokenAddress: request.params.token },\n                proof: \"0x00\",\n                params: request.params,\n                deliveries: request.deliveries,\n                funding: request.funding,\n                caller: transaction.from,\n            }).data.toLowerCase();\n        const expected = buildTransactCalldata({\n            context: plan.context,\n            proof: \"0x00\",\n            params: plan.params,\n            deliveries: plan.outputs.map((output) => output.delivery),\n            funding: plan.funding,\n            caller: transaction.from,\n        }).data.toLowerCase();\n        return requests.filter((request) => canonical(request) === expected).length === 1;\n    } catch {\n        return false;\n    }\n}\n"]}

package/dist/session-support.d.cts

@@ -1,22 +1,24 @@
-import { I as GasEstimateRequest, m as GasBenchmarkProfile, p as GasReference, J as OperationPlan, K as BenchmarkGasEstimate, L as SavedOperation, M as TransactionRuntime, v as TransactionProveOptions, i as FundingSigner, F as FundingAuthorizationVerifier, Q as OperationStatus, R as PreparationRuntime, w as TransferPreparation, S as ShieldPreparation, h as CreateCreditPreparation, D as DrawCreditPreparation, T as TopUpCreditPreparation, C as CancelCreditPreparation, U as TransactionInfrastructure } from './broadcaster-preparation-DMxxZ_1Q.cjs';
-export { V as AddressLookup, B as BroadcasterClient, a as BroadcasterConfiguration, b as BroadcasterFeeSource, c as BroadcasterQuote, d as BroadcasterRpcError, e as BroadcasterStatus, f as BroadcasterTransport, g as BroadcasterTrust, X as Checkpoint, Y as CoinSelector, Z as CreditPlan, _ as CreditRecord, j as FundingSource, k as FundingTypedData, G as GasBenchmarkCircuit, l as GasBenchmarkDeployment, n as GasBenchmarkSample, o as GasBenchmarkShape, $ as LocalOperationSecrets, N as NoteOutput, a0 as NoteRecord, O as OperationAggregateMember, a1 as PreparationIntent, a2 as PreparationInventory, a3 as PreparedCreditInput, a4 as PreparedCreditOutput, a5 as PreparedOutput, a6 as ReceiptPosition, t as SignedBroadcasterQuote, a7 as SpentState, u as TransactionExecution, a8 as WalletScope, W as WithBroadcasterOptions, x as broadcasterQuoteDomain, y as broadcasterQuoteTypes, z as broadcasterRequestHash, A as broadcasterTransactInterface, a9 as configureRecipientInfrastructure, aa as creditReservationKey, E as decodeBroadcasterIntent, ab as prepareBroadcasterPlan, ac as prepareIntent, ad as recipientLookup, H as verifyBroadcasterQuote } from './broadcaster-preparation-DMxxZ_1Q.cjs';
-import { Hex as Hex$1, InputSource, Address as Address$1 } from '@invisi-labs/protocol/contracts';
-export { o as DeliveryCandidate, D as DeliveryEventLog, a as DiscoveredCredit, b as DiscoveredNote, p as DiscoveryContext, I as Invisi, h as InvisiError, i as InvisiErrorCode, j as InvisiErrorDetails, l as TransactionOutput, q as copyGasBenchmarks, m as decryptCandidates, n as defineGasBenchmarks, s as extractDeliveryCandidates, t as prepareWithErrors, r as readProtocolLogs } from './receipt-logs-CvC951p7.cjs';
-import { TokenProtocol, ChainReader, TransactionContext, CanonicalBlock, Membership, TransactionCall } from '@invisi-labs/protocol';
-import * as _invisi_labs_core from '@invisi-labs/core';
-import { AuthorizedStatement, WalletAuthorizationProvider, CreditDeliveryState } from '@invisi-labs/core';
+import { e as OperationPlan, s as SavedOperation, T as TransactionRuntime, f as TransactionProveOptions, F as FundingSigner, c as FundingAuthorizationVerifier, O as OperationStatus, t as PreparationRuntime, r as TransferPreparation, S as ShieldPreparation, C as CreateCreditPreparation, D as DrawCreditPreparation, U as UpdateCreditPreparation, R as RevokeCreditPreparation, h as TransactionInfrastructure } from './operation-bridge-CoECSxfi.cjs';
+export { A as AddressLookup, i as BroadcasterClient, k as BroadcasterFeeSource, l as BroadcasterQuoteOptions, B as BroadcasterTransaction, u as Checkpoint, v as CoinSelector, w as CreditPlan, x as CreditRecord, m as FundingSource, b as FundingTypedData, L as LocalOperationSecrets, N as NoteOutput, y as NoteRecord, g as OperationAggregateMember, d as PreparationIntent, z as PreparationInventory, E as PreparedCreditInput, G as PreparedCreditOutput, H as PreparedOutput, a as PreparedProvenanceCapability, I as ReceiptPosition, J as SpentState, q as TransactionExecution, W as WalletScope, K as bindBroadcasterOperation, M as configureRecipientInfrastructure, Q as creditReservationKey, V as prepareBroadcasterPlan, X as prepareIntent, Y as prepareProvenance, Z as provePreparedProvenance, _ as recipientLookup, $ as validateBroadcastEnvelope, a0 as validatePreparedBroadcast } from './operation-bridge-CoECSxfi.cjs';
+import { Hex as Hex$1, InputSource, Address } from '@invisi-labs/protocol/contracts';
+export { h as DeliveryCandidate, D as DeliveryEventLog, a as DiscoveredCredit, b as DiscoveredNote, i as DiscoveryContext, I as Invisi, c as InvisiError, d as InvisiErrorCode, e as InvisiErrorDetails, g as decryptCandidates, j as extractDeliveryCandidates, p as prepareWithErrors, r as readProtocolLogs } from './receipt-logs-DQRJK0l8.cjs';
+import * as _invisi_labs_protocol from '@invisi-labs/protocol';
+import { ChainReader, TransactionContext, CanonicalBlock, Membership, TransactionCall } from '@invisi-labs/protocol';
+export { DocumentedGasReference, DocumentedGasShape, getDocumentedGasReference } from '@invisi-labs/protocol';
+import { TokenProtocol } from '@invisi-labs/rpc';
+import * as _invisi_labs_primitives from '@invisi-labs/primitives';
+import { AuthorizedStatement, CreditDeliveryState } from '@invisi-labs/primitives';
 import * as _invisi_labs_prover from '@invisi-labs/prover';
 import { Prover, ProofBundle, ProofStatement, ProvingRequest } from '@invisi-labs/prover';
+export { TransactionOutput } from './note.cjs';
+export { BroadcasterConfiguration, BroadcasterEstimate, BroadcasterQuote, BroadcasterRpcError, BroadcasterStatus, BroadcasterTransport, BroadcasterTrust, SignedBroadcasterQuote, broadcasterQuoteDomain, broadcasterQuoteTypes, broadcasterRequestHash, broadcasterTransactInterface, decodeBroadcasterIntent, verifyBroadcasterQuote } from '@invisi-labs/rpc/broadcaster';
+import '@invisi-labs/protocol/provenance';
+import '@invisi-labs/prover/provenance-witness';
+import '@invisi-labs/rpc/provenance';
 import 'ethers';
+import './index-CLhGwLxZ.cjs';
 
-/** Internal workload envelope for combinations without an exact receipt measurement. */
-declare function estimateShapeGas(request: GasEstimateRequest, profiles?: readonly GasBenchmarkProfile[]): GasReference;
-
-/** Pure reference lookup. No proof, RPC, current fee price, extrapolation or transaction gas limit. */
-declare function estimateBenchmarkGas(plan: OperationPlan, protocol: TokenProtocol, profiles?: readonly GasBenchmarkProfile[]): BenchmarkGasEstimate;
-declare function estimateGasReference(plan: OperationPlan, protocol: TokenProtocol, profiles?: readonly GasBenchmarkProfile[]): GasReference;
-
-/** Public frozen request for quote signing. Empty proof/signature make this deliberately non-sendable. */
+/** Quote-only export; callers still need the operation-specific proof or owner authorization. */
 declare function exportBroadcasterIntent(plan: OperationPlan): {
     sendable: false;
     data: Hex$1;
@@ -34,37 +36,37 @@ declare function decodeProtocolEvent(log: {
     topics: readonly string[];
 }): {
     eventName: string;
-    args: Record<string, any>;
+    args: {
+        [k: string]: unknown;
+    };
 };
 
+/** A pre-proof documented scenario reference; conditions remain visible in the result. */
+declare function getOperationGasReference(plan: OperationPlan, _protocol?: TokenProtocol): _invisi_labs_protocol.DocumentedGasReference;
+
 declare function encodeOperation(saved: SavedOperation): Promise<TransactionCall>;
 
-/** Both managed and detached handles authorize the same frozen statement. */
-declare function authorizeOperation(plan: OperationPlan, provider: WalletAuthorizationProvider): Promise<AuthorizedStatement>;
 declare function proveOperation(protocol: TokenProtocol, plan: OperationPlan, authorization: AuthorizedStatement | undefined, prover: Prover, options: TransactionProveOptions): Promise<_invisi_labs_prover.ProofBundle>;
 declare function signOperationFunding(saved: SavedOperation, signer: FundingSigner, verifier?: FundingAuthorizationVerifier): Promise<`0x${string}`>;
 /** Export only typed commitments, never private note openings or authorization witnesses. */
-declare function walletSigningRequest(plan: OperationPlan): _invisi_labs_core.SigningRequest;
+declare function walletSigningRequest(plan: OperationPlan): _invisi_labs_primitives.SigningRequest;
 /** Recover the EOA key and build the existing private witness without receiving a private key. */
 declare function acceptWalletSignature(plan: OperationPlan, signature: string): Promise<AuthorizedStatement>;
 /** The remote round trip may outlive the nonce or deadline selected during preparation. */
-declare function fundingSigningRequest(saved: SavedOperation, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<_invisi_labs_core.SigningRequest>;
+declare function fundingSigningRequest(saved: SavedOperation, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<_invisi_labs_primitives.SigningRequest>;
 /** Verify against reconstructed operation data, never caller-supplied typed data. */
 declare function acceptFundingSignature(saved: SavedOperation, signature: string, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<`0x${string}`>;
 
-type Hex = `0x${string}`;
-type Address = `0x${string}`;
-
 declare function operationPreview(plan: OperationPlan, status: OperationStatus): {
     id: string;
-    kind: "shield" | "transfer" | "create-credit" | "draw-credit" | "top-up-credit" | "cancel-credit";
+    kind: "create-credit" | "update-credit" | "transfer" | "shield" | "draw-credit" | "revoke-credit";
     status: OperationStatus;
     context: {
-        tokenAddress: Address;
+        tokenAddress: _invisi_labs_primitives.Address;
         now?: bigint;
         timestamp?: bigint;
         chainId: bigint;
-        protocolAddress: Address;
+        protocolAddress: _invisi_labs_primitives.Address;
     };
     inputs: number;
     inputDetails: ({
@@ -77,10 +79,13 @@ declare function operationPreview(plan: OperationPlan, status: OperationStatus):
     } | {
         kind: "credits";
         commitment: `0x${string}`;
-        amount: bigint;
+        revocationShard: bigint;
+        revocationSlot: bigint;
         owner: `0x${string}`;
         spender: `0x${string}`;
         expiry: bigint;
+        availableCredit: bigint;
+        unlimited: boolean;
         role: "owner" | "spender";
         treeId: bigint;
         leafIndex: number;
@@ -96,14 +101,34 @@ declare function operationPreview(plan: OperationPlan, status: OperationStatus):
         };
     };
     creditOutputs: {
+        lastDay: bigint;
+        dailySpent: bigint;
+        lastMonth: bigint;
+        monthlySpent: bigint;
+        totalSpent: bigint;
+        availableCredit: bigint;
+        unlimited: boolean;
+        singleLimit: bigint;
+        dailyLimit: bigint;
+        monthlyLimit: bigint;
         commitment: `0x${string}`;
-        amount: bigint;
+        revocationShard: bigint;
+        revocationSlot: bigint;
         expiry: bigint;
         owner: `0x${string}`;
         spender: `0x${string}`;
-        ownerPayout: bigint;
-        spenderPayout: bigint;
     }[] | undefined;
+    creditUpdate: _invisi_labs_primitives.CreditUpdateChanges | undefined;
+    creditDraw: {
+        grossAmount: bigint;
+        feeAmount: bigint;
+        netAmount: bigint;
+        payers: {
+            payer: _invisi_labs_primitives.Address;
+            amount: bigint;
+        }[];
+    } | undefined;
+    creditFeePayer: `0x${string}` | undefined;
     outputs: {
         commitment: `0x${string}`;
         to: string;
@@ -126,6 +151,8 @@ declare function operationPreview(plan: OperationPlan, status: OperationStatus):
 };
 
 declare function creditLeaf(state: CreditDeliveryState): Promise<Hex$1>;
+/** Rebuild from the original input and delta; cached output balances are never update intent. */
+declare function assertCreditUpdatePlan(plan: OperationPlan): Promise<void>;
 
 declare function inputFacts(plan: OperationPlan): Array<{
     key: string;
@@ -147,13 +174,13 @@ declare class TransactionPreparation<Result> {
     prepareShield(options: ShieldPreparation): Promise<Result>;
     prepareCreateCredit(options: CreateCreditPreparation): Promise<Result>;
     prepareDrawCredit(options: DrawCreditPreparation): Promise<Result>;
-    prepareTopUpCredit(options: TopUpCreditPreparation): Promise<Result>;
-    prepareCancelCredit(options: CancelCreditPreparation): Promise<Result>;
+    prepareUpdateCredit(options: UpdateCreditPreparation): Promise<Result>;
+    prepareRevokeCredit(options: RevokeCreditPreparation): Promise<Result>;
 }
 
 /** Match the whole frozen member, including funding nonce, signature and permit, in one successful aggregate. */
 declare function matchesAggregateTransaction(saved: SavedOperation, transaction: TransactionCall & {
-    from: Address$1;
+    from: Address;
 }): boolean;
 
 /** Whitelist the public proof fields; a custom local backend cannot accidentally export its witness. */
@@ -163,6 +190,8 @@ declare function sameStatement(proof: ProofBundle, expected: ProofStatement): vo
 
 declare function witnessFor(protocol: TokenProtocol, plan: OperationPlan, authorization?: AuthorizedStatement): Promise<ProvingRequest>;
 
+type Hex = `0x${string}`;
+
 declare function fundingTypedData(saved: SavedOperation): Promise<{
     domain: {
         name: string;
@@ -170,9 +199,9 @@ declare function fundingTypedData(saved: SavedOperation): Promise<{
         chainId: bigint;
         verifyingContract: Hex;
     };
-    primaryType: "FundTransact";
+    primaryType: "FundShield";
     types: {
-        FundTransact: readonly [{
+        FundShield: readonly [{
             readonly name: "requestHash";
             readonly type: "bytes32";
         }, {
@@ -203,9 +232,9 @@ declare function fundingTypedData(saved: SavedOperation): Promise<{
         chainId: bigint;
         verifyingContract: Hex;
     };
-    primaryType: "FundShield";
+    primaryType: "FundTransact";
     types: {
-        FundShield: readonly [{
+        FundTransact: readonly [{
             readonly name: "requestHash";
             readonly type: "bytes32";
         }, {
@@ -238,7 +267,7 @@ declare function authorizationRequest(plan: OperationPlan): {
         chainId: bigint;
         protocolAddress: bigint;
     };
-    operation: "transact" | "create-credit" | "top-up-credit" | "cancel-credit" | "credit-draw";
+    operation: "transact" | "create-credit" | "update-credit" | "credit-draw";
     capacity: number;
     words: bigint[];
 };
@@ -249,4 +278,7 @@ declare function configureTransactionInfrastructure<T extends TransactionInfrast
 /** Validate the selected chain and pinned deployment before any managed state access. */
 declare function validateTransactionInfrastructure(options: TransactionInfrastructure): Promise<void>;
 
-export { BenchmarkGasEstimate, CancelCreditPreparation, CreateCreditPreparation, DrawCreditPreparation, FundingAuthorizationVerifier, FundingSigner, GasBenchmarkProfile, GasEstimateRequest, GasReference, OperationPlan, OperationStatus, PreparationRuntime, SavedOperation, ShieldPreparation, TopUpCreditPreparation, TransactionInfrastructure, TransactionPreparation, TransactionProveOptions, TransactionRuntime, TransferPreparation, acceptFundingSignature, acceptWalletSignature, authorizationRequest, authorizeOperation, configureTransactionInfrastructure, creditLeaf, decodeProtocolEvent, encodeOperation, estimateBenchmarkGas, estimateGasReference, estimateShapeGas, exportBroadcasterIntent, fundingSigningRequest, fundingTypedData, inputFacts, matchesAggregateTransaction, operationExpired, operationPreview, operationSources, proveOperation, publicProof, requiresAuthorization, sameStatement, signOperationFunding, statement, validateTransactionInfrastructure, verifyMembership, walletSigningRequest, witnessFor };
+declare function revocationSigningRequest(plan: OperationPlan, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<_invisi_labs_primitives.SigningRequest>;
+declare function acceptRevocationSignature(plan: OperationPlan, signature: Hex$1, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<`0x${string}`>;
+
+export { CreateCreditPreparation, DrawCreditPreparation, FundingAuthorizationVerifier, FundingSigner, OperationPlan, OperationStatus, PreparationRuntime, RevokeCreditPreparation, SavedOperation, ShieldPreparation, TransactionInfrastructure, TransactionPreparation, TransactionProveOptions, TransactionRuntime, TransferPreparation, UpdateCreditPreparation, acceptFundingSignature, acceptRevocationSignature, acceptWalletSignature, assertCreditUpdatePlan, authorizationRequest, configureTransactionInfrastructure, creditLeaf, decodeProtocolEvent, encodeOperation, exportBroadcasterIntent, fundingSigningRequest, fundingTypedData, getOperationGasReference, inputFacts, matchesAggregateTransaction, operationExpired, operationPreview, operationSources, proveOperation, publicProof, requiresAuthorization, revocationSigningRequest, sameStatement, signOperationFunding, statement, validateTransactionInfrastructure, verifyMembership, walletSigningRequest, witnessFor };

package/dist/session-support.d.ts

@@ -1,22 +1,24 @@
-import { I as GasEstimateRequest, m as GasBenchmarkProfile, p as GasReference, J as OperationPlan, K as BenchmarkGasEstimate, L as SavedOperation, M as TransactionRuntime, v as TransactionProveOptions, i as FundingSigner, F as FundingAuthorizationVerifier, Q as OperationStatus, R as PreparationRuntime, w as TransferPreparation, S as ShieldPreparation, h as CreateCreditPreparation, D as DrawCreditPreparation, T as TopUpCreditPreparation, C as CancelCreditPreparation, U as TransactionInfrastructure } from './broadcaster-preparation-DMxxZ_1Q.js';
-export { V as AddressLookup, B as BroadcasterClient, a as BroadcasterConfiguration, b as BroadcasterFeeSource, c as BroadcasterQuote, d as BroadcasterRpcError, e as BroadcasterStatus, f as BroadcasterTransport, g as BroadcasterTrust, X as Checkpoint, Y as CoinSelector, Z as CreditPlan, _ as CreditRecord, j as FundingSource, k as FundingTypedData, G as GasBenchmarkCircuit, l as GasBenchmarkDeployment, n as GasBenchmarkSample, o as GasBenchmarkShape, $ as LocalOperationSecrets, N as NoteOutput, a0 as NoteRecord, O as OperationAggregateMember, a1 as PreparationIntent, a2 as PreparationInventory, a3 as PreparedCreditInput, a4 as PreparedCreditOutput, a5 as PreparedOutput, a6 as ReceiptPosition, t as SignedBroadcasterQuote, a7 as SpentState, u as TransactionExecution, a8 as WalletScope, W as WithBroadcasterOptions, x as broadcasterQuoteDomain, y as broadcasterQuoteTypes, z as broadcasterRequestHash, A as broadcasterTransactInterface, a9 as configureRecipientInfrastructure, aa as creditReservationKey, E as decodeBroadcasterIntent, ab as prepareBroadcasterPlan, ac as prepareIntent, ad as recipientLookup, H as verifyBroadcasterQuote } from './broadcaster-preparation-DMxxZ_1Q.js';
-import { Hex as Hex$1, InputSource, Address as Address$1 } from '@invisi-labs/protocol/contracts';
-export { o as DeliveryCandidate, D as DeliveryEventLog, a as DiscoveredCredit, b as DiscoveredNote, p as DiscoveryContext, I as Invisi, h as InvisiError, i as InvisiErrorCode, j as InvisiErrorDetails, l as TransactionOutput, q as copyGasBenchmarks, m as decryptCandidates, n as defineGasBenchmarks, s as extractDeliveryCandidates, t as prepareWithErrors, r as readProtocolLogs } from './receipt-logs-m0-bhaxW.js';
-import { TokenProtocol, ChainReader, TransactionContext, CanonicalBlock, Membership, TransactionCall } from '@invisi-labs/protocol';
-import * as _invisi_labs_core from '@invisi-labs/core';
-import { AuthorizedStatement, WalletAuthorizationProvider, CreditDeliveryState } from '@invisi-labs/core';
+import { e as OperationPlan, s as SavedOperation, T as TransactionRuntime, f as TransactionProveOptions, F as FundingSigner, c as FundingAuthorizationVerifier, O as OperationStatus, t as PreparationRuntime, r as TransferPreparation, S as ShieldPreparation, C as CreateCreditPreparation, D as DrawCreditPreparation, U as UpdateCreditPreparation, R as RevokeCreditPreparation, h as TransactionInfrastructure } from './operation-bridge-CoECSxfi.js';
+export { A as AddressLookup, i as BroadcasterClient, k as BroadcasterFeeSource, l as BroadcasterQuoteOptions, B as BroadcasterTransaction, u as Checkpoint, v as CoinSelector, w as CreditPlan, x as CreditRecord, m as FundingSource, b as FundingTypedData, L as LocalOperationSecrets, N as NoteOutput, y as NoteRecord, g as OperationAggregateMember, d as PreparationIntent, z as PreparationInventory, E as PreparedCreditInput, G as PreparedCreditOutput, H as PreparedOutput, a as PreparedProvenanceCapability, I as ReceiptPosition, J as SpentState, q as TransactionExecution, W as WalletScope, K as bindBroadcasterOperation, M as configureRecipientInfrastructure, Q as creditReservationKey, V as prepareBroadcasterPlan, X as prepareIntent, Y as prepareProvenance, Z as provePreparedProvenance, _ as recipientLookup, $ as validateBroadcastEnvelope, a0 as validatePreparedBroadcast } from './operation-bridge-CoECSxfi.js';
+import { Hex as Hex$1, InputSource, Address } from '@invisi-labs/protocol/contracts';
+export { h as DeliveryCandidate, D as DeliveryEventLog, a as DiscoveredCredit, b as DiscoveredNote, i as DiscoveryContext, I as Invisi, c as InvisiError, d as InvisiErrorCode, e as InvisiErrorDetails, g as decryptCandidates, j as extractDeliveryCandidates, p as prepareWithErrors, r as readProtocolLogs } from './receipt-logs-fMR6Bwql.js';
+import * as _invisi_labs_protocol from '@invisi-labs/protocol';
+import { ChainReader, TransactionContext, CanonicalBlock, Membership, TransactionCall } from '@invisi-labs/protocol';
+export { DocumentedGasReference, DocumentedGasShape, getDocumentedGasReference } from '@invisi-labs/protocol';
+import { TokenProtocol } from '@invisi-labs/rpc';
+import * as _invisi_labs_primitives from '@invisi-labs/primitives';
+import { AuthorizedStatement, CreditDeliveryState } from '@invisi-labs/primitives';
 import * as _invisi_labs_prover from '@invisi-labs/prover';
 import { Prover, ProofBundle, ProofStatement, ProvingRequest } from '@invisi-labs/prover';
+export { TransactionOutput } from './note.js';
+export { BroadcasterConfiguration, BroadcasterEstimate, BroadcasterQuote, BroadcasterRpcError, BroadcasterStatus, BroadcasterTransport, BroadcasterTrust, SignedBroadcasterQuote, broadcasterQuoteDomain, broadcasterQuoteTypes, broadcasterRequestHash, broadcasterTransactInterface, decodeBroadcasterIntent, verifyBroadcasterQuote } from '@invisi-labs/rpc/broadcaster';
+import '@invisi-labs/protocol/provenance';
+import '@invisi-labs/prover/provenance-witness';
+import '@invisi-labs/rpc/provenance';
 import 'ethers';
+import './index-Crp-ZFiM.js';
 
-/** Internal workload envelope for combinations without an exact receipt measurement. */
-declare function estimateShapeGas(request: GasEstimateRequest, profiles?: readonly GasBenchmarkProfile[]): GasReference;
-
-/** Pure reference lookup. No proof, RPC, current fee price, extrapolation or transaction gas limit. */
-declare function estimateBenchmarkGas(plan: OperationPlan, protocol: TokenProtocol, profiles?: readonly GasBenchmarkProfile[]): BenchmarkGasEstimate;
-declare function estimateGasReference(plan: OperationPlan, protocol: TokenProtocol, profiles?: readonly GasBenchmarkProfile[]): GasReference;
-
-/** Public frozen request for quote signing. Empty proof/signature make this deliberately non-sendable. */
+/** Quote-only export; callers still need the operation-specific proof or owner authorization. */
 declare function exportBroadcasterIntent(plan: OperationPlan): {
     sendable: false;
     data: Hex$1;
@@ -34,37 +36,37 @@ declare function decodeProtocolEvent(log: {
     topics: readonly string[];
 }): {
     eventName: string;
-    args: Record<string, any>;
+    args: {
+        [k: string]: unknown;
+    };
 };
 
+/** A pre-proof documented scenario reference; conditions remain visible in the result. */
+declare function getOperationGasReference(plan: OperationPlan, _protocol?: TokenProtocol): _invisi_labs_protocol.DocumentedGasReference;
+
 declare function encodeOperation(saved: SavedOperation): Promise<TransactionCall>;
 
-/** Both managed and detached handles authorize the same frozen statement. */
-declare function authorizeOperation(plan: OperationPlan, provider: WalletAuthorizationProvider): Promise<AuthorizedStatement>;
 declare function proveOperation(protocol: TokenProtocol, plan: OperationPlan, authorization: AuthorizedStatement | undefined, prover: Prover, options: TransactionProveOptions): Promise<_invisi_labs_prover.ProofBundle>;
 declare function signOperationFunding(saved: SavedOperation, signer: FundingSigner, verifier?: FundingAuthorizationVerifier): Promise<`0x${string}`>;
 /** Export only typed commitments, never private note openings or authorization witnesses. */
-declare function walletSigningRequest(plan: OperationPlan): _invisi_labs_core.SigningRequest;
+declare function walletSigningRequest(plan: OperationPlan): _invisi_labs_primitives.SigningRequest;
 /** Recover the EOA key and build the existing private witness without receiving a private key. */
 declare function acceptWalletSignature(plan: OperationPlan, signature: string): Promise<AuthorizedStatement>;
 /** The remote round trip may outlive the nonce or deadline selected during preparation. */
-declare function fundingSigningRequest(saved: SavedOperation, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<_invisi_labs_core.SigningRequest>;
+declare function fundingSigningRequest(saved: SavedOperation, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<_invisi_labs_primitives.SigningRequest>;
 /** Verify against reconstructed operation data, never caller-supplied typed data. */
 declare function acceptFundingSignature(saved: SavedOperation, signature: string, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<`0x${string}`>;
 
-type Hex = `0x${string}`;
-type Address = `0x${string}`;
-
 declare function operationPreview(plan: OperationPlan, status: OperationStatus): {
     id: string;
-    kind: "shield" | "transfer" | "create-credit" | "draw-credit" | "top-up-credit" | "cancel-credit";
+    kind: "create-credit" | "update-credit" | "transfer" | "shield" | "draw-credit" | "revoke-credit";
     status: OperationStatus;
     context: {
-        tokenAddress: Address;
+        tokenAddress: _invisi_labs_primitives.Address;
         now?: bigint;
         timestamp?: bigint;
         chainId: bigint;
-        protocolAddress: Address;
+        protocolAddress: _invisi_labs_primitives.Address;
     };
     inputs: number;
     inputDetails: ({
@@ -77,10 +79,13 @@ declare function operationPreview(plan: OperationPlan, status: OperationStatus):
     } | {
         kind: "credits";
         commitment: `0x${string}`;
-        amount: bigint;
+        revocationShard: bigint;
+        revocationSlot: bigint;
         owner: `0x${string}`;
         spender: `0x${string}`;
         expiry: bigint;
+        availableCredit: bigint;
+        unlimited: boolean;
         role: "owner" | "spender";
         treeId: bigint;
         leafIndex: number;
@@ -96,14 +101,34 @@ declare function operationPreview(plan: OperationPlan, status: OperationStatus):
         };
     };
     creditOutputs: {
+        lastDay: bigint;
+        dailySpent: bigint;
+        lastMonth: bigint;
+        monthlySpent: bigint;
+        totalSpent: bigint;
+        availableCredit: bigint;
+        unlimited: boolean;
+        singleLimit: bigint;
+        dailyLimit: bigint;
+        monthlyLimit: bigint;
         commitment: `0x${string}`;
-        amount: bigint;
+        revocationShard: bigint;
+        revocationSlot: bigint;
         expiry: bigint;
         owner: `0x${string}`;
         spender: `0x${string}`;
-        ownerPayout: bigint;
-        spenderPayout: bigint;
     }[] | undefined;
+    creditUpdate: _invisi_labs_primitives.CreditUpdateChanges | undefined;
+    creditDraw: {
+        grossAmount: bigint;
+        feeAmount: bigint;
+        netAmount: bigint;
+        payers: {
+            payer: _invisi_labs_primitives.Address;
+            amount: bigint;
+        }[];
+    } | undefined;
+    creditFeePayer: `0x${string}` | undefined;
     outputs: {
         commitment: `0x${string}`;
         to: string;
@@ -126,6 +151,8 @@ declare function operationPreview(plan: OperationPlan, status: OperationStatus):
 };
 
 declare function creditLeaf(state: CreditDeliveryState): Promise<Hex$1>;
+/** Rebuild from the original input and delta; cached output balances are never update intent. */
+declare function assertCreditUpdatePlan(plan: OperationPlan): Promise<void>;
 
 declare function inputFacts(plan: OperationPlan): Array<{
     key: string;
@@ -147,13 +174,13 @@ declare class TransactionPreparation<Result> {
     prepareShield(options: ShieldPreparation): Promise<Result>;
     prepareCreateCredit(options: CreateCreditPreparation): Promise<Result>;
     prepareDrawCredit(options: DrawCreditPreparation): Promise<Result>;
-    prepareTopUpCredit(options: TopUpCreditPreparation): Promise<Result>;
-    prepareCancelCredit(options: CancelCreditPreparation): Promise<Result>;
+    prepareUpdateCredit(options: UpdateCreditPreparation): Promise<Result>;
+    prepareRevokeCredit(options: RevokeCreditPreparation): Promise<Result>;
 }
 
 /** Match the whole frozen member, including funding nonce, signature and permit, in one successful aggregate. */
 declare function matchesAggregateTransaction(saved: SavedOperation, transaction: TransactionCall & {
-    from: Address$1;
+    from: Address;
 }): boolean;
 
 /** Whitelist the public proof fields; a custom local backend cannot accidentally export its witness. */
@@ -163,6 +190,8 @@ declare function sameStatement(proof: ProofBundle, expected: ProofStatement): vo
 
 declare function witnessFor(protocol: TokenProtocol, plan: OperationPlan, authorization?: AuthorizedStatement): Promise<ProvingRequest>;
 
+type Hex = `0x${string}`;
+
 declare function fundingTypedData(saved: SavedOperation): Promise<{
     domain: {
         name: string;
@@ -170,9 +199,9 @@ declare function fundingTypedData(saved: SavedOperation): Promise<{
         chainId: bigint;
         verifyingContract: Hex;
     };
-    primaryType: "FundTransact";
+    primaryType: "FundShield";
     types: {
-        FundTransact: readonly [{
+        FundShield: readonly [{
             readonly name: "requestHash";
             readonly type: "bytes32";
         }, {
@@ -203,9 +232,9 @@ declare function fundingTypedData(saved: SavedOperation): Promise<{
         chainId: bigint;
         verifyingContract: Hex;
     };
-    primaryType: "FundShield";
+    primaryType: "FundTransact";
     types: {
-        FundShield: readonly [{
+        FundTransact: readonly [{
             readonly name: "requestHash";
             readonly type: "bytes32";
         }, {
@@ -238,7 +267,7 @@ declare function authorizationRequest(plan: OperationPlan): {
         chainId: bigint;
         protocolAddress: bigint;
     };
-    operation: "transact" | "create-credit" | "top-up-credit" | "cancel-credit" | "credit-draw";
+    operation: "transact" | "create-credit" | "update-credit" | "credit-draw";
     capacity: number;
     words: bigint[];
 };
@@ -249,4 +278,7 @@ declare function configureTransactionInfrastructure<T extends TransactionInfrast
 /** Validate the selected chain and pinned deployment before any managed state access. */
 declare function validateTransactionInfrastructure(options: TransactionInfrastructure): Promise<void>;
 
-export { BenchmarkGasEstimate, CancelCreditPreparation, CreateCreditPreparation, DrawCreditPreparation, FundingAuthorizationVerifier, FundingSigner, GasBenchmarkProfile, GasEstimateRequest, GasReference, OperationPlan, OperationStatus, PreparationRuntime, SavedOperation, ShieldPreparation, TopUpCreditPreparation, TransactionInfrastructure, TransactionPreparation, TransactionProveOptions, TransactionRuntime, TransferPreparation, acceptFundingSignature, acceptWalletSignature, authorizationRequest, authorizeOperation, configureTransactionInfrastructure, creditLeaf, decodeProtocolEvent, encodeOperation, estimateBenchmarkGas, estimateGasReference, estimateShapeGas, exportBroadcasterIntent, fundingSigningRequest, fundingTypedData, inputFacts, matchesAggregateTransaction, operationExpired, operationPreview, operationSources, proveOperation, publicProof, requiresAuthorization, sameStatement, signOperationFunding, statement, validateTransactionInfrastructure, verifyMembership, walletSigningRequest, witnessFor };
+declare function revocationSigningRequest(plan: OperationPlan, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<_invisi_labs_primitives.SigningRequest>;
+declare function acceptRevocationSignature(plan: OperationPlan, signature: Hex$1, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<`0x${string}`>;
+
+export { CreateCreditPreparation, DrawCreditPreparation, FundingAuthorizationVerifier, FundingSigner, OperationPlan, OperationStatus, PreparationRuntime, RevokeCreditPreparation, SavedOperation, ShieldPreparation, TransactionInfrastructure, TransactionPreparation, TransactionProveOptions, TransactionRuntime, TransferPreparation, UpdateCreditPreparation, acceptFundingSignature, acceptRevocationSignature, acceptWalletSignature, assertCreditUpdatePlan, authorizationRequest, configureTransactionInfrastructure, creditLeaf, decodeProtocolEvent, encodeOperation, exportBroadcasterIntent, fundingSigningRequest, fundingTypedData, getOperationGasReference, inputFacts, matchesAggregateTransaction, operationExpired, operationPreview, operationSources, proveOperation, publicProof, requiresAuthorization, revocationSigningRequest, sameStatement, signOperationFunding, statement, validateTransactionInfrastructure, verifyMembership, walletSigningRequest, witnessFor };