DelegationDelegación

DAC chains · attenuation · ADR-029
An agent can grant a SUBSET of its authority to another agent — signed with its own key, no human in the loop, no shared secrets. The chain is self-contained (each link embeds its parent) and the verifier enforces one invariant: authority only narrows downward. Effective scope and spending ceiling come from the intersection over the whole chain — never from what the presented credential claims. Revoke the root and everything downstream dies. Un agente puede otorgar un SUBCONJUNTO de su autoridad a otro agente — firmado con su propia clave, sin humano en el bucle, sin secretos compartidos. La cadena es autosuficiente (cada eslabón embebe a su padre) y el verificador impone una invariante: la autoridad solo se estrecha hacia abajo. El scope y el techo de gasto efectivos salen de la intersección de toda la cadena — nunca de lo que declara la credencial presentada. Revoca la raíz y todo lo descendiente muere. Step-by-step version → Learn · Delegation lessonVersión paso a paso → Aprende · lección de Delegación
The invariant — attenuationLa invariante — atenuación
1Signatures prove authenticity (who issued the link), never legitimacy (that they could grant it).Las firmas prueban autenticidad (quién emitió el eslabón), nunca legitimidad (que podía otorgarlo).
2scope ⊆ parent · amount ≤ parent · exp ≤ parent — any widening →cualquier ensanchamiento → authority_escalation.
3The verifier NEVER trusts the presented grant: it recomputes the effective authority by intersection, link by link, on EVERY verification — including the lifecycle of every link (tren L).El verificador NUNCA confía en el grant presentado: recalcula la autoridad efectiva por intersección, eslabón a eslabón, en CADA verificación — incluido el ciclo de vida de cada eslabón (tren L).
Build & break — the full arc, liveConstruye y rompe — el arco completo, en vivo
The guided builder drives the playground engine, which is not exposed on the public deployment — run the stack locally (make dev) for the full arc, or use the verifier below: it is live here. El constructor guiado usa el motor del playground, que no está expuesto en el despliegue público — levanta el stack en local (make dev) para el arco completo, o usa el verificador de abajo: ese sí está vivo aquí.
Verify any DAC — public verdictVerifica cualquier DAC — veredicto público
delegation.verified · livedelegation.verified · en vivo
Waiting… every verification lands here in real time.Esperando… cada verificación aterriza aquí en tiempo real.