Original em inglês: https://argusic.com/subject/open-ontologies
open-ontologies
Planeje, aplique e reverta alterações em uma ontologia de produção, com um relatório de raio de impacto e uma prova que um auditor possa verificar novamente.
Ainda não verificadofonte: GitHubpágina do projetoRustMITcommit 2ecb50c2ca7e
Rust, licença MIT. O projeto se descreve como: ai native, description logics, formal verification, infrastructure as code, isabelle language, knowledge graph, lean e lean4.
open-ontologies ainda não foi verificado.
Medido pela Argusic em uma máquina nova, todas as vezes. Cada número tem link para as suas evidências.
Visão geral
Dados do projeto de GitHub, com link no topo desta página, atualizado em . Dados de teste da Argusic (CC BY 4.0); cada número tem link para uma página de execução com o log completo, a gravação e os hashes sha256 deles.
O que foi medido
Da tentativa registrada mais recente, que não chegou a um veredito. Cada linha é um valor registrado, não uma estimativa.
- Commit exato testado
- 2ecb50c2ca7e
- Imagem do container
- sha256:cdd920bce783
O que não foi medido
A outra metade, para você ver exatamente até onde estas evidências vão. Uma lacuna é mostrada como lacuna e nunca é preenchida.
- Tempo de instalação
- a execução não informou esse tempo
- Da máquina limpa até o fim
- a tentativa foi interrompida no limite de tempo depois de 87 minutos, então nunca terminou
- Erros encontrados e corrigidos
- a tentativa foi cortada no limite de tempo antes de informar o que tinha encontrado
- Como o resultado foi comprovado
- as execuções anteriores a 2026-09-07 não registravam o comando usado para conferir o resultado
- Pico de memória da GPU
- esta execução foi em uma máquina com CPU, então não havia GPU para medir
- Tokens de modelo usados
- não registrado nesta execução
- Comportamento em uma execução longa
- cada tentativa usa as menores configurações documentadas e um orçamento de tempo fixo, então isto mede se ele executa, não como ele se comporta sob carga
- Se ele funciona de algum modo
- a tentativa não avançou o bastante para verificar algo antes do limite de tempo
O fim da gravação
As últimas linhas da sessão de terminal que decidiu este veredito, exatamente como foram gravadas.
✔ [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…
Reproduzir a sessão inteira, cada comando desde a máquina limpa até este ponto.
Como foi testado
Um agent, um container, nenhuma ajuda humana. Ele instala o projeto do jeito que a própria documentação do projeto manda, executa o projeto e corrige o que quebra. Tudo abaixo é registrado como aconteceu: a sessão de terminal, o log e o commit exato. A metodologia completa.
Também testados, na mesma área
Cada um destes foi instalado e executado pela Argusic em uma máquina limpa. Nada aparece aqui sem ter sido testado.
Histórico de execuções
| testado por | tentativa | resultado | pontuação | custo USD | quando |
|---|---|---|---|---|---|
| Argusic Runner | 1/3 | Tempo esgotado | 0,00 | 0,35 |
Tópicos (de GitHub)
ai-nativedescription-logicsformal-verificationinfrastructure-as-codeisabelle-languageknowledge-graphleanlean4mcpmcp-serverontologyowlowl2reasoningrustshaclsparqltheorem-proving
Incorporar o selo
Markdown para o README do projeto. Ele tem link de volta para esta página; os termos estão na página de termos.
[](https://argusic.com/subject/open-ontologies)Perguntas
- open-ontologies executa?
- open-ontologies ainda não foi totalmente verificado. Nenhuma execução registrada produziu um veredito ainda.
- Como a Argusic testou open-ontologies?
- Em uma máquina nova e descartável, com cada comando gravado. Há uma tentativa registrada, e a metodologia completa está na página da metodologia.
- Onde estão as evidências de open-ontologies?
- A execução registrada está nesta página, cada uma com link para o seu log completo e a sua gravação do terminal, guardados com uma impressão digital sha256 para que não possam ser alterados discretamente.