kiokuko-dsh 0.1.0

package/dist/akinator/knowledge-path.js

@@ -0,0 +1,474 @@
+import { randomUUID } from 'node:crypto';
+import { KiokukoError } from '../errors.js';
+import { LedgerStore } from '../ledger/store.js';
+import { canonicalContentHash, canonicalJson } from '../serialization/validate.js';
+import { readEntryRevision } from '../memory/revisions.js';
+import { AKINATOR_POLICY_VERSION, profileHash } from './domain.js';
+import { deriveAkinatorReasoning } from './reasoning.js';
+import { readAkinatorSession, readRunIntakeLink } from './store.js';
+import { TASK_TYPES } from './types.js';
+const OUTCOMES = ['completed', 'failed', 'cancelled', 'interrupted'];
+const TIMESTAMP_PATTERN = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}\.\d{3}Z$/u;
+function storedIntegrity() {
+    throw new KiokukoError('INTEGRITY_ERROR', 'Akinator reasoning path data is invalid');
+}
+function persistenceConflict() {
+    throw new KiokukoError('CONFLICT', 'Akinator reasoning path already exists');
+}
+function storedNonEmptyString(value) {
+    if (typeof value !== 'string' || value.length === 0)
+        return storedIntegrity();
+    return value;
+}
+function storedPositiveInteger(value) {
+    if (typeof value !== 'number' || !Number.isSafeInteger(value) || value < 1)
+        return storedIntegrity();
+    return value;
+}
+function storedNonNegativeInteger(value) {
+    if (typeof value !== 'number' || !Number.isSafeInteger(value) || value < 0)
+        return storedIntegrity();
+    return value;
+}
+function storedNullableNonNegativeInteger(value) {
+    if (value === null)
+        return null;
+    return storedNonNegativeInteger(value);
+}
+function storedTimestamp(value) {
+    if (typeof value !== 'string' || !TIMESTAMP_PATTERN.test(value))
+        return storedIntegrity();
+    const parsed = new Date(value);
+    if (Number.isNaN(parsed.getTime()) || parsed.toISOString() !== value)
+        return storedIntegrity();
+    return value;
+}
+function storedCanonicalJson(value) {
+    if (typeof value !== 'string')
+        return storedIntegrity();
+    let parsed;
+    try {
+        parsed = JSON.parse(value);
+        if (canonicalJson(parsed) !== value)
+            return storedIntegrity();
+    }
+    catch (error) {
+        if (error instanceof SyntaxError || error instanceof KiokukoError)
+            return storedIntegrity();
+        throw error;
+    }
+    return parsed;
+}
+function storedCanonicalValue(value, expected) {
+    storedCanonicalJson(value);
+    if (value !== canonicalJson(expected))
+        storedIntegrity();
+}
+function storedOutcome(value) {
+    if (typeof value !== 'string' || !OUTCOMES.includes(value))
+        return storedIntegrity();
+    return value;
+}
+function storedTaskType(value) {
+    if (typeof value !== 'string' || !TASK_TYPES.includes(value))
+        return storedIntegrity();
+    return value;
+}
+function storedQualified(value) {
+    if (value !== 0 && value !== 1)
+        return storedIntegrity();
+    return value === 1;
+}
+function storedCompleteness(value) {
+    if (typeof value !== 'number' || !Number.isFinite(value) || value < 0 || value > 1)
+        return storedIntegrity();
+    return value;
+}
+function isPlainObject(value) {
+    if (typeof value !== 'object' || value === null || Array.isArray(value))
+        return false;
+    const prototype = Object.getPrototypeOf(value);
+    return prototype === Object.prototype || prototype === null;
+}
+function decodeVerification(value, expected) {
+    const decoded = storedCanonicalJson(value);
+    if (!isPlainObject(decoded))
+        return storedIntegrity();
+    const fields = ['expected', 'fresh', 'passedTests', 'passedCommands', 'evidenceCount'];
+    if (Object.keys(decoded).length !== fields.length || Object.keys(decoded).some((field) => !fields.includes(field)))
+        return storedIntegrity();
+    if (decoded.expected !== expected || typeof decoded.fresh !== 'boolean')
+        return storedIntegrity();
+    const passedTests = storedNonNegativeInteger(decoded.passedTests);
+    const passedCommands = storedNonNegativeInteger(decoded.passedCommands);
+    const evidenceCount = storedNonNegativeInteger(decoded.evidenceCount);
+    if (passedTests + passedCommands > evidenceCount || (decoded.fresh && evidenceCount === 0))
+        return storedIntegrity();
+    return {
+        expected,
+        fresh: decoded.fresh,
+        passedTests,
+        passedCommands,
+        evidenceCount,
+    };
+}
+function expectedDisqualificationReasons(input) {
+    const reasons = [];
+    if (input.outcome !== 'completed')
+        reasons.push('run-not-completed');
+    if (input.reasoning.stage !== 'actionable' || input.reasoning.silo.completeness < 1)
+        reasons.push('reasoning-silo-incomplete');
+    if (!input.verification.fresh && input.verification.passedTests === 0)
+        reasons.push('no-fresh-verification-or-passing-test');
+    for (const field of ['target', 'expected']) {
+        const source = input.profileSources[field];
+        if (source !== 'client_supplied' && source !== 'user_answer')
+            reasons.push(`${field}-not-grounded`);
+    }
+    return reasons;
+}
+function expectedQuestionPath(session, profileSources) {
+    return ['taskType', 'target', 'expected', 'constraints']
+        .filter((field) => session.profile[field] !== null)
+        .map((field) => ({ field, source: profileSources[field] ?? 'inferred' }));
+}
+const ABSOLUTE_PATH = /(?:[A-Za-z]:[\\/]|\/(?:Users|home|workspace|private|tmp|var|opt)\/)[^\s"'`]+/giu;
+const PROJECT_PHRASE = /\b(?:this|current|our)\s+(?:project|repository|repo)\b|(?:この|現在の|対象の)(?:プロジェクト|リポジトリ)/giu;
+function normalizedConceptTitle(title) {
+    return title
+        .normalize('NFKC')
+        .toLowerCase()
+        .replace(ABSOLUTE_PATH, '<path>')
+        .replace(PROJECT_PHRASE, '<project>')
+        .replace(/\s+/gu, ' ')
+        .trim();
+}
+export function knowledgeConceptKey(entry) {
+    const scope = entry.scope;
+    return canonicalContentHash({
+        kind: entry.kind,
+        memoryClass: typeof scope.memoryClass === 'string' ? scope.memoryClass : null,
+        title: normalizedConceptTitle(entry.title),
+    });
+}
+function knowledgePathCount(database, runId) {
+    const row = database.prepare(`
+    SELECT COUNT(*) AS path_count
+      FROM akinator_reasoning_paths
+     WHERE run_id = ?
+  `).get(runId);
+    if (row === undefined)
+        return storedIntegrity();
+    return storedNonNegativeInteger(row.path_count);
+}
+function assertPersistedKnowledgePath(database, expected) {
+    const row = database.prepare(`
+    SELECT path_id, concept_key, entry_id, entry_revision, run_id, intake_session_id,
+           workspace, policy_version, task_type, intent, hypotheses_json,
+           question_path_json, selected_action, conditions_json, verification_json,
+           stop_conditions_json, silo_completeness, outcome, qualified,
+           disqualification_reasons_json, created_at
+      FROM akinator_reasoning_paths
+     WHERE path_id = ?
+  `).get(expected.path_id);
+    if (row === undefined)
+        return storedIntegrity();
+    for (const [field, value] of Object.entries(expected)) {
+        if (row[field] !== value)
+            return storedIntegrity();
+    }
+}
+export function recordKnowledgePathsInTransaction(database, input) {
+    if (input.entries.length === 0)
+        return { recorded: 0, qualified: 0 };
+    const intake = readRunIntakeLink(database, { workspace: input.workspace, runId: input.runId });
+    const session = readAkinatorSession(database, { workspace: input.workspace, sessionId: intake.sessionId });
+    const reasoning = deriveAkinatorReasoning(session.task, session.profile);
+    if (reasoning.selectedAction === null || session.profile.taskType === null || session.profile.expected === null)
+        return { recorded: 0, qualified: 0 };
+    const questionPath = expectedQuestionPath(session, intake.profileSources);
+    const hypotheses = reasoning.hypotheses.map(({ id, status }) => ({ id, status }));
+    const verification = {
+        expected: session.profile.expected,
+        fresh: input.verification.fresh,
+        passedTests: input.verification.passedTests,
+        passedCommands: input.verification.passedCommands,
+        evidenceCount: input.verification.evidenceCount,
+    };
+    const disqualificationReasons = expectedDisqualificationReasons({
+        outcome: input.outcome,
+        reasoning,
+        verification,
+        profileSources: intake.profileSources,
+    });
+    const qualified = disqualificationReasons.length === 0;
+    const idFactory = input.idFactory ?? randomUUID;
+    const pending = input.entries.map((entry) => ({
+        entry,
+        pathId: idFactory(),
+        conceptKey: knowledgeConceptKey(entry),
+    }));
+    const seenPathIds = new Set();
+    const seenLogicalPaths = new Map();
+    for (const { entry, pathId } of pending) {
+        if (typeof pathId !== 'string' || pathId.length === 0 || seenPathIds.has(pathId))
+            return persistenceConflict();
+        seenPathIds.add(pathId);
+        const revisions = seenLogicalPaths.get(entry.id) ?? new Set();
+        if (revisions.has(entry.revision))
+            return persistenceConflict();
+        revisions.add(entry.revision);
+        seenLogicalPaths.set(entry.id, revisions);
+    }
+    const existingPathId = database.prepare('SELECT path_id FROM akinator_reasoning_paths WHERE path_id = ?');
+    const existingLogicalPath = database.prepare(`
+    SELECT path_id
+      FROM akinator_reasoning_paths
+     WHERE run_id = ? AND entry_id = ? AND entry_revision = ?
+  `);
+    for (const { entry, pathId } of pending) {
+        if (existingPathId.get(pathId) !== undefined
+            || existingLogicalPath.get(input.runId, entry.id, entry.revision) !== undefined)
+            return persistenceConflict();
+    }
+    const beforeCount = knowledgePathCount(database, input.runId);
+    for (const { entry, pathId, conceptKey } of pending) {
+        const expected = {
+            path_id: pathId,
+            concept_key: conceptKey,
+            entry_id: entry.id,
+            entry_revision: entry.revision,
+            run_id: input.runId,
+            intake_session_id: intake.sessionId,
+            workspace: input.workspace,
+            policy_version: `${AKINATOR_POLICY_VERSION}+${reasoning.policyVersion}`,
+            task_type: session.profile.taskType,
+            intent: session.task,
+            hypotheses_json: canonicalJson(hypotheses),
+            question_path_json: canonicalJson(questionPath),
+            selected_action: reasoning.selectedAction,
+            conditions_json: canonicalJson(reasoning.conditions),
+            verification_json: canonicalJson(verification),
+            stop_conditions_json: canonicalJson(reasoning.stopConditions),
+            silo_completeness: reasoning.silo.completeness,
+            outcome: input.outcome,
+            qualified: qualified ? 1 : 0,
+            disqualification_reasons_json: canonicalJson(disqualificationReasons),
+            created_at: input.createdAt,
+        };
+        database.prepare(`
+      INSERT INTO akinator_reasoning_paths (
+        path_id, concept_key, entry_id, entry_revision, run_id, intake_session_id,
+        workspace, policy_version, task_type, intent, hypotheses_json,
+        question_path_json, selected_action, conditions_json, verification_json,
+        stop_conditions_json, silo_completeness, outcome, qualified,
+        disqualification_reasons_json, created_at
+      ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)
+    `).run(expected.path_id, expected.concept_key, expected.entry_id, expected.entry_revision, expected.run_id, expected.intake_session_id, expected.workspace, expected.policy_version, expected.task_type, expected.intent, expected.hypotheses_json, expected.question_path_json, expected.selected_action, expected.conditions_json, expected.verification_json, expected.stop_conditions_json, expected.silo_completeness, expected.outcome, expected.qualified, expected.disqualification_reasons_json, expected.created_at);
+        const changes = database.prepare('SELECT changes() AS changes').get()?.changes;
+        if (changes !== 1)
+            return storedIntegrity();
+        assertPersistedKnowledgePath(database, expected);
+    }
+    if (knowledgePathCount(database, input.runId) !== beforeCount + pending.length)
+        return storedIntegrity();
+    return { recorded: input.entries.length, qualified: qualified ? input.entries.length : 0 };
+}
+function readLinkedState(operation) {
+    try {
+        return operation();
+    }
+    catch (error) {
+        if (error instanceof KiokukoError)
+            return storedIntegrity();
+        throw error;
+    }
+}
+function verificationEvidence(database, runId, createdAt) {
+    const row = database.prepare(`
+    SELECT COUNT(*) AS evidence_count,
+           COALESCE(SUM(CASE
+             WHEN le.kind = 'test'
+              AND ev.event_type = 'test.completed'
+              AND ev.outcome = 'passed'
+             THEN 1 ELSE 0 END), 0) AS passed_tests,
+           COALESCE(SUM(CASE
+             WHEN le.kind = 'command'
+              AND ev.event_type = 'command.completed'
+              AND ev.outcome = 'passed'
+             THEN 1 ELSE 0 END), 0) AS passed_commands,
+           COALESCE(SUM(CASE
+             WHEN le.kind = 'artifact'
+              AND le.locator = 'verification'
+              AND ev.event_type = 'verification.recorded'
+              AND ev.outcome = 'fresh'
+             THEN 1 ELSE 0 END), 0) AS fresh_verifications
+      FROM ledger_evidence AS le
+      LEFT JOIN ledger_events AS ev
+        ON ev.event_id = le.event_id
+       AND ev.run_id = le.run_id
+     WHERE le.run_id = ?
+       AND le.created_at = ?
+  `).get(runId, createdAt);
+    if (row === undefined)
+        return storedIntegrity();
+    return row;
+}
+function assertLedgerRunIntegrity(database, runId, lastSequenceValue, lastSourceSequenceValue, verifiedRuns) {
+    const lastSequence = storedNonNegativeInteger(lastSequenceValue);
+    const lastSourceSequence = storedNullableNonNegativeInteger(lastSourceSequenceValue);
+    if (verifiedRuns.has(runId))
+        return;
+    let chainIsValid;
+    try {
+        chainIsValid = new LedgerStore(database).verifyChain(runId);
+    }
+    catch (error) {
+        if (error instanceof SyntaxError || error instanceof KiokukoError)
+            return storedIntegrity();
+        throw error;
+    }
+    if (!chainIsValid)
+        return storedIntegrity();
+    const cursor = database.prepare(`
+    SELECT COUNT(*) AS event_count,
+           MAX(source_sequence) AS max_source_sequence
+      FROM ledger_events
+     WHERE run_id = ?
+  `).get(runId);
+    if (cursor === undefined
+        || storedNonNegativeInteger(cursor.event_count) !== lastSequence
+        || storedNullableNonNegativeInteger(cursor.max_source_sequence) !== lastSourceSequence)
+        return storedIntegrity();
+    verifiedRuns.add(runId);
+}
+function decodeKnowledgePath(database, row, verifiedRuns) {
+    storedNonEmptyString(row.path_id);
+    const conceptKey = storedNonEmptyString(row.concept_key);
+    if (!/^[0-9a-f]{64}$/u.test(conceptKey))
+        return storedIntegrity();
+    const entryId = storedNonEmptyString(row.entry_id);
+    const entryRevision = storedPositiveInteger(row.entry_revision);
+    const workspace = storedNonEmptyString(row.workspace);
+    const entryWorkspace = storedNonEmptyString(row.entry_workspace);
+    if (entryWorkspace !== workspace && entryWorkspace !== 'global')
+        return storedIntegrity();
+    const revision = readLinkedState(() => readEntryRevision(database, {
+        entryId,
+        workspace: entryWorkspace,
+        revision: entryRevision,
+    }));
+    if (knowledgeConceptKey(revision) !== conceptKey)
+        return storedIntegrity();
+    const runId = storedNonEmptyString(row.run_id);
+    const runWorkspace = storedNonEmptyString(row.run_workspace);
+    if (runWorkspace !== workspace)
+        return storedIntegrity();
+    assertLedgerRunIntegrity(database, runId, row.run_last_sequence, row.run_last_source_sequence, verifiedRuns);
+    const outcome = storedOutcome(row.outcome);
+    if (storedOutcome(row.run_status) !== outcome)
+        return storedIntegrity();
+    const createdAt = storedTimestamp(row.created_at);
+    if (storedTimestamp(row.run_ended_at) !== createdAt)
+        return storedIntegrity();
+    const intakeSessionId = storedNonEmptyString(row.intake_session_id);
+    const intake = readLinkedState(() => readRunIntakeLink(database, { workspace, runId }));
+    if (intake.sessionId !== intakeSessionId
+        || intake.workspace !== workspace
+        || intake.policyVersion !== AKINATOR_POLICY_VERSION
+        || intake.profileSchemaVersion !== 1
+        || intake.finalizedAt === null
+        || intake.initialProfileHash === null)
+        return storedIntegrity();
+    const session = readLinkedState(() => readAkinatorSession(database, { workspace, sessionId: intakeSessionId }));
+    if (session.id !== intakeSessionId
+        || session.workspace !== workspace
+        || session.status !== 'ready'
+        || profileHash(session.profile) !== intake.initialProfileHash)
+        return storedIntegrity();
+    const reasoning = deriveAkinatorReasoning(session.task, session.profile);
+    if (reasoning.stage !== 'actionable'
+        || reasoning.selectedAction === null
+        || session.profile.taskType === null
+        || session.profile.expected === null)
+        return storedIntegrity();
+    if (storedNonEmptyString(row.policy_version) !== `${AKINATOR_POLICY_VERSION}+${reasoning.policyVersion}`
+        || storedTaskType(row.task_type) !== session.profile.taskType
+        || storedNonEmptyString(row.intent) !== session.task
+        || storedNonEmptyString(row.selected_action) !== reasoning.selectedAction)
+        return storedIntegrity();
+    storedCanonicalValue(row.hypotheses_json, reasoning.hypotheses.map(({ id, status }) => ({ id, status })));
+    storedCanonicalValue(row.question_path_json, expectedQuestionPath(session, intake.profileSources));
+    storedCanonicalValue(row.conditions_json, reasoning.conditions);
+    storedCanonicalValue(row.stop_conditions_json, reasoning.stopConditions);
+    const siloCompleteness = storedCompleteness(row.silo_completeness);
+    if (siloCompleteness !== reasoning.silo.completeness)
+        return storedIntegrity();
+    const verification = decodeVerification(row.verification_json, session.profile.expected);
+    const evidence = verificationEvidence(database, runId, createdAt);
+    if (storedNonNegativeInteger(evidence.evidence_count) !== verification.evidenceCount
+        || storedNonNegativeInteger(evidence.passed_tests) !== verification.passedTests
+        || storedNonNegativeInteger(evidence.passed_commands) !== verification.passedCommands
+        || (storedNonNegativeInteger(evidence.fresh_verifications) === 1) !== verification.fresh
+        || storedNonNegativeInteger(evidence.fresh_verifications) > 1)
+        return storedIntegrity();
+    const reasons = expectedDisqualificationReasons({
+        outcome,
+        reasoning,
+        verification,
+        profileSources: intake.profileSources,
+    });
+    storedCanonicalValue(row.disqualification_reasons_json, reasons);
+    const qualified = storedQualified(row.qualified);
+    if (qualified !== (reasons.length === 0))
+        return storedIntegrity();
+    return { conceptKey, runId, workspace, qualified, siloCompleteness };
+}
+export function readKnowledgeEvidence(database, entry) {
+    const conceptKey = knowledgeConceptKey(entry);
+    const rows = database.prepare(`
+    SELECT arp.path_id, arp.concept_key, arp.entry_id, arp.entry_revision,
+           er.workspace AS entry_workspace,
+           arp.run_id, lr.workspace AS run_workspace, lr.status AS run_status,
+           lr.ended_at AS run_ended_at, lr.last_sequence AS run_last_sequence,
+           lr.last_source_sequence AS run_last_source_sequence,
+           arp.intake_session_id, arp.workspace,
+           arp.policy_version, arp.task_type, arp.intent, arp.hypotheses_json,
+           arp.question_path_json, arp.selected_action, arp.conditions_json,
+           arp.verification_json, arp.stop_conditions_json, arp.silo_completeness,
+           arp.outcome, arp.qualified, arp.disqualification_reasons_json, arp.created_at
+      FROM akinator_reasoning_paths AS arp
+      LEFT JOIN entry_revisions AS er
+        ON er.entry_id = arp.entry_id
+       AND er.revision = arp.entry_revision
+      LEFT JOIN ledger_runs AS lr ON lr.run_id = arp.run_id
+     ORDER BY arp.path_id ASC
+  `).all();
+    const verifiedRuns = new Set();
+    const paths = rows.map((row) => decodeKnowledgePath(database, row, verifiedRuns));
+    const matchingPaths = paths.filter((path) => path.conceptKey === conceptKey);
+    const qualifiedPaths = matchingPaths.filter((path) => path.qualified);
+    const qualifiedRuns = new Set(qualifiedPaths.map((path) => path.runId));
+    const independentWorkspaces = new Set(qualifiedPaths.map((path) => path.workspace)).size;
+    const totalPaths = matchingPaths.length;
+    const qualifiedHits = qualifiedRuns.size;
+    const independentRuns = qualifiedRuns.size;
+    const averageCompleteness = qualifiedPaths.length === 0
+        ? 0
+        : Number((qualifiedPaths.reduce((total, path) => total + path.siloCompleteness, 0) / qualifiedPaths.length).toFixed(3));
+    const tier = qualifiedHits === 0
+        ? totalPaths === 0 ? 'unobserved' : 'observed'
+        : independentWorkspaces >= 2 ? 'portable'
+            : independentRuns >= 2 ? 'repeated'
+                : 'observed';
+    return {
+        conceptKey,
+        totalPaths,
+        qualifiedHits,
+        independentRuns,
+        independentWorkspaces,
+        averageCompleteness,
+        tier,
+    };
+}
+//# sourceMappingURL=knowledge-path.js.map

package/dist/akinator/knowledge-path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge-path.js","sourceRoot":"","sources":["../../src/akinator/knowledge-path.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAEnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAA+B,MAAM,YAAY,CAAC;AACjG,OAAO,EAAE,UAAU,EAAmE,MAAM,YAAY,CAAC;AAmHzG,MAAM,QAAQ,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,CAAU,CAAC;AAC9E,MAAM,iBAAiB,GAAG,gDAAgD,CAAC;AAE3E,SAAS,eAAe;IACtB,MAAM,IAAI,YAAY,CAAC,iBAAiB,EAAE,yCAAyC,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,mBAAmB;IAC1B,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,wCAAwC,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IAC9E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc;IAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IACrG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAc;IAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IACrG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gCAAgC,CAAC,KAAc;IACtD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IAC1F,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,KAAK,KAAK;QAAE,OAAO,eAAe,EAAE,CAAC;IAC/F,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,eAAe,EAAE,CAAC;IACxD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAY,CAAC;QACtC,IAAI,aAAa,CAAC,MAAM,CAAC,KAAK,KAAK;YAAE,OAAO,eAAe,EAAE,CAAC;IAChE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,WAAW,IAAI,KAAK,YAAY,YAAY;YAAE,OAAO,eAAe,EAAE,CAAC;QAC5F,MAAM,KAAK,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc,EAAE,QAAiB;IAC7D,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,KAAK,KAAK,aAAa,CAAC,QAAQ,CAAC;QAAE,eAAe,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAkC,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IAClH,OAAO,KAAkC,CAAC;AAC5C,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAiB,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IACnG,OAAO,KAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IACzD,OAAO,KAAK,KAAK,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IAC7G,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAC9D,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,QAAgB;IAC1D,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IACtD,MAAM,MAAM,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,eAAe,CAAC,CAAC;IACvF,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IAC7I,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,eAAe,EAAE,CAAC;IAClG,MAAM,WAAW,GAAG,wBAAwB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,wBAAwB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG,wBAAwB,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACtE,IAAI,WAAW,GAAG,cAAc,GAAG,aAAa,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,aAAa,KAAK,CAAC,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IACrH,OAAO;QACL,QAAQ;QACR,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,WAAW;QACX,cAAc;QACd,aAAa;KACd,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,KAKxC;IACC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,KAAK,CAAC,OAAO,KAAK,WAAW;QAAE,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACrE,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,KAAK,YAAY,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IAC/H,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,IAAI,KAAK,CAAC,YAAY,CAAC,WAAW,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IAC7H,KAAK,MAAM,KAAK,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAU,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,iBAAiB,IAAI,MAAM,KAAK,aAAa;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,eAAe,CAAC,CAAC;IACtG,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAAC,OAA4B,EAAE,cAAsC;IAIhG,OAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,CAAW;SAChE,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;SAClD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,aAAa,GAAG,iFAAiF,CAAC;AACxG,MAAM,cAAc,GAAG,0FAA0F,CAAC;AAElH,SAAS,sBAAsB,CAAC,KAAa;IAC3C,OAAO,KAAK;SACT,SAAS,CAAC,MAAM,CAAC;SACjB,WAAW,EAAE;SACb,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC;SAChC,OAAO,CAAC,cAAc,EAAE,WAAW,CAAC;SACpC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAoD;IACtF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAgC,CAAC;IACrD,OAAO,oBAAoB,CAAC;QAC1B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,WAAW,EAAE,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;QAC7E,KAAK,EAAE,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC;KAC3C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAwB,EAAE,KAAa;IACjE,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;GAI5B,CAAC,CAAC,GAAG,CAAwB,KAAK,CAAC,CAAC;IACrC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,eAAe,EAAE,CAAC;IAChD,OAAO,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,4BAA4B,CACnC,QAAwB,EACxB,QAAyE;IAEzE,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;;;;GAQ5B,CAAC,CAAC,GAAG,CAA4B,QAAQ,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,eAAe,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtD,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK;YAAE,OAAO,eAAe,EAAE,CAAC;IACrD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,QAAwB,EACxB,KAAgC;IAEhC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrE,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IAC/F,MAAM,OAAO,GAAG,mBAAmB,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;IAC3G,MAAM,SAAS,GAAG,uBAAuB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACzE,IAAI,SAAS,CAAC,cAAc,KAAK,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAEtJ,MAAM,YAAY,GAAG,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAClF,MAAM,YAAY,GAA8B;QAC9C,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ;QAClC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK;QAC/B,WAAW,EAAE,KAAK,CAAC,YAAY,CAAC,WAAW;QAC3C,cAAc,EAAE,KAAK,CAAC,YAAY,CAAC,cAAc;QACjD,aAAa,EAAE,KAAK,CAAC,YAAY,CAAC,aAAa;KAChD,CAAC;IACF,MAAM,uBAAuB,GAAG,+BAA+B,CAAC;QAC9D,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS;QACT,YAAY;QACZ,cAAc,EAAE,MAAM,CAAC,cAAc;KACtC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,uBAAuB,CAAC,MAAM,KAAK,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,IAAI,UAAU,CAAC;IAChD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5C,KAAK;QACL,MAAM,EAAE,SAAS,EAAE;QACnB,UAAU,EAAE,mBAAmB,CAAC,KAAK,CAAC;KACvC,CAAC,CAAC,CAAC;IACJ,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuB,CAAC;IACxD,KAAK,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACxC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,mBAAmB,EAAE,CAAC;QAC/G,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACtE,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC;YAAE,OAAO,mBAAmB,EAAE,CAAC;QAChE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC9B,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,cAAc,GAAG,QAAQ,CAAC,OAAO,CAAC,gEAAgE,CAAC,CAAC;IAC1G,MAAM,mBAAmB,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;GAI5C,CAAC,CAAC;IACH,KAAK,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACxC,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,SAAS;eACvC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,SAAS;YAAE,OAAO,mBAAmB,EAAE,CAAC;IAClH,CAAC;IAED,MAAM,WAAW,GAAG,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,KAAK,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,OAAO,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG;YACf,OAAO,EAAE,MAAM;YACf,WAAW,EAAE,UAAU;YACvB,QAAQ,EAAE,KAAK,CAAC,EAAE;YAClB,cAAc,EAAE,KAAK,CAAC,QAAQ;YAC9B,MAAM,EAAE,KAAK,CAAC,KAAK;YACnB,iBAAiB,EAAE,MAAM,CAAC,SAAS;YACnC,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,cAAc,EAAE,GAAG,uBAAuB,IAAI,SAAS,CAAC,aAAa,EAAE;YACvE,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ;YACnC,MAAM,EAAE,OAAO,CAAC,IAAI;YACpB,eAAe,EAAE,aAAa,CAAC,UAAU,CAAC;YAC1C,kBAAkB,EAAE,aAAa,CAAC,YAAY,CAAC;YAC/C,eAAe,EAAE,SAAS,CAAC,cAAc;YACzC,eAAe,EAAE,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC;YACpD,iBAAiB,EAAE,aAAa,CAAC,YAAY,CAAC;YAC9C,oBAAoB,EAAE,aAAa,CAAC,SAAS,CAAC,cAAc,CAAC;YAC7D,iBAAiB,EAAE,SAAS,CAAC,IAAI,CAAC,YAAY;YAC9C,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5B,6BAA6B,EAAE,aAAa,CAAC,uBAAuB,CAAC;YACrE,UAAU,EAAE,KAAK,CAAC,SAAS;SAC5B,CAAC;QACF,QAAQ,CAAC,OAAO,CAAC;;;;;;;;KAQhB,CAAC,CAAC,GAAG,CACJ,QAAQ,CAAC,OAAO,EAChB,QAAQ,CAAC,WAAW,EACpB,QAAQ,CAAC,QAAQ,EACjB,QAAQ,CAAC,cAAc,EACvB,QAAQ,CAAC,MAAM,EACf,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,cAAc,EACvB,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,MAAM,EACf,QAAQ,CAAC,eAAe,EACxB,QAAQ,CAAC,kBAAkB,EAC3B,QAAQ,CAAC,eAAe,EACxB,QAAQ,CAAC,eAAe,EACxB,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,oBAAoB,EAC7B,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,OAAO,EAChB,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,6BAA6B,EACtC,QAAQ,CAAC,UAAU,CACpB,CAAC;QACF,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC,GAAG,EAAwB,EAAE,OAAO,CAAC;QACrG,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,eAAe,EAAE,CAAC;QAC5C,4BAA4B,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,WAAW,GAAG,OAAO,CAAC,MAAM;QAAE,OAAO,eAAe,EAAE,CAAC;IACzG,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7F,CAAC;AAED,SAAS,eAAe,CAAI,SAAkB;IAC5C,IAAI,CAAC;QACH,OAAO,SAAS,EAAE,CAAC;IACrB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,YAAY;YAAE,OAAO,eAAe,EAAE,CAAC;QAC5D,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAwB,EACxB,KAAa,EACb,SAAiB;IAEjB,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;;;;;;;;;;;;;;;;;;;;GAwB5B,CAAC,CAAC,GAAG,CAA0B,KAAK,EAAE,SAAS,CAAC,CAAC;IAClD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,eAAe,EAAE,CAAC;IAChD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAwB,EACxB,KAAa,EACb,iBAA0B,EAC1B,uBAAgC,EAChC,YAAyB;IAEzB,MAAM,YAAY,GAAG,wBAAwB,CAAC,iBAAiB,CAAC,CAAC;IACjE,MAAM,kBAAkB,GAAG,gCAAgC,CAAC,uBAAuB,CAAC,CAAC;IACrF,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO;IACpC,IAAI,YAAqB,CAAC;IAC1B,IAAI,CAAC;QACH,YAAY,GAAG,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,WAAW,IAAI,KAAK,YAAY,YAAY;YAAE,OAAO,eAAe,EAAE,CAAC;QAC5F,MAAM,KAAK,CAAC;IACd,CAAC;IACD,IAAI,CAAC,YAAY;QAAE,OAAO,eAAe,EAAE,CAAC;IAC5C,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;GAK/B,CAAC,CAAC,GAAG,CAAkB,KAAK,CAAC,CAAC;IAC/B,IAAI,MAAM,KAAK,SAAS;WACnB,wBAAwB,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,YAAY;WAC7D,gCAAgC,CAAC,MAAM,CAAC,mBAAmB,CAAC,KAAK,kBAAkB;QAAE,OAAO,eAAe,EAAE,CAAC;IACnH,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAwB,EACxB,GAAqB,EACrB,YAAyB;IAEzB,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACzD,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IAClE,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnD,MAAM,aAAa,GAAG,qBAAqB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACtD,MAAM,cAAc,GAAG,oBAAoB,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IACjE,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,QAAQ;QAAE,OAAO,eAAe,EAAE,CAAC;IAC1F,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE;QACjE,OAAO;QACP,SAAS,EAAE,cAAc;QACzB,QAAQ,EAAE,aAAa;KACxB,CAAC,CAAC,CAAC;IACJ,IAAI,mBAAmB,CAAC,QAAQ,CAAC,KAAK,UAAU;QAAE,OAAO,eAAe,EAAE,CAAC;IAE3E,MAAM,KAAK,GAAG,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,oBAAoB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC7D,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,eAAe,EAAE,CAAC;IACzD,wBAAwB,CACtB,QAAQ,EACR,KAAK,EACL,GAAG,CAAC,iBAAiB,EACrB,GAAG,CAAC,wBAAwB,EAC5B,YAAY,CACb,CAAC;IACF,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3C,IAAI,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,OAAO;QAAE,OAAO,eAAe,EAAE,CAAC;IACxE,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,eAAe,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,SAAS;QAAE,OAAO,eAAe,EAAE,CAAC;IAE9E,MAAM,eAAe,GAAG,oBAAoB,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACxF,IAAI,MAAM,CAAC,SAAS,KAAK,eAAe;WACnC,MAAM,CAAC,SAAS,KAAK,SAAS;WAC9B,MAAM,CAAC,aAAa,KAAK,uBAAuB;WAChD,MAAM,CAAC,oBAAoB,KAAK,CAAC;WACjC,MAAM,CAAC,WAAW,KAAK,IAAI;WAC3B,MAAM,CAAC,kBAAkB,KAAK,IAAI;QAAE,OAAO,eAAe,EAAE,CAAC;IAClE,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;IAChH,IAAI,OAAO,CAAC,EAAE,KAAK,eAAe;WAC7B,OAAO,CAAC,SAAS,KAAK,SAAS;WAC/B,OAAO,CAAC,MAAM,KAAK,OAAO;WAC1B,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,kBAAkB;QAAE,OAAO,eAAe,EAAE,CAAC;IAE1F,MAAM,SAAS,GAAG,uBAAuB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACzE,IAAI,SAAS,CAAC,KAAK,KAAK,YAAY;WAC/B,SAAS,CAAC,cAAc,KAAK,IAAI;WACjC,OAAO,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI;WACjC,OAAO,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,eAAe,EAAE,CAAC;IACjE,IAAI,oBAAoB,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,GAAG,uBAAuB,IAAI,SAAS,CAAC,aAAa,EAAE;WACnG,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,QAAQ;WAC1D,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,IAAI;WACjD,oBAAoB,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,SAAS,CAAC,cAAc;QAAE,OAAO,eAAe,EAAE,CAAC;IAEtG,oBAAoB,CAAC,GAAG,CAAC,eAAe,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1G,oBAAoB,CAAC,GAAG,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;IACnG,oBAAoB,CAAC,GAAG,CAAC,eAAe,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;IAChE,oBAAoB,CAAC,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC;IACzE,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IACnE,IAAI,gBAAgB,KAAK,SAAS,CAAC,IAAI,CAAC,YAAY;QAAE,OAAO,eAAe,EAAE,CAAC;IAE/E,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,iBAAiB,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAClE,IAAI,wBAAwB,CAAC,QAAQ,CAAC,cAAc,CAAC,KAAK,YAAY,CAAC,aAAa;WAC/E,wBAAwB,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,YAAY,CAAC,WAAW;WAC5E,wBAAwB,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,YAAY,CAAC,cAAc;WAClF,CAAC,wBAAwB,CAAC,QAAQ,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,KAAK,YAAY,CAAC,KAAK;WACrF,wBAAwB,CAAC,QAAQ,CAAC,mBAAmB,CAAC,GAAG,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IAE1F,MAAM,OAAO,GAAG,+BAA+B,CAAC;QAC9C,OAAO;QACP,SAAS;QACT,YAAY;QACZ,cAAc,EAAE,MAAM,CAAC,cAAc;KACtC,CAAC,CAAC;IACH,oBAAoB,CAAC,GAAG,CAAC,6BAA6B,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACjD,IAAI,SAAS,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,eAAe,EAAE,CAAC;IACnE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,QAAwB,EACxB,KAAoD;IAEpD,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;;;;;;;;;;;;;GAiB7B,CAAC,CAAC,GAAG,EAAoB,CAAC;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC;IAClF,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;IAC7E,MAAM,cAAc,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACxE,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACzF,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC;IACxC,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,CAAC;IACzC,MAAM,eAAe,GAAG,aAAa,CAAC,IAAI,CAAC;IAC3C,MAAM,mBAAmB,GAAG,cAAc,CAAC,MAAM,KAAK,CAAC;QACrD,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1H,MAAM,IAAI,GAA0B,aAAa,KAAK,CAAC;QACrD,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU;QAC9C,CAAC,CAAC,qBAAqB,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU;YACvC,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU;gBACjC,CAAC,CAAC,UAAU,CAAC;IACnB,OAAO;QACL,UAAU;QACV,UAAU;QACV,aAAa;QACb,eAAe;QACf,qBAAqB;QACrB,mBAAmB;QACnB,IAAI;KACL,CAAC;AACJ,CAAC"}

package/dist/akinator/orchestrator.d.ts

@@ -0,0 +1,7 @@
+import type { SqliteDatabase } from '../db/adapter.js';
+import type { AnswerAkinatorInput, StartAkinatorInput } from './service.js';
+import type { AkinatorResult } from './types.js';
+export type { AnswerAkinatorInput, StartAkinatorInput } from './service.js';
+export declare function startAkinator(database: SqliteDatabase, input: StartAkinatorInput): Promise<AkinatorResult>;
+export declare function answerAkinator(database: SqliteDatabase, input: AnswerAkinatorInput): Promise<AkinatorResult>;
+//# sourceMappingURL=orchestrator.d.ts.map

package/dist/akinator/orchestrator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../src/akinator/orchestrator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAKvD,OAAO,KAAK,EACV,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,YAAY,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAE5E,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE,kBAAkB,GACxB,OAAO,CAAC,cAAc,CAAC,CAEzB;AAED,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAAC,cAAc,CAAC,CAEzB"}

package/dist/akinator/orchestrator.js

@@ -0,0 +1,8 @@
+import { answerAkinatorService, startAkinatorService, } from './service.js';
+export function startAkinator(database, input) {
+    return startAkinatorService(database, input);
+}
+export function answerAkinator(database, input) {
+    return answerAkinatorService(database, input);
+}
+//# sourceMappingURL=orchestrator.js.map

package/dist/akinator/orchestrator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../../src/akinator/orchestrator.ts"],"names":[],"mappings":"AACA,OAAO,EACL,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAStB,MAAM,UAAU,aAAa,CAC3B,QAAwB,EACxB,KAAyB;IAEzB,OAAO,oBAAoB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,QAAwB,EACxB,KAA0B;IAE1B,OAAO,qBAAqB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AAChD,CAAC"}

package/dist/akinator/reasoning.d.ts

@@ -0,0 +1,8 @@
+import type { AkinatorReasoning, TaskProfile } from './types.js';
+export declare const AKINATOR_REASONING_POLICY_VERSION: "reasoning-v1";
+export declare function deriveAkinatorReasoning(task: string, profile: TaskProfile): AkinatorReasoning;
+export declare function reasoningQuestionGuidance(questionId: keyof TaskProfile): {
+    purpose: string;
+    discriminates: string[];
+};
+//# sourceMappingURL=reasoning.d.ts.map

package/dist/akinator/reasoning.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reasoning.d.ts","sourceRoot":"","sources":["../../src/akinator/reasoning.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,iBAAiB,EAEjB,WAAW,EAEZ,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,iCAAiC,EAAG,cAAuB,CAAC;AAkDzE,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,GAAG,iBAAiB,CA6C7F;AAED,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,MAAM,WAAW,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,EAAE,CAAA;CAAE,CAuBrH"}

package/dist/akinator/reasoning.js

@@ -0,0 +1,118 @@
+export const AKINATOR_REASONING_POLICY_VERSION = 'reasoning-v1';
+const ACTION_FAMILIES = {
+    build: {
+        id: 'build',
+        label: '実装する',
+        description: '対象を変更し、要求された振る舞いを追加する。',
+    },
+    debug: {
+        id: 'debug',
+        label: '原因を特定して修正する',
+        description: '再現条件と根本原因を絞り、回帰を防ぐ修正を行う。',
+    },
+    research: {
+        id: 'research',
+        label: '調査して比較する',
+        description: '一次情報と現在の証拠を集め、選択肢を比較する。',
+    },
+    review: {
+        id: 'review',
+        label: '検査して指摘する',
+        description: '対象を変更せず、欠陥・リスク・不足を証拠付きで示す。',
+    },
+    devops: {
+        id: 'devops',
+        label: '運用状態を変更する',
+        description: '環境・配備・運用設定を安全に変更して確認する。',
+    },
+    writing: {
+        id: 'writing',
+        label: '利用可能な文書を作る',
+        description: '対象読者と用途に合う文書を作成または更新する。',
+    },
+    analysis: {
+        id: 'analysis',
+        label: '分析して判断材料を作る',
+        description: '入力を構造化し、関係・傾向・判断根拠を明らかにする。',
+    },
+};
+function actionFor(profile) {
+    if (profile.taskType === null || profile.target === null || profile.expected === null)
+        return null;
+    const family = ACTION_FAMILIES[profile.taskType];
+    return `${profile.target}について「${family.label}」を実行し、${profile.expected}を満たす。`;
+}
+function level(level, value) {
+    return { level, status: value === null ? 'missing' : 'resolved', value };
+}
+export function deriveAkinatorReasoning(task, profile) {
+    const selectedAction = actionFor(profile);
+    const hypotheses = Object.keys(ACTION_FAMILIES).map((id) => ({
+        ...ACTION_FAMILIES[id],
+        status: profile.taskType === null ? 'possible' : profile.taskType === id ? 'selected' : 'rejected',
+    }));
+    const verification = profile.expected === null ? [] : [`成功条件を現在の対象で確認する: ${profile.expected}`];
+    const stopConditions = [
+        ...(profile.expected === null ? [] : [`成功条件を満たした時点で停止する: ${profile.expected}`]),
+        ...(profile.constraints === null ? [] : [`制約に抵触する場合は停止して確認する: ${profile.constraints}`]),
+    ];
+    const levels = [
+        level('intent', task.trim() || null),
+        level('action-family', profile.taskType === null ? null : ACTION_FAMILIES[profile.taskType].label),
+        level('target', profile.target),
+        level('success', profile.expected),
+        level('action', selectedAction),
+        level('verification', verification[0] ?? null),
+    ];
+    const resolved = levels.filter((item) => item.status === 'resolved').length;
+    const stage = profile.taskType === null
+        ? 'exploring'
+        : selectedAction === null
+            ? 'narrowing'
+            : 'actionable';
+    return {
+        policyVersion: AKINATOR_REASONING_POLICY_VERSION,
+        stage,
+        hypotheses,
+        questions: ['taskType', 'target', 'expected'].map((id) => ({
+            id,
+            status: profile[id] === null ? 'pending' : 'answered',
+            ...reasoningQuestionGuidance(id),
+        })),
+        selectedAction,
+        conditions: profile.constraints === null ? [] : [profile.constraints],
+        verification,
+        stopConditions,
+        silo: {
+            levels,
+            resolved,
+            total: levels.length,
+            completeness: Number((resolved / levels.length).toFixed(3)),
+        },
+    };
+}
+export function reasoningQuestionGuidance(questionId) {
+    if (questionId === 'taskType') {
+        return {
+            purpose: '抽象的な依頼を、実装・修正・調査・レビューなどの行動系列へ絞り込みます。',
+            discriminates: Object.keys(ACTION_FAMILIES),
+        };
+    }
+    if (questionId === 'target') {
+        return {
+            purpose: '選ばれた行動系列を、実際に操作または評価する対象へ結び付けます。',
+            discriminates: ['対象範囲', '変更境界', '証拠の取得場所'],
+        };
+    }
+    if (questionId === 'expected') {
+        return {
+            purpose: '作業をした事実ではなく、採用する行動と停止条件を判定できる成功状態へ絞り込みます。',
+            discriminates: ['成功条件', '検証方法', '停止条件'],
+        };
+    }
+    return {
+        purpose: '実行可能な行動から、許容できない経路と停止すべき条件を除外します。',
+        discriminates: ['制約', '除外条件', '停止条件'],
+    };
+}
+//# sourceMappingURL=reasoning.js.map