Prove revert-on-reject state transitions#389

Open

diegonehab wants to merge 137 commits into

mainfrom

feature/revert-root-hash

Commits on Apr 25, 2026

fix(jsonrpc): omit Boost source_location suffix from error logs at non-debug levels
diegonehab
committed

Commits on May 7, 2026

Commits on May 14, 2026

Commits on May 15, 2026

Commits on May 16, 2026

refactor: split DTB_BOOTARGS atoms into _PART macros
diegonehab
committed
docs: copy machine docs to machine repo
diegonehab
committed
refactor: merge perpectives into single file
diegonehab
committed
docs: migrate pipeline from panpipe+JS driver to pandoc Lua filter
diegonehab
committed
docs: default README.md generation to playground container
diegonehab
committed
docs: replace _build_all.sh orchestrator with Make-driven cache
diegonehab
committed
docs: replace cat-only pipe=sh blocks with cache= filter attribute
diegonehab
committed
docs: refactor recipe build system to gcc -MMD self-declaring deps
diegonehab
committed
docs: consolidate recipe boilerplate into lib.sh and docgen.lua
diegonehab
committed
docs: drive displayed commands from cache scripts via script= filter
diegonehab
committed
docs: convert ls/flash/templates-run/proofs-output-run to script= filter
diegonehab
committed
docs: convert remaining hand-typed bash blocks to script= filter
diegonehab
committed
docs: replace split-file recipes with inline-script build system
diegonehab
committed
docs: order-independent docgen and derived hashes in the template
diegonehab
committed
docs: enforce identifier keys and verify declared outputs
diegonehab
committed
docs: unify replace=/subst= addressing, capture streams in PREAMBLE
diegonehab
committed
docs: rename docgen.lua to replace.lua, add alerts.lua and language runners
diegonehab
committed
docs: rebase pipeline on local emulator, bootstrap 0.20 migration
diegonehab
committed
docs: port Initialization and Flash drives sections to emulator 0.20
diegonehab
committed
docs: port Limiting execution and State hashes sections to emulator 0.20
diegonehab
committed
docs: port Persistent Cartesi Machines section to emulator 0.20
diegonehab
committed
docs: update Progress feedback section for emulator 0.20
diegonehab
committed
docs: port Cartesi Machine templates section to emulator 0.20
diegonehab
committed
docs: unify subst= and slim depends=, key-named docgen cache
diegonehab
committed
docs: simplify docgen runners and unify REPLACE_* env names
diegonehab
committed
docs: accept bare identifier as subst= shortcut for K->K
diegonehab
committed
docs: port State value proofs section to emulator 0.20
diegonehab
committed
docs: port Remote Cartesi Machines section to emulator 0.20
diegonehab
committed
docs: fix broken cross-references in README.md.template
diegonehab
committed
docs: add cartesi-rollup-data helper for ABI rollup record encoding
diegonehab
committed
docs: port Cartesi Rollups section to emulator 0.20
diegonehab
committed
docs: port Rarely used options section to emulator 0.20
diegonehab
committed
docs: port Remote Cartesi Machines (Lua interface) and add include= attribute
diegonehab
committed
docs: port Rolling Cartesi Machines (Lua interface) to emulator 0.20
diegonehab
committed
docs: truncate cache 'both' file at start of each docgen runner
diegonehab
committed
docs: port State transition proofs section to emulator 0.20
diegonehab
committed
docs: anchor-based selectors and enable dormant config blocks
diegonehab
committed
docs: rename cycles_limit_exec to cycles_htif_putchar
diegonehab
committed
docs: port Lua interface front to 0.20
diegonehab
committed
docs: port Lua interface (Loading/Persistent/Limiting/Progress) to 0.20
diegonehab
committed
docs: port Lua interface tail to 0.20 and drop recipes/config/
diegonehab
committed
docs: rename subst= attribute and subst.lua to vars= and vars.lua
diegonehab
committed
docs: feed interactive shell with ^D so output ordering is natural
diegonehab
committed
docs: rewrite Target perspective for the 0.20 custom rootfs flow
diegonehab
committed
docs: rewrite Target perspective for the 0.20 custom rootfs flow
diegonehab
committed
docs: port Target-perspective Flash drives, NVRAMs, Initialization to 0.20
diegonehab
committed
docs: add generation of html as well
diegonehab
committed

Commits on May 18, 2026

Commits on May 22, 2026

docs: collapse include= blocks to a single /both handle
diegonehab
committed

Commits on May 24, 2026

docs: harden jsonrpc snippets, edit-pass Lua interface up to state transition proofs
diegonehab
committed

Commits on May 25, 2026

docs: edit-pass Lua interface and state-transition proofs sections
diegonehab
committed

Commits on May 28, 2026

chore: parameterize Docker base images and carry run-as-host entrypoint
diegonehab
committed

Commits on May 31, 2026

feat: let cartesi.tojson/fromjson take a user schema dictionary
diegonehab
committed

Commits on Jun 1, 2026

Commits on Jun 2, 2026

Commits on Jun 11, 2026

Commits on Jun 13, 2026

fix: align uarch accesses instead of rejecting misaligned ones
diegonehab
committed

Commits on Jun 15, 2026

Commits on Jun 16, 2026

refactor: rewrite cartesi-machine CLI option parsing
diegonehab
committed

Commits on Jun 17, 2026

refactor: assemble cartesi-machine CLI config in a single table
diegonehab
committed

Commits on Jun 18, 2026

Commits on Jun 19, 2026

feat: default output proofs to Lua format and add format sub-option
diegonehab
committed

Commits on Jun 22, 2026

Commits on Jun 23, 2026

docs: illustrate the outputs tree with a frontier diagram
diegonehab
committed

Commits on Jun 24, 2026

Commits on Jun 25, 2026