Cone.VisibilityResolver (Cone v0.1.0)

View Source

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

Summary

Functions

check_consistency(ticked_asts)

Checks lexical consistency based on Hybrid Ticks. Input: List of ASTs with meta[:tick] = {lamport, lexical_index}. Returns: {:ok, :consistent} or {:error, {:time_travel_detected, info}}.

Functions

check_consistency(ticked_asts)

Checks lexical consistency based on Hybrid Ticks. Input: List of ASTs with meta[:tick] = {lamport, lexical_index}. Returns: {:ok, :consistent} or {:error, {:time_travel_detected, info}}.