Explore this system
Step through curated paths without changing the source diagram.
Beat
Next
ReadyChapter 01 / 01
Guided chapter
Diagram guideExplore this system
Inspecting compiled semantics
E ExportT ThemeS Style0 Reset+ Zoom in- Zoom outEsc Close
Find a node
⌕/
No matching nodes
Semantic passport
Verified source
Authored reach
Route probeChoose a start node
Pick two semantic nodes on the diagram
Choose the source, then the destination. Direction matters.
Semantic lensCompare system roles
Choose up to two semantic kinds. One reveals its real traffic; two compare only direct authored relationships.
Choose a kind to inspect its nodes and touching relationships.
Semantic radar
Building overview
Click nodeDrag to pan
Semantic radar needs more MAP space.
Por qué un state machine, no 'mismo día en curso'
• La regla 'mismo día en curso' falla en bordes temporales: un pago a las 23:59 contra una venta de ayer parece inválido aunque no lo sea.
• El state machine es forward-only: REGISTRADA → PENDIENTE_PAGO → PAGO_PARCIAL/TOTAL → COMPLETADA. Los pagos parciales son un estado válido, no un error de redondeo.
Quién anula, quién verifica
• Anular antes de cobrar: cualquier rol con permiso ventas:anular (ADR-0003). Stock devuelto a su lote original.
• El auditor detecta PAGO_TOTAL con monto inconsistente y lo manda a FALLO_AUDITORIA. La reversión corre por el contador, no por el pos que cobró.
ANULADA siempre deja huella
• Toda anulación se registra en audit_log con el método, el rol_ejercido y el motivo. ANULADA no es un delete — es un terminal con datos.
• El stock que se había descontado vuelve a su lote. Si el lote ya no existe, el sistema lo manda a un lote de 'recuperación' para auditoría posterior.