Public repository for the BRIK64 PCD 1.0 protocol: what a PCD is, how it is created, how it is packaged, and how agents and developers should treat it.
Status: v1.0 implementation baseline
Source authority for this publication:
brik64-prodcommitcb516bd554399ba784ef1b7da36a9f3e28773ad1docs/standards/PCD_FILE_STANDARD_V1.mddocs/standards/PCD_PROGRAMMING_STANDARD_V1.mddocs/standards/BRIK64_STANDARDS_INDEX.mdsoftware/spec/pcd_file.schema.jsonsoftware/spec/pcd_file_metadata.schema.json
PCD means Program Circuit Description in the public BRIK64 protocol. A PCD is a software-logic circuit description: a bounded statement of inputs, outputs, operations, composition and traceability metadata.
PCD is not a general scripting language. It is not a marketing label. It is the format BRIK64 uses to make software logic inspectable before it is connected to evidence workflows.
At minimum, a PCD records:
- the circuit boundary;
- the expected inputs;
- the produced output;
- the monomer or operation vocabulary used;
- the composition structure;
- the exact source bytes to hash;
- metadata and evidence references that are non-semantic.
Digital Circuitality is the BRIK64 methodology for turning software logic into bounded, composable, traceable units. It asks agents and developers to treat software like circuit design:
- define the boundary before writing logic;
- keep operations explicit;
- make composition visible;
- preserve traceability;
- separate examples and metadata from evidence claims.
PCD is the public file/source protocol for expressing that discipline.
BRIK64 is the ecosystem around PCD, .brik workspaces, the public CLI, agent
skills, documentation and evidence workflows. This repository defines the PCD
protocol layer. It does not replace the CLI, docs site, .brik workspace
standard, or evidence packs.
The public standard is split into two layers:
- PCD File Standard v1.0: JSON envelope, metadata, canonical hash, and certification-reference container rules.
- PCD Programming Standard v1: compiler-bound source profile for PCD files that are intended to feed the active BRIK64 compiler path.
To create a PCD 1.0 artifact:
- State the requirement in plain language.
- Define inputs and output.
- Define fail-closed behavior.
- Select the smallest operation vocabulary that expresses the logic.
- Describe the composition structure.
- Write raw
.pcdsource using the active authoring profile. - If distributing or synchronizing, wrap the exact source bytes in the PCD file envelope.
- Compute
semantic_pcd_sha256over exactpcd_sourcebytes. - Add metadata only as non-semantic context.
- Add evidence or certification references only as references.
- Validate with the current BRIK64 tooling before using the artifact in a release, package or public report.
This repository publishes file and authoring standards. It does not publish a compiler, runtime, certificate, evidence pack, or formal proof. Public claims about a specific BRIK64 artifact must point to the corresponding release, certificate, report, or evidence bundle.
docs/BRIK64_STANDARDS_INDEX.mddocs/PCD_FILE_STANDARD_V1.mddocs/PCD_PROGRAMMING_STANDARD_V1.mdschemas/pcd_file.schema.jsonschemas/pcd_file_metadata.schema.jsonSPEC.mdDIGITAL_CIRCUITALITY.mdAUTHORING.mdFORMAT.mdCLI_INTEGRATION.mdCLAIM_BOUNDARY.mdVERSIONING.mdEXAMPLES.mdAGENTS.md
Product documentation: https://docs.brik64.com