Module serialization 

Serialization: Lemma values ↔ JSON.

Input: from_json / data_values_from_map produce serde_json::Value maps for [ExecutionPlan::set_data_values]. Convenience strings, JSON numbers, and serialized objects are accepted on input. Use data_values_from_strings for CLI-style string maps. Output keeps numbers as JSON strings.

Output: [ValueKind] serialization (in planning::semantics) is used everywhere, including evaluation responses.

Functions

data_values_from_map

Filter nulls from a parsed JSON object (e.g. WASM run data).

data_values_from_strings

Wrap convenience string maps (CLI forms, Engine::run call sites).

deserialize_resolved_data_value_map

Deserializes from array of [DataPath, DataDefinition] tuples, preserving order.

from_json

Parse JSON object to data values for ExecutionPlan::set_data_values.

serialize_resolved_data_value_map

Serializes IndexMap<DataPath, DataDefinition> as array of [DataPath, DataDefinition] tuples.