MoonPeg v0.1.0

MoonPeg 0.1.0

Original MoonBit peg-solitaire toolkit: checked orthogonal/triangular moves, bounded solving, inverse generation, replay certificates and reachability diagnostics.

Included

• Immutable up-to-64-hole boards, exact/any-single goals and checked replay.
• Deterministic budgeted DFS, safe dead-state cache, goal-preserving symmetry and shared-budget hints.
• GF(2)/jump-component necessary diagnostics; seeded inverse generation with forward certificates.
• JSON v1, bounded UTF-8 CLI, tutorial and eight executable request fixtures.

Verified source

• Commit: e0c98ec3c8320cfd2b514c2ec68098f61cdfefd9 (main and annotated v0.1.0 tag).
• Final source CI: wasm-gc, wasm, js and native; strict checks, release builds, 43 tests per target and executable tutorial.
• Independent oracle: 20,096 cases; 1,164 replayed solutions; 15,606 obstruction checks.
• 11 CLI process cases, eight fixtures and separate path-dependency consumer pass.
• Native runtime tested on Ubuntu 24.04 CI, not on the local Windows machine without a C compiler.

Use and boundaries

Download/clone the source and follow README; MoonBit toolchain is pinned in CI. Node/Python host scripts use standard libraries. No precompiled binary is attached.
Search is synchronous/exponential: a node budget is not a time limit, and Exhausted is not a proof of impossibility. No full game UI, uniform generation or difficulty guarantee.

MIT implementation; MoonBit core Apache-2.0; AI assistance disclosed in AI_USAGE.md.
This GitHub source release is NOT a MoonCakes publication or an accepted competition submission. Participant application details remain outside Git.