@avow-finance/verifier 0.0.0-stage → 0.2.0

package/dist/dependency.d.ts

@@ -0,0 +1,252 @@
+import { type Approval, type ChainedTerms, type CheckedChainedTerms, type CheckedDependency, type CommitmentReference, type JobVerification, type PinnedBlock, type RailState, type ReasonCode, type Side } from '@avow-finance/spec';
+import { type Address, type Hex } from 'viem';
+import type { LockedBacking } from './chain.js';
+/**
+ * The check of a booking another booking relies on. A version 3 booking names each one in its
+ * dependencies section, and before a buyer funds or a seller accepts, this reads each one's lock
+ * directly and runs five tests. Any failure stops the step. It runs the same whoever the terms say
+ * checks for the buyer, since it needs the terms in full, and terms carrying the dependencies
+ * section only as its digest are refused with `dependency.elided` before anything is read.
+ *
+ * 1. Provenance. The lock is on a chain this check supports, the supported factory there lists it,
+ *    and the lock's own factory field names that factory.
+ * 2. Ownership. The lock's account is the account Avow's approval names as this booking's supplier,
+ *    which the lock copies into the commitment, so a seller can't cite another business's booking
+ *    by naming that business. The terms name only the buyer side of a lock, so terms naming the
+ *    supplier side are refused before anything is read.
+ * 3. State. The lock holds it, someone other than the seller's own account supplies it, the lock
+ *    holds it as accepted with no report filed, and its free cancellation had closed by the pinned
+ *    block's timestamp, so cancelling it from then on costs the seller a late-cancellation charge.
+ * 4. Terms. The lock holds it under the terms hash the dependency names, and the section the
+ *    seller shows hashes to that terms hash.
+ * 5. Fit. The booking asks for no more than the booking it relies on, by its template's rule.
+ *
+ * The first read on each chain pins that chain's latest finalized block once per check, so every
+ * booking on that chain is read at that one block, named by number, through whichever reader reads
+ * it, and the result records that block's number, hash and timestamp. A finalized block older than the read age limit by the caller's clock refuses with
+ * `dependency.stale`, since a node that has fallen behind would show a state the chain has left. A
+ * read that fails, times out or can't be pinned refuses with `dependency.unreadable`, never as not
+ * found and never as a pass.
+ *
+ * It proves that a matching booking had been accepted when it was read. It doesn't set that
+ * capacity aside, so two bookings that rely on the same one both pass. It refuses a seller that
+ * supplied the booking relied on from its own account, and it can't tell when one owner runs two
+ * registered businesses. Nothing on the chain enforces a dependency, and the booking relied on can
+ * leave the accepted state right after the read.
+ */
+export type { CheckedChainedTerms, CheckedDependency, PinnedBlock } from '@avow-finance/spec';
+/** What a lock's record of one side of a commitment says, as far as this check reads it. */
+export type DependencyRecord = Pick<LockedBacking, 'state' | 'hasReport' | 'termsHash' | 'supplier' | 'freeCancelBy'>;
+/**
+ * Reads the locks one factory created on one chain, each read as of a block named by number. The
+ * check reads a booking relied on only through one of these, so the readers it's given are the
+ * chain and factory pairs it supports. `tempoLockReader` reads Tempo, and tests script one.
+ */
+export interface PinnedLockReader {
+    readonly chainId: number;
+    /** The factory whose locks count. */
+    readonly factory: Address;
+    /** The latest finalized block's number, hash and timestamp. */
+    head(): Promise<PinnedBlock>;
+    /** The hash the chain's block at this height has now, or null when the node has none. */
+    blockHash(number: bigint): Promise<Hex | null>;
+    /** Whether the factory lists the lock as one it created, as of the block. */
+    isLock(lock: Address, at: bigint): Promise<boolean>;
+    /** The factory and the account the lock's own fields name, as of the block. */
+    lockFields(lock: Address, at: bigint): Promise<{
+        factory: Address;
+        account: Address;
+    }>;
+    /** The lock's record of one side of a commitment as of the block, or null when it holds none. */
+    commitment(lock: Address, commitmentId: Hex, side: Side, at: bigint): Promise<DependencyRecord | null>;
+}
+/** Ten seconds for the reads of one booking relied on through one reader. */
+export declare const DEPENDENCY_READ_TIMEOUT_MS = 10000;
+/**
+ * Thirty seconds, the oldest a pinned finalized block may be by the caller's clock. Tempo finalizes
+ * blocks within about a second, so this leaves room for clock drift and nothing more.
+ */
+export declare const DEPENDENCY_MAX_READ_AGE = 30n;
+export interface DependencyDeps {
+    /**
+     * One reader for each chain and factory pair whose locks count. A lock on any other chain, or
+     * from any other factory, is refused without being read.
+     */
+    readers: readonly PinnedLockReader[];
+    /**
+     * How long the reads of one booking through one reader may take, `DEPENDENCY_READ_TIMEOUT_MS`
+     * by default.
+     */
+    timeoutMs?: number;
+    /**
+     * The oldest, in seconds by the caller's clock, a pinned block may be, `DEPENDENCY_MAX_READ_AGE`
+     * by default.
+     */
+    maxReadAge?: bigint;
+}
+/**
+ * What the check reads of Avow's approval of this booking's reserve. Its supplier is the account
+ * the lock copies into the commitment as the supplier, so it is the account whose lock has to hold
+ * each booking relied on.
+ */
+export type DependencyApproval = Pick<Approval, 'side' | 'supplier'>;
+export interface DependencyInput {
+    /** The booking that relies on others, in version 3 terms in full. */
+    terms: ChainedTerms;
+    /**
+     * Avow's approval of this booking's reserve, or for Avow's own check the approval it is about to
+     * sign. A buyer passes the approval it is about to fund, and `prepareAcceptance` passes the
+     * approval the lock holds, which its later checks confirm. The supplier is taken from it and
+     * from nowhere else, so neither what a seller says nor a caller's setting can name the owner.
+     */
+    approval: DependencyApproval;
+    /**
+     * For each dependency in the terms' order, the section of the booking relied on that its seller
+     * shows, as JSON, as `discloseSection` writes it. The subject holds no price.
+     */
+    disclosed: readonly unknown[];
+    /** The caller's clock, in seconds, which the pinned block's timestamp is held against. */
+    now: bigint;
+}
+/** Why a check refused, with where and as of which block. */
+export interface DependencyRefusal {
+    ok: false;
+    reason: ReasonCode;
+    /** The dependency that failed, by its place in the terms, or null when the input did. */
+    index: number | null;
+    /** The block its reads were pinned to, or null when it failed before a block was pinned. */
+    block: PinnedBlock | null;
+}
+export type DependencyCheck = {
+    ok: true;
+    terms: CheckedChainedTerms;
+    checked: readonly CheckedDependency[];
+} | DependencyRefusal;
+/**
+ * A commitment's state as every check reads it. An accepted commitment with a report filed has a
+ * charge pending in all but name, so it counts as `charge_pending`. The check of a booking relied
+ * on and the check of a job's link both read states through this, so they can't disagree.
+ */
+export declare function standingState(record: Pick<DependencyRecord, 'state' | 'hasReport'>): RailState;
+/**
+ * Checks every booking a version 3 booking relies on, in the order its terms name them, and stops
+ * at the first that fails. A buyer runs it on Avow's approval before it funds its reserve, and the
+ * seller's acceptance runs it through `prepareAcceptance`. It reads only the chain, the approval's
+ * supplier and what the seller shows. The lock's public view of a booking relied on shows anyone
+ * its reserve, charge caps, deadlines and supplier, so of what the seller pays for it, only the rate
+ * stays hidden.
+ */
+export declare function verifyDependencies(input: DependencyInput, deps: DependencyDeps): Promise<DependencyCheck>;
+export interface JobVerificationInput {
+    /** What a link to verify a job carries, from `decodeJobVerification`. */
+    verification: JobVerification;
+    /** The caller's clock, in seconds, which the pinned block's timestamp is held against. */
+    now: bigint;
+}
+/**
+ * A job's states while a charge is open: reported and pending, or paused while the customer
+ * contests it. The reserve is still held.
+ */
+export declare const CHARGE_OPEN_JOB_STATES: readonly ["charge_pending", "paused"];
+export type ChargeOpenJobState = (typeof CHARGE_OPEN_JOB_STATES)[number];
+/** A job's states once it ended: its reserve released, charged or resolved, and gone from the lock. */
+export declare const ENDED_JOB_STATES: readonly ["released", "charged", "resolved"];
+export type EndedJobState = (typeof ENDED_JOB_STATES)[number];
+/** The job commitment as the customer's lock held it at the pinned block, in one state. */
+export interface CheckedJob<S extends RailState> {
+    state: S;
+    /** The customer's free-cancellation deadline as the lock holds it, which is when work starts. */
+    freeCancelBy: bigint;
+    /** The block the job commitment was read at, which every read on its chain shares. */
+    block: PinnedBlock;
+}
+/**
+ * A booking a job's link names, as the link's check read it: standing, or with the reason it
+ * doesn't stand at the block it was read at. The link carries the job's subject only as its hash,
+ * so the check never tests whether the job fits inside the booking. A `CheckedDependency` comes only
+ * from a check that tested fit, as the customer's check and the developer's acceptance do, so this
+ * has fields of its own and neither can stand for the other.
+ */
+export type LinkedBooking = {
+    booking: CommitmentReference;
+    readAt: PinnedBlock;
+    fit: 'unchecked';
+    standing: true;
+} | {
+    booking: CommitmentReference;
+    /** The block the booking was read at, or null when its read stopped before one was pinned. */
+    readAt: PinnedBlock | null;
+    fit: 'unchecked';
+    standing: false;
+    reason: ReasonCode;
+};
+/** A booking that stood when the link's check read it. */
+export type StandingBooking = Extract<LinkedBooking, {
+    standing: true;
+}>;
+/**
+ * What a link to verify a job shows, as the chain held it at one pinned block. A page switches on
+ * the outcome, and only `stands` is a job a page can show as standing.
+ *
+ * - `refused`: the link doesn't match the chain or couldn't be read, or a booking a reserved job
+ *   relies on doesn't stand, with the reason, the booking by its place and the block.
+ * - `awaiting_acceptance`: the customer reserved and the developer's business hasn't accepted, and
+ *   every booking the job relies on stands.
+ * - `stands`: the job is accepted with no report filed. Each booking comes back as read, since a
+ *   booking cancelled or failed after the customer accepted leaves the job standing.
+ * - `charge_pending`: a charge is reported and pending, or paused while it's contested, and the
+ *   reserve is still held. Each booking comes back as read.
+ * - `ended`: the reserve was released, charged or resolved. Each booking comes back as read.
+ */
+export type JobVerificationCheck = {
+    outcome: 'refused';
+    reason: ReasonCode;
+    index: number | null;
+    block: PinnedBlock | null;
+} | (JobLinkParties & {
+    outcome: 'awaiting_acceptance';
+    job: CheckedJob<'reserved'>;
+    bookings: readonly StandingBooking[];
+}) | (JobLinkParties & {
+    outcome: 'stands';
+    job: CheckedJob<'accepted'>;
+    bookings: readonly LinkedBooking[];
+}) | (JobLinkParties & {
+    outcome: 'charge_pending';
+    job: CheckedJob<ChargeOpenJobState>;
+    bookings: readonly LinkedBooking[];
+}) | (JobLinkParties & {
+    outcome: 'ended';
+    job: CheckedJob<EndedJobState>;
+    bookings: readonly LinkedBooking[];
+});
+interface JobLinkParties {
+    /**
+     * The supplier the customer's lock names for the job, copied there from Avow's approval, whose
+     * own lock has to hold each compute booking.
+     */
+    supplier: Address;
+}
+/**
+ * The check a page runs on a link to verify a job, reading the chain at one pinned finalized
+ * block. It works out the job's terms hash from what the link carries, reads the job commitment
+ * from the customer's lock with its state and free-cancellation deadline, and takes the supplier
+ * from the lock's record of it, which the lock copied from Avow's approval. Then it runs the tests
+ * `verifyDependencies` runs on each compute booking the job names that need only the chain:
+ * provenance, ownership by that supplier, state with free cancellation, the terms hash the lock
+ * holds and a fresh block. It skips the shown section and fit, which need the job's terms in full.
+ *
+ * The job's state, read through `standingState`, decides the outcome. While the job is reserved the
+ * bookings gate it, as they gate the developer's acceptance, so a booking that doesn't stand refuses.
+ * Once the job is accepted, has a charge open or has ended, each booking is reported as read and the
+ * outcome stays the job's, since a booking cancelled or failed after the customer accepted leaves
+ * the job standing. A read on the job's own chain that finds the pinned block's hash changed refuses
+ * the whole link as `reference.unreadable` in every state, since the job was read at that block.
+ *
+ * A link whose parts don't hash to its reference's terms hash is `terms.hash_mismatch`, a
+ * customer's lock no supported factory created is `chain.lock_unknown`, a read of the job that
+ * fails is `reference.unreadable`, and a lock that holds no job commitment under that terms hash is
+ * `reference.commitment_mismatch`, each before any compute booking is read.
+ */
+export declare function verifyJobVerification(input: JobVerificationInput, deps: DependencyDeps): Promise<JobVerificationCheck>;
+//# sourceMappingURL=dependency.d.ts.map

package/dist/dependency.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency.d.ts","sourceRoot":"","sources":["../src/dependency.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EAMxB,KAAK,eAAe,EAEpB,KAAK,WAAW,EAEhB,KAAK,SAAS,EACd,KAAK,UAAU,EACf,KAAK,IAAI,EAGV,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,GAAG,EAAkB,MAAM,MAAM,CAAA;AAC7D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAE/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,YAAY,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAE7F,4FAA4F;AAC5F,MAAM,MAAM,gBAAgB,GAAG,IAAI,CACjC,aAAa,EACb,OAAO,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,GAAG,cAAc,CAClE,CAAA;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,qCAAqC;IACrC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,+DAA+D;IAC/D,IAAI,IAAI,OAAO,CAAC,WAAW,CAAC,CAAA;IAC5B,yFAAyF;IACzF,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,GAAG,IAAI,CAAC,CAAA;IAC9C,6EAA6E;IAC7E,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IACnD,+EAA+E;IAC/E,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;IACtF,iGAAiG;IACjG,UAAU,CACR,IAAI,EAAE,OAAO,EACb,YAAY,EAAE,GAAG,EACjB,IAAI,EAAE,IAAI,EACV,EAAE,EAAE,MAAM,GACT,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC,CAAA;CACpC;AAED,6EAA6E;AAC7E,eAAO,MAAM,0BAA0B,QAAS,CAAA;AAEhD;;;GAGG;AACH,eAAO,MAAM,uBAAuB,MAAM,CAAA;AAE1C,MAAM,WAAW,cAAc;IAC7B;;;OAGG;IACH,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAA;IACpC;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB;AAED;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAC,CAAA;AAEpE,MAAM,WAAW,eAAe;IAC9B,qEAAqE;IACrE,KAAK,EAAE,YAAY,CAAA;IACnB;;;;;OAKG;IACH,QAAQ,EAAE,kBAAkB,CAAA;IAC5B;;;OAGG;IACH,SAAS,EAAE,SAAS,OAAO,EAAE,CAAA;IAC7B,0FAA0F;IAC1F,GAAG,EAAE,MAAM,CAAA;CACZ;AAED,6DAA6D;AAC7D,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,KAAK,CAAA;IACT,MAAM,EAAE,UAAU,CAAA;IAClB,yFAAyF;IACzF,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,4FAA4F;IAC5F,KAAK,EAAE,WAAW,GAAG,IAAI,CAAA;CAC1B;AAED,MAAM,MAAM,eAAe,GACvB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,mBAAmB,CAAC;IAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,GAC/E,iBAAiB,CAAA;AAErB;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,gBAAgB,EAAE,OAAO,GAAG,WAAW,CAAC,GAAG,SAAS,CAE9F;AAiMD;;;;;;;GAOG;AACH,wBAAsB,kBAAkB,CACtC,KAAK,EAAE,eAAe,EACtB,IAAI,EAAE,cAAc,GACnB,OAAO,CAAC,eAAe,CAAC,CA4B1B;AA8CD,MAAM,WAAW,oBAAoB;IACnC,yEAAyE;IACzE,YAAY,EAAE,eAAe,CAAA;IAC7B,0FAA0F;IAC1F,GAAG,EAAE,MAAM,CAAA;CACZ;AAED;;;GAGG;AACH,eAAO,MAAM,sBAAsB,uCAGM,CAAA;AACzC,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAA;AAExE,uGAAuG;AACvG,eAAO,MAAM,gBAAgB,8CAIY,CAAA;AACzC,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAA;AAE7D,2FAA2F;AAC3F,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,SAAS;IAC7C,KAAK,EAAE,CAAC,CAAA;IACR,iGAAiG;IACjG,YAAY,EAAE,MAAM,CAAA;IACpB,sFAAsF;IACtF,KAAK,EAAE,WAAW,CAAA;CACnB;AAED;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,GACrB;IAAE,OAAO,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,GAAG,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,IAAI,CAAA;CAAE,GACvF;IACE,OAAO,EAAE,mBAAmB,CAAA;IAC5B,8FAA8F;IAC9F,MAAM,EAAE,WAAW,GAAG,IAAI,CAAA;IAC1B,GAAG,EAAE,WAAW,CAAA;IAChB,QAAQ,EAAE,KAAK,CAAA;IACf,MAAM,EAAE,UAAU,CAAA;CACnB,CAAA;AAEL,0DAA0D;AAC1D,MAAM,MAAM,eAAe,GAAG,OAAO,CAAC,aAAa,EAAE;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,CAAC,CAAA;AAExE;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,oBAAoB,GAC5B;IAAE,OAAO,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAAA;CAAE,GAC3F,CAAC,cAAc,GAAG;IAChB,OAAO,EAAE,qBAAqB,CAAA;IAC9B,GAAG,EAAE,UAAU,CAAC,UAAU,CAAC,CAAA;IAC3B,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAA;CACrC,CAAC,GACF,CAAC,cAAc,GAAG;IAChB,OAAO,EAAE,QAAQ,CAAA;IACjB,GAAG,EAAE,UAAU,CAAC,UAAU,CAAC,CAAA;IAC3B,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAA;CACnC,CAAC,GACF,CAAC,cAAc,GAAG;IAChB,OAAO,EAAE,gBAAgB,CAAA;IACzB,GAAG,EAAE,UAAU,CAAC,kBAAkB,CAAC,CAAA;IACnC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAA;CACnC,CAAC,GACF,CAAC,cAAc,GAAG;IAChB,OAAO,EAAE,OAAO,CAAA;IAChB,GAAG,EAAE,UAAU,CAAC,aAAa,CAAC,CAAA;IAC9B,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAA;CACnC,CAAC,CAAA;AAEN,UAAU,cAAc;IACtB;;;OAGG;IACH,QAAQ,EAAE,OAAO,CAAA;CAClB;AAwBD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAsB,qBAAqB,CACzC,KAAK,EAAE,oBAAoB,EAC3B,IAAI,EAAE,cAAc,GACnB,OAAO,CAAC,oBAAoB,CAAC,CA+D/B"}

package/dist/dependency.js

@@ -0,0 +1,353 @@
+import { chainedTermsShapeProblem, checkSectionDisclosure, dependenciesProblem, dependencyCheckProblem, jobVerificationProblem, parseSectionDisclosure, subjectFits, subjectProblem, } from '@avow-finance/spec';
+import { isAddressEqual } from 'viem';
+/** Ten seconds for the reads of one booking relied on through one reader. */
+export const DEPENDENCY_READ_TIMEOUT_MS = 10_000;
+/**
+ * Thirty seconds, the oldest a pinned finalized block may be by the caller's clock. Tempo finalizes
+ * blocks within about a second, so this leaves room for clock drift and nothing more.
+ */
+export const DEPENDENCY_MAX_READ_AGE = 30n;
+/**
+ * A commitment's state as every check reads it. An accepted commitment with a report filed has a
+ * charge pending in all but name, so it counts as `charge_pending`. The check of a booking relied
+ * on and the check of a job's link both read states through this, so they can't disagree.
+ */
+export function standingState(record) {
+    return record.state === 'accepted' && record.hasReport ? 'charge_pending' : record.state;
+}
+/** What the state test makes of each state the lock has. The build fails when one is missing. */
+const STATE_REASONS = {
+    none: 'dependency.not_found',
+    reserved: 'dependency.not_accepted',
+    // Accepted passes only with no report filed, which `standingState` counts as a pending charge.
+    accepted: null,
+    charge_pending: 'dependency.charge_pending',
+    paused: 'dependency.charge_pending',
+    released: 'dependency.ended',
+    charged: 'dependency.ended',
+    resolved: 'dependency.ended',
+};
+function stateProblem(record, seller, block) {
+    if (!record)
+        return 'dependency.not_found';
+    // A booking the seller supplied from its own account shows no one else accepted it.
+    if (isAddressEqual(record.supplier, seller))
+        return 'dependency.self_supplied';
+    const reason = STATE_REASONS[standingState(record)];
+    if (reason)
+        return reason;
+    // The lock lets the seller's account cancel an accepted booking at no charge in any block before
+    // its free-cancellation deadline, and block timestamps never go back, so this one has to be at or
+    // past the deadline.
+    return block.timestamp < record.freeCancelBy ? 'dependency.cancellable' : null;
+}
+/**
+ * A read that couldn't be finished or can't be relied on, carrying the block it had pinned when it
+ * stopped and why.
+ */
+class Unreadable extends Error {
+    block;
+    reason;
+    moved;
+    constructor(block, reason = 'dependency.unreadable', 
+    /** Whether the chain gave another hash for the pinned block, so the block itself moved. */
+    moved = false) {
+        super('The booking relied on could not be read at one recent block');
+        this.block = block;
+        this.reason = reason;
+        this.moved = moved;
+    }
+}
+/** The work, or a rejection once `ms` has passed. */
+function within(work, ms) {
+    let timer;
+    const late = new Promise((_, reject) => {
+        timer = setTimeout(() => reject(new Error(`No answer within ${ms} ms`)), ms);
+    });
+    return Promise.race([work, late]).finally(() => clearTimeout(timer));
+}
+/**
+ * Reads one booking relied on through one reader, every read at the block pinned for its chain in
+ * this check. The first read on a chain pins the latest finalized block through the reader making
+ * it, and every later read on that chain in the same check, through any reader, reads at that
+ * block too. A pinned block older than the freshness limit stops
+ * the check before the lock is read. A lock the reader's factory doesn't list is never read from.
+ * Whatever was read stands only once the block at that height still has the hash it had when it
+ * was pinned, a lock no factory lists included.
+ */
+async function observe(on, reader, pins, timeoutMs, fresh) {
+    const work = async () => {
+        let block = pins.get(reader.chainId);
+        if (!block) {
+            block = await reader.head();
+            pins.set(reader.chainId, block);
+        }
+        if (fresh.now - block.timestamp > fresh.maxAge)
+            throw new Unreadable(block, 'dependency.stale');
+        const listed = await reader.isLock(on.lock, block.number);
+        const fields = listed ? await reader.lockFields(on.lock, block.number) : null;
+        const record = listed
+            ? await reader.commitment(on.lock, on.commitmentId, on.side, block.number)
+            : null;
+        const still = await reader.blockHash(block.number);
+        if (still?.toLowerCase() !== block.hash.toLowerCase()) {
+            throw new Unreadable(block, 'dependency.unreadable', still !== null);
+        }
+        return { reader, block, fields, record };
+    };
+    try {
+        return await within(work(), timeoutMs);
+    }
+    catch (error) {
+        throw error instanceof Unreadable ? error : new Unreadable(pins.get(reader.chainId) ?? null);
+    }
+}
+/**
+ * Whether a lock is one the reader's factory made: the factory lists it, and the lock's own factory
+ * field names that factory. Each caller gives its own reason when it isn't.
+ */
+function madeByFactory(seen) {
+    return seen.fields !== null && isAddressEqual(seen.fields.factory, seen.reader.factory);
+}
+/** Whether the lock holds the commitment read under the terms hash given. */
+const heldUnder = (seen, termsHash) => seen.record?.termsHash.toLowerCase() === termsHash.toLowerCase();
+/** A check's refusal, with the dependency that failed and the block its reads were pinned to. */
+const refusal = (reason, index, block) => ({ ok: false, reason, index, block });
+/** How long a check's reads may take and how old its blocks may be, the defaults unless set. */
+function readLimits(deps, now) {
+    return {
+        timeoutMs: deps.timeoutMs ?? DEPENDENCY_READ_TIMEOUT_MS,
+        fresh: { now, maxAge: deps.maxReadAge ?? DEPENDENCY_MAX_READ_AGE },
+    };
+}
+/**
+ * The tests that need only the chain, in order, or null when all pass: provenance, ownership,
+ * state, and the terms hash the lock holds the booking under.
+ */
+function standingProblem(on, seen, supplier) {
+    // 1. Provenance.
+    if (!madeByFactory(seen))
+        return 'dependency.lock_unknown';
+    // 2. Ownership.
+    if (!isAddressEqual(seen.fields.account, supplier))
+        return 'dependency.not_owned';
+    // 3. State.
+    const state = stateProblem(seen.record, supplier, seen.block);
+    if (state)
+        return state;
+    // 4. Terms, as the lock holds them.
+    if (!heldUnder(seen, on.termsHash))
+        return 'dependency.terms_mismatch';
+    return null;
+}
+/** The five tests on what was read, in order, or null when all pass. */
+function problemOf(dependency, seen, terms, supplier, disclosed) {
+    const standing = standingProblem(dependency.on, seen, supplier);
+    if (standing)
+        return standing;
+    const { on } = dependency;
+    // 4. Terms, as the seller shows them.
+    const shown = parseSectionDisclosure(disclosed);
+    if (!shown.ok ||
+        shown.value.section !== dependency.disclosed ||
+        checkSectionDisclosure(shown.value, on.termsHash) !== null) {
+        return 'dependency.disclosure_invalid';
+    }
+    // 5. Fit.
+    const inner = { template: terms.template, subject: terms.subject };
+    const outer = { template: shown.value.header.template, subject: shown.value.content };
+    return subjectFits(inner, outer) ? null : 'dependency.does_not_fit';
+}
+/**
+ * Checks every booking a version 3 booking relies on, in the order its terms name them, and stops
+ * at the first that fails. A buyer runs it on Avow's approval before it funds its reserve, and the
+ * seller's acceptance runs it through `prepareAcceptance`. It reads only the chain, the approval's
+ * supplier and what the seller shows. The lock's public view of a booking relied on shows anyone
+ * its reserve, charge caps, deadlines and supplier, so of what the seller pays for it, only the rate
+ * stays hidden.
+ */
+export async function verifyDependencies(input, deps) {
+    const t = input.terms;
+    const shape = chainedTermsShapeProblem(t);
+    if (shape)
+        return refusal(shape, null, null);
+    const setting = dependencyCheckProblem(t);
+    if (setting)
+        return refusal(setting, null, null);
+    const rules = dependenciesProblem(t.dependencies);
+    if (rules)
+        return refusal(rules, null, null);
+    // The fit test compares subjects, so a subject its template refuses stops the check before any
+    // read.
+    const subject = subjectProblem({ template: t.template, subject: t.subject });
+    if (subject)
+        return refusal(subject, null, null);
+    if (input.disclosed.length > t.dependencies.length)
+        return refusal('message.invalid', null, null);
+    // The approval of this booking's reserve is for its buyer side, the only side version 3 terms
+    // can be reserved on.
+    if (input.approval.side !== 'buyer')
+        return refusal('approval.terms_mismatch', null, null);
+    const supplier = input.approval.supplier;
+    const { timeoutMs, fresh } = readLimits(deps, input.now);
+    const pins = new Map();
+    const checked = [];
+    for (const [index, dependency] of t.dependencies.entries()) {
+        const seen = await readThrough(dependency.on, deps.readers, pins, timeoutMs, fresh);
+        if (!('reader' in seen))
+            return refusal(seen.reason, index, seen.block);
+        const problem = problemOf(dependency, seen, t, supplier, input.disclosed[index]);
+        if (problem)
+            return refusal(problem, index, seen.block);
+        checked.push(copied(dependency.on, seen.block));
+    }
+    return { ok: true, terms: t, checked };
+}
+/**
+ * Copies of a booking and its block, so freezing what a check gives back leaves the caller's
+ * terms and the reader's block alone.
+ */
+function copied(on, block) {
+    const { number, hash, timestamp } = block;
+    return { on: { ...on }, block: { number, hash, timestamp } };
+}
+/**
+ * Reads one booking through each supported reader on its chain in turn, until one's factory lists
+ * its lock. The last one read stands for a lock none of them lists, and a chain no reader supports
+ * is `dependency.lock_unknown`, with nothing read.
+ */
+async function readThrough(on, readers, pins, timeoutMs, fresh) {
+    let seen = null;
+    for (const reader of readers.filter((r) => r.chainId === on.chainId)) {
+        try {
+            seen = await observe(on, reader, pins, timeoutMs, fresh);
+        }
+        catch (error) {
+            if (error instanceof Unreadable) {
+                return { reason: error.reason, block: error.block, moved: error.moved };
+            }
+            return { reason: 'dependency.unreadable', block: null, moved: false };
+        }
+        if (seen.fields)
+            break;
+    }
+    return seen ?? { reason: 'dependency.lock_unknown', block: null, moved: false };
+}
+/**
+ * A job's states while a charge is open: reported and pending, or paused while the customer
+ * contests it. The reserve is still held.
+ */
+export const CHARGE_OPEN_JOB_STATES = [
+    'charge_pending',
+    'paused',
+];
+/** A job's states once it ended: its reserve released, charged or resolved, and gone from the lock. */
+export const ENDED_JOB_STATES = [
+    'released',
+    'charged',
+    'resolved',
+];
+const jobRefusal = (reason, index, block) => ({ outcome: 'refused', reason, index, block });
+const isChargeOpen = (state) => CHARGE_OPEN_JOB_STATES.includes(state);
+const isEnded = (state) => ENDED_JOB_STATES.includes(state);
+/**
+ * What a read of the job's own commitment that stopped means, in the job's terms. The reasons a
+ * read of a booking relied on stops with name that booking, so these name the job's lock and the
+ * job's reference instead. A stale block means the same for either, so it stays.
+ */
+const JOB_READ_REASONS = {
+    'dependency.lock_unknown': 'chain.lock_unknown',
+    'dependency.unreadable': 'reference.unreadable',
+};
+/**
+ * The check a page runs on a link to verify a job, reading the chain at one pinned finalized
+ * block. It works out the job's terms hash from what the link carries, reads the job commitment
+ * from the customer's lock with its state and free-cancellation deadline, and takes the supplier
+ * from the lock's record of it, which the lock copied from Avow's approval. Then it runs the tests
+ * `verifyDependencies` runs on each compute booking the job names that need only the chain:
+ * provenance, ownership by that supplier, state with free cancellation, the terms hash the lock
+ * holds and a fresh block. It skips the shown section and fit, which need the job's terms in full.
+ *
+ * The job's state, read through `standingState`, decides the outcome. While the job is reserved the
+ * bookings gate it, as they gate the developer's acceptance, so a booking that doesn't stand refuses.
+ * Once the job is accepted, has a charge open or has ended, each booking is reported as read and the
+ * outcome stays the job's, since a booking cancelled or failed after the customer accepted leaves
+ * the job standing. A read on the job's own chain that finds the pinned block's hash changed refuses
+ * the whole link as `reference.unreadable` in every state, since the job was read at that block.
+ *
+ * A link whose parts don't hash to its reference's terms hash is `terms.hash_mismatch`, a
+ * customer's lock no supported factory created is `chain.lock_unknown`, a read of the job that
+ * fails is `reference.unreadable`, and a lock that holds no job commitment under that terms hash is
+ * `reference.commitment_mismatch`, each before any compute booking is read.
+ */
+export async function verifyJobVerification(input, deps) {
+    const v = input.verification;
+    const hashed = jobVerificationProblem(v);
+    if (hashed)
+        return jobRefusal(hashed, null, null);
+    const rules = dependenciesProblem(v.dependencies);
+    if (rules)
+        return jobRefusal(rules, null, null);
+    if (v.commitment.side !== 'buyer')
+        return jobRefusal('reference.commitment_mismatch', null, null);
+    const { timeoutMs, fresh } = readLimits(deps, input.now);
+    const pins = new Map();
+    const job = await readThrough(v.commitment, deps.readers, pins, timeoutMs, fresh);
+    if (!('reader' in job)) {
+        return jobRefusal(JOB_READ_REASONS[job.reason] ?? job.reason, null, job.block);
+    }
+    if (!madeByFactory(job))
+        return jobRefusal('chain.lock_unknown', null, job.block);
+    const state = job.record ? standingState(job.record) : 'none';
+    if (!job.record || state === 'none' || !heldUnder(job, v.commitment.termsHash)) {
+        return jobRefusal('reference.commitment_mismatch', null, job.block);
+    }
+    const supplier = job.record.supplier;
+    const gated = state === 'reserved';
+    const bookings = [];
+    for (const [index, dependency] of v.dependencies.entries()) {
+        const seen = await readThrough(dependency.on, deps.readers, pins, timeoutMs, fresh);
+        const booking = { ...dependency.on };
+        if (!('reader' in seen)) {
+            // The job was read at the same block on its chain, so a block that moved there leaves
+            // nothing about the job standing either.
+            if (seen.moved && dependency.on.chainId === v.commitment.chainId) {
+                return jobRefusal('reference.unreadable', null, seen.block);
+            }
+            if (gated)
+                return jobRefusal(seen.reason, index, seen.block);
+            const readAt = seen.block ? copied(dependency.on, seen.block).block : null;
+            bookings.push({ booking, readAt, fit: 'unchecked', standing: false, reason: seen.reason });
+            continue;
+        }
+        const problem = standingProblem(dependency.on, seen, supplier);
+        if (problem && gated)
+            return jobRefusal(problem, index, seen.block);
+        const readAt = copied(dependency.on, seen.block).block;
+        bookings.push(problem
+            ? { booking, readAt, fit: 'unchecked', standing: false, reason: problem }
+            : { booking, readAt, fit: 'unchecked', standing: true });
+    }
+    const at = {
+        freeCancelBy: job.record.freeCancelBy,
+        block: copied(v.commitment, job.block).block,
+    };
+    if (state === 'reserved') {
+        const standing = bookings.filter((b) => b.standing);
+        return {
+            outcome: 'awaiting_acceptance',
+            job: { state, ...at },
+            supplier,
+            bookings: standing,
+        };
+    }
+    if (state === 'accepted')
+        return { outcome: 'stands', job: { state, ...at }, supplier, bookings };
+    if (isChargeOpen(state)) {
+        return { outcome: 'charge_pending', job: { state, ...at }, supplier, bookings };
+    }
+    if (isEnded(state))
+        return { outcome: 'ended', job: { state, ...at }, supplier, bookings };
+    return jobRefusal('reference.commitment_mismatch', null, job.block);
+}
+//# sourceMappingURL=dependency.js.map

package/dist/dependency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency.js","sourceRoot":"","sources":["../src/dependency.ts"],"names":[],"mappings":"AAAA,OAAO,EAML,wBAAwB,EACxB,sBAAsB,EAEtB,mBAAmB,EACnB,sBAAsB,EAEtB,sBAAsB,EAEtB,sBAAsB,EAItB,WAAW,EACX,cAAc,GACf,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAA0B,cAAc,EAAE,MAAM,MAAM,CAAA;AAuE7D,6EAA6E;AAC7E,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAA;AAEhD;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,GAAG,CAAA;AA4D1C;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,MAAqD;IACjF,OAAO,MAAM,CAAC,KAAK,KAAK,UAAU,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAA;AAC1F,CAAC;AAED,iGAAiG;AACjG,MAAM,aAAa,GAAqD;IACtE,IAAI,EAAE,sBAAsB;IAC5B,QAAQ,EAAE,yBAAyB;IACnC,+FAA+F;IAC/F,QAAQ,EAAE,IAAI;IACd,cAAc,EAAE,2BAA2B;IAC3C,MAAM,EAAE,2BAA2B;IACnC,QAAQ,EAAE,kBAAkB;IAC5B,OAAO,EAAE,kBAAkB;IAC3B,QAAQ,EAAE,kBAAkB;CAC7B,CAAA;AAED,SAAS,YAAY,CACnB,MAA+B,EAC/B,MAAe,EACf,KAAkB;IAElB,IAAI,CAAC,MAAM;QAAE,OAAO,sBAAsB,CAAA;IAC1C,oFAAoF;IACpF,IAAI,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAE,OAAO,0BAA0B,CAAA;IAC9E,MAAM,MAAM,GAAG,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAA;IACnD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAA;IACzB,iGAAiG;IACjG,kGAAkG;IAClG,qBAAqB;IACrB,OAAO,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAA;AAChF,CAAC;AAWD;;;GAGG;AACH,MAAM,UAAW,SAAQ,KAAK;IAEjB,KAAK;IACL,MAAM;IAEN,KAAK;IAJhB,YACW,KAAyB,EACzB,MAAM,GAAiD,uBAAuB;IACvF,2FAA2F;IAClF,KAAK,GAAG,KAAK;QAEtB,KAAK,CAAC,6DAA6D,CAAC,CAAA;qBAL3D,KAAK;sBACL,MAAM;qBAEN,KAAK;IAGhB,CAAC;CACF;AAQD,qDAAqD;AACrD,SAAS,MAAM,CAAI,IAAgB,EAAE,EAAU;IAC7C,IAAI,KAAgD,CAAA;IACpD,MAAM,IAAI,GAAG,IAAI,OAAO,CAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE;QAC5C,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAC9E,CAAC,CAAC,CAAA;IACF,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;AACtE,CAAC;AAQD;;;;;;;;GAQG;AACH,KAAK,UAAU,OAAO,CACpB,EAAuB,EACvB,MAAwB,EACxB,IAAU,EACV,SAAiB,EACjB,KAAgB;IAEhB,MAAM,IAAI,GAAG,KAAK,IAAuB,EAAE;QACzC,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QACpC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,CAAA;YAC3B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QACjC,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,MAAM;YAAE,MAAM,IAAI,UAAU,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAA;QAC/F,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;QACzD,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QAC7E,MAAM,MAAM,GAAG,MAAM;YACnB,CAAC,CAAC,MAAM,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC;YAC1E,CAAC,CAAC,IAAI,CAAA;QACR,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QAClD,IAAI,KAAK,EAAE,WAAW,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YACtD,MAAM,IAAI,UAAU,CAAC,KAAK,EAAE,uBAAuB,EAAE,KAAK,KAAK,IAAI,CAAC,CAAA;QACtE,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;IAC1C,CAAC,CAAA;IACD,IAAI,CAAC;QACH,OAAO,MAAM,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,CAAC,CAAA;IACxC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,KAAK,YAAY,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAA;IAC9F,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CACpB,IAAc;IAEd,OAAO,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;AACzF,CAAC;AAED,6EAA6E;AAC7E,MAAM,SAAS,GAAG,CAAC,IAAc,EAAE,SAAc,EAAE,EAAE,CACnD,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,WAAW,EAAE,CAAA;AAElE,iGAAiG;AACjG,MAAM,OAAO,GAAG,CACd,MAAkB,EAClB,KAAoB,EACpB,KAAyB,EACN,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;AAE7D,gGAAgG;AAChG,SAAS,UAAU,CAAC,IAAoB,EAAE,GAAW;IACnD,OAAO;QACL,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,0BAA0B;QACvD,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,IAAI,uBAAuB,EAAE;KACnE,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CACtB,EAAuB,EACvB,IAAc,EACd,QAAiB;IAEjB,iBAAiB;IACjB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,yBAAyB,CAAA;IAC1D,gBAAgB;IAChB,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC;QAAE,OAAO,sBAAsB,CAAA;IACjF,YAAY;IACZ,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;IAC7D,IAAI,KAAK;QAAE,OAAO,KAAK,CAAA;IACvB,oCAAoC;IACpC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC;QAAE,OAAO,2BAA2B,CAAA;IACtE,OAAO,IAAI,CAAA;AACb,CAAC;AAED,wEAAwE;AACxE,SAAS,SAAS,CAChB,UAAsB,EACtB,IAAc,EACd,KAAmB,EACnB,QAAiB,EACjB,SAAkB;IAElB,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC/D,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAA;IAC7B,MAAM,EAAE,EAAE,EAAE,GAAG,UAAU,CAAA;IACzB,sCAAsC;IACtC,MAAM,KAAK,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAA;IAC/C,IACE,CAAC,KAAK,CAAC,EAAE;QACT,KAAK,CAAC,KAAK,CAAC,OAAO,KAAK,UAAU,CAAC,SAAS;QAC5C,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,IAAI,EAC1D,CAAC;QACD,OAAO,+BAA+B,CAAA;IACxC,CAAC;IACD,UAAU;IACV,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAA;IAClE,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAA;IACrF,OAAO,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAA;AACrE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,KAAsB,EACtB,IAAoB;IAEpB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAA;IACrB,MAAM,KAAK,GAAG,wBAAwB,CAAC,CAAC,CAAC,CAAA;IACzC,IAAI,KAAK;QAAE,OAAO,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAC5C,MAAM,OAAO,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAA;IACzC,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAChD,MAAM,KAAK,GAAG,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAA;IACjD,IAAI,KAAK;QAAE,OAAO,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAC5C,+FAA+F;IAC/F,QAAQ;IACR,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;IAC5E,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAChD,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,MAAM;QAAE,OAAO,OAAO,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IACjG,8FAA8F;IAC9F,sBAAsB;IACtB,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC,yBAAyB,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAC1F,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAA;IACxC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAA;IACxD,MAAM,IAAI,GAAS,IAAI,GAAG,EAAE,CAAA;IAC5B,MAAM,OAAO,GAAwB,EAAE,CAAA;IACvC,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3D,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QACnF,IAAI,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC;YAAE,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;QACvE,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;QAChF,IAAI,OAAO;YAAE,OAAO,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;QACvD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IACjD,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAwB,EAAE,OAAO,EAAE,CAAA;AAC/D,CAAC;AAED;;;GAGG;AACH,SAAS,MAAM,CAAC,EAAuB,EAAE,KAAkB;IACzD,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,KAAK,CAAA;IACzC,OAAO,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAA;AAC9D,CAAC;AAUD;;;;GAIG;AACH,KAAK,UAAU,WAAW,CACxB,EAAuB,EACvB,OAAoC,EACpC,IAAU,EACV,SAAiB,EACjB,KAAgB;IAEhB,IAAI,IAAI,GAAoB,IAAI,CAAA;IAChC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QACrE,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QAC1D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;gBAChC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;YACzE,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;QACvE,CAAC;QACD,IAAI,IAAI,CAAC,MAAM;YAAE,MAAK;IACxB,CAAC;IACD,OAAO,IAAI,IAAI,EAAE,MAAM,EAAE,yBAAyB,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AACjF,CAAC;AASD;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,gBAAgB;IAChB,QAAQ;CAC+B,CAAA;AAGzC,uGAAuG;AACvG,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,UAAU;IACV,SAAS;IACT,UAAU;CAC6B,CAAA;AA8EzC,MAAM,UAAU,GAAG,CACjB,MAAkB,EAClB,KAAoB,EACpB,KAAyB,EACH,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;AAEzE,MAAM,YAAY,GAAG,CAAC,KAAgB,EAA+B,EAAE,CACpE,sBAA+C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;AAElE,MAAM,OAAO,GAAG,CAAC,KAAgB,EAA0B,EAAE,CAC1D,gBAAyC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;AAE5D;;;;GAIG;AACH,MAAM,gBAAgB,GAA4C;IAChE,yBAAyB,EAAE,oBAAoB;IAC/C,uBAAuB,EAAE,sBAAsB;CAChD,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAA2B,EAC3B,IAAoB;IAEpB,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,CAAA;IAC5B,MAAM,MAAM,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAA;IACxC,IAAI,MAAM;QAAE,OAAO,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IACjD,MAAM,KAAK,GAAG,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAA;IACjD,IAAI,KAAK;QAAE,OAAO,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAC/C,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,UAAU,CAAC,+BAA+B,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IACjG,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAA;IACxD,MAAM,IAAI,GAAS,IAAI,GAAG,EAAE,CAAA;IAC5B,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;IACjF,IAAI,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,UAAU,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;IAChF,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC;QAAE,OAAO,UAAU,CAAC,oBAAoB,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;IACjF,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;IAC7D,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,KAAK,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/E,OAAO,UAAU,CAAC,+BAA+B,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;IACrE,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAA;IACpC,MAAM,KAAK,GAAG,KAAK,KAAK,UAAU,CAAA;IAClC,MAAM,QAAQ,GAAoB,EAAE,CAAA;IACpC,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3D,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QACnF,MAAM,OAAO,GAAG,EAAE,GAAG,UAAU,CAAC,EAAE,EAAE,CAAA;QACpC,IAAI,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,EAAE,CAAC;YACxB,sFAAsF;YACtF,yCAAyC;YACzC,IAAI,IAAI,CAAC,KAAK,IAAI,UAAU,CAAC,EAAE,CAAC,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;gBACjE,OAAO,UAAU,CAAC,sBAAsB,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;YAC7D,CAAC;YACD,IAAI,KAAK;gBAAE,OAAO,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;YAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;YAC1E,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;YAC1F,SAAQ;QACV,CAAC;QACD,MAAM,OAAO,GAAG,eAAe,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,OAAO,IAAI,KAAK;YAAE,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;QACnE,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAA;QACtD,QAAQ,CAAC,IAAI,CACX,OAAO;YACL,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE;YACzE,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAC1D,CAAA;IACH,CAAC;IACD,MAAM,EAAE,GAAG;QACT,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,YAAY;QACrC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK;KAC7C,CAAA;IACD,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAwB,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;QACzE,OAAO;YACL,OAAO,EAAE,qBAAqB;YAC9B,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;YACrB,QAAQ;YACR,QAAQ,EAAE,QAAQ;SACnB,CAAA;IACH,CAAC;IACD,IAAI,KAAK,KAAK,UAAU;QAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;IACjG,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;IACjF,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;IAC1F,OAAO,UAAU,CAAC,+BAA+B,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;AACrE,CAAC"}