forge: ship REAL trained surrogate v1 for szl-formulas (model.joblib + receipt + scripts; honest card + provenance)

e3bfdd7

verified

betterwithage commited on Jul 21