Repository navigation
Source Transfer 59 EN
한국어 · Machine-readable source bindings · Next preparation · Existing original observations 57
This preparation proposes two properties and binds existing evidence. New requests, captions, truth, acceptable sets, role assignments and fits remain zero. Read original source, documentation, licenses and stored results 57 without executing source APIs, Bind, evaluation, Baselines, models, paid calls or protected-final reads. Retain planned_reference_only, execution_eligible=false and training_ready=false. Creating documentation or recording pins does not complete executable contracts, caption review or authoring diversity.
58 found about 19.7802% ordering headroom between BM25's 91 checks and oracle's 73 on the existing 72 development requests. Existing 17 total groups and 16 labeled groups already meet the floor of 15. Do not split favorable groups or count the two external sources as new independent parents. Rankings, scores and group costs from 58 are already observed; future role rules cannot restore unobserved or blinded data.
| Proposal | Narrow question | API actually observed before | Unsupported scope so far |
|---|---|---|---|
| Strict parsing | Does it avoid coercion on listed finite version inputs and return the exact nil/error or preserved success fields? |
StrictNewVersion, existing s01–s16 in 57 |
Permissive NewVersion, coercion flag changes, general correctness for all SemVer inputs |
| Slash-boundary matching | Do * and /**/ distinguish single segments and zero/nested directories on specified / paths? |
Match, existing g01–g09 in 57 |
PathMatch, Windows separators, filesystem traversal, complete glob grammar/error policies |
The initial target is finite Go behavior hints from short English requests and English candidate captions. The Korean guide is explanatory translation, not a Korean model-input performance test. New caption/independent expectation preparation, fidelity within the 512-byte and 32-normalized-word model-input limits, and candidate relationship audits remain future work. Do not use these summaries as completed model inputs or labels.
Use the existing manifest. Preserve 15 original artifacts totaling 99,035 bytes; no new external download occurred. The JSON records exact revisions, modules, original/retained paths, sizes and SHAs. Do not extract or reformat original files.
The semantic closure links the entrypoint, behavior-determining types, constants, error sentinels, helpers and observed getters. The compile closure preserves the files needed to compile whole original files. Other functions compiled from the same file do not acquire call authority or observation evidence. This is a static source inventory; no new compile or replay validation ran.
| Source | Pinned revision and module | Original compile/attribution closure |
|---|---|---|
| Masterminds/semver |
61fc460d28283a91c53be65c2e0f20b494ac8ad9, github.com/Masterminds/semver/v3, original Go 1.21 |
version.go, collection.go, constraints.go, doc.go, LICENSE.txt, metadata/upstream.go.mod.txt: six files |
| bmatcuk/doublestar |
8b690afa33319b0a1869367f594e53977e38bc99, github.com/bmatcuk/doublestar/v4, original Go 1.16 |
doublestar.go, glob.go, globoptions.go, globwalk.go, match.go, utils.go, validate.go, LICENSE, metadata/upstream.go.mod.txt: nine files |
Preserve exact original module bytes under metadata names. Original Go directives are source metadata; the actual historical run in 57 used Go 1.27.1 on Darwin arm64. Recording a directive does not prove new execution under that language condition.
StrictNewVersion at version.go line 89 uses Version, num/allowed, containsOnly, validatePrerelease, validateMetadata and six original error sentinels. Bind Original, String, Major, Minor, Patch, Prerelease and Metadata getters when preserving the complete recorded success fields. Exact declaration lines and file pins are in JSON.
Bind the original parsing documentation at line 13 and the description at version.go lines 84–88. doc.go lines 13–19 occupy original bytes [328,853); the version.go description occupies [3039,3397). Bytes are zero-based with an exclusive end; lines are one-based and inclusive. Span SHAs in JSON bind the exact bytes including LF.
StrictNewVersion does not read coercion flags. Preserve regex/global/init declarations through whole-file source pins without calling that evidence for NewVersion. The existing observer called only the strict API. Documentation or source-reading alone cannot add permissive results as Got; those remain unknown until a separate contract and observation plan exist.
Match at match.go line 52 passes /, validation=true and case-insensitive=false. Its semantic closure includes matchWithSeparator, recursive doMatchWithSeparator, matchRune, isZeroLengthPattern, escape/alternative search, utils.go:indexNextAlt, validate.go:doValidatePattern and original ErrBadPattern.
Documentation lines 9–51 occupy original bytes [76,1977); the core grammar at lines 15–17 occupies [197,373). JSON records span SHAs. Whole utils.go also contains FilepathGlob, introducing compile dependencies on glob/options/walk code. Preserve the seven original Go files. This does not mean filesystem APIs ran or received execution authority.
vectors[].checks in probes-57.json contains predeclared Want. audit.rows[].checks in results-57.json contains stored Want/Got/match evidence. The new JSON binds exact JSON pointers, field names and types instead of generating values or reserializing large integers.
- The 16 existing strict rows have 14 fields:
error_cause,error_func,error_kind,error_num,major/minor/patch,metadata,nil_version,original,panicked,prerelease,stringandsupported. - The nine existing glob rows have seven fields: four error fields plus
matched,panickedandsupported. - Stored rows do not duplicate input. First verify that the stored record's
/probes_sha256matches the pinned original probes bytes, then read input from/vectors/N/input. Resolve each reference's expected checks and stored row/checks/status/match pointers. Verify ID, property, source family and expectation kind together. Check field names and types before using a declared check index. - Preserve
Want/Gotasjson.RawMessageand exact uint64/bool/string types. Do not lose maximum uint64 values through float64 or ordinary numeric JSON roundtrips. - Do not promote observations without Want, such as
error_message,Versions, counters or default values, to new truth. References are cold metadata, not scorer features.
All 25 referenced rows were complete and matched their finite expectations in 57. This is a reference to existing observations, not a new replay, 25 independent requests or truth for new captions. Partial field agreement does not establish fidelity of a general function description.
Strict API nilness, sentinels and error-check order are descriptive contracts, not error kinds prescribed by SemVer. s06-core-overflow is API rejection of valid decimal syntax outside its uint64 representation; do not relabel it SemVer-invalid. Successful parsing of a large prerelease number does not prove correct numeric comparison.
Existing comparison discrepancies p08 and p09 are a reversed pair of the same large-number behavior. b05 preserves Match("{a,[}","a") returning true with no error, versus a stronger whole-pattern validation policy. Do not rewrite Got or synthesize a preceding ValidatePattern gate. JSON preserves exact row pointers for all three disagreements.
New inputs/candidates, broader Unicode/grammar, wrappers, flag changes or stronger policies remain unknown or outside scope until support is established. Unsupported operations, UTF-8/byte-bound rejection, panic and unclassified errors are not candidate-failure labels. New correct/wrong candidate controls have not been authored or executed.
Semver and doublestar are pre-existing public upstream code/documentation. MIT notices name Matt Butcher/Matt Farina for semver and Bob Matcuk for doublestar. This does not audit every function's authors or certify human-only authorship. Existing project data uses a collaborative AI-assisted synthetic English authoring workflow; no transfer captions exist yet. External code or a different reviewer alone does not resolve synthetic_single_pipeline.
Strict failure/error observations provide comparison dimensions with atomic-commit/error-identity; glob context/boundaries provide dimensions with prefix-balance/quoted-delimiters. Similarity alone establishes neither group equivalence nor independence. Transitively bind actual shared helpers/types/sentinels, copied code, aliases, duplicate captions, parent/sibling relations and translations. Preserve shared closures of other properties from each upstream. No new group count was computed or claimed.
Keep full original semver LICENSE and doublestar LICENSE, including copyright notices. Recording source licenses does not replace future training-asset and weight-publication eligibility checks.
Preserve the existing 72 parents, 17 groups, 16 labeled groups, 21 unknowns and original records. Caption fidelity, role/coverage rules and a separate execution plan's automatic checks remain necessary; no new human approval flow is added. Models, fits, new HF weights and production activation remain zero. At least 2,400 distinct protected-final requests per domain remains a separate generalization target, not a prerequisite to every development fit. No protected-final/CoSQA reserve was read or reassigned.
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