agentfootprint 9.36.0 → 9.37.0

package/dist/esm/hosting/conformance/cases.js

@@ -0,0 +1,395 @@
+/**
+ * hosting/conformance/cases — the battery itself.
+ *
+ * Each case holds ONE law of the port and says which one in its `law` field,
+ * so a failure reads as a broken promise rather than as a broken assertion.
+ * Nothing here imports a test framework: a case throws to fail, which is the
+ * one convention every runner in every language already agrees on.
+ */
+import { envelopeOwner } from '../envelope.js';
+// ─── The little assertion kit ────────────────────────────────────────
+/** Fail this case, naming what was expected. */
+function check(condition, message) {
+    if (!condition)
+        throw new Error(message);
+}
+/**
+ * The error a call failed with, or `undefined` when it succeeded.
+ *
+ * Takes a THUNK, so a store that throws synchronously where the port promises
+ * a promise is still measured on its semantics rather than blowing the case up
+ * on its calling convention. That style is its own small defect — a caller
+ * then needs two error handlers, and the one they forget is the one that fires
+ * at 3am — but it is not the law any of these cases is about.
+ */
+async function attempt(work) {
+    try {
+        await work();
+        return undefined;
+    }
+    catch (err) {
+        return err;
+    }
+}
+/** The text of the conversation inside an envelope, for round-trip checks. */
+function textOf(envelope) {
+    const data = envelope?.data;
+    const history = envelope?.format === 'flowchart-v1' ? data.conversation?.history : data.history;
+    if (!Array.isArray(history))
+        return undefined;
+    const first = history[0];
+    return typeof first?.content === 'string' ? first.content : undefined;
+}
+/** Read every page of a listing, so a paging bug shows up as a wrong SET. */
+async function allPages(store, userId, limit) {
+    const ids = [];
+    const pages = [];
+    let cursor;
+    // A bound, not a `while (true)`: a store whose cursor never terminates
+    // should fail this case, not hang the suite that was checking it.
+    for (let page = 0; page < 50; page++) {
+        const result = await store.listByUser(userId, { limit, ...(cursor && { cursor }) });
+        pages.push(result);
+        for (const row of result.sessions)
+            ids.push(row.sessionId);
+        cursor = result.cursor;
+        if (cursor === undefined)
+            return { ids, pages };
+    }
+    throw new Error(`listByUser never stopped: 50 pages of ${limit} and the cursor is still present. ` +
+        `A cursor is promised only when MORE rows exist, so a listing that keeps handing one ` +
+        `back is a sidebar that scrolls forever.`);
+}
+// ─── The battery ─────────────────────────────────────────────────────
+const absentHydratesUndefined = {
+    name: 'absent-session-hydrates-undefined',
+    law: 'Only a session that was never written hydrates as `undefined`.',
+    async run(store, kit) {
+        const stored = await store.hydrate(kit.id('never-written'));
+        check(stored === undefined, `hydrate() of a session that was never written answered ${JSON.stringify(stored)}. ` +
+            `An empty store has to say "nothing here" — anything else and the composer starts a ` +
+            `conversation on top of a value it did not understand.`);
+    },
+};
+const roundTrip = {
+    name: 'persist-hydrate-round-trip',
+    law: 'What persist stored is what hydrate answers, and the last write wins.',
+    async run(store, kit) {
+        const id = kit.id('round-trip');
+        const first = kit.envelope('turn one', 'alice');
+        await store.persist(id, first);
+        const back = await store.hydrate(id);
+        check(back !== undefined, 'hydrate() answered undefined for a session that was just written.');
+        check(back.format === first.format && back.savedAt === first.savedAt, `hydrate() answered format='${String(back.format)}' savedAt=${String(back.savedAt)}, ` +
+            `and '${first.format}'/${first.savedAt} went in. A store that rewrites either one ` +
+            `breaks the reader that branches on format and the listing that sorts on savedAt.`);
+        check(textOf(back) === 'turn one', `the stored conversation came back as ${JSON.stringify(textOf(back))}. ` +
+            `A store may re-encode an envelope; it may not change what was said.`);
+        check(envelopeOwner(back) === 'alice', 'the identity the conversation was signed with did not survive the round trip — ' +
+            'which is the fact every ownership check in this package is derived from.');
+        // Last write wins for the PAYLOAD. This is the half the ownership rule
+        // deliberately does not touch: turn two replaces turn one.
+        await store.persist(id, kit.envelope('turn two', 'alice'));
+        check(textOf(await store.hydrate(id)) === 'turn two', 'a second persist did not replace the stored conversation. Every turn after the ' +
+            'first is a second persist, so a store that keeps the first one stops the ' +
+            'conversation at one exchange.');
+    },
+};
+const unreadableIsNotAbsent = {
+    name: 'unreadable-is-not-absent',
+    law: 'A stored conversation this runtime cannot read is never answered as absent.',
+    harnessNeeds: ['corrupt'],
+    async run(store, kit) {
+        const id = kit.id('corrupted');
+        await store.persist(id, kit.envelope('something real', 'alice'));
+        await kit.harness.corrupt(store, id);
+        // Either answer holds the law. A store that decodes (a file, a document)
+        // refuses BY NAME, so the message points at the store that produced the
+        // bytes; a store that hands its value straight back leaves the refusal to
+        // the composer's readers. What NEITHER may do is answer `undefined` — that
+        // is a fresh start on top of a conversation that exists, and it is
+        // invisible from the outside until somebody's history is gone.
+        let answered;
+        const err = await attempt(async () => {
+            answered = await store.hydrate(id);
+        });
+        check(err !== undefined || answered !== undefined, `hydrate() answered \`undefined\` for a session whose stored bytes are not a readable ` +
+            `envelope. Absent and unreadable are different facts, and only one of them is safe ` +
+            `to answer with a fresh start.`);
+    },
+};
+const forgetRemoves = {
+    name: 'forget-removes-the-conversation',
+    law: 'A store that can forget a session forgets it completely, and forgetting twice is not an error.',
+    members: ['forget'],
+    async run(store, kit) {
+        const forget = store.forget.bind(store);
+        const id = kit.id('forgettable');
+        await store.persist(id, kit.envelope('delete me', 'alice'));
+        await forget(id);
+        check((await store.hydrate(id)) === undefined, 'forget() left the conversation readable. A deletion that does not delete is the ' +
+            'kind of thing a person finds out about from a regulator.');
+        if (store.ownerOf !== undefined) {
+            check((await store.ownerOf(id)) === undefined, 'forget() removed the conversation and left the owner index naming somebody. ' +
+                'A listing built on that index then points at a session nobody can open.');
+        }
+        // Idempotent: a retry, a double-click and a cleanup job all do this.
+        await forget(id);
+    },
+};
+const ownershipDerived = {
+    name: 'ownership-is-derived-from-the-envelope',
+    law: 'The owner is DERIVED from the stored conversation, never declared by whoever called persist.',
+    members: ['ownerOf'],
+    async run(store, kit) {
+        const signed = kit.id('signed');
+        await store.persist(signed, kit.envelope('mine', 'alice'));
+        check((await store.ownerOf(signed)) === 'alice', 'a conversation signed by somebody came back owned by nobody. The owner is the ' +
+            '`principal` on the stored conversation — the composer wrote it there.');
+        // A caller cannot state an owner, because there is nowhere to state one:
+        // the port takes a session id and an envelope. So the only way to try is
+        // to plant the word somewhere and see whether a store reads it. A store
+        // that does has built its permission system out of a request field.
+        const decoy = kit.id('decoy');
+        const envelope = kit.envelope('not mine', 'alice');
+        await store.persist(decoy, {
+            ...envelope,
+            // Two shapes a hopeful caller might try, neither of which is where the
+            // identity lives. `unknown` first because the envelope union has no such
+            // fields — which is the point: they are not part of the contract, and a
+            // store that reads one has invented an API nobody offered.
+            owner: 'mallory',
+            userId: 'mallory',
+        });
+        const owner = await store.ownerOf(decoy);
+        check(owner === 'alice', `a planted 'owner' field on the envelope was read as the owner (got ` +
+            `${JSON.stringify(owner)}). Owning somebody's session must not be a matter of ` +
+            `asking for it.`);
+    },
+};
+const ownershipFillsIn = {
+    name: 'ownership-fills-in-on-a-later-signed-turn',
+    law: 'A conversation that ran anonymously and is then signed for gains that owner.',
+    members: ['ownerOf'],
+    async run(store, kit) {
+        const id = kit.id('gains-an-owner');
+        await store.persist(id, kit.envelope('who am i'));
+        check((await store.ownerOf(id)) === undefined, 'an anonymous conversation came back owned by somebody. Inventing an owner is ' +
+            'inventing an entitlement.');
+        await store.persist(id, kit.envelope('now signed in', 'alice'));
+        check((await store.ownerOf(id)) === 'alice', 'the FIRST turn that signs for a conversation owns it, and this one did not. ' +
+            'A session that gained an identity on turn two must appear in that person’s list.');
+    },
+};
+const leanerTurnKeepsOwner = {
+    name: 'ownership-survives-a-leaner-turn',
+    law: 'A later turn carrying a LEANER identity is stored, and does not erase the owner.',
+    members: ['ownerOf'],
+    async run(store, kit) {
+        const id = kit.id('leaner-turn');
+        await store.persist(id, kit.envelope('turn one', 'alice'));
+        // The blessed flow, and the reason this suite refuses an absence rather
+        // than treating it as a conflict: a turn with no identity claims NOBODY,
+        // so it contradicts nobody. Refusing it would break a flow the contract
+        // describes as intended, to protect against a claim that was never made.
+        const err = await attempt(() => store.persist(id, kit.envelope('turn two')));
+        check(err === undefined, `persisting a turn with no identity onto an owned session was REFUSED (${String(err)}). ` +
+            `An absent identity is not a contradiction, and the port blesses this write in as ` +
+            `many words. A store that refuses it fails turns that have always worked.`);
+        check((await store.ownerOf(id)) === 'alice', 'a leaner turn erased the owner. The session would silently drop out of its ' +
+            "owner's list, which looks to them exactly like losing the conversation.");
+        check(textOf(await store.hydrate(id)) === 'turn two', 'the leaner turn was accepted and then not stored. Keeping the owner is not a ' +
+            'reason to drop the conversation.');
+        if (store.listByUser !== undefined) {
+            const { ids } = await allPages(store, 'alice', 10);
+            check(ids.includes(id), 'the owner kept the session and the listing lost it. An index and a listing that ' +
+                'disagree is a sidebar missing a conversation nobody can explain.');
+        }
+    },
+};
+const differentSignerRefused = {
+    name: 'ownership-is-not-taken-by-a-different-signer',
+    law: 'A turn signed by somebody else is refused WHOLE — the owner index and the stored conversation both.',
+    members: ['ownerOf'],
+    async run(store, kit) {
+        const id = kit.id('contested');
+        await store.persist(id, kit.envelope('alice speaking', 'alice'));
+        const err = await attempt(() => store.persist(id, kit.envelope('bob speaking', 'bob')));
+        check(err !== undefined, `persisting a conversation signed by a DIFFERENT person onto an owned session was ` +
+            `accepted. This is the defect the suite was written for: the write-once rule keeps ` +
+            `the first writer in the owner index and stores the second writer's entire ` +
+            `conversation, so the owner lists the session, opens it, and reads somebody else's.`);
+        // A refusal is read by whoever provoked it. It must teach, and it must
+        // not be a way to find out who is signed in or what they said.
+        const text = err instanceof Error ? `${err.name}: ${err.message}` : String(err);
+        for (const leak of ['alice', 'bob', 'alice speaking', 'bob speaking']) {
+            check(!text.toLowerCase().includes(leak), `the refusal names '${leak}'. An ownership refusal must carry no principal, no ` +
+                `owner and no conversation text — otherwise provoking one is how you find out ` +
+                `who owns a session id.`);
+        }
+        // And the half that matters: refused means NOTHING moved.
+        check((await store.ownerOf(id)) === 'alice', 'the refusal fired and the owner changed anyway.');
+        const back = await store.hydrate(id);
+        check(textOf(back) === 'alice speaking' && envelopeOwner(back) === 'alice', `the refusal fired and the CONVERSATION was replaced anyway (stored: ` +
+            `${JSON.stringify(textOf(back))} signed by ${JSON.stringify(envelopeOwner(back))}). ` +
+            `Refusing only the index column is the original defect wearing a thrown error.`);
+    },
+};
+const contestedWrite = {
+    name: 'contested-write-leaves-no-split-brain',
+    law: 'However two concurrent writers interleave, the owner index and the stored conversation never name different people.',
+    members: ['ownerOf'],
+    async run(store, kit) {
+        const id = kit.id('race');
+        // Both writers, on one FRESH session, started without awaiting the first —
+        // the shape a live trial reproduced against a real backend, where both
+        // calls fulfilled and the second was genuinely retried.
+        const settled = await Promise.all([
+            attempt(() => store.persist(id, kit.envelope('alice speaking', 'alice'))),
+            attempt(() => store.persist(id, kit.envelope('bob speaking', 'bob'))),
+        ]);
+        check(settled.some((err) => err === undefined), `both writers were refused, so nothing was stored at all. One of them was first and ` +
+            `is entitled to its conversation; refusing both turns a contested write into an ` +
+            `outage.`);
+        const owner = await store.ownerOf(id);
+        const signer = envelopeOwner(await store.hydrate(id));
+        // The invariant, one-directional on purpose. An index that names somebody
+        // over a conversation that names nobody is the leaner-turn state, and it
+        // only ever refuses. An index and a conversation naming DIFFERENT people
+        // is the split brain: the index decides who may list and read it, the
+        // conversation decides what they read, and they disagree.
+        check(owner === undefined || signer === undefined || owner === signer, `SPLIT BRAIN: ownerOf() and the stored conversation name different people. ` +
+            `The person the index names lists this session, opens it, and reads the other ` +
+            `one's conversation.`);
+        // And the conversation that survived is a WHOLE one. A store that let both
+        // writes land field by field would satisfy the check above by accident
+        // while holding a document nobody wrote.
+        check(['alice speaking', 'bob speaking'].includes(textOf(await store.hydrate(id)) ?? ''), 'the stored conversation is neither writer’s. A contested write may lose one turn; ' +
+            'it may not invent a third.');
+    },
+};
+const ownerOfAmbiguity = {
+    name: 'owner-of-is-undefined-for-missing-and-unowned',
+    law: '`ownerOf` answers `undefined` for BOTH a session that does not exist and one nobody signed for.',
+    members: ['ownerOf'],
+    async run(store, kit) {
+        const missing = await store.ownerOf(kit.id('no-such-session'));
+        check(missing === undefined, `ownerOf() of a session that does not exist answered ${JSON.stringify(missing)}.`);
+        const unowned = kit.id('unowned');
+        await store.persist(unowned, kit.envelope('nobody signed this'));
+        const owner = await store.ownerOf(unowned);
+        check(owner === undefined, `ownerOf() of a session nobody signed for answered ${JSON.stringify(owner)}. ` +
+            `The two answers must be indistinguishable, or a caller has an oracle for which ` +
+            `session ids are real.`);
+    },
+};
+const listPages = {
+    name: 'list-by-user-pages-with-a-stable-tie-break',
+    law: 'Paging a listing shows every owned session exactly once, nobody else’s ever, and hands back a cursor only when more rows exist.',
+    members: ['listByUser'],
+    async run(store, kit) {
+        // Five for Alice sharing ONE savedAt, so the tie-break is what carries the
+        // paging rather than the timestamp. A cursor that only orders by time
+        // repeats or skips a row exactly here, and only here.
+        const tied = 1_700_000_000_000;
+        const alices = [];
+        for (let n = 0; n < 5; n++) {
+            const id = kit.id(`tied-${n}`);
+            alices.push(id);
+            await store.persist(id, kit.envelope(`alice ${n}`, 'alice', tied));
+        }
+        const bob = kit.id('bobs');
+        await store.persist(bob, kit.envelope('bob', 'bob', tied));
+        const { ids, pages } = await allPages(store, 'alice', 2);
+        check(!ids.includes(bob), "another user's session appeared in this listing. A listing IS the permission " +
+            'check for everything downstream of it.');
+        check(new Set(ids).size === ids.length, `paging repeated a session (${ids.join(', ')}). With equal timestamps a cursor needs ` +
+            `a second, total ordering — usually the session id — or a row lands on both sides ` +
+            `of a page boundary.`);
+        check(alices.every((id) => ids.includes(id)), `paging LOST a session. Seen: ${ids.join(', ')}. Written: ${alices.join(', ')}.`);
+        const last = pages[pages.length - 1];
+        check(last?.cursor === undefined, 'the final page still carried a cursor. A cursor promises MORE, so one on the last ' +
+            'page is a sidebar with a "load more" that loads nothing.');
+        for (const page of pages.slice(0, -1)) {
+            check(page.cursor !== undefined, 'a non-final page carried no cursor, so the rows after it are unreachable.');
+        }
+        // Newest first, when the timestamps actually differ.
+        const older = kit.id('older');
+        const newer = kit.id('newer');
+        await store.persist(older, kit.envelope('older', 'carol', tied - 60_000));
+        await store.persist(newer, kit.envelope('newer', 'carol', tied + 60_000));
+        const carol = await store.listByUser('carol', { limit: 10 });
+        check(carol.sessions[0]?.sessionId === newer, `the listing did not put the newest conversation first (got ` +
+            `${JSON.stringify(carol.sessions.map((s) => s.sessionId))}). Newest-first is the ` +
+            `order a sidebar draws in and the one every listing in this package promises.`);
+    },
+};
+const awkwardIds = {
+    name: 'awkward-session-ids-round-trip',
+    law: 'A session id is OPAQUE: whatever a caller chose comes back as its own conversation, and two different ids never collide.',
+    async run(store, kit) {
+        const awkward = [
+            'has/slashes/inside',
+            'has spaces',
+            '..',
+            './..',
+            'ünïcødé-😀-id',
+            `quote'and"double`,
+            "'; DROP TABLE agent_sessions; --",
+            '-ish-but-not-really',
+            'a'.repeat(1000),
+        ];
+        for (const [index, raw] of awkward.entries()) {
+            const id = `${kit.id('awkward')}${raw}`;
+            await store.persist(id, kit.envelope(`conversation ${index}`, 'alice'));
+            const back = await store.hydrate(id);
+            check(textOf(back) === `conversation ${index}`, `a session id the caller chose did not round-trip: ${JSON.stringify(raw)} came back ` +
+                `as ${JSON.stringify(textOf(back))}. An id is somebody's opaque string, and a ` +
+                `store that mangles it hands them a different conversation.`);
+        }
+        // Two ids that a naive normalisation would fold together.
+        const left = `${kit.id('fold')}a/b`;
+        const right = `${kit.id('fold')}a%2Fb`;
+        await store.persist(left, kit.envelope('left', 'alice'));
+        await store.persist(right, kit.envelope('right', 'alice'));
+        check(textOf(await store.hydrate(left)) === 'left' &&
+            textOf(await store.hydrate(right)) === 'right', 'two different session ids collided onto one conversation. Whatever mapping a store ' +
+            'uses to make an id legal for its backend has to be injective, or one person’s ' +
+            'turn lands in another’s conversation.');
+    },
+};
+const featureDetected = {
+    name: 'optional-members-are-feature-detected',
+    law: 'The optional members are present as functions or absent — never something a caller has to guess about.',
+    async run(store) {
+        for (const member of ['onWake', 'listByUser', 'ownerOf']) {
+            const value = store[member];
+            check(value === undefined || typeof value === 'function', `'${member}' is present as ${typeof value}. Feature detection reads ` +
+                `\`typeof store.${member} === 'function'\`, so a member that is present-but-not-a-` +
+                `function is detected as available and then fails at the door.`);
+        }
+        check(store.listByUser === undefined || store.ownerOf !== undefined, 'this store can LIST a user’s sessions and cannot check ownership of one. ' +
+            'A door built on it hands somebody a list and then refuses to open any of it — ' +
+            'implement `ownerOf` beside `listByUser`.');
+    },
+};
+/**
+ * The battery, in the order a store fails it most usefully: reading before
+ * writing, writing before ownership, ownership before the listing built on it.
+ */
+export const sessionLifecycleConformance = [
+    absentHydratesUndefined,
+    roundTrip,
+    unreadableIsNotAbsent,
+    forgetRemoves,
+    ownershipDerived,
+    ownershipFillsIn,
+    leanerTurnKeepsOwner,
+    differentSignerRefused,
+    contestedWrite,
+    ownerOfAmbiguity,
+    listPages,
+    awkwardIds,
+    featureDetected,
+];
+//# sourceMappingURL=cases.js.map

package/dist/esm/hosting/conformance/cases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cases.js","sourceRoot":"","sources":["../../../../src/hosting/conformance/cases.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAI/C,wEAAwE;AAExE,gDAAgD;AAChD,SAAS,KAAK,CAAC,SAAkB,EAAE,OAAe;IAChD,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;;;;GAQG;AACH,KAAK,UAAU,OAAO,CAAC,IAAmB;IACxC,IAAI,CAAC;QACH,MAAM,IAAI,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,GAAG,CAAC;IACb,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS,MAAM,CAAC,QAAwC;IACtD,MAAM,IAAI,GAAG,QAAQ,EAAE,IAAmE,CAAC;IAC3F,MAAM,OAAO,GAAG,QAAQ,EAAE,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;IAChG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAsC,CAAC;IAC9D,OAAO,OAAO,KAAK,EAAE,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACxE,CAAC;AAED,6EAA6E;AAC7E,KAAK,UAAU,QAAQ,CACrB,KAAuB,EACvB,MAAc,EACd,KAAa;IAEb,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,IAAI,MAA0B,CAAC;IAC/B,uEAAuE;IACvE,kEAAkE;IAClE,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,UAAW,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QACrF,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC3D,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QACvB,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IAClD,CAAC;IACD,MAAM,IAAI,KAAK,CACb,yCAAyC,KAAK,oCAAoC;QAChF,sFAAsF;QACtF,yCAAyC,CAC5C,CAAC;AACJ,CAAC;AAED,wEAAwE;AAExE,MAAM,uBAAuB,GAAyB;IACpD,IAAI,EAAE,mCAAmC;IACzC,GAAG,EAAE,gEAAgE;IACrE,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG;QAClB,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;QAC5D,KAAK,CACH,MAAM,KAAK,SAAS,EACpB,0DAA0D,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI;YAClF,qFAAqF;YACrF,uDAAuD,CAC1D,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAyB;IACtC,IAAI,EAAE,4BAA4B;IAClC,GAAG,EAAE,uEAAuE;IAC5E,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG;QAClB,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAE/B,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACrC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,mEAAmE,CAAC,CAAC;QAC/F,KAAK,CACH,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,EAC9D,8BAA8B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI;YACpF,QAAQ,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,OAAO,6CAA6C;YACnF,kFAAkF,CACrF,CAAC;QACF,KAAK,CACH,MAAM,CAAC,IAAI,CAAC,KAAK,UAAU,EAC3B,wCAAwC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;YACtE,qEAAqE,CACxE,CAAC;QACF,KAAK,CACH,aAAa,CAAC,IAAI,CAAC,KAAK,OAAO,EAC/B,iFAAiF;YAC/E,0EAA0E,CAC7E,CAAC;QAEF,uEAAuE;QACvE,2DAA2D;QAC3D,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QAC3D,KAAK,CACH,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,EAC9C,iFAAiF;YAC/E,2EAA2E;YAC3E,+BAA+B,CAClC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,qBAAqB,GAAyB;IAClD,IAAI,EAAE,0BAA0B;IAChC,GAAG,EAAE,6EAA6E;IAClF,YAAY,EAAE,CAAC,SAAS,CAAC;IACzB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG;QAClB,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QAC/B,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC,CAAC;QACjE,MAAM,GAAG,CAAC,OAAO,CAAC,OAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAEtC,yEAAyE;QACzE,wEAAwE;QACxE,0EAA0E;QAC1E,2EAA2E;QAC3E,mEAAmE;QACnE,+DAA+D;QAC/D,IAAI,QAAiB,CAAC;QACtB,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,KAAK,IAAI,EAAE;YACnC,QAAQ,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QACH,KAAK,CACH,GAAG,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAC3C,uFAAuF;YACrF,oFAAoF;YACpF,+BAA+B,CAClC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,aAAa,GAAyB;IAC1C,IAAI,EAAE,iCAAiC;IACvC,GAAG,EAAE,gGAAgG;IACrG,OAAO,EAAE,CAAC,QAAQ,CAAC;IACnB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG;QAClB,MAAM,MAAM,GAAI,KAAkE,CAAC,MAAM,CAAC,IAAI,CAC5F,KAAK,CACN,CAAC;QACF,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;QACjC,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;QAC5D,MAAM,MAAM,CAAC,EAAE,CAAC,CAAC;QACjB,KAAK,CACH,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,EACvC,kFAAkF;YAChF,0DAA0D,CAC7D,CAAC;QACF,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAChC,KAAK,CACH,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,EACvC,8EAA8E;gBAC5E,yEAAyE,CAC5E,CAAC;QACJ,CAAC;QACD,qEAAqE;QACrE,MAAM,MAAM,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;CACF,CAAC;AAEF,MAAM,gBAAgB,GAAyB;IAC7C,IAAI,EAAE,wCAAwC;IAC9C,GAAG,EAAE,8FAA8F;IACnG,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG;QAClB,MAAM,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QAChC,MAAM,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC3D,KAAK,CACH,CAAC,MAAM,KAAK,CAAC,OAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,OAAO,EAC1C,gFAAgF;YAC9E,uEAAuE,CAC1E,CAAC;QAEF,yEAAyE;QACzE,yEAAyE;QACzE,wEAAwE;QACxE,oEAAoE;QACpE,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACnD,MAAM,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE;YACzB,GAAG,QAAQ;YACX,uEAAuE;YACvE,yEAAyE;YACzE,wEAAwE;YACxE,2DAA2D;YAC3D,KAAK,EAAE,SAAS;YAChB,MAAM,EAAE,SAAS;SACe,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,OAAQ,CAAC,KAAK,CAAC,CAAC;QAC1C,KAAK,CACH,KAAK,KAAK,OAAO,EACjB,qEAAqE;YACnE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,uDAAuD;YAC/E,gBAAgB,CACnB,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,gBAAgB,GAAyB;IAC7C,IAAI,EAAE,2CAA2C;IACjD,GAAG,EAAE,8EAA8E;IACnF,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG;QAClB,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC;QACpC,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAClD,KAAK,CACH,CAAC,MAAM,KAAK,CAAC,OAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,EACxC,+EAA+E;YAC7E,2BAA2B,CAC9B,CAAC;QACF,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC,CAAC;QAChE,KAAK,CACH,CAAC,MAAM,KAAK,CAAC,OAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,OAAO,EACtC,8EAA8E;YAC5E,kFAAkF,CACrF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,oBAAoB,GAAyB;IACjD,IAAI,EAAE,kCAAkC;IACxC,GAAG,EAAE,kFAAkF;IACvF,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG;QAClB,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;QACjC,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QAE3D,wEAAwE;QACxE,yEAAyE;QACzE,wEAAwE;QACxE,yEAAyE;QACzE,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7E,KAAK,CACH,GAAG,KAAK,SAAS,EACjB,yEAAyE,MAAM,CAAC,GAAG,CAAC,KAAK;YACvF,mFAAmF;YACnF,0EAA0E,CAC7E,CAAC;QACF,KAAK,CACH,CAAC,MAAM,KAAK,CAAC,OAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,OAAO,EACtC,6EAA6E;YAC3E,yEAAyE,CAC5E,CAAC;QACF,KAAK,CACH,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,EAC9C,+EAA+E;YAC7E,kCAAkC,CACrC,CAAC;QACF,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YACnD,KAAK,CACH,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAChB,kFAAkF;gBAChF,kEAAkE,CACrE,CAAC;QACJ,CAAC;IACH,CAAC;CACF,CAAC;AAEF,MAAM,sBAAsB,GAAyB;IACnD,IAAI,EAAE,8CAA8C;IACpD,GAAG,EAAE,qGAAqG;IAC1G,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG;QAClB,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QAC/B,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC,CAAC;QAEjE,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACxF,KAAK,CACH,GAAG,KAAK,SAAS,EACjB,mFAAmF;YACjF,oFAAoF;YACpF,4EAA4E;YAC5E,oFAAoF,CACvF,CAAC;QAEF,uEAAuE;QACvE,+DAA+D;QAC/D,MAAM,IAAI,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAChF,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,cAAc,CAAC,EAAE,CAAC;YACtE,KAAK,CACH,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAClC,sBAAsB,IAAI,sDAAsD;gBAC9E,+EAA+E;gBAC/E,wBAAwB,CAC3B,CAAC;QACJ,CAAC;QAED,0DAA0D;QAC1D,KAAK,CACH,CAAC,MAAM,KAAK,CAAC,OAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,OAAO,EACtC,iDAAiD,CAClD,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACrC,KAAK,CACH,MAAM,CAAC,IAAI,CAAC,KAAK,gBAAgB,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,OAAO,EACpE,sEAAsE;YACpE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK;YACrF,+EAA+E,CAClF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,cAAc,GAAyB;IAC3C,IAAI,EAAE,uCAAuC;IAC7C,GAAG,EAAE,qHAAqH;IAC1H,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG;QAClB,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAC1B,2EAA2E;QAC3E,uEAAuE;QACvE,wDAAwD;QACxD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAChC,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC;SACtE,CAAC,CAAC;QACH,KAAK,CACH,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,EACxC,qFAAqF;YACnF,iFAAiF;YACjF,SAAS,CACZ,CAAC;QAEF,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,OAAQ,CAAC,EAAE,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACtD,0EAA0E;QAC1E,yEAAyE;QACzE,yEAAyE;QACzE,sEAAsE;QACtE,0DAA0D;QAC1D,KAAK,CACH,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM,EAC/D,4EAA4E;YAC1E,+EAA+E;YAC/E,qBAAqB,CACxB,CAAC;QACF,2EAA2E;QAC3E,uEAAuE;QACvE,yCAAyC;QACzC,KAAK,CACH,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,EAClF,oFAAoF;YAClF,4BAA4B,CAC/B,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,gBAAgB,GAAyB;IAC7C,IAAI,EAAE,+CAA+C;IACrD,GAAG,EAAE,iGAAiG;IACtG,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG;QAClB,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,OAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAChE,KAAK,CACH,OAAO,KAAK,SAAS,EACrB,uDAAuD,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAClF,CAAC;QACF,MAAM,OAAO,GAAG,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,OAAQ,CAAC,OAAO,CAAC,CAAC;QAC5C,KAAK,CACH,KAAK,KAAK,SAAS,EACnB,qDAAqD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI;YAC5E,iFAAiF;YACjF,uBAAuB,CAC1B,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAyB;IACtC,IAAI,EAAE,4CAA4C;IAClD,GAAG,EAAE,iIAAiI;IACtI,OAAO,EAAE,CAAC,YAAY,CAAC;IACvB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG;QAClB,2EAA2E;QAC3E,sEAAsE;QACtE,sDAAsD;QACtD,MAAM,IAAI,GAAG,iBAAiB,CAAC;QAC/B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChB,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAC3B,MAAM,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAE3D,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QACzD,KAAK,CACH,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAClB,+EAA+E;YAC7E,wCAAwC,CAC3C,CAAC;QACF,KAAK,CACH,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,EAChC,8BAA8B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C;YACpF,mFAAmF;YACnF,qBAAqB,CACxB,CAAC;QACF,KAAK,CACH,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EACtC,gCAAgC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACjF,CAAC;QACF,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,KAAK,CACH,IAAI,EAAE,MAAM,KAAK,SAAS,EAC1B,oFAAoF;YAClF,0DAA0D,CAC7D,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtC,KAAK,CACH,IAAI,CAAC,MAAM,KAAK,SAAS,EACzB,2EAA2E,CAC5E,CAAC;QACJ,CAAC;QAED,qDAAqD;QACrD,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QAC9B,MAAM,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC;QAC1E,MAAM,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,UAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9D,KAAK,CACH,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,KAAK,KAAK,EACtC,6DAA6D;YAC3D,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,yBAAyB;YAClF,8EAA8E,CACjF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,UAAU,GAAyB;IACvC,IAAI,EAAE,gCAAgC;IACtC,GAAG,EAAE,0HAA0H;IAC/H,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG;QAClB,MAAM,OAAO,GAAG;YACd,oBAAoB;YACpB,YAAY;YACZ,IAAI;YACJ,MAAM;YACN,eAAe;YACf,kBAAkB;YAClB,kCAAkC;YAClC,sBAAsB;YACtB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;SACjB,CAAC;QACF,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YAC7C,MAAM,EAAE,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC;YACxC,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,gBAAgB,KAAK,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;YACxE,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACrC,KAAK,CACH,MAAM,CAAC,IAAI,CAAC,KAAK,gBAAgB,KAAK,EAAE,EACxC,qDAAqD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa;gBACnF,MAAM,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,6CAA6C;gBAC/E,4DAA4D,CAC/D,CAAC;QACJ,CAAC;QACD,0DAA0D;QAC1D,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;QACpC,MAAM,KAAK,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC;QACvC,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QACzD,MAAM,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QAC3D,KAAK,CACH,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,MAAM;YAC1C,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,OAAO,EAChD,qFAAqF;YACnF,gFAAgF;YAChF,uCAAuC,CAC1C,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,eAAe,GAAyB;IAC5C,IAAI,EAAE,uCAAuC;IAC7C,GAAG,EAAE,wGAAwG;IAC7G,KAAK,CAAC,GAAG,CAAC,KAAK;QACb,KAAK,MAAM,MAAM,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,SAAS,CAAU,EAAE,CAAC;YAClE,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YAC5B,KAAK,CACH,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,UAAU,EAClD,IAAI,MAAM,mBAAmB,OAAO,KAAK,4BAA4B;gBACnE,kBAAkB,MAAM,2DAA2D;gBACnF,+DAA+D,CAClE,CAAC;QACJ,CAAC;QACD,KAAK,CACH,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAC7D,2EAA2E;YACzE,gFAAgF;YAChF,0CAA0C,CAC7C,CAAC;IACJ,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAoC;IAC1E,uBAAuB;IACvB,SAAS;IACT,qBAAqB;IACrB,aAAa;IACb,gBAAgB;IAChB,gBAAgB;IAChB,oBAAoB;IACpB,sBAAsB;IACtB,cAAc;IACd,gBAAgB;IAChB,SAAS;IACT,UAAU;IACV,eAAe;CAChB,CAAC"}

package/dist/esm/hosting/conformance/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * hosting/conformance — the battery a store must pass to claim
+ * {@link SessionLifecycle}.
+ *
+ * Re-exported from `agentfootprint/hosting`, so an out-of-tree store imports
+ * it exactly the way it imports the port it is implementing. See the README
+ * beside this file for why it exists and how to run it.
+ */
+export { sessionLifecycleConformance } from './cases.js';
+export { formatConformanceReport, runSessionLifecycleCase, runSessionLifecycleConformance, } from './run.js';
+export type { ConformanceKit, SessionLifecycleCase, SessionLifecycleCaseName, SessionLifecycleOutcome, SessionLifecycleReport, SessionStoreHarness, SessionStoreMember, } from './types.js';

package/dist/esm/hosting/conformance/index.js

@@ -0,0 +1,11 @@
+/**
+ * hosting/conformance — the battery a store must pass to claim
+ * {@link SessionLifecycle}.
+ *
+ * Re-exported from `agentfootprint/hosting`, so an out-of-tree store imports
+ * it exactly the way it imports the port it is implementing. See the README
+ * beside this file for why it exists and how to run it.
+ */
+export { sessionLifecycleConformance } from './cases.js';
+export { formatConformanceReport, runSessionLifecycleCase, runSessionLifecycleConformance, } from './run.js';
+//# sourceMappingURL=index.js.map

package/dist/esm/hosting/conformance/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/hosting/conformance/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,2BAA2B,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EACL,uBAAuB,EACvB,uBAAuB,EACvB,8BAA8B,GAC/B,MAAM,UAAU,CAAC"}

package/dist/esm/hosting/conformance/run.d.ts

@@ -0,0 +1,46 @@
+/**
+ * hosting/conformance/run — running the battery, and saying honestly how it
+ * went.
+ *
+ * The runner owns exactly three decisions, and all three are about the ways a
+ * case can NOT run:
+ *
+ *  1. the case is about an OPTIONAL port member this store does not implement
+ *     → `'not-applicable'`, naming the member. Feature detection, which is the
+ *     port's own rule applied to its own battery.
+ *  2. the store implements it and cannot satisfy the case, and the harness said
+ *     so by name → `'declared'`, carrying the reason. It is run ANYWAY, so a
+ *     declaration that has quietly become untrue is visible rather than
+ *     permanent.
+ *  3. the case needs a harness hook nobody supplied and nobody declared →
+ *     `'failed'`. This is the one that matters: an undeclared skip is a pass
+ *     with the evidence removed, which is the same shape as every defect this
+ *     suite exists to catch.
+ */
+import type { SessionLifecycleCase, SessionLifecycleOutcome, SessionLifecycleReport, SessionStoreHarness } from './types.js';
+/**
+ * Run ONE case against one store, building and disposing the store around it.
+ *
+ * Exported because a test framework wants one assertion per case: iterate
+ * {@link sessionLifecycleConformance}, call this, and turn the outcome into a
+ * `it()`. That gives per-case granularity in any framework without this module
+ * knowing what a framework is.
+ */
+export declare function runSessionLifecycleCase(testCase: SessionLifecycleCase, harness: SessionStoreHarness): Promise<SessionLifecycleOutcome>;
+/**
+ * Run the whole battery against one store and report.
+ *
+ * @example  Claiming the port for a store of your own
+ *   const report = await runSessionLifecycleConformance({
+ *     name: 'ourOwnSessions',
+ *     createStore: () => ourOwnSessions({ pool }),
+ *     disposeStore: (store) => store.close(),
+ *   });
+ *   if (!report.ok) throw new Error(formatConformanceReport(report));
+ */
+export declare function runSessionLifecycleConformance(harness: SessionStoreHarness): Promise<SessionLifecycleReport>;
+/**
+ * The report as something to put in a failure message or a log — one line per
+ * case, with the reason a case did not simply pass.
+ */
+export declare function formatConformanceReport(report: SessionLifecycleReport): string;