Modulo della piattaforma

Conflict detection

Trasforma la contesa tra agenti in un caso aperto con le prove allegate, invece di un allarme a cui nessuno sa rispondere.

detection.run esegue un rilevatore indicato per nome sullo stato attivo della piattaforma o su eventi che invii. Dieci rilevatori sono funzioni pure, altri quattro ragionano in modo deterministico e uno è uno screening con un modello. Un riscontro diventa un conflitto che cita le sue prove, aperto al livello 0 della scala.