Repository navigation
Language Evidence Reading Guide
과거 관측을 읽는 사례입니다. 아래 수치와 PR 상태는 본문에 고정된 과거 소스·실행에 해당합니다. 지금의 지원 상태가 아닙니다. 지표 읽기 안내 · 현재 상태
이 문서는 지표를 새로 만드는 대신, 서로 다른 기존 수치를 어떤 근거로 읽어야 하는지 설명한다. 각 수치는 아래에 고정한 소스와 실행에만 해당한다. 현재 언어 전체의 완성률이나 사용자 효용 점수가 아니다.
| 용어 | 한국어 풀이 | 무엇을 확인해야 하는가 |
|---|---|---|
| Metric definition | 무엇을 어떤 단위로 셀지 정한 지표 정의 | 식별자, 계산식, 입력 범위, 메타 코드와 생산자 |
| Indicator decision | 한 실행에서 근거에 따라 내린 판정 | 실행·사례·정책·소스 식별자와 증거 |
| Measurement | 실제로 관측한 값 | 단위, 관측 구간, 원본, 누락 여부 |
| Claim | 아직 증거와 대조해야 하는 주장 | 무엇을 어디까지 주장하는지 |
| Evidence | 주장을 지지하거나 반박하는 근거 | 생성 경로, 정확한 소스, 변경 여부 |
| Conformance | 명시된 계약과 관측 결과의 일치 | 검사한 계약과 사례의 범위 |
| Closure | 명시된 범위에서 필요한 근거가 갖춰진 상태 | 그 범위 밖의 문제까지 해결한 것은 아닌지 |
| UNKNOWN | 아직 판정할 근거가 충분하지 않음 | 단계, 작업, 원인, 유형, 다음 작업, 선행 장애 |
| REFUTED | 관측한 반례나 모순 때문에 주장이 반박됨 | 누락과 혼동하지 않고 실제 반례를 보존했는지 |
주장, 근거, 판정은 서로 대체하지 않는다. 근거가 생겼다고 원래 주장을 기록에서 지우면 나중에 무엇을 검증했는지 복원할 수 없다. 주장 식별자를 유지하고 어떤 근거가 어떤 범위를 닫았는지 연결한다.
| 수치 | 단위와 근거 | 뜻하지 않는 것 |
|---|---|---|
| 1,094 |
언어 개발 지도의 소스 ab91e6ec8ae7d587acbfc3d041f6edacefc02f05에서 수록한 지표 ID·후보 |
1,094개 기능이 완성되었다는 뜻이 아니다. 지도는 최신 dev의 실행 상태가 아니다. |
| 593 / 690 | 같은 지도 추출에서 지원되는 생성자 호출과 그 호출 집합. 나머지 97건은 미해석 | 모든 호출의 런타임 값이나 모든 지표의 의미를 해석했다는 뜻이 아니다. |
| 27,365 |
CI 실행 34508365651의 증거 봉투가 기록한 artifact_provenance.indicator_decision_ledger_count
|
고유 지표 정의 수가 아니다. 이 문서가 원장 전체를 별도로 재계수한 것도 아니다. |
| 60 / 60 | 소스 f8edc456ea0bc9da480b49e57e6995c34095bd17의 문법 왕복 산출물에서 만족한 등록 사례. 유효 57, 무효 3 |
가능한 모든 문법이나 프로그램을 검증했다는 뜻이 아니다. |
| 6 / 6 | 같은 소스의 최종 CI 증거에 포함된 기본 검사 작업: 형식, 정적 검사, 테스트, 경쟁 상태 테스트, 의미론 적합성, CI 정책 | 여섯 개의 언어 기능이나 여섯 개의 사용자 시나리오가 아니다. |
| 12 | EntityFields 관찰기의 기존 메타 셀·활동 수 | 공개 CLI 경로 수나 파일 수가 아니다. |
| 13 | EntityFields 기본 관찰 묶음의 파일 수 | 지원 기능 수나 언어 완성도 분모가 아니다. |
지도 자체의 현재 실행 적합성은 UNASSESSED다. 지표가 검색되거나 한국어 설명이 존재한다는 사실과, 해당 지표가 최신 소스에서 실제로 관측·검증되었다는 사실은 분리한다. 미해석 항목을 0이나 성공으로 채우지 않는다.
EntityFields의 경우 기존 메타 선언이 관찰 활동을 선언한다. 관찰 보고서의 셀은 활동, meta_operation, evidence_key, 판정, 증거 digest를 함께 가진다. 지원 뷰는 그 셀의 근거와 실제 공개 경로 관찰을 연결해야 한다.
따라서 화면에서 어떤 항목을 '지원됨'으로 읽으려면 다음 연결을 따라갈 수 있어야 한다.
- 소스와 계약: 어떤
.gooo입력과 어떤 프로파일을 다루는가. - 활동과 생산자: 어느 메타 활동과 관찰 코드가 값을 만들었는가.
- 실행과 산출물: 정확히 어느 커밋·CI 실행에서 어떤 결과가 생성되었는가.
- 판정과 범위: 지지·반박·미확정 중 무엇이며, 어떤 범위에 한정되는가.
- 다음 작업: 미확정이면 무엇을 더 관측해야 하는가.
게임이나 다른 제품은 이 연결을 실제 사용 사례로 확장하는 곳이다. 게임 수나 화면 수를 언어 자체의 완성률에 더하지 않는다.
#772는 2026년 9월 11일 03:30:28 KST에 일반 squash 병합되었다. 병합 커밋은 e7d9da0265a04a0f705da59502cc27e40bdb091c, 검증한 통합 소스는 f8edc456ea0bc9da480b49e57e6995c34095bd17, 기준 소스는 ac1d49d916f3e8208a4ec2a0af4f51e09bda6088이다.
원래 #764, #766, #767, #770, #771은 각각 별도 병합된 것이 아니라 #772에 통합된 것으로 닫았다. 최종 ci-proof.json은 PASS이고 경로는 feature_dev, guardian_required=false다. 별도 guardian shadow 실패를 성공으로 바꾸거나 보호 설정을 낮추지 않았다.
여전히 다음 사실은 함께 남는다.
- 도메인 증거의 graph 명령은 실행되지 않았으며
UNKNOWN / GRAPH_OBSERVER_NOT_RUN이다. 명령 구현의 존재만으로 실제 관측을 대신하지 않는다. - 보호 설정 관찰은 unavailable이다.
exists=false만 떼어 보호 설정이 없다고 해석하지 않는다. - 증거 출처 연결이 BOUND여도
promotion_authorized=false다. 자동 변경 적용 권한이나 완성된 자율 자기개선을 주장하지 않는다.
같은 CI 작업의 API 단계 시각에서 선언된 메타 작업 실행은 1,438초, 재실행은 1,400초였다. 실행과 재실행은 서로 다른 단계이지 개선 전후 실험 쌍이 아니다. 따라서 차이가 있다는 이유로 '38초 개선'이라고 쓰지 않는다.
시간·메모리 개선을 주장하려면 같은 사례·입력·계약·도구체인·측정 모드에 묶인 전후 값이 필요하다. 묶음이 없으면 개선은 UNKNOWN이다. 캐시 재사용으로 실제 실행을 생략한 경우의 0을 관찰 시스템 전체의 비용이 0이라는 뜻으로 읽지 않는다.
#774는 사례 이름이 아니라 영수증 내용과 실제 읽기 오류로 판정하도록 수정한다. 새 기준을 반영한 후보 소스는 2c6cf9b16b3492f7574018779a52f8966cc1c4eb이고, 새 실행으로 검증한다. 이전 소스의 결과를 새 결합 트리의 증거로 쓰지 않는다.
#775는 기존 관찰기와 공개 graph 출력의 엔터티·필드·관계 구조를 대조하는 후속 후보다. 지원 뷰의 경로를 12개에서 13개로 늘리므로 뷰 스키마도 v2로 바꾸되, 메타 셀 12개와 기본 산출물 13개는 바꾸지 않는다. 새 관찰 사례의 통과 여부와 생성 문서 채택 여부는 해당 PR의 정확한 커밋·CI 산출물에서 확인해야 한다. 이 문서는 후보 선언을 통과 결과로 세지 않는다.