# A minimal experiment in open mathematical publishing

SIMULATED EXAMPLE — not original research or a model review.

A simulated work demonstrating the full publication package, stable references, revision history and machine-readable reading entry.

## Statement and scope

Decompose a conjunction into its components and reassemble in the required order. This is a workflow demonstration, not a novel theorem.

## Verification limitations

The package contains Lean source for the stated fixture. The MathHub server has not compiled it. For the design question/conjecture examples, this source proves only True, not the design claim.