@tracecode/harness 0.6.1 → 0.6.5

package/dist/index.d.cts

@@ -1,6 +1,6 @@
 export { L as Language, a as LanguageRuntimeProfile, R as RuntimeCapabilities, b as RuntimeClient, c as RuntimeExecutionStyle, d as RuntimeMaturity, T as TraceBudget, e as TraceExecutionOptions } from './runtime-types-89nchXlY.cjs';
 export { C as CallStackFrame, a as CodeExecutionResult, E as ExecutionResult, b as ExecutionStatus, P as ProcessedStep, c as PyodideState, R as RawTraceStep, d as RuntimeHashMapEntry, e as RuntimeHashMapVisualization, f as RuntimeObjectKind, g as RuntimeTraceAccessEvent, h as RuntimeTraceAccessKind, i as RuntimeVisualizationPayload, T as TestResult } from './types-zyvpJKCi.cjs';
-export { JavaSpikeTraceContractResult, JavaSpikeTraceResult, JavaSpikeTraceContractResult as JavaTraceContractResult, JavaSpikeTraceResult as JavaTraceResult, RUNTIME_TRACE_CONTRACT_SCHEMA_VERSION, RuntimeTraceContractCallStackFrame, RuntimeTraceContractEvent, RuntimeTraceContractHashMap, RuntimeTraceContractHashMapEntry, RuntimeTraceContractResult, RuntimeTraceContractStep, RuntimeTraceContractVisualization, adaptJavaScriptTraceExecutionResult, adaptJavaSpikeTraceExecutionResult, adaptJavaSpikeTraceExecutionResult as adaptJavaTraceExecutionResult, adaptPythonTraceExecutionResult, adaptTraceExecutionResult, buildJavaExecutionResult, buildJavaExecutionResult as buildJavaSpikeExecutionResult, normalizeJavaSpikeTraceContract, normalizeJavaSpikeTraceContract as normalizeJavaTraceContract, normalizeRuntimeTraceContract, stableStringifyRuntimeTraceContract } from './core.cjs';
+export { JavaSpikeTraceContractResult, JavaSpikeTraceResult, JavaSpikeTraceContractResult as JavaTraceContractResult, JavaSpikeTraceResult as JavaTraceResult, RUNTIME_TRACE_CONTRACT_SCHEMA_VERSION, RuntimeTraceContractCallStackFrame, RuntimeTraceContractEvent, RuntimeTraceContractHashMap, RuntimeTraceContractHashMapEntry, RuntimeTraceContractResult, RuntimeTraceContractStep, RuntimeTraceContractVisualization, adaptJavaScriptTraceExecutionResult, adaptJavaSpikeTraceExecutionResult, adaptJavaSpikeTraceExecutionResult as adaptJavaTraceExecutionResult, adaptPythonTraceExecutionResult, adaptTraceExecutionResult, buildJavaExecutionResult, buildJavaExecutionResult as buildJavaSpikeExecutionResult, normalizeJavaSerializedResult, normalizeJavaSpikeTraceContract, normalizeJavaSpikeTraceContract as normalizeJavaTraceContract, normalizeRuntimeTraceContract, stableStringifyRuntimeTraceContract } from './core.cjs';
 export { BrowserHarness, BrowserHarnessAssetOverrides, BrowserHarnessAssets, CreateBrowserHarnessOptions, DEFAULT_BROWSER_HARNESS_ASSET_RELATIVE_PATHS, LANGUAGE_RUNTIME_PROFILES, SUPPORTED_LANGUAGES, assertRuntimeRequestSupported, createBrowserHarness, getLanguageRuntimeProfile, getSupportedLanguageProfiles, isLanguageSupported, resolveBrowserHarnessAssets } from './browser.cjs';
 export { PYTHON_CLASS_DEFINITIONS, PYTHON_CONVERSION_HELPERS, PYTHON_EXECUTE_SERIALIZE_FUNCTION, PYTHON_INTERVIEW_MATERIALIZE_SERIALIZE_FUNCTION, PYTHON_PRACTICE_MATERIALIZE_SERIALIZE_FUNCTION, PYTHON_SERIALIZE_FUNCTION, PYTHON_TRACE_SERIALIZE_FUNCTION, TEMPLATE_PYTHON_CLASS_DEFINITIONS, TEMPLATE_PYTHON_CONVERSION_HELPERS, TEMPLATE_PYTHON_EXECUTE_SERIALIZE_FUNCTION, TEMPLATE_PYTHON_INTERVIEW_MATERIALIZE_SERIALIZE_FUNCTION, TEMPLATE_PYTHON_PRACTICE_MATERIALIZE_SERIALIZE_FUNCTION, TEMPLATE_PYTHON_SERIALIZE_FUNCTION, TEMPLATE_PYTHON_TRACE_SERIALIZE_FUNCTION, generateConversionCode, generateInputSetup, generateSolutionScript, identifyConversions, templateToPythonLiteral, toPythonLiteral } from './python.cjs';
 export { TYPESCRIPT_RUNTIME_DECLARATIONS, executeJavaScriptCode, executeJavaScriptWithTracing, executeTypeScriptCode, withTypeScriptRuntimeDeclarations } from './javascript.cjs';

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 export { L as Language, a as LanguageRuntimeProfile, R as RuntimeCapabilities, b as RuntimeClient, c as RuntimeExecutionStyle, d as RuntimeMaturity, T as TraceBudget, e as TraceExecutionOptions } from './runtime-types-CCQ-ZLc9.js';
 export { C as CallStackFrame, a as CodeExecutionResult, E as ExecutionResult, b as ExecutionStatus, P as ProcessedStep, c as PyodideState, R as RawTraceStep, d as RuntimeHashMapEntry, e as RuntimeHashMapVisualization, f as RuntimeObjectKind, g as RuntimeTraceAccessEvent, h as RuntimeTraceAccessKind, i as RuntimeVisualizationPayload, T as TestResult } from './types-zyvpJKCi.js';
-export { JavaSpikeTraceContractResult, JavaSpikeTraceResult, JavaSpikeTraceContractResult as JavaTraceContractResult, JavaSpikeTraceResult as JavaTraceResult, RUNTIME_TRACE_CONTRACT_SCHEMA_VERSION, RuntimeTraceContractCallStackFrame, RuntimeTraceContractEvent, RuntimeTraceContractHashMap, RuntimeTraceContractHashMapEntry, RuntimeTraceContractResult, RuntimeTraceContractStep, RuntimeTraceContractVisualization, adaptJavaScriptTraceExecutionResult, adaptJavaSpikeTraceExecutionResult, adaptJavaSpikeTraceExecutionResult as adaptJavaTraceExecutionResult, adaptPythonTraceExecutionResult, adaptTraceExecutionResult, buildJavaExecutionResult, buildJavaExecutionResult as buildJavaSpikeExecutionResult, normalizeJavaSpikeTraceContract, normalizeJavaSpikeTraceContract as normalizeJavaTraceContract, normalizeRuntimeTraceContract, stableStringifyRuntimeTraceContract } from './core.js';
+export { JavaSpikeTraceContractResult, JavaSpikeTraceResult, JavaSpikeTraceContractResult as JavaTraceContractResult, JavaSpikeTraceResult as JavaTraceResult, RUNTIME_TRACE_CONTRACT_SCHEMA_VERSION, RuntimeTraceContractCallStackFrame, RuntimeTraceContractEvent, RuntimeTraceContractHashMap, RuntimeTraceContractHashMapEntry, RuntimeTraceContractResult, RuntimeTraceContractStep, RuntimeTraceContractVisualization, adaptJavaScriptTraceExecutionResult, adaptJavaSpikeTraceExecutionResult, adaptJavaSpikeTraceExecutionResult as adaptJavaTraceExecutionResult, adaptPythonTraceExecutionResult, adaptTraceExecutionResult, buildJavaExecutionResult, buildJavaExecutionResult as buildJavaSpikeExecutionResult, normalizeJavaSerializedResult, normalizeJavaSpikeTraceContract, normalizeJavaSpikeTraceContract as normalizeJavaTraceContract, normalizeRuntimeTraceContract, stableStringifyRuntimeTraceContract } from './core.js';
 export { BrowserHarness, BrowserHarnessAssetOverrides, BrowserHarnessAssets, CreateBrowserHarnessOptions, DEFAULT_BROWSER_HARNESS_ASSET_RELATIVE_PATHS, LANGUAGE_RUNTIME_PROFILES, SUPPORTED_LANGUAGES, assertRuntimeRequestSupported, createBrowserHarness, getLanguageRuntimeProfile, getSupportedLanguageProfiles, isLanguageSupported, resolveBrowserHarnessAssets } from './browser.js';
 export { PYTHON_CLASS_DEFINITIONS, PYTHON_CONVERSION_HELPERS, PYTHON_EXECUTE_SERIALIZE_FUNCTION, PYTHON_INTERVIEW_MATERIALIZE_SERIALIZE_FUNCTION, PYTHON_PRACTICE_MATERIALIZE_SERIALIZE_FUNCTION, PYTHON_SERIALIZE_FUNCTION, PYTHON_TRACE_SERIALIZE_FUNCTION, TEMPLATE_PYTHON_CLASS_DEFINITIONS, TEMPLATE_PYTHON_CONVERSION_HELPERS, TEMPLATE_PYTHON_EXECUTE_SERIALIZE_FUNCTION, TEMPLATE_PYTHON_INTERVIEW_MATERIALIZE_SERIALIZE_FUNCTION, TEMPLATE_PYTHON_PRACTICE_MATERIALIZE_SERIALIZE_FUNCTION, TEMPLATE_PYTHON_SERIALIZE_FUNCTION, TEMPLATE_PYTHON_TRACE_SERIALIZE_FUNCTION, generateConversionCode, generateInputSetup, generateSolutionScript, identifyConversions, templateToPythonLiteral, toPythonLiteral } from './python.js';
 export { TYPESCRIPT_RUNTIME_DECLARATIONS, executeJavaScriptCode, executeJavaScriptWithTracing, executeTypeScriptCode, withTypeScriptRuntimeDeclarations } from './javascript.js';

package/dist/index.js

@@ -359,6 +359,16 @@ function parseScalar(raw) {
   }
   return raw;
 }
+function normalizeJavaSerializedResult(output) {
+  if (typeof output !== "string") {
+    return output;
+  }
+  try {
+    return JSON.parse(output);
+  } catch {
+    return output;
+  }
+}
 function parseKeyValuePairs(fragment) {
   const variables = {};
   const matches = Array.from(fragment.matchAll(/\b([A-Za-z_][A-Za-z0-9_.]*)=/g));
@@ -539,10 +549,29 @@ function parseAccessEvent(payload) {
       pathDepth: 1
     }];
   }
+  const indexedMutatingCall = payload.match(/^mutate-indexed ([A-Za-z_][A-Za-z0-9_]*)\[(\d+)\] method=([A-Za-z_][A-Za-z0-9_]*)$/);
+  if (indexedMutatingCall) {
+    return [{
+      variable: indexedMutatingCall[1],
+      kind: "mutating-call",
+      indices: [Number.parseInt(indexedMutatingCall[2], 10)],
+      method: indexedMutatingCall[3],
+      pathDepth: 1
+    }];
+  }
+  const keyedCall = payload.match(/^keyed-call ([A-Za-z_][A-Za-z0-9_]*) method=([A-Za-z_][A-Za-z0-9_]*)(?:\s+.*)?$/);
+  if (keyedCall) {
+    return [{
+      variable: keyedCall[1],
+      kind: "mutating-call",
+      method: keyedCall[2],
+      pathDepth: 1
+    }];
+  }
   return void 0;
 }
 function parseStructureState(payload) {
-  const match = payload.match(/^state (linked-list|tree) ([A-Za-z_][A-Za-z0-9_]*)=(.+)$/);
+  const match = payload.match(/^state (linked-list|tree|graph-adjacency) ([A-Za-z_][A-Za-z0-9_]*)=(.+)$/);
   if (!match) return null;
   return {
     structure: match[1],
@@ -558,6 +587,22 @@ function parseObjectState(payload) {
     visualization: JSON.parse(match[2])
   };
 }
+function parseMapState(payload) {
+  const match = payload.match(/^map-state ([A-Za-z_][A-Za-z0-9_]*)=(.+)$/);
+  if (!match) return null;
+  return {
+    variable: match[1],
+    visualization: JSON.parse(match[2])
+  };
+}
+function parseSetState(payload) {
+  const match = payload.match(/^set-state ([A-Za-z_][A-Za-z0-9_]*)=(.+)$/);
+  if (!match) return null;
+  return {
+    variable: match[1],
+    visualization: JSON.parse(match[2])
+  };
+}
 function parseObjectFieldEvent(payload) {
   const match = payload.match(/^(access|write) ([A-Za-z_][A-Za-z0-9_]*)\.([A-Za-z_][A-Za-z0-9_]*)=(.+)$/);
   if (!match) return null;
@@ -567,6 +612,9 @@ function parseObjectFieldEvent(payload) {
     value: parseScalar(match[4])
   };
 }
+function isArrayLengthAccessEvent(payload) {
+  return /^access [A-Za-z_][A-Za-z0-9_]*\.length=\d+$/.test(payload);
+}
 function buildFieldVisualization(event) {
   return {
     objectKinds: {
@@ -646,12 +694,13 @@ function filterStructuredVariables(variables) {
   }
   return Object.fromEntries(entries);
 }
-function appendJavaTraceStep(trace, step, pendingAccesses) {
+function appendJavaTraceStep(trace, step, pendingAccesses, options = {}) {
   const nextStep = pendingAccesses.length > 0 ? { ...step, accesses: [...pendingAccesses] } : step;
   pendingAccesses.length = 0;
-  if (!maybeMergeConsecutiveLineStep(trace, nextStep)) {
-    trace.push(nextStep);
+  if (options.allowMerge !== false && maybeMergeConsecutiveLineStep(trace, nextStep)) {
+    return;
   }
+  trace.push(nextStep);
 }
 function mergeIntoPreviousMatchingLineStep(trace, line, currentFunction, currentCallStack, patch) {
   const candidate = trace.at(-1);
@@ -685,11 +734,14 @@ function eventsToRawTrace(events, sourceText) {
   const stack = [];
   const pendingAccesses = [];
   let currentFunction = "<module>";
+  let previousRawLine = null;
   const lineRemap = buildLineRemap(sourceText);
   const declarationLines = buildMethodDeclarationLineSet(sourceText);
   for (const rawEvent of events) {
     if (rawEvent === "clear" || rawEvent === "reset") continue;
     const metadata = extractLineMetadata(rawEvent);
+    const previousEventRawLine = previousRawLine;
+    previousRawLine = metadata.line;
     const line = lineRemap?.get(metadata.line) ?? metadata.line;
     const payload = metadata.payload;
     const isDeclarationLine = declarationLines?.has(line) === true;
@@ -697,28 +749,31 @@ function eventsToRawTrace(events, sourceText) {
       const match = payload.match(/^call\s+(\S+)(?:\s+(.*))?$/);
       const functionName = match?.[1] ?? currentFunction;
       const argsFragment = match?.[2] ?? "";
-      Object.assign(variables, parseKeyValuePairs(argsFragment));
+      const args = parseKeyValuePairs(argsFragment);
+      Object.assign(variables, args);
       currentFunction = functionName || currentFunction;
-      stack.push({ function: currentFunction, line });
+      stack.push({ function: currentFunction, line, args });
       appendJavaTraceStep(trace, {
         line,
         event: "call",
         function: currentFunction,
         variables: { ...variables },
-        callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: {} }))
+        callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: { ...frame.args } }))
       }, pendingAccesses);
       continue;
     }
     if (payload.startsWith("return ")) {
-      const match = payload.match(/^return\s+(\S+)$/);
+      const match = payload.match(/^return\s+(\S+)(?:\s+value=(.*))?$/);
       const functionName = match?.[1] ?? currentFunction;
+      const returnValue = match?.[2] !== void 0 ? parseScalar(match[2].trim()) : void 0;
       const returnVariables = functionName === "<module>" ? { ...variables } : filterStructuredVariables(variables) ?? {};
       appendJavaTraceStep(trace, {
         line,
         event: "return",
         function: functionName || currentFunction,
         variables: returnVariables,
-        callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: {} }))
+        callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: { ...frame.args } })),
+        ...returnValue !== void 0 ? { returnValue } : {}
       }, pendingAccesses);
       stack.pop();
       currentFunction = stack[stack.length - 1]?.function ?? "<module>";
@@ -733,8 +788,8 @@ function eventsToRawTrace(events, sourceText) {
         event: "line",
         function: currentFunction,
         variables: { ...variables },
-        ...stack.length > 0 ? { callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: {} })) } : {}
-      }, pendingAccesses);
+        ...stack.length > 0 ? { callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: { ...frame.args } })) } : {}
+      }, pendingAccesses, { allowMerge: previousEventRawLine !== metadata.line });
       continue;
     }
     const structureState = parseStructureState(payload);
@@ -746,7 +801,7 @@ function eventsToRawTrace(events, sourceText) {
         event: "line",
         function: currentFunction,
         variables: { ...variables },
-        callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: {} })),
+        callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: { ...frame.args } })),
         visualization: {
           objectKinds: { ...objectKinds }
         }
@@ -761,7 +816,7 @@ function eventsToRawTrace(events, sourceText) {
         event: "line",
         function: currentFunction,
         variables: { ...variables },
-        callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: {} })),
+        callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: { ...frame.args } })),
         visualization: {
           objectKinds: { [objectState.variable]: "object" },
           hashMaps: [objectState.visualization]
@@ -769,10 +824,56 @@ function eventsToRawTrace(events, sourceText) {
       }, pendingAccesses);
       continue;
     }
+    const mapState = parseMapState(payload);
+    if (mapState) {
+      const entries = mapState.visualization.entries.map((entry) => [entry.key, entry.value]);
+      variables[mapState.variable] = { __type__: "map", entries };
+      appendJavaTraceStep(trace, {
+        line,
+        event: "line",
+        function: currentFunction,
+        variables: { ...variables },
+        callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: { ...frame.args } })),
+        visualization: {
+          objectKinds: { [mapState.variable]: "map" },
+          hashMaps: [mapState.visualization]
+        }
+      }, pendingAccesses);
+      continue;
+    }
+    const setState = parseSetState(payload);
+    if (setState) {
+      const values = setState.visualization.entries.map((entry) => entry.key);
+      variables[setState.variable] = { __type__: "set", values };
+      appendJavaTraceStep(trace, {
+        line,
+        event: "line",
+        function: currentFunction,
+        variables: { ...variables },
+        callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: { ...frame.args } })),
+        visualization: {
+          objectKinds: { [setState.variable]: "set" },
+          hashMaps: [setState.visualization]
+        }
+      }, pendingAccesses);
+      continue;
+    }
+    if (isArrayLengthAccessEvent(payload)) {
+      continue;
+    }
+    const accesses = parseAccessEvent(payload);
+    if (accesses) {
+      const currentCallStack = stack.length > 0 ? stack.map((frame) => ({ function: frame.function, line: frame.line, args: { ...frame.args } })) : void 0;
+      if (mergeAccessesIntoPreviousMatchingLineStep(trace, line, currentFunction, currentCallStack, accesses)) {
+        continue;
+      }
+      pendingAccesses.push(...accesses);
+      continue;
+    }
     const objectField = parseObjectFieldEvent(payload);
     if (objectField) {
       variables[objectField.variable] = { __ref__: `${objectField.variable}-object` };
-      const currentCallStack = stack.length > 0 ? stack.map((frame) => ({ function: frame.function, line: frame.line, args: {} })) : void 0;
+      const currentCallStack = stack.length > 0 ? stack.map((frame) => ({ function: frame.function, line: frame.line, args: { ...frame.args } })) : void 0;
       if (mergeIntoPreviousMatchingLineStep(trace, line, currentFunction, currentCallStack, {
         variables: { ...variables },
         accesses: void 0,
@@ -785,27 +886,18 @@ function eventsToRawTrace(events, sourceText) {
         event: "line",
         function: currentFunction,
         variables: { ...variables },
-        callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: {} })),
+        callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: { ...frame.args } })),
         visualization: buildFieldVisualization(objectField)
       }, pendingAccesses);
       continue;
     }
     Object.assign(variables, parseKeyValuePairs(payload));
-    const accesses = parseAccessEvent(payload);
-    if (accesses) {
-      const currentCallStack = stack.length > 0 ? stack.map((frame) => ({ function: frame.function, line: frame.line, args: {} })) : void 0;
-      if (mergeAccessesIntoPreviousMatchingLineStep(trace, line, currentFunction, currentCallStack, accesses)) {
-        continue;
-      }
-      pendingAccesses.push(...accesses);
-      continue;
-    }
     appendJavaTraceStep(trace, {
       line,
       event: "line",
       function: currentFunction,
       variables: { ...variables },
-      ...stack.length > 0 ? { callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: {} })) } : {}
+      ...stack.length > 0 ? { callStack: stack.map((frame) => ({ function: frame.function, line: frame.line, args: { ...frame.args } })) } : {}
     }, pendingAccesses);
   }
   if (pendingAccesses.length > 0 && trace.length > 0) {
@@ -814,11 +906,11 @@ function eventsToRawTrace(events, sourceText) {
   }
   return trace;
 }
-function buildJavaExecutionResult(output, events, executionTimeMs = 0, traceLimitExceeded, timeoutReason, maxTraceSteps, sourceText) {
+function buildJavaExecutionResult(output, events, executionTimeMs = 0, traceLimitExceeded, timeoutReason, maxTraceSteps, sourceText, options = {}) {
   const trace = eventsToRawTrace(events, sourceText);
   return {
     success: true,
-    output,
+    output: options.outputIsSerialized === false ? output : normalizeJavaSerializedResult(output),
     trace,
     executionTimeMs,
     consoleOutput: [],
@@ -1341,7 +1433,7 @@ var JAVA_RUNTIME_PROFILE = {
         function: true,
         solutionMethod: true,
         opsClass: true,
-        script: false,
+        script: true,
         interviewMode: true
       },
       timeouts: {
@@ -1394,9 +1486,9 @@ var JAVA_RUNTIME_PROFILE = {
     }
   },
   notes: [
-    "Java currently supports the browser-local Java 17 lane for function, solution-method, and ops-class execution.",
-    "Interview-mode Java reuses the same browser-local execution path and remains experimental in the first harness slice.",
-    "Script-style Java is not enabled yet."
+    "Java currently supports the browser-local Java 17 lane for function, solution-method, ops-class, and script-style execution.",
+    "Interview-mode Java reuses the same browser-local execution path and remains experimental.",
+    'Script-style Java uses an empty function name with executionStyle="function" and reads the top-level result variable.'
   ]
 };
 var LANGUAGE_RUNTIME_PROFILES = {
@@ -1732,7 +1824,8 @@ var JavaRuntimeClient = class {
         rawResult.traceLimitExceeded,
         rawResult.timeoutReason,
         void 0,
-        rawResult.sourceText
+        rawResult.sourceText,
+        { outputIsSerialized: false }
       )
     );
     return {
@@ -2665,6 +2758,7 @@ function generateSolutionScript(solutionCode, functionName, inputs) {
   return `
 import json
 import sys
+from typing import *
 
 ${PYTHON_CLASS_DEFINITIONS}
 
@@ -3815,6 +3909,7 @@ export {
   getSupportedLanguageProfiles,
   identifyConversions,
   isLanguageSupported,
+  normalizeJavaSerializedResult,
   normalizeJavaTraceContract as normalizeJavaSpikeTraceContract,
   normalizeJavaTraceContract,
   normalizeRuntimeTraceContract,