CITATION.cff

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
type: software
title: "Ephapax"
abstract: "Research language exploring dyadic linear/affine typing, region-based allocation, and WebAssembly. Includes Coq and Idris2 proof artifacts; current counterexamples refute unrestricted legacy and L1 preservation, no unconditional L2 preservation theorem is established, and implementation refinement remains unproved."
authors:
  - family-names: "Jewell"
    given-names: "Jonathan D.A."
    orcid: "https://orcid.org/0000-0002-3078-6652"
repository-code: "https://github.com/hyperpolymath/ephapax"
keywords:
  - "coq"
  - "agda"
  - "programming-language"
  - "epistemic-computing"
  - "epistemic-infrastructure"
  - "equivalence-aware-computing"
  - "hyperpolymath"
  - "language-design"
  - "linear-types"
  - "open-source"
  - "research-software"
  - "rust"
  - "typed-provenance"
  - "veridical-computing"
  - "substructural-typing"
  - "wasm-memory-safety"
  - "formal-verification"
  - "idris2"