@lovrozagar/oat 0.10.0 → 0.12.0

package/dist/runtime/check-costs.js

@@ -0,0 +1,114 @@
+import { CHECKS } from "./checks.js";
+export const TYPICAL_REQUESTS = {
+    "async.reaches-terminal-state": 5,
+    "async.receipt-identifies-the-job": 1,
+    "auth.invite-grants-then-revokes": 7,
+    "auth.rank-is-monotonic": 3,
+    "concurrency.no-lost-update": 5,
+    "consistency.projections-agree": 6,
+    "count.consistent-with-returned-page": 1,
+    "count.matches-filtered-set": 1,
+    "create.persists-submitted-fields": 1,
+    "create.status-matches-document": 1,
+    "create.unique-conflict-rejected": 3,
+    "delete.absent-record-returns-404": 1,
+    "effects.declared-effect-occurs": 3,
+    "effects.side-effect-arrives": 3,
+    "error.malformed-filter-not-5xx": 1,
+    "filter.alias-matches-canonical": 1,
+    "filter.and-composes-as-intersection": 4,
+    "filter.condition-cap-rejected": 1,
+    "filter.contains-membership": 1,
+    "filter.empty-in": 2,
+    "filter.equality-selects-exactly-one": 1,
+    "filter.gte-is-gt-or-eq": 4,
+    "filter.ilike-is-case-insensitive": 2,
+    "filter.illegal-op-rejected": 2,
+    "filter.in-is-union-of-eq": 3,
+    "filter.in-over-limit-rejected": 1,
+    "filter.is-null-selects-nulls": 2,
+    "filter.like-metacharacters-escaped": 2,
+    "filter.lte-is-lt-or-eq": 3,
+    "filter.negation-partitions-the-set": 3,
+    "filter.nested-and-or-distributes": 4,
+    "filter.nin-complements-in": 2,
+    "filter.numeric-comparison-is-numeric": 1,
+    "filter.or-composes-as-union": 2,
+    "filter.ordered-triple-partitions": 6,
+    "filter.unknown-field-rejected": 2,
+    "filter.zero-match-returns-none": 1,
+    "idempotency.replay-does-not-duplicate": 7,
+    "invalidation.declared-route-changes": 5,
+    "list.read-after-write": 2,
+    "pagination.cursor-agrees-with-page": 10,
+    "pagination.has-more-is-accurate": 2,
+    "pagination.limit-bounds-page-size": 1,
+    "pagination.limit-respects-documented-max": 1,
+    "pagination.page-walk-covers-set": 13,
+    "patch.immutable-field-rejected": 2,
+    "patch.minimality": 6,
+    "payload.string-survives": 128,
+    "query.axes-compose": 5,
+    "query.filter-and-select-compose": 4,
+    "query.filter-search-select-compose": 1,
+    "query.filter-search-sort-compose": 1,
+    "query.filter-search-sort-select-compose": 1,
+    "query.filter-selects-from-whole-set": 21,
+    "query.filter-sort-select-compose": 4,
+    "query.search-and-filter-compose": 2,
+    "query.search-and-select-compose": 4,
+    "query.search-and-sort-compose": 2,
+    "query.sort-and-select-compose": 1,
+    "response.status-is-documented": 1,
+    "schema.error-response-matches-document": 1,
+    "schema.success-response-matches-document": 1,
+    "search.case-insensitive": 1,
+    "search.empty-q": 4,
+    "search.mode-accepted": 2,
+    "search.q-narrows-result": 2,
+    "search.tokens-and": 3,
+    "select.nested-honoured": 1,
+    "select.projection-honoured": 1,
+    "select.requested-fields-present": 1,
+    "select.unknown-field-rejected": 1,
+    "softdelete.absent-from-default-list": 3,
+    "sort.default-order-applied": 3,
+    "sort.multi-key-tiebreak": 2,
+    "sort.nulls-first-last": 2,
+    "sort.numeric-order-is-numeric": 1,
+    "sort.order-is-applied": 1,
+    "sort.reverse-symmetry": 4,
+    "sort.stable-tiebreak": 4,
+    "sort.unknown-field-rejected": 1,
+    "spec.declared-filterable-is-filterable": 9,
+    "spec.declared-filterable-ops-accepted": 41,
+    "spec.declared-rate-limit-is-honoured": 1,
+    "spec.declared-selectable-is-selectable": 10,
+    "spec.declared-sortable-is-sortable": 8,
+    "spec.declared-sortable-nulls-accepted": 20,
+    "tenant.denial-does-not-reveal-existence": 2,
+    "tenant.filter-does-not-bypass-scope": 1,
+    "tenant.item-not-readable-cross-tenant": 1,
+    "update.unique-conflict-rejected": 5,
+    "validation.content-type-enforced": 1,
+    "validation.enum-enforced": 1,
+    "validation.max-length-enforced": 1,
+    "validation.required-enforced": 1,
+};
+const DEFAULT_CHECK_COST = 2;
+/**
+ * Estimated requests for testing one entity: seeding the cohort, then every check that would
+ * grade one of its operations. Static, like the plan it belongs to — the real count depends on
+ * what the backend answers.
+ */
+export function estimateRequests(entity, model, cohortSize = 7) {
+    const seeding = entity.create === undefined ? 1 : cohortSize + 1;
+    let checks = 0;
+    for (const check of CHECKS) {
+        if (check.subjects(entity, model).length === 0)
+            continue;
+        checks += TYPICAL_REQUESTS[check.id] ?? DEFAULT_CHECK_COST;
+    }
+    return seeding + checks;
+}
+//# sourceMappingURL=check-costs.js.map

package/dist/runtime/check-costs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-costs.js","sourceRoot":"","sources":["../../src/runtime/check-costs.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,MAAM,CAAC,MAAM,gBAAgB,GAAqC;IACjE,8BAA8B,EAAE,CAAC;IACjC,kCAAkC,EAAE,CAAC;IACrC,iCAAiC,EAAE,CAAC;IACpC,wBAAwB,EAAE,CAAC;IAC3B,4BAA4B,EAAE,CAAC;IAC/B,+BAA+B,EAAE,CAAC;IAClC,qCAAqC,EAAE,CAAC;IACxC,4BAA4B,EAAE,CAAC;IAC/B,kCAAkC,EAAE,CAAC;IACrC,gCAAgC,EAAE,CAAC;IACnC,iCAAiC,EAAE,CAAC;IACpC,kCAAkC,EAAE,CAAC;IACrC,gCAAgC,EAAE,CAAC;IACnC,6BAA6B,EAAE,CAAC;IAChC,gCAAgC,EAAE,CAAC;IACnC,gCAAgC,EAAE,CAAC;IACnC,qCAAqC,EAAE,CAAC;IACxC,+BAA+B,EAAE,CAAC;IAClC,4BAA4B,EAAE,CAAC;IAC/B,iBAAiB,EAAE,CAAC;IACpB,qCAAqC,EAAE,CAAC;IACxC,wBAAwB,EAAE,CAAC;IAC3B,kCAAkC,EAAE,CAAC;IACrC,4BAA4B,EAAE,CAAC;IAC/B,0BAA0B,EAAE,CAAC;IAC7B,+BAA+B,EAAE,CAAC;IAClC,8BAA8B,EAAE,CAAC;IACjC,oCAAoC,EAAE,CAAC;IACvC,wBAAwB,EAAE,CAAC;IAC3B,oCAAoC,EAAE,CAAC;IACvC,kCAAkC,EAAE,CAAC;IACrC,2BAA2B,EAAE,CAAC;IAC9B,sCAAsC,EAAE,CAAC;IACzC,6BAA6B,EAAE,CAAC;IAChC,kCAAkC,EAAE,CAAC;IACrC,+BAA+B,EAAE,CAAC;IAClC,gCAAgC,EAAE,CAAC;IACnC,uCAAuC,EAAE,CAAC;IAC1C,qCAAqC,EAAE,CAAC;IACxC,uBAAuB,EAAE,CAAC;IAC1B,oCAAoC,EAAE,EAAE;IACxC,iCAAiC,EAAE,CAAC;IACpC,mCAAmC,EAAE,CAAC;IACtC,0CAA0C,EAAE,CAAC;IAC7C,iCAAiC,EAAE,EAAE;IACrC,gCAAgC,EAAE,CAAC;IACnC,kBAAkB,EAAE,CAAC;IACrB,yBAAyB,EAAE,GAAG;IAC9B,oBAAoB,EAAE,CAAC;IACvB,iCAAiC,EAAE,CAAC;IACpC,oCAAoC,EAAE,CAAC;IACvC,kCAAkC,EAAE,CAAC;IACrC,yCAAyC,EAAE,CAAC;IAC5C,qCAAqC,EAAE,EAAE;IACzC,kCAAkC,EAAE,CAAC;IACrC,iCAAiC,EAAE,CAAC;IACpC,iCAAiC,EAAE,CAAC;IACpC,+BAA+B,EAAE,CAAC;IAClC,+BAA+B,EAAE,CAAC;IAClC,+BAA+B,EAAE,CAAC;IAClC,wCAAwC,EAAE,CAAC;IAC3C,0CAA0C,EAAE,CAAC;IAC7C,yBAAyB,EAAE,CAAC;IAC5B,gBAAgB,EAAE,CAAC;IACnB,sBAAsB,EAAE,CAAC;IACzB,yBAAyB,EAAE,CAAC;IAC5B,mBAAmB,EAAE,CAAC;IACtB,wBAAwB,EAAE,CAAC;IAC3B,4BAA4B,EAAE,CAAC;IAC/B,iCAAiC,EAAE,CAAC;IACpC,+BAA+B,EAAE,CAAC;IAClC,qCAAqC,EAAE,CAAC;IACxC,4BAA4B,EAAE,CAAC;IAC/B,yBAAyB,EAAE,CAAC;IAC5B,uBAAuB,EAAE,CAAC;IAC1B,+BAA+B,EAAE,CAAC;IAClC,uBAAuB,EAAE,CAAC;IAC1B,uBAAuB,EAAE,CAAC;IAC1B,sBAAsB,EAAE,CAAC;IACzB,6BAA6B,EAAE,CAAC;IAChC,wCAAwC,EAAE,CAAC;IAC3C,uCAAuC,EAAE,EAAE;IAC3C,sCAAsC,EAAE,CAAC;IACzC,wCAAwC,EAAE,EAAE;IAC5C,oCAAoC,EAAE,CAAC;IACvC,uCAAuC,EAAE,EAAE;IAC3C,yCAAyC,EAAE,CAAC;IAC5C,qCAAqC,EAAE,CAAC;IACxC,uCAAuC,EAAE,CAAC;IAC1C,iCAAiC,EAAE,CAAC;IACpC,kCAAkC,EAAE,CAAC;IACrC,0BAA0B,EAAE,CAAC;IAC7B,gCAAgC,EAAE,CAAC;IACnC,8BAA8B,EAAE,CAAC;CACjC,CAAA;AAED,MAAM,kBAAkB,GAAG,CAAC,CAAA;AAE5B;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAmB,EAAE,KAAgB,EAAE,UAAU,GAAG,CAAC;IACrF,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAA;IAChE,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QACxD,MAAM,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,kBAAkB,CAAA;IAC3D,CAAC;IACD,OAAO,OAAO,GAAG,MAAM,CAAA;AACxB,CAAC"}

package/dist/runtime/check-ids.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Every registered check id. `Check.id` and `dependsOn` are typed against this list, so a
+ * misspelled dependency fails to compile instead of silently never suppressing anything; the
+ * registry is checked against it again when it loads.
+ */
+export declare const CHECK_IDS: readonly ["async.reaches-terminal-state", "async.receipt-identifies-the-job", "auth.invite-grants-then-revokes", "auth.rank-is-monotonic", "auth.rank-is-monotonic-on-writes", "concurrency.no-lost-update", "consistency.projections-agree", "count.consistent-with-returned-page", "count.matches-filtered-set", "create.persists-submitted-fields", "create.status-matches-document", "create.unique-conflict-rejected", "delete.absent-record-returns-404", "effects.declared-effect-occurs", "effects.side-effect-arrives", "error.malformed-filter-not-5xx", "filter.alias-matches-canonical", "filter.and-composes-as-intersection", "filter.condition-cap-rejected", "filter.contains-membership", "filter.empty-in", "filter.equality-selects-exactly-one", "filter.gte-is-gt-or-eq", "filter.ilike-is-case-insensitive", "filter.illegal-op-rejected", "filter.in-is-union-of-eq", "filter.in-over-limit-rejected", "filter.is-null-selects-nulls", "filter.like-metacharacters-escaped", "filter.lte-is-lt-or-eq", "filter.negation-partitions-the-set", "filter.nested-and-or-distributes", "filter.nin-complements-in", "filter.numeric-comparison-is-numeric", "filter.or-composes-as-union", "filter.ordered-triple-partitions", "filter.unknown-field-rejected", "filter.zero-match-returns-none", "idempotency.replay-does-not-duplicate", "invalidation.declared-route-changes", "list.read-after-write", "pagination.bounds-handled", "pagination.cursor-agrees-with-page", "pagination.has-more-is-accurate", "pagination.limit-bounds-page-size", "pagination.limit-respects-documented-max", "pagination.page-walk-covers-set", "patch.immutable-field-rejected", "patch.minimality", "payload.string-survives", "query.axes-compose", "query.filter-and-select-compose", "query.filter-search-select-compose", "query.filter-search-sort-compose", "query.filter-search-sort-select-compose", "query.filter-selects-from-whole-set", "query.filter-sort-select-compose", "query.search-and-filter-compose", "query.search-and-select-compose", "query.search-and-sort-compose", "query.sort-and-select-compose", "query.unknown-parameter-consistent", "response.status-is-documented", "schema.error-response-matches-document", "schema.success-response-matches-document", "search.case-insensitive", "search.empty-q", "search.mode-accepted", "search.q-narrows-result", "search.tokens-and", "select.nested-honoured", "select.projection-honoured", "select.requested-fields-present", "select.unknown-field-rejected", "softdelete.absent-from-default-list", "sort.default-order-applied", "sort.multi-key-tiebreak", "sort.nulls-first-last", "sort.numeric-order-is-numeric", "sort.order-is-applied", "sort.reverse-symmetry", "sort.stable-tiebreak", "sort.unknown-field-rejected", "spec.declared-filterable-is-filterable", "spec.declared-filterable-ops-accepted", "spec.declared-rate-limit-is-honoured", "spec.declared-selectable-is-selectable", "spec.declared-sortable-is-sortable", "spec.declared-sortable-nulls-accepted", "tenant.denial-does-not-reveal-existence", "tenant.filter-does-not-bypass-scope", "tenant.item-not-readable-cross-tenant", "tenant.parent-not-reachable-from-another-root", "tenant.item-not-writable-cross-tenant", "update.unique-conflict-rejected", "validation.content-type-enforced", "validation.enum-enforced", "validation.max-length-enforced", "validation.required-enforced"];
+export type CheckId = (typeof CHECK_IDS)[number];
+/** The families checks are grouped, built and verified by. */
+export type CheckFamily = "pagination" | "filter" | "sort" | "search/select" | "composition" | "write" | "validation" | "isolation" | "effects/async" | "conformance" | "spec declarations" | "consistency";
+type Prefix<Id> = Id extends `${infer Head}.${string}` ? Head : never;
+/** Every check id prefix belongs to exactly one family; a new prefix fails to compile until it has one. */
+export declare const FAMILY_OF_PREFIX: Record<Prefix<CheckId>, CheckFamily>;
+export declare function familyOf(id: CheckId): CheckFamily;
+export {};
+//# sourceMappingURL=check-ids.d.ts.map

package/dist/runtime/check-ids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-ids.d.ts","sourceRoot":"","sources":["../../src/runtime/check-ids.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,SAAS,wwGAoGZ,CAAA;AAEV,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,CAAC,CAAA;AAEhD,8DAA8D;AAC9D,MAAM,MAAM,WAAW,GACpB,YAAY,GACZ,QAAQ,GACR,MAAM,GACN,eAAe,GACf,aAAa,GACb,OAAO,GACP,YAAY,GACZ,WAAW,GACX,eAAe,GACf,aAAa,GACb,mBAAmB,GACnB,aAAa,CAAA;AAEhB,KAAK,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,EAAE,GAAG,IAAI,GAAG,KAAK,CAAA;AAErE,2GAA2G;AAC3G,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,WAAW,CA4BjE,CAAA;AAED,wBAAgB,QAAQ,CAAC,EAAE,EAAE,OAAO,GAAG,WAAW,CAEjD"}

package/dist/runtime/check-ids.js

@@ -0,0 +1,140 @@
+/**
+ * Every registered check id. `Check.id` and `dependsOn` are typed against this list, so a
+ * misspelled dependency fails to compile instead of silently never suppressing anything; the
+ * registry is checked against it again when it loads.
+ */
+export const CHECK_IDS = [
+    "async.reaches-terminal-state",
+    "async.receipt-identifies-the-job",
+    "auth.invite-grants-then-revokes",
+    "auth.rank-is-monotonic",
+    "auth.rank-is-monotonic-on-writes",
+    "concurrency.no-lost-update",
+    "consistency.projections-agree",
+    "count.consistent-with-returned-page",
+    "count.matches-filtered-set",
+    "create.persists-submitted-fields",
+    "create.status-matches-document",
+    "create.unique-conflict-rejected",
+    "delete.absent-record-returns-404",
+    "effects.declared-effect-occurs",
+    "effects.side-effect-arrives",
+    "error.malformed-filter-not-5xx",
+    "filter.alias-matches-canonical",
+    "filter.and-composes-as-intersection",
+    "filter.condition-cap-rejected",
+    "filter.contains-membership",
+    "filter.empty-in",
+    "filter.equality-selects-exactly-one",
+    "filter.gte-is-gt-or-eq",
+    "filter.ilike-is-case-insensitive",
+    "filter.illegal-op-rejected",
+    "filter.in-is-union-of-eq",
+    "filter.in-over-limit-rejected",
+    "filter.is-null-selects-nulls",
+    "filter.like-metacharacters-escaped",
+    "filter.lte-is-lt-or-eq",
+    "filter.negation-partitions-the-set",
+    "filter.nested-and-or-distributes",
+    "filter.nin-complements-in",
+    "filter.numeric-comparison-is-numeric",
+    "filter.or-composes-as-union",
+    "filter.ordered-triple-partitions",
+    "filter.unknown-field-rejected",
+    "filter.zero-match-returns-none",
+    "idempotency.replay-does-not-duplicate",
+    "invalidation.declared-route-changes",
+    "list.read-after-write",
+    "pagination.bounds-handled",
+    "pagination.cursor-agrees-with-page",
+    "pagination.has-more-is-accurate",
+    "pagination.limit-bounds-page-size",
+    "pagination.limit-respects-documented-max",
+    "pagination.page-walk-covers-set",
+    "patch.immutable-field-rejected",
+    "patch.minimality",
+    "payload.string-survives",
+    "query.axes-compose",
+    "query.filter-and-select-compose",
+    "query.filter-search-select-compose",
+    "query.filter-search-sort-compose",
+    "query.filter-search-sort-select-compose",
+    "query.filter-selects-from-whole-set",
+    "query.filter-sort-select-compose",
+    "query.search-and-filter-compose",
+    "query.search-and-select-compose",
+    "query.search-and-sort-compose",
+    "query.sort-and-select-compose",
+    "query.unknown-parameter-consistent",
+    "response.status-is-documented",
+    "schema.error-response-matches-document",
+    "schema.success-response-matches-document",
+    "search.case-insensitive",
+    "search.empty-q",
+    "search.mode-accepted",
+    "search.q-narrows-result",
+    "search.tokens-and",
+    "select.nested-honoured",
+    "select.projection-honoured",
+    "select.requested-fields-present",
+    "select.unknown-field-rejected",
+    "softdelete.absent-from-default-list",
+    "sort.default-order-applied",
+    "sort.multi-key-tiebreak",
+    "sort.nulls-first-last",
+    "sort.numeric-order-is-numeric",
+    "sort.order-is-applied",
+    "sort.reverse-symmetry",
+    "sort.stable-tiebreak",
+    "sort.unknown-field-rejected",
+    "spec.declared-filterable-is-filterable",
+    "spec.declared-filterable-ops-accepted",
+    "spec.declared-rate-limit-is-honoured",
+    "spec.declared-selectable-is-selectable",
+    "spec.declared-sortable-is-sortable",
+    "spec.declared-sortable-nulls-accepted",
+    "tenant.denial-does-not-reveal-existence",
+    "tenant.filter-does-not-bypass-scope",
+    "tenant.item-not-readable-cross-tenant",
+    "tenant.parent-not-reachable-from-another-root",
+    "tenant.item-not-writable-cross-tenant",
+    "update.unique-conflict-rejected",
+    "validation.content-type-enforced",
+    "validation.enum-enforced",
+    "validation.max-length-enforced",
+    "validation.required-enforced",
+];
+/** Every check id prefix belongs to exactly one family; a new prefix fails to compile until it has one. */
+export const FAMILY_OF_PREFIX = {
+    async: "effects/async",
+    auth: "isolation",
+    concurrency: "write",
+    consistency: "consistency",
+    count: "pagination",
+    create: "write",
+    delete: "write",
+    effects: "effects/async",
+    error: "filter",
+    filter: "filter",
+    idempotency: "write",
+    invalidation: "consistency",
+    list: "consistency",
+    pagination: "pagination",
+    patch: "write",
+    payload: "write",
+    query: "composition",
+    response: "conformance",
+    schema: "conformance",
+    search: "search/select",
+    select: "search/select",
+    softdelete: "write",
+    sort: "sort",
+    spec: "spec declarations",
+    tenant: "isolation",
+    update: "write",
+    validation: "validation",
+};
+export function familyOf(id) {
+    return FAMILY_OF_PREFIX[id.slice(0, id.indexOf("."))];
+}
+//# sourceMappingURL=check-ids.js.map

package/dist/runtime/check-ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-ids.js","sourceRoot":"","sources":["../../src/runtime/check-ids.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG;IACxB,8BAA8B;IAC9B,kCAAkC;IAClC,iCAAiC;IACjC,wBAAwB;IACxB,kCAAkC;IAClC,4BAA4B;IAC5B,+BAA+B;IAC/B,qCAAqC;IACrC,4BAA4B;IAC5B,kCAAkC;IAClC,gCAAgC;IAChC,iCAAiC;IACjC,kCAAkC;IAClC,gCAAgC;IAChC,6BAA6B;IAC7B,gCAAgC;IAChC,gCAAgC;IAChC,qCAAqC;IACrC,+BAA+B;IAC/B,4BAA4B;IAC5B,iBAAiB;IACjB,qCAAqC;IACrC,wBAAwB;IACxB,kCAAkC;IAClC,4BAA4B;IAC5B,0BAA0B;IAC1B,+BAA+B;IAC/B,8BAA8B;IAC9B,oCAAoC;IACpC,wBAAwB;IACxB,oCAAoC;IACpC,kCAAkC;IAClC,2BAA2B;IAC3B,sCAAsC;IACtC,6BAA6B;IAC7B,kCAAkC;IAClC,+BAA+B;IAC/B,gCAAgC;IAChC,uCAAuC;IACvC,qCAAqC;IACrC,uBAAuB;IACvB,2BAA2B;IAC3B,oCAAoC;IACpC,iCAAiC;IACjC,mCAAmC;IACnC,0CAA0C;IAC1C,iCAAiC;IACjC,gCAAgC;IAChC,kBAAkB;IAClB,yBAAyB;IACzB,oBAAoB;IACpB,iCAAiC;IACjC,oCAAoC;IACpC,kCAAkC;IAClC,yCAAyC;IACzC,qCAAqC;IACrC,kCAAkC;IAClC,iCAAiC;IACjC,iCAAiC;IACjC,+BAA+B;IAC/B,+BAA+B;IAC/B,oCAAoC;IACpC,+BAA+B;IAC/B,wCAAwC;IACxC,0CAA0C;IAC1C,yBAAyB;IACzB,gBAAgB;IAChB,sBAAsB;IACtB,yBAAyB;IACzB,mBAAmB;IACnB,wBAAwB;IACxB,4BAA4B;IAC5B,iCAAiC;IACjC,+BAA+B;IAC/B,qCAAqC;IACrC,4BAA4B;IAC5B,yBAAyB;IACzB,uBAAuB;IACvB,+BAA+B;IAC/B,uBAAuB;IACvB,uBAAuB;IACvB,sBAAsB;IACtB,6BAA6B;IAC7B,wCAAwC;IACxC,uCAAuC;IACvC,sCAAsC;IACtC,wCAAwC;IACxC,oCAAoC;IACpC,uCAAuC;IACvC,yCAAyC;IACzC,qCAAqC;IACrC,uCAAuC;IACvC,+CAA+C;IAC/C,uCAAuC;IACvC,iCAAiC;IACjC,kCAAkC;IAClC,0BAA0B;IAC1B,gCAAgC;IAChC,8BAA8B;CACrB,CAAA;AAqBV,2GAA2G;AAC3G,MAAM,CAAC,MAAM,gBAAgB,GAAyC;IACrE,KAAK,EAAE,eAAe;IACtB,IAAI,EAAE,WAAW;IACjB,WAAW,EAAE,OAAO;IACpB,WAAW,EAAE,aAAa;IAC1B,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,OAAO;IACf,MAAM,EAAE,OAAO;IACf,OAAO,EAAE,eAAe;IACxB,KAAK,EAAE,QAAQ;IACf,MAAM,EAAE,QAAQ;IAChB,WAAW,EAAE,OAAO;IACpB,YAAY,EAAE,aAAa;IAC3B,IAAI,EAAE,aAAa;IACnB,UAAU,EAAE,YAAY;IACxB,KAAK,EAAE,OAAO;IACd,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,aAAa;IACpB,QAAQ,EAAE,aAAa;IACvB,MAAM,EAAE,aAAa;IACrB,MAAM,EAAE,eAAe;IACvB,MAAM,EAAE,eAAe;IACvB,UAAU,EAAE,OAAO;IACnB,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,WAAW;IACnB,MAAM,EAAE,OAAO;IACf,UAAU,EAAE,YAAY;CACxB,CAAA;AAED,MAAM,UAAU,QAAQ,CAAC,EAAW;IACnC,OAAO,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAoB,CAAC,CAAA;AACzE,CAAC"}

package/dist/runtime/checks.d.ts

@@ -5,13 +5,14 @@
  * ground truth — they compare the API against itself, through independent projections, or against
  * the oracle of what oat just wrote. Check ids are stable: the conformance suite asserts on them.
  */
-import type { Hooks } from "../config/define-config.ts";
+import type { Hooks, PayloadPolicy } from "../config/define-config.ts";
 import type { InviteSpec } from "../spec/extensions.ts";
+import { type CheckId } from "./check-ids.ts";
 import type { QueryCapability } from "../spec/extensions.ts";
 import { type EffectiveQueryCapabilities } from "../spec/query-capabilities.ts";
-import type { EntityModel, OperationModel, SpecModel } from "../spec/graph.ts";
-import type { Client } from "./client.ts";
-import type { FindingCollector } from "./finding.ts";
+import { type EntityModel, type OperationModel, type SpecModel } from "../spec/graph.ts";
+import type { Client, ReadClient } from "./client.ts";
+import { type FindingCollector, type Outcome } from "./finding.ts";
 import type { BackoffConfig } from "./poll.ts";
 import type { UploadContext } from "./upload.ts";
 import type { SchemaValidator } from "./validate.ts";
@@ -23,17 +24,26 @@ export interface Actor {
     /** Higher can do everything a lower rank can. Same rank = peers. */
     rank: number;
     headers: () => Record<string, string>;
+    /**
+     * Replace this actor's credential after a response issues a new one.
+     * Static principals and auth flows both implement it. Absent means the actor cannot.
+     */
+    adoptCredential?: (token: string) => void;
     /** Tenant identity from config / the auth flow — not the full path scope. */
     roots: Record<string, string>;
     scope: Record<string, string>;
     /** Value the owner puts in an invite body for this principal. */
     inviteAs: string | undefined;
 }
-export interface CheckContext {
+/**
+ * What a check runs against. A check that does not mutate gets a client that cannot write; a
+ * helper that writes asks for a `WriteContext`, so a read-only check calling it does not compile.
+ */
+export interface CheckContext<C extends ReadClient = ReadClient> {
     entityName: string;
     identity: string;
     model: SpecModel;
-    client: Client;
+    client: C;
     findings: FindingCollector;
     scope: Record<string, string>;
     listOp: OperationModel;
@@ -61,6 +71,8 @@ export interface CheckContext {
     altScope: Record<string, string> | undefined;
     validator: SchemaValidator | undefined;
     seed: number;
+    /** Per-run token for values that must not collide across runs: unique columns, idempotency keys. */
+    nonce: string;
     /** Effective unique column sets for this entity (`[]` when the tag is absent or empty). */
     uniqueSets: string[][];
     /** First-variant create 409 adopted a same-tenant row; unique probes still run. */
@@ -79,12 +91,26 @@ export interface CheckContext {
     waitOps: OperationModel[];
     hooks: Hooks;
     outOfBand: BackoffConfig;
+    /**
+     * The payload policy, and the write paths that have had the whole catalog this run — keyed
+     * by media type and field type, naming the entity that ran it. Optional so a hand-built
+     * context still works; absent means the whole catalog.
+     */
+    payloads?: {
+        policy: PayloadPolicy;
+        ran: Map<string, string>;
+    };
     /**
      * Whether an operation is graded by this run. Always true on a full run. Checks that judge
      * several operations consult it before invoking or judging one. Optional so a hand-built
      * context still works.
      */
     inScope?: (op: OperationModel) => boolean;
+    /**
+     * Registers a record this check caused to exist — a declared effect, a started job — for
+     * teardown. Records made through the entity's own create are tracked without it.
+     */
+    recordCreated?: (entity: string, id: string, scope: Record<string, string>) => void;
     /**
      * Narrows what this check graded to the operations it actually judged. A check that judges
      * after the fact — from whatever the transcript happens to hold — calls it, so an operation
@@ -92,31 +118,52 @@ export interface CheckContext {
      */
     judged?: (operationIds: readonly string[]) => void;
 }
-export interface Check {
-    id: string;
-    /** Skipped silently when the entity lacks the operations this check needs. */
-    applicable: (ctx: CheckContext) => boolean;
+/** The context of a check that changes server state. */
+export type WriteContext = CheckContext<Client>;
+/**
+ * What a check's planning step decided: it can run, with what it needs to — or it cannot, and why.
+ *
+ * Planning is the only place a check decides whether it applies, and `run` receives what the plan
+ * found instead of looking again. A check that applies but then finds nothing to test cannot
+ * happen by construction: the two questions are one.
+ */
+export type Plan<T> = {
+    ok: true;
+    value: T;
+} | {
+    ok: false;
+    needs?: string;
+};
+export declare function ready<T>(value: T): Plan<T>;
+/** The check cannot run here; `needs` says what is missing, else the check's own `needs` does. */
+export declare function cannot(needs?: string): Plan<never>;
+/** `next`, once `gate` holds — a plan built in stages, stopping at the first thing missing. */
+export declare function andThen<A, T>(gate: Plan<A>, next: (value: A) => Plan<T>): Plan<T>;
+/** A plan that carries nothing: the check applies exactly when `condition` holds. */
+export declare function when(condition: boolean, needs?: string): Plan<undefined>;
+interface CheckBase<T> {
+    id: CheckId;
+    /** Decides whether the check applies to this entity, and gathers what `run` needs if it does. */
+    plan(ctx: CheckContext): Plan<T>;
     /**
      * Check ids whose failure makes this one's result meaningless. When any has already fired for
      * this entity, the check is skipped rather than reporting a consequence as a separate defect —
      * one root cause should produce one finding, not a page of them.
      */
-    dependsOn?: string[];
+    dependsOn?: CheckId[];
+    /**
+     * Whether the check judges traffic other checks sent. It runs after every check before it has
+     * finished, never alongside them, so it cannot miss what its batch-mates were still sending.
+     */
+    judgesTranscript?: boolean;
     /**
      * What this check needs in order to run at all, in the reader's terms.
      *
-     * Reported when `applicable` returns false. Skipping silently would leave someone on an API
+     * Reported when the plan cannot run. Skipping silently would leave someone on an API
      * shaped differently from the fixture believing a quiet run meant a clean one, when in truth
      * half the suite never fired.
      */
     needs?: string;
-    /**
-     * Whether the check changes server state. Mutating checks run alone and in order; read-only
-     * checks batch together. Two writers racing on the same cohort would make each other's
-     * observations wrong, and the resulting finding would describe the interference rather than
-     * the backend.
-     */
-    mutates?: boolean;
     /**
      * Operations whose contract this check judges, decided from the entity graph alone.
      *
@@ -126,8 +173,20 @@ export interface Check {
      * cannot run invisibly under `--ops`.
      */
     subjects: (entity: EntityModel, model: SpecModel) => string[];
-    run: (ctx: CheckContext) => Promise<void>;
 }
+/**
+ * Whether the check changes server state. Mutating checks run alone and in order, with a client
+ * that can write; read-only checks batch together, with one that cannot. Two writers racing on
+ * the same cohort would make each other's observations wrong, and the resulting finding would
+ * describe the interference rather than the backend.
+ */
+export type Check<T = unknown> = CheckBase<T> & ({
+    mutates: true;
+    run(ctx: WriteContext, plan: T): Promise<Outcome>;
+} | {
+    mutates?: false;
+    run(ctx: CheckContext, plan: T): Promise<Outcome>;
+});
 /** Subject sets shared by the registry. Each reads the same fields the check's context is built from. */
 export declare const subjectsOf: {
     async: (entity: EntityModel, model: SpecModel) => string[];
@@ -149,4 +208,13 @@ export declare const subjectsOf: {
     writeAndRead: (entity: EntityModel) => string[];
 };
 export declare const CHECKS: readonly Check[];
+/** Plans a check and, when it applies, runs it — what the scheduler does, for one check. */
+export declare function runCheck(check: Check, ctx: WriteContext): Promise<Outcome>;
+/**
+ * The registry checks itself as it loads: ids are unique, every id is one `CheckId` names, and
+ * every dependency is registered earlier. A dependency registered later can never suppress
+ * anything — it has not run yet when the scheduler consults it.
+ */
+export declare function validateRegistry(checks: readonly Check[]): void;
+export {};
 //# sourceMappingURL=checks.d.ts.map

package/dist/runtime/checks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checks.d.ts","sourceRoot":"","sources":["../../src/runtime/checks.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAA;AAEvD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,EAEN,KAAK,0BAA0B,EAS/B,MAAM,+BAA+B,CAAA;AAEtC,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAI9E,OAAO,KAAK,EAAE,MAAM,EAA4B,MAAM,aAAa,CAAA;AAGnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAKpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEhD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAEpD,OAAO,EAAE,KAAK,OAAO,EAAiC,MAAM,YAAY,CAAA;AAqBxE,kGAAkG;AAClG,MAAM,WAAW,KAAK;IACrB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;IACxB,oEAAoE;IACpE,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACrC,6EAA6E;IAC7E,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,iEAAiE;IACjE,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAA;CAC5B;AAED,MAAM,WAAW,YAAY;IAC5B,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,MAAM,CAAA;IAChB,KAAK,EAAE,SAAS,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,gBAAgB,CAAA;IAC1B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,MAAM,EAAE,cAAc,CAAA;IACtB,MAAM,EAAE,cAAc,GAAG,SAAS,CAAA;IAClC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;IACpC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;IACpC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;IACpC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,OAAO,EAAE,OAAO,EAAE,CAAA;IAClB,KAAK,EAAE,eAAe,GAAG,IAAI,CAAA;IAC7B,2EAA2E;IAC3E,YAAY,CAAC,EAAE,0BAA0B,CAAA;IACzC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IACzB,MAAM,EAAE,UAAU,GAAG,IAAI,CAAA;IACzB,IAAI,EAAE,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC,uFAAuF;IACvF,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;IACnD;;;OAGG;IACH,MAAM,EAAE,KAAK,EAAE,CAAA;IACf,6FAA6F;IAC7F,OAAO,EAAE,CAAC,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAA;IACnD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAAA;IAC5C,SAAS,EAAE,eAAe,GAAG,SAAS,CAAA;IACtC,IAAI,EAAE,MAAM,CAAA;IACZ,2FAA2F;IAC3F,UAAU,EAAE,MAAM,EAAE,EAAE,CAAA;IACtB,mFAAmF;IACnF,aAAa,EAAE,OAAO,CAAA;IACtB,6EAA6E;IAC7E,cAAc,EAAE,cAAc,GAAG,SAAS,CAAA;IAC1C,6EAA6E;IAC7E,cAAc,EAAE,cAAc,GAAG,SAAS,CAAA;IAC1C,wDAAwD;IACxD,OAAO,EAAE,aAAa,CAAA;IACtB,8DAA8D;IAC9D,QAAQ,EAAE,cAAc,EAAE,CAAA;IAC1B,0DAA0D;IAC1D,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,uDAAuD;IACvD,OAAO,EAAE,cAAc,EAAE,CAAA;IACzB,KAAK,EAAE,KAAK,CAAA;IACZ,SAAS,EAAE,aAAa,CAAA;IACxB;;;;OAIG;IACH,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,cAAc,KAAK,OAAO,CAAA;IACzC;;;;OAIG;IACH,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,KAAK,IAAI,CAAA;CAClD;AASD,MAAM,WAAW,KAAK;IACrB,EAAE,EAAE,MAAM,CAAA;IACV,8EAA8E;IAC9E,UAAU,EAAE,CAAC,GAAG,EAAE,YAAY,KAAK,OAAO,CAAA;IAC1C;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAA;IACpB;;;;;;OAMG;IACH,KAAK,CAAC,EAAE,MAAM,CAAA;IACd;;;;;OAKG;IACH,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB;;;;;;;OAOG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,KAAK,MAAM,EAAE,CAAA;IAC7D,GAAG,EAAE,CAAC,GAAG,EAAE,YAAY,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;CACzC;AAQD,yGAAyG;AACzG,eAAO,MAAM,UAAU;oBACN,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;2BACjC,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;qBAE9C,WAAW,KAAG,MAAM,EAAE;oCACP,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;4BAYhD,WAAW,KAAG,MAAM,EAAE;qBAC7B,WAAW,KAAG,MAAM,EAAE;4BACf,WAAW,KAAG,MAAM,EAAE;sBAC5B,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;qBACzC,WAAW,KAAG,MAAM,EAAE;mBAExB,WAAW,KAAG,MAAM,EAAE;wBACjB,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;mBAC7C,WAAW,KAAG,MAAM,EAAE;2BACd,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;0BAGzC,WAAW,KAAG,MAAM,EAAE;qBAC3B,WAAW,KAAG,MAAM,EAAE;oBACvB,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;2BACjC,WAAW,KAAG,MAAM,EAAE;CAC7C,CAAA;AAiwND,eAAO,MAAM,MAAM,EAAE,SAAS,KAAK,EAqHlC,CAAA"}
+{"version":3,"file":"checks.d.ts","sourceRoot":"","sources":["../../src/runtime/checks.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAEtE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAa,KAAK,OAAO,EAAE,MAAM,gBAAgB,CAAA;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,EAEN,KAAK,0BAA0B,EAS/B,MAAM,+BAA+B,CAAA;AAEtC,OAAO,EACN,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,SAAS,EAMd,MAAM,kBAAkB,CAAA;AAKzB,OAAO,KAAK,EAAE,MAAM,EAAY,UAAU,EAAkB,MAAM,aAAa,CAAA;AAK/E,OAAO,EAAsB,KAAK,gBAAgB,EAAE,KAAK,OAAO,EAAa,MAAM,cAAc,CAAA;AAKjG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEhD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAEpD,OAAO,EAAE,KAAK,OAAO,EAAiC,MAAM,YAAY,CAAA;AAoBxE,kGAAkG;AAClG,MAAM,WAAW,KAAK;IACrB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;IACxB,oEAAoE;IACpE,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACrC;;;OAGG;IACH,eAAe,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IACzC,6EAA6E;IAC7E,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,iEAAiE;IACjE,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAA;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU;IAC9D,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,MAAM,CAAA;IAChB,KAAK,EAAE,SAAS,CAAA;IAChB,MAAM,EAAE,CAAC,CAAA;IACT,QAAQ,EAAE,gBAAgB,CAAA;IAC1B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,MAAM,EAAE,cAAc,CAAA;IACtB,MAAM,EAAE,cAAc,GAAG,SAAS,CAAA;IAClC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;IACpC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;IACpC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;IACpC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,OAAO,EAAE,OAAO,EAAE,CAAA;IAClB,KAAK,EAAE,eAAe,GAAG,IAAI,CAAA;IAC7B,2EAA2E;IAC3E,YAAY,CAAC,EAAE,0BAA0B,CAAA;IACzC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IACzB,MAAM,EAAE,UAAU,GAAG,IAAI,CAAA;IACzB,IAAI,EAAE,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC,uFAAuF;IACvF,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;IACnD;;;OAGG;IACH,MAAM,EAAE,KAAK,EAAE,CAAA;IACf,6FAA6F;IAC7F,OAAO,EAAE,CAAC,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAA;IACnD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAAA;IAC5C,SAAS,EAAE,eAAe,GAAG,SAAS,CAAA;IACtC,IAAI,EAAE,MAAM,CAAA;IACZ,oGAAoG;IACpG,KAAK,EAAE,MAAM,CAAA;IACb,2FAA2F;IAC3F,UAAU,EAAE,MAAM,EAAE,EAAE,CAAA;IACtB,mFAAmF;IACnF,aAAa,EAAE,OAAO,CAAA;IACtB,6EAA6E;IAC7E,cAAc,EAAE,cAAc,GAAG,SAAS,CAAA;IAC1C,6EAA6E;IAC7E,cAAc,EAAE,cAAc,GAAG,SAAS,CAAA;IAC1C,wDAAwD;IACxD,OAAO,EAAE,aAAa,CAAA;IACtB,8DAA8D;IAC9D,QAAQ,EAAE,cAAc,EAAE,CAAA;IAC1B,0DAA0D;IAC1D,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,uDAAuD;IACvD,OAAO,EAAE,cAAc,EAAE,CAAA;IACzB,KAAK,EAAE,KAAK,CAAA;IACZ,SAAS,EAAE,aAAa,CAAA;IACxB;;;;OAIG;IACH,QAAQ,CAAC,EAAE;QAAE,MAAM,EAAE,aAAa,CAAC;QAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;IAC9D;;;;OAIG;IACH,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,cAAc,KAAK,OAAO,CAAA;IACzC;;;OAGG;IACH,aAAa,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,IAAI,CAAA;IACnF;;;;OAIG;IACH,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,KAAK,IAAI,CAAA;CAClD;AAED,wDAAwD;AACxD,MAAM,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAA;AA4G/C;;;;;;GAMG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAE5E,wBAAgB,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAE1C;AAED,kGAAkG;AAClG,wBAAgB,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAElD;AAED,+FAA+F;AAC/F,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAEjF;AAED,qFAAqF;AACrF,wBAAgB,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAExE;AAED,UAAU,SAAS,CAAC,CAAC;IACpB,EAAE,EAAE,OAAO,CAAA;IACX,iGAAiG;IACjG,IAAI,CAAC,GAAG,EAAE,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IAChC;;;;OAIG;IACH,SAAS,CAAC,EAAE,OAAO,EAAE,CAAA;IACrB;;;OAGG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B;;;;;;OAMG;IACH,KAAK,CAAC,EAAE,MAAM,CAAA;IACd;;;;;;;OAOG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,KAAK,MAAM,EAAE,CAAA;CAC7D;AAED;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,GAAG,OAAO,IAAI,SAAS,CAAC,CAAC,CAAC,GAC5C,CACG;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,GAAG,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CAAE,GACpE;IAAE,OAAO,CAAC,EAAE,KAAK,CAAC;IAAC,GAAG,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CAAE,CACxE,CAAA;AAQF,yGAAyG;AACzG,eAAO,MAAM,UAAU;oBACN,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;2BACjC,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;qBAE9C,WAAW,KAAG,MAAM,EAAE;oCACP,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;4BAYhD,WAAW,KAAG,MAAM,EAAE;qBAC7B,WAAW,KAAG,MAAM,EAAE;4BACf,WAAW,KAAG,MAAM,EAAE;sBAC5B,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;qBACzC,WAAW,KAAG,MAAM,EAAE;mBAExB,WAAW,KAAG,MAAM,EAAE;wBACjB,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;mBAC7C,WAAW,KAAG,MAAM,EAAE;2BACd,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;0BAGzC,WAAW,KAAG,MAAM,EAAE;qBAC3B,WAAW,KAAG,MAAM,EAAE;oBACvB,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;2BACjC,WAAW,KAAG,MAAM,EAAE;CAC7C,CAAA;AA8zQD,eAAO,MAAM,MAAM,EAAE,SAAS,KAAK,EA0HlC,CAAA;AAED,4FAA4F;AAC5F,wBAAsB,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,CAIhF;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,GAAG,IAAI,CAkB/D"}