Une provision qu'on ne peut pas reproduire
est une opinion.
L'assurance roule sur des chiffres qui doivent survivre à un actuaire, un vérificateur et un superviseur — souvent à des années d'intervalle, sur le même trimestre. La mécanique qui les produit est le plus souvent une chaîne de chiffriers, de boîtes noires de fournisseurs et de réconciliations qui ferment presque. Nous servons ce secteur avec du logiciel, pas des grues : du calcul déterministe sur Heisen où un triangle, un facteur de tarification ou une cession se réexécute au chiffre identique, et où les hypothèses du modèle sont consignées à côté du résultat. Le jugement actuariel reste à l'actuaire. Nous rendons le calcul en dessous reproductible.
Reproductible
Même trimestre, mêmes entrées, même chiffre
Traçable
Chaque hypothèse consignée avec le résultat
Pare-feu
Maxor Ground sur les flux de sinistres assistés par IA
Canada
Hébergé ici — les données d'assurés restent dans la juridiction
Six expositions dans le calcul derrière le bilan.
Chaque exposition ci-dessous est un endroit où le chiffre déclaré et le chiffre reproductible ont divergé. Aucune n'est un problème de jugement actuariel — ce sont des problèmes d'ingénierie en habit d'actuaire.
Une provision qu'on ne peut pas redériver
Le triangle a fermé, le chiffre est entré aux états financiers, et dix-huit mois plus tard personne ne peut le réexécuter — le chiffrier a bougé, une entrée a changé, une macro a été corrigée. La provision n'est défendable que dans la mesure où sa dérivation est reproductible.
Les modèles catastrophe comme boîtes noires
La sortie d'un modèle cat pilote le capital, l'achat de réassurance et les conversations au conseil, mais ses entrailles sont une boîte opaque sous licence. Sans vérification déterministe indépendante sur l'alimentation d'exposition et la forme de la sortie, le risque-modèle n'est pas accepté — il est non mesuré.
Réconciliation des bordereaux et des cessions
De la comptabilité de traité où la vue de la cédante et celle du réassureur diffèrent d'un montant que personne ne peut décomposer. L'écart est habituellement déterministe et trouvable — il n'est simplement pas calculé deux fois de la même façon.
Des facteurs de tarification qui dérivent en silence
Un moteur de tarification modifié à répétition, dont la version datée de chaque facteur n'est plus récupérable. Quand un régulateur demande quel taux s'appliquait à une police souscrite un jour donné, la réponse doit se calculer, pas se reconstruire.
Des décisions de sinistre hallucinées
Un modèle de langage qui résume un dossier de sinistre, rédige une justification de refus ou extrait une position de couverture inventera parfois quelque chose de cohérent et de faux. Dans un processus de règlement réglementé, ce n'est pas un inconvénient — c'est une exposition de conduite de marché.
Résidence des données d'assurés
Les dossiers d'assurés et de réclamants portent la Loi 25, la LPRPDE et les attentes de surveillance sur l'impartition et la résidence. Une plateforme hébergée aux États-Unis porte une exposition CLOUD Act quels que soient les termes du contrat. Ce que nous hébergeons reste au Canada.
Six flux où la reproductibilité est le livrable.
Ce sont les calculs qui seront réexaminés par quelqu'un qui n'était pas dans la pièce. Chacun peut être rendu déterministe, versionné, et réexécutable exactement tel qu'il était à n'importe quelle date d'évaluation passée.
Triangles et report reproductibles
Des triangles de développement comme calcul déterministe avec hypothèses versionnées, pour qu'une évaluation antérieure se réexécute au chiffre identique et que le mouvement entre trimestres se décompose proprement.
Calcul de tarification daté
Facteurs et algorithmes de tarification tenus comme moteurs déterministes versionnés et datés — pour que le taux applicable à une police un jour donné se calcule à la demande plutôt que se reconstruire depuis un journal de modifications.
Vérification indépendante autour du modèle cat
Nous ne remplaçons pas le modèle du fournisseur. Nous posons des vérifications déterministes autour : intégrité de l'alimentation d'exposition, vérification de la forme de sortie contre les exécutions antérieures, et une trace consignée de ce qui est entré — pour que le risque-modèle soit mesuré au lieu d'être supposé.
Réconciliation de bordereaux et de cessions
Vues de la cédante et du réassureur réconciliées par un calcul déterministe qui décompose l'écart jusqu'aux enregistrements sources, plutôt que de produire un résiduel qu'on reporte.
Automatisation ancrée du dossier de sinistre
Maxor Ground entre tout modèle de langage et le dossier : une position de couverture extraite ou une justification rédigée porte son appui tiré du document, sinon elle n'atteint pas un régleur.
Preuves prêtes pour l'audit du cycle de reddition
Les entrées, les versions et la trace d'exécution rattachées à chaque chiffre déclaré — pour que l'audit externe et la revue de surveillance lisent un dossier complet plutôt que de demander des reconstructions.
Les normes selon lesquelles nous travaillons.
Le calcul et ses preuves sont notre portée, donc les normes que nous citons sont des normes de risque-modèle, de sécurité et de contexte de reddition — exécutées à l'intérieur de la gouvernance de l'assureur. L'opinion sur les provisions, la position de capital et la décision de souscription appartiennent à l'actuaire désigné et aux dirigeants, pas à nous.
Attentes de surveillance fédérales
Référencées comme contexte de gouvernance pour le risque-modèle, l'impartition et le risque technologique chez un assureur sous réglementation fédérale. La posture de conformité de l'institution reste la sienne.
Attentes de surveillance québécoises
Le pendant québécois, référencé pour les assureurs surveillés dans la province — incluant les attentes sur l'impartition et le lieu de résidence des données.
Contrats d'assurance — comme contexte de reddition
Référencée comme le contexte de reddition que notre calcul doit alimenter : les exigences d'information de la norme sont exactement celles qui exposent une dérivation non reproductible.
Posture SR 11-7 / OCC 2011-12
La forme de gestion du risque-modèle que nous appliquons — développement, validation et utilisation documentés séparément, la vérification indépendante traitée comme une activité distincte plutôt qu'une passe de révision.
Sécurité et confidentialité de ce que nous hébergeons
Référencés comme cadrage de contrôle pour les données d'assurés et de réclamants de notre côté du mandat. L'attestation de l'assureur reste la sienne.
Notre non-négociable
Chaque moteur que nous livrons ici est pur, borné et documenté : même entrée, même sortie, aucun état caché. C'est la propriété qui retransforme un chiffre déclaré en chiffre redérivable, et nous la traitons comme une norme plutôt qu'une fonctionnalité.
Une ligne de capacité sur quatre. On le dit franchement.
Trois de nos quatre piliers sont des capacités de levage et de gréage. Un assureur n'en a aucun usage, et on ne les étire pas pour qu'elles entrent — même si les risques physiques que notre ingénierie de levage réduit sont précisément ceux que les polices de nos clients couvrent. La ligne logicielle porte ce secteur.
Plans scellés + réponse d'urgence
Non applicableNon applicable à vos opérations. Il n'y a pas de grue dans un mandat d'assurance. La symétrie mérite d'être notée : les plans de levage scellés que nous produisons pour l'industrie lourde réduisent précisément les sinistres souscrits de l'autre côté de ce secteur.
Distribution + formation + implémentation
Non applicableNon applicable. CRANEbee® simule des opérations multi-grues. Pas de grue, pas de simulation.
Distribution + conseil + formation
Non applicableNon applicable. Murlink® est de la chaîne de levage en Dyneema® pour gréage lourd. Rien ici ne se fait lever.
Plateforme d'ingénierie déterministe
C'est tout le mandat. Calcul déterministe sur Heisen pour le provisionnement, la tarification, la vérification de modèles cat et la réconciliation de bordereaux ; Maxor Ground comme pare-feu anti-hallucination sur le travail de sinistres assisté par IA ; Maxor Audit pour la trace de preuves signée ; Maxor Connect là où l'opération a besoin d'opérations de projet et de portefeuille multi-entités. Hébergé au Canada.
Au-delà des quatre piliers — du logiciel bâti pour votre opération.
Vos triangles, vos traités et vos structures de tarification ont la forme de votre portefeuille — aucun outil sur étagère n'a cette forme sans une couche de chiffriers autour. On bâtit le cœur déterministe à la place, au Canada.
Heisen — notre couche d'intelligence déterministe — est optionnel sur tout projet : on l'intègre ou non, à votre choix. Dans les deux cas, il se branche par API dans une nouvelle app custom comme dans votre logiciel tiers existant.
Moteur de provisionnement à hypothèses versionnées
Triangles et report comme calcul déterministe, chaque hypothèse datée, pour que toute évaluation antérieure se réexécute au chiffre identique à la demande.
Réconciliation de cessions qui décompose
Vues de la cédante et du réassureur réconciliées jusqu'à l'enregistrement source, l'écart expliqué ligne par ligne plutôt que porté comme résiduel.
Registre de preuves de risque-modèle
Chaque exécution de modèle avec ses entrées, sa version et son résultat de vérification indépendante dans un seul registre — le dossier qu'une revue de surveillance demande, assemblé pendant le travail plutôt qu'après.
Rendez le chiffre redérivable.
Dites-nous le calcul qui doit survivre à un audit et à un superviseur. On cadrera le moteur déterministe en dessous — et on vous dira franchement où notre portée s'arrête et où celle de l'actuaire commence.