Skip to content

feat(cert): Sprint 2 — verificación pública + certificar en verde (el diferenciador)#61

Merged
gonzaloMorenoc merged 2 commits into
mainfrom
feat/mnemo-cert-publico-verde
Jul 2, 2026
Merged

feat(cert): Sprint 2 — verificación pública + certificar en verde (el diferenciador)#61
gonzaloMorenoc merged 2 commits into
mainfrom
feat/mnemo-cert-publico-verde

Conversation

@gonzaloMorenoc

Copy link
Copy Markdown
Owner

Contexto

Sprint 2 de la auditoría docs/auditoria/2026-07-02-siguiente-nivel/. Convierte el certificado firmado en algo que realmente cumple su tesis ("SLSA para QA"). Basado en main (independiente del Sprint 1, PR #60).

Cambios

D1 — Verificación PÚBLICA del certificado + clave pública

El diferenciador estaba anulado por su propia auth: POST /certificates/verify exigía login, así que un auditor/regulador/cliente-final no podía verificar nada. La verificación es criptografía pura (firma + payload + clave pública, nada secreto ni de ningún tenant).

  • POST /v2/certificates/verify ahora es público (sin get_current_user).
  • Nuevo GET /v2/certificates/pubkey (público) que sirve la clave pública Ed25519 para verificar offline. Declarado antes de /certificates/{run_id} para que la ruta estática gane (si no, {run_id}=pubkey lo capturaba → 401).

D2 — Certificar releases en VERDE (el caso central "pasó QA")

generate() y gate.publish() abortaban con "run sin veredictos de triaje" si no había fallos → un release donde todo pasa no emitía acta ni gate, justo el caso que un cliente quiere firmar. Ahora un run verde certifica como apto.

  • Se distingue "verde" de "sin triar" por el nº de fallos ingeridos (count_failures_for_run): 0 fallos = verde (apto); fallos > 0 sin veredictos = sin triar (ValueError) — no se certifica un run sin triar.
  • build_certificate/compute_verdict ya manejaban verdicts=[] (apto, risk_score=0, evidence=[]). El webhook ya enruta los runs verdes a generate/gate, así que funciona de punta a punta sin tocar el webhook.

Test plan

  • tests/test_api_v2_certificates.py: verify accesible sin auth (200), pubkey público (200 / 503 si no hay clave).
  • tests/test_certify_gate.py: run verde → success; run sin triar → ValueError.
  • tests/test_certify_service_aieval.py: green run → apto/evidence=[]; sin triar → ValueError.
  • 53 tests de certify/triage en verde; colección completa sin errores.

Pendiente (Sprint 2 restante, no en este PR)

  • D3/D4: invariante "IA nunca favorece" estructural + acta byte-reproducible (orden total, ai_eval fuera de la firma, JCS/RFC 8785). Requiere un cambio de canonicalización más profundo.
  • Página pública de verificación en el frontend + posicionamiento "SLSA para QA".

https://claude.ai/code/session_01X1fZebDm9ABFwLU2v3mq46

…pública (D1)

El diferenciador ("SLSA para QA": acta firmada verificable) estaba anulado por su
propia auth: POST /certificates/verify exigía login, así que un auditor/regulador/
cliente-final no podía verificar nada. La verificación es cripto pura (firma +
payload + clave pública, nada secreto ni de ningún tenant).

- POST /v2/certificates/verify ahora es PÚBLICO (sin get_current_user)
- GET /v2/certificates/pubkey (público) sirve la clave pública Ed25519 para
  verificar offline, declarado antes de /certificates/{run_id} (ruta estática gana)

Claude-Session: https://claude.ai/code/session_01X1fZebDm9ABFwLU2v3mq46
…(D2)

generate() y gate.publish() abortaban con "run sin veredictos de triaje" si no
había fallos → un release donde todo pasa no emitía acta ni gate: justo el caso
que un cliente quiere firmar. Ahora un run verde certifica como "apto".

Para no certificar un run SIN TRIAR como verde, se distingue por el nº de fallos
ingeridos (count_failures_for_run): 0 fallos = verde (apto); fallos > 0 sin
veredictos = sin triar (ValueError). build_certificate/compute_verdict ya
manejaban verdicts=[] (apto, risk_score=0, evidence=[]).

Claude-Session: https://claude.ai/code/session_01X1fZebDm9ABFwLU2v3mq46
@vercel

vercel Bot commented Jul 2, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
mnemo Ready Ready Preview, Comment Jul 2, 2026 3:54pm

@gonzaloMorenoc gonzaloMorenoc merged commit 30410a0 into main Jul 2, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant