open-ontologies 프로젝트는 실행되나요?

open-ontologies 프로젝트는 아직 완전히 검증되지 않았습니다. 아직 판정을 낸 기록된 실행이 없습니다.

Argusic은 open-ontologies 프로젝트를 어떻게 테스트했나요?

새로운 일회용 머신에서 모든 명령을 기록하며 테스트했습니다. 기록된 시도는 한 번이며, 전체 방법은 방법론 페이지에 있습니다.

open-ontologies 프로젝트의 증거는 어디에 있나요?

기록된 실행이 이 페이지에 있으며, 각각 전체 log와 터미널 녹화로 연결됩니다. 이들은 몰래 변경할 수 없도록 sha256 지문과 함께 저장됩니다.

영어 원문: https://argusic.com/subject/open-ontologies

open-ontologies

영향 범위 보고서와 감사자가 재확인할 수 있는 증거를 포함한 프로덕션 온톨로지 변경 사항의 계획, 적용, 롤백

아직 검증되지 않음출처: GitHub 홈페이지RustMITcommit 2ecb50c2ca7e

Rust, MIT 라이선스. 프로젝트 자체 레이블: ai native, description logics, formal verification, infrastructure as code, isabelle language, knowledge graph, lean 및 lean4.

open-ontologies: 아직 검증되지 않았습니다.

Argusic이 매번 새 머신에서 측정합니다. 모든 수치는 해당 증거로 연결됩니다.

한눈에 보기

판정: 아직 검증되지 않음
Argusic 점수: 아직 점수 없음
기록된 실행: 1
마지막 테스트: 2026-10-30
스타: 2,806
포크: 313
열린 issue: 2
watcher: 21
크기: 229 MB
생성일: 2026-03-09
마지막 push: 2026-11-04

프로젝트 데이터 출처: GitHub(이 페이지 상단에 링크), 업데이트 2026-11-04. 테스트 데이터 제공: Argusic(CC BY 4.0). 모든 수치는 전체 log, 녹화, 그리고 그 sha256 해시가 있는 실행 페이지로 연결됩니다.

측정한 항목

가장 최근에 기록된 시도에서 가져왔으며, 이 시도는 판정에 이르지 못했습니다. 모든 줄은 추정치가 아니라 기록된 값입니다.

테스트한 정확한 commit: 2ecb50c2ca7e
컨테이너 이미지: sha256:cdd920bce783

측정하지 않은 항목

나머지 절반입니다. 이 증거가 어디까지 유효한지 정확히 볼 수 있도록 공백은 공백으로 표시하며 절대 채워 넣지 않습니다.

설치 시간: 실행에서 보고하지 않았습니다
깨끗한 머신에서 완료까지: 시도가 87분 뒤 시간 제한에서 중단되어 끝나지 않았습니다
발생하고 수정된 오류: 시도가 무엇이 발생했는지 보고하기 전에 시간 제한에서 중단되었습니다
결과를 증명한 방법: 2026-09-07 이전의 실행은 결과 확인에 사용한 명령을 기록하지 않았습니다
최대 GPU 메모리: CPU 머신에서 실행되어 샘플링할 GPU가 없었습니다
사용한 모델 token: 이 실행에는 기록되지 않았습니다
장시간 실행 시 동작: 각 시도는 문서화된 가장 작은 설정과 고정된 시간 예산을 사용하므로, 부하에서 얼마나 버티는지가 아니라 실행되는지를 측정합니다
작동 여부 자체: 시도가 시간 제한 전에 무엇이든 검증할 만큼 진행되지 못했습니다

녹화의 마지막 부분

이 판정을 결정한 터미널 세션의 마지막 줄을 기록된 그대로 보여 줍니다.

✔ [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…

전체 세션 다시 보기, 깨끗한 머신에서 이 시점까지의 모든 명령.

테스트 방법

하나의 agent, 하나의 컨테이너, 사람의 도움 없음. agent는 프로젝트 문서가 안내하는 방식대로 프로젝트를 설치하고 실행하며, 문제가 생기면 수정합니다. 아래의 모든 내용은 실제로 일어난 그대로 기록되었습니다: 터미널 세션, log, 정확한 commit. 전체 방법론.

같은 분야에서 함께 테스트한 프로젝트

여기 있는 모든 프로젝트는 Argusic이 깨끗한 머신에 설치하고 실행했습니다. 테스트하지 않은 프로젝트는 여기에 나오지 않습니다.

실행 기록

테스트 주체	시도	결과	점수	비용 USD	시점
Argusic Runner	1/3	시간 초과	0.00	0.35	2026-10-30 11:19 UTC

토픽 (출처: 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

배지 삽입

프로젝트 README용 Markdown입니다. 이 페이지로 다시 연결되며, 이용 조건은 다음에 있습니다: 이용 약관 페이지.

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

질문

open-ontologies 프로젝트는 실행되나요?: open-ontologies 프로젝트는 아직 완전히 검증되지 않았습니다. 아직 판정을 낸 기록된 실행이 없습니다.
Argusic은 open-ontologies 프로젝트를 어떻게 테스트했나요?: 새로운 일회용 머신에서 모든 명령을 기록하며 테스트했습니다. 기록된 시도는 한 번이며, 전체 방법은 방법론 페이지에 있습니다.
open-ontologies 프로젝트의 증거는 어디에 있나요?: 기록된 실행이 이 페이지에 있으며, 각각 전체 log와 터미널 녹화로 연결됩니다. 이들은 몰래 변경할 수 없도록 sha256 지문과 함께 저장됩니다.