Comment Taqwa vérifie ses horaires de prière

Pour chaque jour vérifié d’après les tableaux publiés, aucune prière n’est affichée commençant avant le calendrier que suivent les mosquées près de chez vous. Voici comment cela est vérifié.

Une seule règle

Un début ne doit jamais tomber avant l’heure propre de l’autorité, et le lever du soleil et la fin du repas jamais après. Là où les mosquées suivent des calendriers différents sans majorité, Taqwa affiche chaque prière une fois que tous l’ont commencée (horaires par précaution).

Le contrôle

Avant chaque version, Taqwa rejoue son moteur contre chaque calendrier officiel qu’elle détient : 19793 calendriers publiés, 4395481 jours vérifiés sur 71 calendriers. Débuts affichés trop tôt : 0. Levers du soleil ou fins du repas affichés trop tard : 0. Les jours qu’un calendrier ne publie pas lui-même, ou publie avec une erreur, sont exclus de la vérification et nommés, avec leur raison.

Là où les mosquées suivent des familles de calendriers

Là où les mosquées d’une ville suivent des calendriers d’une même famille plutôt qu’un seul calendrier publié, un relevé de 125 calendriers de mosquées tient lieu de contrôle, chacun vérifié dans sa propre mosquée.

Quels lieux ont une page

Une ville n’a une page que là où les vérifications prouvent chaque jour qu’elle affiche : son calendrier est reproduit ou combiné, mesuré dans la ville même, et sa preuve couvre chaque jour de ce mois-ci. Le mois suivant n’y est ajouté que lorsque chacun de ses jours est prouvé à son tour. Une ville que la preuve n’atteint pas est retenue jusqu’à ce qu’elle l’atteigne. Les calendriers qui ont une page aujourd’hui :

Lisez-le vous-même

Le moteur n’embarque aucun calendrier : il reproduit la méthode publiée de chaque autorité et est vérifié contre les calendriers. Les tampons de preuve, un par calendrier, et la conception du moteur sont dans le dépôt public.

• Les tampons de preuve
• La conception du moteur