Versions

Ten experiments, then a boundary.

Each pre-1.0 version added exactly one capability and shipped its own verification report. Version 1.0 added none, and drew a line instead.

The experiment series

The experiment directories are still in the repository, one per capability, in the order they were built.

e0_arithmetic

Deterministic matrix-ledger execution and audit.

e1_symbolic_exchange

Symbolic–numeric exchange, verified cell by cell.

e2_root_cause

Dependency taint, roots and paths.

e3_matrix_directions

Multidirectional layout and traversal.

e4_cross_axis_constraints

Row, column and block constraints, with minimum-support repair.

e5_temporal_dynamics

Temporal references, fixed-point groups and append-only corrections.

e6_fdcs_interventions

Hard and soft counterfactual interventions, and branch differential ledgers.

e7_soft_cyclic_identifiability

Soft cyclic structure and finite observation equivalence.

e8_probability_policy_observation

Discrete uncertainty, policy scoring and observation models.

e9_continuous_information_decision

Deterministic continuous uncertainty, information value and finite sequential decisions.

Release verification

Everything below is from FINAL_VERIFICATION.json, produced by the release-validation run on 23 July 2026.

Check	Result
pytest	71 passed
Python files compiled	63, PASS
JSON files checked	104
Markdown files checked	72, no fence errors
Examples validated	40
Examples migrated	40
Migration equivalence cases	12, 0 failures
Benchmark cases	6, hashes identical, audits pass
Wheel	`mmlc_runtime-1.0.0-py3-none-any.whl`, 51 files, 10 schemas
Source distribution	`mmlc_runtime-1.0.0.tar.gz`, 176 files
Installed wheel smoke test	PASS

The release validation hash, over the whole run:

text

957ab0255fe284bcb6310ccc11cefc07aa2722ff9a3098e1e7154f52af7738b1

established

Independently reproduced on 25 July 2026 from a fresh checkout, on Python 3.10, 3.11, 3.12 and 3.13: 71 passed on every version, followed by validate, migrate and run --fail-on-audit.

Compatibility policy

Patch: Fixes defects without intentionally changing the public API or MMLF semantics.
Minor: May add optional, backward-compatible API fields, commands, operators or document fields.
Major: May remove or redefine stable behaviour, and must provide migration documentation.
Stable surface: The names exported from mmlc.__init__ and listed by mmlc info.
Not stable: Internal modules, private functions, experiment scripts, and generated report layout.

After 1.0

The roadmap opens with a constraint rather than a feature list: new work should prefer depth over feature accumulation.

1.0.x: Correctness and security fixes, documentation corrections, deterministic-output defects, packaging fixes, benchmark methodology corrections.
1.1 candidates: A typed extension contract without arbitrary document code execution; streaming input and bounded-memory event persistence; better sparse constraint repair backends; optional formal operator specifications; cross-runtime conformance fixtures; profile-guided performance work.
Separate repositories: mmlc-spec for the normative specification, mmlc-bench for comparative and adversarial benchmarks, mmlc-docs, and language bindings or visual editors — each when mature.

One line in that roadmap is worth quoting as policy: major semantic expansion should not be placed into Runtime 1.x merely to continue version-number growth.

Repositories

mmlc-runtime: The runtime, CLI, schemas, examples, E0–E9 experiments and benchmarks. Apache-2.0.
mmlc-erdos-straus-bench: The Erdős–Straus application, v0.2.0. Apache-2.0, and it vendors the runtime wheel so it installs before MMLC reaches a package index.