P03-L04 · P03 · P03-M01
Inspeccionar destinatario del permiso de gasto, importe y límites de revocación
Requisitos previos: P03-L03
Objetivos de aprendizaje
- Inspeccionar destinatario del permiso de gasto, importe y límites de revocación
- Leer tuplas completas de permisos de gasto y sus contextos.
- Acotar un estado cero sin afirmar que se restablecieron todas las autorizaciones.
Máster de origen EN · P03-L04 · needs_review
Solo estudio sin conexión/de solo lectura. Nunca facilite secretos, contraseñas ni códigos de autenticación. Sin conexión de cartera, aprobación real, revocación en vivo, firma de transacción, transferencia, fondos ni operación. Los recursos visuales son solo especificaciones.
Por qué importa
Los permisos son específicos de activo/destinatario del permiso de gasto/contexto. Un permiso de gasto cero puede respaldar un resultado útil mientras otros tokens y autorizaciones firmadas siguen sin resolver.
Explicación
Nombrar la tupla completa
ERC-20 describe la semántica de allowance, approve y transferFrom [ERC20]. Una fila de permiso necesita red, token, propietario, destinatario del permiso de gasto y contexto de observación. Un token distinto es un permiso distinto aunque el destinatario mostrado sea idéntico.
Leer el estado en lugar de etiquetas de sesión
R1/R3 muestran la misma tupla en dos contextos estipulados. R2 muestra una desconexión de interfaz; no describe un cambio de estado del contrato de token. Una revocación solicitada, una acción enviada y el estado resultante serían etapas separadas de evidencia. R3 se proporciona sin conexión; el alumno no debe enviar una revocación en vivo.
R4 se refiere a TOKEN-B y no puede fusionarse con la fila de TOKEN-A. Informar solo del cero tranquilizador omitiendo la otra fila perdería alcance relevante. Conserve ambos valores y explique a qué pregunta responde cada uno.
Mantener sin resolver las autorizaciones firmadas cuando sea necesario
Un permit tiene semántica separada de firma/nonce/deadline bajo las reglas aplicables del contrato [PERMIT]. R5 omite deliberadamente su relación con el estado actual de nonce/consumo. Un permiso de gasto cero no establece que toda firma pendiente quede invalidada. El seguimiento necesario son las reglas aplicables y el estado pertinente, no otra transacción en vivo en el aula.
Un estado de permiso de gasto tampoco revierte una transferencia previa ni establece que un propietario nunca expuso material de recuperación. Inventario de permisos y exposición de capacidad de firma son preguntas distintas de investigación.
Indicar resultados limitados
OBSERVED: valores del conjunto ficticio y estado de sesión. INFERRED: cambio de la tupla seleccionada de 100 a cero. UNKNOWN: inventario completo de permisos y viabilidad de R5. INSUFFICIENT EVIDENCE: «todos los activos están a salvo». Una conclusión acotada nombra la tupla seleccionada en H12 y deja las filas separadas sin resolver.
Terminología
- Permiso de gasto: valor de permiso con alcance definido.
- Destinatario del permiso de gasto: rol aplicable de autorización.
- Evidencia de revocación: estado resultante del permiso en un contexto.
- Cobertura: filas de permisos realmente proporcionadas.
Ejemplo histórico
ILLUSTRATIVE, tarjetas. R1 SIM-N/TOKEN-A/OWNER-X/SPENDER-Y en SIM-H10, permiso de gasto 100 unidades enteras del conjunto ficticio. R2 interfaz desconectada en T1. R3 misma tupla H12, permiso de gasto 0. R4 TOKEN-B/mismo propietario/destinatario del permiso de gasto H12, permiso de gasto 80. R5 resumen de permit TOKEN-A con relación con nonce/consumo actual UNKNOWN. Sin aprobación, firma ni transacción real.
Especificaciones visuales
Matriz de tupla/contexto. R1→R3 es una comparación seleccionada; R4 sigue en 80, R5 desconocido. Colocar R2 en una fila de sesión sin vínculo automático con estado de cadena.
Lo que demuestra la evidencia
Estados seleccionados del conjunto ficticio y comparación con alcance definido.
Lo que no demuestra la evidencia
Revocación en vivo, restablecimiento completo de permisos, invalidación de todos los permits, reversión de pérdidas o seguridad garantizada.
Errores comunes
- Llamar revocación a la desconexión.
- Generalizar un cero a todos los tokens.
- Suponer que un estado cero cancela toda firma.
Ejercicio práctico
Construya filas de permisos R1/R3/R4. Explique los límites de R2 y R5. Reescriba «desconexión y cero hacen que todos los activos estén a salvo».
Entregue una tabla y una conclusión acotada usando solo el material sin conexión proporcionado. Distribución editorial del tiempo: estudio 12 min, ejercicio 8 min, corrección/cuestionario 10 min.
Mostrar corrección detallada
La tupla seleccionada de TOKEN-A es 100 en H10 y cero en H12. TOKEN-B sigue en 80. R2 demuestra solo desconexión de interfaz. Viabilidad de R5 UNKNOWN hasta obtener reglas/estado. Seguridad amplia INSUFFICIENT EVIDENCE. Informe del alcance exacto y la cobertura ausente sin operaciones en vivo.
Rúbrica: alcance exacto, procedencia de fuente, razonamiento, límites explícitos y manejo seguro sin conexión, un punto cada uno. Las observaciones inventadas o atribuciones de identidad sin respaldo requieren corrección con independencia de la puntuación. Solo formativo.
Lista de verificación
- Tupla/contexto completos.
- Sesión y estado separados.
- Solicitudes y resultados separados.
- Mantener distintos los tokens distintos.
- Nombrar los huecos de firmas pendientes.
Resumen
Un resultado de permisos depende del contexto. Desconexión y un permiso de gasto cero no establecen un restablecimiento integral de autorizaciones ni seguridad de activos.
Resumen
- Inspeccionar destinatario del permiso de gasto, importe y límites de revocación
- Leer tuplas completas de permisos de gasto y sus contextos.
- Acotar un estado cero sin afirmar que se restablecieron todas las autorizaciones.
Lección siguiente
P03-L05 después de revisar el prerrequisito y la corrección.
Herramientas
NONE en el catálogo autorizado. Los datos sin conexión proporcionados bastan; no se requiere comprar un producto ni operar con una cartera.
Fuentes y límites de las afirmaciones
- [ERC20] Estándar de token ERC-20 — approve, allowance y transferFrom para interfaces conformes.
- [PERMIT] ERC-2612: aprobaciones firmadas — Autorización de permiso de gasto mediante permit con owner, spender, value, nonce y deadline.
La documentación explica mecanismos. Los registros históricos conservan su clase de fuente declarada. La inspección de fuentes no es aceptación editorial independiente.
Especificaciones visuales
P03-L04-V01
Inspeccionar destinatario del permiso de gasto, importe y límites de revocación
ILLUSTRATIVE, tarjetas saneadas sin conexión, no una pantalla en directo
Matriz de tupla/contexto. R1→R3 es una comparación seleccionada; R4 sigue en 80, R5 desconocido. Colocar R2 en una fila de sesión sin vínculo automático con estado de cadena.
Matriz de tupla/contexto. R1→R3 es una comparación seleccionada; R4 sigue en 80, R5 desconocido. Colocar R2 en una fila de sesión sin vínculo automático con estado de cadena.
390px: tarjetas apiladas/equivalente textual; aceptación del renderizado a 768px y en escritorio pendiente
Prosa RTL; identificadores aislados en LTR; conservar las direcciones factuales de los enlaces
FIX-P03-L04
Fuentes y límites de las afirmaciones
ERC20 · PRIMARY_DOCUMENTATION
Estándar de token ERC-20
- Afirmación respaldada
- approve, allowance y transferFrom para interfaces conformes.
- Límite de verificación
- Fuente primaria inspeccionada para el mecanismo asociado o declaración atribuida; sin autenticación de datos ilustrativos.
- Fecha de verificación
- 2026-10-01
https://eips.ethereum.org/EIPS/eip-20
PERMIT · PRIMARY_DOCUMENTATION
ERC-2612: aprobaciones firmadas
- Afirmación respaldada
- Autorización de permiso de gasto mediante permit con owner, spender, value, nonce y deadline.
- Límite de verificación
- Fuente primaria inspeccionada para el mecanismo asociado o declaración atribuida; sin autenticación de datos ilustrativos.
- Fecha de verificación
- 2026-10-01
https://eips.ethereum.org/EIPS/eip-2612
Procedencia de datos
id: FIX-P03-L04
dataStatus: ILLUSTRATIVE
source: Original embedded offline cards; no real observations
observedAt: null
timeBasis: SIM/T markers are fictional order, not UTC timestamps