Reproducibility

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

The versioned workflow benchmark records the paper evaluation and later implementation results separately.

Target Release

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

Install

python -m pip install "culsma==1.0.9"

Smoke Run

culsma run path/to/protocol.culs --artifacts-dir tmp/run

Use a local .culs source file. Public PyPI installs do not include bundled example protocol files.

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
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

Replay should reconstruct state from run.json without requiring the original source file:

Field	Value
input	tmp/run/run.json
output	tmp/replayed_state.json

Tests

python -m pytest -q

Caveat

Offline wheel installation requires dependency availability for lark.