Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Preprint . 2025
License: CC BY
Data sources: ZENODO
ZENODO
Preprint . 2025
License: CC BY
Data sources: Datacite
ZENODO
Preprint . 2025
License: CC BY
Data sources: Datacite
versions View all 2 versions
addClaim

The Causal Specification Language (CSL): A Pure CT Programming and Interaction Formalism

Authors: Bolduc, Son David;

The Causal Specification Language (CSL): A Pure CT Programming and Interaction Formalism

Abstract

This paper presents CSL (Causal Specification Language), the first programming and interaction formalism built entirely from the principles of Causal Theory (CT). Instead of describing computations through instructions, variables, memory, or control flow, CSL expresses systems as causal geometries composed of identities, relations, boundaries, flows, and dissipation fields. Each primitive corresponds exactly to one of the five CT constants: π (identity), √2 (relation), √3 (curvature), φ (growth/action), and ln 5 (dissipation). CSL programs specify shapes rather than sequences. A program consists of nodes, edges, surfaces, flows, and decay rules—constraints that the Causal Kernel evolves into a stable configuration. Because the kernel enforces the four Patriarch Theorems (contraction, orthogonal decomposition, curvature–growth inequality, and entropy–dissipation), CSL guarantees safety properties that conventional languages can only approximate: no deadlocks, no race conditions, no invalid states, and no temporal anomalies. This document defines the full grammar, semantics, invariants, execution rules, and supracausal operators of the language. It includes examples illustrating how computation emerges from geometric stabilization rather than algorithmic steps. CSL establishes the foundation for causal-native programming across the CT computing stack (Kernel → CVM → CSL → CAL → CAR → CT-UNIX), enabling systems where code and geometry are the same mathematical object. From the same author: causality theory CT united https://zenodo.org/records/17366521 10.5281/zenodo.17366521 causality united v2 https://zenodo.org/records/17564091 10.5281/zenodo.17564091

Keywords

supracausal operators, √3 curvature, √2 relations, causal programming, formal semantics, ln5 dissipation, geometric computation, π-nodes, causal invariants, unconventional computation, φ-flow dynamics, Patriarch theorems, CT constants, CSL, constraint-based programming, causal specification language, causal geometry, causal computing

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Green