Private verification workspace
Una decisión que se puede volver a ejecutar.
AMate convierte una corrida técnica compleja en una decisión reproducible, firmada y auditable.
Este piloto usa el control plane Rust existente. Cuando está levantado, la interfaz deja de ser una maqueta y crea una corrida, ejecuta el runner, genera evidencia y descarga el bundle.
0workspaces reales visibles
0corridas en el workspace
-evidence bundle de la última corrida
LIVE CONTROL PLANE
not connectedLoading workspace...
run_not_loaded
-decision marginminimum clearance · verified
Recipe: not loaded
Policy: not loaded
Control plane
Del input a la decisión.
El cliente habla directamente con el backend Rust. El alcance por tenant se mantiene en cada request y los estados se actualizan desde la API.
1Control plane conectado
2Run creado y encolado
3Runner certificado ejecutado
4Evidence bundle generado
5Lineage y descarga verificables
Run detail
Una corrida, todos sus hechos.
La ejecución actual usa el runner exacto de seguridad lineal cuando el manifest declara `linear-safety-exact-v1`. El resultado se persiste en el backend y se puede volver a consultar.
| Campo | Valor | Estado |
|---|---|---|
| Cargando... | ||
Evidence room
La decisión deja un paquete revisable.
El bundle real contiene manifest, certificate, interval bounds, residual report, bundle index, attestation y receipt cuando están configurados.
BUNDLE
Artifacts
manifest.jsonrecipe, parameters and thresholdsSHA-256
certificate.jsondecision-grade certificateRUNNER
bundle_index.jsonhash per artifactINDEX
LINEAGE
Context
workspacenot loadedSCOPED
runnot loadedLOGGED
policynot loadedREVIEW
EXPORT
Buyer view
La descarga usa el alcance del tenant en el request y no expone un ZIP sin autorización.
Límite honesto:este piloto ejecuta el benchmark certificado configurado; no declara cobertura universal de sistemas no lineales ni sustituye auditoría externa.
Honest scope
Qué es realmente funcional hoy.
Esta ruta ya no es una animación: tiene API, persistencia local JSON, runner, evidencia y descarga. Postgres, auth fuerte y multi-tenant de producción siguen siendo el siguiente hardening.
Control planeAxum, tenant scope, workspaces, recipes, policies y runs.
Execution planeRunner exacto con timeout, logs limitados y estado terminal.
Trust planeSHA-256, Ed25519, transparency receipt y lineage.
Pilot boundaryPrivado, local o en un entorno controlado, no aún WebPKI público.