Repository navigation
Development37 EN
This development dataset prepares a tiny claim/hint model to suggest a verification order. It preserves all48,618 bytes of the previous35 rows and appends two Union/JSON requests supported by actual original observation and an independent comparer. No new Fit or model activation occurred.
| Measure | Actual value |
|---|---|
| Development requests / candidate labels | 37 / 108 |
| Positive / negative | 37 / 71 |
| Frozen inputs | 184 |
| All saved candidate observations / selected observations | 548 / 539 |
| Positive candidate position0/1/2 | 6 · 28 · 3 |
| Added requests / labels | 2 / 6 (+2/−4) |
| Project Reader attempts / returns / full matches | 37 each |
| Additional normalized-input comparisons | 37 |
| New Fit / independent sources / protected additions | 0 / 0 / 0 |
The13 new inputs and39 observations were compared against819 frozen predicates; a separate implementation matched every verdict. Union's cached cursor and JSON's per-object decoded-key policy passed every frozen condition. The other four candidates have concrete counterexamples. JSON Map's68 unknown predicates remain preserved. Combined with the previous35's post23/selected scope46, the linked scoped total is114, not an entire-history count. The39 pre-AFTER unknown SourcePanic diagnostics also remain in original evidence but are not added to Wanted predicate counts.
ROOT-QUALIFICATION records label authority; ROOT-QUALIFIED-ROWS contains the two unit-weight rows. MATERIALIZATION and post-close readback record actual Go generation and full Reader correspondence. The Reader does not assign semantic truth. Only request/candidate text enters features; labels, groups, sources and evidence stay separate.
37 is not the number of independent evaluation samples. Both requests retain existing groups79/83 and development_train. Union reuses catalog19's ID. JSON is related to an existing top-level JSONL envelope duplicate-key task; this request covers recursive per-object rejection before collapse and ordered prefixes. New independent groups, the new20→60 cohort and protected2400 evaluation additions are all zero. Candidate-position bias remains substantial, so this dataset alone demonstrates neither learning success nor cost savings.
Read data/train.jsonl through the project Reader or reproduce the file and receipt with:
bash scripts/verify-next60-thirtyseven.shGo1.27.1 is required. Temporary files are generated from previous35 and pinned qualified rows, then checked byte-for-byte and against all Reader input/supervision/metadata values. Original tasks and models are not rerun. Passing these checks does not automatically authorize a new Fit or protected evaluation.
HF37 immutable release is published. Fixed-commit readback matched61 new/changed files plus attributes; all37 viewer rows matched full values/order. All721 old paths/nine tags remain. New Fits/independent families:0.
PR #132: 필수 CI 통과·동일 트리 병합 / CI passed; identical tree merged.
학습 없는37개 비교 / Nonlearned37 comparison · HF37 게시 증거 / HF37 publication evidence.
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