External AD proof backend command for GATL derivative golden fixtures
-
Updated
Jun 17, 2026 - Rust
#
gatl
Here are 9 public repositories matching this topic...
Strong-static GATL language core for governed, traceable AI coding transaction artifacts.
-
Updated
Jun 17, 2026 - Rust
External production activation kit for GATL evidence store, sandbox, policy, merge gate, signing, transparency, and proof environment checks
-
Updated
Jun 17, 2026 - Rust
External GATL trusted proof-bundle signer command for production proof gate readiness
-
Updated
Jun 17, 2026 - Rust
External runtime TDA adapter commands for GATL production activation
-
Updated
Jun 17, 2026 - Rust
External GATL reference-monitor harness for governed plan, intent, approval, sandbox, and evidence-log checks
-
Updated
Jun 17, 2026 - Rust
External numeric AD check harness for GATL risk-model artifacts
-
Updated
Jun 17, 2026 - Rust
External runtime TDA JSONL baseline and drift analysis harness for GATL artifacts
-
Updated
Jun 17, 2026 - Rust
External proof-result normalization and comparison tool for GATL proof target fixtures
-
Updated
Jun 17, 2026 - Rust
Improve this page
Add a description, image, and links to the gatl topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the gatl topic, visit your repo's landing page and select "manage topics."