lingxios 1.0.0

package/dist/src/integrations/lingxiloop/documents.js

@@ -0,0 +1,38 @@
+export const DOCUMENT_METHODS = { list: [], read: ['documentId'] };
+export async function executeDocument(db, services, work, action) {
+    const api = services.documents;
+    const method = action.action.slice('documents.'.length);
+    if (!api || !action.action.startsWith('documents.') || !Object.hasOwn(DOCUMENT_METHODS, method))
+        throw new Error('unsupported document action');
+    const allowed = DOCUMENT_METHODS[method];
+    if (Object.keys(action.args).some(key => !allowed.includes(key)))
+        throw new Error('unknown document argument');
+    if (!work.principalId)
+        throw new Error('document access requires the original human principal');
+    const documentId = action.args['documentId'];
+    if (method === 'read' && (typeof documentId !== 'string' || !documentId.trim() || documentId.length > 2000))
+        throw new Error('documentId is required');
+    await services.permissionService.assertCan({ actorUserId: work.principalId, companyId: work.tenantId,
+        action: 'conversation:read', resource: { type: 'conversation', id: work.sessionId } });
+    const { rows } = await db.query('SELECT project_id FROM conversations WHERE company_id=$1 AND id=$2', [work.tenantId, work.sessionId]);
+    const projectId = rows[0]?.['project_id'];
+    if (typeof projectId !== 'string' || !projectId)
+        throw new Error('document project scope is unavailable');
+    const authorization = { actorUserId: work.principalId, companyId: work.tenantId, projectId,
+        action: 'document:read', resource: method === 'read'
+            ? { type: 'document', id: documentId } : { type: 'project', id: projectId } };
+    await services.permissionService.assertCan(authorization);
+    const scope = { companyId: work.tenantId, projectId, userId: work.principalId };
+    if (method === 'list') {
+        const documents = await api.listAgentDocuments(scope);
+        await services.permissionService.assertCan(authorization);
+        return { documents: documents.slice(0, 100), truncated: documents.length > 100 };
+    }
+    const document = await api.readAgentDocument(scope, documentId);
+    // Native Agent readers scope their lookup but do not authorize the human.
+    await services.permissionService.assertCan(authorization);
+    if (document.id !== documentId || typeof document.body !== 'string')
+        throw new Error('invalid document read result');
+    return { ...document, body: document.body.slice(0, 64_000), bodyTruncated: document.body.length > 64_000 };
+}
+//# sourceMappingURL=documents.js.map

package/dist/src/integrations/lingxiloop/documents.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"documents.js","sourceRoot":"","sources":["../../../../src/integrations/lingxiloop/documents.ts"],"names":[],"mappings":"AAIA,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAW,CAAA;AAE3E,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,EAAgB,EAAE,QAAqE,EAC3H,IAAkC,EAAE,MAAkB;IACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAA;IAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;IACvD,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;IAC/I,MAAM,OAAO,GAAsB,gBAAgB,CAAC,MAAuC,CAAC,CAAA;IAC5F,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAA;IAC9G,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAA;IAC/F,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAC5C,IAAI,MAAM,KAAK,MAAM,IAAI,CAAC,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,UAAU,CAAC,MAAM,GAAG,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAA;IACtJ,MAAM,QAAQ,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ;QAClG,MAAM,EAAE,mBAAmB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;IACxF,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,oEAAoE,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAA;IACtI,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAA;IACzC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAA;IACzG,MAAM,aAAa,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS;QACxF,MAAM,EAAE,eAAwB,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM;YAC3D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,EAAE,EAAE,UAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,CAAA;IAC7G,MAAM,QAAQ,CAAC,iBAAiB,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IACzD,MAAM,KAAK,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,CAAA;IAC/E,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAA;QACrD,MAAM,QAAQ,CAAC,iBAAiB,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;QACzD,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,MAAM,GAAG,GAAG,EAAE,CAAA;IAClF,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,iBAAiB,CAAC,KAAK,EAAE,UAAoB,CAAC,CAAA;IACzE,0EAA0E;IAC1E,MAAM,QAAQ,CAAC,iBAAiB,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IACzD,IAAI,QAAQ,CAAC,EAAE,KAAK,UAAU,IAAI,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;IACpH,OAAO,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,aAAa,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,CAAA;AAC5G,CAAC"}

package/dist/src/integrations/lingxiloop/event-outbox.d.ts

@@ -0,0 +1,5 @@
+import type { SqlQueryable } from '../../control-plane/pg-store.js';
+type Table = 'agent_calendar_outbox' | 'agent_canvas_outbox' | 'agent_document_outbox';
+/** Native Redis publishing is not abortable. Bound outstanding commands while durable rows own retries. */
+export declare function flushEventOutbox(database: SqlQueryable, table: Table, publish: (event: unknown) => Promise<void>): Promise<void>;
+export {};

package/dist/src/integrations/lingxiloop/event-outbox.js

@@ -0,0 +1,47 @@
+import { randomUUID } from 'node:crypto';
+import { createLogger } from '../../logging.js';
+const pending = new WeakMap();
+/** Native Redis publishing is not abortable. Bound outstanding commands while durable rows own retries. */
+export async function flushEventOutbox(database, table, publish) {
+    let commands = pending.get(database);
+    if (!commands) {
+        commands = new Map();
+        pending.set(database, commands);
+    }
+    if (commands.has(table))
+        return;
+    const operation = publishNext(database, table, publish).catch(() => {
+        createLogger().warn('native notification acknowledgement failed; the durable outbox will retry', { table });
+    }).finally(() => commands.delete(table));
+    commands.set(table, operation);
+    let timer;
+    try {
+        await Promise.race([operation, new Promise(resolve => { timer = setTimeout(resolve, 1000); timer.unref(); })]);
+    }
+    finally {
+        if (timer)
+            clearTimeout(timer);
+    }
+}
+async function publishNext(database, table, publish) {
+    const token = randomUUID();
+    // table is a package-owned union, never a resource or model-supplied identifier.
+    const { rows } = await database.query(`WITH candidate AS (
+    SELECT id FROM lingxios.${table} WHERE delivered_at IS NULL AND available_at<=NOW()
+    ORDER BY available_at,id LIMIT 1 FOR UPDATE SKIP LOCKED)
+    UPDATE lingxios.${table} outbox SET claim_token=$1,available_at=NOW()+INTERVAL '60 seconds',attempts=LEAST(attempts+1,30)
+    FROM candidate WHERE outbox.id=candidate.id RETURNING outbox.id,outbox.event`, [token]);
+    const row = rows[0];
+    if (!row)
+        return;
+    try {
+        await publish(row['event']);
+        await database.query(`UPDATE lingxios.${table} SET delivered_at=NOW(),claim_token=NULL WHERE id=$1 AND claim_token=$2`, [row['id'], token]);
+    }
+    catch {
+        await database.query(`UPDATE lingxios.${table} SET claim_token=NULL,
+      available_at=NOW()+LEAST(300,5*power(2,LEAST(attempts-1,6)))*INTERVAL '1 second'
+      WHERE id=$1 AND claim_token=$2`, [row['id'], token]);
+    }
+}
+//# sourceMappingURL=event-outbox.js.map

package/dist/src/integrations/lingxiloop/event-outbox.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-outbox.js","sourceRoot":"","sources":["../../../../src/integrations/lingxiloop/event-outbox.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAG/C,MAAM,OAAO,GAAG,IAAI,OAAO,EAA2C,CAAA;AAEtE,2GAA2G;AAC3G,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,QAAsB,EAAE,KAAY,EAAE,OAA0C;IACrH,IAAI,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACpC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;QAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAAC,CAAC;IACxE,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAM;IAC/B,MAAM,SAAS,GAAG,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QACjE,YAAY,EAAE,CAAC,IAAI,CAAC,2EAA2E,EAAE,EAAE,KAAK,EAAE,CAAC,CAAA;IAC7G,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;IACxC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;IAC9B,IAAI,KAAgD,CAAA;IACpD,IAAI,CAAC;QAAC,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,IAAI,OAAO,CAAO,OAAO,CAAC,EAAE,GAAG,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAA,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAAC,CAAC;YACnH,CAAC;QAAC,IAAI,KAAK;YAAE,YAAY,CAAC,KAAK,CAAC,CAAA;IAAC,CAAC;AAC5C,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,QAAsB,EAAE,KAAY,EAAE,OAA0C;IACzG,MAAM,KAAK,GAAG,UAAU,EAAE,CAAA;IAC1B,iFAAiF;IACjF,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,QAAQ,CAAC,KAAK,CAAC;8BACV,KAAK;;sBAEb,KAAK;iFACsD,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACzF,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACnB,IAAI,CAAC,GAAG;QAAE,OAAM;IAChB,IAAI,CAAC;QACH,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;QAC3B,MAAM,QAAQ,CAAC,KAAK,CAAC,mBAAmB,KAAK,yEAAyE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;IAC7I,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,QAAQ,CAAC,KAAK,CAAC,mBAAmB,KAAK;;qCAEZ,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;IACxD,CAAC;AACH,CAAC"}

package/dist/src/integrations/lingxiloop/index.d.ts

@@ -0,0 +1,3 @@
+export { createLingxiLoop, type LingxiLoopOptions } from './app.js';
+export { releaseVersions } from '../../versions.js';
+export type { LingxiLoopServices, KnowledgeServices, NativeWork, NativeMessage } from './service-contracts.js';

package/dist/src/integrations/lingxiloop/index.js

@@ -0,0 +1,3 @@
+export { createLingxiLoop } from './app.js';
+export { releaseVersions } from '../../versions.js';
+//# sourceMappingURL=index.js.map

package/dist/src/integrations/lingxiloop/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/integrations/lingxiloop/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAA0B,MAAM,UAAU,CAAA;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA"}

package/dist/src/integrations/lingxiloop/learning-attempts.d.ts

@@ -0,0 +1,13 @@
+import { type SqlPool } from '../../control-plane/pg-store.js';
+import type { HostAction, WorkItem } from '../../protocol/types.js';
+import type { LingxiLoopServices } from './service-contracts.js';
+export declare function readAttempts(database: SqlPool, services: Pick<LingxiLoopServices, 'learning' | 'permissionService'>, work: Omit<WorkItem, 'leaseToken'>, action: HostAction): Promise<{
+    attempts: Record<string, unknown>[];
+    truncated: boolean;
+} | {
+    evidence: Record<string, unknown> | undefined;
+    evaluations: Record<string, unknown>[];
+    evaluationsTruncated: boolean;
+    attempts?: never;
+    truncated?: never;
+}>;

package/dist/src/integrations/lingxiloop/learning-attempts.js

@@ -0,0 +1,58 @@
+import { withTransaction } from '../../control-plane/pg-store.js';
+export async function readAttempts(database, services, work, action) {
+    const detail = action.action === 'learning.get_attempt';
+    if (!services.learning || !work.principalId || (!detail && action.action !== 'learning.list_attempts'))
+        throw new Error('learning attempt services and principal are required');
+    const allowed = detail ? ['attemptId'] : ['activityId', 'missionStepId'];
+    if (Object.keys(action.args).some(key => !allowed.includes(key)))
+        throw new Error('unknown attempt read argument');
+    const id = (value) => {
+        if (value === undefined)
+            return undefined;
+        if (typeof value !== 'string' || !value.trim() || value.length > 200)
+            throw new Error('attempt read identifiers must contain 1 to 200 characters');
+        return value.trim();
+    };
+    const attemptId = id(action.args['attemptId']), activityId = id(action.args['activityId']), missionStepId = id(action.args['missionStepId']);
+    if (detail && !attemptId)
+        throw new Error('attemptId is required');
+    if (activityId && missionStepId)
+        throw new Error('filter by activityId or missionStepId, not both');
+    await services.permissionService.assertCan({ actorUserId: work.principalId, companyId: work.tenantId,
+        action: 'learning:read', resource: { type: 'conversation', id: work.sessionId } });
+    const api = services.learning;
+    return withTransaction(database, async (client) => {
+        await client.query('SET TRANSACTION ISOLATION LEVEL REPEATABLE READ, READ ONLY');
+        await client.query("SET LOCAL statement_timeout='10s'");
+        const room = await api.findLearningRoomState(client, { companyId: work.tenantId, channelId: work.sessionId });
+        if (!room || room.companyId !== work.tenantId)
+            throw new Error('conversation is not bound to a learning project');
+        await api.createPermissionService(client).assertCan({ actorUserId: work.principalId, companyId: work.tenantId,
+            action: 'learning:read', resource: { type: 'conversation', id: work.sessionId } });
+        const { rows } = await client.query(`SELECT attempt.id,attempt.activity_id,attempt.mission_step_id,attempt.assistance,
+        attempt.status,attempt.submitted_at,attempt.evidence_id
+      FROM learning_attempts attempt JOIN participants learner
+        ON learner.id=attempt.learner_id AND learner.company_id=attempt.company_id
+      WHERE attempt.company_id=$1 AND attempt.project_id=$2 AND attempt.learner_id=$3
+        AND learner.kind='human' AND learner.departed_at IS NULL
+        AND ($4::text IS NULL OR attempt.id=$4)
+        AND ($5::text IS NULL OR attempt.activity_id=$5)
+        AND ($6::text IS NULL OR attempt.mission_step_id=$6)
+      ORDER BY attempt.submitted_at DESC,attempt.id DESC LIMIT 101`, [work.tenantId, room.projectId, work.principalId, attemptId ?? null, activityId ?? null, missionStepId ?? null]);
+        if (!detail)
+            return { attempts: rows.slice(0, 100), truncated: rows.length > 100 };
+        const attempt = rows[0];
+        if (!attempt)
+            throw new Error('attempt not found for this principal in this project');
+        const evidence = await client.query(`SELECT id,data,created_by_type,created_by_id,created_at FROM evidence_records
+      WHERE id=$1 AND company_id=$2 AND project_id=$3`, [attempt['evidence_id'], work.tenantId, room.projectId]);
+        if (evidence.rows.length !== 1)
+            throw new Error('attempt evidence not found in this project');
+        const evaluations = await client.query(`SELECT id,demonstrated_level,confidence,rubric_results,feedback,evaluator_id,
+        evaluator_kind,status,source_evidence_id,verifier_evidence_id,created_at
+      FROM learning_evaluations WHERE attempt_id=$1 AND company_id=$2 AND project_id=$3
+      ORDER BY created_at DESC,id DESC LIMIT 101`, [attemptId, work.tenantId, room.projectId]);
+        return { ...attempt, evidence: evidence.rows[0], evaluations: evaluations.rows.slice(0, 100), evaluationsTruncated: evaluations.rows.length > 100 };
+    });
+}
+//# sourceMappingURL=learning-attempts.js.map

package/dist/src/integrations/lingxiloop/learning-attempts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"learning-attempts.js","sourceRoot":"","sources":["../../../../src/integrations/lingxiloop/learning-attempts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAgB,MAAM,iCAAiC,CAAA;AAI/E,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,QAAiB,EAAE,QAAoE,EACxH,IAAkC,EAAE,MAAkB;IACtD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,sBAAsB,CAAA;IACvD,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,wBAAwB,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAA;IAC/K,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,eAAe,CAAC,CAAA;IACxE,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;IAClH,MAAM,EAAE,GAAG,CAAC,KAAc,EAAsB,EAAE;QAChD,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAA;QAClJ,OAAO,KAAK,CAAC,IAAI,EAAE,CAAA;IACrB,CAAC,CAAA;IACD,MAAM,SAAS,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,UAAU,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,aAAa,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAA;IAC5I,IAAI,MAAM,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAA;IAClE,IAAI,UAAU,IAAI,aAAa;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAA;IACnG,MAAM,QAAQ,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ;QAClG,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;IACpF,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAA;IAC7B,OAAO,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAC,MAAM,EAAC,EAAE;QAC9C,MAAM,MAAM,CAAC,KAAK,CAAC,4DAA4D,CAAC,CAAA;QAChF,MAAM,MAAM,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAA;QACvD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,qBAAqB,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAA;QAC7G,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAA;QACjH,MAAM,GAAG,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAY,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ;YAC5G,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;QACpF,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC;;;;;;;;;mEAS2B,EAC/D,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,IAAI,IAAI,EAAE,UAAU,IAAI,IAAI,EAAE,aAAa,IAAI,IAAI,CAAC,CAAC,CAAA;QAChH,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,GAAG,GAAG,EAAE,CAAA;QAClF,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACvB,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAA;QACrF,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC;sDACc,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAA;QAC5G,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAA;QAC7F,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC;;;iDAGM,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAA;QAC1F,OAAO,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,oBAAoB,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,EAAE,CAAA;IACrJ,CAAC,CAAC,CAAA;AACJ,CAAC"}

package/dist/src/integrations/lingxiloop/learning-evaluation.d.ts

@@ -0,0 +1,8 @@
+import { type SqlPool } from '../../control-plane/pg-store.js';
+import type { HostAction, WorkItem } from '../../protocol/types.js';
+import type { LingxiLoopServices } from './service-contracts.js';
+export declare function proposeEvaluation(database: SqlPool, services: Pick<LingxiLoopServices, 'learning' | 'permissionService'>, work: Omit<WorkItem, 'leaseToken'>, action: HostAction): Promise<{
+    evaluationId: string;
+    status: "ACCEPTED" | "PENDING";
+    decisions: unknown[];
+}>;

package/dist/src/integrations/lingxiloop/learning-evaluation.js

@@ -0,0 +1,64 @@
+import { withTransaction } from '../../control-plane/pg-store.js';
+import { teacherTransaction } from './teacher.js';
+export async function proposeEvaluation(database, services, work, action) {
+    const api = services.learning;
+    if (!api || !work.principalId || action.action !== 'learning.propose_evaluation')
+        throw new Error('learning evaluation services and principal are required');
+    if (Object.keys(action.args).some(key => !['attemptId', 'demonstratedLevel', 'confidence', 'rubricResults', 'feedback', 'sourceEvidenceId', 'verifierEvidenceId'].includes(key)))
+        throw new Error('unknown evaluation argument');
+    const text = (value, max) => {
+        if (typeof value !== 'string' || !value.trim() || value.length > max)
+            throw new Error(`evaluation text must contain 1 to ${max} characters`);
+        return value.trim();
+    };
+    const attemptId = text(action.args['attemptId'], 200);
+    const demonstratedLevel = action.args['demonstratedLevel'], confidence = action.args['confidence'];
+    if (typeof demonstratedLevel !== 'number' || !Number.isInteger(demonstratedLevel) || demonstratedLevel < 0 || demonstratedLevel > 4)
+        throw new Error('demonstratedLevel must be an integer from 0 to 4');
+    if (typeof confidence !== 'number' || !Number.isFinite(confidence) || confidence < 0 || confidence > 1)
+        throw new Error('confidence must be from 0 to 1');
+    const rubricResults = api.learningScoreBreakdownSchema.parse(action.args['rubricResults']);
+    const feedback = action.args['feedback'] === undefined ? undefined : text(action.args['feedback'], 10000);
+    const sourceEvidenceId = action.args['sourceEvidenceId'] === undefined ? undefined : text(action.args['sourceEvidenceId'], 200);
+    const verifierEvidenceId = action.args['verifierEvidenceId'] === undefined ? undefined : text(action.args['verifierEvidenceId'], 200);
+    if (verifierEvidenceId && !sourceEvidenceId)
+        throw new Error('verifier evidence requires source evidence');
+    await services.permissionService.assertCan({ actorUserId: work.principalId, companyId: work.tenantId,
+        action: 'learning:submit', resource: { type: 'conversation', id: work.sessionId } });
+    const metrics = [];
+    const result = await withTransaction(database, async (client) => {
+        // Native evaluation reads state before taking its state locks; concurrent changes must abort this snapshot.
+        await client.query('SET TRANSACTION ISOLATION LEVEL SERIALIZABLE');
+        await client.query("SET LOCAL statement_timeout='10s'");
+        const room = await api.findLearningRoomState(client, { companyId: work.tenantId, channelId: work.sessionId });
+        if (!room || room.companyId !== work.tenantId)
+            throw new Error('conversation is not bound to a learning project');
+        await api.createPermissionService(client, { lockDependencies: true }).assertCan({ actorUserId: work.principalId, companyId: work.tenantId,
+            action: 'learning:submit', resource: { type: 'conversation', id: work.sessionId } });
+        const attempt = await client.query(`SELECT attempt.id FROM learning_attempts attempt
+      JOIN participants learner ON learner.id=attempt.learner_id AND learner.company_id=attempt.company_id
+      WHERE attempt.id=$1 AND attempt.company_id=$2 AND attempt.project_id=$3 AND attempt.learner_id=$4
+        AND learner.kind='human' AND learner.departed_at IS NULL FOR UPDATE OF attempt`, [attemptId, work.tenantId, room.projectId, work.principalId]);
+        if (attempt.rows.length !== 1)
+            throw new Error('attempt must belong to the persisted human principal in this project');
+        for (const evidenceId of [sourceEvidenceId, verifierEvidenceId]) {
+            if (!evidenceId)
+                continue;
+            const evidence = await client.query('SELECT id FROM evidence_records WHERE id=$1 AND company_id=$2 AND project_id=$3', [evidenceId, work.tenantId, room.projectId]);
+            if (evidence.rows.length !== 1)
+                throw new Error('evaluation evidence is outside this project');
+        }
+        return api.proposeLearningEvaluation(client, teacherTransaction(client), (name, labels) => {
+            if (name !== 'learning.state.changed' && name !== 'learning.evaluation.proposed')
+                throw new Error('unexpected evaluation metric');
+            if (metrics.length >= 1000)
+                throw new Error('evaluation exceeds metric limit');
+            metrics.push({ name, ...(labels ? { labels } : {}) });
+        }, { companyId: work.tenantId, channelId: work.sessionId, agentId: work.agentId, attemptId, demonstratedLevel, confidence, rubricResults,
+            ...(feedback === undefined ? {} : { feedback }), ...(sourceEvidenceId ? { sourceEvidenceId } : {}), ...(verifierEvidenceId ? { verifierEvidenceId } : {}) });
+    });
+    for (const metric of metrics)
+        api.inc(metric.name, metric.labels);
+    return result;
+}
+//# sourceMappingURL=learning-evaluation.js.map

package/dist/src/integrations/lingxiloop/learning-evaluation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"learning-evaluation.js","sourceRoot":"","sources":["../../../../src/integrations/lingxiloop/learning-evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAgB,MAAM,iCAAiC,CAAA;AAG/E,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAA;AAEjD,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,QAAiB,EAAE,QAAoE,EAC7H,IAAkC,EAAE,MAAkB;IACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAA;IAC7B,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,6BAA6B;QAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC5J,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,mBAAmB,EAAE,YAAY,EAAE,eAAe,EAAE,UAAU,EAAE,kBAAkB,EAAE,oBAAoB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;IAChO,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,GAAW,EAAU,EAAE;QACnD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,aAAa,CAAC,CAAA;QAC5I,OAAO,KAAK,CAAC,IAAI,EAAE,CAAA;IACrB,CAAC,CAAA;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,CAAA;IACrD,MAAM,iBAAiB,GAAG,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAClG,IAAI,OAAO,iBAAiB,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,iBAAiB,CAAC,IAAI,iBAAiB,GAAG,CAAC,IAAI,iBAAiB,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAA;IACxM,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAA;IACzJ,MAAM,aAAa,GAAG,GAAG,CAAC,4BAA4B,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAA;IAC1F,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,CAAA;IACzG,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,GAAG,CAAC,CAAA;IAC/H,MAAM,kBAAkB,GAAG,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,GAAG,CAAC,CAAA;IACrI,IAAI,kBAAkB,IAAI,CAAC,gBAAgB;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAA;IAC1G,MAAM,QAAQ,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ;QAClG,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;IACtF,MAAM,OAAO,GAA2G,EAAE,CAAA;IAC1H,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAC,MAAM,EAAC,EAAE;QAC5D,4GAA4G;QAC5G,MAAM,MAAM,CAAC,KAAK,CAAC,8CAA8C,CAAC,CAAA;QAClE,MAAM,MAAM,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAA;QACvD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,qBAAqB,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAA;QAC7G,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAA;QACjH,MAAM,GAAG,CAAC,uBAAuB,CAAC,MAAM,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAY,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ;YACxI,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;QACtF,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC;;;uFAGgD,EACnF,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAA;QAC7D,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAA;QACtH,KAAK,MAAM,UAAU,IAAI,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,EAAE,CAAC;YAChE,IAAI,CAAC,UAAU;gBAAE,SAAQ;YACzB,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,iFAAiF,EAAE,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAA;YACnK,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAA;QAChG,CAAC;QACD,OAAO,GAAG,CAAC,yBAAyB,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;YACxF,IAAI,IAAI,KAAK,wBAAwB,IAAI,IAAI,KAAK,8BAA8B;gBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;YACjI,IAAI,OAAO,CAAC,MAAM,IAAI,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;YAC9E,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QACvD,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,UAAU,EAAE,aAAa;YACtI,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IAChK,CAAC,CAAC,CAAA;IACF,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;IACjE,OAAO,MAAM,CAAA;AACf,CAAC"}

package/dist/src/integrations/lingxiloop/learning-evidence.d.ts

@@ -0,0 +1,7 @@
+import { type SqlPool } from '../../control-plane/pg-store.js';
+import type { HostAction, WorkItem } from '../../protocol/types.js';
+import type { LingxiLoopServices } from './service-contracts.js';
+export declare function recordAttempt(database: SqlPool, services: Pick<LingxiLoopServices, 'learning' | 'permissionService' | 'wukongClient'>, work: Omit<WorkItem, 'leaseToken'>, action: HostAction, channelType: number): Promise<{
+    id: string;
+    learnerId: string;
+}>;

package/dist/src/integrations/lingxiloop/learning-evidence.js

@@ -0,0 +1,88 @@
+import { withTransaction } from '../../control-plane/pg-store.js';
+import { teacherTransaction } from './teacher.js';
+export async function recordAttempt(database, services, work, action, channelType) {
+    const api = services.learning;
+    if (!api || !work.principalId || action.action !== 'learning.record_attempt')
+        throw new Error('learning evidence services and principal are required');
+    if (Object.keys(action.args).some(key => !['activityId', 'missionStepId', 'evidenceClientMsgNos', 'documentIds', 'canvasFrameIds', 'assistance'].includes(key)))
+        throw new Error('unknown attempt argument');
+    const id = (value) => {
+        if (typeof value !== 'string' || !value.trim() || value.length > 2000)
+            throw new Error('evidence identifiers must contain 1 to 2000 characters');
+        return value.trim();
+    };
+    const activityId = action.args['activityId'] === undefined ? undefined : id(action.args['activityId']);
+    const missionStepId = action.args['missionStepId'] === undefined ? undefined : id(action.args['missionStepId']);
+    if (Boolean(activityId) === Boolean(missionStepId))
+        throw new Error('exactly one activityId or missionStepId is required');
+    const refs = (key) => {
+        const value = action.args[key] === undefined ? [] : action.args[key];
+        if (!Array.isArray(value) || value.length > 20)
+            throw new Error('each evidence list is limited to 20 references');
+        const result = value.map(id);
+        if (new Set(result).size !== result.length)
+            throw new Error('duplicate evidence reference');
+        return result;
+    };
+    const evidenceClientMsgNos = refs('evidenceClientMsgNos'), documentIds = refs('documentIds'), canvasFrameIds = refs('canvasFrameIds');
+    if (!evidenceClientMsgNos.length && !documentIds.length && !canvasFrameIds.length)
+        throw new Error('at least one evidence reference is required');
+    const assistance = action.args['assistance'] === undefined ? 'NONE' : action.args['assistance'];
+    if (assistance !== 'NONE' && assistance !== 'HINT' && assistance !== 'GUIDED')
+        throw new Error('invalid assistance');
+    if (channelType !== 1 && channelType !== 2)
+        throw new Error('invalid evidence channel type');
+    await services.permissionService.assertCan({ actorUserId: work.principalId, companyId: work.tenantId,
+        action: 'learning:submit', resource: { type: 'conversation', id: work.sessionId } });
+    const messages = evidenceClientMsgNos.length ? await services.wukongClient().syncMessages(work.sessionId, channelType, 100, work.agentId) : [];
+    const scopedMessages = evidenceClientMsgNos.map(ref => {
+        const message = messages.find(item => item.clientMsgNo === ref && item.channelId === work.sessionId && item.channelType === channelType);
+        if (!message || message.fromUid !== work.principalId || message.payload.refs?.agentId)
+            throw new Error('evidence message must be authored by the persisted human principal');
+        return { clientMsgNo: ref, fromUid: work.principalId, authoredByAgent: false };
+    });
+    let metric;
+    const result = await withTransaction(database, async (client) => {
+        // Author/revision checks and native evidence reads must observe the same versions.
+        await client.query('SET TRANSACTION ISOLATION LEVEL REPEATABLE READ');
+        await client.query("SET LOCAL statement_timeout='10s'");
+        const room = await api.findLearningRoomState(client, { companyId: work.tenantId, channelId: work.sessionId });
+        if (!room || room.companyId !== work.tenantId)
+            throw new Error('conversation is not bound to a learning project');
+        await api.createPermissionService(client, { lockDependencies: true }).assertCan({ actorUserId: work.principalId, companyId: work.tenantId,
+            action: 'learning:submit', resource: { type: 'conversation', id: work.sessionId } });
+        const human = await client.query("SELECT 1 FROM participants WHERE company_id=$1 AND id=$2 AND kind='human' AND departed_at IS NULL", [work.tenantId, work.principalId]);
+        if (human.rows.length !== 1)
+            throw new Error('evidence principal is not an active human');
+        for (const documentId of documentIds) {
+            const evidence = await api.findLearningDocumentEvidence(client, { companyId: work.tenantId, projectId: room.projectId, documentId });
+            if (!evidence || evidence.authorId !== work.principalId)
+                throw new Error('document evidence must belong to the persisted human principal in this project');
+        }
+        for (const frameId of canvasFrameIds) {
+            const evidence = await api.findLearningCanvasEvidence(client, { companyId: work.tenantId, projectId: room.projectId, frameId });
+            if (!evidence || evidence.authorId !== work.principalId)
+                throw new Error('Canvas evidence must belong to the persisted human principal in this project');
+        }
+        const recorded = await api.recordLearningAttempt(client, teacherTransaction(client), {
+            syncMessages: async (input) => {
+                if (input.channelId !== work.sessionId || input.channelType !== channelType || input.loginUid !== work.agentId)
+                    throw new Error('native evidence scope changed');
+                return scopedMessages;
+            },
+            metric: (name, labels) => {
+                if (name !== 'learning.attempt.accepted')
+                    throw new Error('unexpected native evidence metric');
+                metric = labels ? { labels } : {};
+            },
+        }, { companyId: work.tenantId, channelId: work.sessionId, agentId: work.agentId,
+            ...(activityId ? { activityId } : { missionStepId: missionStepId }), evidenceClientMsgNos, documentIds, canvasFrameIds, assistance });
+        if (recorded.learnerId !== work.principalId || !recorded.id)
+            throw new Error('recorded attempt does not match the authorized learner');
+        return recorded;
+    });
+    if (metric)
+        api.inc('learning.attempt.accepted', metric.labels);
+    return result;
+}
+//# sourceMappingURL=learning-evidence.js.map

package/dist/src/integrations/lingxiloop/learning-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"learning-evidence.js","sourceRoot":"","sources":["../../../../src/integrations/lingxiloop/learning-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAgB,MAAM,iCAAiC,CAAA;AAG/E,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAA;AAEjD,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,QAAiB,EAAE,QAAqF,EAC1I,IAAkC,EAAE,MAAkB,EAAE,WAAmB;IAC3E,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAA;IAC7B,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,yBAAyB;QAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAA;IACtJ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,EAAE,eAAe,EAAE,sBAAsB,EAAE,aAAa,EAAE,gBAAgB,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAA;IAC5M,MAAM,EAAE,GAAG,CAAC,KAAc,EAAU,EAAE;QACpC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAA;QAChJ,OAAO,KAAK,CAAC,IAAI,EAAE,CAAA;IACrB,CAAC,CAAA;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAA;IACtG,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAA;IAC/G,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,OAAO,CAAC,aAAa,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAA;IAC1H,MAAM,IAAI,GAAG,CAAC,GAAW,EAAY,EAAE;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACpE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAA;QACjH,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC5B,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;QAC3F,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IACD,MAAM,oBAAoB,GAAG,IAAI,CAAC,sBAAsB,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,EAAE,cAAc,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAA;IACrI,IAAI,CAAC,oBAAoB,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAA;IACjJ,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAC/F,IAAI,UAAU,KAAK,MAAM,IAAI,UAAU,KAAK,MAAM,IAAI,UAAU,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAA;IACpH,IAAI,WAAW,KAAK,CAAC,IAAI,WAAW,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;IAC5F,MAAM,QAAQ,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ;QAClG,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;IACtF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,YAAY,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC9I,MAAM,cAAc,GAAG,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QACpD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,KAAK,GAAG,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,WAAW,CAAC,CAAA;QACxI,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC,WAAW,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAA;QAC5K,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,WAAY,EAAE,eAAe,EAAE,KAAK,EAAE,CAAA;IACjF,CAAC,CAAC,CAAA;IACF,IAAI,MAAuD,CAAA;IAC3D,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAC,MAAM,EAAC,EAAE;QAC5D,mFAAmF;QACnF,MAAM,MAAM,CAAC,KAAK,CAAC,iDAAiD,CAAC,CAAA;QACrE,MAAM,MAAM,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAA;QACvD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,qBAAqB,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAA;QAC7G,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAA;QACjH,MAAM,GAAG,CAAC,uBAAuB,CAAC,MAAM,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAY,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ;YACxI,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;QACtF,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,mGAAmG,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAA;QACxK,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAA;QACzF,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,4BAA4B,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,CAAC,CAAA;YACpI,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,CAAC,WAAW;gBAAE,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAA;QAC5J,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,0BAA0B,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;YAC/H,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,CAAC,WAAW;gBAAE,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAA;QAC1J,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,qBAAqB,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAAE;YACnF,YAAY,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;gBAC1B,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,IAAI,KAAK,CAAC,WAAW,KAAK,WAAW,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,OAAO;oBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;gBAChK,OAAO,cAAc,CAAA;YACvB,CAAC;YACD,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;gBACvB,IAAI,IAAI,KAAK,2BAA2B;oBAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;gBAC9F,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YACnC,CAAC;SACF,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO;YAC7E,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,aAAc,EAAE,CAAC,EAAE,oBAAoB,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAA;QACxI,IAAI,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,WAAW,IAAI,CAAC,QAAQ,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAA;QACtI,OAAO,QAAQ,CAAA;IACjB,CAAC,CAAC,CAAA;IACF,IAAI,MAAM;QAAE,GAAG,CAAC,GAAG,CAAC,2BAA2B,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;IAC/D,OAAO,MAAM,CAAA;AACf,CAAC"}

package/dist/src/integrations/lingxiloop/learning-missions.d.ts

@@ -0,0 +1,18 @@
+import { type SqlPool, type SqlQueryable } from '../../control-plane/pg-store.js';
+import type { HostAction, WorkItem } from '../../protocol/types.js';
+import type { LingxiLoopServices } from './service-contracts.js';
+type Services = Pick<LingxiLoopServices, 'learning' | 'permissionService' | 'wukongClient'>;
+export declare function startMission(database: SqlPool, services: Services, work: Omit<WorkItem, 'leaseToken'>, action: HostAction, channelType: number): Promise<{
+    id: string;
+    projectId: string;
+    learnerId: string;
+    conversationId: string;
+    triggerClientMsgNo: string;
+    goal: string;
+    successCriteria: string;
+    kind: "STUDY" | "RESEARCH" | "PROJECT";
+    coordinatorAgentId: string;
+    status: string;
+}>;
+export declare function assertMissionCoordinatorWork(database: SqlQueryable, services: Pick<LingxiLoopServices, 'learning' | 'permissionService'>, work: Omit<WorkItem, 'leaseToken'>): Promise<string>;
+export {};

package/dist/src/integrations/lingxiloop/learning-missions.js

@@ -0,0 +1,95 @@
+import { createHash, randomUUID } from 'node:crypto';
+import { withTransaction } from '../../control-plane/pg-store.js';
+export async function startMission(database, services, work, action, channelType) {
+    const api = services.learning;
+    if (!api || !work.principalId || action.action !== 'learning.start_mission')
+        throw new Error('learning Mission services and principal are required');
+    if (Object.keys(action.args).some(key => !['goal', 'successCriteria', 'missionKind', 'sourceClientMsgNo', 'explicit'].includes(key)))
+        throw new Error('unknown Mission argument');
+    const required = (key) => {
+        const value = action.args[key];
+        if (typeof value !== 'string' || !value.trim() || value.length > 10_000)
+            throw new Error(`${key} must contain 1 to 10000 characters`);
+        return value.trim();
+    };
+    const goal = required('goal'), successCriteria = required('successCriteria');
+    const explicit = action.args['explicit'], requestedKind = action.args['missionKind'];
+    if (explicit !== undefined && typeof explicit !== 'boolean')
+        throw new Error('explicit must be boolean');
+    if (requestedKind !== undefined && requestedKind !== 'STUDY' && requestedKind !== 'RESEARCH' && requestedKind !== 'PROJECT')
+        throw new Error('invalid Mission kind');
+    const source = action.args['sourceClientMsgNo'] === undefined ? work.triggerRef : required('sourceClientMsgNo');
+    await services.permissionService.assertCan({ actorUserId: work.principalId, companyId: work.tenantId,
+        action: 'learning:submit', resource: { type: 'conversation', id: work.sessionId } });
+    const room = await api.findLearningRoomState(database, { companyId: work.tenantId, channelId: work.sessionId });
+    if (!room || room.companyId !== work.tenantId)
+        throw new Error('conversation is not bound to a learning project');
+    if (room.purpose !== 'study' && explicit !== true)
+        throw new Error('Mission creation outside a study room requires an explicit learner request');
+    if (channelType !== 1 && channelType !== 2)
+        throw new Error('invalid Mission channel type');
+    const messages = await services.wukongClient().syncMessages(work.sessionId, channelType, 100, work.agentId);
+    const trigger = messages.find(message => message.clientMsgNo === source && message.channelId === work.sessionId && message.channelType === channelType);
+    if (!trigger || trigger.fromUid !== work.principalId || trigger.payload.refs?.agentId || trigger.payload.kind !== 'text' || typeof trigger.payload.body !== 'string')
+        throw new Error('Mission source must be the persisted principal’s committed text message in this conversation');
+    const { rows: humans } = await database.query("SELECT name FROM participants WHERE company_id=$1 AND id=$2 AND kind='human' AND departed_at IS NULL", [work.tenantId, trigger.fromUid]);
+    if (humans.length !== 1)
+        throw new Error('Mission source author is not an active human');
+    await services.permissionService.assertCan({ actorUserId: trigger.fromUid, companyId: work.tenantId,
+        action: 'learning:submit', resource: { type: 'project', id: room.projectId } });
+    const kind = requestedKind ?? (room.purpose === 'lab' ? 'PROJECT' : 'STUDY');
+    const result = await withTransaction(database, async (client) => {
+        const current = await api.findLearningRoomState(client, { companyId: work.tenantId, channelId: work.sessionId });
+        if (!current || current.projectId !== room.projectId || current.courseId !== room.courseId || current.purpose !== room.purpose)
+            throw new Error('Mission room binding changed');
+        const coordinatorAgentId = await api.findEligibleLearningMissionCoordinator(client, {
+            companyId: room.companyId, projectId: room.projectId, channelId: work.sessionId,
+            preferredPreset: kind === 'PROJECT' ? 'forge' : kind === 'RESEARCH' ? 'scout' : 'nova', currentAgentId: work.agentId,
+        });
+        if (!coordinatorAgentId)
+            throw new Error('no eligible Mission coordinator is available in this conversation');
+        const stored = await api.upsertLearningMission(client, { id: randomUUID(), companyId: room.companyId, projectId: room.projectId,
+            learnerId: trigger.fromUid, channelId: work.sessionId, triggerClientMsgNo: source, goal, successCriteria, kind, coordinatorAgentId, createdBy: work.agentId });
+        const mission = await api.findLearningMission(client, room.companyId, room.projectId, stored.id);
+        if (!mission || mission.projectId !== room.projectId || mission.learnerId !== trigger.fromUid || mission.conversationId !== work.sessionId
+            || mission.triggerClientMsgNo !== source || stored.inserted && mission.coordinatorAgentId !== coordinatorAgentId)
+            throw new Error('stored Mission does not match its authorized source');
+        if (stored.inserted && coordinatorAgentId !== work.agentId) {
+            const id = 'mission-coordinator-' + createHash('sha256').update(JSON.stringify([work.tenantId, mission.id])).digest('hex');
+            await client.query(`INSERT INTO lingxios.agent_work_items(id,tenant_id,agent_id,session_id,principal_id,thread_id,kind,lane,trigger_ref,priority,meta)
+        VALUES($1,$2,$3,$4,$5,$6,'mission_coordinator','collaboration',$7,190,$8::jsonb)`, [id, work.tenantId, coordinatorAgentId, work.sessionId, trigger.fromUid, work.threadId ?? source, source,
+                JSON.stringify({ text: trigger.payload.body, authorName: String(humans[0]['name'] ?? 'Learner'), missionId: mission.id })]);
+        }
+        return { mission, inserted: stored.inserted };
+    });
+    api.inc(result.inserted ? 'learning.mission.created' : 'learning.mission.deduplicated', result.inserted ? { mode: 'agent' } : undefined);
+    const mission = result.mission;
+    await services.wukongClient().sendMessage(work.sessionId, channelType, work.agentId, {
+        version: 1, kind: 'learning_mission', clientMsgNo: `learning-mission-${mission.id}`, body: mission.goal, refs: { agentId: work.agentId },
+        data: { missionId: mission.id, projectId: room.projectId, ...(room.courseId ? { courseId: room.courseId } : {}),
+            goal: mission.goal, successCriteria: mission.successCriteria, kind: mission.kind, coordinatorAgentId: mission.coordinatorAgentId,
+            status: mission.status, suppressAgentWake: true },
+    });
+    return mission;
+}
+export async function assertMissionCoordinatorWork(database, services, work) {
+    if (!services.learning || !work.principalId || typeof work.meta?.['missionId'] !== 'string')
+        throw new Error('Mission coordinator identity is missing');
+    await services.permissionService.assertCan({ actorUserId: work.principalId, companyId: work.tenantId,
+        action: 'learning:submit', resource: { type: 'conversation', id: work.sessionId } });
+    const room = await services.learning.findLearningRoomState(database, { companyId: work.tenantId, channelId: work.sessionId });
+    const mission = room && await services.learning.findLearningMission(database, work.tenantId, room.projectId, work.meta['missionId']);
+    if (!mission || mission.learnerId !== work.principalId || mission.conversationId !== work.sessionId
+        || mission.coordinatorAgentId !== work.agentId || mission.triggerClientMsgNo !== work.triggerRef)
+        throw new Error('Mission coordinator assignment or scope changed');
+    if (!['PLANNING', 'ACTIVE', 'COMPLETED'].includes(mission.status))
+        throw new Error('Mission is no longer runnable');
+    const eligible = await database.query(`SELECT 1 FROM participants agent JOIN conversations conversation
+    ON conversation.company_id=agent.company_id AND conversation.id=$3 AND conversation.project_id=$4
+    WHERE agent.company_id=$1 AND agent.id=$2 AND agent.kind='agent' AND agent.departed_at IS NULL
+      AND agent.capabilities @> '["canvas","learning"]'::jsonb AND conversation.members ? agent.id`, [work.tenantId, work.agentId, work.sessionId, mission.projectId]);
+    if (eligible.rows.length !== 1)
+        throw new Error('Mission coordinator is no longer eligible');
+    return mission.id;
+}
+//# sourceMappingURL=learning-missions.js.map

package/dist/src/integrations/lingxiloop/learning-missions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"learning-missions.js","sourceRoot":"","sources":["../../../../src/integrations/lingxiloop/learning-missions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAE,eAAe,EAAmC,MAAM,iCAAiC,CAAA;AAMlG,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,QAAiB,EAAE,QAAkB,EAAE,IAAkC,EAAE,MAAkB,EAAE,WAAmB;IACnJ,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAA;IAC7B,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,wBAAwB;QAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAA;IACpJ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,iBAAiB,EAAE,aAAa,EAAE,mBAAmB,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAA;IACjL,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE;QAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,GAAG,qCAAqC,CAAC,CAAA;QACrI,OAAO,KAAK,CAAC,IAAI,EAAE,CAAA;IACrB,CAAC,CAAA;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAA;IAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;IACpF,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,QAAQ,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAA;IACxG,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,OAAO,IAAI,aAAa,KAAK,UAAU,IAAI,aAAa,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAA;IACpK,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAA;IAC/G,MAAM,QAAQ,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ;QAClG,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;IACtF,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,qBAAqB,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAA;IAC/G,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAA;IACjH,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,IAAI,QAAQ,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAA;IAChJ,IAAI,WAAW,KAAK,CAAC,IAAI,WAAW,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;IAC3F,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;IAC3G,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,KAAK,MAAM,IAAI,OAAO,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC,WAAW,KAAK,WAAW,CAAC,CAAA;IACvJ,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC,WAAW,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,8FAA8F,CAAC,CAAA;IACrR,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,KAAK,CAAC,sGAAsG,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IACvL,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAA;IACxF,MAAM,QAAQ,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ;QACjG,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;IACjF,MAAM,IAAI,GAAG,aAAa,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IAC5E,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAC,MAAM,EAAC,EAAE;QAC5D,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,qBAAqB,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAA;QAChH,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;QAC/K,MAAM,kBAAkB,GAAG,MAAM,GAAG,CAAC,sCAAsC,CAAC,MAAM,EAAE;YAClF,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS;YAC/E,eAAe,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,CAAC,OAAO;SACrH,CAAC,CAAA;QACF,IAAI,CAAC,kBAAkB;YAAE,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAA;QAC7G,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,qBAAqB,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS;YAC7H,SAAS,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,kBAAkB,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAA;QAChK,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,CAAA;QAChG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,cAAc,KAAK,IAAI,CAAC,SAAS;eACrI,OAAO,CAAC,kBAAkB,KAAK,MAAM,IAAI,MAAM,CAAC,QAAQ,IAAI,OAAO,CAAC,kBAAkB,KAAK,kBAAkB;YAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAA;QAC1L,IAAI,MAAM,CAAC,QAAQ,IAAI,kBAAkB,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;YAC3D,MAAM,EAAE,GAAG,sBAAsB,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAC1H,MAAM,MAAM,CAAC,KAAK,CAAC;yFACgE,EACjF,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,kBAAkB,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,IAAI,MAAM,EAAE,MAAM;gBACtG,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;QAClI,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAA;IAC/C,CAAC,CAAC,CAAA;IACF,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,+BAA+B,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACxI,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAA;IAC9B,MAAM,QAAQ,CAAC,YAAY,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,IAAI,CAAC,OAAO,EAAE;QACnF,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,WAAW,EAAE,oBAAoB,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;QACxI,IAAI,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7G,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;YAChI,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE;KACpD,CAAC,CAAA;IACF,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAAC,QAAsB,EAAE,QAAoE,EAAE,IAAkC;IACjL,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;IACvJ,MAAM,QAAQ,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ;QAClG,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;IACtF,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,qBAAqB,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAA;IAC7H,MAAM,OAAO,GAAG,IAAI,IAAI,MAAM,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAA;IACpI,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,SAAS,KAAK,IAAI,CAAC,WAAW,IAAI,OAAO,CAAC,cAAc,KAAK,IAAI,CAAC,SAAS;WAC9F,OAAO,CAAC,kBAAkB,KAAK,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,kBAAkB,KAAK,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAA;IACtK,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;IACnH,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,KAAK,CAAC;;;mGAG2D,EAC/F,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAA;IACnE,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAA;IAC5F,OAAO,OAAO,CAAC,EAAE,CAAA;AACnB,CAAC"}

package/dist/src/integrations/lingxiloop/learning.d.ts

@@ -0,0 +1,22 @@
+import type { HostAction, WorkItem } from '../../protocol/types.js';
+import type { LingxiLoopServices } from './service-contracts.js';
+export declare const LEARNING_METHODS: {
+    readonly list_attempts: readonly ["activityId", "missionStepId"];
+    readonly get_attempt: readonly ["attemptId"];
+    readonly propose_evaluation: readonly ["attemptId", "demonstratedLevel", "confidence", "rubricResults", "feedback", "sourceEvidenceId", "verifierEvidenceId"];
+    readonly record_attempt: readonly ["activityId", "missionStepId", "evidenceClientMsgNos", "documentIds", "canvasFrameIds", "assistance"];
+    readonly draft_knowledge_units: readonly ["knowledgeUnits"];
+    readonly draft_activity: readonly ["title", "instructions", "kind", "evaluationMode", "targetLevel", "rubric", "knowledgeUnitIds", "dueAt"];
+    readonly start_mission: readonly ["goal", "successCriteria", "missionKind", "sourceClientMsgNo", "explicit"];
+    readonly update_step: readonly ["missionId", "stepId", "status", "outcome", "sourceEvidenceId", "attemptId"];
+    readonly add_steps: readonly ["missionId", "steps"];
+    readonly finish_planning: readonly ["missionId"];
+    readonly complete_mission: readonly ["missionId"];
+    readonly current: readonly [];
+    readonly get_learner_state: readonly [];
+    readonly list_knowledge_units: readonly [];
+    readonly list_due: readonly [];
+    readonly get_mission: readonly ["missionId"];
+    readonly get_activity: readonly ["activityId"];
+};
+export declare function executeLearning(work: Omit<WorkItem, 'leaseToken'>, action: HostAction, services: Pick<LingxiLoopServices, 'learning' | 'permissionService'>): Promise<unknown>;