P09-L06 · P09 · P09-M02
Construir grafo de evidencia y probar hipótesis alternativas de propiedad
Requisitos previos: P09-L05
Objetivos de aprendizaje
- Construir un grafo tipado de evidencia y cohorte reproducible.
- Comparar justamente hipótesis de control común y servicio compartido.
- Conciliar flujo interno/externo sin atribuir identidad.
Máster fuente EN · P09-L06 · 45 minutos estimados · needs_review
Por qué importa
Una agrupación puede ser conjunto de observaciones, grupo algorítmico o hipótesis de propiedad. Usar una palabra para los tres invita atribución sin respaldo. Financiación común, tiempos similares y uso compartido de aplicación pueden ser relaciones genuinas sin probar propietario humano común.
Esta lección construye grafo de evidencia, compara explicaciones y conserva aristas inciertas visibles. Evaluarás hipótesis por respaldo y pruebas faltantes, sin asignar confianza numérica de identidad sin calibración.
Explicación
Definir qué significa agrupación aquí
Empezar con regla explícita de pertenencia. «Direcciones que reciben fondos nativos de HUB en ventana W» define conjunto cofinanciado reproducible. «Direcciones controladas por una persona» es hipótesis más fuerte que exige evidencia independiente de control.
Nombrar el conjunto según su regla. Cohorte cofinanciada puede ser útil para inspección adicional sin ser agrupación de propiedad. Si no se divulga método de agrupación del proveedor, conservar resultado como afirmación de proveedor con mecanismo desconocido.
El grafo debe separar nodos de registro y entidad. Direcciones, programas y cuentas de tokens son objetos inspeccionables. Un nodo humano u organización necesita respaldo aparte. No crearlo para simplificar el diagrama.
Usar aristas tipadas y con fuentes
Cada arista necesita red, fuente, objetivo, tipo, activo/importe si corresponde, localizador de evento, contexto, resultado y cobertura. «Relacionado» es demasiado vago. Transferencia nativa, campo de autoridad compartido, derivación de programa y llamada a misma aplicación responden preguntas diferentes.
Las estructuras Solana distinguen instrucciones, firmantes y saldos [S09-STRUCTURES]. Aportan campos de mecanismo para inspeccionar aristas, no identidad humana incorporada. Una búsqueda de firmas solo descubre actividad de dirección referenciada bajo su alcance [S09-SIGNATURES].
En nodos mediados por programa, distinguir derivación de propiedad. Las PDA usan firma de programa, no clave privada [S09-PDA]. Un programa compartido puede procesar muchos usuarios independientes; derivar varias direcciones de un programa no fusiona beneficiarios por sí solo.
Separar observaciones e hipótesis
Dibujar aristas de movimiento exitoso suministrado como líneas continuas. Dibujar enlaces hipotéticos de control discontinuos con explicación. Una posible arista no disponible debe marcarse desconocida, no dibujarse como medida.
Cofinanciación observada respalda relación. Es compatible con control común, retiradas de custodia compartida, distribución pública, nómina u otro servicio común. No todas esas alternativas están probadas; muestran que la observación no determina exclusivamente propiedad.
Un traslado entre miembros puede reforzar una pregunta de coordinación, pero no identifica un controlador humano. Pago comercial, reembolso o encaminamiento de servicio también conectan direcciones independientes. Probar mecanismo en lugar de contar flechas como votos de identidad.
Evitar inflación de evidencia dependiente
«Mismo minuto», «cerca» y «mismo lote visible» pueden ser tres descripciones de una característica temporal. No contarlas como confirmaciones independientes. Financiación común y tiempos de misma fuente también pueden compartir operación subyacente.
Etiqueta de proveedor y etiqueta de interfaz copiada del mismo proveedor son dependientes. Dos pantallas no duplican evidencia de identidad. Agrupar esas afirmaciones por fuente anterior en el informe.
Este conjunto no justifica umbral fijo como «tres pistas significan mismo propietario». Un modelo calibrado necesita objetivo definido, referencia real representativa y análisis de errores. La lección usa estados cualitativos explícitos y solicitudes de evidencia falsables.
Comparar justamente explicaciones rivales
Escribir qué predice cada explicación y qué las distinguiría. Control común podría predecir evidencia de autorización compartida o gestión coordinada, pero actividad pública compartida no es exclusiva. Distribución por servicio podría predecir muchos destinatarios con conducta posterior diversa, pero un grafo parcial no establece esa población mayor.
Buscar evidencia que debilite interpretación preferida, no solo ejemplos compatibles. Falta de evidencia contraria en exportación incompleta no confirma. Si ningún registro suministrado distingue hipótesis, informarlas no resueltas.
Un hallazgo válido es «el conjunto respalda cohorte cofinanciada; propiedad humana insuficientemente demostrada». Es resultado analítico, no fallo de tarea. Indica al revisor dónde puede avanzar la investigación.
Preservar límites del grafo y cantidades
Transferencia dentro de cohorte mueve inventario entre nodos sin añadir financiación externa. Sumar todas las aristas mide movimiento bruto, no entrada externa ni saldos. Conciliar dentro de frontera declarada.
Si HUB envía 10 a cada uno de tres miembros y uno luego envía 2 a otro, financiación externa de cohorte es 30. Volumen bruto de aristas incluyendo transferencia interna es 32. Inventario permanece30 bajo modelo cerrado sin comisiones. Estas estadísticas tienen nombres distintos y no se sustituyen.
No fusionar vistas duplicadas de un evento. Conservar localizadores de P09-L02. Una arista de llamada no tiene cantidad sin efecto de valor distinto suministrado. Las llamadas de este ejercicio no transportan importe nativo adicional.
Informar relaciones sin atribución pública de identidad
Mantener etiquetas de proveedor, hipótesis de control y transferencias observadas en secciones distintas. Usar identificadores neutrales. Estatus comercial, riqueza aparente y popularidad no elevan estado de evidencia.
Ningún grafo autoriza señal de mercado ni acusación pública. No identificar persona real desde rutas de financiación ni inferir intención de actividad que parece coordinada. El fin educativo es un grafo auditable con alternativas, cobertura y siguientes comprobaciones.
Terminología
- Cohorte: conjunto seleccionado por regla de observación divulgada.
- Hipótesis de propiedad: control compartido propuesto que requiere evidencia separada.
- Arista tipada: relación con mecanismo explícito.
- Pista dependiente: evidencia que describe la misma observación subyacente.
- Entrada externa: movimiento que cruza hacia dentro de la frontera elegida.
- Evidencia discriminante: registro que distingue explicaciones rivales.
Ejemplo histórico
ILLUSTRATIVE — FIX-P09-06. SIM-CHAIN-A, T1–T5 sintéticos. Saldos nativos iniciales0 para W1/W2/W3. Efectos nativos listados completos; comisiones y otros efectos son0. Regla de cohorte: recibe 10 de HUB durante T1–T3.
| Registro | Operación exitosa suministrada |
|---|---|
| G1 | T1 HUB→W1,10 NATIVE |
| G2 | T2 HUB→W2,10 NATIVE |
| G3 | T3 HUB→W3,10 NATIVE |
| G4 | T4 W1→W2,2 NATIVE |
| G5 | T5 W1 llama a APP, valor0 |
| G6 | T5 W2 llama a APP, valor0 |
| L1 | proveedor etiqueta HUB «servicio de nómina»; fundamento ausente |
T1–T5 solo establecen orden sintético, no segundos reales. No se suministran firmas que prueben autoridad compartida, procedencia de nómina autenticada ni identidad humana. H1=controlador común; H2=servicio compartido/distribuidor público con destinatarios independientes.
Lo que demuestra la evidencia
OBSERVED en el conjunto: W1/W2/W3 comparten fuente inmediata de financiación; W1/W2 también interactúan con APP; hay movimiento interno de2 unidades.
INFERRED: los tres cumplen regla cofinanciada. Entrada externa 30, flujo interno2 y saldo final de cohorte 30 bajo hipótesis del modelo.
Lo que no demuestra la evidencia
UNKNOWN: propiedad humana, afiliación de nómina, conjunto más amplio de destinatarios HUB y semántica de autorización APP.
INSUFFICIENT EVIDENCE: ni H1 ni H2 está establecido exclusivamente. Financiación igual y orden sintético cercano no prueban control común; L1 no autentica identidad de nómina.
Errores comunes
Renombrar conjunto cofinanciado como propietario único; contar descripciones temporales como pistas independientes; dibujar aristas supuestas continuas; sumar movimiento interno a financiación externa; adoptar etiqueta de servicio para resolver hipótesis.
Ejercicio práctico
Construir grafo tipado y calcular saldos finales, entrada externa y volumen bruto de aristas nativas. Comparar H1/H2 con respaldo suministrado y una comprobación siguiente para cada una. Expresar si agrupación de propiedad humana puede informarse probada.
Mostrar corrección detallada
Corrección resuelta y razonamiento esperado
Aristas nativas continuas G1–G4; separar llamadas de valor cero G5/G6. L1 sigue anotación de proveedor, no nodo de entidad verificada. Cualquier enlace de control común es hipótesis discontinua.
Saldos finales: W1=10−2=8, W2=10+2=12, W3=10. Total30. Entrada externa 10+10+10=30; volumen bruto de aristas nativas30+2=32. Flujo interno no añade financiación.
Ambas hipótesis son compatibles con cofinanciación. H1 requiere evidencia de control compartido respaldada independientemente; H2 requiere mecanismo de servicio autenticado y registros relevantes de distribución más amplia. Ni ausencia de prueba de control compartido ni ausencia de nómina verificada prueba la hipótesis rival.
Informar cohorte cofinanciada, no propietario humano probado. Puntuación sobre diez: grafo tipado (tres), saldos y fronteras de flujo (tres), comparación justa de hipótesis (dos), hallazgo delimitado/solicitudes de evidencia (dos).
Lista de verificación
- Publicar regla de pertenencia.
- Tipar cada arista y dar su fuente.
- Separar relaciones medidas de hipótesis de control.
- Agrupar pistas dependientes por mecanismo.
- Conciliar flujos internos y que cruzan frontera.
- Probar alternativas y mantener atribución no resuelta.
Resumen
Un grafo útil de agrupación establece relaciones dejando propiedad no resuelta. Probar hipótesis requiere evidencia que distinga explicaciones.
Resumen
Financiación común no es propiedad común. Varias etiquetas temporales pueden ser una pista. Movimiento interno cambia asignación, no financiación externa de cohorte.
Especificaciones visuales
Grafo HUB→W1/W2/W3 con cantidades10 y W1→W2 cantidad2; aristas de llamada APP distintas y valor0. Aristas observadas continuas, posibilidades control/servicio H1/H2 discontinuas. Mostrar finales8/12/10, externo30 y bruto 32 con etiquetas separadas; L1 no verificado.
Cohorte cofinanciada ilustrativa; propiedad sigue no resuelta.
Usar SVG/HTML determinista o gráficos con unidades, localizadores de evidencia y alternativas textuales. Azul marino/negro con cian, azul eléctrico y violeta discretos; sin capturas decorativas o fabricadas de exploradores. A 390px apilar anotaciones; verificar 768px, escritorio y RTL árabe cuando se implementen los recursos. Mantener identificadores LTR y las direcciones fácticas de tiempo/aristas/ejes sin cambios. Usar únicamente la marca oficial BlockAssay suministrada. Ambos registros visuales siguen siendo especificaciones.
Herramientas
WALLET_INTELLIGENCE corresponde a la inspección de solo lectura de registros de direcciones públicas, relaciones y procedencia. Verificar red compatible, identificadores exactos, campos y cobertura antes de cualquier integración en ejecución; aquí no se afirma ninguna capacidad de proveedor en vivo. Usar el ejercicio sin conexión incluido si faltan datos o acceso de pago. No se requiere conexión de cartera, credenciales, clave privada, firma ni operación real de mercado. Los datos ausentes siguen desconocidos. El progreso Academy, estatus de creador, pagos y referidos nunca alteran la evidencia Radar.
Fuentes y límites de las afirmaciones
- Estructuras JSON del RPC Solana — Metadatos de resultado, comisión, instrucciones y saldos como vistas distintas. Comprobado el 2026-09-30.
- Solana getSignaturesForAddress — Historial de firmas que referencian la dirección, orden de más reciente a más antiguo y paginación. Comprobado el 2026-09-30.
- Direcciones Solana derivadas de programa — Direcciones derivadas de programa y firma del programa; sin clave privada de PDA. Comprobado el 2026-09-30.
Todos los registros de ejemplo son conjuntos originales ILLUSTRATIVE, no mediciones históricas/en vivo de la cadena. La documentación explica mecanismos, no importes ni etiquetas inventados. La cronología sintética está explícitamente delimitada; observedAt=null es intencional. OBSERVED en un ejercicio significa un registro suministrado del conjunto. Revisar nuevamente la documentación y la decodificación desplegada antes de publicar. Las etiquetas de proveedor no establecen identidad; el control de direcciones y la atribución humana requieren evidencias distintas.
Lección siguiente
P09-L07 después del ejercicio resuelto y la revisión de preguntas.
Especificaciones visuales
P09-L06-V01
¿Qué relaciones se observan y qué explicación de propiedad sigue hipotética?
Cohorte cofinanciada ilustrativa; propiedad sigue no resuelta.
Grafo HUB→W1/W2/W3 con cantidades10 y W1→W2 cantidad2; aristas de llamada APP distintas y valor0. Aristas observadas continuas, posibilidades control/servicio H1/H2 discontinuas. Mostrar finales8/12/10, externo30 y bruto 32 con etiquetas separadas; L1 no verificado.
Tres direcciones reciben10 cada una de HUB; flujo interno2 reasigna a 8/12/10; llamadas de aplicación y etiqueta de servicio no prueban control humano compartido.
390px: anotaciones apiladas y equivalente textual accesible; verificación a 768px/en escritorio pendiente
Etiquetas/diseño RTL nativos; identificadores LTR; conservar tiempo, eje numérico y dirección de transferencia.
FIX-P09-06
P09-L06-V02
¿Qué está observado, inferido, desconocido o insuficientemente respaldado?
Estados de evidencia ilustrativos y límites de atribución.
Cuatro filas etiquetadas vinculadas a los identificadores de registro, afirmación, limitación y siguiente comprobación de esta lección; nunca mostrar una identidad humana ni un veredicto de seguridad.
Tabla de cuatro estados de evidencia con localizadores de registro e incertidumbre.
390px: anotaciones apiladas y equivalente textual accesible; verificación a 768px/en escritorio pendiente
Etiquetas/diseño RTL nativos; identificadores LTR; conservar tiempo, eje numérico y dirección de transferencia.
FIX-P09-06
Fuentes y límites de las afirmaciones
S09-STRUCTURES · official_documentation_or_standard
Estructuras JSON del RPC Solana
- Afirmación respaldada
- Metadatos de resultado, comisión, instrucciones y saldos como vistas distintas.
- Límite de verificación
- Página primaria inspeccionada; no se verificaron de forma independiente valores del registro ilustrativo ni etiquetas de entidades.
- Fecha de verificación
- 2026-09-30
https://solana.com/docs/rpc/json-structures
S09-SIGNATURES · official_documentation_or_standard
Solana getSignaturesForAddress
- Afirmación respaldada
- Historial de firmas que referencian la dirección, orden de más reciente a más antiguo y paginación.
- Límite de verificación
- Página primaria inspeccionada; no se verificaron de forma independiente valores del registro ilustrativo ni etiquetas de entidades.
- Fecha de verificación
- 2026-09-30
https://solana.com/docs/rpc/http/getsignaturesforaddress
S09-PDA · official_documentation_or_standard
Direcciones Solana derivadas de programa
- Afirmación respaldada
- Direcciones derivadas de programa y firma del programa; sin clave privada de PDA.
- Límite de verificación
- Página primaria inspeccionada; no se verificaron de forma independiente valores del registro ilustrativo ni etiquetas de entidades.
- Fecha de verificación
- 2026-09-30
https://solana.com/docs/core/pda
Procedencia de datos
id: FIX-P09-06
dataStatus: ILLUSTRATIVE
observedAt: null
source: Original frozen educational records embedded in this lesson
scope: Closed fictional co-funded cohort, internal transfer, zero-value app calls and unverified label.
identifiers: Invalid training labels; no usable addresses or signatures
timeBasis: Synthetic S/T or SIM-DAY markers explicitly defined in example; no real ledger/UTC observation