Module schema 

The two validation views and their shared introspection types. The two validation views and their shared introspection types.

Modules

sealed

Sealing module: keeps the ObjectChild extension point crate-internal.

Structs

ConstraintDesc

One declared constraint as data — derived from the same check vector the kernels run, so introspection cannot drift from behavior.

FieldMeta

UI-facing metadata slots (DV-3); unknown extras survive round-trips.

Nested

Backs an crate::types::object::ObjectSchema field slot with any schema whose composed representation is an crate::types::object::ObjectSchema (e.g. a derive companion from the separate formars-derive crate).

ObjectFieldDesc

One declared object field as introspection data — key plus the child’s own shape projection, taken from the same Vec the kernel walks so introspection cannot drift (DV-6).

ShapeNode

Introspection projection of a schema: primitive kind plus declared constraints.

Enums

ShapeKind

Primitive families distinguishable through erasure.

Traits

DynSchema

The object-safe erased view over a Value tree (DV-2).

ObjectChild

Contract for anything that can back an crate::types::object::ObjectSchema field: path-aware validation with a fail-fast override, plus an introspection projection (D3).

Schema

The typed validation view.