Struct SerializedJsonField 

pub struct SerializedJsonField;

Typed guard for JSON-envelope field construction. See module docs.

Zero-sized; the type exists only to namespace the constructors and to make audit grep (SerializedJsonField::tainted, SerializedJsonField::typed) trivially locatable.

Implementations

impl SerializedJsonField

pub fn tainted(s: &str) -> Value

Wrap an untrusted, caller-influenced string as a JSON value.

The returned Value::String will, on serialization through Value::to_string_compact, have every control byte (U+0000..U+001F), embedded ", \, and other JSON delimiters escaped per RFC 8259 §7. The downstream parser sees the original bytes verbatim — it does not see the bytes as envelope structure.

This function is the canonical entry point for caller- influenced JSON-envelope fields. Examples:

• Error messages reaching json_error (HTTP body)
• SQL parser error fragments (F-05 fix)
• User-supplied identifiers reflected back into a response
• Connection-string fragments arriving via reddb_wire::Tainted after escape_for(Boundary::JsonValue)

pub fn typed<T>(value: &T) -> Value

where T: JsonEncode + ?Sized,

Wrap a server-owned, typed value as a JSON value.

Use this for structs and enums whose schema the server owns (configuration, status snapshots, typed view-models). The JsonEncode impl walks the type and produces the canonical Value tree; any nested string fields automatically inherit the round-trip guarantee.

Note: JsonEncode is this workspace’s in-house counterpart to serde::Serialize; the dependency-free split is documented in crate::serde_json.