403. Objetivo de aprendizaje
Al terminar esta lección, podrás escribir una invariante de economía precisa que una partida o una comprobación puedan refutar.
Este es un ejercicio hipotético de sistemas económicos. No es el tema verificado de progresión Survival de CONTRABAND, ni historia de producción, ni evidencia de una economía de CONTRABAND.
404. Por qué importa
Una economía resulta más fácil de revisar cuando una de sus promesas se expresa como un contrato de transacción comprobable. Un valor mostrado puede parecer correcto aunque el saldo cambie por una cantidad equivocada, cambie dos veces o no cambie. La invariante conecta la regla prevista con evidencia que permite respaldarla o cuestionarla.
405. Conocimientos previos
Debes haber completado 1.9 L1 — Fuentes y sumideros y 1.9 L2 — El precio mostrado no es la regla.
Tu mapa económico de L1 debe identificar:
- un recurso;
- al menos una fuente y un sumidero;
- la cantidad asociada a cada flujo mapeado;
- el activador de cada transacción; y
- una decisión afectada por el saldo resultante.
A partir de L2, debes poder distinguir un valor mostrado de la regla de simulación que modifica el saldo. Esta lección usa la regla registrada en tu mapa de L1, no una economía prefijada.
406. Concepto central
Una invariante de economía es una afirmación que debe seguir siendo cierta siempre que se cumpla una condición concreta. En esta lección describe una sola transacción: una fuente o un sumidero.
Una invariante útil contiene tres partes:
- Condición: el evento mapeado que activa la transacción.
- Resultado: la cantidad exacta que se añade al saldo del recurso o se retira de él.
- Detección: un resultado observable que demostraría que el contrato se ha incumplido.
Puedes usar esta estructura:
Cuando ocurre [activador mapeado], el saldo de [recurso] cambia exactamente en [cantidad mapeada]. Un cambio distinto, ausente o duplicado incumple la invariante.
Esta formulación es más precisa que «la recompensa parece justa». Tampoco depende de una etiqueta, un multiplicador, un umbral de progresión ni una condición de desbloqueo.
407. Modelo mental: CONDICIÓN → RESULTADO → DETECCIÓN
| Parte | Pregunta | Respuesta derivada del mapa |
|---|---|---|
| Condición | ¿Qué único activador inicia la transacción? | El activador de la fuente o el sumidero registrado en L1 |
| Resultado | ¿Qué cambio exacto debe producirse en el saldo? | La cantidad mapeada que se añade o se retira |
| Detección | ¿Qué observación refutaría la regla? | Una modificación ausente, incorrecta o duplicada |
Mantén la invariante acotada. Si eliges una fuente, no añadas el sumidero a la misma invariante. Más adelante puedes escribir otra para el sumidero.
408. Ejemplo concreto
Supón que un mapa de L1 identifica el combustible como recurso y registra esta regla de fuente: completar una entrega añade exactamente 4 unidades de combustible.
Una invariante centrada sería:
Cuando se registra la finalización de una entrega válida, el saldo de combustible aumenta exactamente en 4. Un aumento de otra cantidad, la ausencia de aumento o más de un aumento provocado por esa finalización incumplirían la invariante.
Una observación controlada podría comenzar con 6 unidades de combustible. Después de completar una entrega válida, el saldo esperado sería 10:
6 + 4 = 10
El ejemplo solo modela la transacción de la fuente. El coste de una ruta u otro sumidero necesitaría su propia invariante. Sustituye el ejemplo por el recurso, el activador y la cantidad de tu mapa de L1.
409. Ensayo: ACTUAR → RESPONDER → CAMBIAR → OTRA VEZ
Usa la secuencia como una comprobación controlada de la transacción:
- ACTUAR: registra el saldo actual y activa una vez la fuente o el sumidero elegido.
- RESPONDER: registra el saldo resultante y cualquier evidencia disponible de la transacción.
- CAMBIAR: compara el cambio observado con el cambio exacto indicado en el mapa.
- OTRA VEZ: comprueba un segundo caso controlado con una transacción válida nueva.
Repetir una acción válida independiente suele crear otra transacción válida. Por sí solo, eso no comprueba la protección contra duplicados. Si la regla mapeada incluye de forma explícita identificadores de transacción o tratamiento de duplicados, revisa si un único activador o identificador produjo más de una modificación del saldo. No inventes esa protección si no aparece en el mapa.
410. Flujo de trabajo con IA
Usa la IA como editora del contrato, no como autoridad sobre la economía:
- Redacta la invariante a partir de tu mapa de L1 sin ayuda de la IA.
- Proporciona el recurso, la fuente o el sumidero elegido, el activador y la cantidad mapeada.
- Pide a la IA que detecte condiciones ambiguas, efectos de saldo ausentes y posibles observaciones que refuten la regla.
- Rechaza cualquier sugerencia que introduzca mecánicas que no estén en el mapa.
- Conserva únicamente la redacción que puedas justificar con tu evidencia.
Puedes usar este prompt:
Revisa esta invariante de economía comparándola con el mapa proporcionado. Identifica la condición, el cambio exacto del saldo y la observación que podría refutarla. Señala expresiones ambiguas o mecánicas sin respaldo. No añadas valores de interfaz, multiplicadores, umbrales de progresión, desbloqueos ni reglas de transacción nuevas.
411. Errores comunes
Combinar varios contratos
Una fuente y un sumidero pueden pertenecer al mismo bucle económico, pero son transacciones distintas. Modela solo una de ellas en esta invariante.
Describir una preferencia
«Los jugadores deberían ganar lo suficiente» expresa una preferencia de diseño. No indica un activador, un cambio exacto ni una observación que pueda refutarla.
Tratar la interfaz como si fuera la regla
Una etiqueta puede ser correcta aunque la modificación del saldo sea incorrecta. Usa los saldos anterior y posterior a la transacción como evidencia de la regla de simulación.
Importar una regla sin respaldo
No añadas multiplicadores, restricciones sobre intentos repetidos, umbrales, desbloqueos ni protección contra duplicados salvo que aparezcan de forma explícita en el mapa que estás revisando.
412. Práctica guiada
Elige una fuente o un sumidero de tu mapa económico de L1. No combines ambos.
Escribe una invariante que indique:
- el recurso concreto;
- un activador mapeado;
- la cantidad exacta que se añade o se retira;
- el cambio esperado del saldo; y
- un resultado observable que refutaría el contrato.
Después, crea una tabla breve de evidencia:
| Evidencia | Registro |
|---|---|
| Fuente o sumidero elegido | Nombre usado en L1 |
| Activador | Evento exacto registrado en el mapa |
| Saldo anterior | Valor observado |
| Cambio esperado | Cantidad mapeada con signo + o - |
| Saldo posterior esperado | Saldo anterior más el cambio esperado |
| Saldo posterior observado | Valor observado |
| Observación que refutaría la regla | Una modificación concreta ausente, incorrecta o duplicada |
Indica también qué decisión de L1 se ve afectada por el saldo resultante. Esto conserva la trazabilidad con el mapa, pero no convierte esa decisión en una afirmación sobre progresión o desbloqueos.
413. Validación y evidencia
Entrega la invariante y la evidencia de los saldos anterior y posterior mediante la evaluación práctica asociada.
Una invariante completa:
- se puede rastrear hasta el recurso, el activador y la cantidad registrados en L1;
- cubre una fuente o un sumidero, no ambos;
- expresa un cambio exacto del saldo;
- incluye evidencia anterior y posterior a la transacción;
- identifica una observación capaz de refutarla; y
- excluye afirmaciones sobre pantallas, multiplicadores, umbrales y desbloqueos.
414. Comprobación de conocimientos
Usa el cuestionario para comprobar si distingues una invariante derivada del mapa de una preferencia imprecisa, si reconoces evidencia válida de una transacción y si puedes identificar una observación que refute el contrato.
415. Ideas clave
- Una invariante de economía expresa lo que debe seguir siendo cierto bajo una condición concreta.
- Modela una fuente o un sumidero cada vez.
- Indica el cambio exacto del saldo con la cantidad registrada en el mapa de L1.
- Comprueba un activador mapeado con evidencia anterior y posterior a la transacción.
- Una observación de refutación debe poder demostrar que la regla ha fallado.
- Los valores mostrados, multiplicadores, umbrales y desbloqueos quedan fuera de este contrato de transacción.
416. Siguiente lección
Continúa con 1.10 — Progresión, donde expresarás un desbloqueo como un predicado explícito.
417. Comprobación
Responde estas preguntas por tu cuenta antes de leer las respuestas.
¿Qué afirmación tiene la estructura necesaria de una invariante de economía centrada?
Mostrar respuesta y explicación
Respuesta: Cuando ocurre el activador mapeado de la fuente, el saldo del recurso indicado aumenta exactamente en la cantidad registrada; un aumento ausente, distinto o duplicado incumple la regla.
Por qué: La afirmación correcta nombra un activador, un efecto exacto sobre el saldo derivado del mapa y observaciones que podrían refutar el contrato de transacción.
¿Qué evidencia comprueba de forma más directa una invariante de transacción derivada del mapa?
Mostrar respuesta y explicación
Respuesta: El saldo anterior, un activador mapeado, el cambio esperado y el saldo posterior observado.
Por qué: Los saldos anterior y posterior a un activador mapeado permiten comprobar si el cambio observado coincide con la regla exacta de la transacción.
El mapa indica que un sumidero retira la cantidad S del recurso R cuando ocurre el activador T. ¿Qué observación refutaría esa invariante?
Mostrar respuesta y explicación
Respuesta: Después de T, el cambio observado del saldo no es −S.
Por qué: Si ocurre el activador T y el cambio observado no coincide con el valor mapeado −S, el contrato de transacción se ha incumplido.
¿Qué dos afirmaciones deben quedar fuera de la invariante de transacción centrada de esta lección?
Mostrar respuesta y explicación
Respuesta: Un multiplicador mostrado.; Un umbral de desbloqueo.
Por qué: Esta invariante comprueba una modificación concreta del saldo. Los multiplicadores mostrados y los umbrales de desbloqueo pertenecen a contratos distintos de interfaz o progresión.