Repository navigation
Next60 Development KO
실제 JWT 캐시 비용 비교 / Actual JWT cache costs: 한국어 · English. 160쌍 동등성·48개 운영 기록 완료. 같은 요청 4개·3회 준비 상태 반복의 합계에서 고정 순서는 약 1.90배 빨라졌고 첫 후보 일치 시 캐시는 약 6.8% 느렸습니다. / 160 paired outcomes match; 48 operations complete. Aggregate fixed-order warm work is about 1.90× faster; a matching predeclared-first candidate is about 6.8% slower with caching. 독립 평가·모델 이득·토큰 절감의 증거는 아닙니다. / No independent evaluation, model benefit or token-savings evidence. PR152 · CI · Hub
최근 JWT 개발 검증 / Latest JWT development validation: 한국어 · English. 실제 원본160회,32조합4T/28F/0U,OS 최대RSS11.94MiB. 안전한 캐시 재사용의 실제 비용은 다음 별도 비교이며 새 학습·독립 평가·토큰 절감의 증거는 아닙니다. /160 actual original calls;32 combinations4T/28F/0U;11.94MiB peak RSS. Safe-cache costs are a separate next comparison; no new training/independent evaluation/token-savings evidence. PR151 · CI · Hugging Face
요청과 후보 설명의 방향·구간 경계·중단 조건을 작은 Go 배열로 비교해 확인 순서를 제안합니다. 한글 사용법 · 실험 전체. stdin JSON 한 개를 받아 관계값과 후보 순서를 출력하는 별도 riido-hintpreview입니다. 기본 riidolaya와 Codex 연동은 선택 사항이며 모델 다운로드는 필요 없습니다.
이미 본 B-tree 12요청의 모의 확인 횟수는 54→26회입니다. 정답·오답 혼합 9요청은 Top1 9/9, 정답만 있는 1요청과 정답 없는 2요청은 따로 기록했습니다. 저장 관측 비용 합은 187,673→85,793ns지만 실제 재정렬 실행의 속도 개선은 아닙니다. 새 학습·가중치·원본 API 실행 0회이며 독립 2,400개 평가와 Codex 절감은 미입증입니다.
지원 문장 하나를 8번 반복한 좁은 CPU 측정에서 관계 파싱 중앙값은 2,895ns·Go 할당 0B/0회였습니다. 전체 CLI·JSON·정렬·검증·RSS·GPU 수치는 아닙니다. 기호 보존 해시는 기존보다 느렸습니다. 지원 문법 밖은 미인식/부분 인식을 보존하며, 인식률은 정답이나 평가 자격을 뜻하지 않습니다.
저장소 루트에서 bash scripts/verify-text-representations.sh로 저장 결과를 재현합니다. PR150은 필수 CI 네 작업을 통과했고 봇이 동일 트리로 병합했습니다. 양 OS의 전체 12응답이 일치합니다. HF 추가 공개 14파일을 완전 읽기 대조했고 기존 820파일·10태그를 보존했습니다. 자체 소스는 Apache-2.0, 원천 고지는 고정 B-tree 자료를 따릅니다.
다음은 다른 소스 가족의 JWT 정책 검증을 준비합니다. 반복 서명 검증을 줄이는 단순 캐시와 먼저 비교하며, 기존 구간 표현의 전이나 새 모델 효과는 아직 관측하지 않았습니다.
이전 기록:
B-tree 사용법·결과에서 다음 튜닝용 12개 요청·96개 유한 라벨을 별도로 준비했습니다. 경계값을 포함할지, 어떤 방향으로 순회할지, 두 번 확인한 뒤 멈출지 같은 요구를 원본 Go API 여덟 개와 비교했습니다. 34개 입력에서 후보 272회를 실제 실행했고, 첫 결과 전체를 별도 계산으로 재검증했습니다.
단순 검색은 정답까지 54~59회 확인했으며, 정답을 미리 아는 낙관적인 최소치는 26회였습니다. 개선 여지를 발견한 것이며 새 모델의 성공률이나 실제 속도 개선은 아닙니다. 이 작은 검증에서는 추가 힌트 계산에 쓸 시간도 요청당 약 8µs로 좁습니다. 다음 실험은 후보 확인 횟수와 준비·추론·fallback 비용을 모두 비교합니다.
이 자료는 연결된 소스 가족 하나의 개발 학습 자료입니다. 기존 37행과 역할은 유지하며, 합쳐서 49개 독립 Golden 사례로 세지 않습니다. 정답 없음 두 요청의 문체가 다른 편향도 공개하고 다음 수집에서 표현과 truth를 독립적으로 다양화합니다. 다음 표현 비교 계획에 기존 FP32 특징 모델, 작은 관계 표현, 후속 INT8/3진 모델을 별도 단계로 두었습니다. 새 학습·가중치·Laya 인코더·GPU 실행은 0이며, 독립 2,400개 평가와 실제 에이전트 절감은 아직 달성하지 않았습니다.
저장소 루트에서 bash scripts/verify-btree-utility.sh를 실행하면 저장 결과·합성 대조·실제 Go 데이터 Reader를 검사합니다. replay를 붙이면 원본 API도 CPU에서 다시 실행합니다. Codex 연동이나 모델 다운로드는 필요 없습니다. upstream Apache-2.0 고정 소스와 전체 고지를 보존했고, 미래 모델의 모든 권리를 포괄 인증한다는 뜻은 아닙니다.
필수 CI 네 작업이 통과했고 봇이 같은 소스 트리로 병합했습니다. HF 새40파일은 고정 커밋에서 전체 바이트를 다시 대조했으며, 이전780파일의 Git/LFS 지문·크기와 기존10태그를 유지했습니다. Linux/macOS의272개 Got는 각각 원래 기록과 정확히 같고 순위 변화가 없었습니다. 서로 다른 시간 표본은 각각 보존했습니다.
PR149 · CI · Hugging Face 40 public files
이전 단계 기록:
목표는 아주 적은 자원으로 코드 후보에 대한 힌트를 자주 제안하는 작은 모델입니다. 예를 들어 “이 후보가 오류 뒤에도 다음 줄을 처리할 수 있다”는 주장을 먼저 제시하고, 실제 검사로 확인합니다. 힌트만으로 실행을 승인하거나 정답을 확정하지 않습니다.
현재 공개 자료는 **요청 35개·라벨 102개(긍정 35·부정 67)**입니다. 입력 171개, 전체 후보 관측 509개, 선택 후보 관측 500개를 포함합니다. 이전 33행은 바이트 그대로 유지했습니다. Go 생성·Reader 기록과 사용법·근거를 볼 수 있습니다.
새로 추가한 두 요청에서는 JSON 한 줄의 완전한 값 처리와 잘못된 UTF-8의 append 전 거부를 검사했습니다. 충족·반례·미상을 구분하며, 확인할 수 없는 오류 통로는 미상으로 남깁니다. 알려진 반례와 미상 조건이 함께 있으면 반례의 근거로만 부정 라벨을 붙입니다. 기존 API의 원래 계약과 새 요구의 차이를 비교하므로 불일치 자체를 원본 버그로 단정하지 않습니다.
아래 명령은 데이터 한 파일만 받습니다. 모델 다운로드·추론·학습 없이 읽을 수 있고 Codex 연동도 선택 사항입니다. 한 줄은 요청 하나, candidates는 비교할 코드 설명, label은 유한 관측에 근거한 긍정·부정입니다. 생성 근거의 미상 값과 제외 후보는 별도 qualification/evidence에 남아 있습니다.
hf download JooYoon/riidolaya-shortclaim-next60-development \
releases/next60-35-finite-v1/next60-development-thirtyfive/data/train.jsonl \
--type dataset --revision 7621cd34d298b4e2dfb59def7a9adaf6e45fef52 \
--local-dir ./riidolaya-next60-data저장소를 받은 뒤 아래 검사를 실행하면 저장 관측 전체, 데이터 바이트, 실제 프로젝트 Reader의 35개 값이 재현됩니다. 원본 관찰기·모델·새 학습은 실행하지 않습니다.
bash scripts/verify-next60-thirtyfive.shPR126의 필수 CI 네 작업이 통과했고 봇이 동일 소스 트리를 병합했습니다. 새 저장 비교 33행·309조건과 전체 데이터 35행을 Linux·macOS에서 대조했습니다. 기존 Laya native 추론 검사도 별도로 통과했습니다. GPU 실행은 미확인입니다.
Hugging Face 고정 버전과 next60-35-finite-v1 태그를 게시했습니다. 목록은 자체 파일 720개·관리 속성 포함 721개입니다. 새 파일·변경 파일 84개와 관리 속성 파일 1개, 총 888,897바이트를 고정 커밋에서 직접 대조했고 모두 일치했습니다. 옛 639개 경로와 태그 8개를 유지했습니다. 옛 파일 전체를 이번 커밋에서 다시 다운로드했다는 뜻은 아닙니다.
Viewer도 35행의 모든 필드·순서 일치, partial=false, 잘린 셀 0을 확인했습니다. 응답 커밋과 최상위 잘림 표시는 제공되지 않아 미확인으로 남깁니다. Viewer는 현재 main을 따르므로 고정 커밋 파일 증명과 구분합니다.
35개는 개발 수집 단계입니다. 둘째 후보만 골라도 28/35가 맞으므로 모델이 이보다 의미 있는 도움을 주는지부터 확인해야 합니다. 새 Golden 20→60 계획은 기존 35행과 별도의 집단이며, 5·8후보와 정답 0·1·여러 개·미상·정책 모호 사례를 고르게 수집합니다. 같은 원본 가족·공유 함수·번역·변형은 다른 평가 역할로 나누지 않습니다.
미상 전용 후보의 정답·가중치는 null로 보존하고 모호한 부모 요청은 학습에서 제외하는 Reader 초안을 검토 중입니다. 현재 학습 변환에 그대로 연결하면 미상을 음성으로 오해할 수 있어, 변환·손실·평가까지 마스크를 확인한 뒤 연결합니다. 새 학습·모델 추론은 0회입니다. 도메인별 보호 평가 2,400개와 실제 전체 검증 작업량 5% 감소는 아직 달성하지 않았습니다. 3진 저장 크기와 CPU 추론 효용도 별도로 증명해야 합니다.
자체 코드·설명·입력은 Apache-2.0이고 기존 upstream 전문 고지를 보존합니다. 원본 코드 본문·모델 본체·바이너리·사적 입력·인증정보·원시 journal은 공개하지 않습니다. 모델 게시 권리는 별도 검토입니다. 이슈19 · English.
이전 33개 시점 안내 원문 / Previous 33-request guide, verbatim
목표는 요청에 도움이 될 코드 후보를 아주 적은 비용으로 자주 제안하는 작은 주장·힌트 모델입니다. 힌트 뒤에는 실제 검사와 반례가 필요합니다. 이 자료는 그 학습 근거를 쌓는 개발 자료입니다. 새 모델의 성능이나 Codex 비용 절감 결과를 담은 자료가 아닙니다.
33개 요청·96개 라벨을 실제 Go로 생성하고 프로젝트 Reader의33회 호출·반환·값 일치를 확인했습니다. 생성 기록과 Reader 기록을 제공합니다. 기존30행을 바이트 그대로 보존했습니다. 파일은45,390바이트, SHA-256은7b28ae6d119884c902b32ba781b3514f1d3774ca3a60cea16fe4ce11a3aad919입니다. PR124의 Linux·macOS 재현 검사와 필수 CI 네 작업이 통과했고 봇이 병합했습니다. 아래의 실제 게시 결과는 그 이후 검증했습니다.
| 단위 | 새 배치 | 검증한 전체33개 |
|---|---|---|
| 의미 요청 | 3 | 33 |
| 선택한 후보 라벨 | 8: 긍정3·부정5 | 96: 긍정33·부정63 |
| 고정 입력 | 14 | 160 |
| 전체 원관측 | 42 | 476 |
| 선택한 후보의 관측 | 37 | 467 |
| 이 자료 확장의 새 Fit·모델 추론 | 0 | 0 |
42번 실행은 3개 요청에 대한 입력 변형과 후보 비교입니다. 독립 작업 42개로 세지 않습니다. 실제 기존30행에는 후보88개가 있으며, 이를 임의로90개로 채우지 않습니다. 새 후보9개 중 미상 전용1개를 제외하여 라벨8개를 추가합니다.
| 요청 | 관측으로 드러난 구분 | 유한 적합 후보 위치 |
|---|---|---|
| 지정 폭의 비트 보수 | 요청 폭64인데 저장 길이65인 입력에서 결과 길이까지64여야 함 | 첫째 |
| JSON 정수의 검사된 추출 | 큰 정수를 정확한 문자열로 다루고 소수·범위 초과를 오류로 구별해야 함 | 둘째 |
| 엄격한 이진 비트셋 읽기 | 잔여 바이트·짧은 입력·꼬리 비트를 거부하고 수신 객체를 보존해야 함 | 셋째 |
기존 API는 원래 계약에 따라 동작합니다. 여기서는 새로 요청한 계약을 만족하는지 비교합니다. 기존 동작이 추가 요구를 만족하지 않는다고 해서 upstream 버그라고 단정하지 않습니다. 저장소·출처는 추적 정보이며 모델 특징에는 요청과 후보 문장만 사용합니다.
참·거짓·미상을 구분합니다. 42개 후보-입력 결과는 충족26·반례11·미상5, 세부 조건318개는 충족272·반례31·미상15입니다. GJSON의 기존 Int에는 요구한 오류 반환 통로가 없어 5개 결과를 미상으로 보존하고 그 후보에 라벨을 붙이지 않습니다. 이진 읽기 두 결과에는 객체 변경이라는 명확한 반례와 오류 종류 미상이 함께 있습니다. 반례가 부정 라벨의 근거이며, 미상을 거짓으로 바꾸지는 않습니다.
새 배치의 미상15개 중 선택한 후보에는2개, 제외한 후보에는13개가 있습니다. 기존30행 생성 기록의 23행 이후 미상8개와 합친 범위는 각각10·23개입니다. 더 오래된 앞부분의 미상 기록은 기존 자료에 그대로 남아 있습니다. 이 수치를 전체 연구 이력의 미상 총계로 주장하지 않습니다.
데이터 파일은 data/train.jsonl이며 한 줄이 요청 하나입니다. 기존30행은 앞부분에 바이트 그대로 유지하고 새3행을 뒤에 붙입니다. 각 후보에는 명확한 라벨과 가중치1이 있습니다. 제외한 후보와 미상 조건은 qualification/ROOT-QUALIFICATION.v3.json 및 evidence/SAVED-COMPARISON.v1.json에 보존합니다.
저장소 루트에서 다음 검사를 실행할 수 있도록 Go 소스와 검증 명령을 함께 제공합니다.
bash scripts/verify-next60-thirtythree.sh검사 범위는 저장된 조건 비교, 이전 데이터 보존, 데이터 생성, 실제 LoadDevelopmentRow 값 대조와 자체 오류 제어입니다. 원본 후보·Laya·주장 모델은 실행하지 않습니다. source/saved-comparer의 공개 재현 검사는 원래 결과와 모든42행·318조건을 비교합니다. 공개용 경로 없는 설명으로 바꾼 네 opaque 기록의 지문만 비교에서 제외합니다. 사적 실행 승인 원본을 재인증했다는 의미는 아닙니다.
Go Reader 사용 예시는 기존 자료30 설명을 참고하세요. 최대16KiB 행과8개 후보의 고정 배열을 사용하며 lock이 없습니다. 새 원천은 비트셋 그룹82, GJSON·Match·Pretty 그룹83으로 묶어 development_train에 유지합니다. 저장 형식의 원천 이름은 bits-and-blooms-bitset과 tidwall-gjson이며 실제 저장소 이름은 별도 추적 필드에 보존합니다.
원관측은 한 번만 실행했습니다. 수집 프로세스의 OS 최대 RSS는 17,612,800바이트(약16.8MiB), 전체 시간은 8.052초였습니다. 여기에는1,739번의 파일·디렉터리 저장 및 ACK가 포함됩니다. 모델 추론 메모리·GPU 실행·속도 개선을 뜻하지 않습니다. 저장 비교기 실행 파일은 디버그 정보를 제외해 2,850,722바이트였으며, 이것도 모델 본체 크기가 아닙니다. Go pprof와 OS RSS는 측정 범위가 다릅니다.
새 세 요청은 후보 위치를 나눴지만 전체 자료에서 항상 둘째를 고르는 기준은 여전히28/33입니다. 학습 전 위치·문체·어휘 기준과 의미 중복을 검사합니다. 33개는 수집 단계이며 자동 Fit 시작 조건이 아닙니다. 약60개에서 출처 가족 단위의 준비도를 다시 판단하고, 도메인별 보호 요청2,400개 계획과 검증 작업량5% 감소 목표를 유지합니다. 기존 Fit3회·논리 모델3개·실패 모델 비활성은 유지합니다. 3진 저장 크기와 실제 CPU 효용은 별도로 검증합니다.
다음 수집 준비는 물리 JSON Lines의 완전한 값·오류 전 callback prefix와 잘못된 UTF-8 append 거부입니다. 기존 ForEachLine은 이미 callback의 중지를 존중하므로 이를 결함으로 재포장하지 않습니다. 새 입력의 기대값을 실제 결과 전에 고정합니다.
자체 코드·설명·입력은 Apache-2.0입니다. 선택한 upstream API의 BSD/MIT 전문 고지는 evidence/notices에 각각 유지합니다. 공개 자료에는 원본 코드 본문·모델 본체·실행 바이너리·원시 journal·사적 작업 입력·인증정보가 없습니다. 원본 source/go.mod/고지의 지문만 추적합니다. 모델 게시 권리는 별도 판단입니다.
초안의 미상 범위 오류·원천 이름 저장 형식 수정·최초 비교기 빌드의 크기 제한 실패와 후속 확인은 history/CORRECTIONS.v1.json에 기록합니다. 실패 파일과 이전 초안은 로컬에 보존했습니다. 모든 라벨은 고정 입력에 대한 유한 근거이며 새로운 입력의 일반 정답을 보장하지 않습니다.
이슈19 · 이전 HF30 고정 버전 · English
HF33 고정 버전에 공개했습니다. 새로 추가·변경한 82개 파일 842,356바이트와 관리 속성 파일을 고정 커밋에서 다시 받아 대조했습니다. 현재 목록은 소유638개·관리 속성을 포함639개이며 이전 파일 경로와 태그7개를 보존했습니다. 이전558파일 전체 검증은 HF30에서 수행한 기록입니다. 이번 커밋에서 옛 파일 전체를 다시 받았다는 의미는 아닙니다.
Viewer는 첫 요청에서 서버 준비 지연500을 반환했고, 두 번째 요청에서 33행의 모든 필드와 순서 일치·partial=false·잘린 셀0을 확인했습니다. 응답 커밋과 최상위 잘림 표시는 제공되지 않아 미확인으로 남깁니다. Viewer는 현재 main을 따르며 고정 커밋 파일 증명과 구분합니다.
아래는 데이터 한 파일만 다운로드합니다. 모델이나 학습 실행 없이 사람과 에이전트가 읽어 사용할 수 있습니다.
hf download JooYoon/riidolaya-shortclaim-next60-development \
releases/next60-33-finite-v1/next60-development-thirtythree/data/train.jsonl \
--type dataset --revision 2a1c2224e89f60eef9e381f98c0117206f60e0d2 \
--local-dir ./riidolaya-next60-dataGo Reader 예시입니다. bytes와 github.com/teamswyg/laya-tools/pkg/shortclaimdata를 가져옵니다.
example, err := shortclaimdata.LoadDevelopmentRow(bytes.NewReader(line))
if err != nil {
return err
}
input := example.Input()
supervision := example.Supervision()입력·정답·추적 정보는 구분됩니다. Reader는 점수나 학습을 실행하지 않습니다. 다음 입력 브리지는 1·7·33·60개 합성 자료와 듬성한 그룹 번호, 잘못된 계획·지문·행 연결을 검사하는 Go 테스트8개를 통과했습니다. 실제 새 자료를 학습에 넘기거나 Fit을 실행한 결과는 아닙니다. 후보 순서를 모두 바꾸는 편향 감사도 준비 중입니다.
이전 HF30 안내 원문 — 아래 “현재”와 수치는 당시 상태입니다
30개 의미 요청·88개 후보 라벨을 실제 검증하고 HF에 공개했습니다. 30행 자료와 설명 및 HF30 고정 버전을 제공합니다. 소유558파일과 표30행의 모든 필드·순서를 대조했고 이전 태그를 보존했습니다. 게시·실제 CI 근거를 보세요. 이번 자료 확장의 새 주장 모델/Fit은0이며 Codex 절감 효과는 아직 입증하지 않았습니다.
목표는 아주 작은 CPU·메모리 비용으로 자주 호출하는 주장·힌트 모델입니다. “이 요청에 도움이 될 후보는 이것 같다”는 힌트를 주고, 최종 선택은 실제 테스트·검색·검증으로 뒷받침합니다. 문장 생성 능력보다 후보를 좁혀 전체 작업량을 줄이는지가 중요합니다.
| 단위 | 현재 검증·공개30행 | 이전 HF23행 |
|---|---|---|
| 서로 다른 의미 요청 | 30 | 23 |
| 후보 라벨 | 88: 긍정30·부정58 | 67: 긍정23·부정44 |
| 고정 입력 변형 | 146 | 113 |
| 전체 원관측 | 434 | 335 |
| 선택한 학습 후보의 관측 | 430 | 331 |
| 이번 확장의 새 학습·모델 추론 | 0 | 0 |
입력 변형이나 후보 실행 횟수를 독립 요청 수로 더하지 않습니다. 30행은 모두 development_train, 후보 가중치는1입니다. 기존23행과 별도 검증했던27행은 바이트 그대로 앞부분에 남겼습니다. 출처 가족을 묶은 그룹76–81을 사용하며 retryablehttp 가족의 다음 수집은 보류 상태입니다. 새 원천 일반화는 아직 검증하지 않았습니다.
사용 설명을 읽고 data/train.jsonl을 한 줄씩 사용하세요. 파일은 41,428바이트, SHA-256은 9cdfb758f03adc34a9fb5e00e3c1525921df26d0912f6b554e4ed4c890fd10a2입니다. 요청·후보 문장, 라벨·가중치, 출처 추적 정보가 있습니다.
HF CLI가 있다면 아래처럼 고정 commit의 데이터 한 파일만 받을 수 있습니다. 학습이나 모델 다운로드 없이 읽기만 가능합니다. 전체 검증 명령은 이 저장소 checkout의 루트에서 실행하세요.
hf download JooYoon/riidolaya-shortclaim-next60-development \
releases/next60-30-finite-v1/next60-development-thirty/data/train.jsonl \
--type dataset --revision 89c0c7c9ddc3135e37e88e9da5d51ac55dff0e1d \
--local-dir ./riidolaya-next60-dataGo reader는 최대 행16KiB·후보8개의 고정 배열과 불변 값을 사용하며 lock을 쓰지 않습니다. 아래 코드에서 bytes와 github.com/teamswyg/laya-tools/pkg/shortclaimdata를 가져옵니다.
example, err := shortclaimdata.LoadDevelopmentRow(bytes.NewReader(line))
if err != nil {
return err
}
input := example.Input()
supervision := example.Supervision()모델 특징에는 요청과 후보 문장만 사용합니다. ID·출처·그룹·리비전·검사 결과는 추적 또는 정답 정보입니다. Reader 호출은 점수·학습·모델 추론을 실행하지 않습니다. 배열 구조를 사용한다는 사실만으로 속도 향상을 주장하지 않습니다.
다음 명령은 저장된 자료로 데이터 재생성·실제 프로젝트 Reader·판정 기록111개를 검사합니다. 로컬과 PR121의 Linux·macOS CI에서 실제 통과했습니다. 기존 Laya native 검사도 별도로 통과했으며 이 명령 자체는 모델이나 원본 함수를 실행하지 않습니다.
bash scripts/verify-next60-thirty.sh30행을 생성하고 실제 Reader의 30호출·30반환·30일치, 호출 전후 60개 저장 checkpoint를 확인했습니다. 입력·후보·라벨·가중치와 제한된 배열의 빈 칸까지 대조합니다. 판단 불가 조건 8개를 보존합니다. 미상을 거짓으로 바꾸지 않고, 부정 후보에는 별도의 알려진 반례가 있어야 합니다.
마지막 세 요청은 INI 전체 입력 바이트 예산, 제한된 파일 읽기, 배타적 파일 쓰기입니다. 실제 Go 원본에서 입력14개×후보3개의 42관측을 수집했습니다. 세부 조건111개는 참89·거짓20·판단 불가2였습니다. 참고 후보도 관측을 만족했기 때문에 채택했으며 그 이름 때문에 정답을 부여하지 않았습니다. 전체 parser 옵션·파일시스템 동시성·모든 입력을 보장하지 않습니다.
관측 수집 프로세스의 OS 최대 RSS는 약 17.4MiB, 시작·소스 확인·저장을 포함한 시간은 약 2.52초였습니다. Laya 또는 주장 모델의 추론 메모리·GPU 실행·Codex 절감 수치가 아닙니다. 원본은 한 번 실행했고, 저장 비교기의 최초 설정 형식 오류를 보존한 뒤 저장 파일 읽기만 다시 수행했습니다.
다음 원천22개 제안은 새 적격0개입니다. 기존 기능을 재포장하거나 현재 입력으로 차이를 구분 못하는 세 제안은 보류합니다. Go-list 의존성 목록 확인과 문구 중복0은 실행·의미 독립성·학습 자격을 보장하지 않습니다.
현재 항상 두 번째 후보를 고르면 요청 기준 27/30=90%, 항상 부정을 고르면 후보 라벨 기준 **58/88≈65.9%**입니다. 분모가 다른 단순 기준이며 모델 정확도가 아닙니다. 의미 이해 없이 높은 점수가 가능해 후보 위치·설명 문체·어휘 대조군이 필요합니다. 기존 자료와 실패 기록을 고쳐 점수를 만들지 않습니다.
30개는 자료 수집 checkpoint이며 자동 학습 시작 조건이 아닙니다. 새로운 코드 가족의 의존성·공유 보조 코드·의미 중복을 확인하고, 전체 가족 단위의 학습·검증·보정 역할을 관측 전에 정합니다. 약60개 checkpoint에서 자료 준비도를 다시 확인합니다. 기존79개와 합친109개는 현재 단순 합계이며 계보·중복 검토 전에는 독립 학습량으로 주장하지 않습니다.
후속 모델은 단순 순서 선택·어휘·규칙 기준보다 검증에 필요한 전체 작업량을 최소 5% 줄이는지 평가합니다. 주장 도메인별 보호 요청 2,400개 계획을 유지합니다. 기존 Fit3회·논리 모델3개와 실패 모델 비활성은 그대로입니다. 3진 저장은 별도 실험이며 저장 크기 감소만으로 CPU 속도·효용 개선을 인정하지 않습니다.
이슈19에서 실제 게시·CI 결과와 진행을 볼 수 있습니다. 자체 문서·소유 소스는 Apache-2.0, 원천 전문 고지는 해당 라이선스를 유지합니다. 원본 본문·모델 본체·사적 입력·인증정보·원시 journal은 공개 자료에 없습니다. 코드 라이선스 확인이 모델 계보 전체의 포괄적 권리 승인을 뜻하지 않습니다.
riidolaya is experimental. No demonstrated Codex cost savings; repository selection is preview-only.
riidolaya는 실험 단계입니다. Codex 절감은 미입증이며 저장소 선택은 preview입니다.
English README · 한국어 README · Versioned Wiki sources / Wiki 원본
이전 연구 안내 펼치기 / Earlier research
- 실제 이어 학습 V3 · 한국어 · Actual V3 training · English
- 진행·완료 보고·질문100건 결과 KO · 100-case results EN
- 라벨·이모지·상태 힌트 KO · Content/state hints EN
- 개발 진행·완료 보고·질문 pilot KO · Development pilot EN
- 작은 검증 기록 KO · Compact evidence EN
- 현재 개발 자료 35개·다음 학습 조건 · 35-row data and next training gates
- 개발용 학습 자료 2개 · Two qualified training requests
- 첫 두 과제 실제 관측 · First two actual observations
- 전체 사용법 KO · Full usage EN
- 작은 동작 힌트 KO · Small hints EN
- 설명 보강 비교76 · Caption diagnostic76
- Go 압축 가중치78 · Packed Go weights78
- 공개 함수 동작 검증 · Public function verification
- 다음 학습 자료 준비 · Training data preparation
- 동작에서 학습 정답·실제 학습79 · Grounded labels and actual fit79
- 소스 동작 관찰 · Source observations
- 저장 크기와 RAM · Storage and RAM
- 라이선스 · Licensing
- 시점별 기록 원문 / Chronological history
- 전체 연구 링크 / Full research index
- 문서 목록 / Documentation