Reproducibility

This page records the reproduction path for the public execution-kernel claim.

Release metadata

Paper metadata will be added after the public preprint record is available.

Target Release

Field	Value
Package	culsma
Release	v1.0.0
Python	>=3.11
Runtime dependency	lark>=1.1.0

Install

python -m pip install "culsma @ git+https://github.com/culsma/culsma.git@v1.0.0"

Smoke Run

culsma run examples/minimal/public_minimal.culs --artifacts-dir tmp/run

Expected artifact names:

• summary.json
• ast.json
• ir.json
• validate.json
• typecheck.json
• plan.json
• run.json
• output.json
• result.json

output.json is the machine-readable run output. Its returns field contains protocol return values, and its report field contains the derived lab_report_v1 report.

Verified smoke result:

Field	Value
runtime_ok	true
completed_steps	5
failed_steps	0
skipped_steps	0
semantic/type/plan/runtime diagnostics	0

Replay

culsma replay --run-json tmp/run/run.json --out tmp/replayed_state.json

Verified replay:

Field	Value
event count	10
reconstructed step count	5

Tests

python -m pytest -q

Caveat

Offline wheel installation requires dependency availability for lark.