laya-tools · User Guide / 사용자 안내

Go 계산 개선74 한국어 · Go calculation improvement74 English: 같은 특징·점수를 유지하고 로컬 공개 예제에서 계산 시간이약24%·20% 줄었으며 할당량은 같습니다 / identical features and scores with approximately24%/20% lower local feature time and unchanged allocations. 단독 저장 reader74 · Standalone storage readers74: RSS18.23/18.41MiB로 RAM 절감은 입증되지 않았습니다 / no RAM saving was demonstrated. 입력 설명 보강 · Input description review keeps source truth and visible information separate / 코드 정답과 모델이 읽는 정보를 나눠 다음 튜닝을 준비합니다.

새 자료의 실제 관찰73 · New-source observations73: three goals/24 finite inputs matched in one actual Go run; labels/fits0 / 3목표24입력은 일치했지만 새 학습 정답은0입니다. 저장 형식73 · Storage73 preserves FP64 bits and compares minified/gzip controls; file size is separate from RAM / 수치를 유지한 저장 기준선을 비교하며 파일과 RAM을 구분합니다.

두 번째 작은 주장 모델 결과 · Second tiny claim fit: 후보 확인27→31→33으로 두 학습 방식의 효용은 실패했습니다. 기본 정렬을 유지하고 개발 데이터 다양성을 먼저 늘립니다. Go 입력 재사용 · Go input reuse은 정렬 할당81→0을 관측했고 전체 회귀 검사를 통과했습니다.

Actual first fit71 / 실제 첫 학습71: 한국어 / English. One complete76 FP32 fit completed; validation checks27→31, utility failed. Keep existing controls and test one fixed same-parent ranking term. File32,792B/whole-fit RSS26.98MiB/wall0.805s are separate observations, not LLM savings. / 전체76개 FP32 학습은 완료됐지만 효용이 실패해 기존 규칙을 유지합니다. 원래72개 준비 자료의 HF immutable archive는 공개·원본 대조를 완료했습니다. Earlier entries remain historical / 아래 기록은 당시 상태를 보존합니다.

Actual preparation69–70 / 실제 준비69–70: 한국어 / English. Original72 arrays and saved-array review completed; whole76 roles were reassigned once before fitting. Payload1.69MiB and whole preparation RSS53.95MiB are separate observations, not serving costs. / 원래72개 배열과 별도 검증을 완료하고76개 전체를 다시 분할했습니다. payload와 전체 준비 RSS를 구분하며 모델 추론 비용이 아닙니다.

Actual claim checks66–69 / 실제 주장 검사66–69: 한국어 / English. Roles66 completed once; original72requests/216captions fit existing input bounds. Loss-eligible groups remain9/3/3. Four finite upstream requests across2source families were observed separately; first projection and fitting remain subsequent steps. / 역할66을 한 번 완료했고 원래72요청·216설명 모두 기존 입력 한도에 맞습니다. 학습 적격 그룹9·3·3을 유지하고, 두 원천 가족의 유한 upstream4요청은 별도로 관측했습니다. 실제 투영·학습은 다음 단계입니다. Earlier entries below retain their historical state / 아래 기록은 당시 상태를 보존합니다.

Claim preparation64–67 / 작은 힌트 학습 준비64–67: 한국어 / English. One actual metadata inventory preserved216 candidates:35 positive/95 negative eligible,23 known masked and63 unknown. Go projection and whole-group execution tools are prepared; original roles and fitting remain pending. / 실제 metadata 검사1회에서 후보216개를 보존했습니다. 적격 양성35·음성95·known 제외23·unknown63이며 Go 투영·전체 그룹 실행 도구를 준비했습니다. 원본 역할 배정과 학습은 아직 진행 전입니다.

Caption content61 / 설명 내용61: 한국어 결과 / English results · 상세 검토 / Detailed findings · 기계적 대조 / Mechanical checks. All 738 original review entries across the existing 72 requests have readings: 524 consistent, 111 contradictions, 12 omissions and 91 uncertain. These are review entries, not new tasks or model results. The 21 unknown requests remain unknown; roles and fitting remain pending. / 기존 72요청의 원래 검토 항목738개를 모두 읽었습니다. 일치524·모순111·누락12·불확실91이며 새 작업 수나 모델 성과가 아닙니다. 보류 요청21개는 유지하고 역할 배정·학습은 아직 미완성입니다.

Go preparation62–63 / Go 준비62–63: 역할 분할 모듈 / Whole-group role module · 공개 원문 문구 / Public upstream wording. The bounded Go module preserves connected groups and rejects invalid coverage IDs before sorting. The 25 complete upstream quotes retain MIT notices. Synthetic checks and source matching do not establish training readiness, independent data authorship or measured memory savings. / Go 모듈은 연결 그룹을 보존하고 잘못된 coverage ID를 정렬 전에 거절합니다. 원문25개는 MIT 고지를 보존합니다. 합성 검사와 원문 대조만으로 학습 준비·독립 작성 원천·실측 메모리 절감을 증명하지 않습니다.

Caption references59 / 설명 참조59: 한국어 결과 / English results · 사용법 / Usage. One frozen Go run connects 288 original text locations and 18 literal expressions; content review, roles and fitting remain pending. / Go 공식1회로 원문288곳·리터럴 표현식18곳을 연결했습니다. 설명의 의미 검토·역할·학습은 아직 미완성입니다. 공개 원천 전이 준비 / Source transfer preparation.

Stored-truth utility58 / 저장 정답 효용58: 한국어 결과 / English results · 사용법 / Usage. The best fixed control needs 91 checks versus an answer-knowing oracle's 73: 19.8% headroom on 72 existing development requests, not achieved model or Codex savings. Retain 21 unknowns; training is not ready. / 기존 개발 요청 72개에서 가장 좋은 고정 기준은 확인 91회, 정답을 아는 순서는 73회였습니다. 약 19.8%는 개선 여지이며 모델 성과나 Codex 절감이 아닙니다. 보류 21개를 유지하고 학습 준비는 미완성입니다. 다음 준비 / Next preparation.

Public behavior57 / 공개 동작57: 한국어 결과 / English results · 사용법 / Usage.62 actual Go API observations:59 matches/3 disagreements; preserve two reversed large-number comparison discrepancies and one stronger glob policy difference. Two source families/six finite contracts; no model, final or savings claim. / 원본 Go API62관측의59일치·3차이를 보존합니다. 큰 숫자 비교의 반전쌍과 강한 glob 검사 정책의 차이를 구분하며 두 원천 가족·여섯 유한 계약입니다. 모델 성능·최종 평가·절감 성과가 아닙니다. Laya 회고KO / EN.

Finite claim truth56e / 유한 주장 정답56e: 한국어 결과 / English results · 사용법 / Usage. After independently reviewing the stated input scope, one frozen audit connects36 actual observations to12 derived rows:11 finite-answerable/1 no-answer. Preserve general pending/unknown captions; independent parents/fits/models/utility claims0. / 요청에 명시한 입력 범위를 독립 검토하고 봉인 뒤36실제 관측을12파생 행에 연결했습니다.11행은 유한 범위에서 답할 후보가 있고1행은 없습니다. 일반 문구의 pending/unknown을 보존하며 독립 부모 증가·학습·모델 성과0입니다. 다른 원천의 다음 계약 / Next source contracts · CI/merge completion.

Resident costs56d / 상주 처리 비용56d: 한국어 결과 / English results · 사용법 / Usage. One frozen actual Go replay completed24 rows and25,080 repeated requests. Child peak RSS9.22–10.52MiB and per-row wire p95 0.022–0.050ms; first response577.13ms remains unexplained. Collector33.11MiB peak is separate. Repeated48 inputs are not2400 final requests; all narrow-rule inputs used BM25 fallback. No model inference, new fit, cache or LLM savings claim. / 실제 Go 실행24행·반복25,080회를 완료했습니다. 처리기 peak RSS9.2210.52MiB·왕복p95약0.0220.050ms이며 첫 응답577.13ms 원인은 미확인입니다. 측정기33.11MiB peak는 별도입니다. 48입력 반복은2400최종 요청이 아니며 좁은 규칙도 전부 BM25 fallback이었습니다. 모델 추론·새 학습·캐시·LLM 절감 증명과 구분합니다. CI completion / CI 완료 기록.

Choose your language / 언어를 선택하세요: English — Start here · 한국어 — 처음 시작하기

riidolaya helps you find code, compare model-selection policies, and preview which repository owns a task. Start without a model; add local Laya inference only when you want to measure its benefit. Codex integration is optional.

riidolaya는 코드 찾기, 모델 선택 정책 비교, 작업을 담당할 저장소 preview를 돕습니다. 모델 없이 먼저 시작하고, 효과를 측정할 때 로컬 Laya 추론을 추가하세요. Codex 연동은 선택 사항입니다.

Experimental: actual Codex cost savings have not been demonstrated. Repository results are previews, not automatic work assignments.

실험 단계입니다. 실제 Codex 비용 절감은 아직 입증하지 않았으며, 저장소 선택 결과도 자동 작업 배정이 아닌 preview입니다.

Latest owned task results / 최근 실제 작업 결과: 한국어 결과55 / English results55. The existing humanize/UUID requests ran once per Sol6/Luna low request profile: both ordinal candidates passed; only the Sol6-requested UUID candidate passed. All four bind zero exit, whole usage and durable budget/cleanup receipts. Actual coverage is20 records,7 distinct requests,5 attempted families and3 repositories. Laya truncated and abstained on both full inputs; cold CPU RSS was about1.54/1.58GB. No training, final scoring, general ranking or savings claim. / 기존 humanize·UUID 요청을 Sol6/Luna low에 각각 한 번 실행해 서수는 둘 다 통과했고 UUID는 Sol6 요청만 통과했습니다. 네 기록의 종료·전체 사용량·예산 영수증·정리를 확인했습니다. 실제 누적20기록·7고유 요청·다섯 시도 가족·세 저장소입니다. Laya는 두 전체 입력 모두 잘려 보류했고 cold CPU RSS 약1.54/1.58GB였습니다. 학습·final·일반 모델 순위·절감 증명은 없습니다. KO source · EN source.

Prior training / 이전 학습: 학습 4,456개·검증 2,599개 결과 / 4,456 training and 2,599 validation examples. All ten tiny-head fits completed; usefulness gates failed. / 작은 모델 10개 학습은 완료했지만 유용성 기준은 실패했습니다.

Go short-claim preview56a / 작은 주장 Go preview56a: 한국어 결과 / English results · 사용법 / Usage. Model-free riido-shortclaim --stream preserves candidates and proposes verification order. Eight-candidate full-request warm p95 was0.063–0.079ms, repeated child peak RSS10.25–10.56MiB. The48 authored cases form11 groups below15; fits0. The18.64% oracle gap is an upper bound, not achieved model performance or LLM savings. / 모델 없는 Go 도구와 반복 스트림이 후보를 보존하며 검사 순서를 제안합니다. 8후보 예제 warm p95약0.0630.079ms·반복child RSS10.2510.56MiB. 48사례는11그룹으로 하한15미달·학습0입니다. Oracle18.64%는 상한이며 모델 성능이나 LLM 절감이 아닙니다. Historical preparation / 역사적 준비 · Next acquisition / 다음 확보.

Golden sets / 골든셋: 24개와 2,400개의 의미 및 도메인별 정답 / Scale, held-out evaluation and domain-specific evidence. At least 2,400 distinct final requests per evaluated domain remains the target, with related cases grouped. Search evidence and development attempts do not validate final model routing. / 영역별 구분되는 최종 요청 최소 2,400건을 목표로 하며 관련 사례는 그룹으로 관리합니다. 검색 결과와 개발 시도로 최종 모델 라우팅을 검증했다고 볼 수 없습니다.

Acquisition and budgets / 확보와 실행 예산: 한국어 계획 / English plan. Follow staged source collection, independently checked task contracts, grouped splits, and bounded comparisons; repeated model executions do not increase unique-request counts. / 원천 확보·독립 작업 계약·그룹 분할·제한된 비교 실행을 단계적으로 진행합니다. 같은 요청을 여러 모델로 실행해도 고유 요청 수는 늘지 않습니다. 검토 원본 · Reviewed source.

Historical source survey53 / 역사적 원천 조사53: 한국어 / English. This preserved snapshot surveyed120 candidates from8 repositories with0 execution-eligible contracts then;54 prepared2 contracts and55 first executed those2 requests. / 당시8저장소·120후보·실행 자격0을 조사한 snapshot을 보존합니다. 이후54에서2계약을 준비하고55에서그두요청을처음실행했습니다. KO source · EN source.

Historical contract preparation54 / 역사적 계약 준비54: 한국어 / English. At54,2 of120 candidates received independent contracts, preserving humanize MIT and UUID BSD source/license bytes and module identities; external model attempts were0 then. Actual55 results are above; training/final eligibility remains0. / 54당시120후보 중2개의 독립 계약을 준비하고 humanize MIT·UUID BSD 원본/라이선스·모듈 이름을 보존했으며 외부 실행은 당시0이었습니다. 후속55실행 결과는 위에 있고 학습·final 적격은 계속0입니다.

Fair comparison preparation 55 / 공정 비교 준비 55: 한국어 안내 · English guide.

The v2 IDs clarify the same two external requests without adding distinct tasks. Full input, original Go language and native predictions were frozen before4 actual attempts. Two child plans shared4 ordered no-refund reservations in one durable ledger, concurrency1, with4 terminal receipts; this is not a host/account/provider-wide cap. Development observations do not replace the separate target of at least2,400 distinct protected final requests per domain.

v2 ID는 기존 두 외부 요청의 평가 버전이며 고유 작업 수를 늘리지 않습니다. 전체 입력·원본 Go 언어·사전 native 예측을 고정한 뒤 네 시도를 실행했습니다. 한 durable ledger에서 네 예약을 환불 없이 한 번에 하나씩 사용했고 종료 영수증도 네 개입니다. 호스트·계정·공급자 전체의 한도는 아닙니다. 개발 관측은 도메인별 서로 다른 보호된 최종 요청 최소2,400개 목표를 대신하지 않습니다.

Usage and task completion / 사용량과 작업 완료: 한국어 사용법 / English guide. Existing telemetry and independent acceptance are separate; missing evidence stays unknown. Authored examples are tool checks, not model outcomes. / 기존 기록의 사용량과 독립 작업 검증을 따로 확인하며, 누락은 미확정으로 남깁니다. 직접 작성한 예제는 도구 검사이며 모델 작업 결과가 아닙니다.

Explicit task execution / 명시적 작업 실행: 한국어 / English. An opt-in Go executor binds a public task's CLI invocation, usage, candidate and independent checks; failures stay visible. The development pilot is separate from final routing evaluation. / 선택적 Go 실행기로 공개 작업의 CLI 실행·사용량·후보·독립 검사를 연결하고 실패도 기록합니다. 개발 파일럿은 최종 라우팅 평가와 구분합니다.

Preserved prelaunch stop / 실행 전 중단 기록: 한국어 결과 50 / English results 50. The earlier packaging defect stopped before any main coding-model process. This historical result is retained separately. / 이전 패키징 문제는 코딩 모델 본 실행 전에 멈췄으며 그 결과를 별도로 보존합니다.

Search helper screen / 검색 방식 비교: 한국어 결과 / English results. Three fixed helpers failed the 5% necessary headroom gate on 4,456 training requests; fitting stopped. Full runs used 106.7–107.3MiB peak RSS. / 학습용 4,456개에서 세 후보 모두 5% 개선 여지 기준에 못 미쳐 추가 학습을 중단했습니다. 전체 실행의 최대 RSS는 106.7–107.3MiB였습니다.

Typed behavioral truth56b / 동작 정답 감사56b: 한국어 결과 / English results · 사용법 / Usage · 사전 계획 / Plan. The Go maintainer auditor checks error identity, state, ownership, lifetime and graph behavior. New24 plus legacy48 authored cases form17 total and16 labeled groups, passing both minima of15. Clear labels cover34 answerable and17 no-answer requests;21 remain unknown. The524 source assertions are not independent requests. Roles, fits, model calls, weights, final scoring and new performance measurements remain0; this is one synthetic English authoring process. / 오류·상태·소유권·수명·그래프를 검사하는 유지보수 Go 도구입니다. 새24+기존48은 전체17·라벨16그룹으로 두15 하한을 통과했습니다. 답 있음34·답 없음17·unknown21이며, 원천 검사524개를 독립 요청으로 세지 않습니다. 동일 합성 영어 작성 흐름의 자료로 역할·학습·모델 호출·가중치·최종 평가·새 성능 측정은0입니다.

Scoped proposal preparation56c / 작은 속성 제안 준비56c: 한국어 기록 / English record · 사용법 / Usage · 사전 설계 / Design. Go riido-scopeprep generated12 proposal rows from4 existing parents across3 properties, preserving candidate order and pins. All36 captions remain pending; these add no independent requests or approved truth. Official candidate evaluations, groups, fits, models, rankings, performance and protected-final access remain0. / 기존 부모4개에서 속성3개·제안12행을 준비하고 후보 순서·핀을 보존했습니다. 설명36개는 pending이며 독립 요청이나 승인된 정답을 늘리지 않습니다. 공식 평가·그룹·학습·모델·순위·성능·보호 최종 접근은0입니다. 별도 상주 자원56d 설계 / Separate resident resource design56d was unexecuted at56c; actual56d is recorded above / 56c 당시 미실행 설계이며 실제56d는 위에 별도 기록했습니다.

What do you want to do? / 무엇을 하고 싶나요?

Goal / 목적	English	한국어
Install and get your first result / 설치·첫 실행	Getting started	처음 시작하기
Find code, plan models, preview repositories / 기능별 사용	Workflows	기능별 사용법
Connect an agent or Go application / 에이전트·Go 연동	Agents and Go	에이전트·Go 연동
Understand memory, speed, and errors / 성능·문제 해결	Performance and troubleshooting	성능과 문제 해결
Reuse or redistribute / 프로젝트 목적·라이선스	Project and licensing	프로젝트와 라이선스

What runs locally? / 어디서 실행되나요?

Operation / 명령	Behavior / 동작
search --lexical, plan without a task, repo-preview without --laya	Local Go logic; no model download required / 모델 없이 로컬 Go로 처리
setup	Downloads public model/runtime assets / 공개 모델·런타임 다운로드
Laya-assisted search, routing, preview	Local inference; roughly 1.4 GiB measured process RSS / 로컬 추론, 측정된 전체 메모리 약 1.4GiB
codex --dry-run	Shows a proposed command; does not launch Codex / 실행 계획만 표시
codex	Starts your installed Codex; its normal provider and usage apply / 기존 Codex 실행, 기존 공급자·요금 정책 적용

CI/release badges describe build status and versions, not proven savings or accuracy. The license badge describes project code; upstream notices still apply.

CI·릴리스 배지는 검사 상태와 버전을 나타내며 정확도·절감 효과의 인증이 아닙니다. 라이선스 배지는 자체 코드 기준이며 외부 구성 요소 고지도 적용됩니다.

Repository · Downloads · Detailed bilingual documents / 상세 문서 · Report an issue / 문제 제보

• Semantic hints: 초소형 주장·힌트 모델 연구

• Semantic hints: target and experimental plan

• 실제 관련성 학습 02 / Real relevance training 02

• 저비용 특징 학습 03 / Low-cost feature learning 03

• 정적 임베딩 Go 실행·압축 / Static embeddings in Go

• 정적 임베딩 학습 05 / Static alignment learning 05

• 검색 자료 점검 06 / Retrieval source audit 06

• 2,948개 질문 검색 시험 / 2,948-query retrieval baseline

• 순위 배열 재사용과 메모리 할당 / Ranking array reuse and allocation

• 보조 검색 주장 모델 학습 09 / Auxiliary-search claim training 09

• 첫 후보를 보존하는 보조 검색 / Baseline-first identifier hints

• 후보를 조금씩 읽는 페이지 출력 / Paged candidate output

Page cost experiment 12 / 페이지 비용 시험

한국어 · English. 2,948 distinct queries: fewer emitted candidates does not establish lower CPU cost. PR #35 tracks CI and merge status.

Reusable search session / 검색 결과 재사용 세션

한국어 · English. Use --session --limit 20 to compute once and read subsequent pages using a cursor. See the associated PR for CI and merge status.

Page-saving claim training 14 / 페이지 절감 주장 학습

한국어 · English. 24 model exports over 2,948 queries all match always-helper; the fixed gate fails. PR #37 tracks CI and publication readiness.

Helper-call budget experiment 15 / 보조 호출 예산 시험

한국어 · English. Validation-only calibration: the simple score-gap rule beats the learned heads, but all fixed gates fail. Reuses the immutable experiment-14 models.

CoNaLa distinct-question audit 16 / 실제 질문 수 감사

한국어 · English. 2,879 curated rows contain 2,074 question IDs / 2,089 normalized original intents, insufficient alone for 2,400 distinct original questions. No model scoring or training.

• Laya relevance 17/17b: 한국어 / English

• Laya implementation / FP32–INT8 diagnostic 18: 한국어 / English

• Original Laya validation 19: 한국어 / English

• Call-cost claim learning 20: 한국어 / English

• Cheap score-spread features 21: 한국어 / English

• Shallow page-gain claims 22: 한국어 / English

• Claim input signal audit 23: 한국어 / English

• Query coverage features 24: 한국어 / English

• Joint coverage claim training 25: 한국어 / English

• Changed-call loss audit 26: 한국어 / English

• Deferred helper on continuation27: 한국어 / English

• Real GitHub task source audit28: 한국어 / English

• Grouped evaluation membership29: 한국어 / English

• All historical root metadata30: 한국어 / English

• Historical license text coverage 31: 한국어 / English

• Complete long-query execution 32: 한국어 / English

• Complete pre-fix catalogs and isolated labels 33: 한국어 / English

• 실제 2,400개 파일 검색 결과와 한계 · Actual 2,400-task localization results and limitations

• 인덱스 재사용의 효과와 한계 · Index reuse benefits and limits

• 별도 학습 후보 15,423개 출처 검사 · Separate 15,423-group training-source audit

• 학습·검증·최종 2,402개 분리 · Train/validation and 2,402 final tasks

• 학습·검증 파일 목록과 과거 라이선스 수집 · Development catalogs and historical license collection

• 개발 자료 13,021개의 정답 준비와 실패 보존 · Targets and explicit failures across 13,021 development tasks

• 개발 정답과 수정 전 파일 목록의 연결 검사 · Development targets joined to pre-fix catalogs

• 숫자 모델 학습 범위와 긴 질문 입력 계약 · Numerical training scope and long-query input contract

• 선택할 때만 계산하는 보조 파일 검색 · Actually deferred auxiliary path search

• 작업별 보조 검색 이득·손해 자료 · Per-task auxiliary search gains and losses

• 학습·검증을 함께 수집하는 순서 · Acquire training and validation together

• 확장 비용·출처 준비와 검증 부족 · Expanded costs and source readiness

• 24개와 2,400개: 작은 주장 모델 학습 기준 · 24 versus 2,400: tiny claim fitting requirements