API Reference Cone v#0.1.0

Documentation for Cone.

The main entry point for compiling Cone source code into Lamport IR and Tabular IR.

A Resolver that injects a Hybrid Logical Clock (HLC) into the AST.

LMPM Resolver Behaviour.

The standard resolver strategy for Cone.

Transforms the High-Level Quoted AST (with ticks) into Tabular IR.

Behavior for a compiler pass that operates on the Tabular IR (LCT).

A Compiler Pass that renders the Tabular IR (LCT) into an ASCII table using TableRex.

Defines the schema for a single row in the Causal Table.

A pure lexical causality checker using Hybrid Logical Ticks. Ensures strict "Define-before-Use" semantics.

Runs a Cone source file.