아키텍처와 안정성

서비스 경계

las/ques는 PostgreSQL을 최종 데이터 기준으로 사용하는 Next.js 애플리케이션입니다. 런타임에 독립적인 엔진 코어가 연구 실행, 컴퓨팅, 지식 및 결제 계약을 정의합니다. 웹 계층은 인증된 애플리케이션 프로시저와 화면을 제공합니다.

Cloudflare Workflows는 지속성 있는 에이전트 작업을 실행합니다. 예약된 상태 조정기는 대기 중인 작업을 진행하고, 작업 상태를 확인하고, 트랜잭션 아웃박스를 처리합니다. CPU 작업은 Cloudflare Containers 풀에서 실행되며 여러 작업이 한 머신을 공유합니다. 같은 Cloudflare 서비스 워커가 BoTorch 최적화기와 Lean 증명 검사기도 처리합니다.

Git 저장소는 영구 볼륨을 사용하는 전용 Git 노드에 저장됩니다. 웹 애플리케이션은 Git 작업을 노드로 보내기 전에 권한을 확인합니다.

지속성 있는 실행

에이전트 턴은 임대와 세대 번호를 사용합니다. 모델 단계와 해당 비용은 함께 커밋됩니다. 장애 후에는 기록된 도구 호출을 무조건 반복하는 대신 재개합니다.

컴퓨팅 시도에는 시도 토큰이 포함되어 이전 콜백이 더 최신 시도를 덮어쓰지 못하게 합니다. 콜백과 폴링이 함께 작동하며, 콜백 실패만으로 저장된 작업 결과가 바뀌지는 않습니다.

아웃박스 처리는 크기가 제한되고 중복이 제거된 페이지 단위로 정정과 발견을 전달합니다. 진행 상황은 웹 프로세스의 수명이 아니라 PostgreSQL 기록으로 결정됩니다.

격리와 산출물

컴퓨팅 실행은 별도 컨테이너에서 코드를 실행하고, 출력 업로드에는 각 시도에 한정된 URL을 사용합니다. 저장된 출력, 로그, 체크포인트, 지표 및 시드를 나중에 검토할 수 있습니다. 해당되는 경우 문서와 지식은 테넌트별로 범위가 제한되며, 외부 프롬프트 콘텐츠는 신뢰할 수 없는 것으로 취급합니다.

증명 검사기는 컴파일과 신뢰할 수 있는 감사 단계를 분리합니다. 명제가 실제 주장을 충실히 반영하는지는 Lean 컴파일 성공 여부와 독립적으로 확인합니다.

구현 참고 자료

• docs/engine.md: 연구 작업 수명 주기, 반복 연구, 결제, 근거, 지식 및 결과 보기.
• docs/compute-services.md: 작업, 최적화기, 증명 검사기, Python 도우미, 실행 한도 및 배포.
• docs/forge-git-service.md: Git 노드 계약, 설정, 백업 및 복원.
• config/engine.config.ts: 모델 요율, 엔진 기본값, 머신 자원 및 요금제 한도.
• config/billing.config.ts: 구독 요금, 좌석 및 크레딧 패키지.
• config/auth.config.ts: 계정 및 인증 설정.

이 문서는 이 애플리케이션의 구현 가이드이며 인프라 엔드포인트에 대한 공개 접근을 보장하지 않습니다. 현재 결제 설정에서는 계정 API 이용 권한이 비활성화되어 있습니다.