An open API service indexing awesome lists of open source software.

https://github.com/inaciovasquez2020/capacity-locality-certification

Capacity–Locality Certification — executable certification framework validating systems against capacity bounds and locality constraints.
https://github.com/inaciovasquez2020/capacity-locality-certification

capacity-locality certification executable-certificates formal-methods information-theory locality reproducible-research unified-rigidity-framework verification

Last synced: about 2 months ago
JSON representation

Capacity–Locality Certification — executable certification framework validating systems against capacity bounds and locality constraints.

Awesome Lists containing this project

README

          

Capacity-Locality-Certification

Purpose
CI-grade certificate schemas and verifiers for capacity-locality style claims and finite-dimensional surrogates.

Layout
- schemas/: JSON Schemas for certificates
- examples/: signed example certificates
- tools/: verification scripts
- docs/: protocol and boundary statements

Integration
- Intended to be consumed by urf-verifier as an external schema pack
- Compatible with CI-only validation and offline verification

![CI](https://github.com/inaciovasquez2020/capacity-locality-certification/actions/workflows/ci.yml/badge.svg)