Original en inglés: https://argusic.com/subject/open-ontologies
open-ontologies
Planificar, aplicar y revertir cambios en una ontología de producción, con un informe de radio de explosión y una prueba que un auditor pueda volver a verificar.
Aún no verificadofuente: GitHubsitio webRustMITcommit 2ecb50c2ca7e
Rust, licencia MIT. El proyecto se describe a sí mismo como: ai native, description logics, formal verification, infrastructure as code, isabelle language, knowledge graph, lean y lean4.
open-ontologies aún no se ha verificado.
Medido por Argusic en una máquina limpia cada vez. Cada cifra enlaza a su evidencia.
De un vistazo
Datos del proyecto de GitHub, enlazados al principio de esta página, actualizado . Datos de prueba de Argusic (CC BY 4.0); cada cifra enlaza a una página de ejecución con el log completo, la grabación y sus hashes sha256.
Qué se midió
Del intento registrado más reciente, que no llegó a un veredicto. Cada línea es un valor registrado, no una estimación.
- Commit exacto probado
- 2ecb50c2ca7e
- Imagen del contenedor
- sha256:cdd920bce783
Qué no se midió
La otra mitad, para que veas exactamente hasta dónde llega esta evidencia. Un hueco se muestra como hueco y nunca se rellena.
- Tiempo de instalación
- la ejecución no lo informó
- De máquina en frío a terminar
- el intento se detuvo en el límite de tiempo después de 87 minutos, así que nunca terminó
- Errores encontrados y corregidos
- el intento se cortó en el límite de tiempo antes de informar de lo que había encontrado
- Cómo se demostró el resultado
- las ejecuciones anteriores al 2026-09-07 no registraban el comando usado para comprobar el resultado
- Memoria de GPU máxima
- se ejecutó en una máquina con CPU, así que no había GPU que muestrear
- Tokens de modelo usados
- no se registró en esta ejecución
- Comportamiento en una ejecución larga
- cada intento usa la configuración documentada más pequeña y un presupuesto de tiempo fijo, así que esto mide si funciona, no cómo aguanta bajo carga
- Si funciona en absoluto
- el intento no llegó lo bastante lejos como para verificar nada antes del límite de tiempo
El final de la grabación
Las últimas líneas de la sesión de terminal que decidió este veredicto, tal como se registraron.
✔ [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…
Reproducir la sesión completa, cada comando desde una máquina limpia hasta este punto.
Cómo se probó
Un agent, un contenedor, sin ayuda humana. Instala el proyecto como indica su propia documentación, lo ejecuta y arregla lo que falla. Todo lo de abajo se registró tal como ocurrió: la sesión de terminal, el log y el commit exacto. La metodología completa.
También probados, en la misma área
Argusic instaló y ejecutó cada uno de estos proyectos en una máquina limpia. Aquí no aparece nada que no se haya probado.
Historial de ejecuciones
| probado por | intento | resultado | puntuación | costo USD | cuándo |
|---|---|---|---|---|---|
| Argusic Runner | 1/3 | Se quedó sin tiempo | 0,00 | 0,35 |
Temas (de GitHub)
ai-nativedescription-logicsformal-verificationinfrastructure-as-codeisabelle-languageknowledge-graphleanlean4mcpmcp-serverontologyowlowl2reasoningrustshaclsparqltheorem-proving
Insertar el badge
Markdown para el README del proyecto. Enlaza de vuelta aquí; condiciones en la página de términos.
[](https://argusic.com/subject/open-ontologies)Preguntas
- ¿Funciona open-ontologies?
- open-ontologies aún no se ha verificado por completo. Ninguna ejecución registrada ha producido todavía un veredicto.
- ¿Cómo probó Argusic open-ontologies?
- En una máquina limpia y desechable, con cada comando grabado. Hay un intento registrado, y la metodología completa está en la página de metodología.
- ¿Dónde está la evidencia de open-ontologies?
- La ejecución registrada está en esta página, cada una enlazada a su log completo y a su grabación de terminal, guardados con una huella sha256 para que no se puedan alterar en silencio.