shoney.arickathil
79605cbb4f
- `woc` now emits `.wob` that `wovm` runs: emit.ml lowers the typed, owner-annotated AST (scope-stack registers with a >64 WO-E401 diagnostic, Lua-style call windows, ICALL by slot, dedup const pool, drop maps, line tables, implicit terminators); disasm.ml backs `--dump-bc` goldens. - Ownership lowering consumes the four owner tables verbatim; RESIDUAL is the only source of borrow ops, coalesced per operand. Review caught the emitter consuming only 2 of owner.ml's 4 residual producers — an assignment-anchored aliasing violation ran to exit 0 instead of trapping; fixed, plus a backstop raising WO-E404 for any residual region left unconsumed. - Conformance harness `scripts/oop-e2e.sh` (`just oop-e2e`): four fixture kinds with exact outcomes — byte-exact stdout, one WO-E### anchored on `error CODE:`, numeric trap code, gc trace. 25 fixtures incl. pricing-demo logic, the ownership suite, and DB_STUB's parse-but-trap. `tests/` un-ignored so the corpus is actually tracked. - `woc build` produces a self-contained binary: wovm copy + appended image + 20-byte trailer, self-exec via /proc/self/exe. Verified relocated outside the repo, argless, and against adversarial trailer corruption. - Milestone 1's five spec criteria all MET (`just oop-accept`). Criterion 3 closed by WO-E405 — the entry must return `Int`, since program mode already says its return value is the exit code — which deletes the leak class without adding return-type metadata to the format. `gc/held-cycle` retired: an externally-held cycle is not expressible in a post-exit pump. - New spec: inferred GC + incremental per-shard tri-color mark-sweep, retiring `@gc` and reference counting. Story gains iterations 7b (that work) and 9b (`@table`, relations, compiler-checked query); `.dev/reference` gains a sparse System.Linq checkout. Priority: 5→6→7 (log-watcher) then 7b, 8, 9, 9b.
98 lines
3.8 KiB
Text
98 lines
3.8 KiB
Text
# Cargo build artifacts
|
|
/target
|
|
|
|
# Rust runtime (crates/rt/): compiled binary + build artifacts
|
|
/crates/rt/target
|
|
/crates/rt/Cargo.lock
|
|
|
|
# C++ prototype build output
|
|
/prototypes/*/build
|
|
|
|
# OCaml/dune build artifacts (compiler/, the woc compiler front)
|
|
/compiler/_build
|
|
|
|
# C runtime (runtime/): compiled binary + WAL/snapshot data.
|
|
# `just rt-c-demo` and the default WO_DATA write ./wo-data at the repo root.
|
|
/runtime/wo-rt
|
|
/wo-data
|
|
/runtime/wo-data
|
|
# wovm VM core: binary + test build dir (ASan test binaries, smoke fixtures)
|
|
/runtime/wovm
|
|
/runtime/build/
|
|
|
|
# Runtime data directories for the sample projects.
|
|
# `wo.toml` points at `./data` which holds the per-project engine state.
|
|
/data
|
|
/docs/examples/*/data
|
|
|
|
# Legacy blog content and data (v1 writeonce storage)
|
|
/content
|
|
|
|
# Everything in .dev is developer-local (agent-tooling links, and the whole
|
|
# reference/ area: v1 archive, rest smoke files, study-tree symlinks —
|
|
# untracked 2026-08-08, disk-only; v1 history lives at the pre-move
|
|
# reference/ path). Only this README survives:
|
|
/.dev/*
|
|
!/.dev/README.md
|
|
/.dev/reference/
|
|
|
|
# Study-tree symlinks each contributor recreates per machine:
|
|
# ln -s <path-to-linux-src> .dev/reference/linux
|
|
# ln -s <path-to-go-src> .dev/reference/go
|
|
# ln -s <path-to-postgresql-src> .dev/reference/postgresql
|
|
# ln -s <path-to-mcp-python-sdk-src> .dev/reference/mcp-python-sdk
|
|
# (clone: https://github.com/modelcontextprotocol/python-sdk.git)
|
|
# ln -s <path-to-colibri> .dev/reference/colibri
|
|
# ln -s <path-to-llama.cpp> .dev/reference/llama-cpp
|
|
# ln -s <path-to-llvm-project> .dev/reference/llvm-project
|
|
# ln -s <path-to-dotnet-runtime> .dev/reference/dotnet-runtime
|
|
# (sparse clone -- only src/libraries/System.Linq:
|
|
# git clone --filter=blob:none --no-checkout --depth 1 \
|
|
# https://github.com/dotnet/runtime.git ~/projects/dotnet-runtime
|
|
# cd ~/projects/dotnet-runtime && git sparse-checkout init --cone \
|
|
# && git sparse-checkout set src/libraries/System.Linq && git checkout)
|
|
|
|
# Agent-orchestration scratch (SDD ledgers, briefs, review packages)
|
|
/.superpowers/
|
|
|
|
# Editor / OS noise — left broad on purpose so a contributor doesn't
|
|
# accidentally commit their IDE scratch or macOS metadata.
|
|
.DS_Store
|
|
*.swp
|
|
*.swo
|
|
/.idea/
|
|
/.vscode/*
|
|
!/.vscode/settings.json.example
|
|
!/.vscode/extensions.json
|
|
|
|
# Phase-F bench binaries (sources are committed; builds are not)
|
|
/runtime/bench/bench
|
|
/runtime/bench/goref/goref
|
|
prototypes/llama-moe-stream/
|
|
prototypes/wo-db/
|
|
|
|
# `tests/` un-ignored 2026-08-11 (plan 3 Task 2): the conformance corpus
|
|
# lands under `tests/corpus/` and must be tracked, not invisible to git
|
|
# the way the docs below already were once. See docs/plan/learnings.md,
|
|
# "check that a new document is actually tracked". No build artifacts
|
|
# land under `tests/` — the harness's own scratch files use mktemp
|
|
# outside the repo — so nothing needs re-ignoring beneath it.
|
|
|
|
# Documentation is version-controlled — repo doctrine puts docs under `docs/`,
|
|
# and ignoring them there defeats the point. These directories were ignored
|
|
# until 2026-08-10, which silently cost the blue-green vision doc (recovered
|
|
# from a session transcript) and left all seven forward-roadmap plan docs in
|
|
# `docs/superpowers/plans/` existing only on one developer's disk. The rules
|
|
# were also half-fiction: 33 of the 34 files under `docs/plan/exploration/`
|
|
# were already tracked, so the rule only swallowed *new* files — the worst
|
|
# possible failure mode. Do not re-add them.
|
|
# docs/examples/agent-loop/
|
|
# docs/examples/mcp-think/
|
|
# docs/plan/exploration/
|
|
# docs/plan/oop-vm/ (carries the .wob format + error-catalog contracts)
|
|
# docs/superpowers/plans/
|
|
|
|
# Python bytecode — the agent-loop / mcp-think samples are Python, and
|
|
# un-ignoring their directories above exposed these.
|
|
__pycache__/
|
|
*.pyc
|