feat: Initial release of Security Envelopes v1.0.0

Author: fraware

README.md

@@ -113,12 +113,12 @@ The testbed implements a complete end-to-end decision path with provable securit
 │ Observation │───▶  │   Retrieve   │───▶│    Plan     │───▶│   Kernel    │
 │             │      │  (Receipt)   │     │   (DSL)     │     │             │
 └─────────────┘      └──────────────┘     └─────────────┘     └─────────────┘
-                                                              │
-                                                              ▼
-┌─────────────┐    ┌──────────────┐    ┌─────────────┐    ┌─────────────┐
-│ Safety Case │◀───│    Egress    │◀───│ Tool Broker │◀───│  Decision  │
-│             │    │   (Cert)     │    │             │    │             │
-└─────────────┘    └──────────────┘    └─────────────┘    └─────────────┘
+                                                                   │
+                                                                   ▼
+┌─────────────┐    ┌──────────────┐    ┌─────────────┐      ┌─────────────┐
+│ Safety Case │◀───│    Egress    │◀───│ Tool Broker │◀───│  Decision   │
+│             │    │   (Cert)     │    │             │      │             │
+└─────────────┘    └──────────────┘    └─────────────┘      └─────────────┘
 ```
 
 ## Service Level Objectives (SLOs)
@@ -301,4 +301,4 @@ This project is licensed under the MIT License - see the [LICENSE](LICENSE) file
 
 **Built with ❤️ by the Provability Fabric community**
 
-For more information, visit [provability.fabric](https://github.com/fraware/provability-fabric).
+For more information, visit [provability.fabric](https://github.com/fraware/provability-fabric).