| _version_ | 1866901664504479744 |
|---|---|
| author | Bolduc, Son David |
| author_facet | Bolduc, Son David |
| contents | <p>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).</p> <p>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.</p> <p>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.<br><br></p> <p>From the same author:</p> <p>causality theory CT united https://zenodo.org/records/17366521 10.5281/zenodo.17366521 </p> <p>causality united v2 https://zenodo.org/records/17564091 10.5281/zenodo.17564091</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17664494 |
| institution | Zenodo |
| language | eng |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | The Causal Specification Language (CSL): A Pure CT Programming and Interaction Formalism Bolduc, Son David supracausal operators CT constants formal semantics unconventional computation geometric computation constraint-based programming Patriarch theorems causal invariants causal geometry ln5 dissipation φ-flow dynamics √3 curvature √2 relations π-nodes causal computing causal programming CSL causal specification language <p>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).</p> <p>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.</p> <p>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.<br><br></p> <p>From the same author:</p> <p>causality theory CT united https://zenodo.org/records/17366521 10.5281/zenodo.17366521 </p> <p>causality united v2 https://zenodo.org/records/17564091 10.5281/zenodo.17564091</p> |
| title | The Causal Specification Language (CSL): A Pure CT Programming and Interaction Formalism |
| topic | supracausal operators CT constants formal semantics unconventional computation geometric computation constraint-based programming Patriarch theorems causal invariants causal geometry ln5 dissipation φ-flow dynamics √3 curvature √2 relations π-nodes causal computing causal programming CSL causal specification language |
| url | https://doi.org/10.5281/zenodo.17664494 |