유한 입력 주장 감사56e 결과

설명의 범위를 명시한 별도v2에서 실제 함수 관측과 제한된 정답을 연결했다. 소스/문구/계획을 먼저 고정하고 공식 감사1회·재시도0으로 원천4개×입력9개=36관측을 완료했다.12파생 요청 행 중11개는 유한 범위에서 답할 후보가 있고,1개는 없다. 모델 학습·유용성·LLM 비용 절감 검증은 여전히 미완료다.

예를 들어 일부 함수는 따옴표 처리 입력에서는 원하는 결과를 내지만, 오류 때 부분 출력을 남긴다. 함수 전체의 “wrong” 역할을 모든 작은 주장에 복사하면 잘못된 라벨이 된다. 이번에는 무슨 속성을 어떤 입력에서 확인하는지를 요청에 명시하고, 실제 관측만 해당 속성 라벨에 연결했다.

관측된 결과와 분모

지정 입력 집합	모든 literal과 일치한 원천 / 전체4	파생4행의 일치 후보 수
따옴표 안의 쉼표2입력	3/4	2,3,2,2
바깥 escape2입력	2/4	1,2,1,2
syntax error와 zero output5입력	1/4	1,1,0,1

원천·속성 조합12개 중6개는 모든 지정 literal에 일치한다. 개별 실제 source/input 관측36개는18일치/18불일치다. 같은 근거를12행의36후보 라벨에 참조하면18일치/18불일치이며, 우연히 같은 수일 뿐 두 분모는 다르다. 이는 의도적으로 결함을 포함한 원천 대조의 결과로서 모델 정확도50%가 아니다. 모든 입력을 검사하며 첫 불일치 뒤 나머지 입력을 생략하지 않았다.

관측 dispatch36, 실제 후보 호출36, 완료36, observer failure0, Git blob 확인36이다. Error, Count, 전체8개 Tokens, Panicked exact 비교로 syntax error가 없는 빈 출력도 불일치다. 정상 완료는 실행 수집이 끝났다는 뜻이며 모든 후보가 정답이라는 뜻이 아니다.

봉인과 공개 원문

• 소스/문구/검토/단위 검사/모듈 freeze: 1f9631c2819abf24ca57e6317ed48b8397be0881.
• 입력/실행계획 freeze: ca5ff83b847e984dab628be536cc2462ddff8221.
• 실제 Go1.27.1 Darwin/arm64 CGO0 trimpath 실행 파일:8,824,130bytes, SHA b5b5f97acb48dd3c1d6f472effee6e56d6d094e7e2b25db4ab0c68d06c792612. 본체는 Git 제외.
• 입력:30,846bytes, SHA 86556bd96599ae013441f199f90c8cd619a011d52212d1ccbfdbe98b6f6a1ec5.
• 계획:5,901bytes, SHA 6a21ff6da7772476e070509b45bf9506b95f50473841bf3183d17a2fca7ded69.
• 원문 결과:59,125bytes, SHA 4a50160b99ea059a8de6e7be92ba22b5017f94dec2d3ca2fea644bda759a1be8.

JSON3개 합계95,872bytes다. 컴파일 원천21개+support13개는 소스 commit, 입력2개는 별도 input commit의 실제 blob과 관측 전에 대조했다. 실행 파일 일치·canonical JSON·미등록 package 파일·길이/입력 선언·closure가 어긋나면 정답 대신 거절한다. 공식 기록은 한 번 수집했다. 이후 추가한 publication_test.go는 수집 전34핀에 소급하지 않으며 CI의 동일 관측 replay는 새 공식 시도/표본이 아니다. 실제 CI/병합 완료 여부는 이슈19의 후속 실행 기록에서 확인한다.

해결한 것과 계속 미완료인 것

기존56c 요청12개·후보 설명36개는 pending으로 그대로다. 새v2는 요청에 명시적으로 hex 입력을 갖는 AI-assisted 합성 문제이며, 일반 자연어 함수 의미 또는 기존 문제의 해결로 소급하지 않는다. 사람이 검토·승인했다는 기록이 없으므로 독립 에이전트 source-reading 검토로 표시한다. 기존 unknown4와72부모·17전체/16라벨 그룹은 변경하지 않았다. 원천4개가 같은 helper 가족에 연결되므로 새 독립 부모/가족0이다.

각 prepare/audit preflight의192번 정규화는 길이 검사이며 숫자 encoder/순위 특징/순위 실행0이다. 역할/분할/fit/새 모델/가중치/모델 호출/유료 호출/보호 최종·CoSQA 접근/활성화0. GOMAXPROCS1·heap256MiB는 설정이며 실제 CPU/RSS/GPU·지연을 측정하지 않았다. 기존56d의 첫577ms 지연 및 전부 BM25 fallback 기록도 그대로다.

초소형 모델을 쓸 만하게 만드는 다음 핵심은 다양한 실제 원천과 효용이다. 고정 버전의 semver/glob 조사는 읽기와 구체 계약 제안까지 완료했지만, 새 acquired request/truth는0이다.120→240 자료·닫힌 compile/권리·독립 계약과 작성 흐름·관계 그룹을 실제 확보하고 비학습 순위 효용을 별도 사전 계획으로 검사해야 한다. 최소15그룹/필요 효용5%·도메인별 고유 보호 최종2400개 기준을 낮추지 않으며 학습 적격false를 유지한다. 새 HF 가중치 발행0이다.