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 14, 2026 - Python