시행일: 2026년 6월 29일
ANANKE(이하 “서비스”)는 lbyos(이하 “회사”)가 제공하는 결정론적 과학 모델 검증 게이트입니다. 사용자가 입력한 동역학계(ODE), 반응 네트워크 등 형식 모델에 대해, 닫힌 기저의 형식적 속성(차원 일관성, 보존/질량 균형, 양성, 유계성/안정성, 화학양론 일관성, 열역학 일관성, 식별가능성 등)을 결정론적으로 판정하고 판정·이유·감사 기록·인증서를 제공합니다.
1. 서비스의 판정은 위 형식적 속성에 대한 결정론적 검사 결과이며, 모델의 과학적 정확성, 예측력, 임상적·상업적 안전성, 또는 규제 승인을 보장하지 않습니다.
2. “검사하지 않음(not checked)” 또는 “기권(abstain)”은 “검증됨(verified)”이 아닙니다. 인증서는 검증의 상태를 봉인하는 것이지 합격을 보증하지 않습니다.
3. 검증 결과 및 인증서는 사용자의 전문적 판단을 대체하지 않으며, 규제 제출·임상 결정 등에 대한 최종 책임은 사용자에게 있습니다.
1. 로그인은 Google 계정을 통해 이루어집니다. 일부 관리 기능은 allowlist 에 포함된 이메일에만 부여됩니다.
2. 사용자는 계정 보안을 유지할 책임이 있으며, 계정을 통한 활동에 대해 책임을 집니다.
1. 모델 검증은 무료이며 횟수 제한이 없습니다.
2. 검증 결과 저장은 무료 플랜에서 2개까지, Pro 플랜에서 무제한입니다. 결제 기능은 준비 중이며, 시행 시 별도 고지합니다.
1. 사용자는 관련 법령을 준수하며, 서비스를 불법적이거나 권한 없는 목적으로 사용하지 않습니다.
2. 사용자는 서비스의 무결성을 훼손하거나(예: 비정상적 부하, 무단 접근 시도) 타인의 권리를 침해하지 않습니다.
사용자가 입력·저장한 모델의 권리는 사용자에게 있습니다. 서비스·엔진·검증 기저에 관한 권리는 회사에 있습니다.
관련 법령이 허용하는 범위에서, 회사는 서비스 이용으로 발생한 간접·부수적·결과적 손해에 대해 책임을 지지 않습니다. 서비스는 “있는 그대로” 제공됩니다.
회사는 약관을 변경할 수 있으며, 변경 시 서비스 내 또는 이메일로 고지합니다. 변경 후 계속 이용 시 동의한 것으로 봅니다.
본 약관은 대한민국 법령에 따릅니다.