Repository navigation
Claim Projection 69 70 EN
The goal is to cheaply suggest which evidence candidate an agent should inspect first. This encoder-free claim-hint experiment is separate from training the Laya backbone. Sources and requirements still verify each suggestion; remaining candidates and fallback stay available when early suggestions are wrong. This does not authorize actions or prove correctness.
For “find Go files in nested directories,” several function captions may be available. The model proposes inspection order. Success means fewer checks before finding an acceptable candidate on identical requests. This remains a development proxy; actual LLM usage requires separate observation.
- First actual Go array preparation69 on original72: Project1, retries0, fits0. Preserve90 train/36 validation rows, including18/1 zero-loss-weight rows. Keep63 unknown candidate truths nullable and calibration outside fitting.
- Author-side and separate saved-array reviews passed original supervision/column checks. Preserve the checker's candidate-count assumption failure and later clerical correction. This is not feature re-extraction or a model-quality result.
- Append four finite upstream68 requests, then recompute whole76/226-candidate/19-family roles. Fixed seed1729, first Assign1, retries0. Known-containing families11 train/4 validation/3 calibration; unchanged coverage passed. Additions were not attached to historical66 roles.
| Observation | Actual value | Scope |
|---|---|---|
| Owned payload of original72 preparation | About1.69MiB | Returned arrays and retained strings; excludes temporary allocation |
| Same whole-process peak RSS/wall | About53.95MiB /0.466s | One development observation including reading, validation, arrays and JSON output |
| Raw output / public summary | About7.7MB /97KB | Summary omits full features and cannot replace a training asset |
| Full76 role-preparation peak RSS/wall | About51.19MiB /0.478s | Metadata and assignment, not fitting or inference |
CPU1, soft Go heap256MiB and outside300s wall were configured. Soft heap, payload, JSON size and RSS are different quantities. GPU, Go heap, Codex savings and AI-assisted preparation/review costs remain unmeasured.
Freeze new arrays for whole76 roles, then run one primary8192-dimensional FP32 fit. Compare against one strongest nonlearned control on identical validation; retain zero-loss-weight candidates in ranking evaluation. Calibration stays outside fitting and epoch selection. Both added upstream families actually landed in train, so this validation is not generalization testing on those libraries.
The prepared FP32 format is32,792B; decoded float64 coefficients occupy65,536B. Whole-process memory and repeated serving cost need actual post-fit measurements. Once FP32 development utility is established, independently compare INT8/PTQ children or ternary STE siblings. At least2400 distinct protected-final requests per domain remains a separate unfinished objective.
Actual preparation69 · Whole76 roles70 · Earlier PR92 CI/Wiki publication proof.
The available nonlearned Go command is riido-shortclaim. Start with request/candidate JSON in usage56. These records do not activate a trained default model. Coefficients stay outside GitHub; only licensed, verified, CI-gated scoped releases go to Hugging Face. 한국어.
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