Phira

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).

Procedure to audit alignment between a document's claims (e.g., algorithm description) and the actual implementation and defaults.

Realize embedded `phira_pseudocode` placeholders into runtime code, then delete implemented scaffolding.

Standard format for limitations, threats-to-validity, and critical risks with decisive tests.

Planning + approval + execution contract for the Phira primary orchestrator.

How Phira roles collaborate to summarise papers and archive outcomes.

Lightweight read-only lookup of project history from .archive when prior work may affect current decisions.

Output contract for phira-prototyper (design -> interfaces -> acceptance -> handoff).

Programmatic pseudocode placeholders using a decorator + TYPE_CHECKING blocks (type-checker friendly).