dsh-super-code 0.0.9

package/lib/dsh/super-code.js

@@ -0,0 +1,247 @@
+import z from '@deepseek-ai/schemastery';
+import { defineTool } from '@deepseek-ai/dsh-tools';
+import { SessionSeq } from '@deepseek-ai/dsh-session';
+import { PERSONA_PREFIX_SECTION } from '@deepseek-ai/dsh-system-prompt';
+import { TEAM_NAMES, METHODS, SUPER_CODE_INSTRUCTIONS, readTeamMethod } from '../core/teams.js';
+import { EXPERIMENT_RECIPES, readExperimentRecipe } from '../core/experiment-recipes.js';
+import { taskMemoryProjection, taskMemoryEventOf } from '../task-memory-projection.js';
+import { requireTaskMemory, reviseTaskMemory, taskMemoryContext, taskMemoryRead, taskMemoryCreateSchema, taskMemoryPatchSchema, taskMemorySchema, sourceSchema } from '../core/task-memory.js';
+import { createMemberBrief, validateMemberResult } from '../core/delegation.js';
+import { z as json } from 'zod';
+import { createGuidanceSelector, GUIDED_INSTRUCTIONS } from '../core/guidance.js';
+import { listToolEvidence, readToolEvidence, toolEvidenceRef } from '../core/tool-evidence.js';
+import { scanSessionPage } from '../core/session-scan.js';
+import { TaskMemoryStore } from '../task-memory-store.js';
+export const name = 'super-code';
+export const inject = ['tools', 'systemPrompt', 'sessions', 'sessionProjections'];
+export const Config = z.object({
+    maxTasks: z.number().step(1).min(1).max(128).default(32),
+    maxContextBytes: z.number().step(1).min(1024).max(262144).default(32768),
+    guidedRoutes: z.array(z.object({ provider: z.string().required(), model: z.string().required() })),
+});
+function assertSource(session, source) {
+    const event = session.eventAt(SessionSeq(source.seq));
+    if (event?.type !== 'user/message' || event.data.source.kind !== 'user')
+        throw new Error('Requirement source must reference a direct user message in this session');
+    const original = event.data.content.filter(block => block.type === 'text').map(block => block.text).join('\n');
+    if (!original.includes(source.quote))
+        throw new Error('Requirement quote is not present in its original user message');
+}
+/** Schema-owned expectations only; never echo submitted values or arbitrary error messages. */
+function inputIssue(issue) {
+    let hint = issue.code;
+    if (issue.code === 'invalid_type')
+        hint += `; expected ${issue.expected}`;
+    if (issue.code === 'too_small')
+        hint += `; ${issue.origin} ${issue.inclusive ? 'min' : 'greater than'} ${issue.minimum}`;
+    if (issue.code === 'too_big')
+        hint += `; ${issue.origin} ${issue.inclusive ? 'max' : 'less than'} ${issue.maximum}`;
+    return `${issue.path.map(String).join('.').slice(0, 120) || 'record'} (${hint})`;
+}
+// Runtime-only contracts keep the model-facing schema compact without silently ignoring fields.
+const actionFields = {
+    list: { required: [] }, read: { required: ['taskId'], optional: ['view'] },
+    source: { required: ['eventSeq'] }, history: { required: ['eventSeq'] },
+    create: { required: ['record'] }, update: { required: ['taskId', 'expectedRevision', 'record'] },
+    focus: { required: ['taskId'] }, archive: { required: ['taskId', 'expectedRevision'] },
+    archives: { required: [], optional: ['taskId', 'eventSeq'] }, restore: { required: ['eventSeq', 'record'] },
+    delegate: { required: ['taskId', 'record'] }, validate_member: { required: ['taskId', 'record'] },
+    evidence: { required: [], optional: ['eventSeq', 'record'] },
+};
+function assertActionFields(args) {
+    if (!Object.hasOwn(actionFields, args.action))
+        throw new Error('Unsupported task action');
+    const rule = actionFields[args.action];
+    for (const field of rule.required)
+        if (args[field] === undefined)
+            throw new Error(`${args.action} requires ${field}; no task snapshot was appended.`);
+    for (const field of ['taskId', 'expectedRevision', 'eventSeq', 'record', 'view']) {
+        if (args[field] !== undefined && !rule.required.includes(field) && !rule.optional?.includes(field))
+            throw new Error(`${field} is not supported by ${args.action}`);
+    }
+    if (args.action === 'evidence' && args.record !== undefined && args.eventSeq !== undefined)
+        throw new Error('evidence accepts either a record or an eventSeq cursor');
+}
+/** Installs no agent loop and starts no model calls. */
+export function apply(ctx, config = {}) {
+    const maxTasks = config.maxTasks ?? 32;
+    const maxContextBytes = config.maxContextBytes ?? 32768;
+    const selectGuidance = createGuidanceSelector(config.guidedRoutes);
+    if (!Number.isSafeInteger(maxTasks) || maxTasks < 1 || maxTasks > 128 || !Number.isSafeInteger(maxContextBytes) || maxContextBytes < 1024 || maxContextBytes > 262144)
+        throw new Error('Invalid super-code capacity');
+    ctx.sessionProjections.register(taskMemoryProjection);
+    const memory = new TaskMemoryStore(ctx, maxContextBytes);
+    ctx.systemPrompt.section({ name: PERSONA_PREFIX_SECTION, order: ctx.systemPrompt.getSectionOrder('DEPLOYMENT_PERSONA_PREFIX'), text: SUPER_CODE_INSTRUCTIONS });
+    // Wrap the host selection waterfall: providers run before its model snapshot is resolved.
+    ctx.on('system-prompt/assemble', async (_assembly, _context, next) => {
+        const assembled = await next();
+        if (selectGuidance(assembled.variables.provider, assembled.variables.model) === 'standard')
+            return assembled;
+        return { ...assembled, sections: assembled.sections.map(section => section.name === PERSONA_PREFIX_SECTION && section.text === SUPER_CODE_INSTRUCTIONS
+                ? { ...section, text: `${section.text}\n${GUIDED_INSTRUCTIONS}` } : section) };
+    }, { prepend: true });
+    ctx.systemPrompt.context({ name: 'super-code:tasks', order: 80, text: ({ agent }) => {
+            if (agent === undefined)
+                return '';
+            if (memory.isPending(agent.session))
+                return 'The last task-memory checkpoint is unconfirmed. Use super_code_task read to retry persistence before relying on it.';
+            return taskMemoryContext(memory.current(agent.session), maxContextBytes);
+        } });
+    ctx.tools.register(defineTool({
+        name: 'super_code_method',
+        description: 'Read missing expertise, not a routine prerequisite. Select a known method directly; omit method only to inspect a team. Reuse guidance in context; batch with independent reads when useful.',
+        parameters: { team: { type: 'string', enum: TEAM_NAMES, required: true }, method: { type: 'string', enum: Object.keys(METHODS) },
+            recipe: { type: 'string', enum: EXPERIMENT_RECIPES, description: 'Optional runnable Shell example for a hard problem: failure reduction, differential oracle, controlled async interleavings or contract relation. Omit when unnecessary.' } },
+        output: { schema: { type: 'string' }, render: (_args, value) => [{ type: 'text', text: value }] },
+        isConcurrencySafe: () => true,
+        execute: async (args) => {
+            const method = readTeamMethod(args.team, args.method);
+            return args.recipe === undefined ? method : `${method}\n\n${readExperimentRecipe(args.recipe)}`;
+        },
+    }));
+    ctx.tools.register(defineTool({
+        name: 'super_code_task',
+        description: `Task memory; never grants permission or executes work. Simple tasks need no record. Actions: list; read(taskId,view?); source(eventSeq); create(record); update(taskId,expectedRevision,record patch); focus(taskId); archive(taskId,expectedRevision); history(eventSeq). Create fields: id,title,team,depth,workspace,sourceVersion,goal,source:{seq,quote},requirements:[{id,text,source:{seq,quote}}],acceptance:[string]. Source seqs appear in runtime context. Update preserves omitted fields; requirement entries replace matching ids, removeRequirements explicitly removes ids. Goal/requirements/workspace/acceptance changes need a user source. Old evidence becomes stale on requirements/source revision changes. Optional updates: decisions:[string], evidence:[{summary,ref,sourceVersion,requirementsRevision,kind:observed|assumption|test|decision}], next:string, status:active|paused|completed|cancelled. Archive only finished tasks; keep eventSeq to read history. Focus does not stop work. delegate(taskId,record:{owner,attemptId,objective,ownedPaths:[string],acceptance:[string],maxTokens}) returns a compact brief to pass to host subagent. validate_member(taskId,record:{assignment:original assignment,result:{binding,owner,attemptId,outcome:completed|failed|cancelled|stop_unknown,summary,artifacts:[string],checks:[string],unknowns:[string]}}) rejects stale returns; reviewable still needs lead review. Accounting is separate; never guess costs or treat model-reported usage as a verified budget.`,
+        // Pagination never scans or returns an unbounded archive in one tool call.
+        parameters: {
+            action: { type: 'string', enum: ['list', 'read', 'source', 'create', 'update', 'focus', 'archive', 'archives', 'restore', 'history', 'delegate', 'validate_member', 'evidence'], required: true,
+                description: 'evidence: record:{callSeq,resultSeq} or {ref} reads a pair, not acceptance/current-code proof. Long output returns a head/tail excerpt and readMore; optional record.offset reads original text pages (UTF-16 offsets). Without record, list identities; match callId/turn/step and inspect arguments. Directory/archives use exclusive eventSeq/nextBeforeSeq; done=false means more. archives optionally filters taskId. restore: archived eventSeq plus record:{source:{seq,quote},sourceVersion}, after user asks to resume and you inspect the workspace. sourceVersion must distinguish relevant working-tree edits, not just HEAD. Recorded versions do not verify current files. Restore retains requirements and invalidates old evidence; starts no workers.' },
+            taskId: { type: 'string' }, expectedRevision: { type: 'integer' }, eventSeq: { type: 'integer', description: 'Use visible runtime source identities; if the newest user source is absent, list returns recentUserEventSeqs. Never guess an event sequence.' }, record: { type: 'json' },
+            view: { type: 'string', enum: ['resume', 'full'], description: 'Only for read: default resume returns {current} with all constraints and bounded current evidence. full retrieves omitted details: source quotes, all evidence and versions. Stale evidence is historical, not current proof.' },
+        },
+        output: { schema: { type: 'string' }, render: (_args, value) => [{ type: 'text', text: value }] },
+        execute: async (args, exec) => {
+            try {
+                if (exec.agent === undefined)
+                    throw new Error('super-code requires an agent-owned session');
+                assertActionFields(args);
+                const session = exec.agent.session;
+                if (args.action === 'evidence') {
+                    exec.signal.throwIfAborted();
+                    if (args.record === undefined)
+                        return JSON.stringify(await listToolEvidence(session.seq, args.eventSeq ?? session.seq, seq => session.eventAt(SessionSeq(seq)), exec.signal));
+                    const input = json.union([
+                        json.object({ ref: json.string().min(1).max(4000), offset: json.number().int().nonnegative().safe().optional() }).strict(),
+                        json.object({ callSeq: json.number().int().nonnegative(), resultSeq: json.number().int().nonnegative(), offset: json.number().int().nonnegative().safe().optional() }).strict(),
+                    ]).parse(args.record);
+                    const ref = 'ref' in input ? input.ref : toolEvidenceRef({ ...input, sessionId: session.id });
+                    return JSON.stringify(readToolEvidence(session.id, ref, seq => session.eventAt(SessionSeq(seq)), input.offset));
+                }
+                const mutating = ['create', 'update', 'focus', 'archive', 'restore'].includes(args.action);
+                if (!mutating) {
+                    const { state, end } = await memory.read(session, exec.signal);
+                    if (args.action === 'archives') {
+                        const records = [];
+                        const page = await scanSessionPage(end, args.eventSeq ?? end, seq => session.eventAt(SessionSeq(seq)), event => {
+                            const item = taskMemoryEventOf(event);
+                            if (item.kind === 'record' && item.record.kind === 'archive' && (args.taskId === undefined || item.record.task.id === args.taskId)) {
+                                const { id, title, status } = item.record.task;
+                                records.push({ eventSeq: event.seq, id, title, status });
+                            }
+                            return records.length >= 10;
+                        }, exec.signal);
+                        return JSON.stringify({ records, ...page });
+                    }
+                    if (args.action === 'list')
+                        return JSON.stringify({ tasks: Object.values(state.tasks).map(({ id, title, status, revision }) => ({ id, title, status, revision })), focus: state.focus, recentUserEventSeqs: state.recentSources });
+                    if (args.action === 'source' || args.action === 'history') {
+                        if (args.eventSeq === undefined)
+                            throw new Error('eventSeq is required');
+                        const event = session.eventAt(SessionSeq(args.eventSeq));
+                        if (args.action === 'source' && event?.type === 'user/message' && event.data.source.kind === 'user')
+                            return JSON.stringify(event);
+                        if (args.action === 'history' && event !== undefined && taskMemoryEventOf(event).kind === 'record')
+                            return JSON.stringify(event);
+                        throw new Error('The event is not a matching source or task record');
+                    }
+                    if (args.action === 'read') {
+                        const task = requireTaskMemory(state, args.taskId ?? '');
+                        return args.view === 'full' ? JSON.stringify(task) : taskMemoryRead(task, maxContextBytes);
+                    }
+                    if (args.action === 'delegate' || args.action === 'validate_member') {
+                        const task = requireTaskMemory(state, args.taskId ?? '');
+                        if (args.action === 'delegate')
+                            return JSON.stringify(createMemberBrief(task, session.id, args.record));
+                        const envelope = json.object({ assignment: json.unknown(), result: json.unknown() }).strict().parse(args.record);
+                        return JSON.stringify(validateMemberResult(task, session.id, envelope.assignment, envelope.result));
+                    }
+                    throw new Error('Unsupported task action');
+                }
+                const receipt = await memory.write(session, exec.signal, state => {
+                    let change;
+                    if (args.action === 'restore') {
+                        if (!Number.isSafeInteger(args.eventSeq) || args.eventSeq < 0)
+                            throw new Error('An archived eventSeq is required');
+                        const event = session.eventAt(SessionSeq(args.eventSeq));
+                        if (event === undefined)
+                            throw new Error('Unknown archive event');
+                        const archived = taskMemoryEventOf(event);
+                        if (archived.kind !== 'record' || archived.record.kind !== 'archive')
+                            throw new Error('Only archived tasks can be restored');
+                        const record = json.object({ source: sourceSchema, sourceVersion: json.string().trim().min(1).max(4000) }).strict().parse(args.record);
+                        assertSource(session, record.source);
+                        if (record.source.seq <= event.seq)
+                            throw new Error('Restoration requires a user message after the archive');
+                        const task = archived.record.task;
+                        if (Object.hasOwn(state.tasks, task.id))
+                            throw new Error(`Task ${task.id} already exists`);
+                        if (Object.keys(state.tasks).length >= maxTasks)
+                            throw new Error('Working set is full; archive a completed task first');
+                        change = { kind: 'save', task: taskMemorySchema.parse({ ...task, ...record, createdAtSeq: session.seq, revision: 1, requirementsRevision: task.requirementsRevision + 1, delegationRevision: 1, status: 'active', decisions: [], next: '' }) };
+                    }
+                    else if (args.action === 'create') {
+                        const record = taskMemoryCreateSchema.parse(args.record);
+                        if (Object.hasOwn(state.tasks, record.id))
+                            throw new Error(`Task ${record.id} already exists`);
+                        if (Object.keys(state.tasks).length >= maxTasks)
+                            throw new Error('Working set is full; archive a completed task first');
+                        if (new Set(record.requirements.map(item => item.id)).size !== record.requirements.length)
+                            throw new Error('Duplicate requirement ids');
+                        assertSource(session, record.source);
+                        record.requirements.forEach(item => assertSource(session, item.source));
+                        change = { kind: 'save', task: taskMemorySchema.parse({ ...record, createdAtSeq: session.seq, revision: 1, requirementsRevision: 1, delegationRevision: 1, status: 'active', decisions: [], evidence: [], next: '' }) };
+                    }
+                    else {
+                        const task = requireTaskMemory(state, args.taskId ?? '');
+                        if (args.action === 'focus') {
+                            if (state.focus.kind === 'task' && state.focus.id === task.id)
+                                return { kind: 'unchanged', id: task.id, revision: task.revision };
+                            change = { kind: 'focus', id: task.id };
+                        }
+                        else {
+                            if (args.expectedRevision === undefined)
+                                throw new Error(`${args.action} requires expectedRevision; use the current task view. No task snapshot was appended.`);
+                            if (args.expectedRevision !== task.revision)
+                                throw new Error(`Stale task ${task.id}; read revision ${task.revision} first`);
+                            if (args.action === 'archive') {
+                                if (task.status !== 'completed' && task.status !== 'cancelled')
+                                    throw new Error('Only completed or cancelled memory can be archived; stop workers separately');
+                                change = { kind: 'archive', task };
+                            }
+                            else {
+                                const patch = taskMemoryPatchSchema.parse(args.record);
+                                if (patch.source !== undefined)
+                                    assertSource(session, patch.source);
+                                patch.requirements?.forEach(item => assertSource(session, item.source));
+                                const revised = reviseTaskMemory(task, patch, args.expectedRevision);
+                                if (revised === task)
+                                    return { kind: 'unchanged', id: task.id, revision: task.revision };
+                                change = { kind: 'save', task: revised };
+                            }
+                        }
+                    }
+                    return change;
+                });
+                return JSON.stringify({ action: args.action, ...receipt });
+            }
+            catch (error) {
+                if (error instanceof json.ZodError)
+                    throw new Error(`Invalid ${args.action} input: ${error.issues.slice(0, 4).map(inputIssue).join('; ')}${error.issues.length > 4 ? '; additional invalid fields omitted' : ''}. Check the action fields; no automatic correction was applied.`);
+                throw error;
+            }
+        },
+    }));
+}
+const plugin = { name, inject, Config, apply };
+export default plugin;
+//# sourceMappingURL=super-code.js.map

package/lib/dsh/super-code.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"super-code.js","sourceRoot":"","sources":["../../src/dsh/super-code.ts"],"names":[],"mappings":"AAEA,OAAO,CAAC,MAAM,0BAA0B,CAAA;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAGrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAA;AACvE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAE/F,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAA;AACxF,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAA;AACtF,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,cAAc,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAE9L,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAA;AAC/E,OAAO,EAAE,CAAC,IAAI,IAAI,EAAE,MAAM,KAAK,CAAA;AAE/B,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAEjF,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAC9F,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAEzD,MAAM,CAAC,MAAM,IAAI,GAAG,YAAY,CAAA;AAChC,MAAM,CAAC,MAAM,MAAM,GAAsB,CAAC,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,oBAAoB,CAAC,CAAA;AAEpG,MAAM,CAAC,MAAM,MAAM,GAAc,CAAC,CAAC,MAAM,CAAC;IACxC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACxD,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACxE,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;CACnG,CAAC,CAAA;AAEF,SAAS,YAAY,CAAC,OAAgB,EAAE,MAAkB;IACxD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;IACrD,IAAI,KAAK,EAAE,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAA;IACnK,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC9G,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;AACxH,CAAC;AAED,+FAA+F;AAC/F,SAAS,UAAU,CAAC,KAA0B;IAC5C,IAAI,IAAI,GAAW,KAAK,CAAC,IAAI,CAAA;IAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;QAAE,IAAI,IAAI,cAAc,KAAK,CAAC,QAAQ,EAAE,CAAA;IACzE,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;QAAE,IAAI,IAAI,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,IAAI,KAAK,CAAC,OAAO,EAAE,CAAA;IACxH,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,IAAI,IAAI,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,IAAI,KAAK,CAAC,OAAO,EAAE,CAAA;IACnH,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,QAAQ,KAAK,IAAI,GAAG,CAAA;AAClF,CAAC;AAED,gGAAgG;AAChG,MAAM,YAAY,GAAkF;IAClG,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE;IAC1E,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,EAAE;IACvE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,kBAAkB,EAAE,QAAQ,CAAC,EAAE;IAChG,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,kBAAkB,CAAC,EAAE;IACtF,QAAQ,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE;IAC3G,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;IACjG,QAAQ,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE;CAC7D,CAAA;AAED,SAAS,kBAAkB,CAAC,IAAgD;IAC1E,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAA;IACzF,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAE,CAAA;IACvC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;QAAE,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,aAAa,KAAK,kCAAkC,CAAC,CAAA;IACrJ,KAAK,MAAM,KAAK,IAAI,CAAC,QAAQ,EAAE,kBAAkB,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QACjF,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,wBAAwB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;IACpK,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAA;AACvK,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,KAAK,CAAC,GAAY,EAAE,SAAiB,EAAE;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAA;IACtC,MAAM,eAAe,GAAG,MAAM,CAAC,eAAe,IAAI,KAAK,CAAA;IACvD,MAAM,cAAc,GAAG,sBAAsB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;IAClE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,IAAI,QAAQ,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,IAAI,eAAe,GAAG,IAAI,IAAI,eAAe,GAAG,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;IACrN,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAA;IACrD,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC,GAAG,EAAE,eAAe,CAAC,CAAA;IACxD,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,eAAe,CAAC,2BAA2B,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC,CAAA;IAC/J,0FAA0F;IAC1F,GAAG,CAAC,EAAE,CAAC,wBAAwB,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE;QACnE,MAAM,SAAS,GAAG,MAAM,IAAI,EAAE,CAAA;QAC9B,IAAI,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,UAAU;YAAE,OAAO,SAAS,CAAA;QAC5G,OAAO,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,sBAAsB,IAAI,OAAO,CAAC,IAAI,KAAK,uBAAuB;gBACpJ,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAA;IAClF,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;IACrB,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE;YAClF,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,EAAE,CAAA;YAClC,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC;gBAAE,OAAO,qHAAqH,CAAA;YACjK,OAAO,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC,CAAA;QAC1E,CAAC,EAAE,CAAC,CAAA;IACJ,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC5B,IAAI,EAAE,mBAAmB;QACzB,WAAW,EAAE,8LAA8L;QAC3M,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAiB,EAAE;YAC9I,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,kBAAkB,EAAE,WAAW,EAAE,yKAAyK,EAAE,EAAE;QAChP,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE;QACjG,iBAAiB,EAAE,GAAG,EAAE,CAAC,IAAI;QAC7B,OAAO,EAAE,KAAK,EAAC,IAAI,EAAC,EAAE;YACpB,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;YACrD,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,OAAO,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAA;QACjG,CAAC;KACF,CAAC,CAAC,CAAA;IACH,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC5B,IAAI,EAAE,iBAAiB;QACvB,WAAW,EAAE,09CAA09C;QACv+C,2EAA2E;QAC3E,UAAU,EAAE;YACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,iBAAiB,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,IAAI;gBAC7L,WAAW,EAAE,wuBAAwuB,EAAE;YACzvB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,8IAA8I,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YACvR,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,+NAA+N,EAAE;SACjS;QACD,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE;QACjG,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;YAC5B,IAAI,CAAC;gBACH,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAA;gBAC3F,kBAAkB,CAAC,IAAI,CAAC,CAAA;gBACxB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAA;gBAClC,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;oBAC/B,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAA;oBAC5B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;wBAAE,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,gBAAgB,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;oBAC7K,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;wBACvB,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;wBAC1H,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;qBAChL,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;oBACrB,MAAM,GAAG,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAA;oBAC7F,OAAO,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;gBACjH,CAAC;gBACD,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBAC1F,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;oBAC9D,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;wBAC/B,MAAM,OAAO,GAAsE,EAAE,CAAA;wBACrF,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,IAAI,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE;4BAC7G,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;4BACrC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gCACnI,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAA;gCAC9C,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;4BAC1D,CAAC;4BACD,OAAO,OAAO,CAAC,MAAM,IAAI,EAAE,CAAA;wBAC7B,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;wBACf,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;oBAC7C,CAAC;oBACD,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;wBAAE,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,mBAAmB,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC,CAAA;oBAClO,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBAC1D,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;4BAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAA;wBACxE,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAA;wBACxD,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,EAAE,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;4BAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;wBACjI,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,QAAQ;4BAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;wBAChI,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAA;oBACtE,CAAC;oBACD,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;wBAC3B,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAA;wBACxD,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,CAAA;oBAC5F,CAAC;oBACD,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;wBACpE,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAA;wBACxD,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU;4BAAE,OAAO,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,MAAqC,CAAC,CAAC,CAAA;wBACtI,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;wBAChH,OAAO,IAAI,CAAC,SAAS,CAAC,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,QAAQ,CAAC,UAA8B,EAAE,QAAQ,CAAC,MAAsB,CAAC,CAAC,CAAA;oBACzI,CAAC;oBACD,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAA;gBAC5C,CAAC;gBACD,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;oBAC/D,IAAI,MAAuB,CAAA;oBAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBAC9B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAS,GAAG,CAAC;4BAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;wBACnH,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,QAAS,CAAC,CAAC,CAAA;wBACzD,IAAI,KAAK,KAAK,SAAS;4BAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAA;wBACjE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;wBACzC,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;4BAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAA;wBAC5H,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;wBACtI,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;wBACpC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG;4BAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAA;wBAC5G,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAA;wBACjC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;4BAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,iBAAiB,CAAC,CAAA;wBAC1F,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,IAAI,QAAQ;4BAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAA;wBACvH,MAAM,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,GAAG,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAA;oBAChP,CAAC;yBAAM,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;wBACpC,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;wBACxD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;4BAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,CAAC,EAAE,iBAAiB,CAAC,CAAA;wBAC9F,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,IAAI,QAAQ;4BAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAA;wBACvH,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,YAAY,CAAC,MAAM;4BAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAA;wBACvI,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;wBACpC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;wBACvE,MAAM,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAA;oBACzN,CAAC;yBAAM,CAAC;wBACN,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAA;wBACxD,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;4BAC5B,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;gCAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAA;4BACjI,MAAM,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAA;wBACzC,CAAC;6BACI,CAAC;4BACJ,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS;gCAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,uFAAuF,CAAC,CAAA;4BAC/J,IAAI,IAAI,CAAC,gBAAgB,KAAK,IAAI,CAAC,QAAQ;gCAAE,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,EAAE,mBAAmB,IAAI,CAAC,QAAQ,QAAQ,CAAC,CAAA;4BAC3H,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gCAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;oCAAE,MAAM,IAAI,KAAK,CAAC,6EAA6E,CAAC,CAAA;gCAC9J,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAA;4BACpC,CAAC;iCAAM,CAAC;gCACN,MAAM,KAAK,GAAG,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gCACtD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;oCAAE,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;gCACnE,KAAK,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;gCACvE,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAA;gCACpE,IAAI,OAAO,KAAK,IAAI;oCAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAA;gCACxF,MAAM,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;4BAC1C,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,OAAO,MAAM,CAAA;gBACf,CAAC,CAAC,CAAA;gBACF,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,CAAA;YAC5D,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,KAAK,YAAY,IAAI,CAAC,QAAQ;oBAAE,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,MAAM,WAAW,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC,EAAE,iEAAiE,CAAC,CAAA;gBACjR,MAAM,KAAK,CAAA;YACb,CAAC;QACH,CAAC;KACF,CAAC,CAAC,CAAA;AACL,CAAC;AAED,MAAM,MAAM,GAA4H,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;AACvK,eAAe,MAAM,CAAA"}

package/lib/evaluate.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=evaluate.d.ts.map

package/lib/evaluate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../src/evaluate.ts"],"names":[],"mappings":""}

package/lib/evaluate.js

@@ -0,0 +1,40 @@
+#!/usr/bin/env node
+import { readFile } from 'node:fs/promises';
+import { createReadStream } from 'node:fs';
+import { createInterface } from 'node:readline';
+import { evaluateSuperCodeBatch } from './core/evaluation.js';
+/** Offline acceptance only: this command never starts a model or rewrites evidence. */
+async function main() {
+    const [manifestPath, measurementsPath, ...extra] = process.argv.slice(2);
+    if (!manifestPath || !measurementsPath || extra.length > 0)
+        throw new Error('Usage: super-code-eval manifest.json measurements.jsonl');
+    const manifest = JSON.parse(await readFile(manifestPath, 'utf8'));
+    evaluateSuperCodeBatch(manifest, []); // Validate the manifest before reading measurements.
+    const rows = [];
+    const input = createReadStream(measurementsPath, { encoding: 'utf8' });
+    const lines = createInterface({ input, crlfDelay: Infinity });
+    try {
+        for await (const line of lines) {
+            if (line.trim() === '')
+                continue;
+            rows.push(JSON.parse(line));
+            if (rows.length > manifest.cases.length * 2)
+                throw new Error('Too many measurements: one baseline and one candidate per case are allowed');
+        }
+    }
+    finally {
+        lines.close();
+        input.destroy();
+    }
+    const result = evaluateSuperCodeBatch(manifest, rows);
+    process.stdout.write(JSON.stringify(result, null, 2) + '\n');
+    process.exitCode = result.accepted ? 0 : 1;
+}
+try {
+    await main();
+}
+catch (error) {
+    process.stderr.write(JSON.stringify({ status: 'invalid', accepted: false, error: error instanceof Error ? error.message : 'Evaluation failed' }) + '\n');
+    process.exitCode = 2;
+}
+//# sourceMappingURL=evaluate.js.map

package/lib/evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../src/evaluate.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAA;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAC/C,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAA;AAG7D,uFAAuF;AACvF,KAAK,UAAU,IAAI;IACjB,MAAM,CAAC,YAAY,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACxE,IAAI,CAAC,YAAY,IAAI,CAAC,gBAAgB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IACtI,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAsB,CAAA;IACtF,sBAAsB,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA,CAAC,qDAAqD;IAC1F,MAAM,IAAI,GAA2B,EAAE,CAAA;IACvC,MAAM,KAAK,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAA;IACtE,MAAM,KAAK,GAAG,eAAe,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAA;IAC7D,IAAI,CAAC;QACH,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,SAAQ;YAChC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAyB,CAAC,CAAA;YACnD,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAA;QAC5I,CAAC;IACH,CAAC;YAAS,CAAC;QAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QAAC,KAAK,CAAC,OAAO,EAAE,CAAA;IAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,sBAAsB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACrD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;IAC5D,OAAO,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC5C,CAAC;AAED,IAAI,CAAC;IAAC,MAAM,IAAI,EAAE,CAAA;AAAC,CAAC;AAAC,OAAO,KAAK,EAAE,CAAC;IAClC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,EAAE,CAAC,GAAG,IAAI,CAAC,CAAA;IACxJ,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;AACtB,CAAC"}

package/lib/experiments.d.ts

@@ -0,0 +1,77 @@
+export type Verdict = {
+    kind: 'pass';
+} | {
+    kind: 'fail';
+    signature: string;
+    detail?: unknown;
+} | {
+    kind: 'unknown';
+    reason: string;
+};
+export type Probe<T> = (input: T, signal?: AbortSignal) => Verdict | Promise<Verdict>;
+export interface ExperimentLimits {
+    maxChecks: number;
+    timeoutMs: number;
+    signal?: AbortSignal;
+}
+export interface ExperimentStats {
+    checks: number;
+    maxChecks: number;
+    elapsedMs: number;
+    timeoutMs: number;
+}
+/** Shared callback budget; hard interruption belongs to the outer shell timeout. */
+export declare class ExperimentBudget {
+    private checks;
+    private readonly started;
+    private readonly maxChecks;
+    private readonly timeoutMs;
+    private readonly signal?;
+    constructor(limits: ExperimentLimits);
+    private checkTime;
+    check<T>(probe: Probe<T>, input: T): Promise<Verdict>;
+    stats(): ExperimentStats;
+}
+export interface Reduction<T> {
+    status: 'reduced' | 'not-reproduced' | 'inconclusive' | 'stopped';
+    input: T[];
+    reproduced: boolean;
+    minimality: 'one-removal' | 'not-established';
+    reason: string;
+    stats: ExperimentStats;
+}
+/** Chunk deletion followed by single deletion; no global-minimum claim. */
+export declare function reduceFailure<T>(input: readonly T[], signature: string, probe: Probe<T[]>, budget: ExperimentBudget): Promise<Reduction<T>>;
+export type SearchResult<T> = {
+    status: 'counterexample';
+    index: number;
+    input: T;
+    verdict: Extract<Verdict, {
+        kind: 'fail';
+    }>;
+    stats: ExperimentStats;
+} | {
+    status: 'checked' | 'inconclusive' | 'stopped';
+    checkedCases: number;
+    unknownCases: number;
+    reason: string;
+    stats: ExperimentStats;
+};
+/** Consumes cases lazily and stops at the first explicit counterexample. */
+export declare function findCounterexample<T>(cases: Iterable<T>, probe: Probe<T>, budget: ExperimentBudget): Promise<SearchResult<T>>;
+export type Observation<T, O> = (input: T, signal?: AbortSignal) => O | Promise<O>;
+/** Exceptions propagate; behavior-difference identifies any mismatch, not a specific fault. */
+export declare function differential<T, O>(reference: Observation<T, O>, candidate: Observation<T, O>, equal?: (left: O, right: O) => boolean): Probe<T>;
+/** The caller supplies a contract-backed transform and relation, not a guessed oracle. */
+export declare function metamorphic<T, O>(contract: string, observe: Observation<T, O>, transform: (input: T) => T, holds: (original: O, transformed: O) => boolean): Probe<T>;
+export interface ScheduleStep {
+    lane: 0 | 1;
+    index: number;
+}
+export interface ScheduleSet extends Iterable<ScheduleStep[]> {
+    readonly coverage: 'complete' | 'limited';
+    readonly count: number;
+}
+/** Enumerate two ordered lanes, bounded before allocation; not a runtime scheduler. */
+export declare function interleavings(leftLength: number, rightLength: number, maxSchedules: number): ScheduleSet;
+//# sourceMappingURL=experiments.d.ts.map

package/lib/experiments.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"experiments.d.ts","sourceRoot":"","sources":["../src/experiments.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,OAAO,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,GAC1F;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AACvC,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,WAAW,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;AACrF,MAAM,WAAW,gBAAgB;IAAG,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,WAAW,CAAA;CAAE;AAChG,MAAM,WAAW,eAAe;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE;AAM5G,oFAAoF;AACpF,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,MAAM,CAAI;IAClB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoB;IAC5C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAQ;IAClC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAQ;IAClC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAa;gBACzB,MAAM,EAAE,gBAAgB;IAMpC,OAAO,CAAC,SAAS;IAIX,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC;IAmB3D,KAAK,IAAI,eAAe;CAGzB;AAED,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,MAAM,EAAE,SAAS,GAAG,gBAAgB,GAAG,cAAc,GAAG,SAAS,CAAA;IACjE,KAAK,EAAE,CAAC,EAAE,CAAC;IAAC,UAAU,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,aAAa,GAAG,iBAAiB,CAAA;IAC9E,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAA;CACvC;AAED,2EAA2E;AAC3E,wBAAsB,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,gBAAgB,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAqCjJ;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;IAC5B,MAAM,EAAE,gBAAgB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,CAAC,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAAC,KAAK,EAAE,eAAe,CAAA;CACvH,GAAG;IAAE,MAAM,EAAE,SAAS,GAAG,cAAc,GAAG,SAAS,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAA;CAAE,CAAA;AAE1I,4EAA4E;AAC5E,wBAAsB,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAenI;AAED,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,WAAW,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAElF,+FAA+F;AAC/F,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,GAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAA2B,GAAG,KAAK,CAAC,CAAC,CAAC,CASlK;AAED,0FAA0F;AAC1F,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,EACxG,KAAK,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,KAAK,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAW3D;AAED,MAAM,WAAW,YAAY;IAAG,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAC5D,MAAM,WAAW,WAAY,SAAQ,QAAQ,CAAC,YAAY,EAAE,CAAC;IAC3D,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAClE;AAED,uFAAuF;AACvF,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,WAAW,CA2BxG"}

package/lib/experiments.js

@@ -0,0 +1,196 @@
+/** Pure experiment helpers, imported only by task-owned scripts under the host shell. */
+import { isDeepStrictEqual } from 'node:util';
+import { performance } from 'node:perf_hooks';
+class ExperimentStopped extends Error {
+    reason;
+    constructor(reason) {
+        super(`Experiment stopped: ${reason}`);
+        this.reason = reason;
+    }
+}
+/** Shared callback budget; hard interruption belongs to the outer shell timeout. */
+export class ExperimentBudget {
+    checks = 0;
+    started = performance.now();
+    maxChecks;
+    timeoutMs;
+    signal;
+    constructor(limits) {
+        if (!Number.isSafeInteger(limits.maxChecks) || limits.maxChecks < 1 || !Number.isFinite(limits.timeoutMs) || limits.timeoutMs <= 0) {
+            throw new Error('maxChecks must be a positive safe integer; timeoutMs must be positive and finite');
+        }
+        this.maxChecks = limits.maxChecks;
+        this.timeoutMs = limits.timeoutMs;
+        this.signal = limits.signal;
+    }
+    checkTime() {
+        if (this.signal?.aborted)
+            throw new ExperimentStopped('cancelled');
+        if (performance.now() - this.started >= this.timeoutMs)
+            throw new ExperimentStopped('deadline');
+    }
+    async check(probe, input) {
+        this.checkTime();
+        if (this.checks >= this.maxChecks)
+            throw new ExperimentStopped('checks');
+        this.checks++;
+        // Inputs must be structured-cloneable; a probe cannot mutate later trials.
+        let result;
+        try {
+            result = await probe(structuredClone(input), this.signal);
+        }
+        catch (error) {
+            if (this.signal?.aborted)
+                throw new ExperimentStopped('cancelled');
+            throw error;
+        }
+        this.checkTime();
+        if (!result || !['pass', 'fail', 'unknown'].includes(result.kind)
+            || (result.kind === 'fail' && (typeof result.signature !== 'string' || !result.signature.trim()))
+            || (result.kind === 'unknown' && (typeof result.reason !== 'string' || !result.reason.trim()))) {
+            throw new Error('Probe must return pass, fail with a signature, or unknown with a reason');
+        }
+        return result;
+    }
+    stats() {
+        return { checks: this.checks, maxChecks: this.maxChecks, elapsedMs: performance.now() - this.started, timeoutMs: this.timeoutMs };
+    }
+}
+/** Chunk deletion followed by single deletion; no global-minimum claim. */
+export async function reduceFailure(input, signature, probe, budget) {
+    if (typeof signature !== 'string' || !signature.trim())
+        throw new Error('A nonempty target failure signature is required');
+    let current = structuredClone([...input]), reproduced = false, uncertain = false;
+    const result = (status, reason, minimality = 'not-established') => ({ status, input: current, reproduced, minimality, reason, stats: budget.stats() });
+    const matches = async (candidate) => {
+        const first = await budget.check(probe, candidate);
+        if (first.kind === 'unknown') {
+            uncertain = true;
+            return false;
+        }
+        if (first.kind !== 'fail' || first.signature !== signature)
+            return false;
+        const second = await budget.check(probe, candidate);
+        if (second.kind !== 'fail' || second.signature !== signature) {
+            uncertain = true;
+            return false;
+        }
+        return true;
+    };
+    try {
+        if (!await matches(current))
+            return result(uncertain ? 'inconclusive' : 'not-reproduced', 'Initial input did not reproduce the target failure twice');
+        reproduced = true;
+        if (current.length && await matches([]))
+            current = [];
+        let partitions = 2;
+        while (current.length > 0) {
+            const width = Math.ceil(current.length / partitions);
+            let changed = false;
+            for (let start = 0; start < current.length; start += width) {
+                const candidate = [...current.slice(0, start), ...current.slice(start + width)];
+                if (await matches(candidate)) {
+                    current = candidate;
+                    partitions = Math.max(2, partitions - 1);
+                    changed = true;
+                    break;
+                }
+            }
+            if (changed)
+                continue;
+            if (width === 1)
+                break;
+            partitions = Math.min(current.length, partitions * 2);
+        }
+        return result(uncertain ? 'inconclusive' : 'reduced', uncertain ? 'Some probes were unknown or inconsistent' : 'Target failure confirmed; no single deletion retained it', uncertain ? 'not-established' : 'one-removal');
+    }
+    catch (error) {
+        if (!(error instanceof ExperimentStopped))
+            throw error;
+        return result('stopped', error.reason);
+    }
+}
+/** Consumes cases lazily and stops at the first explicit counterexample. */
+export async function findCounterexample(cases, probe, budget) {
+    let checkedCases = 0, unknownCases = 0;
+    try {
+        for (const input of cases) {
+            const saved = structuredClone(input);
+            const verdict = await budget.check(probe, saved);
+            if (verdict.kind === 'fail')
+                return { status: 'counterexample', index: checkedCases, input: saved, verdict, stats: budget.stats() };
+            checkedCases++;
+            if (verdict.kind === 'unknown')
+                unknownCases++;
+        }
+        return { status: unknownCases || !checkedCases ? 'inconclusive' : 'checked', checkedCases, unknownCases,
+            reason: unknownCases ? 'Some cases were unknown' : checkedCases ? 'Only the supplied cases were checked' : 'No cases supplied', stats: budget.stats() };
+    }
+    catch (error) {
+        if (!(error instanceof ExperimentStopped))
+            throw error;
+        return { status: 'stopped', checkedCases, unknownCases, reason: error.reason, stats: budget.stats() };
+    }
+}
+/** Exceptions propagate; behavior-difference identifies any mismatch, not a specific fault. */
+export function differential(reference, candidate, equal = isDeepStrictEqual) {
+    return async (input, signal) => {
+        const expected = structuredClone(await reference(structuredClone(input), signal));
+        signal?.throwIfAborted();
+        const actual = structuredClone(await candidate(structuredClone(input), signal));
+        const same = equal(expected, actual);
+        if (typeof same !== 'boolean')
+            throw new Error('Differential equality must return a boolean');
+        return same ? { kind: 'pass' } : { kind: 'fail', signature: 'behavior-difference', detail: { expected, actual } };
+    };
+}
+/** The caller supplies a contract-backed transform and relation, not a guessed oracle. */
+export function metamorphic(contract, observe, transform, holds) {
+    if (typeof contract !== 'string' || !contract.trim())
+        throw new Error('A relation contract is required');
+    return async (input, signal) => {
+        const transformedInput = transform(structuredClone(input));
+        const original = structuredClone(await observe(structuredClone(input), signal));
+        signal?.throwIfAborted();
+        const transformed = structuredClone(await observe(structuredClone(transformedInput), signal));
+        const valid = holds(original, transformed);
+        if (typeof valid !== 'boolean')
+            throw new Error('Relation must return a boolean');
+        return valid ? { kind: 'pass' } : { kind: 'fail', signature: contract, detail: { transformedInput, original, transformed } };
+    };
+}
+/** Enumerate two ordered lanes, bounded before allocation; not a runtime scheduler. */
+export function interleavings(leftLength, rightLength, maxSchedules) {
+    if (![leftLength, rightLength].every(n => Number.isSafeInteger(n) && n >= 0) || leftLength + rightLength > 256
+        || !Number.isSafeInteger(maxSchedules) || maxSchedules < 1)
+        throw new Error('Use nonnegative lane lengths totaling at most 256 and a positive maxSchedules');
+    const length = leftLength + rightLength;
+    let count = 1n;
+    for (let i = 1; i <= Math.min(leftLength, rightLength); i++) {
+        count = count * BigInt(length - i + 1) / BigInt(i);
+        if (count > BigInt(maxSchedules))
+            break;
+    }
+    const coverage = count > BigInt(maxSchedules) ? 'limited' : 'complete';
+    return {
+        coverage, count: Math.min(Number(count), maxSchedules),
+        *[Symbol.iterator]() {
+            // Lexicographic combinations of left-lane positions; O(sequence length) memory.
+            const positions = Array.from({ length: leftLength }, (_, index) => index);
+            for (let emitted = 0; emitted < maxSchedules; emitted++) {
+                let left = 0, right = 0;
+                yield Array.from({ length }, (_, position) => position === positions[left]
+                    ? { lane: 0, index: left++ } : { lane: 1, index: right++ });
+                let index = positions.length - 1;
+                while (index >= 0 && positions[index] === length - positions.length + index)
+                    index--;
+                if (index < 0)
+                    return;
+                positions[index]++;
+                for (let next = index + 1; next < positions.length; next++)
+                    positions[next] = positions[next - 1] + 1;
+            }
+        },
+    };
+}
+//# sourceMappingURL=experiments.js.map