@lewin671/python-vm 0.1.0 → 0.1.2

package/notes/iterations/compiler-runtime/compiler-runtime_2025-09-16.md

@@ -1,25 +0,0 @@
-# compiler-runtime: Negative repeat handling
-
-- Date: 2025-09-16
-- Stage: test
-- Status: resolved
-
-## Problem / Symptom
-
-RangeError: Invalid count value: -1 during binary * on strings/lists.
-
-## Impact / Risk
-
-Example execution fails when Python code repeats strings or lists with a negative count.
-
-## Current Understanding
-
-JavaScript String.repeat/Array(length) throw for negative counts, but Python returns empty sequences.
-
-## Next Steps
-
-Keep repeat behavior aligned with Python for other edge cases (e.g., non-integer counts).
-
-## Evidence (optional)
-
-- Tests: `scripts/verify.sh`

package/notes/iterations/compiler-runtime/compiler-runtime_2026-01-16.md

@@ -1,24 +0,0 @@
-# compiler-runtime: Starred assignment unpacking
-
-- Date: 2026-01-16
-- Stage: test
-- Status: resolved
-
-## Problem / Symptom
-
-Tests failed parsing assignment targets with starred unpacking (e.g., `a, *middle, b = values`) and raised "Unexpected token in expression: *".
-
-## Impact / Risk
-
-Example files using starred unpacking could not be parsed or executed, blocking `scripts/verify.sh`.
-
-## Current Understanding
-
-Parser did not allow `*` in assignment targets and VM assignment logic only handled fixed-length tuple/list destructuring. Added a STARRED AST node for targets, parsed it in assignment targets, and implemented unpacking logic in the VM with iterable normalization.
-
-## Next Steps
-
-None. Re-run verify if adding more starred assignment cases.
-
-## Evidence (optional)
-- Tests: `scripts/verify.sh`

package/notes/iterations/compiler-runtime/compiler-runtime_test_2026-01-16.md

@@ -1,21 +0,0 @@
-# compiler-runtime: starred unpacking parse failure
-
-- Date: 2026-01-16
-- Stage: test
-- Status: open
-
-## Problem / Symptom
-Parser throws "Unexpected token in expression: *" when encountering starred assignment unpacking.
-
-## Impact / Risk
-Example files using starred unpacking cause the compiler test suite to fail.
-
-## Current Understanding
-CPython accepts `a, *middle, b = [1,2,3,4,5]`, but the TypeScript parser rejects `*` in assignment targets.
-
-## Next Steps
-Add starred assignment target support or document it as unsupported and exclude such examples.
-
-## Evidence (optional)
-- Tests: `./scripts/verify.sh`
-- Logs: tests/compiler.test.ts reports "Unexpected token in expression: *"

package/notes/iterations/floor-division/floor-division_2026-01-16.md

@@ -1,29 +0,0 @@
-# floor-division: Python modulo semantics for negatives
-
-- Date: 2026-01-16
-- Stage: test
-- Status: resolved
-
-## Problem / Symptom
-
-Floor-division example failed recomposition: `x = -3` produced `x % 2 == -1` and `(x // 2) * 2 + (x % 2) == -5`.
-
-## Impact / Risk
-
-Modulo on negative operands followed JavaScript remainder semantics, breaking Python identity `a == (a // b) * b + (a % b)`.
-
-## Current Understanding
-
-Python defines `%` using floor division: `a - floor(a / b) * b`. VM `%` used `left % right` and needed to align with Python semantics, including float operand handling.
-
-## Next Steps
-
-None.
-
-## Related Iterations (optional)
-- Linked issues from other stages:
-
-## Evidence (optional)
-- Logs:
-- Tests: `scripts/verify.sh`
-- Diffs/Commits:

package/prompts/commit.txt

@@ -1,9 +0,0 @@
-Write a concise git commit message for the changes.
-Commit only the current changes in the working tree. After committing, ensure `git status` is clean.
-Format:
-<type>: <summary>
-
-Rules:
-- Use imperative mood.
-- Keep summary under 72 characters.
-- Pick a sensible type (feat, fix, chore, refactor, test, docs).

package/prompts/task.txt

@@ -1,21 +0,0 @@
-You are working in this repository to implement a Python compiler in TypeScript.
-Your goal is to make `scripts/verify.sh` pass by implementing the compiler using proper compiler principles (parsing, analysis, transformation, codegen as appropriate), not shortcuts.
-
-Hard constraints:
-- Do NOT modify any existing files under `tests/`, `examples/`, or `scripts/`.
-- Do not rely on third-party compiler/transpiler libraries; implement compiler stages yourself.
-- Do not use shell commands, environment tricks, or config tweaks to bypass the compiler implementation tasks.
-- Do not stub, mock, or hardcode outputs to make tests pass without real compiler behavior.
-- Do not skip or short-circuit required logic (e.g., early returns that avoid work).
-- Do not disable, skip, or relax tests/verification (no test filters, no timeouts-as-passing).
-- Do not change tooling or build setup to mask failures (no rewriting scripts or test runners).
-- Keep changes focused and minimal; avoid unrelated refactors.
-- Prefer TypeScript changes in `src/` as needed.
-- If you add new files, keep them small and well-scoped.
-- Refactor the file proactively if it's too long to maintain.
-
-Process:
-- Inspect failures and determine the minimal fix.
-- If tests fail, use the error output to guide changes.
-- Provide a concise explanation of what you changed and why.
-- At the end of the task, use the persistent-notes skill to record durable project notes in `notes/iterations`.

package/prompts/test.txt

@@ -1,23 +0,0 @@
-**Role:** You are a **Python Adversarial Architect**. Your sole objective is to generate "Compiler-Killer" Python scripts that expose semantic discrepancies between CPython and a TypeScript-based implementation.
-
-**The Mission:**
-Create a Python file in `examples/` that causes `./scripts/verify.sh` to **FAIL** while maintaining perfect validity in standard Python 3.
-
-**Core Constraints:**
-
-* **Validity:** The code MUST be valid Python 3.10+ and run without errors in CPython.
-* **Differential Success:** The code MUST produce a different result, crash, or hang when executed via the TypeScript compiler.
-* **Black-Box Integrity:** Do NOT read `src/` or `tests/`. Your only inputs are the output/errors from `./scripts/verify.sh`.
-* **Brevity:** Keep it under 20 lines. Focus on a single, atomic edge case.
-* **Restricted Access:** Only modify files in the `examples/` directory.
-
-**Output Structure:**
-
-1. **Exploit Hypothesis:** A one-sentence description of the Python semantic you are targeting.
-2. **Adversarial Code:** The code block to be saved in `examples/`.
-3. **Expected CPython Output:** The "correct" result.
-4. **Predicted Compiler Failure:** Why you expect the TypeScript implementation to break.
-
-**Post-Task Action:**
-
-* At the end of the task, use the **persistent-notes** skill to record durable project notes in `notes/iterations`. These notes should summarize the case tested, the outcome, and what was learned for the next iteration.

package/scripts/codex-loop.js

@@ -1,215 +0,0 @@
-#!/usr/bin/env node
-"use strict";
-
-const fs = require("fs");
-const path = require("path");
-const os = require("os");
-const { spawnSync } = require("child_process");
-
-function parseArgs(argv) {
-  const args = {
-    maxIter: 5,
-    testPromptPath: "prompts/test.txt",
-    promptPath: "prompts/task.txt",
-    commitPromptPath: "prompts/commit.txt",
-    testCmd: "codex --dangerously-bypass-approvals-and-sandbox exec",
-    taskCmd: "codex --dangerously-bypass-approvals-and-sandbox exec",
-    commitCmd: "codex --dangerously-bypass-approvals-and-sandbox exec",
-  };
-
-  for (let i = 0; i < argv.length; i += 1) {
-    const arg = argv[i];
-    if (arg === "--max-iter") {
-      args.maxIter = Number(argv[i + 1]);
-      i += 1;
-    } else if (arg === "--test-prompt") {
-      args.testPromptPath = argv[i + 1];
-      i += 1;
-    } else if (arg === "--prompt") {
-      args.promptPath = argv[i + 1];
-      i += 1;
-    } else if (arg === "--test-cmd") {
-      args.testCmd = argv[i + 1];
-      i += 1;
-    } else if (arg === "--task-cmd") {
-      args.taskCmd = argv[i + 1];
-      i += 1;
-    } else if (arg === "--commit-prompt") {
-      args.commitPromptPath = argv[i + 1];
-      i += 1;
-    } else if (arg === "--commit-cmd") {
-      args.commitCmd = argv[i + 1];
-      i += 1;
-    } else if (arg === "--help" || arg === "-h") {
-      return { help: true };
-    }
-  }
-
-  return args;
-}
-
-function usage() {
-  return [
-    "Usage: scripts/codex-loop.js [options]",
-    "",
-    "Options:",
-    "  --max-iter <n>      Max iterations (default 5)",
-    "  --test-prompt <path>     Test prompt file path (default prompts/test.txt)",
-    "  --test-cmd <cmd>    Test command (default \"codex --dangerously-bypass-approvals-and-sandbox exec\")",
-    "  --prompt <path>     Task prompt file path (default prompts/task.txt)",
-    "  --task-cmd <cmd>    Task command (default \"codex --dangerously-bypass-approvals-and-sandbox exec\")",
-    "  --commit-prompt <path>  Commit prompt file (default prompts/commit.txt)",
-    "  --commit-cmd <cmd>  Commit command (default \"codex --dangerously-bypass-approvals-and-sandbox exec\")",
-    "",
-    "Workflow: Test Agent -> Task Agent -> Commit Agent",
-  ].join("\n");
-}
-
-function runShell(cmd, opts = {}) {
-  const result = spawnSync(cmd, {
-    shell: true,
-    stdio: ["pipe", "inherit", "inherit"],
-    env: opts.env || process.env,
-    input: opts.input || undefined,
-  });
-  return result.status ?? 1;
-}
-
-function readPrompt(promptPath) {
-  if (!fs.existsSync(promptPath)) {
-    throw new Error(`Prompt file not found: ${promptPath}`);
-  }
-  return fs.readFileSync(promptPath, "utf8");
-}
-
-function buildPrompt(base, testOutput) {
-  if (!testOutput) return base;
-  return `${base}\n\n[Test failures]\n${testOutput}`;
-}
-
-function runTest(testCmd, testPromptPath, log, errorLog) {
-  log("=== PHASE: Test (Generate test cases & find issues) ===");
-  const testPrompt = readPrompt(testPromptPath);
-  const testStatus = runShell(testCmd, { input: testPrompt });
-  
-  if (testStatus !== 0) {
-    errorLog(`✗ Test agent failed (exit ${testStatus}).`);
-    return false;
-  }
-  
-  log("✓ Test agent completed - issues identified.");
-  return true;
-}
-
-function runTask(taskCmd, taskPromptPath, testOutput, log, errorLog) {
-  log("=== PHASE: Task ===");
-  const basePrompt = readPrompt(taskPromptPath);
-  const combinedPrompt = buildPrompt(basePrompt, testOutput);
-  const taskStatus = runShell(taskCmd, { input: combinedPrompt });
-  
-  if (taskStatus !== 0) {
-    errorLog(`✗ Task command failed (exit ${taskStatus}).`);
-    return false;
-  }
-  
-  log("✓ Task completed successfully.");
-  return true;
-}
-
-function runCommit(commitCmd, commitPromptPath, gitDir, cwd, log, errorLog) {
-  log("=== PHASE: Commit ===");
-  const commitPrompt = readPrompt(path.resolve(commitPromptPath));
-  const commitStatus = runShell(commitCmd, { input: commitPrompt });
-  
-  if (commitStatus !== 0) {
-    errorLog(`✗ Commit command failed (exit ${commitStatus}).`);
-    return false;
-  }
-  
-  log("✓ Commit completed successfully.");
-  return true;
-}
-
-function main() {
-  const args = parseArgs(process.argv.slice(2));
-  if (args.help) {
-    console.log(usage());
-    process.exit(0);
-  }
-  if (!Number.isFinite(args.maxIter) || args.maxIter < 1) {
-    console.error("Invalid --max-iter value.");
-    process.exit(1);
-  }
-
-  let lastTestOutput = "";
-  const promptPath = path.resolve(args.promptPath);
-  const cwd = process.cwd();
-  const gitDir = path.resolve(cwd, ".git");
-
-  // Initialize logging
-  const now = new Date();
-  const dateStr = now.toISOString().replace(/[:.]/g, "-").slice(0, -5);
-  const logFile = path.join(os.tmpdir(), `codex-loop-${dateStr}.log`);
-
-  console.log(`Logging to ${logFile}`);
-  const log = (message) => {
-    console.log(message);
-    fs.appendFileSync(logFile, `${message}\n`, "utf8");
-  };
-
-  const errorLog = (message) => {
-    console.error(message);
-    fs.appendFileSync(logFile, `[ERROR] ${message}\n`, "utf8");
-  };
-
-  for (let i = 1; i <= args.maxIter; i += 1) {
-    log(`\n========== Iteration ${i}/${args.maxIter} ==========`);
-
-    // STEP 1: Test (AI Agent generates test cases and identifies issues)
-    const testSuccess = runTest(
-      args.testCmd,
-      path.resolve(args.testPromptPath),
-      log,
-      errorLog
-    );
-    if (!testSuccess) {
-      errorLog("Test agent execution failed. Exiting.");
-      process.exit(1);
-    }
-
-    // STEP 2: Task (AI Agent fixes issues)
-    const taskSuccess = runTask(
-      args.taskCmd,
-      promptPath,
-      "",
-      log,
-      errorLog
-    );
-    if (!taskSuccess) {
-      errorLog("Task execution failed. Exiting.");
-      process.exit(1);
-    }
-
-    // STEP 3: Commit
-    const commitSuccess = runCommit(
-      args.commitCmd,
-      path.resolve(args.commitPromptPath),
-      gitDir,
-      cwd,
-      log,
-      errorLog
-    );
-    if (!commitSuccess) {
-      errorLog("Commit execution failed. Exiting.");
-      process.exit(1);
-    }
-
-    log(`Iteration ${i} completed. Restarting test phase...\n`);
-  }
-
-  errorLog("Reached max iterations without completion.");
-  errorLog(`Log file: ${logFile}`);
-  process.exit(1);
-}
-
-main();

package/scripts/verify.sh

@@ -1,12 +0,0 @@
-#!/bin/bash
-
-# Script to verify the project by running tests
-# This script runs the test suite and can optionally generate coverage reports
-
-set -e  # Exit on first error
-
-echo "🔍 Running tests..."
-npm test
-
-echo ""
-echo "✅ All tests passed!"

package/src/compiler.ts

@@ -1,58 +0,0 @@
-/**
- * Python Compiler - 主入口
- * 用于编译和执行 Python 代码
- */
-
-import { Lexer } from './lexer';
-import { Parser } from './parser';
-import { Compiler } from './compiler_module';
-import { VirtualMachine } from './vm';
-import * as path from 'path';
-
-export class PythonCompiler {
-  /**
-   * 编译并运行 Python 代码
-   * @param code Python 源代码
-   * @returns 执行结果
-   */
-  run(code: string): any {
-    // 1. 词法分析
-    const lexer = new Lexer(code);
-    const tokens = lexer.tokenize();
-
-    // 2. 语法分析
-    const parser = new Parser(tokens);
-    const ast = parser.parse();
-
-    // 3. 编译到字节码
-    const compiler = new Compiler();
-    const bytecode = compiler.compile(ast);
-
-    // 4. 执行字节码
-    const vm = new VirtualMachine([process.cwd()]);
-    const result = vm.execute(bytecode);
-
-    return result;
-  }
-
-  /**
-   * 运行 Python 文件
-   * @param filePath 文件路径
-   * @returns 执行结果
-   */
-  runFile(filePath: string): any {
-    const fs = require('fs');
-    const code = fs.readFileSync(filePath, 'utf-8');
-    const lexer = new Lexer(code);
-    const tokens = lexer.tokenize();
-    const parser = new Parser(tokens);
-    const ast = parser.parse();
-    const compiler = new Compiler();
-    const bytecode = compiler.compile(ast);
-    const vm = new VirtualMachine([path.dirname(filePath), process.cwd()]);
-    return vm.execute(bytecode);
-  }
-}
-
-// 重新导出类型，供外部使用
-export * from './types';

package/src/compiler_module/compiler.ts

@@ -1,19 +0,0 @@
-import { ASTNode, ASTNodeType, ByteCode, OpCode } from '../types';
-
-/**
- * 编译器 - 将 AST 编译为字节码
- */
-export class Compiler {
-  compile(ast: ASTNode): ByteCode {
-    if (ast.type !== ASTNodeType.PROGRAM) {
-      throw new Error(`Expected Program node, got ${ast.type}`);
-    }
-
-    return {
-      instructions: [],
-      constants: [],
-      names: [],
-      ast
-    };
-  }
-}

package/src/compiler_module/index.ts

@@ -1 +0,0 @@
-export { Compiler } from './compiler';

package/src/index.ts

@@ -1,39 +0,0 @@
-#!/usr/bin/env node
-
-import { PythonCompiler } from './compiler';
-import * as fs from 'fs';
-
-// 导出公共 API
-export { PythonCompiler };
-
-function main() {
-  const args = process.argv.slice(2);
-
-  if (args.length === 0) {
-    console.error('Usage: python-compiler-ts <file.py>');
-    process.exit(1);
-  }
-
-  const filePath = args[0];
-
-  if (!fs.existsSync(filePath)) {
-    console.error(`Error: File '${filePath}' not found`);
-    process.exit(1);
-  }
-
-  const compiler = new PythonCompiler();
-
-  try {
-    const result = compiler.runFile(filePath);
-    if (result !== undefined) {
-      console.log(result);
-    }
-  } catch (error) {
-    console.error('Error:', error instanceof Error ? error.message : error);
-    process.exit(1);
-  }
-}
-
-if (require.main === module) {
-  main();
-}

package/src/lexer/index.ts

@@ -1 +0,0 @@
-export { Lexer } from './lexer';