HS-Carbon v1. 0 is a minimal, optional extension to the Timeverse / Phase-Coordination stack that introduces a deterministic carbon gate for phase-window actions. While Conventions/Q-Address/TAQA define when an action may execute under a cycle-anchored, wrap-safe phase-window convention (tick-canonical), HS-Carbon adds an energy/carbon precondition: an action is eligible to execute only if it is inside the agreed phase window and the local carbon intensity at execution is below a declared threshold. This specification preserves strict separation of concerns: It does not redefine phase/tick semantics (Conventions). It does not redefine execution semantics (Q-Address / TAQA). It does not define cryptography or threat models (Security Profile). It does not replace deterministic policy evaluation (HS-Core) ; the carbon gate MAY be applied before HS-Core evaluation. Normative contribution Energy-aware window fields (fixed-point integer encodings for enforcement/audit): energyₘwhᵤ32 (mWh) carbonₜhresholdₘgco2ₚerₖwhᵤ32 (mgCO2/kWh) Deterministic gating semantics producing recommended outcomes: WAIT (out-of-window) and DELAYCARBON (in-window but carbon too high). HSE-bit definition: 1 iff (tick-window membership) AND (carbon intensity below threshold). TSAE receipt fields for carbon auditing, including a deterministic fixed-point emissions estimate: estimatedₑmissionsₘgco2ᵤ64 = floor (energyₘwhᵤ32 * carbonᵢntensityₘgco2ₚerₖwhᵤ32 / 10⁶). What this record contains HS-Carbon v1. 0 PDF specification (normative for HS-Carbon gating semantics only). JSON field examples aligned with a fixed-point reference implementation. Compatibility notes Tick-canonical window membership MUST be evaluated using integer ticks only (no floating-point boundary checks). Energy/carbon fields are public context (not secrets). If external carbon forecasts/certificates are used, authenticity must be verified under deployment trust anchors. Keywords: Timeverse, HS-Carbon, carbon-aware computing, green computing, phase coordination, phase windows, tick-canonical, fixed-point, Q-Address, TAQA, TSAE, HS-Core, HS-Bloch, auditability, deterministic gating, distributed systems, quantum computing.
Tarik Ouardi (Sat,) studied this question.