instar 1.3.714 → 1.3.715

package/dist/core/StaleOwnerReleaseEngine.d.ts

@@ -0,0 +1,290 @@
+/**
+ * StaleOwnerReleaseEngine — U4.2 (docs/specs/u4-2-stale-owner-release.md): the
+ * CMT-1786 auto-failover, built as the EVIDENCE UPGRADE to OwnershipReconciler
+ * Case C. When a topic's owner machine is genuinely dead/dark, the serving-lease
+ * HOLDER force-claims its topics — but only after an evidence bar in which EVERY
+ * predicate is a mechanical check over authenticated state, and every ambiguity
+ * fails CLOSED (a brief strand beats a split-brain).
+ *
+ * One actor (spec §2.7.6): this engine is invoked FROM OwnershipReconciler.tick()
+ * and issues claims through the reconciler's single CAS funnel — it is Case C's
+ * evidence bar, not a second takeover authority. `ownershipEpoch` is the only
+ * fence; the §2.4 `topic-claim-annotation` kind is deliberately NOT ownership
+ * state (it can never answer or fence ownership).
+ *
+ * The evidence bar (§2.2 — ALL required; fail CLOSED on any ambiguity):
+ *   1. machine death: owner offline in the pool AND observer-stamped staleness
+ *      ≥ deathEvidenceMs on the OBSERVER's monotonic clock (never the owner's
+ *      self-reported wall clock — R-r2-5a). Never-observed-since-boot follows
+ *      the bounded bootstrap rule (R-r2-2), never a silent forever-strand.
+ *   2. multi-transport disproof: unreachable via the authenticated probe on
+ *      EVERY advertised transport; the advert set must be owner-authenticated
+ *      (PeerEndpointRecorder provenance ONLY — R-r2-5b), non-empty, fresh, and
+ *      multi-transport (a single-rope advert set is automatic ambiguity).
+ *   3. quorum (verbatim Case C): online × 2 > machines.
+ *   4. claimant self-connectivity proof (a claimer with a broken NIC sees
+ *      everyone as dead and must never claim). 2-machine git-less mesh: the
+ *      claim path is DISABLED outright (detection + escalation still run).
+ *   5. owner liveness disproof over a PROVABLY FRESH evidence mirror — a stale
+ *      mirror classifies AMBIGUITY, never "no recent side-effects" (R-r2-3).
+ *   6. fresh re-read immediately before the claim (the caller's CAS funnel
+ *      re-reads; the engine re-checks the record at claim time).
+ *
+ * Bounded blast radius (§2.5): maxClaimsPerTick; per-topic claim budget +
+ * widening backoff carried on the REPLICATED topic-claim-annotation kind
+ * (R-r2-4 — the claimer role moves with the lease, the budget must follow the
+ * topic); probe verdicts single-flight + TTL-memoized + backoff + a P19 breaker
+ * that degrades to ONE attention item. A declined demote (operator "no") rides
+ * the same replicated kind and blocks the episode's claims on ANY claimer.
+ *
+ * Honesty surfaces (§2.6): every stale-detect, probe verdict, would-claim
+ * (dry-run), claim and REFUSAL lands in the decision trace (state-change-gated
+ * per episode, never per-tick); ambiguity persisting past the ceiling escalates
+ * ONE per-episode deduped attention item — raisable by ANY quorum member
+ * (R-r2-1), while the CLAIM stays lease-holder-only.
+ *
+ * Supervision: Tier 0 by explicit argument (§2.8) — deterministic fencing path;
+ * LLM-free, synchronous verdicts, acquires NO spawn-cap slot (asserted by test).
+ */
+import type { SessionOwnershipRecord } from './SessionOwnership.js';
+import type { MergedClaimAnnotation } from './TopicClaimAnnotationStore.js';
+/** Config subtree: multiMachine.sessionPool.staleOwnerRelease (§5). */
+export interface StaleOwnerReleaseConfig {
+    enabled: boolean;
+    dryRun: boolean;
+    /** Death-evidence bound (ms). Default 180_000 (existing Case C bound). */
+    deathEvidenceMs: number;
+    /** Per-endpoint probe timeout (ms) — well below the lease transport's 30s. */
+    probeTimeoutMs: number;
+    /** Ambiguity escalates after ambiguityCeilingMultiple × deathEvidenceMs. */
+    ambiguityCeilingMultiple: number;
+    /** Hard cap on claims landed per tick (P19). */
+    maxClaimsPerTick: number;
+    /** Bootstrap rule (R-r2-2): never-observed-since-boot classifies EXPIRED only
+     *  after bootstrapNonObservationMultiple × deathEvidenceMs of continuous
+     *  non-observation since claimant boot (plus the durable-heartbeat tie-break). */
+    bootstrapNonObservationMultiple: number;
+    /** The owner self-fence TTL the §2.3 ordering invariant is validated against. */
+    selfFenceTtlMs: number;
+}
+export declare const DEFAULT_STALE_OWNER_RELEASE_CONFIG: Omit<StaleOwnerReleaseConfig, 'enabled'>;
+/**
+ * §2.3 TTL-ordering invariant (R-r2-3, part 1): "expired implies self-fenced by
+ * construction" holds ONLY when
+ *   deathEvidenceMs > selfFenceTtlMs + reconcilerTickMs + clockSkewSlackMs.
+ * This is an INVARIANT of the design, not a tuning suggestion — a violating
+ * combination is REJECTED at config validation (the existing multiMachine
+ * reject-nonsensical-combinations-at-startup pattern). Returns null when valid,
+ * else a human-readable rejection message.
+ */
+export declare function validateStaleOwnerReleaseInvariants(cfg: Pick<StaleOwnerReleaseConfig, 'deathEvidenceMs' | 'selfFenceTtlMs'>, reconcilerTickMs: number, clockSkewSlackMs: number): string | null;
+/** §2.9 refusal reasons (closed enum — the FD-7 telemetry the soak is judged on). */
+export type StaleOwnerRefusalReason = 'transport-ambiguity' | 'not-expired' | 'quorum-fail' | 'self-proof-fail' | 'side-effect-fresh';
+/** The machine-level evidence verdict for one owner in one tick. */
+export type OwnerEvidenceVerdict = {
+    verdict: 'healthy';
+} | {
+    verdict: 'expired';
+} | {
+    verdict: 'refused';
+    reason: StaleOwnerRefusalReason;
+} | {
+    verdict: 'ambiguity';
+    reason: StaleOwnerRefusalReason;
+};
+/** One probe outcome per (owner, episode) — memoized, single-flight. */
+export type ProbeVerdict = 'reachable' | 'unreachable' | 'error';
+export interface AdvertSetView {
+    /** Owner-authenticated endpoints (PeerEndpointRecorder provenance ONLY). */
+    endpoints: Array<{
+        kind: string;
+        url: string;
+    }>;
+    /** Whether the advert set is freshness-bounded (wiring computes the bound). */
+    fresh: boolean;
+}
+export interface StaleOwnerTraceEntry {
+    ts: string;
+    type: 'stale-detect' | 'probe-verdict' | 'would-claim' | 'claim' | 'refusal' | 'ambiguity-escalated' | 'p19-giveup' | 'declined-demote';
+    owner?: string;
+    episodeId?: string;
+    topic?: string;
+    reason?: string;
+    detail?: string;
+}
+export interface StaleOwnerAttentionItem {
+    id: string;
+    title: string;
+    body: string;
+    priority: 'high' | 'medium';
+    sourceContext: string;
+}
+export interface StaleOwnerReleaseDeps {
+    /** Live-read feature gate (dev-gate resolved by the wiring). */
+    enabled: () => boolean;
+    dryRun: () => boolean;
+    config: () => StaleOwnerReleaseConfig;
+    selfMachineId: () => string | null;
+    /** All registered machines with OBSERVER-STAMPED liveness (R-r2-5a: the wiring
+     *  MUST feed routerReceivedAt-derived values, never selfReportedLastSeen). */
+    machines: () => Array<{
+        machineId: string;
+        online: boolean;
+        observerLastSeenMs: number;
+    }>;
+    /** Whether THIS machine holds the serving lease (the sole-claimer arbiter). */
+    holdsLease: () => boolean;
+    /** All known ownership records (the registry `all()` scan). */
+    listOwnershipRecords: () => SessionOwnershipRecord[];
+    /**
+     * Durable last-known heartbeat for a machine (the git-synced coarseHeartbeat
+     * re-feed — bootstrap rule condition (b), a tie-breaker only per R-r3-3).
+     * null = no durable record. Wall-clock epoch-ms.
+     */
+    durableLastKnownHeartbeatMs: (machineId: string) => number | null;
+    /** Owner-authenticated advert set (R-r2-5b — PeerEndpointRecorder provenance
+     *  ONLY; the git registry's lastKnownUrl is NOT acceptable input). */
+    advertSet: (machineId: string) => AdvertSetView;
+    /** Probe ONE advertised endpoint with the authenticated signed handshake.
+     *  Resolves true iff an identity-verified response arrived within the timeout. */
+    probeEndpoint: (machineId: string, endpoint: {
+        kind: string;
+        url: string;
+    }, timeoutMs: number) => Promise<boolean>;
+    /** Claimant self-connectivity proof (evidence 4): a successful authenticated
+     *  probe of a third peer, or (2-machine) verified reach of the durable lease
+     *  authority. Resolves false on ANY uncertainty. */
+    selfConnectivityProof: () => Promise<boolean>;
+    /** Whether a durable third-party lease authority exists (git substrate). A
+     *  2-machine mesh WITHOUT one has its claim path DISABLED (fail closed). */
+    hasDurableLeaseAuthority: () => boolean;
+    /** Evidence-5 mirror (§2.2.5): the claimant's replicated-channel mirror. */
+    evidenceMirror: () => {
+        /** Last SUCCESSFUL sync of the replicated channel (epoch-ms), or null. */
+        lastSyncOkMs: number | null;
+        /** Newest authenticated side-effect from `machineId` on the mirror
+         *  (placement/ownership emissions + lease/ownership renewals), or null. */
+        lastOwnerSideEffectMs: (machineId: string) => number | null;
+    };
+    /** Merged replicated topic-claim-annotations (per-topic budget / suspension /
+     *  declined-demote — R-r2-4: read the REPLICATED view, never local memory). */
+    claimAnnotations: () => Map<number, MergedClaimAnnotation>;
+    /**
+     * Issue the force-claim through the reconciler's single CAS funnel. The
+     * callee re-reads the record (evidence 6) and stamps the extended nonce
+     * `${self}:stale-owner-release:${sessionKey}:${episodeId}:${now}` (§2.7.5).
+     * Returns true iff the CAS landed.
+     */
+    actForceClaim: (sessionKey: string, episodeId: string) => boolean;
+    /** Emit/refresh the claim annotation (suspension + budget) — level-reconciled:
+     *  a claim that landed without its annotation is re-emitted idempotently. */
+    emitClaimAnnotation: (input: {
+        topic: number;
+        episodeId: string;
+        suspended: boolean;
+        claimedBy: string;
+        claimCount: number;
+        backoffUntilMs?: number;
+        declinedDemote?: boolean;
+    }) => void;
+    /** Attempt the working-set pull for a claimed topic (queues durably against a
+     *  provably-dark producer — §2.4; failures never block the claim). */
+    pullWorkingSet: (topic: number) => void;
+    /** Post-claim hook (continuation disclosure + paced resume routing). */
+    onClaimed?: (topic: number, episodeId: string, prevOwner: string) => void;
+    /** Append one decision-trace line (logs/stale-owner-release.jsonl). */
+    trace: (entry: StaleOwnerTraceEntry) => void;
+    /** Raise ONE deduped attention item (episode-keyed; P17-coalesced pool-wide). */
+    raiseAttention: (item: StaleOwnerAttentionItem) => void;
+    now?: () => number;
+    monotonicNow?: () => number;
+    logger?: (msg: string) => void;
+}
+export interface StaleOwnerReleaseStatus {
+    enabled: boolean;
+    dryRun: boolean;
+    lastTickAt: string | null;
+    counters: {
+        attempts: number;
+        claims: number;
+        wouldClaims: number;
+        refusalsByReason: Record<StaleOwnerRefusalReason, number>;
+        ambiguities: number;
+        escalations: number;
+        p19GiveUps: number;
+    };
+    evidenceClasses: Record<string, number>;
+    probeBreaker: {
+        openOwners: string[];
+    };
+    lastEpisode: {
+        episodeId: string;
+        owner: string;
+        verdict: string;
+        at: string;
+    } | null;
+    openEpisodes: Array<{
+        episodeId: string;
+        owner: string;
+        openedAt: string;
+        lastVerdict: string | null;
+        escalated: boolean;
+    }>;
+}
+export declare class StaleOwnerReleaseEngine {
+    private readonly d;
+    private readonly episodes;
+    /** Observer-clock liveness: mono-ms an owner's observer-stamped lastSeen last
+     *  ADVANCED (the FencedLease-F2 verified fold-in pattern). Absent = never
+     *  observed since claimant boot (the R-r2-2 bootstrap case). */
+    private readonly lastSeenMono;
+    private readonly lastSeenWallReading;
+    private readonly bootMono;
+    private lastTickAtWall;
+    private lastEpisodeSummary;
+    private readonly counters;
+    private readonly evidenceClasses;
+    constructor(deps: StaleOwnerReleaseDeps);
+    private now;
+    private mono;
+    private log;
+    private trace;
+    private bumpEvidenceClass;
+    isActive(): boolean;
+    /**
+     * One evidence pass (invoked from OwnershipReconciler.tick()). Deterministic
+     * over injected state; probes are kicked off asynchronously and their
+     * verdicts consumed on LATER ticks (single-flight, memoized) — the tick
+     * itself never blocks on the network.
+     */
+    tick(): void;
+    /** Record the operator's durable "no" for an owner's current episode (§2.6). */
+    recordDeclinedDemote(topic: number, episodeId: string): void;
+    private openEpisode;
+    /** The §2.2 evidence bar for ONE owner. Fail CLOSED on every uncertainty. */
+    private classifyOwner;
+    private selfProofState;
+    private selfProofAtMono;
+    private kickSelfProof;
+    /**
+     * ONE reachability verdict per (owner, episode) — single-flight, TTL-memoized,
+     * widening backoff between attempts, P19 breaker that degrades to the
+     * attention item. Returns the memoized verdict, or 'error' while pending /
+     * breaker-open (which classifies as ambiguity upstream — fail closed).
+     */
+    private probeVerdict;
+    private recordVerdict;
+    private p19GiveUp;
+    /** §2.9 status surface (assembled per tick, never stale on early return). */
+    status(): StaleOwnerReleaseStatus;
+}
+/**
+ * §2.9 `ownershipLeaseState` derivation for /pool/placement (R-r2 minor) —
+ * DERIVED from record status + evidence state, per the spec's table.
+ */
+export type OwnershipLeaseState = 'held' | 'stale' | 'releasing' | 'claimed';
+export declare function deriveOwnershipLeaseState(record: Pick<SessionOwnershipRecord, 'status' | 'nonce'> | null, opts: {
+    evidenceEpisodeOpen: boolean;
+    suspensionAnnotationPresent: boolean;
+}): OwnershipLeaseState | null;
+//# sourceMappingURL=StaleOwnerReleaseEngine.d.ts.map

package/dist/core/StaleOwnerReleaseEngine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StaleOwnerReleaseEngine.d.ts","sourceRoot":"","sources":["../../src/core/StaleOwnerReleaseEngine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAE5E,uEAAuE;AACvE,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,0EAA0E;IAC1E,eAAe,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,cAAc,EAAE,MAAM,CAAC;IACvB,4EAA4E;IAC5E,wBAAwB,EAAE,MAAM,CAAC;IACjC,gDAAgD;IAChD,gBAAgB,EAAE,MAAM,CAAC;IACzB;;sFAEkF;IAClF,+BAA+B,EAAE,MAAM,CAAC;IACxC,iFAAiF;IACjF,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,eAAO,MAAM,kCAAkC,EAAE,IAAI,CAAC,uBAAuB,EAAE,SAAS,CAQvF,CAAC;AAEF;;;;;;;;GAQG;AACH,wBAAgB,mCAAmC,CACjD,GAAG,EAAE,IAAI,CAAC,uBAAuB,EAAE,iBAAiB,GAAG,gBAAgB,CAAC,EACxE,gBAAgB,EAAE,MAAM,EACxB,gBAAgB,EAAE,MAAM,GACvB,MAAM,GAAG,IAAI,CAWf;AAED,qFAAqF;AACrF,MAAM,MAAM,uBAAuB,GAC/B,qBAAqB,GACrB,aAAa,GACb,aAAa,GACb,iBAAiB,GACjB,mBAAmB,CAAC;AAExB,oEAAoE;AACpE,MAAM,MAAM,oBAAoB,GAC5B;IAAE,OAAO,EAAE,SAAS,CAAA;CAAE,GACtB;IAAE,OAAO,EAAE,SAAS,CAAA;CAAE,GACtB;IAAE,OAAO,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAA;CAAE,GACvD;IAAE,OAAO,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAA;CAAE,CAAC;AAE9D,wEAAwE;AACxE,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,aAAa,GAAG,OAAO,CAAC;AAEjE,MAAM,WAAW,aAAa;IAC5B,4EAA4E;IAC5E,SAAS,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChD,+EAA+E;IAC/E,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,cAAc,GAAG,eAAe,GAAG,aAAa,GAAG,OAAO,GAAG,SAAS,GAAG,qBAAqB,GAAG,YAAY,GAAG,iBAAiB,CAAC;IACxI,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,qBAAqB;IACpC,gEAAgE;IAChE,OAAO,EAAE,MAAM,OAAO,CAAC;IACvB,MAAM,EAAE,MAAM,OAAO,CAAC;IACtB,MAAM,EAAE,MAAM,uBAAuB,CAAC;IACtC,aAAa,EAAE,MAAM,MAAM,GAAG,IAAI,CAAC;IACnC;kFAC8E;IAC9E,QAAQ,EAAE,MAAM,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,OAAO,CAAC;QAAC,kBAAkB,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1F,+EAA+E;IAC/E,UAAU,EAAE,MAAM,OAAO,CAAC;IAC1B,+DAA+D;IAC/D,oBAAoB,EAAE,MAAM,sBAAsB,EAAE,CAAC;IACrD;;;;OAIG;IACH,2BAA2B,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IAClE;0EACsE;IACtE,SAAS,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,aAAa,CAAC;IAChD;sFACkF;IAClF,aAAa,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,EAAE,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACnH;;wDAEoD;IACpD,qBAAqB,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9C;gFAC4E;IAC5E,wBAAwB,EAAE,MAAM,OAAO,CAAC;IACxC,4EAA4E;IAC5E,cAAc,EAAE,MAAM;QACpB,0EAA0E;QAC1E,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAC5B;mFAC2E;QAC3E,qBAAqB,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;KAC7D,CAAC;IACF;mFAC+E;IAC/E,gBAAgB,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAC3D;;;;;OAKG;IACH,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC;IAClE;iFAC6E;IAC7E,mBAAmB,EAAE,CAAC,KAAK,EAAE;QAC3B,KAAK,EAAE,MAAM,CAAC;QACd,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,OAAO,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;QACnB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,cAAc,CAAC,EAAE,OAAO,CAAC;KAC1B,KAAK,IAAI,CAAC;IACX;0EACsE;IACtE,cAAc,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IACxC,wEAAwE;IACxE,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,IAAI,CAAC;IAC1E,uEAAuE;IACvE,KAAK,EAAE,CAAC,KAAK,EAAE,oBAAoB,KAAK,IAAI,CAAC;IAC7C,iFAAiF;IACjF,cAAc,EAAE,CAAC,IAAI,EAAE,uBAAuB,KAAK,IAAI,CAAC;IACxD,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,MAAM,CAAC;IAC5B,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AAoCD,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,QAAQ,EAAE;QACR,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,MAAM,CAAC;QACpB,gBAAgB,EAAE,MAAM,CAAC,uBAAuB,EAAE,MAAM,CAAC,CAAC;QAC1D,WAAW,EAAE,MAAM,CAAC;QACpB,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IACF,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,YAAY,EAAE;QAAE,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACvC,WAAW,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACtF,YAAY,EAAE,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CAC7H;AAED,qBAAa,uBAAuB;IAClC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAwB;IAC1C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAmC;IAC5D;;oEAEgE;IAChE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAA6B;IAC1D,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAA6B;IACjE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAS;IAClC,OAAO,CAAC,cAAc,CAAK;IAC3B,OAAO,CAAC,kBAAkB,CAAgD;IAC1E,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAcvB;IACF,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;gBAElD,IAAI,EAAE,qBAAqB;IAKvC,OAAO,CAAC,GAAG;IAGX,OAAO,CAAC,IAAI;IAIZ,OAAO,CAAC,GAAG;IAGX,OAAO,CAAC,KAAK;IAGb,OAAO,CAAC,iBAAiB;IAIzB,QAAQ,IAAI,OAAO;IAInB;;;;;OAKG;IACH,IAAI,IAAI,IAAI;IAwKZ,gFAAgF;IAChF,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI;IAa5D,OAAO,CAAC,WAAW;IAyBnB,6EAA6E;IAC7E,OAAO,CAAC,aAAa;IAoHrB,OAAO,CAAC,cAAc,CAAsD;IAC5E,OAAO,CAAC,eAAe,CAAK;IAC5B,OAAO,CAAC,aAAa;IAiBrB;;;;;OAKG;IACH,OAAO,CAAC,YAAY;IA8CpB,OAAO,CAAC,aAAa;IA0CrB,OAAO,CAAC,SAAS;IAkBjB,6EAA6E;IAC7E,MAAM,IAAI,uBAAuB;CAgClC;AAED;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG,MAAM,GAAG,OAAO,GAAG,WAAW,GAAG,SAAS,CAAC;AAE7E,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,IAAI,CAAC,sBAAsB,EAAE,QAAQ,GAAG,OAAO,CAAC,GAAG,IAAI,EAC/D,IAAI,EAAE;IAAE,mBAAmB,EAAE,OAAO,CAAC;IAAC,2BAA2B,EAAE,OAAO,CAAA;CAAE,GAC3E,mBAAmB,GAAG,IAAI,CAS5B"}