open-ontologies fonctionne-t-il ?

open-ontologies n'a pas encore été entièrement vérifié. Aucune exécution enregistrée n'a encore produit de verdict.

Comment Argusic a-t-il testé open-ontologies ?

Sur une machine vierge et jetable, avec chaque commande enregistrée. Une tentative est enregistrée, et la méthode complète se trouve sur la page de méthodologie.

Où sont les preuves pour open-ontologies ?

L'exécution enregistrée se trouve sur cette page, chacune avec un lien vers son log complet et son enregistrement du terminal, conservés avec une empreinte sha256 pour qu'ils ne puissent pas être modifiés discrètement.

Original en anglais: https://argusic.com/subject/open-ontologies

open-ontologies

Planifier, appliquer et annuler des modifications sur une ontologie de production, avec un rapport de rayon d'impact et une preuve qu'un auditeur peut revérifier.

Pas encore vérifiésource : GitHub page d'accueilRustMITcommit 2ecb50c2ca7e

Rust, sous licence MIT. Le projet se décrit ainsi : ai native, description logics, formal verification, infrastructure as code, isabelle language, knowledge graph, lean et lean4.

open-ontologies n'a pas encore été vérifié.

Mesuré par Argusic sur une machine vierge, à chaque fois. Chaque chiffre renvoie à ses preuves.

En un coup d'œil

verdict: Pas encore vérifié
Score Argusic: pas encore de score
exécutions enregistrées: 1
dernier test: 2026-10-30
étoiles: 2 807
forks: 313
issues ouvertes: 2
observateurs: 21
taille: 229 MB
créé le: 2026-03-09
dernier push: 2026-11-04

Données du projet issues de GitHub, avec un lien en haut de cette page, mis à jour le 2026-11-04. Données de test d'Argusic (CC BY 4.0) ; chaque chiffre renvoie à une page d'exécution avec le log complet, l'enregistrement et leurs empreintes sha256.

Ce qui a été mesuré

Tiré de la tentative enregistrée la plus récente, qui n'a pas abouti à un verdict. Chaque ligne est une valeur enregistrée, pas une estimation.

Commit exact testé: 2ecb50c2ca7e
Image de conteneur: sha256:cdd920bce783

Ce qui n'a pas été mesuré

L'autre moitié, pour que vous voyiez exactement jusqu'où vont ces preuves. Une lacune est affichée comme une lacune et n'est jamais comblée.

Temps d'installation: l'exécution ne l'a pas indiqué
De la machine vierge à la fin: la tentative a été arrêtée à la limite de temps après 87 minutes, elle ne s'est donc jamais terminée
Erreurs rencontrées et corrigées: la tentative a été interrompue à la limite de temps avant d'avoir indiqué ce qu'elle avait rencontré
Comment le résultat a été prouvé: les exécutions antérieures au 2026-09-07 n'enregistraient pas la commande utilisée pour vérifier le résultat
Pic de mémoire GPU: cette exécution a eu lieu sur une machine CPU, il n'y avait donc pas de GPU à mesurer
Tokens de modèle utilisés: non enregistré pour cette exécution
Comportement sur une longue durée: chaque tentative utilise les réglages documentés les plus légers et un budget de temps fixe : on mesure donc s'il fonctionne, pas comment il tient sous la charge
S'il fonctionne tout court: la tentative n'est pas allée assez loin pour vérifier quoi que ce soit avant la limite de temps

La fin de l'enregistrement

Les dernières lignes de la session de terminal qui a décidé ce verdict, exactement telles qu'elles ont été enregistrées.

✔ [152/172] Built OOCert.Mixed:c.o (1.3s)
LAKE_EXIT=124
oo-dlmodel    oo-dlrefute.trace  oo-lrat.rsp       oo-resolution.hash
oo-dlmodel.hash   oo-folmodel       oo-lrat.trace     oo-resolution.rsp
oo-dlmodel.rsp    oo-folmodel.hash   oo-matcert        oo-resolution.trace
oo-dlmodel.trace  oo-folmodel.rsp    oo-matcert.hash   oo-shacl
oo-dlrefute    oo-folmodel.trace  oo-matcert.rsp    oo-shacl.hash
oo-dlrefute.hash  oo-lrat       oo-matcert.trace  oo-shacl.rsp
oo-dlrefute.rsp   oo-lrat.hash       oo-resolution     oo-shacl.trace
Leak lake build was cut at the 300s timeout (exit 124) but made progress. Continuing it.
exec
/bin/sh -lc '. "$HOME/.elan/env" && cd /work/repo/lean && timeout 400 lake build > /tmp/lake2.log 2…

Revoir toute la session, chaque commande depuis une machine propre jusqu'à ce point.

Comment le test a été mené

Un agent, un conteneur, aucune aide humaine. Il installe le projet comme l'indique sa propre documentation, l'exécute et corrige ce qui casse. Tout ce qui suit est enregistré tel que cela s'est passé : la session de terminal, le log et le commit exact. La méthode complète.

Également testés, dans le même domaine

Chacun de ces projets a été installé et exécuté par Argusic sur une machine propre. Rien n'apparaît ici sans avoir été testé.

Historique des exécutions

testé par	tentative	résultat	score	coût USD	date
Argusic Runner	1/3	Délai dépassé	0,00	0,35	2026-10-30 11:19 UTC

Sujets (depuis GitHub)

ai-native description-logics formal-verification infrastructure-as-code isabelle-language knowledge-graph lean lean4 mcp mcp-server ontology owl owl2 reasoning rust shacl sparql theorem-proving

Intégrer le badge

Markdown pour le README du projet. Il renvoie vers cette page ; conditions sur la page des conditions.

[![Tested by Argusic](https://argusic.com/badge/open-ontologies.svg)](https://argusic.com/subject/open-ontologies)

Questions

open-ontologies fonctionne-t-il ?: open-ontologies n'a pas encore été entièrement vérifié. Aucune exécution enregistrée n'a encore produit de verdict.
Comment Argusic a-t-il testé open-ontologies ?: Sur une machine vierge et jetable, avec chaque commande enregistrée. Une tentative est enregistrée, et la méthode complète se trouve sur la page de méthodologie.
Où sont les preuves pour open-ontologies ?: L'exécution enregistrée se trouve sur cette page, chacune avec un lien vers son log complet et son enregistrement du terminal, conservés avec une empreinte sha256 pour qu'ils ne puissent pas être modifiés discrètement.