https://delgado.fyi/https://delgado.fyi/about/https://delgado.fyi/blog/https://delgado.fyi/blog/measurement-and-claims/https://delgado.fyi/blog/resolution-and-authority/https://delgado.fyi/blog/spains-post-quantum-gap/https://delgado.fyi/contact/https://delgado.fyi/papers/https://delgado.fyi/papers/auditing-loose-scoring-ifeval/https://delgado.fyi/papers/cage-causal-authorization-graph-enforcement/https://delgado.fyi/papers/circuit-certificates-mechanistic-interpretability/https://delgado.fyi/papers/intent-bound-webauthn-recovery/https://delgado.fyi/papers/pq-acme-enrollment-plane/https://delgado.fyi/papers/pq-tls-observability-evidence-framework/https://delgado.fyi/papers/pq-x509-assurance-ml-kem-ml-dsa/https://delgado.fyi/papers/score-is-not-circuit/https://delgado.fyi/papers/subgoalcalc-lean-decomposition/https://delgado.fyi/papers/verifiable-decapsulation-tests-fo-kems/https://delgado.fyi/projects/https://delgado.fyi/projects/agentic-eval-harness/https://delgado.fyi/projects/dnssec-boundary-lab/https://delgado.fyi/projects/formal-stack-models/https://delgado.fyi/projects/pq-tls-observatory/https://delgado.fyi/projects/research-artifact-workbench/https://delgado.fyi/projects/webauthn-recovery-study/https://delgado.fyi/projects/x509-pqc-assurance/