Skip to main content
PCD is the BRIK64 language for describing bounded logic as a circuit. The public authoring profile is intentionally compact. It gives agents enough structure to produce inspectable logic without inventing a broad dialect. The public standards repository for the PCD file and programming baseline is brik64/pcd-standard. The public .brik workspace standard is brik64/brik-standard.

​
Core Shape

PC example {
    fn evaluate(input) {
        if (input <= 0) {
            return 0;
        }

        return 1;
    }
}

​
Authoring Guidance

  • Name the circuit with PC.
  • Declare functions with explicit inputs.
  • Use if branches with explicit returns.
  • Use bounded loops when needed.
  • Call monomers from the catalog.
  • Return a defined value from every path.
  • Explain external behavior before using extended monomers.

​
Reading Path

  1. PCD Tutorial
  2. PCD Syntax
  3. PCD File Standard
  4. .brik Workspace
  5. Examples
  6. Errors

​
Agent Output

Every agent-authored PCD should be accompanied by: 
Requirement:
Inputs:
Output:
Fail-closed behavior:
Monomers:
EVA structure:
Evidence status: