초록 우리는 검증 가능한 실행 허용성 제약에 기반하여 AGI 클래스 및 고능력 자율 에이전트 시스템의 배포 가능성과 보험 가능성을 위한 감사 수준의 형식적 프레임워크를 제시합니다. 이 프레임워크는 능력 생성과 실제 실행 사이에 엄격한 분리를 도입합니다. 능력은 제약이 없는 행동 생성기로 모델링되며, 환경에 영향을 미치는 실행은 우연한 실행 허용성 게이트를 통해 매개되고, 이는 비우회 수령 의미, 어댑터 종료 효과 채널, 실패 종료 결정, 컨텍스트 바인딩 및 정책 제한 실행 원뿔을 시행합니다. 우리는 두 가지 상보적인 형식적 결과를 증명합니다. 첫째, 우회 가능한 실행상태에서 무한 손실 렘마가 드러나며, 이는 효과적인 행동이 검증 가능한 허용성 통제를 벗어나 발생할 수 있는 경우 기대된 실행 손실의 유한한 상한이 존재하지 않음을 보여줍니다. 둘째, 기계 검증 가능한 실행 허용성 불변, 위험 계층 게이트의 신뢰성 오류 예산, 어댑터 클래스 손실 한도 및 잔여 편향 한도에 대한 조건부 제한 손실 정리가 확립되었습니다. 결과적으로 도출된 배포 가능성의 상한은 능력 생성기 구조에 독립적이며 실행 제어 표면 기하학 및 검증된 오류 매개변수에만 의존합니다. 이 결과들은 실행 제어 계층 하의 AGI 클래스 및 고능력 에이전트 시스템의 배포 가능성과 보험 가능성 분석을 위한 형식적이고 감사 준비가 된 기반을 제공합니다. 주장은 조건부이며, 불변 기반이고 증거에 제한됩니다. 범위는 명시적으로 효과적인 실행 위험으로 제한되며 의미적, 설득적 또는 비효과적 정보 피해를 포함하지 않습니다. 이 Zenodo 기록에는 동일한 작업의 여러 형식에서 정렬된 버전을 포함하는 재현 가능한 출판 패키지가 포함되어 있습니다: — 정식 출판 PDF (감사 수준 형식 버전) — 전체 LaTeX / Overleaf 소스 버전 (주요 .tex) — 동일한 기술 내용을 가진 일반 텍스트 DOI 준비 버전 모든 포함된 문서는 정리, 정의 및 불변 수준에서 내용적으로 동일하며 재현 가능성, 감사 검토, 인용 및 표준 스타일 평가 워크플로를 지원하기 위해 제공됩니다. 저자: Khamikoev, Aslanbek Yurievich 연락처: ai.hdr.technology@gmail.com
아슬란벡 유리예비치 카미코예프(Mon,)는 이 문제를 연구했습니다.