@arki/dot 0.1.0 → 0.1.2

package/dist/pip-contract.d.ts

@@ -1,63 +1,192 @@
 /**
- * Public pip contract for the DOT kernel.
+ * Public pip contract for the DOT kernel (v2).
  *
- * A `DotPip` is a plain object with a name, optional dependency list, and
- * up to five lifecycle hooks. The kernel calls each hook in dependency order
- * (or reverse-dependency order for `stop`/`dispose`).
+ * A pip declares what it **needs** as a shape of type witnesses and
+ * publishes what it **provides** from its `boot` hook. The kernel wires
+ * services by key, injects them into hook contexts under the pip's local
+ * aliases, and fails loudly (coded errors) on unsatisfied needs or key
+ * collisions.
  *
  * Design constraints:
  *
- *  - `configure` is SYNC. Returning a Promise is an error — the kernel will
- *    throw {@link DotLifecycleError} with code `DOT_LIFECYCLE_E001`.
- *  - `boot` may publish services into the app; downstream pips see them via
- *    {@link DotBootContext.services}.
- *  - `stop` and `dispose` continue through individual pip failures and
- *    report an aggregate error.
- */
-import type { DotLifecycleHook } from './lifecycle.js';
-import type { DependencyEdgeKind, RouteTransport, ServiceKind } from './manifest.js';
-/**
- * Aggregate registration record produced during the `configure` phase.
- *
- * The kernel exposes one of these to each pip via {@link DotConfigureContext}
- * and uses the merged result to build the final `DotAppManifest`.
- */
-export type DotManifestContribution = {
-    /** Services this pip publishes. */
-    services?: readonly {
-        name: string;
-        kind: ServiceKind;
-    }[];
-    /** Routes this pip exposes. */
-    routes?: readonly {
-        id: string;
-        method?: string;
-        path?: string;
-        transport: RouteTransport;
-    }[];
-    /** Additional `provides` capability strings (joined with the pip's `provides`). */
-    provides?: readonly string[];
-    /** Additional dependency edges. */
-    dependencies?: readonly {
-        to: string;
-        kind?: DependencyEdgeKind;
-    }[];
+ *  - `configure` is SYNC. Returning a Promise is an error — the kernel
+ *    throws {@link DotLifecycleError} with code `DOT_LIFECYCLE_E001`.
+ *  - Declaration order IS boot order. The app builder's type-level guard
+ *    makes out-of-order composition a compile error; the kernel re-validates
+ *    at runtime for erased/dynamic composition.
+ *  - `stop` and `dispose` run in reverse declaration order and continue
+ *    through individual pip failures, reporting an aggregate error.
+ */
+import type { RouteTransport, ServiceKind } from './manifest.js';
+declare const TypeOf: unique symbol;
+/**
+ * Phantom type witness for a service. Carries `T` at the type level only —
+ * the runtime value is an empty object.
+ */
+export type Service<T> = {
+    readonly [TypeOf]?: T;
 };
-/** Context provided to a `manifest` callback. */
-export type DotManifestContext<TServices extends Record<string, unknown>> = {
-    pipName: string;
-    /** Services published by dependencies that have already booted (read-only). */
-    services: Readonly<Partial<TServices>>;
+declare const LazyInner: unique symbol;
+/**
+ * A lazy-lifting witness (create via {@link service.lazy}). The consumer
+ * always receives a `Lazy<T>` handle, regardless of whether the provider
+ * published a plain `T` (the kernel lifts it into a pre-initialized
+ * handle) or a `Lazy<T>` (passed through). This decouples consumers from
+ * the provider's eager-vs-lazy strategy.
+ *
+ * The phantom `Service<T | Lazy<T>>` base is what the wiring guard checks
+ * against — either provider shape satisfies it structurally.
+ */
+export type LazyService<T> = Service<T | Lazy<T>> & {
+    readonly lazy: true;
+    readonly [LazyInner]?: T;
+};
+/**
+ * Create an app-local (anonymous) service witness for a `needs` shape.
+ *
+ * `service.lazy<T>()` creates a lifting witness instead — the hook context
+ * delivers a `Lazy<T>` handle whether the provider is eager or lazy.
+ */
+export declare const service: (<T>() => Service<T>) & {
+    readonly lazy: <T>() => LazyService<T>;
+};
+/** Internal (kernel) check: is this witness a lazy-lifting one? */
+export declare function isLazyWitness(witness: object): boolean;
+/**
+ * Shared, named witness — a cross-package service contract. The `key` is
+ * the wire name used for satisfaction checks and runtime lookup; the local
+ * property name in a `needs` shape becomes a free-choice alias.
+ *
+ * @example
+ * ```ts
+ * // packages/db owns the contract:
+ * export const Db = token<NodePgDatabase<Schema>>()('arki.db');
+ *
+ * // any consumer, any local alias:
+ * const reports = pip({
+ *   name: 'reports',
+ *   needs: { db: Db },
+ *   async boot({ db }) { ... },
+ * });
+ * ```
+ */
+export type Token<T, K extends string = string> = Service<T> & {
+    readonly key: K;
+    /** Derive a token for an additional instance of the same contract. */
+    instance<N extends string>(name: N): Token<T, `${K}#${N}`>;
+};
+/**
+ * Create a token. Curried so `T` is explicit while `K` is inferred as a
+ * literal: `const Db = token<DbHandle>()('arki.db')`.
+ */
+export declare function token<T>(): <K extends string>(key: K) => Token<T, K>;
+/**
+ * Publish a value under a token's wire key. Returns a record typed by the
+ * token's literal key, so `boot: () => provide(Db, handle)` infers
+ * `TProvides = { 'arki.db': DbHandle }`.
+ */
+export declare function provide<T, K extends string>(tok: Token<T, K>, value: T): {
+    [P in K]: T;
 };
-/** Context provided to a `configure` hook. */
+/** Record of wire-keyed services. */
+export type ServiceRecord = Record<string, unknown>;
+/** Runtime brand for lazy service handles (kernel detects these for auto-dispose). */
+export declare const LazyTag: unique symbol;
+/**
+ * A lazily-initialized service handle. Publish one from `boot` to defer an
+ * expensive open until first use:
+ *
+ * ```ts
+ * boot: () => ({ db: lazy(() => openDb(), { dispose: db => db.close() }) })
+ * ```
+ *
+ * Laziness is visible in the type — consumers declare
+ * `needs: { db: service<Lazy<Db>>() }` and call `await db.get()`. The
+ * kernel auto-disposes initialized handles in reverse declaration order
+ * during `dispose` (and boot rollback), even when the publishing pip has
+ * no `dispose` hook. A handle that was never `get()`ed never initializes
+ * and never runs cleanup.
+ */
+export type Lazy<T> = {
+    readonly [LazyTag]: true;
+    /**
+     * Initialize (once) and return the value. Concurrent callers share one
+     * attempt. A failed attempt is NOT cached — the next call retries.
+     * Throws if the handle has been disposed.
+     */
+    get(): Promise<T>;
+    /** True once an initialization attempt has succeeded. */
+    readonly initialized: boolean;
+    /** The value if initialized, else `undefined`. Never triggers initialization. */
+    peek(): T | undefined;
+    /**
+     * Run cleanup if initialized (awaits an in-flight initialization first).
+     * Idempotent. Called automatically by the kernel for published handles.
+     */
+    dispose(): Promise<void>;
+};
+/**
+ * Create a lazy service handle. See {@link Lazy} for semantics.
+ *
+ * @param init - Opens the resource. Runs at most once concurrently; a
+ *   rejected attempt is not cached, so a later `get()` retries.
+ * @param options.dispose - Cleanup for the initialized value. Skipped when
+ *   the handle was never initialized.
+ */
+export declare function lazy<T>(init: () => Promise<T> | T, options?: {
+    readonly dispose?: (value: T) => Promise<void> | void;
+}): Lazy<T>;
+/** Type guard: is this published value a lazy service handle? */
+export declare function isLazy(value: unknown): value is Lazy<unknown>;
+/**
+ * Wrap an already-available value in a pre-initialized `Lazy<T>` handle.
+ * Used by the kernel to lift eager provides for `service.lazy` consumers;
+ * also handy for handing fakes to lazy-consuming pips in tests. The handle
+ * has no cleanup of its own — the underlying value's lifecycle belongs to
+ * whoever created it.
+ */
+export declare function lazyOf<T>(value: T): Lazy<T>;
+/** A `needs` declaration: local alias → witness (anonymous or token). */
+export type NeedsShape = Record<string, Service<unknown>>;
+export type EmptyShape = {};
+/**
+ * Local-alias view of a needs shape — what lifecycle hooks destructure.
+ * `{ cache: Token<KV, 'arki.kv'> }` → `{ cache: KV }`.
+ * `{ search: service.lazy<S>() }` → `{ search: Lazy<S> }`.
+ */
+export type CtxOf<S extends NeedsShape> = {
+    [K in keyof S]: S[K] extends LazyService<infer T> ? Lazy<T> : S[K] extends Service<infer T> ? T : never;
+};
+/**
+ * Wire-key view of a needs shape — what the app builder checks
+ * satisfaction against. Tokens contribute their owned key; anonymous
+ * witnesses contribute the property name.
+ * `{ cache: Token<KV, 'arki.kv'> }` → `{ 'arki.kv': KV }`.
+ */
+export type WireNeeds<S extends NeedsShape> = {
+    [K in keyof S as S[K] extends Token<unknown, infer WK> ? WK : K]: S[K] extends Service<infer T> ? T : never;
+};
+/**
+ * Kernel-supplied context keys, present in every service-carrying hook
+ * context. `$`-prefixed so they can never collide with service aliases.
+ */
+export type KernelCtx = {
+    /** App name (passed to `defineApp`). */
+    readonly $app: string;
+    /** This pip's name. */
+    readonly $pip: string;
+    /** Read-only runtime config bag from `defineApp(name, { config })`. */
+    readonly $config: Readonly<Record<string, unknown>>;
+};
+/** Context provided to a `configure` hook (sync registration only). */
 export type DotConfigureContext = {
     pipName: string;
     /** App name. */
     appName: string;
     /**
-     * Register a service this pip publishes.
-     * Registration is metadata-only — the actual service instance is returned
-     * from the `boot` hook in `DotBootResult.services`.
+     * Register a service this pip publishes, for manifest/diagnostics
+     * purposes. Registration is metadata-only — the actual service instance
+     * is returned from the `boot` hook.
      */
     registerService(name: string, kind: ServiceKind): void;
     /** Register a route this pip exposes. */
@@ -68,108 +197,98 @@ export type DotConfigureContext = {
         transport: RouteTransport;
     }): void;
     /** Mark the pip as participating in a lifecycle hook. */
-    registerLifecycleHook(hook: DotLifecycleHook): void;
-    /** Append `provides` capability strings. */
+    registerLifecycleHook(hook: 'configure' | 'boot' | 'start' | 'stop' | 'dispose'): void;
+    /** Append `provides` capability strings (informational, manifest-only). */
     declareProvides(...capabilities: string[]): void;
-    /** Append an extra dependency edge (alongside `pip.dependencies`). */
-    declareDependency(to: string, kind?: DependencyEdgeKind): void;
-};
-/** Context provided to a `boot` hook. */
-export type DotBootContext = {
-    pipName: string;
-    appName: string;
-    /**
-     * Services published by prior-booted pips, keyed by service name.
-     * Use this for dependency injection between pips.
-     */
-    services: ReadonlyMap<string, unknown>;
-    /** Read-only configuration bag. */
-    config: Readonly<Record<string, unknown>>;
-};
-/** Context provided to a `start` hook. */
-export type DotStartContext<TServices extends Record<string, unknown>> = {
-    pipName: string;
-    appName: string;
-    services: TServices;
-};
-/** Context provided to a `stop` hook. */
-export type DotStopContext<TServices extends Record<string, unknown>> = {
-    pipName: string;
-    appName: string;
-    services: TServices;
-};
-/** Context provided to a `dispose` hook. */
-export type DotDisposeContext<TServices extends Record<string, unknown>> = {
-    pipName: string;
-    appName: string;
-    services: TServices;
-};
-/** Return value of a `boot` hook. */
-export type DotBootResult<TServices extends Record<string, unknown>> = {
-    /** Services this pip publishes — added to `app.services` and visible to dependent pips. */
-    services?: TServices;
 };
+type MaybePromise<T> = T | Promise<T>;
+declare const NeedsSym: unique symbol;
+declare const ProvidesSym: unique symbol;
 /**
- * The DOT pip contract.
+ * The DOT pip (v2). Author through {@link pip} — never construct directly.
  *
- * Default `TServices` is `Record<string, never>` so pips that don't publish
- * services don't have to specify a type argument. Default `TManifest` is the
- * full contribution shape.
+ * Hook signatures are type-erased here (`ctx: never`): the typed view
+ * lives on `pip()`'s parameter, and `(ctx: Typed) => R` is assignable to
+ * `(ctx: never) => R` without casts (parameter contravariance from the
+ * bottom type). The kernel crosses the erasure boundary at the call site.
+ *
+ * The phantom symbol properties carry `TNeeds` / `TProvides` for the app
+ * builder's compile-time wiring check; they never exist at runtime.
  */
-export type DotPip<TServices extends Record<string, unknown> = Record<string, never>, TManifest extends DotManifestContribution = DotManifestContribution> = {
+export type Pip<TNeeds extends ServiceRecord = ServiceRecord, TProvides extends ServiceRecord = ServiceRecord> = {
     /** Unique identifier for this pip within the app. */
-    name: string;
+    readonly name: string;
     /** Optional semantic version string. */
-    version?: string;
-    /**
-     * Names of pips this one depends on.
-     * The kernel ensures dependencies are configured/booted/started first, and
-     * stopped/disposed last.
-     */
-    dependencies?: readonly string[];
-    /** Capability strings this pip advertises (for `dependencies` resolution by capability). */
-    provides?: readonly string[];
-    /**
-     * Optional static or callback-form manifest contribution. The kernel merges
-     * this into the final manifest after `configure` runs.
-     */
-    manifest?: TManifest | ((ctx: DotManifestContext<TServices>) => TManifest);
-    /**
-     * SYNC registration hook. Declare metadata, register routes/services/jobs.
-     * MUST NOT perform IO, MUST NOT return a Promise.
-     */
-    configure?: (ctx: DotConfigureContext) => void;
-    /** Async open-resources hook. Returns published services for DI. */
-    boot?: (ctx: DotBootContext) => Promise<DotBootResult<TServices>> | DotBootResult<TServices>;
-    /** Async begin-active-work hook. Runs after every pip's `boot` succeeds. */
-    start?: (ctx: DotStartContext<TServices>) => Promise<void> | void;
-    /** Async halt-active-work hook. Runs in reverse-topological order. */
-    stop?: (ctx: DotStopContext<TServices>) => Promise<void> | void;
-    /** Async release-resources hook. Runs in reverse-topological order. */
-    dispose?: (ctx: DotDisposeContext<TServices>) => Promise<void> | void;
+    readonly version?: string;
+    /** Runtime needs shape (local alias → witness). */
+    readonly needs: NeedsShape;
+    /** Mount-time renames: publish key → new wire key (see {@link rename}). */
+    readonly renames: Readonly<Record<string, string>>;
+    readonly hooks: {
+        readonly configure?: (ctx: DotConfigureContext) => void;
+        readonly boot?: (ctx: never) => MaybePromise<ServiceRecord | void>;
+        readonly start?: (ctx: never) => MaybePromise<void>;
+        readonly stop?: (ctx: never) => MaybePromise<void>;
+        readonly dispose?: (ctx: never) => MaybePromise<void>;
+    };
+    readonly [NeedsSym]?: TNeeds;
+    readonly [ProvidesSym]?: TProvides;
 };
+/** Extract a pip's (wire-keyed) needs record. */
+export type PipNeeds<P> = P extends Pip<infer N, ServiceRecord> ? N : never;
+/** Extract a pip's (wire-keyed) provides record. */
+export type PipProvides<P> = P extends Pip<ServiceRecord, infer Pr> ? Pr : never;
+/** Internal type alias used by the kernel to erase pip service generics. */
+export type AnyPip = Pip<ServiceRecord, ServiceRecord>;
 /**
- * Type-narrowing helper for pip authors.
+ * Author a DOT pip.
+ *
+ * - `TShape` is inferred from the `needs` object literal.
+ * - `TProvides` is inferred from `boot`'s return type — no generic argument.
+ * - `boot({ db, log, $app })` destructures typed services under the local
+ *   aliases declared in `needs`, plus the `$`-prefixed kernel keys.
+ * - `start` / `stop` / `dispose` additionally receive the pip's own
+ *   provides. Reverse-order teardown guarantees needs are still alive in
+ *   `dispose`.
  *
  * @example
- * export const myPip = defineDotPip<{ db: MyDb }>({
- *   name: 'my-pip',
- *   async boot() {
- *     const db = await openDb();
- *     return { services: { db } };
+ * ```ts
+ * export const billing = pip({
+ *   name: 'billing',
+ *   needs: { db: service<Db>(), log: service<Logger>() },
+ *   async boot({ db, log }) {
+ *     return { billing: new BillingService(db, log) };
  *   },
- *   async dispose({ services }) {
- *     await services.db.close();
+ *   async dispose({ billing }) {
+ *     await billing.flush();
  *   },
  * });
+ * ```
  */
-export declare function defineDotPip<TServices extends Record<string, unknown> = Record<string, never>>(pip: DotPip<TServices>): DotPip<TServices>;
-/** Internal type alias used by the kernel to erase pip service generics. */
-export type AnyDotPip = DotPip<Record<string, unknown>, DotManifestContribution>;
-/** Internal helper: extract the `provides` field from a pip (always returns an array). */
-export declare function pipProvides(pip: AnyDotPip): readonly string[];
-/** Internal helper: extract the `dependencies` field from a pip (always returns an array). */
-export declare function pipDependencies(pip: AnyDotPip): readonly string[];
+export declare function pip<TShape extends NeedsShape = EmptyShape, TProvides extends ServiceRecord = EmptyShape>(def: {
+    readonly name: string;
+    readonly version?: string;
+    readonly needs?: TShape;
+    readonly configure?: (ctx: DotConfigureContext) => void;
+    readonly boot?: (ctx: CtxOf<TShape> & KernelCtx) => MaybePromise<TProvides | void>;
+    readonly start?: (ctx: CtxOf<TShape> & TProvides & KernelCtx) => MaybePromise<void>;
+    readonly stop?: (ctx: CtxOf<TShape> & TProvides & KernelCtx) => MaybePromise<void>;
+    readonly dispose?: (ctx: CtxOf<TShape> & TProvides & KernelCtx) => MaybePromise<void>;
+}): Pip<WireNeeds<TShape>, TProvides>;
+/** Rename a pip's published wire keys — the multi-instance primitive. */
+export type RenamedProvides<TP, M> = {
+    [K in keyof TP as K extends keyof M ? (M[K] extends string ? M[K] : K) : K]: TP[K];
+};
+/**
+ * Mount-time rename. `rename(dbPip, { db: 'reportsDb' }, 'reports-db')`
+ * publishes the same service under a different wire key, retyped
+ * accordingly — the way to mount a second instance of an adapter without
+ * a key collision. Renames compose: renaming an already-renamed key
+ * rewrites the earlier entry.
+ */
+export declare function rename<TN extends ServiceRecord, TP extends ServiceRecord, const M extends {
+    readonly [K in keyof TP]?: string;
+}>(p: Pip<TN, TP>, map: M, newName?: string): Pip<TN, RenamedProvides<TP, M>>;
 /**
  * Stable error thrown by DOT pip adapters.
  *
@@ -185,20 +304,6 @@ export declare function pipDependencies(pip: AnyDotPip): readonly string[];
  *
  * @see packages/dot/docs/principles.md — principle 1.3 ("errors are part
  * of the API") and principle 4 ("agent-discoverable everywhere").
- *
- * @example
- * ```ts
- * import { DotPipError } from '@arki/dot/pip';
- *
- * const KV_PIP_ERROR_CODES = { urlNotConfigured: 'KV_PIP_E001' } as const;
- *
- * throw new DotPipError({
- *   code: KV_PIP_ERROR_CODES.urlNotConfigured,
- *   message: '[kv] KV URL is not configured.',
- *   remediation: 'Pass options.url to kv(...) or set KV_URL in the environment.',
- *   docsUrl: 'https://arki.dev/dot/errors/kv-pip-e001',
- * });
- * ```
  */
 export declare class DotPipError extends Error {
     /** Stable error code, e.g. `KV_PIP_E001`. */

package/dist/pip-contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pip-contract.d.ts","sourceRoot":"","sources":["../src/pip-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAErF;;;;;GAKG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC,mCAAmC;IACnC,QAAQ,CAAC,EAAE,SAAS;QAClB,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,WAAW,CAAC;KACnB,EAAE,CAAC;IACJ,+BAA+B;IAC/B,MAAM,CAAC,EAAE,SAAS;QAChB,EAAE,EAAE,MAAM,CAAC;QACX,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,SAAS,EAAE,cAAc,CAAC;KAC3B,EAAE,CAAC;IACJ,mFAAmF;IACnF,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,mCAAmC;IACnC,YAAY,CAAC,EAAE,SAAS;QACtB,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,CAAC,EAAE,kBAAkB,CAAC;KAC3B,EAAE,CAAC;CACL,CAAC;AAEF,iDAAiD;AACjD,MAAM,MAAM,kBAAkB,CAAC,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;IAC1E,OAAO,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;CACxC,CAAC;AAEF,8CAA8C;AAC9C,MAAM,MAAM,mBAAmB,GAAG;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,GAAG,IAAI,CAAC;IACvD,yCAAyC;IACzC,aAAa,CAAC,KAAK,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,cAAc,CAAA;KAAE,GAAG,IAAI,CAAC;IACtG,yDAAyD;IACzD,qBAAqB,CAAC,IAAI,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACpD,4CAA4C;IAC5C,eAAe,CAAC,GAAG,YAAY,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACjD,sEAAsE;IACtE,iBAAiB,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,kBAAkB,GAAG,IAAI,CAAC;CAChE,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,cAAc,GAAG;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,mCAAmC;IACnC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC3C,CAAC;AAEF,0CAA0C;AAC1C,MAAM,MAAM,eAAe,CAAC,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;IACvE,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,SAAS,CAAC;CACrB,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,cAAc,CAAC,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;IACtE,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,SAAS,CAAC;CACrB,CAAC;AAEF,4CAA4C;AAC5C,MAAM,MAAM,iBAAiB,CAAC,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;IACzE,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,SAAS,CAAC;CACrB,CAAC;AAEF,qCAAqC;AACrC,MAAM,MAAM,aAAa,CAAC,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;IACrE,2FAA2F;IAC3F,QAAQ,CAAC,EAAE,SAAS,CAAC;CACtB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,MAAM,CAChB,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EACjE,SAAS,SAAS,uBAAuB,GAAG,uBAAuB,IACjE;IACF,qDAAqD;IACrD,IAAI,EAAE,MAAM,CAAC;IACb,wCAAwC;IACxC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,4FAA4F;IAC5F,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAE7B;;;OAGG;IACH,QAAQ,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,kBAAkB,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC,CAAC;IAE3E;;;OAGG;IACH,SAAS,CAAC,EAAE,CAAC,GAAG,EAAE,mBAAmB,KAAK,IAAI,CAAC;IAE/C,oEAAoE;IACpE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,cAAc,KAAK,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IAE7F,4EAA4E;IAC5E,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,eAAe,CAAC,SAAS,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAElE,sEAAsE;IACtE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,cAAc,CAAC,SAAS,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAEhE,uEAAuE;IACvE,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,iBAAiB,CAAC,SAAS,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CACvE,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,YAAY,CAAC,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAC5F,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,GACrB,MAAM,CAAC,SAAS,CAAC,CAEnB;AAED,4EAA4E;AAC5E,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,uBAAuB,CAAC,CAAC;AAEjF,0FAA0F;AAC1F,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,SAAS,MAAM,EAAE,CAE7D;AAED,8FAA8F;AAC9F,wBAAgB,eAAe,CAAC,GAAG,EAAE,SAAS,GAAG,SAAS,MAAM,EAAE,CAEjE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,qBAAa,WAAY,SAAQ,KAAK;IACpC,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;gBAEb,IAAI,EAAE;QAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B;CAOF;AAED,yCAAyC;AAEzC,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"pip-contract.d.ts","sourceRoot":"","sources":["../src/pip-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEjE,OAAO,CAAC,MAAM,MAAM,EAAE,OAAO,MAAM,CAAC;AAEpC;;;GAGG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAEnD,OAAO,CAAC,MAAM,SAAS,EAAE,OAAO,MAAM,CAAC;AAEvC;;;;;;;;;GASG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG;IAClD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;CAC1B,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC,CAAA;CAGrF,CAAC;AAEF,mEAAmE;AACnE,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAEtD;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG;IAC7D,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IAChB,sEAAsE;IACtE,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;CAC5D,CAAC;AAEF;;;GAGG;AACH,wBAAgB,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAQpE;AAED;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG;KAAG,CAAC,IAAI,CAAC,GAAG,CAAC;CAAE,CAGxF;AAED,qCAAqC;AACrC,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAEpD,sFAAsF;AACtF,eAAO,MAAM,OAAO,EAAE,OAAO,MAA2B,CAAC;AAEzD;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IACpB,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACzB;;;;OAIG;IACH,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC;IAClB,yDAAyD;IACzD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,iFAAiF;IACjF,IAAI,IAAI,CAAC,GAAG,SAAS,CAAC;IACtB;;;OAGG;IACH,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1B,CAAC;AAQF;;;;;;;GAOG;AACH,wBAAgB,IAAI,CAAC,CAAC,EACpB,IAAI,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAC1B,OAAO,GAAE;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAA;CAAO,GACtE,IAAI,CAAC,CAAC,CAAC,CAkDT;AAED,iEAAiE;AACjE,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,CAE7D;AAED;;;;;;GAMG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAgB3C;AAED,yEAAyE;AACzE,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;AAK1D,MAAM,MAAM,UAAU,GAAG,EAAE,CAAC;AAE5B;;;;GAIG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,UAAU,IAAI;KACvC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CACxG,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,UAAU,IAAI;KAC3C,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAC5G,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uBAAuB;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACrD,CAAC;AAEF,uEAAuE;AACvE,MAAM,MAAM,mBAAmB,GAAG;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,GAAG,IAAI,CAAC;IACvD,yCAAyC;IACzC,aAAa,CAAC,KAAK,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,cAAc,CAAA;KAAE,GAAG,IAAI,CAAC;IACtG,yDAAyD;IACzD,qBAAqB,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,SAAS,GAAG,IAAI,CAAC;IACvF,2EAA2E;IAC3E,eAAe,CAAC,GAAG,YAAY,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;CAClD,CAAC;AAEF,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAEtC,OAAO,CAAC,MAAM,QAAQ,EAAE,OAAO,MAAM,CAAC;AACtC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AAEzC;;;;;;;;;;GAUG;AACH,MAAM,MAAM,GAAG,CACb,MAAM,SAAS,aAAa,GAAG,aAAa,EAC5C,SAAS,SAAS,aAAa,GAAG,aAAa,IAC7C;IACF,qDAAqD;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wCAAwC;IACxC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,mDAAmD;IACnD,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,EAAE,mBAAmB,KAAK,IAAI,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,YAAY,CAAC,aAAa,GAAG,IAAI,CAAC,CAAC;QACnE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC;QACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC;KACvD,CAAC;IACF,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC;CACpC,CAAC;AAEF,iDAAiD;AACjD,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAC5E,oDAAoD;AACpD,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;AAEjF,4EAA4E;AAC5E,MAAM,MAAM,MAAM,GAAG,GAAG,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;AAEvD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,GAAG,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,EAAE,SAAS,SAAS,aAAa,GAAG,UAAU,EAAE,GAAG,EAAE;IAC7G,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,EAAE,mBAAmB,KAAK,IAAI,CAAC;IACxD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,SAAS,KAAK,YAAY,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC;IACnF,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,SAAS,GAAG,SAAS,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC;IACpF,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,SAAS,GAAG,SAAS,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC;IACnF,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,SAAS,GAAG,SAAS,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC;CACvF,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAcpC;AAED,yEAAyE;AACzE,MAAM,MAAM,eAAe,CAAC,EAAE,EAAE,CAAC,IAAI;KAClC,CAAC,IAAI,MAAM,EAAE,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CACnF,CAAC;AAEF;;;;;;GAMG;AACH,wBAAgB,MAAM,CACpB,EAAE,SAAS,aAAa,EACxB,EAAE,SAAS,aAAa,EACxB,KAAK,CAAC,CAAC,SAAS;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM;CAAE,EACrD,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC,EAAE,EAAE,eAAe,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAY3E;AAED;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,WAAY,SAAQ,KAAK;IACpC,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;gBAEb,IAAI,EAAE;QAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B;CAOF;AAED,yCAAyC;AAEzC,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC"}