# Executed development evidence

The initial nine mathematical tests were written before src/manin.py existed. The first actual invocation of python3 -m unittest discover -s tests -v failed at import with ModuleNotFoundError: No module named 'manin' (exit 1). This is a recorded development observation, not a synthetic transcript.

After implementing the finite-field presentation, all nine tests passed in the actual runtime. They test quotient dimension and kernel, all 390 generator paths on the entire quotient, Hecke descent and commutation, plus and out-of-sample eigenvalues, curve point counts, pre-sum normalization, complete logarithms, rejection of an altered vector, and a small singular linear-algebra witness.

The producer then locked its eigenline file before computing any Kurihara sum. It observed residue 5 under the fixed first-nonzero-coordinate normalization. The old archive's number 6 was never passed to the producer as a target. The original event log's first stage label contains a harmless Cyrillic letter in HECKE; the source label was corrected to ASCII before the fresh replay. No mathematical data changed as a result.

Final test and independent-replay evidence is supplied by the machine-generated result files. Narrative development notes alone do not authorize a frontier update.