표준

표준 사양

결정론적 실행 표준, 적합성 프로필, 머신 판독 가능한 용어로 '신뢰'를 정의하는 RFC.

실행 권한

실행 권한. 효과 타입 도구, 비가역 작업의 2단계 커밋, 서명된 결정 기록, 머신 판독 가능한 감사.

결정론적 평가 프로토콜. 6단계 파이프라인: 계약 고정 → 한도 체크 → 반사실 → 불변 → 판정 → 영수증.

경제적 인센티브가 있는 암호화 증거. 증거 팩, 보관 정책, 보상 구조, 시장 메커니즘.

적합성

작업은 타입화된 제안입니다. 모든 도구 호출은 스키마 검증이 포함된 결정론적 JSON 봉투를 반환합니다.

모든 작업이 해시 링크 영수증 체인을 생성합니다. 증명은 세션 루트에 앵커된 유향 비순환 그래프를 형성합니다.

실행은 TEE에서 수행됩니다. 증명 보고서가 ProofGraph에 바인딩되어 영수증이 실리콘 수준에서 위변조 방지됩니다.