Independent oracles for the remaining module domains
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 35/100
Direzione di ricerca
Start with tests/tools/README.md for existing oracle patterns and tests/map_corpus/fetch_golden.py for golden-corpus integration; inspect atlas.yml, ci.yml, syft-oracle.yml, and tool-oracles.yml for CI conventions. Choose one remaining domain, then verify its pinned network-disabled harness, soundness and honesty assertions, PR subset, on-demand full run, and golden-corpus coverage.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Independent oracles for the remaining module domains
Background
Issue #84 required a hermetic oracle harness for each of 13 module domains. On main, 4 of 13 domains have harnesses. The remaining 9 domains are validated only against author-written fixtures.
What 1.0 ships
- Languages (Linguist 9.7.0): atlas smoke on PRs (
atlas.yml). - Metrics (scc 4.1.0): runs in CI (
ci.yml). - Syft association: on-demand (
syft-oracle.yml,make syft-oracle). - Noir/ruff/Semgrep SARIF: on-demand (
tool-oracles.yml,make tool-oracles).
Remaining work (acceptance criteria from #84)
Each domain below needs: a harness in a pinned --network none container; soundness/honesty assertions; a PR-tier run on a small fixed subset; full set on demand (workflow_dispatch or make target); no schedule:; tool version pinned and upgraded deliberately.
| Domain | Reference tool | Notes |
|---|---|---|
| Git object reading | git cat-file --batch |
Differential: same pack, same objects |
| Attributes | git check-attr -a |
Differential: generated .gitattributes + paths |
| Cargo declarations | cargo metadata --offline |
Offline; lockfile required |
| Go module graph | go mod edit -json |
No network |
| npm workspaces | @npmcli/map-workspaces |
Resolve workspace globs |
| Python packaging | packaging / validate-pyproject |
PEP 517/518/621 |
| .NET project graph | dotnet msbuild /t:Restore /p:TargetFramework=... |
SDK-style only, no legacy MSBuild |
| Maven/Gradle declarations | mvn -o help:effective-pom / gradle :dependencies --offline |
Offline mode |
| Availability | git lfs pointer --check / git submodule status |
LFS pointer vs. object presence |
Golden corpus integration: each harness should run on the golden corpus repos in addition to synthetic fixtures. No golden corpus fixtures currently exist for these domains.
No schedule: triggers. All deep runs via workflow_dispatch or make targets only.
Links
- #84 (1.0.0 issue being closed)
tests/tools/README.md(existing tools oracle, for patterns)tests/map_corpus/fetch_golden.py(golden corpus repo fetcher)
- Lingua principale
- Go
- Stelle
- 0
- Fork
- 0
- Merge medio
- 5h 8m
- PR unite (30g)
- 54
Preparare l'ambiente
- Include un Dockerfile o un 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 war-and-code/dircue
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 86/100
war-and-code/dircue#200 ·
I maintainer di solito rispondono entro 1 giorno
-
enhancement follow-up
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
war-and-code/dircue#201 ·
I maintainer di solito rispondono entro 1 giorno
-
follow-up
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
war-and-code/dircue#179 ·
I maintainer di solito rispondono entro 1 giorno
-
follow-up
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
war-and-code/dircue#178 ·
I maintainer di solito rispondono entro 1 giorno
-
enhancement follow-up
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
war-and-code/dircue#172 ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di war-and-code/dircue
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
I maintainer di solito rispondono entro 1 giorno
-
os: RawConn methods of a closed File return internal/poll.ErrFileClosing instead of ErrClosedAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
-
[Bug]: Bedrock invoke-with-response-stream reports `stop_reason: "end_turn"` for tool-use turnsAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 86/100
oalders/clodhopper#162 ·
I maintainer di solito rispondono entro 1 giorno
-
component/server severity/minor type/bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
I maintainer di solito rispondono entro 1 giorno