Projet logiciel
Hujja · des règles traçables sous forme de code
Projet logiciel en pré-alpha pour des règles traçables de filtrage d’actions selon des standards de finance islamique. Contrat DJIM, schéma JSON, modèle de faits et tests publiés ; moteur non implémenté.
Problème
Les méthodologies de filtrage d’actions peuvent différer par leurs seuils financiers, dénominateurs, activités exclues et règles de transition. Hujja étudie comment rendre ces différences consultables, avec un verdict envisagé par standard et des liens explicites entre chaque affirmation et ses preuves.
Approche
Un contrat déclaratif en YAML décrit la méthodologie DJIM avec un schéma JSON strict, des versions indépendantes pour le contenu et le format, un modèle de faits normalisés et une provenance par affirmation. Le niveau de preuve documentaire, la cohérence des sources et les choix techniques en attente restent distincts. Les règles historiques sont enregistrées comme non opérantes ; les deux sens de transition de conformité sont représentés séparément.
Contribution documentée
La contribution publiée de Halhoul Mhamed comprend le contrat de règles en pré-alpha, son schéma, la documentation du modèle de faits et la suite de validation. Ces artefacts rendent visibles les hypothèses et les dépendances non résolues avant l’implémentation d’un chargeur ou d’un moteur d’exécution. Les métadonnées du paquet l’identifient comme auteur.
Artefacts publiés
- Un fichier DJIM versionné, au format 2.0.0, avec des références publiques aux preuves et des décisions ouvertes explicites.
- Un schéma JSON et des tests de validation couvrant l’intégrité des références, les limites documentaires, les opérandes et la sémantique des transitions.
- Un modèle de faits distinguant les données d’émetteurs, les observations de marché fournies par l’utilisateur du moteur, les classifications externes et l’état antérieur du moteur.
Aucun jeu de verdicts sur des actions, aucune matrice de divergence ni aucun benchmark de filtrage n’est publié à cette révision. L’API cible et les futurs adaptateurs décrits dans le README sont des travaux prévus.
Limites et état actuel
Pré-alpha : le chargeur et le moteur d’exécution ne sont pas implémentés. Le fichier DJIM conserve le statut unreviewed ; une suite de validation structurelle ne constitue ni une revue par un expert ni une garantie d’exactitude financière.
Le calendrier des périodes d’évaluation, l’échantillonnage de la capitalisation boursière, les interfaces de classification externe et le comportement face aux entrées absentes restent non résolus. La capitalisation ne peut pas être déduite des seuls dépôts EDGAR et exige des observations fournies par l’utilisateur du moteur. La réplication avec état d’un indice nécessite d’abord de résoudre la sémantique des périodes.
Hujja est un projet informatif et pédagogique. Il ne délivre pas de fatwa et ne fournit pas de conseil en investissement.
Sources et implémentation
Les liens ci-dessous identifient les artefacts publiés à une révision fixe du dépôt. Le journal public de vérification des sources précise la portée des preuves et les points non résolus.