Skip to content

Adjust task-2-5 scoring - #4

Merged
ZJianjin merged 1 commit into
mainfrom
20260922-jianjin-dev
Sep 23, 2026
Merged

ZJianjin merged 1 commit into
mainfrom
20260922-jianjin-dev

Conversation

@ZJianjin

Copy link
Copy Markdown
Collaborator

Summary

Submission paths (new tasks): task-submissions/<first-name-slug>/<1|2>-x-<positive-ordinal>
Category / Implementation or Optimization / CPU or GPU:
Authors and coauthors:

Validation evidence

List commands, actual results, and links to task-specific known-good/negative-case
results. List unrun checks and why (data, GPU, credentials, paid APIs).

Contributor checklist

  • All new tasks use exactly one contributor first-name namespace; temporary ordinals are category-unique and never reused after promotion; no direct formal additions or guessed final IDs.
  • Actual authors in task.toml; commit email associated with my GitHub account.
  • Allow edits from maintainers; promotion stays in this same PR.
  • No secrets, downloaded inputs/models, job outputs, or author-only solutions.
  • Static package/submission checks and applicable runtime checks recorded.
  • Asset provenance, redistribution rights, licenses and pinned development SHA documented.

Maintainer merge checklist (new tasks)

  • Design, verifier isolation and runtime evidence reviewed; exceptions explicitly approved.
  • Updated to latest main; every final number assigned serially without collision.
  • Separate pure git mv and reviewed finalization commits per task, in this PR.
  • Per-task HF community PR or maintainer mirror merged into official dataset; manifest,
    SOURCES and license updated, all old assets preserved; official SHA pinned in assets.json.
  • Repository inventories/docs updated; full checks and merge-ready gate pass;
    every task is promoted and no submission task.toml remains.
  • Merge commit only (no squash/rebase); contributor history retained.

@ZJianjin
ZJianjin merged commit 2c31ebc into main Sep 23, 2026
4 checks passed
@ZJianjin
ZJianjin deleted the 20260922-jianjin-dev branch September 23, 2026 04:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant