Format Guide
Canonical blueprint language for bounded software logic.
PCD describes domains, composition, and closure before target code exists.
Format Overview
Circuit schematics, not source code.
PCD is a bounded circuit format.
Format Properties
High-integrity computational primitives.
PCD value comes from finite grammar and explicit closure.
format integrity
Finite grammar
Small enough for humans, agents, and compilers.
Reviewed operations
Core operations plus contract-bounded extensions.
Closure gate
If Φc is not 1, the compiler rejects it.
Target emission
One blueprint preserves the intermediate form.
EVA Algebra
Three operators. Correctness preserved.
EVA defines sequence, parallel fan-out, and conditional branching.
composition model
SEQ
One stage feeds the next.
PAR
One input fans out to branches.
COND
Branches stay explicit before selection.
Formalize the stack.
PCD formalizes circuits; it does not replace organizational controls.