실제 CI 증거로 읽는 언어 지표

이 페이지는 언어 지표 지도의 소스 정의와 실제 관측 결과를 구분해 읽기 위한 자료입니다. 서로 다른 코드 기준점의 증거를 합쳐 하나의 완료 판정으로 만들지 않습니다.

1. 문법 검증: 정확히 무엇이 60/60인가

대상은 통합 PR #772의 커밋 f8edc456ea0bc9da480b49e57e6995c34095bd17입니다. 이 결과는 Transformation effect ledger 실행의 language-syntax-outcomes-f8edc456ea0bc9da480b49e57e6995c34095bd17 산출물에서 읽었습니다. 산출물 ID는 10164811982입니다.

관측 항목	실제 보고 값	읽는 방법
고정 사례 실행 및 충족	60/60	등록된 이 사례 집합에 대한 결과
언어 기능 범위 사례	58/58	아래 운영 규칙 사례와 구분
운영 규칙 범위 사례	2/2	언어 기능 58개에 더해 전체 60개를 구성
유효 입력 사례	57	유효 입력에 대한 관측 수
잘못된 입력 사례	3	기대한 진단 거부를 확인한 수
AST 재현	57	보고서의 ast_replays
바이트 재현	57	보고서의 byte_replays
의미 구조 재현	57	보고서의 semantic_replays
Get-Put / Put-Get 법칙	각각 57	두 종류의 왕복 법칙을 별도로 관측
미충족 / 미해결	0 / 0	이 고정 사례 집합 안에서의 값
등록된 Gooo 소스	72개	전체 저장소의 모든 파일 수와 다름
보고된 Gooo 줄 수	1,986	보고서의 gooo_lines 범위
미등록 / 등록 파일 누락	0 / 0	보고서의 등록 대조 결과

이 산출물의 결정은 PASS, 이유는 LANGUAGE_SYNTAX_ROUNDTRIP_PROVEN, 해상도는 EXACT입니다. 전체 프로그래밍 언어의 완성률이나 외부 사용자 효용을 뜻하지 않습니다.

지표와 메타 코드의 연결

• 지표: gooo.metric.language.syntax-roundtrip-readiness-bps.v1
• 역할: OUTCOME, 증명 선택: COHERENCE
• 생성자: languagesyntax.Evaluate
• 소비자: self-improvement-cycle
• 메타 연산: prove-language-syntax-roundtrip
• 이 실행의 값과 목표: 10000 / 10000
• 세부 분모: 고정 사례 60개, 그 안의 언어 기능 58개와 운영 규칙 2개

숫자만 떼어 읽지 않고 같은 보고서의 사례, 소스 커밋, 메타 연산과 함께 읽어야 합니다. 이 보고서에는 인디케이터 16개와 증명 레코드 3개가 있지만, 개수가 많다는 이유로 더 높은 품질을 주장하지 않습니다.

재현과 부작용의 범위

first/artifact.json과 replay/artifact.json은 각각 96,366바이트이며, 두 파일의 SHA-256은 모두 35dae3b0b71b429ddf09669a2606bcc03e6e1711d4dc4991c6433bc6964734e8입니다. 파일 해시의 일치와 위 표의 의미 재현 관측은 서로 다른 증거입니다. 해시 일치만으로 의미가 옳다고 판정하지 않습니다.

보고서의 repository_writes는 0이고 mutation_authorized는 false입니다. 이 값은 해당 평가 실행의 범위이며, 개발 과정 전체에서 파일을 수정하지 않았다는 뜻이 아닙니다.

잘못된 문법 입력 3개를 거부했다는 결과는, 보고서 기록 자체가 실패하는 경로나 검증 실패 보고서의 보존 경로를 모두 검증했다는 뜻도 아닙니다. 또한 이 부분 산출물만으로 통합 PR 전체의 병합 가능 여부를 판정하지 않습니다.

2. 검증 성공 안에도 UNKNOWN은 남을 수 있다

이 절은 다른 기준점입니다. PR #770의 커밋 41e5d4cbd1c5ed48a9a37495b22926991620a8b1과 CI 실행 34502991761을 다룹니다. 최종 증명 산출물은 ci-proof-34502991761-1, ID 10164992669입니다.

최종 gooo/ci-proof/v4 결정은 PASS이며, 정해진 여섯 검사인 형식, 정적 검사, 일반 테스트, 경쟁 조건 테스트, 의미 검증, CI 정책이 모두 성공했습니다. 그러나 같은 증명의 그래프 관찰은 다음과 같습니다.

{
  "state": "UNKNOWN",
  "stage": "DOMAIN_EVIDENCE",
  "step": "GRAPH_DUMP",
  "reason": "GRAPH_OBSERVER_NOT_RUN",
  "unknown_class": "DIRECT_MISSING",
  "next_operation": "RUN_GRAPH_DUMP_OBSERVER",
  "blocked_by": []
}

• 모르는 것: 이 CI 증거 경로에서 그래프 관찰을 실행한 결과
• 모르는 이유: 관찰을 실행하지 않음
• 다음 작업: 명시된 그래프 관찰을 실행하고 결과를 기록
• 뜻하지 않는 것: 언어에 그래프 기능이 없다는 판정, 또는 그래프 검증이 성공했다는 판정

그래프 명령은 go run ./cmd/gooo graph dump examples/billing/main.gooo로 기록돼 있지만, 상태는 deferred이고 available은 false입니다. 명령 문자열이 존재하는 것과 명령을 실행한 것은 다릅니다.

이 실행의 증명 경로는 feature_dev, guardian_required는 false였습니다. 보호 설정 관찰은 unavailable로 남아 있고 Guardian shadow 실패를 성공으로 바꾸지 않았습니다. 관찰 불가를 보호 설정이 없다는 사실로 읽으면 안 됩니다.

3. 지도에서 합치지 않는 것

• 공개 지도의 소스 목록 기준점은 ab91e6ec8ae7d587acbfc3d041f6edacefc02f05입니다.
• 이 페이지의 문법 실행 증거 기준점은 f8edc456ea0bc9da480b49e57e6995c34095bd17입니다.
• 그래프 UNKNOWN 보존 증거 기준점은 41e5d4cbd1c5ed48a9a37495b22926991620a8b1입니다.
• 세 기준점을 같은 실행 결과처럼 결합하지 않습니다. 공개 지도에 최신 CI가 자동으로 연결됐다는 주장도 하지 않습니다.
• 동일 조건의 정확한 전후 실행 쌍이 없으므로 실행 속도나 메모리 사용이 개선됐다고 주장하지 않습니다.
• 외부 사용자가 가치를 얻었다는 증거와 전체 언어 완성 여부는 이 자료로 닫지 않습니다.

정의가 있는가, 코드와 연결됐는가, 어떤 실행에서 무엇을 관찰했는가, 실제 사용자에게 도움이 됐는가는 서로 다른 질문입니다. 지도는 이 구분을 보존해야 합니다.