zklicensing 0.1.0-beta.2 → 0.1.0-beta.21

package/build/contractInterface.js

@@ -1,5 +1,5 @@
 // Copyright (c) 2025-2026 zkLicensing project developers
-// All rights reserved.
+// SPDX-License-Identifier: BUSL-1.1
 /**
  * contractInterface.ts
  *
@@ -12,33 +12,45 @@
  * about durations are published here so a public verify service can replay
  * the archive without pulling in the contract source.
  *
- * `CANONICAL_VK_HASH` and `CANONICAL_LICENSE_PROOF_VK_HASH` are the
- * verification-key hashes of the two published circuits — `LicensingApp`
- * (the on-chain zkApp) and `LicenseOwnershipProgram` (the ownership
- * challenge/response `ZkProgram`), respectively. Both are hand-maintained
- * constants — bump them whenever the corresponding circuit changes and
- * rerun the keeper's boot assertion (see zklicensing-app/src/keeperService.ts)
+ * `CANONICAL_VK_HASH` is the verification-key hash of the published
+ * `LicensingApp` circuit. Bump it whenever the on-chain zkApp changes
+ * and rerun the backend's boot assertion (see zklicensing-app/src/keeperService.ts)
  * / the verify service's `ensureCompiled()` check to catch drift.
  */
-import { declareState, fetchAccount, Field, PublicKey, SmartContract, Struct, UInt32, UInt64, MerkleMap } from 'o1js';
+import { Bool, declareState, fetchAccount, Field, PublicKey, SmartContract, Struct, UInt32, UInt64, MerkleMap } from 'o1js';
 // ------------------------------------------------------------
 // EVENT STRUCTS
 // ------------------------------------------------------------
 // Struct() returns a class whose type references o1js internals that fall
 // outside this package's rootDir (npm hoists o1js to the workspace root).
 // Annotating each export as `any` keeps tsc from inferring (and therefore
-// emitting) those internal type references. Consumers get full typing through
-// the hand-written contractInterface.d.ts shim.
+// emitting) those internal type references, so the generated declarations
+// stay self-contained.
 //
 // The clean alternative — `export class X extends Struct({...}) {}` as the
 // mina-fungible-token repo does — only works when o1js sits inside rootDir,
 // which a workspace member can't guarantee.
+// `cap` is carried so that a backend reconstructing the license from archive
+// events (e.g. after losing its in-memory intent map to a restart) can
+// rehydrate the exact LicenseLeaf that was committed on-chain. Without it,
+// leafFromRecord() would default cap to UInt32.zero and every follow-up
+// root-mutating proof (renew, refund, bind, unbind) would fail the
+// in-circuit hash check.
+//
+// `deviceSlotsRoot` / `deviceSlotsFilled` are omitted deliberately: at issue
+// time they are always EMPTY_DEVICE_SLOTS_ROOT / 0. The backend's rehydration
+// uses those defaults, matching the leaf the circuit wrote.
+//
+// The leaf carries no separate ownerPubKeyHash — `licenseHash` IS the owner-
+// pubkey commitment (buyLicense asserts them equal), so it doesn't need to
+// ride in the event either.
 export const LicenseIssuedEvent = Struct({
     licenseHash: Field,
     buyer: PublicKey,
     amount: UInt64,
     slot: UInt32,
     expirySlot: UInt32,
+    cap: UInt32,
 });
 export const ExpiryUpdateEvent = Struct({
     licenseHash: Field,
@@ -48,32 +60,156 @@ export const PriceUpdatedEvent = Struct({
     priceMonthly: UInt64,
     priceYearly: UInt64,
     priceFiveYear: UInt64,
+    pricePerpetual: UInt64,
 });
 export const AppCreatedEvent = Struct({
     vendor: PublicKey,
+    /** The app this one continues (a redeploy: it starts with that app's licenses); PublicKey.empty() for a first generation. */
+    predecessor: PublicKey,
+    /** The licenses tree it starts with: empty, or its predecessor's frozen root. */
+    licensesRoot: Field,
+});
+// Emitted by `retire`: the app is frozen at `licensesRoot` for a redeploy;
+// its successor starts with that tree (initializeSuccessor). `by` is the key
+// that signed it (the vendor's or the platform's).
+// `forced`: the platform retired it with purchases still in escrow (their
+// funds stay on the retired contract, which settles nothing any more).
+export const AppRetiredEvent = Struct({ licensesRoot: Field, by: PublicKey, successor: PublicKey, forced: Bool });
+/**
+ * What the vendor or the platform signs to retire an app: bound to the app,
+ * its frozen root, the one successor that may start from it, and `force`
+ * (only the platform may: retire with purchases in escrow, whose funds then
+ * stay on the retired contract).
+ */
+export const APP_RETIRE_TAG = Field(0x7a6b726574697265n); // "zkretire"
+export function appRetireMessage(app, licensesRoot, successor, force) {
+    return [APP_RETIRE_TAG, ...app.toFields(), licensesRoot, ...successor.toFields(), force.toField()];
+}
+/**
+ * LicensingApp's on-chain state, in declaration order (appState index of
+ * each field; a PublicKey takes two). A successor's initializeSuccessor
+ * reads its predecessor's through account preconditions.
+ */
+export const LICENSING_APP_STATE = {
+    licensesRoot: 0, vendorX: 1, vendorIsOdd: 2, escrowRoot: 3, pricesPacked: 4,
+    version: 5, ancestorsRoot: 6, forkActivationSlot: 7, deviceCap: 8, retired: 9,
+    successorX: 10, successorIsOdd: 11,
+    payoutX: 12, payoutIsOdd: 13, pendingPayoutX: 14, pendingPayoutIsOdd: 15, pendingPayoutSlot: 16,
+    platformX: 17, platformIsOdd: 18, treasuryX: 19, treasuryIsOdd: 20, platformEpoch: 21,
+    vendorNonce: 22, networkId: 23,
+};
+// ------------------------------------------------------------
+// KEYS: the platform key, payout addresses, the vendor key, license owners
+// ------------------------------------------------------------
+/** Deterministic Field from a short ASCII label (≤ 31 bytes). */
+function tagField(label) {
+    let v = 0n;
+    for (const ch of label)
+        v = (v << 8n) | BigInt(ch.charCodeAt(0));
+    return Field(v);
+}
+export const KEY_TAGS = {
+    PLATFORM_KEY: tagField('zkLicensing/v1/platformKey'),
+    PLATFORM_RECOVER: tagField('zkLicensing/v1/platformRecover'),
+    VENDOR_KEY: tagField('zkLicensing/v1/vendorKey'),
+    LICENSE_TRANSFER: tagField('zkLicensing/v1/licenseMove'),
+};
+/**
+ * The platform's key (signs platform retires and cancels), its treasury
+ * (receives the 2%) and how many times they changed, as every app and
+ * registry holds them. A new contract starts with the current ones (the
+ * keeper checks them before listing it); a successor carries its
+ * predecessor's over, checked on chain.
+ */
+export const PlatformState = Struct({ key: PublicKey, treasury: PublicKey, epoch: UInt32 });
+/**
+ * A change of the platform key and treasury: signed by the current platform
+ * key and the new one. Bound to the network and the next epoch, not to a
+ * contract, so one pair of signatures updates every app and registry on the
+ * network (anyone may send them; each contract takes it once).
+ */
+export function platformKeyMessage(a) {
+    return [KEY_TAGS.PLATFORM_KEY, a.network, a.epoch.value, ...a.key.toFields(), ...a.treasury.toFields()];
+}
+/**
+ * The same, signed by the offline recovery key alone (compiled into the
+ * circuits): it can always set a new platform key and treasury, lost or
+ * stolen, at any epoch above a contract's current one.
+ */
+export function platformRecoverMessage(a) {
+    return [KEY_TAGS.PLATFORM_RECOVER, a.network, a.epoch.value, ...a.key.toFields(), ...a.treasury.toFields()];
+}
+/** A new vendor key for an app: signed by the current vendor key and the new one; `nonce` is the app's vendorNonce. */
+export function vendorKeyMessage(a) {
+    return [KEY_TAGS.VENDOR_KEY, a.network, ...a.app.toFields(), a.nonce.value, ...a.vendor.toFields()];
+}
+/**
+ * A license moving to a new owner key (`to` = ownerPubKeyHash of the new
+ * key): signed by the current owner key and the new one, over the license
+ * as it is now (its leaf hash) and a last slot it may land by.
+ */
+export function licenseTransferMessage(a) {
+    return [KEY_TAGS.LICENSE_TRANSFER, a.network, ...a.app.toFields(), a.leafHash, a.to, a.validUntil.value];
+}
+/**
+ * How long a new payout address waits before it takes effect: 48 hours at
+ * 90 s per slot. Payments keep going to the current one until it is
+ * applied, and the owner can cancel it meanwhile.
+ */
+export const PAYOUT_DELAY_SLOTS_N = 1_920;
+/** A payout address was proposed; anyone may apply it from `effectiveSlot` on. */
+export const PayoutProposedEvent = Struct({ payout: PublicKey, effectiveSlot: UInt32 });
+/** The payout address now in use (applied), or the pending one cancelled (`applied` false). */
+export const PayoutChangedEvent = Struct({ payout: PublicKey, applied: Bool });
+export const PlatformChangedEvent = Struct({ platform: PlatformState, byRecovery: Bool });
+export const VendorChangedEvent = Struct({ vendor: PublicKey, nonce: UInt32 });
+/**
+ * A license moved to a new owner key: the same leaf under `to`. `wallet` is
+ * the transaction's sender, the new owner's wallet that paid for it (as
+ * LicenseIssuedEvent's `buyer`), so a replay lists it under that wallet.
+ */
+export const LicenseTransferredEvent = Struct({ from: Field, to: Field, wallet: PublicKey });
+// Emitted by `bind` when the buyer's device commitment lands in a slot on
+// their license leaf. `deviceCommitment = Poseidon(devicePubKeyHash)` — the
+// raw pubkey is never revealed. `slotIndex` is 0-based within the license's
+// fixed-size slot array (see DEVICE_SLOT_CAP).
+//
+// `boundAtSlot` carries the circuit's proof-time `globalSlotSinceGenesis` —
+// the exact value packed into the leaf's `freedAt` via `packSlotTimes(
+// currentSlot, 0)`. Off-chain backends rebuilding `deviceSlotsRoot` MUST use
+// this, not the block's globalSlot: the tx's precondition allows any block
+// slot within TOLERANCE_WINDOW of proof time, so block-slot != proof-slot in
+// the general case, and any mismatch flips the packed field, the leaf hash,
+// and the aggregate `licensesRoot`. Follows the same pattern as
+// `LicenseIssuedEvent.slot`.
+export const DeviceBoundEvent = Struct({
+    licenseHash: Field,
+    slotIndex: UInt32,
+    deviceCommitment: Field,
+    boundAtSlot: UInt32,
 });
-// Emitted by `migrateLicense` when a license issued under an ancestor
-// deployment is re-minted into this deployment at zero payment. `licenseHash`
-// is stable across all deployments because the buyer's derived hash is what
-// identifies the license; `expirySlot` is copied verbatim from the ancestor's
-// licensesRoot entry; `ancestorGen` is the generation index the migration
-// resolved against (needed so archive replay and auditors can trace which
-// frozen root supplied the entry — skip-generation migrations are one-hop).
-export const LicenseMigratedEvent = Struct({
+// Emitted by `unbind` when a slot is freed. `slotIndex` stays occupied in the
+// array (`slotFreedAt` stamp stays set) so the cooldown timer starts; the
+// slot's `occupied` field goes to Field(0). Any device holding the license's
+// ownership key can trigger this — remote log-off is by design.
+//
+// `freedAtSlot` carries the circuit's proof-time `globalSlotSinceGenesis` —
+// the value packed into the leaf's `freedAt` via `packSlotTimes(preservedBound,
+// currentSlot)`. Same off-chain reconstruction reason as `DeviceBoundEvent.
+// boundAtSlot`. The preserved `boundAtSlot` is not re-emitted; the backend
+// reads it from its own record (which still has the earlier bind's stamp).
+export const DeviceUnboundEvent = Struct({
     licenseHash: Field,
-    expirySlot: UInt32,
-    ancestorGen: UInt32,
+    slotIndex: UInt32,
+    freedAtSlot: UInt32,
 });
 // ------------------------------------------------------------
 // CONSTANTS (slot math — 90 s/slot after Mesa upgrade)
 // ------------------------------------------------------------
-export const MONTHLY_SLOTS_N = 28_800; // 30 days × 24 × 40
-export const ONE_YEAR_SLOTS_N = 350_640; // 365.25 days × 24 × 40 (Julian year)
-export const FIVE_YEAR_SLOTS_N = 1_753_200; // 5 × ONE_YEAR_SLOTS_N
-export const REFUND_WINDOW_N = 13_440;
-export const GRACE_PERIOD_N = 6_720;
-export const MS_PER_SLOT_N = 90_000; // Mesa slot duration in ms
-export const SLOTS_PER_DAY_N = 960; // 86_400_000 / MS_PER_SLOT_N
+// Plain numbers, in an o1js-free module so the package root (verifyLicense)
+// can use them without o1js installed; re-exported here unchanged.
+import { MONTHLY_SLOTS_N, ONE_YEAR_SLOTS_N, FIVE_YEAR_SLOTS_N, PERPETUAL_SLOTS_N, REFUND_WINDOW_N, GRACE_PERIOD_N, MS_PER_SLOT_N, SLOTS_PER_DAY_N, } from './slotConstants.js';
+export { MONTHLY_SLOTS_N, ONE_YEAR_SLOTS_N, FIVE_YEAR_SLOTS_N, PERPETUAL_SLOTS_N, REFUND_WINDOW_N, GRACE_PERIOD_N, MS_PER_SLOT_N, SLOTS_PER_DAY_N, };
 // Slot tolerance for the globalSlotSinceGenesis precondition. Applied uniformly to
 // every method that reads currentSlot. 40 slots × 90 s = 1 hour — sized to
 // clear the honest-user prove+wallet+mempool latency envelope. The refund vs
@@ -82,13 +218,43 @@ export const SLOTS_PER_DAY_N = 960; // 86_400_000 / MS_PER_SLOT_N
 // asserts against a threshold shifted by +TOLERANCE_WINDOW so neither can
 // land on the same real slot as the other. See AUDIT_BRIEF.md §7.
 export const TOLERANCE_WINDOW_N = 40;
+// How far before a successor's fork activation slot a license's grace period
+// may have ended and still qualify for the fork bump (effectiveExpirySlot).
+// The bump exists for licenses that lapsed because the pre-fork sales freeze
+// blocked renewal; the freeze starts at hardforkSlot - REFUND_WINDOW_N -
+// margin (~15_500 slots). 20_160 slots = 21 days covers that with slack.
+// Licenses whose grace ran out earlier lapsed normally and keep their expiry.
+// The keeper warns at startup if FREEZE_AFTER_SLOT sits further back.
+export const MIGRATION_BUMP_LOOKBACK_N = 20_160;
+/**
+ * A license's expiry as the app's contract treats it: a successor deployed
+ * across a Mina hardfork (forkActivationSlot > 0) starts with its
+ * predecessor's licenses, and a license that lapsed during the pre-fork
+ * freeze (expiry before the fork slot, but within grace + lookback of it)
+ * counts as expiring at the fork slot, so the 7-day grace runs from there.
+ * renewLicense applies the same rule in-circuit; verification uses this.
+ */
+export function effectiveExpirySlot(expirySlot, forkActivationSlot = 0) {
+    return forkBumpedExpiry(expirySlot, forkActivationSlot, GRACE_PERIOD_N);
+}
+/**
+ * The fork bump shared by licenses and permits: an expiry before the fork
+ * slot, but within `grace` + MIGRATION_BUMP_LOOKBACK_N of it (it lapsed
+ * during the pre-fork freeze, when it couldn't be renewed), counts as
+ * expiring at the fork slot. Licenses use their 7-day grace, permits their
+ * registry's grace period.
+ */
+export function forkBumpedExpiry(expirySlot, forkActivationSlot, grace) {
+    return expirySlot < forkActivationSlot && expirySlot + grace + MIGRATION_BUMP_LOOKBACK_N >= forkActivationSlot
+        ? forkActivationSlot : expirySlot;
+}
 export const EMPTY = Field(0);
 export const EMPTY_ROOT = new MerkleMap().getRoot();
 // ------------------------------------------------------------
 // DURATION HELPERS
 // ------------------------------------------------------------
-export const DURATION_LABELS = ['1 Month', '1 Year', '5 Years'];
-export const DURATION_INDEX = { '1 Month': 0, '1 Year': 1, '5 Years': 2 };
+export const DURATION_LABELS = ['1 Month', '1 Year', '5 Years', 'Perpetual'];
+export const DURATION_INDEX = { '1 Month': 0, '1 Year': 1, '5 Years': 2, 'Perpetual': 3 };
 export function durationSlotsFromLabel(label) {
     if (label === '1 Month')
         return MONTHLY_SLOTS_N;
@@ -96,6 +262,8 @@ export function durationSlotsFromLabel(label) {
         return ONE_YEAR_SLOTS_N;
     if (label === '5 Years')
         return FIVE_YEAR_SLOTS_N;
+    if (label === 'Perpetual')
+        return PERPETUAL_SLOTS_N;
     return null;
 }
 export function durationIndexFromLabel(label) {
@@ -105,6 +273,8 @@ export function durationIndexFromLabel(label) {
         return 1;
     if (label === '5 Years')
         return 2;
+    if (label === 'Perpetual')
+        return 3;
     return null;
 }
 export function durationLabelFromIndex(idx) {
@@ -123,16 +293,23 @@ export class LicensingAppEventsContract extends SmartContract {
         licenseIssued: LicenseIssuedEvent,
         licenseIssuedNoEscrow: LicenseIssuedEvent,
         licenseRenewed: ExpiryUpdateEvent,
-        licenseMigrated: LicenseMigratedEvent,
+        appRetired: AppRetiredEvent,
         refundIssued: Field,
         fundsReleased: Field,
         priceUpdated: PriceUpdatedEvent,
+        deviceBound: DeviceBoundEvent,
+        deviceUnbound: DeviceUnboundEvent,
+        licenseTransferred: LicenseTransferredEvent,
+        vendorChanged: VendorChangedEvent,
+        payoutProposed: PayoutProposedEvent,
+        payoutChanged: PayoutChangedEvent,
+        platformChanged: PlatformChangedEvent,
     };
 }
 // State-slot layout mirrors LicensingApp's declareState(). Read-only from here
 // — no @method bodies exist. Consumers use `.version.get()`, `.licensesRoot.get()`
-// etc. after fetchAccount(). `pricesPacked` is a single Field with the three
-// UInt64 tier prices packed as [pM | pY<<64 | pF<<128]; unpack with
+// etc. after fetchAccount(). `pricesPacked` is a single Field with the four
+// 63-bit tier prices packed as [pM | pY<<63 | pF<<126 | pP<<189]; unpack with
 // `unpackPrices` if you need the individual tiers off-chain.
 declareState(LicensingAppEventsContract, {
     licensesRoot: Field,
@@ -141,17 +318,32 @@ declareState(LicensingAppEventsContract, {
     pricesPacked: Field,
     version: UInt32,
     ancestorsRoot: Field,
+    forkActivationSlot: UInt32,
+    deviceCap: UInt32,
+    retired: Field,
+    successor: PublicKey,
+    payout: PublicKey,
+    pendingPayout: PublicKey,
+    pendingPayoutSlot: UInt32,
+    platform: PublicKey,
+    treasury: PublicKey,
+    platformEpoch: UInt32,
+    vendorNonce: UInt32,
+    networkId: Field,
 });
 // Off-chain mirror of the in-circuit price packing (see LicensingApp.ts). Kept
 // here so the events service can decode `pricesPacked` slots without pulling
-// the private contract source.
+// the private contract source. Layout: four 63-bit tiers = 252 bits, fits in
+// the ~254-bit Field. Each tier's high bit is unused — a UInt64 written by
+// packPrices is range-checked to 63 bits in circuit.
 export function unpackPrices(packed) {
     const raw = packed.toBigInt();
-    const mask = (1n << 64n) - 1n;
+    const mask = (1n << 63n) - 1n;
     return {
         priceMonthly: UInt64.from(raw & mask),
-        priceYearly: UInt64.from((raw >> 64n) & mask),
-        priceFiveYear: UInt64.from((raw >> 128n) & mask),
+        priceYearly: UInt64.from((raw >> 63n) & mask),
+        priceFiveYear: UInt64.from((raw >> 126n) & mask),
+        pricePerpetual: UInt64.from((raw >> 189n) & mask),
     };
 }
 // ------------------------------------------------------------
@@ -159,7 +351,7 @@ export function unpackPrices(packed) {
 //
 // On-chain `version` slot is set at init() and can never change (setPermissions
 // is impossible; setVerificationKey is impossibleDuringCurrentVersion). A
-// keeper / verifier that only understands v1 state decodes must refuse to serve
+// backend / verifier that only understands v1 state decodes must refuse to serve
 // a zkApp deployed from a different source revision — otherwise it could
 // mis-decode events or feed a stale state format to the verifier.
 //
@@ -186,7 +378,7 @@ export async function fetchLicensingAppVersion(zkAppAddress) {
 // ------------------------------------------------------------
 // CANONICAL VK HASHES
 //
-// Per-generation, append-only. The keeper boots with `LicensingApp.compile()`
+// Per-generation, append-only. The backend boots with `LicensingApp.compile()`
 // and asserts the resulting VK hash matches `CANONICAL_VK_HASH` (the current
 // generation's row); the verify service resolves an address's generation via
 // AppRecord.deploymentHistory and asserts the on-chain VK hash matches
@@ -197,17 +389,16 @@ export async function fetchLicensingAppVersion(zkAppAddress) {
 // `deploymentHistory[]`, so the resolver returns null and verify rejects.
 //
 // Rules:
-//   - Append the new generation's row at each hardfork migration; never
+//   - Append the new generation's row at each circuit release; never
 //     delete historical rows.
 //   - Bump `CURRENT_GENERATION` to the new key alongside the row.
-//   - `CANONICAL_VK_HASH` is derived from the record — drift test and keeper
+//   - `CANONICAL_VK_HASH` is derived from the record — drift test and backend
 //     boot-assert are unchanged.
 // ------------------------------------------------------------
 export const CANONICAL_VK_HASHES = {
-    1: '25510637873522061606403949338800808972643356911784243535869508122414992770753',
-    // 2: '…' — append at each hardfork migration, never delete.
+    1: '24356937757056509770089463595975375774248178850824042790271400407790662393035',
+    // 2: '…' — append at each circuit release, never delete.
 };
 export const CURRENT_GENERATION = 1;
 export const CANONICAL_VK_HASH = CANONICAL_VK_HASHES[CURRENT_GENERATION];
-export const CANONICAL_LICENSE_PROOF_VK_HASH = '6592142093294558010952934797827640785154417146015648013584661926355710165692';
 //# sourceMappingURL=contractInterface.js.map

package/build/contractInterface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contractInterface.js","sourceRoot":"","sources":["../src/contractInterface.ts"],"names":[],"mappings":"AAAA,yDAAyD;AACzD,oCAAoC;AAEpC;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AAE5H,+DAA+D;AAC/D,gBAAgB;AAChB,+DAA+D;AAE/D,0EAA0E;AAC1E,0EAA0E;AAC1E,0EAA0E;AAC1E,0EAA0E;AAC1E,uBAAuB;AACvB,EAAE;AACF,2EAA2E;AAC3E,4EAA4E;AAC5E,4CAA4C;AAE5C,6EAA6E;AAC7E,uEAAuE;AACvE,2EAA2E;AAC3E,wEAAwE;AACxE,mEAAmE;AACnE,yBAAyB;AACzB,EAAE;AACF,6EAA6E;AAC7E,8EAA8E;AAC9E,4DAA4D;AAC5D,EAAE;AACF,6EAA6E;AAC7E,2EAA2E;AAC3E,4BAA4B;AAC5B,MAAM,CAAC,MAAM,kBAAkB,GAAQ,MAAM,CAAC;IAC5C,WAAW,EAAE,KAAK;IAClB,KAAK,EAAQ,SAAS;IACtB,MAAM,EAAO,MAAM;IACnB,IAAI,EAAS,MAAM;IACnB,UAAU,EAAG,MAAM;IACnB,GAAG,EAAU,MAAM;CACpB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,iBAAiB,GAAQ,MAAM,CAAC;IAC3C,WAAW,EAAE,KAAK;IAClB,SAAS,EAAI,MAAM;CACpB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,iBAAiB,GAAQ,MAAM,CAAC;IAC3C,YAAY,EAAI,MAAM;IACtB,WAAW,EAAK,MAAM;IACtB,aAAa,EAAG,MAAM;IACtB,cAAc,EAAE,MAAM;CACvB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,eAAe,GAAQ,MAAM,CAAC;IACzC,MAAM,EAAE,SAAS;IACjB,6HAA6H;IAC7H,WAAW,EAAE,SAAS;IACtB,iFAAiF;IACjF,YAAY,EAAE,KAAK;CACpB,CAAC,CAAC;AAGH,2EAA2E;AAC3E,6EAA6E;AAC7E,mDAAmD;AACnD,0EAA0E;AAC1E,uEAAuE;AACvE,MAAM,CAAC,MAAM,eAAe,GAAQ,MAAM,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAGvH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAU,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC,aAAa;AAC9E,MAAM,UAAU,gBAAgB,CAAC,GAAc,EAAE,YAAmB,EAAE,SAAoB,EAAE,KAAW;IACrG,OAAO,CAAC,cAAc,EAAE,GAAG,GAAG,CAAC,QAAQ,EAAE,EAAE,YAAY,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;AACrG,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC;IAC3E,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;IAC7E,UAAU,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE;IAClC,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE;IAC/F,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE;IACrF,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE;CACtB,CAAC;AAEX,+DAA+D;AAC/D,2EAA2E;AAC3E,+DAA+D;AAE/D,iEAAiE;AACjE,SAAS,QAAQ,CAAC,KAAa;IAC7B,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,KAAK,MAAM,EAAE,IAAI,KAAK;QAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAqG;IACxH,YAAY,EAAM,QAAQ,CAAC,4BAA4B,CAAC;IACxD,gBAAgB,EAAE,QAAQ,CAAC,gCAAgC,CAAC;IAC5D,UAAU,EAAQ,QAAQ,CAAC,0BAA0B,CAAC;IACtD,gBAAgB,EAAE,QAAQ,CAAC,4BAA4B,CAAC;CACzD,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,aAAa,GAAQ,MAAM,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;AAGjG;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,CAAyE;IAC1G,OAAO,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC1G,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,CAAyE;IAC9G,OAAO,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC9G,CAAC;AAED,uHAAuH;AACvH,MAAM,UAAU,gBAAgB,CAAC,CAAuE;IACtG,OAAO,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;AACtG,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,CAAqF;IAC1H,OAAO,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;AAC3G,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC;AAE1C,kFAAkF;AAClF,MAAM,CAAC,MAAM,mBAAmB,GAAQ,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;AAE7F,+FAA+F;AAC/F,MAAM,CAAC,MAAM,kBAAkB,GAAQ,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AAEpF,MAAM,CAAC,MAAM,oBAAoB,GAAQ,MAAM,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;AAE/F,MAAM,CAAC,MAAM,kBAAkB,GAAQ,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;AAEpF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAQ,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;AAGlG,0EAA0E;AAC1E,4EAA4E;AAC5E,4EAA4E;AAC5E,+CAA+C;AAC/C,EAAE;AACF,4EAA4E;AAC5E,uEAAuE;AACvE,6EAA6E;AAC7E,2EAA2E;AAC3E,6EAA6E;AAC7E,4EAA4E;AAC5E,gEAAgE;AAChE,6BAA6B;AAC7B,MAAM,CAAC,MAAM,gBAAgB,GAAQ,MAAM,CAAC;IAC1C,WAAW,EAAO,KAAK;IACvB,SAAS,EAAS,MAAM;IACxB,gBAAgB,EAAE,KAAK;IACvB,WAAW,EAAO,MAAM;CACzB,CAAC,CAAC;AAGH,8EAA8E;AAC9E,0EAA0E;AAC1E,6EAA6E;AAC7E,gEAAgE;AAChE,EAAE;AACF,4EAA4E;AAC5E,gFAAgF;AAChF,4EAA4E;AAC5E,2EAA2E;AAC3E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,kBAAkB,GAAQ,MAAM,CAAC;IAC5C,WAAW,EAAE,KAAK;IAClB,SAAS,EAAI,MAAM;IACnB,WAAW,EAAE,MAAM;CACpB,CAAC,CAAC;AAGH,+DAA+D;AAC/D,uDAAuD;AACvD,+DAA+D;AAE/D,4EAA4E;AAC5E,mEAAmE;AACnE,OAAO,EACL,eAAe,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,EACvE,eAAe,EAAE,cAAc,EAAE,aAAa,EAAE,eAAe,GAChE,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,eAAe,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,EACvE,eAAe,EAAE,cAAc,EAAE,aAAa,EAAE,eAAe,GAChE,CAAC;AAEF,mFAAmF;AACnF,2EAA2E;AAC3E,6EAA6E;AAC7E,+EAA+E;AAC/E,6EAA6E;AAC7E,0EAA0E;AAC1E,kEAAkE;AAClE,MAAM,CAAC,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAErC,6EAA6E;AAC7E,4EAA4E;AAC5E,6EAA6E;AAC7E,yEAAyE;AACzE,yEAAyE;AACzE,8EAA8E;AAC9E,sEAAsE;AACtE,MAAM,CAAC,MAAM,yBAAyB,GAAG,MAAM,CAAC;AAEhD;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAkB,EAAE,kBAAkB,GAAG,CAAC;IAC5E,OAAO,gBAAgB,CAAC,UAAU,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAAC;AAC1E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAkB,EAAE,kBAA0B,EAAE,KAAa;IAC5F,OAAO,UAAU,GAAG,kBAAkB,IAAI,UAAU,GAAG,KAAK,GAAG,yBAAyB,IAAI,kBAAkB;QAC5G,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU,CAAC;AACtC,CAAC;AAED,MAAM,CAAC,MAAM,KAAK,GAAe,KAAK,CAAC,CAAC,CAAC,CAAC;AAC1C,MAAM,CAAC,MAAM,UAAU,GAAU,IAAI,SAAS,EAAE,CAAC,OAAO,EAAE,CAAC;AAE3D,+DAA+D;AAC/D,mBAAmB;AACnB,+DAA+D;AAE/D,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAU,CAAC;AAGtF,MAAM,CAAC,MAAM,cAAc,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAW,CAAC;AAEnG,MAAM,UAAU,sBAAsB,CAAC,KAAqB;IAC1D,IAAI,KAAK,KAAK,SAAS;QAAG,OAAO,eAAe,CAAC;IACjD,IAAI,KAAK,KAAK,QAAQ;QAAI,OAAO,gBAAgB,CAAC;IAClD,IAAI,KAAK,KAAK,SAAS;QAAG,OAAO,iBAAiB,CAAC;IACnD,IAAI,KAAK,KAAK,WAAW;QAAE,OAAO,iBAAiB,CAAC;IACpD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAqB;IAC1D,IAAI,KAAK,KAAK,SAAS;QAAI,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,QAAQ;QAAK,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,SAAS;QAAI,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,WAAW;QAAE,OAAO,CAAC,CAAC;IACpC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,GAAW;IAChD,OAAO,eAAe,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;AACtC,CAAC;AAED,+DAA+D;AAC/D,uBAAuB;AACvB,EAAE;AACF,0EAA0E;AAC1E,4EAA4E;AAC5E,oEAAoE;AACpE,+DAA+D;AAE/D,MAAM,OAAO,0BAA2B,SAAQ,aAAa;IAC3D,MAAM,GAAQ;QACZ,UAAU,EAAc,eAAe;QACvC,aAAa,EAAW,kBAAkB;QAC1C,qBAAqB,EAAG,kBAAkB;QAC1C,cAAc,EAAU,iBAAiB;QACzC,UAAU,EAAc,eAAe;QACvC,YAAY,EAAY,KAAK;QAC7B,aAAa,EAAW,KAAK;QAC7B,YAAY,EAAY,iBAAiB;QACzC,WAAW,EAAa,gBAAgB;QACxC,aAAa,EAAW,kBAAkB;QAC1C,kBAAkB,EAAM,uBAAuB;QAC/C,aAAa,EAAW,kBAAkB;QAC1C,cAAc,EAAU,mBAAmB;QAC3C,aAAa,EAAW,kBAAkB;QAC1C,eAAe,EAAS,oBAAoB;KAC7C,CAAC;CACH;AAED,+EAA+E;AAC/E,mFAAmF;AACnF,4EAA4E;AAC5E,8EAA8E;AAC9E,6DAA6D;AAC7D,YAAY,CAAC,0BAA0B,EAAE;IACvC,YAAY,EAAK,KAAK;IACtB,MAAM,EAAW,SAAS;IAC1B,UAAU,EAAO,KAAK;IACtB,YAAY,EAAK,KAAK;IACtB,OAAO,EAAU,MAAM;IACvB,aAAa,EAAI,KAAK;IACtB,kBAAkB,EAAE,MAAM;IAC1B,SAAS,EAAQ,MAAM;IACvB,OAAO,EAAU,KAAK;IACtB,SAAS,EAAQ,SAAS;IAC1B,MAAM,EAAW,SAAS;IAC1B,aAAa,EAAI,SAAS;IAC1B,iBAAiB,EAAE,MAAM;IACzB,QAAQ,EAAS,SAAS;IAC1B,QAAQ,EAAS,SAAS;IAC1B,aAAa,EAAI,MAAM;IACvB,WAAW,EAAM,MAAM;IACvB,SAAS,EAAQ,KAAK;CAChB,CAAC,CAAC;AAEV,+EAA+E;AAC/E,6EAA6E;AAC7E,6EAA6E;AAC7E,2EAA2E;AAC3E,qDAAqD;AACrD,MAAM,UAAU,YAAY,CAAC,MAAa;IAMxC,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;IAC9B,OAAO;QACL,YAAY,EAAI,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC;QACvC,WAAW,EAAK,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC;QAChD,aAAa,EAAG,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC;QACjD,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC;KAClD,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,4BAA4B;AAC5B,EAAE;AACF,gFAAgF;AAChF,0EAA0E;AAC1E,iFAAiF;AACjF,yEAAyE;AACzE,kEAAkE;AAClE,EAAE;AACF,4EAA4E;AAC5E,6EAA6E;AAC7E,kDAAkD;AAClD,+DAA+D;AAE/D,MAAM,CAAC,MAAM,gCAAgC,GAAsB,CAAC,CAAC,CAAC,CAAC;AAEvE,+EAA+E;AAC/E,0EAA0E;AAC1E,oDAAoD;AACpD,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,YAAoB;IACjE,MAAM,GAAG,GAAG,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAC/C,MAAM,YAAY,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAQ,IAAI,0BAA0B,CAAC,GAAG,CAAC,CAAC;IAC1D,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,+DAA+D;AAC/D,sBAAsB;AACtB,EAAE;AACF,+EAA+E;AAC/E,6EAA6E;AAC7E,6EAA6E;AAC7E,uEAAuE;AACvE,yEAAyE;AACzE,6EAA6E;AAC7E,4EAA4E;AAC5E,2EAA2E;AAC3E,0EAA0E;AAC1E,EAAE;AACF,SAAS;AACT,qEAAqE;AACrE,8BAA8B;AAC9B,kEAAkE;AAClE,8EAA8E;AAC9E,iCAAiC;AACjC,+DAA+D;AAE/D,MAAM,CAAC,MAAM,mBAAmB,GAAqC;IACnE,CAAC,EAAE,+EAA+E;IAClF,yDAAyD;CAC1D,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAW,CAAC,CAAC;AAE5C,MAAM,CAAC,MAAM,iBAAiB,GAAW,mBAAmB,CAAC,kBAAkB,CAAC,CAAC"}

package/build/contractTypes.d.ts

@@ -0,0 +1,9 @@
+export type ContractType = 'licensing' | 'permits';
+export declare const CONTRACT_TYPES: readonly ContractType[];
+/** Canonical VK hashes by contract type, each keyed by generation. */
+export declare const CANONICAL_VK_HASHES_BY_TYPE: Readonly<Record<ContractType, Readonly<Record<number, string>>>>;
+/** Reads an optional `contractType` field; absent or unknown-but-empty → licensing. */
+export declare function contractTypeOf(value: {
+    contractType?: unknown;
+} | null | undefined): ContractType;
+//# sourceMappingURL=contractTypes.d.ts.map

package/build/contractTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contractTypes.d.ts","sourceRoot":"","sources":["../src/contractTypes.ts"],"names":[],"mappings":"AAeA,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,SAAS,CAAC;AACnD,eAAO,MAAM,cAAc,EAAE,SAAS,YAAY,EAA6B,CAAC;AAEhF,sEAAsE;AACtE,eAAO,MAAM,2BAA2B,EAAE,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAGxG,CAAC;AAEF,uFAAuF;AACvF,wBAAgB,cAAc,CAAC,KAAK,EAAE;IAAE,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,IAAI,GAAG,SAAS,GAAG,YAAY,CAKjG"}

package/build/contractTypes.js

@@ -0,0 +1,28 @@
+// Copyright (c) 2025-2026 zkLicensing project developers
+// SPDX-License-Identifier: BUSL-1.1
+/**
+ * contractTypes.ts — `zklicensing/contract-types`
+ *
+ * The two contract types the platform runs and where they meet: the
+ * verification-key table by type. A missing type anywhere (manifest,
+ * well-known file, record) means `licensing`, so everything published
+ * before permits existed keeps its meaning.
+ */
+import { CANONICAL_VK_HASHES } from './contractInterface.js';
+import { CANONICAL_PERMIT_VK_HASHES } from './permitInterface.js';
+export const CONTRACT_TYPES = ['licensing', 'permits'];
+/** Canonical VK hashes by contract type, each keyed by generation. */
+export const CANONICAL_VK_HASHES_BY_TYPE = {
+    licensing: CANONICAL_VK_HASHES,
+    permits: CANONICAL_PERMIT_VK_HASHES,
+};
+/** Reads an optional `contractType` field; absent or unknown-but-empty → licensing. */
+export function contractTypeOf(value) {
+    const t = value?.contractType;
+    if (t === undefined || t === null || t === '')
+        return 'licensing';
+    if (t === 'licensing' || t === 'permits')
+        return t;
+    throw new Error(`unknown contractType: ${String(t)}`);
+}
+//# sourceMappingURL=contractTypes.js.map

package/build/contractTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contractTypes.js","sourceRoot":"","sources":["../src/contractTypes.ts"],"names":[],"mappings":"AAAA,yDAAyD;AACzD,oCAAoC;AAEpC;;;;;;;GAOG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAGlE,MAAM,CAAC,MAAM,cAAc,GAA4B,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;AAEhF,sEAAsE;AACtE,MAAM,CAAC,MAAM,2BAA2B,GAAqE;IAC3G,SAAS,EAAE,mBAAmB;IAC9B,OAAO,EAAE,0BAA0B;CACpC,CAAC;AAEF,uFAAuF;AACvF,MAAM,UAAU,cAAc,CAAC,KAAoD;IACjF,MAAM,CAAC,GAAG,KAAK,EAAE,YAAY,CAAC;IAC9B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,WAAW,CAAC;IAClE,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACnD,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACxD,CAAC"}

package/build/countryStats.d.ts

@@ -3,7 +3,7 @@
  *
  * Buyer-country breakdown of a vendor's revenue, bucketed by UTC calendar year.
  * Structured for tax reporting: one row per (year, appId, countryCode) with
- * license count + the vendor's cut in MINA. Both the keeper (source of
+ * license count + the vendor's cut in MINA. Both the backend (source of
  * truth for /stats) and the dashboard UI import from here so the numbers can
  * never drift between them.
  *
@@ -17,10 +17,19 @@
  *
  * Browser-safe: pure computation, no fs, no fetch.
  */
-import type { LicenseRecord } from './licenseRecord.js';
+import { type LicenseRecord } from './licenseRecord.js';
+export { zipToState } from './zipToState.js';
 export type CountryBucket = {
     count: number;
     revenueMina: number;
+    grossMina: number;
+    estimatedVatMina?: number;
+    vatRates?: number[];
+    states?: Record<string, {
+        count: number;
+        revenueMina: number;
+        grossMina: number;
+    }>;
 };
 export type CountryYearBreakdown = {
     aggregate: Record<string, CountryBucket>;
@@ -33,5 +42,5 @@ export type CountryBreakdown = {
 export declare function computeCountryBreakdown(apps: {
     appId: string;
     zkAppAddress: string;
-}[], records: LicenseRecord[], currentSlot: number, nowMs: number): CountryBreakdown;
+}[], records: LicenseRecord[], currentSlot: number, nowMs: number, tzOffsetMinutes?: number): CountryBreakdown;
 //# sourceMappingURL=countryStats.d.ts.map

package/build/countryStats.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"countryStats.d.ts","sourceRoot":"","sources":["../src/countryStats.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAmB,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAIzE,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAS7C,MAAM,MAAM,aAAa,GAAG;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IAGpB,SAAS,EAAE,MAAM,CAAC;IAKlB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAG1B,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAOpB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACpF,CAAC;AACF,MAAM,MAAM,oBAAoB,GAAG;IACjC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACzC,KAAK,EAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;CAC1D,CAAC;AACF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,KAAK,EAAG,MAAM,EAAE,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;CAC9C,CAAC;AAOF,wBAAgB,uBAAuB,CACrC,IAAI,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EAC/C,OAAO,EAAE,aAAa,EAAE,EACxB,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,MAAM,EACb,eAAe,GAAE,MAAU,GAC1B,gBAAgB,CAyHlB"}