machine-readable-specification

Here are 2 public repositories matching this topic...

attractor-set / ASET

ASET is an open, implementation-neutral compatibility standard for Authority-Seeded Evidence Trails, with machine-readable conformance and formally verified Seed semantics.

provenance authorization interoperability model-checking formal-methods formal-verification evidence audit-trail tla-plus aset trust-framework sociotechnical-systems conformance-testing open-specification implementation-neutral machine-readable-specification verifiable-accountability authority-seeded-evidence-trails compatibility-standard

Updated Aug 7, 2026
Python

attractor-set / aset-network-extension

Star

Machine-readable ASET extension for federated and metafederated interaction between sovereign contexts, preserving local authority, policy, state, and recognition.

distributed-systems json-schema interoperability formal-methods network-extension aset policy-enforcement conformance-testing federated-governance federated-systems context-governance trust-boundaries machine-readable-specification aset-seed metafederation sovereign-contexts

Updated Aug 6, 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