Crate pacr_types 

pacr-types

Pillar: ALL. PACR field: ALL.

The trust root of the entire Aevum codebase. Defines the PACR 6-tuple and all shared physical measurement types.

R = (ι,  Π,              Λ,            Ω,               Γ,               P)
     id  predecessors    landauer_cost  resources         cognitive_split   payload

Field	Module	Physical axiom
ι	record	Logical a priori (referential necessity)
Π	record	Special relativity → causal partial order
Λ	landauer	Landauer’s principle (Second Law)
Ω	ets	Conservation laws + Margolus–Levitin
Γ	complexity	Computational mechanics (arXiv:2601.03220)
P	record	Completeness axiom

Rules

• Schema is append-only: existing field semantics NEVER change.
• This crate has zero dependencies beyond serde, smallvec, bytes, thiserror.
• #![forbid(unsafe_code)] is unconditional: no exceptions.

Re-exports

pub use complexity::CognitiveSplit;

pub use estimate::Estimate;

pub use estimate::EstimateError;

pub use ets::PhysicsViolation;

pub use ets::ResourceTriple;

pub use landauer::landauer_floor_joules;

pub use landauer::LandauerCost;

pub use landauer::H_BAR;

pub use landauer::K_B;

pub use landauer::LANDAUER_JOULES_300K;

pub use record::BuildError;

pub use record::CausalId;

pub use record::PacrBuilder;

pub use record::PacrRecord;

pub use record::Payload;

pub use record::PredecessorSet;

pub use record::ValidationIssue;

Modules

complexity

Pillar: III. PACR field: Γ (Cognitive Split).

estimate

Pillar: ALL. PACR field: ALL (shared measurement infrastructure).

ets

Pillar: II. PACR field: Ω (Resource Triple).

landauer

Pillar: II. PACR field: Λ (Landauer Cost).

record

Pillar: ALL. PACR field: ALL (integrates ι, Π, Λ, Ω, Γ, P into one record).