원리와 경계

업데이트: 2026-10-03.

Gooo는 원본의 의도, 생성 구조와 실제 관측 사이의 연결을 유지하려 합니다. 어떤 결과를 받아들일 수 있는지 이해하려면 이 세 부분을 함께 읽습니다.

의도의 원본과 생성 경로

Gooo 선언
  → 의미 IR
  → 허용된 조립과 Go 생성
  → 입력·출력·실행 관측
  → 다음 작업을 위한 기록

업무 의도는 Gooo 선언에 있습니다. IR은 이를 정규화해 비교하고 생성하는 구조입니다. 모델은 선언된 선택 공간의 순위를 제안하며, 타입과 범위 검사는 컴파일러가 담당합니다. 원본 변경은 근거와 허용 범위가 있는 변경 경로로 진행합니다. 원본과 생성의 계약.

같은 결과를 비교하는 기준

비교하는 것	필요한 조건
파일 바이트	같은 파일 범위와 해시 방식
의미 구조	같은 프로필과 정규화 규칙
입력에 대한 동작	같은 입력·기대값·실행 계약
모델 후보 순위	같은 입력 특징·가중치·계산 규칙
변경의 효용	같은 과제·예산·완료 기준

최근 모델 실험은 첫 선택이 같아도 뒤의 후보 순위가 달라질 수 있음을 보여줬습니다. 그래서 첫 선택, 전체 순위와 부분 충족 곡선을 각각 기록합니다. 수치 재현성 사례.

양방향 변환과 원본 보존

BX는 소스와 의미 표현의 왕복 관계를 다룹니다.

• 같은 의미를 다시 읽고 쓰면 그 의미가 유지됩니다.
• 표현 가능한 변경을 반영하면 다음 읽기에서 변경을 관측할 수 있어야 합니다.
• 관련 없는 선언과 안정적 ID는 보존합니다.
• 충돌과 롤백은 실제 트랜잭션 결과에 따라 기록합니다.

구현의 Accepted와 ValidatedBeforeRollback은 각각 반영된 조정과 롤백 전 검증 기록을 표현합니다. 결과 타입 · 조정 구현.

작업 단계마다 남기는 관측

후보 선택, 예시 평가, 코드 생성, 빌드, 실행, 저장소 반영과 배포는 각각 기록합니다. 각 기록에는 적용 범위와 실제로 사용한 원본·도구·입력이 따라갑니다.

모델 확률은 경로에 대한 선택 분포이고, 유한 예시의 충족률은 실제 평가 결과입니다. 확인할 실행 권한이 남아 있다면 해당 차원은 UNKNOWN으로 보존합니다. 다음 작업이 그 이유와 필요한 관측을 이어받게 하는 것이 목적입니다.

다음에 넓힐 범위

현재 제한된 바디와 명시된 후보 계획에서 이 연결을 구현하고 있습니다. 더 넓은 타입·조합, 자연어의 기능 발견, 생성 결과의 역관측과 실제 작업에서의 효용을 차례로 확장할 계획입니다. 언어와 모델의 다음 작업.

Provenance와 결정 · 현재 상태 · 문서 홈