Deterministic Graphviz/DOT derivation + validation for archive records.
Canonical per-record archive format (YAML front matter + Markdown body).
Pointer semantics for "since last record" and detected-change bookkeeping.
Checklist for proving baseline behavior is unchanged (or changes are intentional) via controlled A/B runs.
Fast, compute-aware verification checklist for implementation changes (imports, configs, tiny runs).
Workflow for conference/venue paper search and short reading lists.
Procedural checklist to infer and state the repo's effective runtime environment and dependency policy.
Option-card format for phira-hypothesizer (math-first ideas + end-to-end training/inference).