Map<String, dynamic> toJson() { return {'scriptId': scriptId.toJson(), 'provenance': provenance.toJson()}; }