Contract

• Input: mathematical computation (symbolic / numeric) and target CAS.
• Output: versioned script + container + manifest.
• Side effects: none.
• Dependencies: none.
• Stop condition: container builds; manifest complete.
• Risk: low.
• Boundary: produces reproducible artifacts; no system-wide install beyond declared environment.

Reproducible Math Computation

Run a mathematical computation that another researcher can rerun bit-for-bit — same inputs, same library versions, same outputs — and ship the artifacts.

When to use

• A paper's result depends on a non-trivial computation.
• A computational number (e.g. counterexample, zeta value) needs to be cited.
• A reviewer wants to verify the calculation.