Module reader 

Schema-bound typed reader — the read twin of TypedWriter.

The read surface’s verbs split by read-vs-write, but the deeper fault line is interpret-vs-transport. Document::get is transport: it returns the stored value verbatim, schema-free and round-trippable — the disambiguation / debug read. Projecting a field to markdown is interpretation: a schema-shaped question (“this field’s richtext, as markdown”) that a schema-free Document cannot answer without guessing which fields are even richtext. Card::field_markdown carries the projection but has no schema to name the field set, so an unknown field name reads back as absent rather than as the typo it is.

Quill::view binds the schema — where the authority already lives, the writer’s twin — so a single verb interprets by the field’s declared type:

let v = quill.view(&doc);
v.get("subject")?;            // richtext → Some(Markdown(..))
v.get("qty")?;                // integer  → Some(Value(3))
v.get("absent")?;             // absent   → None
v.get("nope");                // unknown name → Err(UnknownField)
v.card(2)?.get("body")?;      // card field, kind resolves its schema

absence returns; mismatch raises; an unknown name is a typo. A richtext field projects to markdown (ReadValue::Markdown) and a plaintext field to its literal text (ReadValue::Plaintext); every other declared type returns its canonical value verbatim (ReadValue::Value) — the same transport Document reads, now reached with schema authority. A present value that does not decode under a content field raises EditError::FieldRichtextDecode, the mismatch Card::field_markdown / Card::field_plaintext surfaces. A name the schema does not declare raises EditError::UnknownField, exactly as TypedWriter::set rejects it on the write side.

The body read stays quill-free: a body’s type is a format fact, not a schema fact, so get_body mirrors Card::body_markdown rather than consulting the schema.

Like TypedWriter, a bound reader holds &Document and &QuillConfig, so it cannot cross a binding boundary that carries no lifetimes (wasm-bindgen / pyo3); those surfaces construct one per call from the quill handle.

Structs

CardReader

A single composable card bound to its CardSchema, from TypedReader::card. Same get / get_body verbs as TypedReader, reading the card at its bound index.

TypedReader

A Document bound to its QuillConfig for typed reads. Construct with Quill::view. Reads target the main card; use card for a composable card. The read twin of TypedWriter.

Enums

ReadValue

The interpreted value at a field address — the output of TypedReader::get. A content field decodes to its codec’s projection (richtext to markdown, plaintext to literal text); every other declared type carries its canonical value verbatim (the transport read, reached through the schema). Absence is the None of the enclosing Option, not a variant here.