#

aset-runtime

Here is 1 public repository matching this topic...

attractor-set / aset-runtime

ASET Runtime is the bounded execution lifecycle extension for ASET Seed. Execution may produce material; recognition remains local to Seed.

runtime interoperability model-checking formal-methods petri-nets assurance formal-verification tla-plus aset tlaps conformance-testing deterministic-builds open-specification bounded-execution authority-seeded-evidence-trails aset-runtime execution-lifecycle

Updated Aug 18, 2026
Python

Add this topic to your repo

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