@squadrules/mcp 4.8.6

package/dist/tools/forward.js

@@ -0,0 +1,206 @@
+import crypto from 'node:crypto';
+import { getTenantId } from '../utils/tenant-context.js';
+import { resolveAdapterNextLayer, resolveAdapterPreviousLayer } from '../services/adapter-navigation.js';
+import { executionTraceStore } from '../services/execution-trace-store.js';
+import { forwardRuntimeStore } from '../services/forward-runtime-store.js';
+import { getAdapterId, getInferenceContract, getLayerIndex } from '../services/memory/memory-accessors.js';
+import { proofOfWorkStore } from '../services/proof-of-work-store.js';
+import { structuredLogger } from '../utils/structured-logger.js';
+import { GENESIS_HASH, handleProofSubmission, tryUserInputElicitation } from './next-pow-helpers.js';
+import { buildMissingProofPayload } from './next-missing-proof-payload.js';
+import { ensurePreviousProofCompleted, tryApplySolutionToPreviousStep, tryApplySolutionToPreviousStepWhenSolutionMatchesPrevious } from './next-previous-step.js';
+import { updateStepQuality } from './next.js';
+import { assertWireAdapterUri, buildAdapterUri, buildLayerUri, parseKairosUriOrThrow } from './kairos-uri.js';
+import { buildForwardView, buildCurrentLayerView, loadMemoryForParsedUri, mapLayerPayloadToForwardView, mapProofSolution, } from './forward-view.js';
+import { appendExecutionTrace, handleTensorForward, solutionToTensorValue } from './forward-trace.js';
+import { KairosError } from '../types/index.js';
+function traceFireAndForget(op) {
+    op.catch((err) => {
+        structuredLogger.warn(`[trace] Persistence failed, data lost: ${err instanceof Error ? err.message : String(err)}`);
+    });
+}
+async function loadLayer(memoryStore, layerId) {
+    return layerId ? memoryStore.getMemory(layerId) : null;
+}
+async function expectedPreviousHash(memory, qdrantService) {
+    if (!memory || getLayerIndex(memory) <= 1) {
+        return GENESIS_HASH;
+    }
+    const previous = await resolveAdapterPreviousLayer(memory, qdrantService);
+    if (!previous?.uuid) {
+        return GENESIS_HASH;
+    }
+    return (await proofOfWorkStore.getProofHash(previous.uuid)) ?? GENESIS_HASH;
+}
+async function buildPostSubmissionView(params) {
+    const { memoryStore, currentMemory, executionId, proofHash, qdrantService, message } = params;
+    if (!currentMemory) {
+        throw new Error('Layer not found while building forward response');
+    }
+    const next = await resolveAdapterNextLayer(currentMemory, qdrantService);
+    if (!next?.uuid) {
+        return buildForwardView(currentMemory, executionId, {
+            final: true,
+            ...(message ? { message } : { message: 'Adapter layers complete. Call reward to finalize.' }),
+            ...(proofHash ? { proofHash } : {})
+        });
+    }
+    const nextMemory = await loadLayer(memoryStore, next.uuid);
+    if (!nextMemory) {
+        throw new Error(`Next layer ${next.uuid} could not be loaded`);
+    }
+    return buildForwardView(nextMemory, executionId, {
+        ...(proofHash ? { proofHash } : {}),
+        ...(message ? { message } : {})
+    });
+}
+export async function executeForward(server, memoryStore, qdrantService, input) {
+    const parsedInputUri = parseKairosUriOrThrow(input.uri);
+    const parsed = parsedInputUri.kind === 'adapter'
+        ? parseKairosUriOrThrow(assertWireAdapterUri(input.uri))
+        : parsedInputUri;
+    const loaded = await loadMemoryForParsedUri(memoryStore, qdrantService, parsed);
+    const memory = loaded.memory;
+    if (!memory) {
+        throw new KairosError('Layer or adapter not found', 'NOT_FOUND', 404);
+    }
+    const adapterId = getAdapterId(memory);
+    const adapterUri = buildAdapterUri(adapterId);
+    const executionId = parsed.kind === 'layer' && parsed.executionId ? parsed.executionId : crypto.randomUUID();
+    if (!(parsed.kind === 'layer' && parsed.executionId)) {
+        await forwardRuntimeStore.startExecution({
+            execution_id: executionId,
+            adapter_id: adapterId,
+            adapter_uri: adapterUri,
+            merge_depth: 0,
+            created_at: new Date().toISOString(),
+            ...(loaded.slug_disambiguation_note
+                ? { slug_disambiguation_note: loaded.slug_disambiguation_note }
+                : {})
+        });
+        traceFireAndForget(executionTraceStore.startExecution({
+            executionId,
+            adapterId,
+            adapterUri
+        }));
+    }
+    if (!input.solution) {
+        return buildForwardView(memory, executionId);
+    }
+    const contract = getInferenceContract(memory);
+    if (contract?.type === 'tensor') {
+        return handleTensorForward(memoryStore, memory, executionId, input.solution, qdrantService);
+    }
+    const tenantId = getTenantId();
+    const tryElicit = (currentMemory, solution, requestedUri) => tryUserInputElicitation(server, currentMemory, solution, requestedUri, buildCurrentLayerView);
+    const requestedUri = buildLayerUri(memory.memory_uuid, executionId);
+    let solutionToUse = mapProofSolution(input.solution);
+    const elicitResult = await tryElicit(memory, solutionToUse, requestedUri);
+    if ('payload' in elicitResult) {
+        return mapLayerPayloadToForwardView(memoryStore, executionId, elicitResult.payload);
+    }
+    solutionToUse = elicitResult.solution;
+    let submissionOutcome;
+    if (!contract) {
+        const previousAttempt = await tryApplySolutionToPreviousStep(memory, solutionToUse, (id) => memoryStore.getMemory(id), qdrantService);
+        if (previousAttempt.applied) {
+            if (previousAttempt.outcome.blockedPayload) {
+                if (qdrantService) {
+                    await updateStepQuality(qdrantService, previousAttempt.prevMemory, 'failure', tenantId);
+                }
+                return mapLayerPayloadToForwardView(memoryStore, executionId, previousAttempt.outcome.blockedPayload);
+            }
+            const previousBlock = await ensurePreviousProofCompleted(memory, (id) => memoryStore.getMemory(id), qdrantService, executionId);
+            if (previousBlock) {
+                if (qdrantService) {
+                    await updateStepQuality(qdrantService, memory, 'failure', tenantId);
+                }
+                const payload = await buildMissingProofPayload(memory, previousBlock, requestedUri, memory.memory_uuid, (id) => memoryStore.getMemory(id), qdrantService, executionId);
+                return mapLayerPayloadToForwardView(memoryStore, executionId, {
+                    must_obey: payload.retry_count < 3,
+                    current_step: payload.current_step,
+                    challenge: payload.challenge,
+                    message: previousBlock.message,
+                    next_action: payload.next_action,
+                    error_code: previousBlock.error_code || 'MISSING_PROOF',
+                    retry_count: payload.retry_count
+                });
+            }
+            if (qdrantService && !previousAttempt.outcome.alreadyRecorded) {
+                await updateStepQuality(qdrantService, previousAttempt.prevMemory, 'success', tenantId);
+            }
+            submissionOutcome = previousAttempt.outcome;
+        }
+        const executionMeta = await forwardRuntimeStore.getExecution(executionId);
+        const tensorOut = solutionToTensorValue(input.solution);
+        await appendExecutionTrace(executionId, previousAttempt.applied ? previousAttempt.prevMemory : memory, input.solution, executionMeta?.activation_query, {}, tensorOut);
+        return buildPostSubmissionView({
+            memoryStore,
+            currentMemory: memory,
+            executionId,
+            qdrantService,
+            ...(submissionOutcome?.proofHash ? { proofHash: submissionOutcome.proofHash } : {}),
+            message: submissionOutcome
+                ? 'Applied the submitted solution to the pending prior layer and continued.'
+                : 'Current layer has no contract; continuing.'
+        });
+    }
+    const previousMatchAttempt = await tryApplySolutionToPreviousStepWhenSolutionMatchesPrevious(memory, solutionToUse, (id) => memoryStore.getMemory(id), qdrantService);
+    if (previousMatchAttempt.applied) {
+        if (previousMatchAttempt.outcome.blockedPayload) {
+            if (qdrantService) {
+                await updateStepQuality(qdrantService, previousMatchAttempt.prevMemory, 'failure', tenantId);
+            }
+            return mapLayerPayloadToForwardView(memoryStore, executionId, previousMatchAttempt.outcome.blockedPayload);
+        }
+        if (qdrantService && !previousMatchAttempt.outcome.alreadyRecorded) {
+            await updateStepQuality(qdrantService, previousMatchAttempt.prevMemory, 'success', tenantId);
+        }
+        const executionMeta = await forwardRuntimeStore.getExecution(executionId);
+        const tensorOut = solutionToTensorValue(input.solution);
+        await appendExecutionTrace(executionId, previousMatchAttempt.prevMemory, input.solution, executionMeta?.activation_query, {}, tensorOut);
+        return buildForwardView(memory, executionId, {
+            ...(previousMatchAttempt.outcome.proofHash ? { proofHash: previousMatchAttempt.outcome.proofHash } : {}),
+            message: 'Applied the submitted solution to the pending prior layer. Continue with the current layer.'
+        });
+    }
+    submissionOutcome = await handleProofSubmission(solutionToUse, memory, {
+        expectedPreviousHash: await expectedPreviousHash(memory, qdrantService)
+    });
+    if (submissionOutcome.blockedPayload) {
+        if (qdrantService) {
+            await updateStepQuality(qdrantService, memory, 'failure', tenantId);
+        }
+        return mapLayerPayloadToForwardView(memoryStore, executionId, submissionOutcome.blockedPayload);
+    }
+    const previousBlock = await ensurePreviousProofCompleted(memory, (id) => memoryStore.getMemory(id), qdrantService, executionId);
+    if (previousBlock) {
+        if (qdrantService) {
+            await updateStepQuality(qdrantService, memory, 'failure', tenantId);
+        }
+        const payload = await buildMissingProofPayload(memory, previousBlock, requestedUri, memory.memory_uuid, (id) => memoryStore.getMemory(id), qdrantService, executionId);
+        return mapLayerPayloadToForwardView(memoryStore, executionId, {
+            must_obey: payload.retry_count < 3,
+            current_step: payload.current_step,
+            challenge: payload.challenge,
+            message: previousBlock.message,
+            next_action: payload.next_action,
+            error_code: previousBlock.error_code || 'MISSING_PROOF',
+            retry_count: payload.retry_count
+        });
+    }
+    if (qdrantService && !submissionOutcome.alreadyRecorded) {
+        await updateStepQuality(qdrantService, memory, 'success', tenantId);
+    }
+    const tensorOut = solutionToTensorValue(input.solution);
+    const executionMeta = await forwardRuntimeStore.getExecution(executionId);
+    await appendExecutionTrace(executionId, memory, input.solution, executionMeta?.activation_query, {}, tensorOut);
+    return buildPostSubmissionView({
+        memoryStore,
+        currentMemory: memory,
+        executionId,
+        qdrantService,
+        ...(submissionOutcome.proofHash ? { proofHash: submissionOutcome.proofHash } : {})
+    });
+}
+//# sourceMappingURL=forward.js.map

package/dist/tools/forward.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"forward.js","sourceRoot":"","sources":["../../src/tools/forward.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,aAAa,CAAC;AAGjC,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AACzG,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAC;AAC3G,OAAO,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EACL,YAAY,EACZ,qBAAqB,EACrB,uBAAuB,EAGxB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EACL,4BAA4B,EAC5B,8BAA8B,EAC9B,yDAAyD,EAC1D,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAE9C,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAC9G,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EACrB,sBAAsB,EACtB,4BAA4B,EAC5B,gBAAgB,GACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AACtG,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,SAAS,kBAAkB,CAAC,EAAiB;IAC3C,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;QACf,gBAAgB,CAAC,IAAI,CACnB,0CAA0C,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAC7F,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,WAA8B,EAAE,OAA2B;IAClF,OAAO,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACzD,CAAC;AAED,KAAK,UAAU,oBAAoB,CACjC,MAA2D,EAC3D,aAAwC;IAExC,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,2BAA2B,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC1E,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC;QACpB,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,MAAM,gBAAgB,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,YAAY,CAAC;AAC9E,CAAC;AAED,KAAK,UAAU,uBAAuB,CAAC,MAOtC;IACC,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAC9F,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,uBAAuB,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IACzE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;QAChB,OAAO,gBAAgB,CAAC,aAAa,EAAE,WAAW,EAAE;YAClD,KAAK,EAAE,IAAI;YACX,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,mDAAmD,EAAE,CAAC;YAC7F,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,IAAI,sBAAsB,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,gBAAgB,CAAC,UAAU,EAAE,WAAW,EAAE;QAC/C,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,MAAW,EACX,WAA8B,EAC9B,aAAwC,EACxC,KAAmB;IAEnB,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxD,MAAM,MAAM,GACV,cAAc,CAAC,IAAI,KAAK,SAAS;QAC/B,CAAC,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACxD,CAAC,CAAC,cAAc,CAAC;IACrB,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC,WAAW,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IAChF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,WAAW,CAAC,4BAA4B,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,UAAU,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;IAE7G,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QACrD,MAAM,mBAAmB,CAAC,cAAc,CAAC;YACvC,YAAY,EAAE,WAAW;YACzB,UAAU,EAAE,SAAS;YACrB,WAAW,EAAE,UAAU;YACvB,WAAW,EAAE,CAAC;YACd,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACpC,GAAG,CAAC,MAAM,CAAC,wBAAwB;gBACjC,CAAC,CAAC,EAAE,wBAAwB,EAAE,MAAM,CAAC,wBAAwB,EAAE;gBAC/D,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;QACH,kBAAkB,CAAC,mBAAmB,CAAC,cAAc,CAAC;YACpD,WAAW;YACX,SAAS;YACT,UAAU;SACX,CAAC,CAAC,CAAC;IACN,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QACpB,OAAO,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,QAAQ,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,mBAAmB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,QAAQ,GAAG,WAAW,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAG,CAAC,aAA4B,EAAE,QAA+B,EAAE,YAAoB,EAAE,EAAE,CACxG,uBAAuB,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,qBAAqB,CAAC,CAAC;IAChG,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACpE,IAAI,aAAa,GAAG,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACrD,MAAM,YAAY,GAAG,MAAM,SAAS,CAAC,MAAM,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;IAC1E,IAAI,SAAS,IAAI,YAAY,EAAE,CAAC;QAC9B,OAAO,4BAA4B,CAAC,WAAW,EAAE,WAAW,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;IACtF,CAAC;IACD,aAAa,GAAG,YAAY,CAAC,QAAQ,CAAC;IAEtC,IAAI,iBAAgD,CAAC;IACrD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,eAAe,GAAG,MAAM,8BAA8B,CAC1D,MAAM,EACN,aAAa,EACb,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC,EACjC,aAAa,CACd,CAAC;QACF,IAAI,eAAe,CAAC,OAAO,EAAE,CAAC;YAC5B,IAAI,eAAe,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC3C,IAAI,aAAa,EAAE,CAAC;oBAClB,MAAM,iBAAiB,CAAC,aAAa,EAAE,eAAe,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAC1F,CAAC;gBACD,OAAO,4BAA4B,CAAC,WAAW,EAAE,WAAW,EAAE,eAAe,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YACxG,CAAC;YACD,MAAM,aAAa,GAAG,MAAM,4BAA4B,CACtD,MAAM,EACN,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC,EACjC,aAAa,EACb,WAAW,CACZ,CAAC;YACF,IAAI,aAAa,EAAE,CAAC;gBAClB,IAAI,aAAa,EAAE,CAAC;oBAClB,MAAM,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;gBACtE,CAAC;gBACD,MAAM,OAAO,GAAG,MAAM,wBAAwB,CAC5C,MAAM,EACN,aAAa,EACb,YAAY,EACZ,MAAM,CAAC,WAAW,EAClB,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC,EACjC,aAAa,EACb,WAAW,CACZ,CAAC;gBACF,OAAO,4BAA4B,CAAC,WAAW,EAAE,WAAW,EAAE;oBAC5D,SAAS,EAAE,OAAO,CAAC,WAAW,GAAG,CAAC;oBAClC,YAAY,EAAE,OAAO,CAAC,YAAY;oBAClC,SAAS,EAAE,OAAO,CAAC,SAAS;oBAC5B,OAAO,EAAE,aAAa,CAAC,OAAO;oBAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;oBAChC,UAAU,EAAE,aAAa,CAAC,UAAU,IAAI,eAAe;oBACvD,WAAW,EAAE,OAAO,CAAC,WAAW;iBACjC,CAAC,CAAC;YACL,CAAC;YACD,IAAI,aAAa,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;gBAC9D,MAAM,iBAAiB,CAAC,aAAa,EAAE,eAAe,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC1F,CAAC;YACD,iBAAiB,GAAG,eAAe,CAAC,OAAO,CAAC;QAC9C,CAAC;QAED,MAAM,aAAa,GAAG,MAAM,mBAAmB,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;QAC1E,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,oBAAoB,CACxB,WAAW,EACX,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,EAC7D,KAAK,CAAC,QAAQ,EACd,aAAa,EAAE,gBAAgB,EAC/B,EAAE,EACF,SAAS,CACV,CAAC;QACF,OAAO,uBAAuB,CAAC;YAC7B,WAAW;YACX,aAAa,EAAE,MAAM;YACrB,WAAW;YACX,aAAa;YACb,GAAG,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,iBAAiB,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnF,OAAO,EAAE,iBAAiB;gBACxB,CAAC,CAAC,0EAA0E;gBAC5E,CAAC,CAAC,4CAA4C;SACjD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,oBAAoB,GAAG,MAAM,yDAAyD,CAC1F,MAAM,EACN,aAAa,EACb,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC,EACjC,aAAa,CACd,CAAC;IACF,IAAI,oBAAoB,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,oBAAoB,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;YAChD,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,iBAAiB,CAAC,aAAa,EAAE,oBAAoB,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC/F,CAAC;YACD,OAAO,4BAA4B,CAAC,WAAW,EAAE,WAAW,EAAE,oBAAoB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAC7G,CAAC;QACD,IAAI,aAAa,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;YACnE,MAAM,iBAAiB,CAAC,aAAa,EAAE,oBAAoB,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,aAAa,GAAG,MAAM,mBAAmB,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;QAC1E,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,oBAAoB,CACxB,WAAW,EACX,oBAAoB,CAAC,UAAU,EAC/B,KAAK,CAAC,QAAQ,EACd,aAAa,EAAE,gBAAgB,EAC/B,EAAE,EACF,SAAS,CACV,CAAC;QACF,OAAO,gBAAgB,CAAC,MAAM,EAAE,WAAW,EAAE;YAC3C,GAAG,CAAC,oBAAoB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,oBAAoB,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxG,OAAO,EAAE,6FAA6F;SACvG,CAAC,CAAC;IACL,CAAC;IAED,iBAAiB,GAAG,MAAM,qBAAqB,CAAC,aAAa,EAAE,MAAM,EAAE;QACrE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC,MAAM,EAAE,aAAa,CAAC;KACxE,CAAC,CAAC;IACH,IAAI,iBAAiB,CAAC,cAAc,EAAE,CAAC;QACrC,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,4BAA4B,CAAC,WAAW,EAAE,WAAW,EAAE,iBAAiB,CAAC,cAAc,CAAC,CAAC;IAClG,CAAC;IAED,MAAM,aAAa,GAAG,MAAM,4BAA4B,CACtD,MAAM,EACN,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC,EACjC,aAAa,EACb,WAAW,CACZ,CAAC;IACF,IAAI,aAAa,EAAE,CAAC;QAClB,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,wBAAwB,CAC5C,MAAM,EACN,aAAa,EACb,YAAY,EACZ,MAAM,CAAC,WAAW,EAClB,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC,EACjC,aAAa,EACb,WAAW,CACZ,CAAC;QACF,OAAO,4BAA4B,CAAC,WAAW,EAAE,WAAW,EAAE;YAC5D,SAAS,EAAE,OAAO,CAAC,WAAW,GAAG,CAAC;YAClC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,OAAO,EAAE,aAAa,CAAC,OAAO;YAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,UAAU,EAAE,aAAa,CAAC,UAAU,IAAI,eAAe;YACvD,WAAW,EAAE,OAAO,CAAC,WAAW;SACjC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,aAAa,IAAI,CAAC,iBAAiB,CAAC,eAAe,EAAE,CAAC;QACxD,MAAM,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,aAAa,GAAG,MAAM,mBAAmB,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;IAC1E,MAAM,oBAAoB,CACxB,WAAW,EACX,MAAM,EACN,KAAK,CAAC,QAAQ,EACd,aAAa,EAAE,gBAAgB,EAC/B,EAAE,EACF,SAAS,CACV,CAAC;IAEF,OAAO,uBAAuB,CAAC;QAC7B,WAAW;QACX,aAAa,EAAE,MAAM;QACrB,WAAW;QACX,aAAa;QACb,GAAG,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,iBAAiB,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnF,CAAC,CAAC;AACL,CAAC"}

package/dist/tools/forward_schema.d.ts

@@ -0,0 +1,274 @@
+import { z } from 'zod';
+export declare const forwardContractSchema: z.ZodObject<{
+    type: z.ZodEnum<{
+        tensor: "tensor";
+        shell: "shell";
+        mcp: "mcp";
+        user_input: "user_input";
+        comment: "comment";
+    }>;
+    required: z.ZodOptional<z.ZodBoolean>;
+    description: z.ZodOptional<z.ZodString>;
+    nonce: z.ZodOptional<z.ZodString>;
+    proof_hash: z.ZodOptional<z.ZodString>;
+    tensor: z.ZodOptional<z.ZodObject<{
+        required_inputs: z.ZodArray<z.ZodString>;
+        output: z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodString;
+            min_length: z.ZodOptional<z.ZodNumber>;
+            max_length: z.ZodOptional<z.ZodNumber>;
+            min_items: z.ZodOptional<z.ZodNumber>;
+            max_items: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>;
+        merge: z.ZodOptional<z.ZodString>;
+        condition: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    shell: z.ZodOptional<z.ZodObject<{
+        cmd: z.ZodString;
+        timeout_seconds: z.ZodNumber;
+    }, z.core.$strip>>;
+    mcp: z.ZodOptional<z.ZodObject<{
+        tool_name: z.ZodString;
+        arguments: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        expected_result: z.ZodOptional<z.ZodAny>;
+    }, z.core.$strip>>;
+    user_input: z.ZodOptional<z.ZodObject<{
+        prompt: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    comment: z.ZodOptional<z.ZodObject<{
+        min_length: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const forwardSolutionSchema: z.ZodPreprocess<z.ZodObject<{
+    type: z.ZodEnum<{
+        tensor: "tensor";
+        shell: "shell";
+        mcp: "mcp";
+        user_input: "user_input";
+        comment: "comment";
+    }>;
+    outcome: z.ZodOptional<z.ZodEnum<{
+        success: "success";
+        failure: "failure";
+        skipped: "skipped";
+    }>>;
+    evidence: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    nonce: z.ZodOptional<z.ZodString>;
+    proof_hash: z.ZodOptional<z.ZodString>;
+    tensor: z.ZodOptional<z.ZodObject<{
+        name: z.ZodString;
+        value: z.ZodAny;
+    }, z.core.$strip>>;
+    shell: z.ZodOptional<z.ZodObject<{
+        exit_code: z.ZodNumber;
+        stdout: z.ZodOptional<z.ZodString>;
+        stderr: z.ZodOptional<z.ZodString>;
+        duration_seconds: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+    mcp: z.ZodOptional<z.ZodObject<{
+        tool_name: z.ZodString;
+        arguments: z.ZodOptional<z.ZodAny>;
+        result: z.ZodAny;
+        success: z.ZodBoolean;
+    }, z.core.$strip>>;
+    user_input: z.ZodOptional<z.ZodObject<{
+        confirmation: z.ZodString;
+        timestamp: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    comment: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+    }, z.core.$strip>>;
+    trace: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, unknown>;
+export declare const FORWARD_SOLUTION_FORBIDDEN_ON_START_MESSAGE = "Omit `solution` when starting a run (`kairos://adapter/...` or `kairos://layer/{uuid}` without `?execution_id=...`). The first call loads `contract`; then call `forward` again with the layer URI including `?execution_id=...` and a `solution` whose `type` matches `contract.type` (prefer v2: include `outcome` and `evidence`).";
+export declare const forwardInputSchema: z.ZodObject<{
+    uri: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+    solution: z.ZodOptional<z.ZodPreprocess<z.ZodObject<{
+        type: z.ZodEnum<{
+            tensor: "tensor";
+            shell: "shell";
+            mcp: "mcp";
+            user_input: "user_input";
+            comment: "comment";
+        }>;
+        outcome: z.ZodOptional<z.ZodEnum<{
+            success: "success";
+            failure: "failure";
+            skipped: "skipped";
+        }>>;
+        evidence: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        nonce: z.ZodOptional<z.ZodString>;
+        proof_hash: z.ZodOptional<z.ZodString>;
+        tensor: z.ZodOptional<z.ZodObject<{
+            name: z.ZodString;
+            value: z.ZodAny;
+        }, z.core.$strip>>;
+        shell: z.ZodOptional<z.ZodObject<{
+            exit_code: z.ZodNumber;
+            stdout: z.ZodOptional<z.ZodString>;
+            stderr: z.ZodOptional<z.ZodString>;
+            duration_seconds: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>;
+        mcp: z.ZodOptional<z.ZodObject<{
+            tool_name: z.ZodString;
+            arguments: z.ZodOptional<z.ZodAny>;
+            result: z.ZodAny;
+            success: z.ZodBoolean;
+        }, z.core.$strip>>;
+        user_input: z.ZodOptional<z.ZodObject<{
+            confirmation: z.ZodString;
+            timestamp: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        comment: z.ZodOptional<z.ZodObject<{
+            text: z.ZodString;
+        }, z.core.$strip>>;
+        trace: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, unknown>>;
+}, z.core.$strip>;
+export declare const forwardMcpWireInputSchema: z.ZodObject<{
+    uri: z.ZodOptional<z.ZodString>;
+    solution: z.ZodOptional<z.ZodPreprocess<z.ZodObject<{
+        type: z.ZodOptional<z.ZodEnum<{
+            tensor: "tensor";
+            shell: "shell";
+            mcp: "mcp";
+            user_input: "user_input";
+            comment: "comment";
+        }>>;
+        outcome: z.ZodOptional<z.ZodEnum<{
+            success: "success";
+            failure: "failure";
+            skipped: "skipped";
+        }>>;
+        evidence: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        nonce: z.ZodOptional<z.ZodString>;
+        proof_hash: z.ZodOptional<z.ZodString>;
+        tensor: z.ZodOptional<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            value: z.ZodOptional<z.ZodAny>;
+        }, z.core.$strip>>;
+        shell: z.ZodOptional<z.ZodObject<{
+            exit_code: z.ZodOptional<z.ZodNumber>;
+            stdout: z.ZodOptional<z.ZodString>;
+            stderr: z.ZodOptional<z.ZodString>;
+            duration_seconds: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>;
+        mcp: z.ZodOptional<z.ZodObject<{
+            tool_name: z.ZodOptional<z.ZodString>;
+            arguments: z.ZodOptional<z.ZodAny>;
+            result: z.ZodOptional<z.ZodAny>;
+            success: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$strip>>;
+        user_input: z.ZodOptional<z.ZodObject<{
+            confirmation: z.ZodOptional<z.ZodString>;
+            timestamp: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        comment: z.ZodOptional<z.ZodObject<{
+            text: z.ZodString;
+        }, z.core.$strip>>;
+        trace: z.ZodOptional<z.ZodString>;
+    }, z.core.$loose>, unknown>>;
+}, z.core.$loose>;
+export declare const forwardOutputSchema: z.ZodObject<{
+    must_obey: z.ZodBoolean;
+    current_layer: z.ZodNullable<z.ZodOptional<z.ZodObject<{
+        uri: z.ZodString;
+        content: z.ZodString;
+        mimeType: z.ZodLiteral<"text/markdown">;
+    }, z.core.$strip>>>;
+    contract: z.ZodObject<{
+        type: z.ZodEnum<{
+            tensor: "tensor";
+            shell: "shell";
+            mcp: "mcp";
+            user_input: "user_input";
+            comment: "comment";
+        }>;
+        required: z.ZodOptional<z.ZodBoolean>;
+        description: z.ZodOptional<z.ZodString>;
+        nonce: z.ZodOptional<z.ZodString>;
+        proof_hash: z.ZodOptional<z.ZodString>;
+        tensor: z.ZodOptional<z.ZodObject<{
+            required_inputs: z.ZodArray<z.ZodString>;
+            output: z.ZodObject<{
+                name: z.ZodString;
+                type: z.ZodString;
+                min_length: z.ZodOptional<z.ZodNumber>;
+                max_length: z.ZodOptional<z.ZodNumber>;
+                min_items: z.ZodOptional<z.ZodNumber>;
+                max_items: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>;
+            merge: z.ZodOptional<z.ZodString>;
+            condition: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        shell: z.ZodOptional<z.ZodObject<{
+            cmd: z.ZodString;
+            timeout_seconds: z.ZodNumber;
+        }, z.core.$strip>>;
+        mcp: z.ZodOptional<z.ZodObject<{
+            tool_name: z.ZodString;
+            arguments: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            expected_result: z.ZodOptional<z.ZodAny>;
+        }, z.core.$strip>>;
+        user_input: z.ZodOptional<z.ZodObject<{
+            prompt: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        comment: z.ZodOptional<z.ZodObject<{
+            min_length: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+    tensor_in: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    next_action: z.ZodString;
+    proof_hash: z.ZodOptional<z.ZodString>;
+    execution_id: z.ZodOptional<z.ZodString>;
+    message: z.ZodOptional<z.ZodString>;
+    error_code: z.ZodOptional<z.ZodString>;
+    retry_count: z.ZodOptional<z.ZodNumber>;
+    slug_disambiguation_note: z.ZodOptional<z.ZodString>;
+    next_call: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"forward">;
+        args: z.ZodObject<{
+            uri: z.ZodString;
+            solution_template: z.ZodObject<{
+                type: z.ZodEnum<{
+                    tensor: "tensor";
+                    shell: "shell";
+                    mcp: "mcp";
+                    user_input: "user_input";
+                    comment: "comment";
+                }>;
+                outcome: z.ZodOptional<z.ZodEnum<{
+                    success: "success";
+                    failure: "failure";
+                    skipped: "skipped";
+                }>>;
+                evidence: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                tensor: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                shell: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                mcp: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                user_input: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                comment: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"reward">;
+        args: z.ZodObject<{
+            uri: z.ZodString;
+            outcome_template: z.ZodObject<{
+                outcome: z.ZodLiteral<"success">;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+    }, z.core.$strip>], "kind">;
+    activation_space_name: z.ZodOptional<z.ZodString>;
+    context_adapter_name: z.ZodOptional<z.ZodString>;
+    current_layer_label: z.ZodOptional<z.ZodString>;
+    adapter_layer_index: z.ZodOptional<z.ZodNumber>;
+    adapter_layer_count: z.ZodOptional<z.ZodNumber>;
+    kairos_local_artifact_dir: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    squadrules_local_artifact_dir: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export type ForwardInput = z.infer<typeof forwardInputSchema>;
+export type ForwardSolution = z.infer<typeof forwardSolutionSchema>;
+export type ForwardOutput = z.infer<typeof forwardOutputSchema>;
+//# sourceMappingURL=forward_schema.d.ts.map

package/dist/tools/forward_schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"forward_schema.d.ts","sourceRoot":"","sources":["../../src/tools/forward_schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AA6BxB,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAsBhC,CAAC;AA2KH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BAGjC,CAAC;AAeF,eAAO,MAAM,2CAA2C,0UACiR,CAAC;AAE1U,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAuB7B,CAAC;AAyCH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAUtB,CAAC;AAEjB,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAqBrB,CAAC;AAEZ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAC9D,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AACpE,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC"}