Un mapa no es el estado del mundo

827. Identidad de la lección

Módulo

2.12 — Navegación, mapas y vehículos

Lección

Un mapa no es el estado del mundo

Tipo académico

Sistemas

Tipo de esquema

Texto

Orden

1 dentro del módulo

Tiempo estimado

30–40 minutos, incluida la práctica

828. Objetivo de aprendizaje

Al terminar esta lección, podrás definir un contrato de navegación para una ruta acotada separando la representación espacial, la intención de destino, las condiciones de movimiento, la evaluación de llegada y las transiciones permitidas del sistema propietario del contrato.

829. Por qué importa

Un mapa describe cómo se representan los lugares y las rutas; no decide qué permite el mundo en cada momento. Un destino es una intención, no una prueba de que un actor haya llegado. Si se combinan estas ideas, un vehículo puede parecer que alcanza un marcador aunque la ruta esté bloqueada, la intención haya quedado desactualizada o el movimiento no cumpla la regla de llegada declarada.

Un contrato acotado permite examinar cada decisión: qué sistema mantiene el destino, qué observaciones se usan para evaluar la llegada y qué sistema puede cambiar el estado de navegación.

830. Conocimientos previos

Ya debes poder acotar un comportamiento del mundo mediante un sistema propietario, un estado limitado, transiciones permitidas y consecuencias observables. Esta lección se apoya en 2.10 L2 — Acotar el requisito del mundo. No necesitas implementar un mapa, un vehículo ni un sistema de búsqueda de rutas.

831. Concepto central

Un diseño de navegación tiene tres tipos de entradas diferentes:

1. Representación espacial: coordenadas, límites, geometría de rutas, obstáculos y puntos de referencia.
2. Estado de movimiento: posición, movimiento, condición operativa y permisos de desplazamiento actuales del actor.
3. Intención de destino: el destino o la ruta que el actor debe seguir en ese momento.

Un cuarto elemento engloba esas entradas: el contrato de navegación acotado. El contrato declara su sistema propietario, las observaciones que acepta, las transiciones permitidas y los resultados observables. No es otra capa del mapa ni equivale a un marcador de destino.

Un mapa puede contener un marcador sin que el destino sea alcanzable. Un destino activo no autoriza el movimiento. Coincidir con la coordenada del destino no demuestra la llegada si no se cumplen también las condiciones declaradas.

Para una ruta acotada, especifica:

• el sistema propietario del intento de navegación y de la intención de destino activa;
• el marco de coordenadas, la métrica de distancia, las unidades y los límites válidos de la ruta;
• la representación del destino;
• las condiciones de movimiento y del mundo que permiten o bloquean el avance;
• el evaluador que observa las entradas de llegada;
• los criterios de llegada y el resultado que se informa;
• las transiciones que puede realizar el sistema propietario tras aceptar ese informe;
• los resultados observables de finalización, bloqueo, cancelación o fallo.

832. Propiedad y evaluación de llegada

El sistema propietario de la navegación mantiene la intención de destino activa y es responsable del estado del contrato. Solo ese sistema realiza las transiciones declaradas por el contrato.

El evaluador de llegada observa las entradas declaradas. En el modelo de esta lección, son las siguientes:

• la posición del actor y la del destino en el mismo marco de coordenadas;
• la distancia entre ambas posiciones, medida con la métrica y las unidades declaradas;
• la velocidad del actor en las unidades declaradas;
• la validez de la ruta, incluido si permanece abierta;
• la condición operativa del actor.

El evaluador informa si se cumplen los criterios de llegada. No reemplaza el destino, cancela la ruta ni completa el contrato por su cuenta. El sistema propietario acepta el informe y realiza únicamente una transición declarada, como pasar de active a complete. El evaluador puede implementarse dentro o fuera del sistema propietario; el límite importante es que observar y producir un resultado no concede autoridad para cambiar el contrato.

833. Modelo mental

Usa tres tipos de entradas y un contrato acotado:

Los tres primeros elementos aportan entradas distintas. El contrato acotado determina cómo puede interpretar sus informes el sistema propietario. Los datos del mapa pueden ubicar un destino sin ser responsables de la intención. El estado de movimiento puede indicar que un vehículo se ha detenido sin completar la ruta. El evaluador puede informar que se cumplen los criterios sin adquirir autoridad para cambiar el contrato.

Formula estas preguntas en orden:

1. ¿Qué marco de coordenadas, unidades, límites y datos de ruta existen?
2. ¿Qué hace el actor y qué permite o bloquea su movimiento?
3. ¿Qué intención de destino mantiene actualmente el sistema propietario?
4. ¿Qué observa e informa el evaluador de llegada?
5. ¿Qué transición puede realizar el sistema propietario ante ese informe?

834. Ejemplo desarrollado

Considera un vehículo que viaja desde river_crossing hasta north_outpost.

Una regla débil dice: «Cuando el vehículo llegue al marcador de north-outpost, la ruta se completa». No define el marco de coordenadas, las unidades, la regla de detención, la validez de la ruta, el evaluador ni la autoridad sobre el estado.

El siguiente contrato acotado usa decisiones explícitas de diseño. Los valores son ejemplos, no constantes universales:

• Sistema propietario de la navegación: el controlador de navegación del vehículo activo.
• Estados del contrato: active, blocked, cancelled, failed y complete.
• Mapa y límites: la ruta declarada entre river_crossing y north_outpost, dentro de su región válida.
• Decisión sobre coordenadas: la posición actual del vehículo y la del destino se expresan en el mismo marco del espacio del mundo.
• Decisión sobre la medición: la distancia en línea recta se mide en metros del espacio del mundo.
• Intención de destino: viajar a north_outpost mientras la intención siga activa.
• Permiso de avance: el movimiento solo está permitido mientras el vehículo funcione y la ruta permanezca abierta.
• Entradas del evaluador: posición del vehículo, posición del destino, velocidad del vehículo, validez de la ruta y condición operativa.
• Umbrales de llegada: la distancia al destino es igual o inferior a 2 m, la velocidad es igual o inferior a 0,2 m/s, la ruta está abierta y es válida, y el vehículo funciona.
• Salida del evaluador: arrival-criteria-met o arrival-criteria-not-met para la evaluación actual.
• Transición de éxito: cuando el sistema propietario recibe arrival-criteria-met para su intención activa actual, cambia de active a complete y expone north_outpost como destino completado.
• Transición de bloqueo: si la ruta se bloquea mientras la intención está activa, el sistema propietario cambia de active a blocked; la proximidad no anula ese resultado.

La comparación de distancia tiene sentido porque ambas posiciones usan el mismo marco, la misma métrica y las mismas unidades. Un vehículo situado a 1,5 m del destino pero que se mueve a 1,0 m/s no cumple los criterios de este contrato. Un vehículo detenido a menos de 2 m tampoco los cumple si la ruta está bloqueada, no es válida o ya no corresponde a la intención actual.

El marcador puede mostrar north_outpost, pero no evalúa la llegada ni cambia el estado de navegación.

835. Errores comunes

836. Tratar el marcador como autoridad

Un marcador es un dato espacial o de presentación. Puede estar oculto, ser decorativo, haber quedado desactualizado o estar asociado a una intención cancelada. Su visibilidad o solapamiento no demuestra la llegada.

837. Comparar coordenadas incompatibles

Una distancia no tiene un significado fiable dentro del contrato si las posiciones del actor y del destino usan marcos, métricas o unidades diferentes. Convierte ambas posiciones a un marco compatible y declarado antes de aplicar una tolerancia.

838. Permitir que el evaluador controle las transiciones

El evaluador informa observaciones. El sistema propietario comprueba si el informe corresponde a la intención actual y realiza solo una transición permitida. Así se evita que un informe tardío sobre un destino anterior complete una ruta nueva.

839. Agrupar toda la navegación en un «sistema de mapas»

Esto oculta si un defecto pertenece a la representación, la intención, el permiso de movimiento, la evaluación de llegada o la transición de estado. Mantén esas responsabilidades identificadas y acotadas.

840. Práctica guiada

Redacta un contrato de navegación para este escenario:

Un vehículo debe viajar desde camp hasta checkpoint. El punto de control aparece en el mapa, el vehículo puede quedar inutilizado y la ruta puede bloquearse. La ruta solo se completa cuando el vehículo está lo bastante cerca del punto de control y se ha detenido.

Completa la tabla:

Después, dibuja un diagrama de cuatro partes con cuadros separados para datos del mapa, estado de movimiento, intención de destino y contrato acotado. Etiqueta estos flujos:

1. las observaciones del mapa y del movimiento entran en el evaluador de llegada;
2. el evaluador informa si se cumplen los criterios;
3. el sistema propietario comprueba que el informe corresponde a la intención actual;
4. el sistema propietario realiza una transición declarada.

Por último, decide qué ocurre en cada caso y justifícalo mediante tu contrato:

• el vehículo entra en la tolerancia de distancia, pero aún supera el umbral de velocidad;
• la ruta se bloquea cuando el vehículo está cerca del punto de control;
• el destino cambia antes de que se acepte un informe sobre el destino anterior;
• las posiciones del actor y del destino llegan expresadas en marcos de coordenadas incompatibles.

841. Validación y evidencia

842. Ideas clave

• Un mapa representa información espacial; no es responsable de la verdad de navegación.
• La intención de destino indica adónde debe ir el actor; no demuestra que haya llegado.
• El movimiento y la validez de la ruta siguen siendo entradas separadas.
• Un evaluador de llegada observa las entradas declaradas e informa un resultado.
• El sistema propietario mantiene la intención, acepta los informes pertinentes y realiza solo las transiciones declaradas.
• Las tolerancias de distancia requieren marcos de coordenadas, métricas y unidades compatibles.

843. Próxima lección

Continúa con 2.12 L2 — La posesión de un vehículo es una transferencia de estado. La próxima lección aplica la misma disciplina de propiedad cuando la autoridad sobre la entrada y el movimiento pasa entre el jugador y el vehículo durante la entrada, la salida o una interrupción; el mapa, el marcador de destino y la presentación del vehículo no se vuelven autoritativos por el mero hecho de que cambie el control.

844. Comprobación