Repository

Main repository:

github.com/chrystyan96/causal-halting

GitHub Pages

Project site:

chrystyan96.github.io/causal-halting

OpenAI Skills

Experimental skills PR:

openai/skills#380

Current submitted branch:

chrystyan96:add-causal-halting-experimental -> openai:main

The current local package is v4.0 and includes the unified chc CLI, local package installability, end-to-end demo, operational CHC-0/CHC-1/CHC-2 checking, CHC-3 ProcessIR analysis, CHC-4 happens-before trace analysis, CHC-5 PredictionIR analysis, DesignIR v1.0 analysis, deterministic trace checking, OpenTelemetry/LangGraph/Temporal/Airflow adapters, identity-resolution metadata, validity-scope metadata, proof-obligation repair verification, repair certificates, schemas, a static viewer, a 100-case v4 evaluation corpus, a Lean proof track for core CHC-0/1/2/3/4/5 structural rules, and Markdown/Mermaid reports.

Codex Plugin Proposal

Official Codex plugin proposal package:

Publication drafts are intentionally kept outside the tracked repository.

Citation Status

No DOI has been minted yet.

Recommended next step:

  1. Create a GitHub release.
  2. Connect the repository to Zenodo.
  3. Mint a DOI for the released version.
  4. Add the DOI to this page and the repository README.