moonscratch 0.1.1 → 0.1.2

package/AGENTS.md

@@ -1,91 +0,0 @@
-# Project Agents.md Guide
-
-This is a [MoonBit](https://docs.moonbitlang.com) project.
-
-You can browse and install extra skills here:
-<https://github.com/moonbitlang/skills>
-
-## Project Structure
-
-- MoonBit packages are organized per directory; each directory contains a
-  `moon.pkg` file listing its dependencies. Each package has its files and
-  blackbox test files (ending in `_test.mbt`) and whitebox test files (ending in
-  `_wbtest.mbt`).
-
-- In the toplevel directory, there is a `moon.mod.json` file listing module
-  metadata.
-
-* Tests under `src/` are unit tests only; macro-style tests should be written in `test/`.
-
-## AGENTS.md Maintenance
-
-- Place `AGENTS.md` files not only at the root but also in major directories where responsibilities diverge.
-- Agents should autonomously update related `AGENTS.md` files when project structure or operating rules change, keeping instructions synchronized with the current state.
-
-## Coding convention
-
-- MoonBit code is organized in block style, each block is separated by `///|`,
-  the order of each block is irrelevant. In some refactorings, you can process
-  block by block independently.
-
-- Try to keep deprecated blocks in file called `deprecated.mbt` in each
-  directory.
-
-## Tooling
-
-- `moon fmt` is used to format your code properly.
-
-- `moon ide` provides project navigation helpers like `peek-def`, `outline`, and
-  `find-references`. See $moonbit-agent-guide for details.
-
-- `moon info` is used to update the generated interface of the package, each
-  package has a generated interface file `.mbti`, it is a brief formal
-  description of the package. If nothing in `.mbti` changes, this means your
-  change does not bring the visible changes to the external package users, it is
-  typically a safe refactoring.
-
-- In the last step, run `moon info && moon fmt` to update the interface and
-  format the code. Check the diffs of `.mbti` file to see if the changes are
-  expected.
-
-- Run `moon test` to check tests pass. MoonBit supports snapshot testing; when
-  changes affect outputs, run `moon test --update` to refresh snapshots.
-
-- Prefer `assert_eq` or `assert_true(pattern is Pattern(...))` for results that
-  are stable or very unlikely to change. Use snapshot tests to record current
-  behavior. For solid, well-defined results (e.g. scientific computations),
-  prefer assertion tests. You can use `moon coverage analyze > uncovered.log` to
-  see which parts of your code are not covered by tests.
-
-## Commit & Pull Request Guidelines
-
-- Commit messages follow Conventional Commit-style prefixes (e.g., `feat:`, `fix:`, `rename:`, `feat(blocks):`). Keep them concise and action-oriented.
-- PRs should include a clear summary, link relevant issues/PRs, and add screenshots/GIFs for visible UI changes in `examples/example1`.
-
-* If you are Codex, use `Co-authored-by: chatgpt-codex-connector[bot] <199175422+chatgpt-codex-connector[bot]@users.noreply.github.com>` in the commit message to credit the human collaborator.
-  - You have to add `--author="chatgpt-codex-connector[bot] <199175422+chatgpt-codex-connector[bot]@users.noreply.github.com>" --no-gpg-sign` option to git commit command.
-    Example:
-  ```sh
-    git commit -m "fix: correct minor typos in code\n\nCo-authored-by: chatgpt-codex-connector[bot] <199175422+chatgpt-codex-connector[bot]@users.noreply.github.com>" --author="chatgpt-codex-connector[bot] <199175422+chatgpt-codex-connector[bot]@users.noreply.github.com>" --no-gpg-sign
-  ```
-* You can use git command and gh command to commit, push and create PR.
-* Use "Squash and merge" to merge the PR on GitHub.
-
-## JS
-
-- Uses Bun as runtime environment.
-- `bun run test` to run tests. `vite-plus/test` API is same as `vitest`.
-- `bun run build` to build the project.
-- `bun typecheck` to typecheck the code using `tsgo`.
-- If you add or modify tests, run `bun run test` before reporting completion.
-- Required before finishing any change in `packages/moonscratch`:
-  - `bun typecheck`
-  - `moon check`
-  - `bun run test`
-- For project-level tests, generate `project.json` using `hikkaku`.
-
-## Precompiled Cache Safety
-
-- Caches stored in `PrecompiledProject` must be limited to immutable data derived from the initial compiled project state.
-- Never store or feed back mutable VM execution state (runtime threads, pen/render buffers, variable/list mutations, etc.) into `PrecompiledProject`.
-- Creating a new VM from the same compiled program must always produce the same initial state as a fresh compile, and must not be affected by prior VM execution (including `emptyCompiled`-style reuse).

package/PLAN.md

@@ -1,64 +0,0 @@
-## MoonScratch Headless Interpreter Plan (Skill適用版)
-
-### Summary
-
-scratch-editor/packages/scratch-vm を参照して、project.json + assets(Map) 入力のヘッドレス
-コアは MoonBit、音声/時刻/入力/乱数/ログは Host 抽象経由で差し替え可能にする（JS固定実装に
-しない）。
-JS からは Wasm ラッパ API で利用可能にする。
-
-### Skill Usage（追加反映）
-
-この計画では moonscratch/.agents/skills の以下を使う。
-
-1. moonbit-agent-guide（最初）
-
-- パッケージ境界確認、moon ツール運用、検証手順の標準化に使う。
-
-2. moonbit-practice（実装中ずっと）
-
-- MoonBit 構文/テスト/moon ide 優先の実装規約に従うために使う。
-
-3. moonbit-refactoring（中盤以降）
-
-- API縮小・責務分割・互換を崩さない整理を行う際に使う。
-
-### Public APIs / Interfaces
-
-- trait HostAdapter
-- HostEffect（PlaySound, StopAllSounds, MonitorUpdate, CloudUpdate など）
-- Vm API
-  - new/start/green_flag/step/post_io/broadcast/stop_all/snapshot/dispose
-- JS API
-  - createHeadlessVM({projectJson, assets, options, host})
-  - start(), greenFlag(), setTime(nowMs), stepFrame(frameCount?), postIO(), onEffect(), getSnapshot()
-
-### Implementation
-
-1. moonscratch を分割
-
-- sb3（project.json デシリアライズと block graph）
-- host（HostAdapter + default no-op）
-
-- Scratch3 主要カテゴリを scratch-vm 挙動に合わせる。
-- 副作用は全て HostEffect 化し、ランタイム本体はヘッドレスを維持。
-
-3. 拡張互換
-
-- extension registry を用意し、ペン/音楽/ビデオ/TTS を段階的に対応。
-
-### Tests / Scenarios
-
-- 統合: 主要サンプル project.json + assets 実行で状態遷移検証。
-
-### Acceptance Criteria
-
-- project.json + assets Map だけで実行可能。
-- 主要サンプルでクラッシュせず想定状態へ到達。
-- JS API が start/step/postIO/stop/snapshot で運用可能。
-
-### Assumptions
-
-- 入力は Scratch3 (project.json) を標準対象とする。
-- Host 実装は利用側差し替え前提（JS直書き固定ではない）。
-- 完全互換志向だが、実装は段階的に進める。

package/TODO.md

@@ -1,120 +0,0 @@
-# TODO
-
-Scratch VM (`scratch-editor/packages/scratch-vm`) と比較した未実装 opcode 管理。
-
-## Done in this pass (`control_*`)
-
-- [x] `control_all_at_once`
-- [x] `control_clear_counter`
-- [x] `control_create_clone_of`
-- [x] `control_for_each`
-- [x] `control_get_counter`
-- [x] `control_incr_counter`
-- [x] `control_repeat_until`
-- [x] `control_start_as_clone`
-- [x] `control_wait_until`
-- [x] `control_while`
-
-## Remaining core opcodes
-
-### `data_*`
-
-- [x] `data_hidelist` (headless no-op)
-- [x] `data_hidevariable` (headless no-op)
-- [x] `data_itemnumoflist`
-- [x] `data_showlist` (headless no-op)
-- [x] `data_showvariable` (headless no-op)
-
-### `event_*`
-
-- [x] `event_whenbackdropswitchesto`
-- [x] `event_whengreaterthan`
-- [x] `event_whenkeypressed`
-- [x] `event_whenstageclicked`
-- [x] `event_whenthisspriteclicked`
-- [x] `event_whentouchingobject`
-
-### `looks_*`
-
-- [x] `looks_backdropnumbername`
-- [x] `looks_changeeffectby`
-- [x] `looks_changestretchby` (headless no-op)
-- [x] `looks_cleargraphiceffects`
-- [x] `looks_costumenumbername`
-- [x] `looks_goforwardbackwardlayers` (headless no-op)
-- [x] `looks_gotofrontback` (headless no-op)
-- [x] `looks_hideallsprites`
-- [x] `looks_nextbackdrop`
-- [x] `looks_seteffectto`
-- [x] `looks_setstretchto` (headless no-op)
-- [x] `looks_size`
-- [x] `looks_switchbackdropto`
-- [x] `looks_switchbackdroptoandwait`
-
-### `motion_*`
-
-- [x] `motion_align_scene` (headless no-op)
-- [x] `motion_direction`
-- [x] `motion_glidesecstoxy`
-- [x] `motion_glideto`
-- [x] `motion_goto`
-- [x] `motion_ifonedgebounce`
-- [x] `motion_pointindirection`
-- [x] `motion_pointtowards`
-- [x] `motion_scroll_right` (headless no-op)
-- [x] `motion_scroll_up` (headless no-op)
-- [x] `motion_setrotationstyle` (headless no-op)
-- [x] `motion_xposition`
-- [x] `motion_xscroll` (returns `0`)
-- [x] `motion_yposition`
-- [x] `motion_yscroll` (returns `0`)
-
-### `procedures_*`
-
-- [x] `procedures_call`
-- [x] `procedures_definition`
-
-### `sensing_*`
-
-- [x] `sensing_coloristouchingcolor`
-- [x] `sensing_current`
-- [x] `sensing_dayssince2000`
-- [x] `sensing_distanceto`
-- [x] `sensing_keypressed`
-- [x] `sensing_loud`
-- [x] `sensing_loudness`
-- [x] `sensing_mousedown`
-- [x] `sensing_mousex`
-- [x] `sensing_mousey`
-- [x] `sensing_of`
-- [x] `sensing_online`
-- [x] `sensing_resettimer`
-- [x] `sensing_touchingcolor`
-- [x] `sensing_touchingobject`
-- [x] `sensing_userid`
-- [x] `sensing_username`
-
-### `sound_*`
-
-- [x] `sound_beats_menu`
-- [x] `sound_changeeffectby`
-- [x] `sound_changevolumeby`
-- [x] `sound_cleareffects`
-- [x] `sound_effects_menu`
-- [x] `sound_seteffectto`
-- [x] `sound_setvolumeto`
-- [x] `sound_sounds_menu`
-- [x] `sound_volume`
-
-## Extensions
-
-### Implemented
-
-- `music_*` (`playDrumForBeats`, `midiPlayDrumForBeats`, `restForBeats`, `playNoteForBeats`, `setInstrument`, `midiSetInstrument`, `setTempo`, `changeTempo`, `getTempo`)
-- `pen_*` (`clear`, `stamp`, `penDown`, `penUp`, `setPenColorToColor`, `changePenColorParamBy`, `setPenColorParamTo`, `changePenSizeBy`, `setPenSizeTo`, `setPenHueToNumber`, `changePenHueBy`, `setPenShadeToNumber`, `changePenShadeBy`)
-- `text2speech_*` (`speakAndWait`, `setVoice`, `setLanguage`)
-- `translate_*` (`getTranslate`, `getViewerLanguage`)
-
-### Not started
-
-`videoSensing_*`, `wedo2_*`, `ev3_*`, `boost_*`, `gdxfor_*`, `makeymakey_*`, `microbit_*`, `faceSensing_*`

package/benchmarks/calc.bench.ts

@@ -1,144 +0,0 @@
-import { Project } from 'hikkaku'
-import {
-  add,
-  addToList,
-  and,
-  changeVariableBy,
-  divide,
-  equals,
-  gt,
-  ifThen,
-  lt,
-  mathop,
-  mod,
-  multiply,
-  or,
-  repeat,
-  repeatUntil,
-  setVariableTo,
-  subtract,
-  whenFlagClicked,
-} from 'hikkaku/blocks'
-import { bench, run } from 'mitata'
-import {
-  createHeadlessVM,
-  createProgramModuleFromProject,
-} from '../js/vm/factory.ts'
-
-const runUntilFinished = (vm: {
-  greenFlag(): void
-  stepFrame(): { stopReason: string }
-}) => {
-  vm.greenFlag()
-  while (true) {
-    const result = vm.stepFrame()
-    if (result.stopReason === 'finished') {
-      break
-    }
-  }
-}
-
-const calcProject = new Project()
-const calcAcc = calcProject.stage.createVariable('acc', 0)
-const calcAngle = calcProject.stage.createVariable('angle', 0)
-
-calcProject.stage.run(() => {
-  whenFlagClicked(() => {
-    setVariableTo(calcAcc, 0)
-    setVariableTo(calcAngle, 0)
-    repeat(50000, () => {
-      setVariableTo(
-        calcAcc,
-        add(
-          calcAcc.get(),
-          multiply(
-            mathop('sin', calcAngle.get()),
-            mathop('cos', calcAngle.get()),
-          ),
-        ),
-      )
-      changeVariableBy(calcAngle, subtract(divide(calcAngle.get(), 2), -1))
-    })
-  })
-})
-
-const calcProjectJson = calcProject.toScratch()
-const calcProgram = createProgramModuleFromProject({
-  projectJson: calcProjectJson,
-})
-const calcVM = createHeadlessVM({
-  program: calcProgram,
-  initialNowMs: 0,
-  options: {
-    stepTimeoutTicks: 1000000,
-    turbo: true,
-  },
-})
-
-bench('calc', () => {
-  runUntilFinished(calcVM)
-})
-
-const primesProject = new Project()
-const primesList = primesProject.stage.createList('primes', [])
-const primesCandidate = primesProject.stage.createVariable('candidate', 2)
-const primesDivisor = primesProject.stage.createVariable('divisor', 0)
-const primesIsPrime = primesProject.stage.createVariable('is prime', 0)
-const primesCount = primesProject.stage.createVariable('prime count', 0)
-
-primesProject.stage.run(() => {
-  whenFlagClicked(() => {
-    setVariableTo(primesCount, 0)
-    setVariableTo(primesCandidate, 2)
-    setVariableTo(primesDivisor, 2)
-    setVariableTo(primesIsPrime, 0)
-    repeatUntil(equals(primesCount.get(), 100), () => {
-      setVariableTo(primesIsPrime, 1)
-      setVariableTo(primesDivisor, 2)
-      repeatUntil(
-        or(
-          gt(primesDivisor.get(), mathop('sqrt', primesCandidate.get())),
-          equals(primesIsPrime.get(), 0),
-        ),
-        () => {
-          ifThen(
-            and(
-              equals(mod(primesCandidate.get(), primesDivisor.get()), 0),
-              lt(primesDivisor.get(), primesCandidate.get()),
-            ),
-            () => {
-              setVariableTo(primesIsPrime, 0)
-            },
-          )
-          changeVariableBy(primesDivisor, 1)
-        },
-      )
-      ifThen(equals(primesIsPrime.get(), 1), () => {
-        addToList(primesList, primesCandidate.get())
-        changeVariableBy(primesCount, 1)
-      })
-      changeVariableBy(primesCandidate, 1)
-    })
-  })
-})
-
-const primesProjectJson = primesProject.toScratch()
-const primesProgram = createProgramModuleFromProject({
-  projectJson: primesProjectJson,
-})
-const primesVM = createHeadlessVM({
-  program: primesProgram,
-  initialNowMs: 0,
-  options: {
-    stepTimeoutTicks: 1000000,
-    turbo: true,
-  },
-})
-
-bench('calc-primes', () => {
-  runUntilFinished(primesVM)
-})
-
-if (import.meta.main) {
-  await run()
-}

package/benchmarks/draw.bench.ts

@@ -1,215 +0,0 @@
-import { Project } from 'hikkaku'
-import {
-  callProcedure,
-  changeXBy,
-  changeYBy,
-  defineProcedure,
-  eraseAll,
-  forEach,
-  getItemOfList,
-  gotoXY,
-  hide,
-  lengthOfList,
-  penDown,
-  penUp,
-  procedureLabel,
-  repeat,
-  setPenColorTo,
-  setPenSizeTo,
-  setVariableTo,
-  setY,
-  whenFlagClicked,
-} from 'hikkaku/blocks'
-import { bench, run } from 'mitata'
-import {
-  createHeadlessVM,
-  createProgramModuleFromProject,
-} from '../js/vm/factory.ts'
-
-await import('scratch-storage')
-
-const runUntilFinished = (vm: {
-  greenFlag(): void
-  stepFrame(): { stopReason: string }
-}) => {
-  vm.greenFlag()
-  while (true) {
-    const result = vm.stepFrame()
-    if (result.stopReason === 'finished') {
-      break
-    }
-  }
-}
-
-const project = new Project()
-const sprite = project.createSprite('Sprite1')
-
-sprite.run(() => {
-  whenFlagClicked(() => {
-    gotoXY(-240, -180)
-    repeat(420, () => {
-      changeXBy(1)
-      setY(-180)
-
-      penDown()
-      repeat(360, () => {
-        changeYBy(1)
-      })
-      penUp()
-    })
-  })
-})
-
-const projectJson = project.toScratch()
-const program = createProgramModuleFromProject({ projectJson })
-const vm = createHeadlessVM({
-  program,
-  initialNowMs: 0,
-  options: {
-    stepTimeoutTicks: 1000000,
-    turbo: true,
-  },
-})
-
-bench('draw/moonscratch', () => {
-  runUntilFinished(vm)
-})
-
-const FRAME_FORCE_TIMEOUT_OUT_OF_WARP_MS = 1000 / 30
-const FRAME_FORCE_TIMEOUT_IN_WARP_MS = 1000 / 5
-
-const stepLikeViewerFrame = (vm: {
-  stepFrame(): { stopReason: string; isInWarp: boolean }
-  renderFrame(): unknown
-}) => {
-  const frameStart = performance.now()
-  while (true) {
-    const frameInfo = vm.stepFrame()
-    if (
-      frameInfo.stopReason === 'finished' ||
-      frameInfo.stopReason === 'rerender'
-    ) {
-      break
-    }
-    const elapsed = performance.now() - frameStart
-    if (frameInfo.isInWarp) {
-      if (elapsed > FRAME_FORCE_TIMEOUT_IN_WARP_MS) {
-        break
-      }
-    } else {
-      if (elapsed > FRAME_FORCE_TIMEOUT_OUT_OF_WARP_MS) {
-        break
-      }
-    }
-  }
-  vm.renderFrame()
-}
-
-const TESSERACT_VERTICES_2D = Array.from({ length: 16 }, (_, vertex) => {
-  const sign = (bit: number) => {
-    return vertex & (1 << bit) ? 1 : -1
-  }
-  const x = sign(0)
-  const y = sign(1)
-  const z = sign(2)
-  const w = sign(3)
-  const perspective4 = 1 / (2.6 - w * 0.8)
-  const x3 = x * perspective4
-  const y3 = y * perspective4
-  const z3 = z * perspective4
-  const perspective3 = 1 / (3.2 - z3)
-  return [x3 * perspective3 * 110, y3 * perspective3 * 110] as const
-})
-
-const TESSERACT_EDGES: Array<[number, number]> = []
-for (let vertex = 0; vertex < 16; vertex += 1) {
-  for (let bit = 0; bit < 4; bit += 1) {
-    const neighbor = vertex ^ (1 << bit)
-    if (vertex < neighbor) {
-      TESSERACT_EDGES.push([vertex + 1, neighbor + 1])
-    }
-  }
-}
-
-const tesseractProject = new Project()
-const tesseractSprite = tesseractProject.createSprite('Tesseract')
-const edgeIndex = tesseractSprite.createVariable('edgeIndex', 1)
-const edgeFrom = tesseractSprite.createVariable('edgeFrom', 1)
-const edgeTo = tesseractSprite.createVariable('edgeTo', 1)
-const vertexXList = tesseractSprite.createList(
-  'vertexX',
-  TESSERACT_VERTICES_2D.map(([x]) => x),
-)
-const vertexYList = tesseractSprite.createList(
-  'vertexY',
-  TESSERACT_VERTICES_2D.map(([, y]) => y),
-)
-const edgeFromList = tesseractSprite.createList(
-  'edgeFrom',
-  TESSERACT_EDGES.map(([from]) => from),
-)
-const edgeToList = tesseractSprite.createList(
-  'edgeTo',
-  TESSERACT_EDGES.map(([, to]) => to),
-)
-
-tesseractSprite.run(() => {
-  const drawStep = defineProcedure(
-    [procedureLabel('draw step')],
-    () => {
-      eraseAll()
-      forEach(edgeIndex, lengthOfList(edgeFromList), () => {
-        setVariableTo(edgeFrom, getItemOfList(edgeFromList, edgeIndex.get()))
-        setVariableTo(edgeTo, getItemOfList(edgeToList, edgeIndex.get()))
-        penUp()
-        gotoXY(
-          getItemOfList(vertexXList, edgeFrom.get()),
-          getItemOfList(vertexYList, edgeFrom.get()),
-        )
-        penDown()
-        gotoXY(
-          getItemOfList(vertexXList, edgeTo.get()),
-          getItemOfList(vertexYList, edgeTo.get()),
-        )
-        penUp()
-      })
-    },
-    true,
-  )
-
-  whenFlagClicked(() => {
-    hide()
-    penUp()
-    setPenSizeTo(1.2)
-    setPenColorTo('#38bdf8')
-    repeat(30, () => {
-      callProcedure(drawStep, {}, true)
-    })
-  })
-})
-
-const tesseractProjectJson = tesseractProject.toScratch()
-const tesseractProgram = createProgramModuleFromProject({
-  projectJson: tesseractProjectJson,
-})
-const tesseractVM = createHeadlessVM({
-  program: tesseractProgram,
-  initialNowMs: 0,
-  options: {
-    stepTimeoutTicks: 1,
-  },
-})
-tesseractVM.start()
-
-bench('draw/tesseract-30/moonscratch', () => {
-  tesseractVM.stopAll()
-  tesseractVM.greenFlag()
-  for (let frame = 0; frame < 30; frame += 1) {
-    stepLikeViewerFrame(tesseractVM)
-  }
-  tesseractVM.stopAll()
-})
-
-if (import.meta.main) {
-  await run()
-}

package/benchmarks/load.bench.ts

@@ -1,28 +0,0 @@
-import { Project } from 'hikkaku'
-import { moveSteps } from 'hikkaku/blocks'
-import { bench, run } from 'mitata'
-import {
-  createHeadlessVM,
-  createProgramModuleFromProject,
-} from '../js/vm/factory.ts'
-
-await import('scratch-storage')
-
-const project = new Project()
-project.stage.run(() => {
-  for (let i = 0; i < 10000; i++) {
-    moveSteps(10)
-  }
-})
-const projectJson = project.toScratch()
-const program = createProgramModuleFromProject({ projectJson })
-bench('load/moonscratch', () => {
-  createHeadlessVM({
-    program,
-    initialNowMs: 0,
-  })
-})
-
-if (import.meta.main) {
-  await run()
-}