실험: 고정된 목표로 정책 후보 선택하기

2026-10-03 안내: 아래 예제와 관측은 각 절에 고정된 소스·도구체인을 기준으로 읽습니다. 최신 바디 생성과 자체 소형 모델의 흐름은 모델과 메타프로그래밍, 지금 사용할 버전은 현재 상태와 시작하기에 정리했습니다.

잘못된 정책을 고칠 때 후보가 자신의 합격 기준까지 고쳐 버리면, 검사를 통과해도 문제를 해결했다고 말할 수 없습니다.

이 경로는 먼저 정해 둔 Gooo 목표와 후보를 비교하고, 실제 실행도 일치할 때 그 후보를 다음 실행의 입력으로 사용합니다. 목표는 후보와 별도 입력이며, 후보가 평가 도중 다시 정하는 값이 아닙니다.

이 문서는 일반 Gooo 입문이 아니라 정책 컴파일 프로파일의 실험용 사용 안내입니다. #833의 병합 구현과 해당 native 실행 근거를 설명합니다. 이후 개발 단계가 완료되었다고 가정하지 않습니다.

어떤 문제에 쓰나요?

예를 들어 “증거가 없으면 UNKNOWN, 의미가 일치하면 PASS”라는 정책을 유지하고 싶다고 합시다. 이때 후보가 모든 입력을 PASS로 바꾸고 자기 기대값도 PASS로 맞추는 방식은 허용할 수 없습니다.

다음은 해당 정책 프로파일에서 사용하는 선언의 일부입니다. 이 두 줄만으로 완성된 프로그램이 되는 것은 아닙니다.

transition "EVIDENCE_UNAVAILABLE" -> "UNKNOWN"
transition "SEMANTIC_EQUIVALENCE" -> "PASS"

Gooo 원본은 전이와 결정의 의미를 제공하고, 컴파일러는 그 정책을 해석하고 실행 가능한 판단기로 생성합니다. 실행 결과를 검증하는 호출자는 입력 증거와 기준을 보존해야 합니다. 선언에 이름을 붙였다는 사실만으로 실행이나 채택 권한이 생기지는 않습니다.

머릿속에 둘 그림

미리 고정한 목표.gooo ----> 목표의 의미 정체성
                                   |
후보.gooo ---------------> 후보의 의미 정체성 비교
                                   |
이전 관측 + 고정된 실행 요청 ------> 후보를 새로 실행
                                   |
                         목표 일치 + 기대 결과 일치
                                   |
                         별도 임시 디렉터리에 선택본
                                   |
                         다음 프로세스가 그 파일을 읽음

여기서 비교는 지원되는 프로파일에서의 정책 ID와 정규화된 의미 정체성 일치입니다. 임의의 두 프로그램이 모든 입력에서 동등하다는 일반 정리를 증명하는 기능은 아닙니다.

시작 전에 준비할 입력

이름	무엇인가	바꾸면 안 되는 것
CANDIDATE_GOOO	검토할 후보의 실제 Gooo 파일	이전 관측에 들어 있는 후보와 다른 바이트를 같은 후보라고 부르지 않기
PREDECESSOR_RECEIPT	기존 독립 관측 경로가 반환한 실제 JSON	빠진 관측을 손으로 만들어 넣거나 과거 실행이 인증됐다고 해석하지 않기
NEXT_REQUEST	다음 실행 요청 JSON	후보를 통과시키려고 원래 기대 결과나 증거 정체성을 다시 쓰지 않기
GOAL_GOOO	후보와 별도로 먼저 고른 목표 Gooo 파일	비교가 실패할 때 후보에 맞춰 기준을 낮추지 않기
GOAL_SHA256	신뢰하기로 한 기록에 고정된 목표 원본의 sha256:... 값	변경된 목표를 다시 해시해서 원래 목표인 것처럼 제출하지 않기
SELECTION_REPORT	선택 응답을 받을 호출자 소유의 외부 파일 경로	입력 저장소나 기존 증거를 덮어쓰는 출력 경로로 사용하지 않기
NEXT_REPORT	다음 실행 응답을 받을 별도 외부 파일 경로	선택 응답과 다음 실행 응답을 하나의 실행처럼 합치지 않기

NEXT_REQUEST는 gooo/meta-policy-next-execution-request/v1 요청입니다. 후보 소스·의미 정체성·이전 응답 원본의 해시와 실행할 사례를 결속합니다. 형식만 맞춘 예시 JSON을 실제 관측의 대용품으로 사용하면 안 됩니다. 세부 구현은 고정된 소스의 정책 컴파일 패키지에서 추적할 수 있습니다.

이전 응답의 바이트를 고정하는 것과 그 응답에 기술된 과거 프로세스 실행을 인증하는 것은 다릅니다. 이 경로의 표기는 CALLER_PINNED_BYTES_NOT_HISTORICAL_ATTESTATION입니다.

1. 목표에 맞는 후보인지 선택합니다

아래는 입력 파일을 이미 준비한 상태에서 사용하는 참조 명령입니다. 환경변수의 파일들이 자동 생성되는 완결형 설치 예제가 아닙니다. 해당 커밋의 소스와 Go 1.27을 사용하는 CI 또는 격리된 실험 환경에서 실행하며, 아래 예제는 jq도 사용합니다. 이번 문서 작성 과정에서 명령을 로컬 실행하지는 않았습니다.

set -eu

go run ./cmd/meta-policy-compilation-witness/next-execution \
  -policy "$CANDIDATE_GOOO" \
  -predecessor "$PREDECESSOR_RECEIPT" \
  -request "$NEXT_REQUEST" \
  -goal "$GOAL_GOOO" \
  -goal-digest "$GOAL_SHA256" \
  -materialize-selection \
  -profile-package metapolicycompilation \
  -profile-namespace metapolicycompilation \
  > "$SELECTION_REPORT"

-goal과 -goal-digest는 함께 사용합니다. -materialize-selection은 목표 선택 모드에서만 사용합니다. 실제 CLI 진입점

성공적인 선택의 결정값은 SELECTED_FOR_FROZEN_GOOO_GOAL입니다. 목표가 일치한다는 사실만으로는 충분하지 않고, 새 실행의 결과도 기존 기대값을 충족해야 합니다.

2. 선택된 파일을 다음 프로세스에 넘깁니다

다음 단계는 후보를 다시 추측하거나 응답에서 소스를 수작업으로 재구성하지 않습니다. 선택 응답의 materialized_source가 가리키는 파일을 사용합니다.

SELECTED_GOOO="$(
  jq -er '
    select(.decision == "SELECTED_FOR_FROZEN_GOOO_GOAL")
    | .materialized_source
    | select(type == "string" and length > 0)
  ' "$SELECTION_REPORT"
)"

go run ./cmd/meta-policy-compilation-witness/next-execution \
  -policy "$SELECTED_GOOO" \
  -predecessor "$PREDECESSOR_RECEIPT" \
  -request "$NEXT_REQUEST" \
  -profile-package metapolicycompilation \
  -profile-namespace metapolicycompilation \
  > "$NEXT_REPORT"

이 예제는 앞 단계와 같은 셸의 set -eu 설정을 이어서 사용합니다. 선택이 거절되었거나 경로가 없으면 다음 실행으로 넘어가지 않습니다.

선택본은 새 호출자 소유 임시 디렉터리의 selected-policy.gooo 파일입니다. 입력 저장소의 정책을 바꾸지 않고, 기존 파일을 덮어쓰는 임의 출력 경로도 받지 않습니다. 임시 경로는 실행마다 달라질 수 있습니다. 이전 CI 로그의 임시 경로를 다른 컴퓨터에서 그대로 사용할 수 있는 것은 아닙니다.

다음 응답의 NEXT_EXECUTION_OBSERVED는 그 프로세스가 지정한 후보와 사례를 실제로 사용했음을 뜻합니다. 공식 정책 채택이나 운영 배포를 뜻하지 않습니다. 또한 사례마다 기대한 응답은 PASS, FAIL_CLOSED, UNKNOWN으로 다를 수 있습니다. 모든 사례가 PASS였다고 읽으면 안 됩니다.

거절되었을 때 읽는 순서

결정·이유	해석	다음 작업
REFUTED / FROZEN_GOAL_DIGEST_MISMATCH	고정한 목표 원본과 제출한 바이트가 다름	원래 목표 기록과 제출 경로를 대조하기
REFUTED / CANDIDATE_DOES_NOT_MATCH_FROZEN_GOOO_GOAL	후보의 의미가 고정 목표와 맞지 않음	후보를 수정하거나 거절 사유를 기록하기
UNKNOWN / FROZEN_GOAL_NOT_COMPILED	목표를 현재 프로파일로 컴파일하지 못함	목표 입력과 지원 범위, 원인 기록을 확인하기
REFUTED / GOAL_MATCHED_BUT_NEXT_EXECUTION_REFUTED	목표 정체성은 맞지만 실제 실행 비교에 반례가 있음	실행 입력과 반례를 보존하고 후보를 재검토하기

목표를 해석하지 못한 실제 사례에서는 다음과 같은 원인 기록이 나옵니다. 성공으로 간주하거나 막연히 다시 실행하는 대신, 이 기록이 가리키는 입력부터 해결합니다.

{
  "state": "UNKNOWN",
  "stage": "GOAL",
  "step": "COMPILE_FROZEN_GOOO_GOAL",
  "reason": "FROZEN_GOAL_NOT_COMPILED",
  "unknown_class": "AMBIGUOUS",
  "next_operation": "RESOLVE_GOAL_SELECTION_INPUT_AND_REPEAT",
  "blocked_by": []
}

이 예시는 해당 경로의 기록입니다. 모든 Gooo 결과가 같은 UNKNOWN 분류나 동일한 필드 구성을 지원한다고 일반화하지 않습니다.

실제 확인된 범위

#833의 native 사례는 다음 차이를 확인했습니다.

관측	확인한 사실
잘못된 후보가 자기 기대값 네 개를 모두 맞춤	자기 기준의 성공만으로 목표 충족을 판단할 수 없음
그 후보를 별도로 고정한 목표와 비교	목표 불일치로 거절되며 선택 파일이 만들어지지 않음
목표에 맞는 후보의 선택	요청한 네 사례를 관측하고 기대 비교 불일치 0개
선택 파일을 읽는 다음 프로세스	네 사례를 다시 관측하고 기대 비교 불일치 0개
목표는 같지만 실행 기대와 어긋나는 후보	실제 실행의 반례 때문에 거절

다음 실행의 네 사례는 정상 PASS, 오래된 소스의 FAIL_CLOSED, 증거 부재의 UNKNOWN, 알 수 없는 상위 결정의 FAIL_CLOSED입니다. 이는 합성 회귀 사례 네 개에 대한 관측이지 언어 전체 완전성이나 외부 사용자 효용의 분모가 아닙니다.

목표와 후보는 별도 소스지만 같은 컴파일러를 사용합니다. 따라서 이 경로의 독립성 표기는 SEPARATE_GOOO_GOAL_SHARED_COMPILER입니다. 독립 구현 두 개의 검증이나 목표 자체의 올바름에 대한 증명은 아닙니다.

여기서 아직 하지 않는 일

• 어떤 목표가 좋은 목표인지 자동 결정하지 않습니다.
• 임의의 Gooo 정책이나 모든 입력에 대한 일반적 동등성을 보장하지 않습니다.
• 원본 저장소 수정, 커밋, 병합, 배포 권한을 부여하지 않습니다.
• 한 번의 선택을 지속적인 공식 정책 채택으로 승격하지 않습니다.
• 결정성이 있다는 이유로 효용이나 속도 개선을 주장하지 않습니다.

general_admission과 improvement는 별도 증거가 없으면 UNKNOWN으로 남습니다. mutation_authority와 promotion_authority도 이 경로에서는 0입니다.

핵심은 기준을 먼저 고정하고, 후보의 실제 결과를 비교하며, 선택 결과가 다음 실행에서 사용됐는지까지 구분해 기록하는 것입니다. 주장에 증거가 연결되어도 과거 주장을 지우지 않습니다. 어떤 기준·소스·실행 때문에 그 판단을 했는지 남기는 것이 이 작업의 provenance입니다.

---

사용 흐름으로 돌아가기 · Provenance와 결정 · 문서 홈