BRIK64 Glossary
Frequently used BRIK64 terms.
A simple guide to Digital Circuitality, PCDs, .brik ledgers, runtime engines, evidence gates, and bounded claims.
BRIK64
BRIK64 is CAD for critical code: a way to design, inspect, compose, trace, and review software logic as structured engineering material instead of loose source text.
Digital Circuitality
Digital Circuitality is the BRIK64 principle that software logic should be atomic, compositional, deterministic, traceable, evidence-bearing, and bounded by explicit claims.
.brik
.brik is the logic ledger for a BRIK64 project, recording how project logic changes over time and connecting those changes to authorship, Git activity, reviews, evidence, and certification boundaries.
PCD
A PCD, or Printed Circuit Description, is a structured blueprint for a unit of software logic that can be inspected, composed, exported, traced, and checked more explicitly than general-purpose source code.
Monomer
A monomer is the smallest logical building block in BRIK64, comparable to a logic gate: it has a stable meaning, bounded behavior, and explicit composition rules.
Polymer
A Polymer combines PCDs or monomers into a larger unit of logic, bridging atomic operations and complete application-level structures.
System App
A System App is a deployable application surface built from one or more BRIK64 logic artifacts, such as a frontend, API, worker, CLI, service, or multi-language application.
BIR
BIR is the internal intermediate representation used between PCD logic and target outputs, giving BRIK64 a stable layer for analysis, compilation, export, and evidence generation.
EVA
EVA defines how BRIK64 logic units compose sequentially, in parallel, or conditionally so composition remains explicit instead of hidden inside arbitrary code structure.
TCE
TCE, the Thermodynamic Coherence Engine, evaluates whether a circuit satisfies a bounded coherence condition and should be described as a coherence and evidence mechanism, not as a universal proof of all software correctness.
Certificate
A BRIK64 certificate records what was checked, which artifact and engine were involved, which version produced the result, and what claim boundary limits the meaning of that result.
Evidence Pack
An Evidence Pack contains the reports, hashes, manifests, validation outputs, provenance metadata, and supporting artifacts used to evaluate or support a bounded technical claim.
Claim Boundary
A Claim Boundary defines what BRIK64 can and cannot say about an artifact, preventing product copy, platform UI, or automation from overstating what the evidence supports.
Blueprints
Blueprints are the project view where users inspect PCDs, Polymers, composition metadata, source origin, contributors, and technical details for each logic artifact.
Topology
Topology shows how System Apps, Polymers, PCDs, monomers, dependencies, and proof signals connect as a system graph.
Circuit Matrix
Circuit Matrix is the dense inspection view for monomer-level structure, showing which monomers appear across PCDs and Polymers so teams can inspect coverage, composition, gaps, and circuit shape.
Impact Map
Impact Map shows how a logic or source change propagates through dependency hierarchy, affected PCDs, affected Polymers, broken dependencies, stale evidence, blast radius, and promotion blockers.
Ledger
Ledger is the chronological record that connects .brik events, Git commits, PRs, authorship, imports, exports, decisions, and proof updates into one operational history.
Proof Trail
Proof Trail surfaces evidence packs, manifests, hashes, reports, gate outputs, claim boundaries, and validation artifacts used to support bounded BRIK64 claims.
Certificates
Certificates show which PCDs, Polymers, System Apps, or engine outputs have bounded certification records, including who initiated them, which engine produced them, and where the supporting proof trail lives.
BRIK64 CLI
The BRIK64 CLI is the developer-facing command-line tool for creating, inspecting, validating, exporting, correlating, and preparing bounded evidence for BRIK64 artifacts.
Harness
The harness runs checks, generates evidence, validates manifests, verifies declared boundaries, and helps ensure artifacts behave consistently under their stated conditions.
Git/BRIK Correlation
Git/BRIK correlation links commits, PRs, authors, reviews, and file changes to PCDs, .brik ledger events, evidence packs, and certification records.
Authorship
Authorship records creators, modifiers, reviewers, importers, certifiers, and external identities without treating identity metadata as formal semantic proof.
PCD Certification
PCD Certification means a PCD has a bounded evidence record with artifact hash, engine version, initiator, evidence pack, claim boundary, and certification result.