src/submission/submit.py

import json
import os
import smtplib
from datetime import datetime, timezone

from src.display.formatting import styled_error, styled_message, styled_warning
from src.envs import API, EVAL_REQUESTS_SUBGRAPH, EVAL_REQUESTS_CAUSALGRAPH, TOKEN, QUEUE_REPO_SUBGRAPH, QUEUE_REPO_CAUSALGRAPH
from src.submission.check_validity import (
    already_submitted_models,
    get_model_size,
    is_model_on_hub,
    parse_huggingface_url
)
import gradio as gr

REQUESTED_MODELS = None
USERS_TO_SUBMISSION_DATES = None

def upload_to_queue(track, hf_repo_circ, hf_repo_cg, level, method_name, contact_email, _id):
    errors = []
    hf_repo = hf_repo_circ if "Circuit" in track else hf_repo_cg
    repo_id, folder_path, revision = parse_huggingface_url(hf_repo)

    try:
        user_name, repo_name = repo_id.split("/")
    except Exception as e:
        errors.append("Error processing HF URL: could not get username and repo name")
    if revision is None or revision == "main":
        try:
            commit_hash = API.list_repo_commits(repo_id)[0].commit_id
        except Exception as e:
            errors.append("Could not get commit hash of provided Huggingface repo")
    current_time = datetime.now(timezone.utc).strftime("%Y-%m-%dT%H:%M:%SZ")

    if not errors:
        if "Circuit" in track:
            eval_entry = {
                "hf_repo": hf_repo,
                "user_name": user_name,
                "revision": commit_hash,
                "circuit_level": level.lower(),
                "method_name": method_name,
                "contact_email": contact_email.lower(),
                "submit_time": current_time,
                "status": "PREVALIDATION",
                "_id": _id
            }
            QUEUE_REPO = QUEUE_REPO_SUBGRAPH
            EVAL_REQUESTS = EVAL_REQUESTS_SUBGRAPH
        else:
            eval_entry = {
                "hf_repo": hf_repo,
                "user_name": user_name,
                "revision": commit_hash,
                "method_name": method_name,
                "contact_email": contact_email.lower(),
                "submit_time": current_time,
                "status": "PREVALIDATION",
                "_id": _id
            }
            QUEUE_REPO = QUEUE_REPO_CAUSALGRAPH
            EVAL_REQUESTS = EVAL_REQUESTS_CAUSALGRAPH

        OUT_DIR = f"{EVAL_REQUESTS}/"
        os.makedirs(OUT_DIR, exist_ok=True)
        out_path = f"{OUT_DIR}/{method_name}_{_id}_{current_time}.json"
        with open(out_path, 'w') as f:
            f.write(json.dumps(eval_entry))

        try:
            API.upload_file(
                path_or_fileobj=out_path,
                path_in_repo=out_path.split("/")[-1],
                repo_id=QUEUE_REPO,
                repo_type="dataset",
                commit_message=f"Add {method_name}_{_id}_{current_time}.json to eval queue"
            )
        except Exception as e:
            errors.append(f"Could not upload entry to eval queue: {e}")

    if errors:
        status = gr.Textbox("\n\n".join(f"❌ {e}" for e in errors), visible=True)
    else:
        status = gr.Textbox(f"✅ Submission received! Your submission ID is \"{_id}\". Save this so that you can manage your submission on the queue.", visible=True)
    return [
        status,
        None, None,
        gr.Column(visible=False)
    ]

def remove_submission(track: str, method_name: str, _id: str):
    if track is None:
        return gr.Textbox(f"Please select a track.", visible=True)
    if "Circuit" in track:
        QUEUE_REPO = QUEUE_REPO_SUBGRAPH
        EVAL_REQUESTS = EVAL_REQUESTS_SUBGRAPH
    else:
        QUEUE_REPO = QUEUE_REPO_CAUSALGRAPH
        EVAL_REQUESTS = EVAL_REQUESTS_CAUSALGRAPH
    
    OUT_DIR = f"{EVAL_REQUESTS}/"
    os.makedirs(OUT_DIR, exist_ok=True)
    files = os.listdir(OUT_DIR)
    out_paths = [f for f in files if f.startswith(f"{method_name}_{_id}")]
    if out_paths:
        filename = out_paths[0]
        filepath = os.path.join(OUT_DIR, filename)
        with open(filepath, 'r') as f:
            data = json.load(f)
        hf_repo = data["hf_repo"]
        try:
            API.delete_file(
                path_in_repo=filename,
                repo_id=QUEUE_REPO,
                repo_type="dataset"
            )
        except Exception as e:
            return gr.Textbox(f"Could not delete entry from eval queue: {e}", visible=True)
        os.remove(filepath)
        status = "Submission removed from queue."
    else:
        status = "Submission not found in queue."

    return gr.Textbox(status, visible=True)