Transaction interpretation
Decodificación de solicitudes, alcance de autoridad, contexto de destino e incertidumbre alrededor de SafeSign y Security Core.
Este índice reúne líneas de investigación visibles en el repositorio o conectadas directamente con trabajo activo. Una nota de diseño es una nota; un scaffold es un scaffold. No se llama peer-reviewed, auditado o publicado a nada sin evidencia de ese estado.
La frontera útil separa idea, especificación, prototipo y capacidad de producción. Aquí se mantienen visibles sin mezclar esas etapas.
Decodificación de solicitudes, alcance de autoridad, contexto de destino e incertidumbre alrededor de SafeSign y Security Core.
Límites de interceptación en navegador para requests de wallet, incluido wrapping en page-context y preferencias locales en Guard.
Conceptos de preview PSBT y route intelligence Bitcoin, separando firma/ejecución del análisis actual.
Educación de seguridad mediante labs de approvals, typed data, Permit2, phishing, proxies, divergencia de simulación e incident response.
Las etiquetas públicas son afirmaciones. Por eso el sitio usa estados conservadores y enlaza código, documentación y proyectos en lugar de inventar identificadores de papers.
IDEA — dirección en estudio; no es capacidad implementada.
SPEC / NOTE — comportamiento o restricción documentada; no implica peer review.
SCAFFOLD / PROTOTYPE — existe código, pero pueden faltar build, integración o validación productiva.
PRODUCT SURFACE — capacidad visible con límite de confianza separado del trabajo futuro.
Cada línea debe definir amenaza, hipótesis, artefacto de prueba y gate de evidencia antes de permitir un claim más fuerte.
Prueba si la autoridad decodificada excede materialmente la acción declarada.
Modela estado mutable y rutas condicionales que separan simulación benigna de ejecución real.
Cuantifica duración y blast radius de approvals, Permit y Permit2.
Cada línea debe definir amenaza, hipótesis, artefacto de prueba y gate de evidencia antes de permitir un claim más fuerte.
{
"threat":"simulation divergence",
"hypothesis":"mutable execution context can invalidate benign previews",
"artifact":"fixture-suite/simulation-divergence",
"status":"prototype"
}{
"allowed":"prototype demonstrates selected divergence cases",
"notAllowed":["audited","peer-reviewed","complete protection"],
"evidenceRequired":["reproducible tests","independent review"]
}Ningún título de paper, audit label o validation claim sin artefacto inspeccionable o evidencia independiente.