# BRIK64 Documentation Official BRIK64 documentation for the current public CLI beta, Digital Circuitality, PCD, monomers, EVA composition, agents, local evidence, releases and public integration surfaces. ### Documentation / Start - [Introduction](https://docs.brik64.com/introduction.md): Official BRIK64 documentation for Digital Circuitality, CLI-first software logic review, PCD, monomers, EVA, agents and local evidence. - [What Is BRIK64?](https://docs.brik64.com/what-is-brik64.md): A practical model of BRIK64, Digital Circuitality, PCD, monomers, EVA and local evidence. - [Current Availability](https://docs.brik64.com/current-availability.md): Current public beta availability for BRIK64 CLI 0.1.0-beta.7 and the local workflow. - [Quickstart](https://docs.brik64.com/quickstart.md): Install BRIK64 CLI 0.1.0-beta.7 and run the local PCD workflow. - [Terms](https://docs.brik64.com/concepts/terms.md): Public glossary for BRIK64, Digital Circuitality, PCD, monomers, EVA and evidence workflows. ### Documentation / CLI - [BRIK64 CLI](https://docs.brik64.com/cli.md): The BRIK64 CLI 0.1.0-beta.7 public command surface. - [Install the BRIK64 CLI](https://docs.brik64.com/cli/install.md): Install BRIK64 CLI 0.1.0-beta.7 with the public installer and verify the official brik64 command. - [Commands](https://docs.brik64.com/cli/commands.md): BRIK64 CLI command reference. - [Init](https://docs.brik64.com/cli/init.md): Initialize local BRIK64 workspace state. - [PCD Generate](https://docs.brik64.com/cli/pcd-generate.md): Generate starter PCD candidates. - [Certify](https://docs.brik64.com/cli/certify.md): Create local evidence records for inspected BRIK64 artifacts. - [Polymerize](https://docs.brik64.com/cli/polymerize.md): Compose local PCD candidates into a Polymer candidate. - [Compile And Test](https://docs.brik64.com/cli/compile-test.md): Generate demo outputs and run local checks. - [Doctor](https://docs.brik64.com/cli/doctor.md): Inspect the local BRIK64 environment. - [Troubleshooting](https://docs.brik64.com/cli/troubleshooting.md): Common BRIK64 CLI issues and recovery steps. ### Documentation / Build With Agents - [Agents](https://docs.brik64.com/agents.md): BRIK64 documentation for AI coding agents. - [Generation Overview](https://docs.brik64.com/agents/generation-overview.md): The end-to-end BRIK64 generation flow for AI agents. - [From Requirement To PCD](https://docs.brik64.com/agents/from-requirement-to-pcd.md): How agents convert requirements into BRIK64 PCD. - [Monomer Selection](https://docs.brik64.com/agents/monomer-selection.md): How agents should choose BRIK64 monomers. - [EVA Composition For Agents](https://docs.brik64.com/agents/eva-composition.md): How agents should explain EVA composition. - [PCD Authoring Rules](https://docs.brik64.com/agents/pcd-authoring-rules.md): PCD rules for AI agents. - [.brik Workspace Rules](https://docs.brik64.com/agents/brik-workspace-rules.md): Agent rules for BRIK64 traceability metadata. - [Validation Checklist](https://docs.brik64.com/agents/validation-checklist.md): Agent checklist before reporting a BRIK64 result. - [Anti-Patterns](https://docs.brik64.com/agents/anti-patterns.md): Patterns agents should avoid in BRIK64 docs and PCD. - [Use The BRIK64 Skill](https://docs.brik64.com/agents/install-skill.md): Use BRIK64 agent instructions with explicit consent. - [Managed Section](https://docs.brik64.com/agents/managed-section.md): BRIK64 AGENTS.md managed section markers. - [Conflicts](https://docs.brik64.com/agents/conflicts.md): Recover from AGENTS.md managed-section conflicts. ### Documentation / Language & Composition - [Language](https://docs.brik64.com/language.md): BRIK64 PCD language guide. - [PCD Tutorial](https://docs.brik64.com/language/pcd-tutorial.md): Write a BRIK64 Program Circuit Description from a bounded requirement. - [PCD Syntax](https://docs.brik64.com/language/pcd-syntax.md): Current public PCD authoring profile. - [PCD File Standard](https://docs.brik64.com/language/pcd-file-standard.md): Raw PCD source and the PCD file envelope. - [.brik Workspace](https://docs.brik64.com/language/brik-workspace.md): BRIK64 local traceability workspace. - [Examples](https://docs.brik64.com/language/examples.md): BRIK64 PCD examples. - [Errors](https://docs.brik64.com/language/errors.md): How BRIK64 commands should fail and how agents should report failures. - [Monomers](https://docs.brik64.com/monomers.md): BRIK64 monomer overview. - [Monomer Tutorial](https://docs.brik64.com/monomers/tutorial.md): Learn how to select and use BRIK64 monomers. - [Selection Guide](https://docs.brik64.com/monomers/selection-guide.md): Choose monomers for BRIK64 PCD candidates. - [Core And Extended Monomers](https://docs.brik64.com/monomers/core-vs-extended.md): How to read BRIK64 core and extended monomer ranges. - [Monomer Catalog](https://docs.brik64.com/monomers/catalog.md): Public BRIK64 monomer vocabulary from MC_00 through MC_127. - [EVA](https://docs.brik64.com/eva.md): BRIK64 composition model. - [EVA Tutorial](https://docs.brik64.com/eva/tutorial.md): Use EVA to reason about BRIK64 composition. - [Sequential Composition](https://docs.brik64.com/eva/sequential.md): EVA sequential composition. - [Conditional Composition](https://docs.brik64.com/eva/conditional.md): EVA conditional composition. - [Parallel Composition](https://docs.brik64.com/eva/parallel.md): EVA parallel composition. - [Polymers](https://docs.brik64.com/polymers.md): BRIK64 composed logic units. - [Polymer Tutorial](https://docs.brik64.com/polymers/tutorial.md): Compose local BRIK64 candidates. - [Composition](https://docs.brik64.com/composition.md): How BRIK64 composes monomers, PCD Blueprints, Polymers and system topology. - [Topology](https://docs.brik64.com/composition/topology.md): How BRIK64 represents composed logic. ### Documentation / Concepts - [Digital Circuitality](https://docs.brik64.com/concepts/digital-circuitality.md): The theory and engineering discipline behind BRIK64. - [Theory Papers](https://docs.brik64.com/concepts/theory-papers.md): External theory references for Digital Circuitality and EVA. - [BIR](https://docs.brik64.com/concepts/bir.md): BRIK64 intermediate representation and its role below PCD. - [TCE](https://docs.brik64.com/concepts/tce.md): Thermodynamic Coherence Engine in the BRIK64 documentation. - [Proof Trail](https://docs.brik64.com/concepts/proof-trail.md): How BRIK64 records the evidence path behind an engineering statement. - [Evidence And Certification](https://docs.brik64.com/certification.md): How to read BRIK64 evidence outputs. ### Documentation / Integrations - [SDKs](https://docs.brik64.com/sdks.md): BRIK64 SDK and package documentation. - [JavaScript SDK](https://docs.brik64.com/sdks/javascript.md): BRIK64 JavaScript and TypeScript package notes. - [Python SDK](https://docs.brik64.com/sdks/python.md): BRIK64 Python package notes. - [Rust SDK](https://docs.brik64.com/sdks/rust.md): BRIK64 Rust package notes. - [API](https://docs.brik64.com/integrations/api.md): How the public API surface fits into the BRIK64 workflow. - [MCP](https://docs.brik64.com/integrations/mcp.md): BRIK64 model-context integration for agents. ### Documentation / Community - [Community](https://docs.brik64.com/community.md): BRIK64 community entrypoint. - [Discord](https://docs.brik64.com/community/discord.md): Community chat status for BRIK64. - [GitHub](https://docs.brik64.com/community/github.md): BRIK64 GitHub community links. - [Contributing](https://docs.brik64.com/community/contributing.md): How to contribute to BRIK64 public documentation. - [Security](https://docs.brik64.com/community/security.md): Security reporting guidance for BRIK64 public users. ### Documentation / Releases - [BRIK64 Release Notes](https://docs.brik64.com/releases.md): Public release notes, changelog and update policy for BRIK64. - [Changelog](https://docs.brik64.com/releases/changelog.md): Public BRIK64 release notes for the CLI and documentation. - [Update Policy](https://docs.brik64.com/releases/update-policy.md): Manual update policy for the current BRIK64 CLI beta. - [Channels](https://docs.brik64.com/releases/channels.md): BRIK64 release channel policy. ### Documentation / Security - [Distribution Hardening](https://docs.brik64.com/security/distribution-hardening.md): How BRIK64 documents release artifact protection and verification limits.