keyword-rosetta: F# (fsharp) has no control folder; author data/fsharp/ and backfill its cost record
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 35/100
Direzione di ricerca
Read gitgalaxy/standards/how_to_add_a_language.md, SPEC.md, and docs/GATING.md in keyword-rosetta first. Create the 12-probe control shell and deviation ledger under data/fsharp/, then run python tools/verify_language.py fsharp --report --engine <gitgalaxy main> and explain each deviation. Run the stated language addition audit and cost logging commands; done means the verifier passes, the audit has no rosetta warning, and the cost log includes fsharp.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
F# landed in gitgalaxy (#5681, DOOM milestone) without a keyword-rosetta control folder. gitgalaxy/standards/how_to_add_a_language.md treats the folder as part of a language addition, and tests/tools/language_addition_audit.py --lang fsharp currently skips the corpus checks. Until the folder exists, fsharp's planted-count accuracy isn't measured and the README bias-variance chart leaves it out.
Work
- In squid-protocol/keyword-rosetta, author
data/fsharp/: the 12-probe control shell perSPEC.md, with decoys and a deviation ledger perdocs/GATING.md. - Run
python tools/verify_language.py fsharp --report --engine <gitgalaxy main>and explain every deviation by name (fix the engine or record it in the ledger; never edit the plants to match the engine). - On the gitgalaxy side, run
KEYWORD_ROSETTA_PATH=<checkout> python tests/tools/language_addition_audit.py --lang fsharpwith no rosetta warning left. - Backfill the cost log:
python tests/tools/record_language_cost.py --lang fsharp --phase corpus ...for this session (the engine half has no row either; record it with--manualfrom the PR's dates if no transcript is at hand).
Language notes
Lexical family recursive_block (//, nested (* *)): plant decoys inside a nested block comment, and keep .fs content-proof detection in mind (the shell must read as F#, not Forth/GLSL).
Acceptance
- keyword-rosetta PR merged with
data/fsharp/; that repo's CI verifier is green. - The audit shows no keyword-rosetta warning for fsharp.
language_addition_costs.jsonlhas a row for fsharp.
Part of #5457. Filed from the 2026-10-20 language-addition audit (owner request).
- Lingua principale
- Python
- Stelle
- 57
- Fork
- 11
- Merge medio
- 1h 51m
- PR unite (30g)
- 982
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Ha un modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di squid-protocol/gitgalaxy
-
enhancement scope:core
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
squid-protocol/gitgalaxy#5919 ·
I maintainer di solito rispondono entro 1 giorno
-
bug scope:frontier
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
squid-protocol/gitgalaxy#5909 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
squid-protocol/gitgalaxy#5897 ·
I maintainer di solito rispondono entro 1 giorno
-
ci-cd github-actions performance scope:infra
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
squid-protocol/gitgalaxy#5882 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Graph Accuracy Audit: re-baseline Python call-graph recall on pyan3 2.9.0 (reference moved in #5241)Apertaclaim:nyx lane:nyx
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
squid-protocol/gitgalaxy#5877 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di squid-protocol/gitgalaxy
Issue simili
-
bug good first issue
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
yunaremaia/proto-drift#22 ·
-
bug good first issue
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
yunaremaia/memwatch#96 ·
-
bug good first issue
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 91/100
yunaremaia/ci-gate-watch#34 ·
-
bug good first issue
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
yunaremaia/agent-capability-attestation#64 ·
I maintainer di solito rispondono entro 1 giorno
-
bug good first issue
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 86/100
yunaremaia/agent-call-graph#43 ·
I maintainer di solito rispondono entro 1 giorno