Repository navigation
JWT Policy Preview EN
실제 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
한국어 · PR151 · CI · Hugging Face
A tiny hint that improves candidate order is useful only when the work it saves exceeds its own cost. We first checked predefined outcomes against actual program behavior and measured verification costs. This is a development experiment using fictional session tokens.
Four requests × five fixture positions × eight policies produced one acquisition of160 original Go JWT ParseWithClaims calls. There are13 distinct tokens. One policy per request matched all five expectations. Across32 request/candidate combinations,4 matched(T),28 mismatched(F),0 were unknown(U). Token acceptance100/rejection60 is a separate count.
| Fictional request | Matching policy |
|---|---|
| Lantern | alpha or beta: WithAudience |
| Harbor | both alpha and beta: WithAllAudiences |
| Moss | expiration required: WithExpirationRequired |
| Cove | two-second time leeway: WithLeeway |
On Mac M4 Pro / Go1.27.1 / GOMAXPROCS=1, peak OS RSS was11.94MiB, main work9.607ms, and process startup through pipe cleanup598.010ms. GOMAXPROCS controls Go scheduler execution slots, not OS thread count. The difference between these timings does not isolate pure startup.
In the repository with Go1.27.1, compare the first saved output with original expectations:
go run ./experiments/short-claim/next-cohort-jwt-audit/replayThis calls no new original JWT API/model/Fit. Agents can consume the same structured JSON and preserve T/F/U. Re-running actual JWT and reading saved results are separate operations. See the English README for complete sources, inputs, failure scope and licenses.
We plan to compare repeated authentication/decoding against authenticated claims reuse scoped to identical token, public key, algorithm, decoder and source. Final policy decisions are never cached; every candidate receives fresh validation. First,160 comparison pairs must match acceptance and normalized error semantics; then48 operational records compare fixed/manual order with/without caching.160 pairs does not mean160 API calls. Lookup, copying, setup and ranking costs are included. Retrieval controls need their own frozen conditions.
These four exposed requests belong to one JWT lineage frozen as development_validation. They do not establish independent2,400-task evaluation, general performance, Laya/GPU inference, agent token savings or new training. No new training rows were admitted; previous failed models remain inactive. The next model experiment depends on demonstrated remaining benefit in total verification work.
Linux/macOS, secrets and quality CI passed; the bot merged the identical source tree. All20 new Hub files were fully read back, preserving834 prior files and10 tags. No new model binaries were released.
Pinned upstream retains full MIT/original copyright notices. Owned observation code, fixtures and docs use Apache-2.0. Tokens and public keys are fictional generated fixtures, with no live credentials/private paths. Full applicable SDK notices are in TOOLCHAIN-NOTICES. Model training/distribution rights require separate review.
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