@bjornpagen/bumbledb 1.1.0 → 1.2.0

package/COOKBOOK.md

@@ -18,6 +18,7 @@ import {
 	closed,
 	contained,
 	Db,
+	describeQuery,
 	duration,
 	f64,
 	i64,
@@ -29,11 +30,11 @@ import {
 	NativeRuntime,
 	on,
 	query,
+	queryFromDescription,
 	ref,
 	relation,
 	Scalar,
 	schema,
-	span,
 	str,
 	u64,
 	v,
@@ -44,6 +45,8 @@ import type {
 	ApplyOutcome,
 	CompleteResult,
 	Fact,
+	FloatIntervalValue,
+	IntervalValue,
 	QueryReader
 } from "@bjornpagen/bumbledb"
 
@@ -163,18 +166,83 @@ const applyOnce = Effect.scoped(
 void applyOnce
 ```
 
+For a noncommitting check, `db.judge` runs the same admission procedure and
+aborts its private candidate on the native worker. It briefly takes the
+writer; it does not hold a writer session open in JavaScript. Admitted and
+rejected judgments include the actual base and net proposed fact counts.
+Operational errors stay in the Effect error channel.
+
+```ts
+const judgeOnce = Effect.scoped(
+	Effect.gen(function* () {
+		const db = yield* Db.open(localPath, Tasks)
+		const draft = yield* ChangeSet.builder(Tasks)
+		const id = yield* Effect.sync(() => crypto.randomUUID())
+		yield* draft.insert(Task, [{ id, title: "inspect a candidate", done: 0n }])
+		return yield* db.judge(yield* draft.finish(), { expected: { kind: "any" } })
+	})
+)
+void judgeOnce
+```
+
+Judgment is optional: `apply` always judges for itself. To act on a judgment,
+use its base as an exact expected witness and handle `moved`; do not assume
+another writer could not change the database between these operations.
+
+Change sets also work as inspectable values without a database. Their
+`counts` report distinct requested additions/removals, not the net change
+against any store. `records()` yields `{ relation, kind, fact }` records;
+the relation name narrows the fact type. Every traversal opens an independent
+cursor over the shared native bytes. Early termination, failure and interruption
+close it, without consuming the change set. Delivery is bounded to 256 records
+and a 64 KiB canonical-byte target per batch; a larger individual row is allowed.
+
+`toBytes()` explicitly copies the complete canonical payload. `fromBytes`
+checks its schema fingerprint, framing, scalar values, order and uniqueness;
+it refuses malformed bytes instead of silently normalizing them. Input bytes
+must remain stable until the Effect exits, and returned bytes are independently
+owned. Native byte order is canonical encoding order, not insertion order.
+
+```ts
+const inspectAndCompose = Effect.scoped(
+	Effect.gen(function* () {
+		const draft = yield* ChangeSet.builder(Tasks)
+		const id = yield* Effect.sync(() => crypto.randomUUID())
+		yield* draft.insert(Task, [{ id, title: "inspect typed changes", done: 0n }])
+		const changes = yield* draft.finish()
+		const bytes = yield* changes.toBytes()
+		const decoded = yield* ChangeSet.fromBytes(Tasks, bytes)
+		const combined = yield* changes.compose(decoded)
+		const preview = yield* Stream.runCollect(combined.records().pipe(Stream.take(10)))
+		return { counts: combined.counts, byteLength: combined.byteLength,
+			titles: preview.map((record) => record.fact.title) }
+	})
+)
+void inspectAndCompose
+```
+
+`compose` performs a native linear merge without decoding/re-encoding rows.
+It is commutative, associative and idempotent: the identical fact's add wins
+over its removal within the combined command. Two distinct rows sharing a key
+both survive composition and can still be rejected by admission. Applying two
+commands sequentially has different semantics: a later removal removes a
+previously added fact. Neither input is consumed by composition.
+
 ## 4. Keyed reads are Options
 
-`get` reads through the relation's primary declared key. A missing key is
+`get` takes the exact key descriptor used in the schema and its complete
+projected value. Every declared key is usable; there is no implicit primary key.
+A missing key is
 `Option.none` — never a fake I/O error, never a nullable row.
 
 ```ts
 const Person = relation("Person", { id: uuid, name: str })
-const People = schema("People", { Person }, [key(Person, ["id"])])
+const PersonById = key(Person, ["id"])
+const People = schema("People", { Person }, [PersonById])
 
 const lookup = (reader: QueryReader<typeof People>, personId: Uuid) =>
 	Effect.gen(function* () {
-		const found = yield* reader.get(Person, { id: personId })
+		const found = yield* reader.get(PersonById, { id: personId })
 		return Option.isSome(found) ? found.value.name : "unknown"
 	})
 void lookup
@@ -245,6 +313,39 @@ const readTwoAuthors = (reader: QueryReader<typeof Library>) =>
 void readTwoAuthors
 ```
 
+Generated queries use the same checked rule, scalar, and execution machinery.
+`describeQuery` exposes the logical IR and its names as owned data. Its relation
+ordinals refer to the supplied schema's declaration order; variables are local
+to each rule. Intermediate names are local labels. The result-field record
+passed to `queryFromDescription` must match the actual derived head, including
+closed vocabularies, and determines the returned row type. Parameters supplied
+to a generated query are checked against their uses during execution.
+
+```ts
+const Event = relation("Event", { id: uuid, amount: u64 })
+const Events = schema("Events", { Event }, [key(Event, ["id"])])
+const countEvents = query(Events).rule((r) =>
+	r.match(Event, {}).find({ count: r.count() })
+)
+const description = describeQuery(countEvents)
+const totalEvents = queryFromDescription(
+	Events,
+	{ ...description, columns: ["total"] },
+	{ total: u64 }
+)
+const readTotal = (reader: QueryReader<typeof Events>) =>
+	Effect.scoped(Effect.gen(function* () {
+		const result = yield* reader.execute(totalEvents, {})
+		const rows: readonly { readonly total: bigint }[] = yield* result.collect()
+		return rows
+	}))
+void readTotal
+```
+
+Descriptions contain bigint and byte values, so they are not a JSON wire format.
+An accepted description is an authored query; native preparation still checks
+engine semantics. It carries no snapshot, prepared handle, or result rows.
+
 ## 6. Grouped exact aggregates
 
 Aggregates fold the group's distinct full bindings: keep the identity-bearing
@@ -358,7 +459,8 @@ the apply instead of silently overwriting.
 
 ```ts
 const Account = relation("Account", { id: uuid, balance: i64 })
-const Bank = schema("Bank", { Account }, [key(Account, ["id"])])
+const AccountById = key(Account, ["id"])
+const Bank = schema("Bank", { Account }, [AccountById])
 
 const correct = (accountId: Uuid) =>
 	Effect.scoped(
@@ -367,7 +469,7 @@ const correct = (accountId: Uuid) =>
 			const observed = yield* Effect.scoped(
 				Effect.gen(function* () {
 					const snapshot = yield* db.snapshot()
-					const previous = yield* snapshot.get(Account, { id: accountId })
+					const previous = yield* snapshot.get(AccountById, { id: accountId })
 					if (Option.isNone(previous)) {
 						return yield* Effect.fail({ missing: accountId })
 					}
@@ -389,16 +491,17 @@ void correct
 `f64` is a real schema scalar: NaN canonicalizes to the one quiet NaN,
 `-0` to `+0`, and the relational order is total. `interval(f64)` is the
 parameterized dense interval — half-open, NaN-free, strictly ordered.
-`span` builds checked interval values as `Result`s.
+Interval values are structural records. Their field descriptor validates
+endpoint ranges, nonemptiness and fixed width at the boundary. Integer rays
+end at the element's maximum; fixed-width intervals cannot be rays.
 
 ```ts
 const Window = relation("Window", { id: uuid, confidence: interval(f64), during: interval(i64) })
 const Windows = schema("Windows", { Window }, [key(Window, ["id"])])
 
-const discrete = span(0n, 60n)
-const dense = span(0.25, 1.5)
-const bothChecked: boolean = Result.isSuccess(discrete) && Result.isSuccess(dense)
-void [Windows, bothChecked]
+const discrete: IntervalValue = { start: 0n, end: 60n }
+const dense: FloatIntervalValue = { start: 0.25, end: 1.5 }
+void [Windows, discrete, dense]
 ```
 
 ## 12. Scoped ownership and honest close

package/README.md

@@ -19,6 +19,11 @@ ordinary `bigint`, `number` (for `f64`), `string`, boolean, byte, `Uuid`,
 and interval values; queries infer their parameter and result types from how
 those values are used.
 
+Relations, closed rosters, keys, selections, and constraints are checked
+structural descriptions. Schema construction owns copies of declarations.
+Independently constructed equivalent declarations work in queries, codecs,
+writes, and key lookups; ordered fields and enum handles must agree.
+
 ## Platform support
 
 The TypeScript package ships native binaries for **darwin-arm64**
@@ -33,12 +38,12 @@ correctness CI is distinct from the Apple Silicon performance measurements.
 
 ## Install
 
-This guide follows the 1.1.0 source API. Use the guide from the Git tag matching
+This guide follows the 1.2.0 source API. Use the guide from the Git tag matching
 your installed package. GitHub release tarballs and npm publication are separate;
 the npm command below applies once that version is published.
 
 ```sh
-pnpm add @bjornpagen/bumbledb@1.1.0 effect@4.0.0-rc.112
+pnpm add @bjornpagen/bumbledb@1.2.0 effect@4.0.0-rc.112
 ```
 
 ## Quick start
@@ -85,8 +90,9 @@ const Attempt = relation("Attempt", {
 })
 
 // Keys are declared statements; references and capacity are laws.
+const StudentById = key(Student, ["id"])
 const Learning = schema("Learning", { Student, Attempt }, [
-	key(Student, ["id"]),
+	StudentById,
 	key(Attempt, ["id"]),
 	contained(on(Attempt, "student"), on(Student, "id")),
 	capacity(on(Student, "id"), {
@@ -127,7 +133,7 @@ const program = Effect.scoped(
 			return outcome
 		}
 		const snapshot = yield* db.snapshot()
-		const found = yield* snapshot.get(Student, { id: studentId })
+		const found = yield* snapshot.get(StudentById, { id: studentId })
 		if (Option.isNone(found)) {
 			return outcome
 		}
@@ -151,8 +157,8 @@ The SDK translates TypeScript values directly into the engine's shared schema
 and query representations.
 
 - Fields use `bool`, `bytes`, `f64`, `i64`, `uuid`, `u64`, `str`, and
-  `interval` (`interval(f64)` is the dense float interval); `span` builds
-  checked interval values. `relation()` declares stored records, while
+  `interval` (`interval(f64)` is the dense float interval). Interval values
+  are plain `{ start, end }` records checked against their field. `relation()` declares stored records, while
   `closed()` declares a fixed enum-like set whose values may carry typed
   columns. `Infer` exposes the resulting TypeScript value type. `Uuid` is
   a structural template-literal string, not a nominal brand or a cast helper.
@@ -162,7 +168,9 @@ and query representations.
 - `schema()` accepts `key`, `contained`, `mirrors`, and `capacity`
   statements. Keys are declared statements — there is no minted identity.
   `capacity(target, { from, weight?, within })` takes named options;
-  `.where` makes a reference conditional, `within` sets a count or
+  `select(relation, { field: value })` makes a reference conditional,
+  `closedId(roster)` supplies a field that accepts named enum handles,
+  `within` sets a count or
   measurement range, and `weigh` chooses a numeric field or interval
   duration. Harmless equivalent window spellings lower to one canonical
   law; genuinely different meanings still refuse.
@@ -172,10 +180,24 @@ and query representations.
   existing authority. `db.apply(changes, { expected })` judges one
   immutable final-state change: `accepted`, `no-change`,
   `invariant-rejected` (complete statement diagnostics), or `moved`.
+  `db.judge(changes, { expected })` uses the same admission path but aborts
+  the private candidate. It returns `admitted` or `invariant-rejected` with
+  the actual base witness and net additions/removals, or `moved` without
+  judging. Both use `WriteOptions`; judgment never guarantees a later apply.
 - `ChangeSet.builder(schema)` acquires a scoped database-free draft;
   `insert`/`delete` are lazy bounded ingestion effects, `finish()` seals the
-  immutable `ChangeSet`. Snapshots satisfy the shared `QueryReader`: typed
-  `get` returns `Option`, `execute` returns a sealed `CompleteResult` whose
+  immutable `ChangeSet`. It exposes `schemaId`, `counts`, and `byteLength`.
+  `records()` is a reusable, bounded stream of relation-name-discriminated
+  facts; each traversal owns an independent scoped cursor. `toBytes()`
+  explicitly materializes canonical bytes; `ChangeSet.fromBytes(schema, bytes)`
+  checks them without normalizing malformed input. `left.compose(right)`
+  merges native records into one add-wins command without decoding rows.
+  Composition is commutative, associative, and idempotent, not sequential
+  replay. Its counts describe requested distinct actions; only `judge`
+  measures their effect against a store.
+- Snapshots satisfy the shared `QueryReader`: typed
+  `get(keyDescriptor, keyValues)` chooses an explicit declared key and returns
+  `Option`; `execute` returns a sealed `CompleteResult` whose
   `collect()` explicitly materializes all rows and whose
   `pages()` is a one-shot consuming `Stream` of owned page
   arrays after complete evaluation. Each page contains up to 256 rows; this
@@ -188,6 +210,21 @@ and query representations.
   `f64` are deterministic with one final rounding), named intermediate
   results, nonrecursive composition of query templates, and linear
   recursive reachability.
+- `describeQuery(q)` returns owned logical IR, result names, intermediate
+  table names, and parameter names. `queryFromDescription(S, description,
+  resultFields)` checks a generated description through the same rule builder,
+  scalar grammar, lowering, and execution paths. The result-field record is
+  checked against the derived head and infers the returned row type; it is
+  not an unchecked cast. Generated parameters are validated by their uses at
+  execution. Ordinals refer to the supplied schema's ordered declarations;
+  variable ordinals are local to each rule. Native preparation still checks
+  engine semantics. The description contains plain values, including bigint
+  and byte arrays, rather than native resources or a JSON encoding.
+  Query `data` and `schema`, and compiled-schema inspection properties,
+  return detached snapshots: editing their byte buffers cannot change the
+  query or compilation. Checked immutable branches may be shared. Structural
+  declarations with byte payloads are copied when consumed; JavaScript byte
+  buffers themselves are mutable and are never treated as immutable cache keys.
 - `Scalar.field("units")` is an unresolved source-field leaf.
   `Scalar.add(Scalar.field("units"), Scalar.u64(1n))` authors synchronously
   without native loading. Native schema binding typechecks it, including
@@ -196,6 +233,12 @@ and query representations.
   Effect error channel; interruption and finalizer problems stay in
   `Cause`. Resource owners are scoped and report honest `CloseReport`s;
   incomplete teardown surfaces as a structured `CloseFailure` defect.
+  `error.message` contains the operation and reason code for safe default
+  display. Inspect `error.reason` explicitly for engine details, or
+  `InvalidArgument.detail` for authoring text and available structured
+  diagnostics such as `MissingField`, `UnknownField`, and `InvalidValue`.
+  Those details can contain application names or values and should not be
+  copied into public logs indiscriminately.
 
 ## Cookbook
 

package/dist/capacity.d.ts

@@ -1,50 +1,10 @@
-/**
- * Capacity-law mints — the window, weight, and dependent-bound vocabulary
- * the one `capacity` statement constructor consumes
- * § the canonical-utterance law, restated
- * around the aggregate form). `within` is the ONE window spelling —
- * `within(n)` exact (`within(0n)` IS the exclusion's one spelling),
- * `within(lo, hi)` range (`within(0n, hi)` the canonical ceiling),
- * `within(lo, "*")` floor — `weigh` names the measure on the SOURCE row
- * (`weigh("watts")` a u64 field, `weigh(duration("booked"))` an interval's
- * measure), and `ref`/`duration` read a dependent bound from the
- * TARGET row (hi slot only — ruled 2026-07-24, C6). The ban table is
- * enforced REPRESENTATIONALLY in two tiers, split per-aggregate where
- * weight-sensitive (design § 6: a ban is canonical-utterance policing when
- * it is weight-independent, semantic deduplication when it is not):
- *
- * - **The type tier**: a banned spelling written as a LITERAL does not
- * compile — every negative bound, `within(n, n)`, `within(0n, 0n)`, and
- * `within(0n, "*")` are type errors naming the canonical form. The
- * weight-SENSITIVE row rides the `capacity` overloads themselves:
- * `within(1n, "*")` is banned on the unit overload only (`{1..*}` on the
- * count instance is the bare containment respelled —
- * `window_floor_containment`), and LEGAL on the weighted one ("positive
- * total" is not an existence claim over rows).
- * - **The construction tier**: a bound the type level cannot judge — a
- * COMPUTED `bigint`, or an inverted `within(lo, hi)` order — is judged at
- * construction with the same canonical-naming errors; and past both
- * tiers the engine's own spec validation remains the law for a hostile
- * FFI caller (the standing two-tier ban enforcement).
- *
- * The weight vocabulary is closed at the row (ruled 2026-07-24, ruling 6):
- * a path weight (`weigh("model.watts")`) is a typed refusal at BOTH tiers
- * whose diagnostic names the pinned-column idiom — the two-column
- * containment IS the join, stated as a law. Bounds are `bigint` (u64
- * crosses as bigint always, PRD-04's law); the witnessed measure comes
- * back as `bigint` too (u128-wide engine accumulator, C3).
- */
+/** Structural capacity measures and windows. Constructors and generated
+ * descriptions share the same checked representation. Bounds are u64;
+ * dependent bounds read the target row, measures read the source row. */
 import type { AnyFace, FaceFields, FaceSource, ProjectedShape } from "./face.js";
 import type { CapacityWindowSpec, WeightSpec } from "./spec.js";
-declare const admitted: unique symbol;
-interface CapacityWindow<S extends CapacityWindowSpec = CapacityWindowSpec> {
-    readonly window: S;
-    readonly [admitted]: true;
-}
-interface CapacityWeight<S extends WeightSpec = WeightSpec> {
-    readonly weight: S;
-    readonly [admitted]: true;
-}
+type CapacityWindow<S extends CapacityWindowSpec = CapacityWindowSpec> = S;
+type CapacityWeight<S extends WeightSpec = WeightSpec> = S;
 interface FieldRef<F extends string = string> {
     readonly kind: "field";
     readonly field: F;
@@ -53,8 +13,6 @@ interface DurationRef<F extends string = string> {
     readonly kind: "durationField";
     readonly field: F;
 }
-declare function isCapacityWindow(value: unknown): value is CapacityWindow;
-declare function isCapacityWeight(value: unknown): value is CapacityWeight;
 interface BannedWindow<Canonical extends string> {
     readonly "banned window spelling — the canonical-utterance law names the one legal form": Canonical;
 }
@@ -92,7 +50,7 @@ type RangeBan<Lo extends bigint, Hi extends bigint> = bigint extends Lo ? unknow
  * only: Duration weights pair with Duration-capable bounds, so the
  * weighted overload takes the same window freely.
  */
-type UnitDimensionBan<W extends CapacityWindow> = W["window"] extends {
+type UnitDimensionBan<W extends CapacityWindow> = W extends {
     readonly hi: {
         readonly kind: "durationField";
     };
@@ -110,10 +68,10 @@ interface BoundKindMismatch<K, Want> {
         Want
     ];
 }
-type BoundOnTarget<K extends string, Want extends "u64" | "interval", B extends AnyFace> = string extends K ? unknown : K extends FaceFields<B["source"]> ? KindAt<B["source"], K> extends Want ? unknown : BoundKindMismatch<K, Want> : BoundOffTargetRoster<K, FaceFields<B["source"]>>;
-type BoundsOnTarget<W extends CapacityWindow, B extends AnyFace> = W["window"] extends {
+type BoundOnTarget<K extends string, Want extends "u64" | "interval", B extends AnyFace> = string extends K ? unknown : K extends FaceFields<B["owner"]> ? KindAt<B["owner"], K> extends Want ? unknown : BoundKindMismatch<K, Want> : BoundOffTargetRoster<K, FaceFields<B["owner"]>>;
+type BoundsOnTarget<W extends CapacityWindow, B extends AnyFace> = W extends {
     readonly hi: FieldRef<infer K>;
-} ? BoundOnTarget<K, "u64", B> : W["window"] extends {
+} ? BoundOnTarget<K, "u64", B> : W extends {
     readonly hi: DurationRef<infer K>;
 } ? BoundOnTarget<K, "interval", B> : unknown;
 interface WeightOffSourceRoster<K, Roster> {
@@ -135,13 +93,13 @@ interface WeightKindMismatch<K, Want> {
  * position. Checked at the `capacity` call where the source face is
  * inferred — the proven constrain-after-inference pattern.
  */
-type WeightOnSource<M extends CapacityWeight, A extends AnyFace> = M["weight"] extends {
+type WeightOnSource<M extends CapacityWeight, A extends AnyFace> = M extends {
     readonly kind: "field";
     readonly field: infer K extends string;
-} ? string extends K ? unknown : K extends FaceFields<A["source"]> ? KindAt<A["source"], K> extends "u64" ? unknown : WeightKindMismatch<K, "u64"> : WeightOffSourceRoster<K, FaceFields<A["source"]>> : M["weight"] extends {
+} ? string extends K ? unknown : K extends FaceFields<A["owner"]> ? KindAt<A["owner"], K> extends "u64" ? unknown : WeightKindMismatch<K, "u64"> : WeightOffSourceRoster<K, FaceFields<A["owner"]>> : M extends {
     readonly kind: "durationField";
     readonly field: infer K extends string;
-} ? string extends K ? unknown : K extends FaceFields<A["source"]> ? KindAt<A["source"], K> extends "interval" ? unknown : WeightKindMismatch<K, "interval"> : WeightOffSourceRoster<K, FaceFields<A["source"]>> : unknown;
+} ? string extends K ? unknown : K extends FaceFields<A["owner"]> ? KindAt<A["owner"], K> extends "interval" ? unknown : WeightKindMismatch<K, "interval"> : WeightOffSourceRoster<K, FaceFields<A["owner"]>> : unknown;
 declare const unitWeight: WeightSpec;
 declare function within<const N extends bigint>(n: N & NegativeBan<N>): CapacityWindow<{
     readonly kind: "exact";
@@ -211,5 +169,7 @@ declare function ref<const F extends string>(field: F & PathBan<F>): FieldRef<F>
  */
 declare function duration<const F extends string>(field: F & PathBan<F>): DurationRef<F>;
 export type { BoundsOnTarget, CapacityWeight, CapacityWindow, DurationRef, FieldRef, UnitDimensionBan, WeightOnSource };
-export { duration, isCapacityWeight, isCapacityWindow, ref, unitWeight, weigh, within };
+declare function capacityWindow(input: unknown): CapacityWindow;
+declare function capacityWeight(input: unknown): CapacityWeight;
+export { capacityWeight, capacityWindow, duration, ref, unitWeight, weigh, within };
 //# sourceMappingURL=capacity.d.ts.map

package/dist/capacity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"capacity.d.ts","sourceRoot":"","sources":["../src/capacity.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC/E,OAAO,KAAK,EAAqB,kBAAkB,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAEjF,QAAA,MAAM,QAAQ,EAAE,OAAO,MAA6C,CAAA;AAEpE,UAAU,cAAc,CAAC,CAAC,SAAS,kBAAkB,GAAG,kBAAkB;IACzE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAA;CACzB;AAED,UAAU,cAAc,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU;IACzD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAA;CACzB;AAED,UAAU,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IAC3C,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CACjB;AAED,UAAU,WAAW,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IAC9C,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CACjB;AAED,iBAAS,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,cAAc,CAEjE;AAED,iBAAS,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,cAAc,CAEjE;AAED,UAAU,YAAY,CAAC,SAAS,SAAS,MAAM;IAC9C,QAAQ,CAAC,+EAA+E,EAAE,SAAS,CAAA;CACnG;AAED;;;;GAIG;AACH,UAAU,WAAW,CAAC,KAAK,SAAS,MAAM;IACzC,QAAQ,CAAC,6DAA6D,EAAE,KAAK,CAAA;CAC7E;AAED,KAAK,UAAU,CAAC,CAAC,SAAS,MAAM,IAAI,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,IAAI,GAAG,KAAK,CAAA;AAE9E;;;;;GAKG;AACH,KAAK,OAAO,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAC9C,OAAO,GACP,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC9B,WAAW,CAAC,+HAA+H,CAAC,GAC5I,OAAO,CAAA;AAEX,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAClD,OAAO,GACP,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACzB,YAAY,CAAC,6DAA6D,CAAC,GAC3E,OAAO,CAAA;AAEX;;;;;;GAMG;AACH,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,WAAW,CAAC,CAAC,CAAC,CAAA;AAEhD,KAAK,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,IAAI,MAAM,SAAS,EAAE,GACpE,OAAO,GACP,MAAM,SAAS,EAAE,GAChB,OAAO,GACP,UAAU,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,YAAY,CAAC,6DAA6D,CAAC,GAC3E,UAAU,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,YAAY,CAAC,6DAA6D,CAAC,GAC3E,OAAO,CAAA;AAEb;;;;;;;GAOG;AACH,KAAK,gBAAgB,CAAC,CAAC,SAAS,cAAc,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS;IACrE,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;KAAE,CAAA;CAC/C,GACE,YAAY,CAAC,sJAAsJ,CAAC,GACpK,OAAO,CAAA;AAEV,KAAK,MAAM,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,IACjD,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,CAAA;AAEpF,UAAU,oBAAoB,CAAC,CAAC,EAAE,MAAM;IACvC,QAAQ,CAAC,kHAAkH,EAAE,SAAS;QACrI,CAAC;QACD,MAAM;KACN,CAAA;CACD;AAED,UAAU,iBAAiB,CAAC,CAAC,EAAE,IAAI;IAClC,QAAQ,CAAC,0GAA0G,EAAE,SAAS;QAC7H,CAAC;QACD,IAAI;KACJ,CAAA;CACD;AAED,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,SAAS,KAAK,GAAG,UAAU,EAAE,CAAC,SAAS,OAAO,IAAI,MAAM,SAAS,CAAC,GACxG,OAAO,GACP,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAChC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAClC,OAAO,GACP,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,GAC3B,oBAAoB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;AAEpD,KAAK,cAAc,CAAC,CAAC,SAAS,cAAc,EAAE,CAAC,SAAS,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS;IACtF,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;CAC9B,GACE,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAC1B,CAAC,CAAC,QAAQ,CAAC,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;CAAE,GACxD,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,GAC/B,OAAO,CAAA;AAEX,UAAU,qBAAqB,CAAC,CAAC,EAAE,MAAM;IACxC,QAAQ,CAAC,+FAA+F,EAAE,SAAS;QAClH,CAAC;QACD,MAAM;KACN,CAAA;CACD;AAED,UAAU,kBAAkB,CAAC,CAAC,EAAE,IAAI;IACnC,QAAQ,CAAC,oHAAoH,EAAE,SAAS;QACvI,CAAC;QACD,IAAI;KACJ,CAAA;CACD;AAED;;;;;;GAMG;AACH,KAAK,cAAc,CAAC,CAAC,SAAS,cAAc,EAAE,CAAC,SAAS,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS;IACtF,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CACtC,GACE,MAAM,SAAS,CAAC,GACf,OAAO,GACP,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAChC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,KAAK,GACnC,OAAO,GACP,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAC,GAC7B,qBAAqB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GACnD,CAAC,CAAC,QAAQ,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GAC7F,MAAM,SAAS,CAAC,GACf,OAAO,GACP,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAChC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,UAAU,GACxC,OAAO,GACP,kBAAkB,CAAC,CAAC,EAAE,UAAU,CAAC,GAClC,qBAAqB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GACnD,OAAO,CAAA;AAEX,QAAA,MAAM,UAAU,EAAE,UAA4C,CAAA;AAoB9D,iBAAS,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACrC,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GACnB,cAAc,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAA;CAAE,CAAC,CAAA;AAEtG,iBAAS,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EACtC,EAAE,EAAE,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,EACrB,EAAE,EAAE,GAAG,GACL,cAAc,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;KAAE,CAAA;CAAE,CAAC,CAAA;AACxG;;;;;GAKG;AACH,iBAAS,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,EAC9E,EAAE,EAAE,EAAE,GAAG,WAAW,CAAC,EAAE,CAAC,EACxB,EAAE,EAAE,CAAC,GACH,cAAc,CAAC;IACjB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;KAAE,CAAA;IACzD,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;CACd,CAAC,CAAA;AAEF,iBAAS,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,KAAK,CAAC,EAAE,SAAS,MAAM,EAC/D,EAAE,EAAE,EAAE,EACN,EAAE,EAAE,EAAE,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,GACvB,cAAc,CACd;IACA,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;KAAE,CAAA;IACzD,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;KAAE,CAAA;CACxD,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;KAAE,CAAA;CAAE,CACtF,CAAA;AA2CD;;;;;GAKG;AACH,iBAAS,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACpC,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GACnB,cAAc,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAChE,iBAAS,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACpC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,GACrB,cAAc,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAQxE,iBAAS,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAEvE;AAED;;;;;GAKG;AACH,iBAAS,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAE/E;AAED,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAA;AACvH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA"}
+{"version":3,"file":"capacity.d.ts","sourceRoot":"","sources":["../src/capacity.ts"],"names":[],"mappings":"AACA;;yEAEyE;AAEzE,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC/E,OAAO,KAAK,EAAqB,kBAAkB,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAGjF,KAAK,cAAc,CAAC,CAAC,SAAS,kBAAkB,GAAG,kBAAkB,IAAI,CAAC,CAAA;AAE1E,KAAK,cAAc,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI,CAAC,CAAA;AAE1D,UAAU,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IAC3C,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CACjB;AAED,UAAU,WAAW,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IAC9C,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CACjB;AAED,UAAU,YAAY,CAAC,SAAS,SAAS,MAAM;IAC9C,QAAQ,CAAC,+EAA+E,EAAE,SAAS,CAAA;CACnG;AAED;;;;GAIG;AACH,UAAU,WAAW,CAAC,KAAK,SAAS,MAAM;IACzC,QAAQ,CAAC,6DAA6D,EAAE,KAAK,CAAA;CAC7E;AAED,KAAK,UAAU,CAAC,CAAC,SAAS,MAAM,IAAI,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,IAAI,GAAG,KAAK,CAAA;AAE9E;;;;;GAKG;AACH,KAAK,OAAO,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAC9C,OAAO,GACP,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC9B,WAAW,CAAC,+HAA+H,CAAC,GAC5I,OAAO,CAAA;AAEX,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAClD,OAAO,GACP,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACzB,YAAY,CAAC,6DAA6D,CAAC,GAC3E,OAAO,CAAA;AAEX;;;;;;GAMG;AACH,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,WAAW,CAAC,CAAC,CAAC,CAAA;AAEhD,KAAK,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,IAAI,MAAM,SAAS,EAAE,GACpE,OAAO,GACP,MAAM,SAAS,EAAE,GAChB,OAAO,GACP,UAAU,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,YAAY,CAAC,6DAA6D,CAAC,GAC3E,UAAU,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,YAAY,CAAC,6DAA6D,CAAC,GAC3E,OAAO,CAAA;AAEb;;;;;;;GAOG;AACH,KAAK,gBAAgB,CAAC,CAAC,SAAS,cAAc,IAAI,CAAC,SAAS;IAC3D,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;KAAE,CAAA;CAC/C,GACE,YAAY,CAAC,sJAAsJ,CAAC,GACpK,OAAO,CAAA;AAEV,KAAK,MAAM,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,IACjD,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,CAAA;AAEpF,UAAU,oBAAoB,CAAC,CAAC,EAAE,MAAM;IACvC,QAAQ,CAAC,kHAAkH,EAAE,SAAS;QACrI,CAAC;QACD,MAAM;KACN,CAAA;CACD;AAED,UAAU,iBAAiB,CAAC,CAAC,EAAE,IAAI;IAClC,QAAQ,CAAC,0GAA0G,EAAE,SAAS;QAC7H,CAAC;QACD,IAAI;KACJ,CAAA;CACD;AAED,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,SAAS,KAAK,GAAG,UAAU,EAAE,CAAC,SAAS,OAAO,IAAI,MAAM,SAAS,CAAC,GACxG,OAAO,GACP,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAC/B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACjC,OAAO,GACP,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,GAC3B,oBAAoB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AAEnD,KAAK,cAAc,CAAC,CAAC,SAAS,cAAc,EAAE,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS;IAC5E,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;CAC9B,GACE,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAC1B,CAAC,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;CAAE,GAC9C,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,GAC/B,OAAO,CAAA;AAEX,UAAU,qBAAqB,CAAC,CAAC,EAAE,MAAM;IACxC,QAAQ,CAAC,+FAA+F,EAAE,SAAS;QAClH,CAAC;QACD,MAAM;KACN,CAAA;CACD;AAED,UAAU,kBAAkB,CAAC,CAAC,EAAE,IAAI;IACnC,QAAQ,CAAC,oHAAoH,EAAE,SAAS;QACvI,CAAC;QACD,IAAI;KACJ,CAAA;CACD;AAED;;;;;;GAMG;AACH,KAAK,cAAc,CAAC,CAAC,SAAS,cAAc,EAAE,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS;IAC5E,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CACtC,GACE,MAAM,SAAS,CAAC,GACf,OAAO,GACP,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAC/B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,SAAS,KAAK,GAClC,OAAO,GACP,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAC,GAC7B,qBAAqB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAClD,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GACnF,MAAM,SAAS,CAAC,GACf,OAAO,GACP,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAC/B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,SAAS,UAAU,GACvC,OAAO,GACP,kBAAkB,CAAC,CAAC,EAAE,UAAU,CAAC,GAClC,qBAAqB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAClD,OAAO,CAAA;AAEX,QAAA,MAAM,UAAU,EAAE,UAA4C,CAAA;AAsB9D,iBAAS,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACrC,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GACnB,cAAc,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAA;CAAE,CAAC,CAAA;AAEtG,iBAAS,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EACtC,EAAE,EAAE,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,EACrB,EAAE,EAAE,GAAG,GACL,cAAc,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;KAAE,CAAA;CAAE,CAAC,CAAA;AACxG;;;;;GAKG;AACH,iBAAS,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,EAC9E,EAAE,EAAE,EAAE,GAAG,WAAW,CAAC,EAAE,CAAC,EACxB,EAAE,EAAE,CAAC,GACH,cAAc,CAAC;IACjB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;KAAE,CAAA;IACzD,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;CACd,CAAC,CAAA;AAEF,iBAAS,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,KAAK,CAAC,EAAE,SAAS,MAAM,EAC/D,EAAE,EAAE,EAAE,EACN,EAAE,EAAE,EAAE,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,GACvB,cAAc,CACd;IACA,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;KAAE,CAAA;IACzD,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;KAAE,CAAA;CACxD,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;KAAE,CAAA;CAAE,CACtF,CAAA;AA6CD;;;;;GAKG;AACH,iBAAS,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACpC,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GACnB,cAAc,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAChE,iBAAS,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACpC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,GACrB,cAAc,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAQxE,iBAAS,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAEvE;AAED;;;;;GAKG;AACH,iBAAS,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAE/E;AAED,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAA;AAwBvH,iBAAS,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,CAkBtD;AAED,iBAAS,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,CAStD;AAED,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA"}

package/dist/capacity.js

@@ -1,13 +1,9 @@
 import { AuthoringError } from "#errors.ts";
-const admitted = Symbol("bumbledb.capacity.admitted");
-function isCapacityWindow(value) {
-    return typeof value === "object" && value !== null && admitted in value && "window" in value;
-}
-function isCapacityWeight(value) {
-    return typeof value === "object" && value !== null && admitted in value && "weight" in value;
-}
+import { integerValue, recordValue } from "#values.ts";
 const unitWeight = Object.freeze({ kind: "unit" });
 function assertRowLocal(field, role) {
+    if (typeof field !== "string" || !field.isWellFormed())
+        throw new AuthoringError({ message: `${role}: expected a well-formed field name` });
     if (field.includes(".")) {
         throw new AuthoringError({
             message: `${role} \`${field}\` walks a reference — the vocabulary is closed at the row (ruling 6): pin the column with a two-column containment (Source(ref, f) <= Catalog(id, f)) and name the local field`
@@ -16,13 +12,16 @@ function assertRowLocal(field, role) {
     return field;
 }
 function admitWindow(window) {
-    const value = { window, [admitted]: true };
-    return Object.freeze(value);
+    capacityWindow(window);
+    return Object.freeze(window);
 }
 function lit(value) {
     return Object.freeze({ kind: "lit", value });
 }
 function within(lo, hi) {
+    integerValue("capacity lower bound", "u64", lo);
+    if (typeof hi === "bigint")
+        integerValue("capacity upper bound", "u64", hi);
     if (lo < 0n) {
         throw new AuthoringError({
             message: `capacity bounds are u64: within(${lo}${hi === undefined ? "" : ", …"}) is out of domain`
@@ -59,8 +58,8 @@ function within(lo, hi) {
     return admitWindow({ kind: "range", lo: lit(lo), hi: Object.freeze({ kind: "field", field }) });
 }
 function admitWeight(weight) {
-    const value = { weight, [admitted]: true };
-    return Object.freeze(value);
+    capacityWeight(weight);
+    return Object.freeze(weight);
 }
 function weigh(measure) {
     if (typeof measure === "string") {
@@ -80,5 +79,57 @@ function ref(field) {
 function duration(field) {
     return Object.freeze({ kind: "durationField", field: assertRowLocal(field, "Duration measure") });
 }
-export { duration, isCapacityWeight, isCapacityWindow, ref, unitWeight, weigh, within };
+/** Read a checked bound without retaining a caller-owned record. */
+function capacityBound(input) {
+    const kind = typeof input === "object" && input !== null && "kind" in input ? input.kind : undefined;
+    if (kind === "lit") {
+        const bound = recordValue("capacity bound", input, ["kind", "value"]);
+        return Object.freeze({ kind, value: integerValue("capacity bound", "u64", bound.value) });
+    }
+    if (kind === "field" || kind === "durationField") {
+        const bound = recordValue("capacity bound", input, ["kind", "field"]);
+        if (typeof bound.field !== "string")
+            throw new AuthoringError({ message: "capacity bound: expected a field name" });
+        return Object.freeze({ kind, field: assertRowLocal(bound.field, "dependent bound") });
+    }
+    throw new AuthoringError({ message: "capacity bound: unknown kind" });
+}
+function literalBound(input) {
+    const bound = capacityBound(input);
+    if (bound.kind !== "lit")
+        throw new AuthoringError({ message: "dependent bounds are allowed only at a range's upper bound" });
+    return bound;
+}
+function capacityWindow(input) {
+    const kind = typeof input === "object" && input !== null && "kind" in input ? input.kind : undefined;
+    if (kind === "exact") {
+        const window = recordValue("capacity window", input, ["kind", "n"]);
+        return Object.freeze({ kind, n: literalBound(window.n) });
+    }
+    if (kind === "floor") {
+        const window = recordValue("capacity window", input, ["kind", "lo"]);
+        return Object.freeze({ kind, lo: literalBound(window.lo) });
+    }
+    if (kind === "range") {
+        const window = recordValue("capacity window", input, ["kind", "lo", "hi"]);
+        const lo = literalBound(window.lo);
+        const hi = capacityBound(window.hi);
+        if (hi.kind === "lit" && hi.value < lo.value)
+            throw new AuthoringError({ message: "capacity window is inverted" });
+        return Object.freeze({ kind, lo, hi });
+    }
+    throw new AuthoringError({ message: "capacity window: unknown kind" });
+}
+function capacityWeight(input) {
+    const kind = typeof input === "object" && input !== null && "kind" in input ? input.kind : undefined;
+    if (kind === "unit") {
+        recordValue("capacity weight", input, ["kind"]);
+        return unitWeight;
+    }
+    const weight = capacityBound(input);
+    if (weight.kind === "lit")
+        throw new AuthoringError({ message: "capacity weight: expected unit or a source field" });
+    return weight;
+}
+export { capacityWeight, capacityWindow, duration, ref, unitWeight, weigh, within };
 //# sourceMappingURL=capacity.js.map

package/dist/capacity.js.map

@@ -1 +1 @@
-{"version":3,"file":"capacity.js","sourceRoot":"","sources":["../src/capacity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAyC3C,MAAM,QAAQ,GAAkB,MAAM,CAAC,4BAA4B,CAAC,CAAA;AAsBpE,SAAS,gBAAgB,CAAC,KAAc;IACvC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,QAAQ,IAAI,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAA;AAC7F,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACvC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,QAAQ,IAAI,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAA;AAC7F,CAAC;AA+ID,MAAM,UAAU,GAAe,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;AAE9D,SAAS,cAAc,CAAC,KAAa,EAAE,IAAY;IAClD,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,IAAI,MAAM,KAAK,iLAAiL;SAC5M,CAAC,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACb,CAAC;AAED,SAAS,WAAW,CAA+B,MAAS;IAC3D,MAAM,KAAK,GAAsB,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAA;IAC7D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AAED,SAAS,GAAG,CAAC,KAAa;IACzB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;AAC7C,CAAC;AAoCD,SAAS,MAAM,CAAC,EAAU,EAAE,EAA0C;IACrE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;QACb,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,mCAAmC,EAAE,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,oBAAoB;SAClG,CAAC,CAAA;IACH,CAAC;IACD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IAClD,CAAC;IACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;QAChB,qEAAqE;QACrE,gEAAgE;QAChE,oCAAoC;QACpC,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IACnD,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;YACb,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,mCAAmC,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC,CAAA;QACxG,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;YACb,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,kFAAkF;aACrH,CAAC,CAAA;QACH,CAAC;QACD,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACf,8DAA8D;YAC9D,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAClD,CAAC;QACD,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IAChE,CAAC;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAA;IACzD,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACjC,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IACxG,CAAC;IACD,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;AAChG,CAAC;AAED,SAAS,WAAW,CAAuB,MAAS;IACnD,MAAM,KAAK,GAAsB,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAA;IAC7D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AAcD,SAAS,KAAK,CAAC,OAA6B;IAC3C,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAA;IAChF,CAAC;IACD,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAA;AAC9F,CAAC;AAED,SAAS,GAAG,CAAyB,KAAqB;IACzD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,iBAAiB,CAAC,EAAE,CAAgB,CAAA;AACxG,CAAC;AAED;;;;;GAKG;AACH,SAAS,QAAQ,CAAyB,KAAqB;IAC9D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,kBAAkB,CAAC,EAAE,CAAmB,CAAA;AACpH,CAAC;AAGD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA"}
+{"version":3,"file":"capacity.js","sourceRoot":"","sources":["../src/capacity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAO3C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AA6JtD,MAAM,UAAU,GAAe,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;AAE9D,SAAS,cAAc,CAAmB,KAAQ,EAAE,IAAY;IAC/D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE;QACrD,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,IAAI,qCAAqC,EAAE,CAAC,CAAA;IACpF,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,IAAI,MAAM,KAAK,iLAAiL;SAC5M,CAAC,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACb,CAAC;AAED,SAAS,WAAW,CAA+B,MAAS;IAC3D,cAAc,CAAC,MAAM,CAAC,CAAA;IACtB,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;AAC7B,CAAC;AAED,SAAS,GAAG,CAAC,KAAa;IACzB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;AAC7C,CAAC;AAoCD,SAAS,MAAM,CAAC,EAAU,EAAE,EAA0C;IACrE,YAAY,CAAC,sBAAsB,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;IAC/C,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,YAAY,CAAC,sBAAsB,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;IAC3E,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;QACb,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,mCAAmC,EAAE,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,oBAAoB;SAClG,CAAC,CAAA;IACH,CAAC;IACD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IAClD,CAAC;IACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;QAChB,qEAAqE;QACrE,gEAAgE;QAChE,oCAAoC;QACpC,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IACnD,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;YACb,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,mCAAmC,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC,CAAA;QACxG,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;YACb,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,kFAAkF;aACrH,CAAC,CAAA;QACH,CAAC;QACD,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACf,8DAA8D;YAC9D,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAClD,CAAC;QACD,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IAChE,CAAC;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAA;IACzD,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACjC,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IACxG,CAAC;IACD,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;AAChG,CAAC;AAED,SAAS,WAAW,CAAuB,MAAS;IACnD,cAAc,CAAC,MAAM,CAAC,CAAA;IACtB,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;AAC7B,CAAC;AAcD,SAAS,KAAK,CAAC,OAA6B;IAC3C,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAA;IAChF,CAAC;IACD,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAA;AAC9F,CAAC;AAED,SAAS,GAAG,CAAyB,KAAqB;IACzD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,iBAAiB,CAAC,EAAE,CAAC,CAAA;AACzF,CAAC;AAED;;;;;GAKG;AACH,SAAS,QAAQ,CAAyB,KAAqB;IAC9D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAA;AAClG,CAAC;AAID,oEAAoE;AACpE,SAAS,aAAa,CAAC,KAAc;IACpC,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;IACpG,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,WAAW,CAAC,gBAAgB,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;QACrE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,gBAAgB,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC1F,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,WAAW,CAAC,gBAAgB,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;QACrE,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAC,CAAA;QACnH,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,iBAAiB,CAAC,EAAE,CAAC,CAAA;IACtF,CAAC;IACD,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC,CAAA;AACtE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IACnC,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;IAClC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QACvB,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,4DAA4D,EAAE,CAAC,CAAA;IACpG,OAAO,KAAK,CAAA;AACb,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACrC,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;IACpG,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,WAAW,CAAC,iBAAiB,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;QACnE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAC1D,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,WAAW,CAAC,iBAAiB,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAA;QACpE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IAC5D,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,WAAW,CAAC,iBAAiB,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;QAC1E,MAAM,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAClC,MAAM,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QACnC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK;YAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAA;QAClH,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;IACvC,CAAC;IACD,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,+BAA+B,EAAE,CAAC,CAAA;AACvE,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACrC,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;IACpG,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACrB,WAAW,CAAC,iBAAiB,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;QAC/C,OAAO,UAAU,CAAA;IAClB,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;IACnC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,kDAAkD,EAAE,CAAC,CAAA;IACpH,OAAO,MAAM,CAAA;AACd,CAAC;AAED,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA"}