Skip to main content

Module validate

Module validate 

Source
Expand description

Registry-driven generic validation — everything a schema DECLARES, the engine can CHECK without the schema crate hand-writing it:

  • routing + parse: storage patterns say where records live; typed decode (dates, decimals, enums, links) says whether one reads back (Error).
  • placeholder consistency: a field named like a storage placeholder must match its path segment — id vs filename, person vs directory (Error).
  • link policy: Link { allowed } fields reject other kinds (Error); KB-native links that do not resolve warn; declared external systems pass; unrecognized heads warn. Enum-payload links included.
  • refers_to: a plain-string slug must name a known record (Warning).
  • inline [[…]] links in every Markdown field resolve or warn.

A schema crate calls against_registry and appends only its own cross-record invariants — the registry IS the declarative source; this module is its interpreter. Severity doctrine: malformed shape and policy breaches block an accept (Error); unresolvable references warn.

Functions§

against_registry
Validate every entry a registry can judge. entries are (repo-relative path, RON text) pairs; paths outside facts/ are ignored.