Format Guide agent-readable instructions
PCD describes domains, composition, and closure before target code exists.
- 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.
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
PCD value comes from finite grammar and explicit closure.
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
EVA defines sequence, parallel fan-out, and conditional branching.
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.