Skip to content
#

machine-readable-specification

Star

Here is 1 public repository matching this topic...

attractor-set / aset-seed

Star 3

ASET Seed is the minimal implementation-neutral semantic kernel of ASET Alpha (Local Recognition Algebra), with independently authored operational, relational, and causal representations, formal assurance, mechanically checked three-way congruence, and reproducible release identity.

forth formal-methods petri-net formal-verification reproducible-builds abstract-machine semantic-interoperability open-standard tla-plus aset specification-first conformance-testing semantic-algebra causal-model implementation-neutral machine-readable-specification aset-seed authority-seeded-evidence-trail local-recognition three-way-assurance
  • Updated Aug 13, 2026
  • Python

Improve this page

Add a description, image, and links to the machine-readable-specification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the machine-readable-specification topic, visit your repo's landing page and select "manage topics."

Learn more