{"serveDecision":{"state":"UNKNOWN","authority":"live-serve-decision"},"downloadable":null,"downloadReady":null,"degraded":false,"stale":false,"schemaVersion":"hugging-bay.local-kit.v2","displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-11-01T18:00:49.323Z","generatedAt":"2026-11-01T18:02:56.852Z","status":"runnable-bundle-recipe","commandsAvailable":true,"commands":[{"tool":"lm-studio","label":"LM Studio (no terminal)","kind":"gui-walkthrough","guiProven":false,"command":"Open LM Studio, then drag the downloaded 'MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_M.gguf' into My Models to load it.","note":"A walk-through for your machine, not a checked run path — these steps are guidance, never a promise it will run. LM Studio's own UI takes it from there.","prefilledFrom":{"file":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_M.gguf","templateSha256":"8bef61d8dea394720ccd40b31478c0642d03c36782c034d1b6a02a283595f23d","sha256":"43d77b25b7f1f3d59990fc3d1fa01dd3f24c94bb83c11589d3d157062c966989"},"guideCheckedAt":"2026-09-22","guideCheckedBy":"hugging-bay-docs","guideVersion":5},{"tool":"ollama","label":"Ollama","note":"Builds a local Ollama model named \"mathsmith-hard-problem-synthesizer-qwen3-8b.q4_k_m\" from the file (Ollama imports the file's embedded chat template) and starts a chat.","prefilledFrom":{"file":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_M.gguf","templateSha256":"8bef61d8dea394720ccd40b31478c0642d03c36782c034d1b6a02a283595f23d","sha256":"43d77b25b7f1f3d59990fc3d1fa01dd3f24c94bb83c11589d3d157062c966989"},"guideCheckedAt":"2026-09-22","guideCheckedBy":"hugging-bay-docs","guideVersion":5},{"tool":"llama.cpp","label":"llama.cpp (terminal)","kind":"terminal","proven":true,"note":"Runs the file directly with llama.cpp's command-line tool. -st (--single-turn) runs one turn with the model's embedded chat template and exits — tested on llama.cpp b10964-b29c606e2. The old -no-cnv flag was removed and is rejected by current builds.","runner":{"name":"llama.cpp","testedBuild":"b10964-b29c606e2","singleTurnFlag":"-st"},"prefilledFrom":{"file":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_M.gguf","templateSha256":"8bef61d8dea394720ccd40b31478c0642d03c36782c034d1b6a02a283595f23d","sha256":"43d77b25b7f1f3d59990fc3d1fa01dd3f24c94bb83c11589d3d157062c966989"},"guideCheckedAt":"2026-09-22","guideCheckedBy":"hugging-bay-docs","guideVersion":5},{"tool":"python","label":"Python (llama-cpp-python)","command":"pip install llama-cpp-python && python -c 'from llama_cpp import Llama; llm = Llama(\"./MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_M.gguf\", n_ctx=8192); print(llm.create_chat_completion(messages=[{'\\''role'\\'': '\\''user'\\'', '\\''content'\\'': '\\''Hello!'\\''}])['\\''choices'\\''][0]['\\''message'\\'']['\\''content'\\''])'","note":"For scripting the model from Python; create_chat_completion applies the embedded chat template.","prefilledFrom":{"file":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_M.gguf","templateSha256":"8bef61d8dea394720ccd40b31478c0642d03c36782c034d1b6a02a283595f23d","sha256":"43d77b25b7f1f3d59990fc3d1fa01dd3f24c94bb83c11589d3d157062c966989"},"guideCheckedAt":"2026-09-22","guideCheckedBy":"hugging-bay-docs","guideVersion":5}],"runBlockKind":"hosted-file-recipe","chatContract":{"available":true,"source":"gguf-metadata:tokenizer.chat_template","sourceFileSha256":"43d77b25b7f1f3d59990fc3d1fa01dd3f24c94bb83c11589d3d157062c966989","templateSha256":"8bef61d8dea394720ccd40b31478c0642d03c36782c034d1b6a02a283595f23d","templateText":"{% if messages[0]['role'] == 'system' %}{% set loop_messages = messages[1:] %}{% set system_message = messages[0]['content'] %}{% else %}{% set loop_messages = messages %}{% endif %}{% if system_message is defined %}{{ 'System: ' + system_message + '<|im_end|>' + '\n' }}{% endif %}{% for message in loop_messages %}{% set content = message['content'] %}{% if message['role'] == 'user' %}{{ 'Human: ' + content + '<|im_end|>' + '\nAssistant:' }}{% elif message['role'] == 'assistant' %}{{ content + '<|im_end|>' + '\n' }}{% endif %}{% endfor %}","extractedAt":"2026-09-24","extractionStage":"ingest.template-extract/v1","architecture":"qwen3","contextLength":40960,"stop":["<|im_end|>"],"thinking":{"mode":"none"}},"artifact":{"id":"hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf","repo":"mradermacher/MathSmith-Hard-Problem-Synthesizer-Qwen3-8B-GGUF","type":"llm","summary":"Model from Hugging Face for llm: mradermacher/MathSmith-Hard-Problem-Synthesizer-Qwen3-8B-GGUF · transformers","license":"apache-2.0","hostingStatus":"hosted","hostedFileCount":1,"hostedFileCountAuthority":"live-serve-decision","displayFileCount":1,"fileCount":14,"upstreamUrl":"https://huggingface.co/mradermacher/MathSmith-Hard-Problem-Synthesizer-Qwen3-8B-GGUF"},"tool":"any","toolCompatibility":{"status":"unknown","reason":"recorded-evaluator-not-integrated"},"readiness":"unknown","requiredFiles":[{"path":".gitattributes","sizeBytes":2614,"sha256":"","format":"gitattributes","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":false,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.IQ4_XS.gguf","sizeBytes":4593293728,"sha256":"1fcdc0c13b4a74b04445734766da09a2e9d332c2f503e8150a0787c158682430","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q2_K.gguf","sizeBytes":3281729952,"sha256":"b022d4c6c854d6d63cf65378eb545c0fb1722258f721d85a65da8759b54574ce","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q3_K_L.gguf","sizeBytes":4431391136,"sha256":"fd9fe91bb741dddb6f5e9b800ff6ad073144039e53935c29925429b7daa59632","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q3_K_M.gguf","sizeBytes":4124158368,"sha256":"deb790f94b08d47b0c7470a1252d628d6c7e82c8f3f85f1f0cff1a3fd24bfbec","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q3_K_S.gguf","sizeBytes":3769608608,"sha256":"dd55a9a2a2b66d455fcddc53270efad99db5021741d9d9f1bdffde62d8c1c10a","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_M.gguf","sizeBytes":5027781024,"sha256":"43d77b25b7f1f3d59990fc3d1fa01dd3f24c94bb83c11589d3d157062c966989","format":"gguf","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf/MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_M.gguf","chatTemplate":{"artifactId":"hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf","filePath":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_M.gguf","sha256":"43d77b25b7f1f3d59990fc3d1fa01dd3f24c94bb83c11589d3d157062c966989","architecture":"qwen3","generalName":"MathSmith Hard Problem Synthesizer Qwen3 8B","tokenizerModel":"gpt2","contextLength":40960,"bos":null,"eos":"<|im_end|>","stop":["<|im_end|>"],"thinking":{"mode":"none"},"chatTemplate":"{% if messages[0]['role'] == 'system' %}{% set loop_messages = messages[1:] %}{% set system_message = messages[0]['content'] %}{% else %}{% set loop_messages = messages %}{% endif %}{% if system_message is defined %}{{ 'System: ' + system_message + '<|im_end|>' + '\n' }}{% endif %}{% for message in loop_messages %}{% set content = message['content'] %}{% if message['role'] == 'user' %}{{ 'Human: ' + content + '<|im_end|>' + '\nAssistant:' }}{% elif message['role'] == 'assistant' %}{{ content + '<|im_end|>' + '\n' }}{% endif %}{% endfor %}","templateDigest":"sha256:8bef61d8dea394720ccd40b31478c0642d03c36782c034d1b6a02a283595f23d","extractionReason":"embedded-template","extractorVersion":"hugging-bay.gguf-embedded-chat-contract.v1","extractedAt":"2026-09-24T04:40:49.403Z","hasEmbeddedTemplate":true},"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_S.gguf","sizeBytes":4802009504,"sha256":"31db7358a3a61b920c74366ff2c697b1274aacaeb219b7ca03a6ec4e776fa2b6","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q5_K_M.gguf","sizeBytes":5851109792,"sha256":"c5423ff238f4027ca36e2c678c56b86cdca084e80581502ad7e3f1b25b00101f","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q5_K_S.gguf","sizeBytes":5720758688,"sha256":"dff6eed8491f3adf55dd4f6c1696b5f70a48aa6638c2092b825784cbf97c1d35","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q6_K.gguf","sizeBytes":6725896608,"sha256":"6f3151eb1c8d4b276dff5f33128cfb3d15d0476a07dcc07df88d2c16a14e5f52","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q8_0.gguf","sizeBytes":8709515680,"sha256":"5ff2411379ffd9e79772a7d9065f571a954b8500afb23d7498986a692de11ac5","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.f16.gguf","sizeBytes":16388041120,"sha256":"720888af8b7261e84648a970cb3b50f974ffed79cf15878210966939c0d1bbe0","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"README.md","sizeBytes":4370,"sha256":"","format":"md","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":false,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"}],"warnings":["This description is temporarily unavailable."],"nextActions":[{"label":"Inspect recorded bundle state","url":"https://huggingbay.xyz/api/artifacts/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf/bundle","method":"GET"},{"label":"List individually hashed hosted files","url":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf&limit=100","method":"GET"},{"label":"Inspect trust bundle","url":"https://huggingbay.xyz/api/trust-bundles/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf","method":"GET"},{"label":"Open artifact","url":"https://huggingbay.xyz/artifact/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf","method":"GET"}],"docs":{"artifactUrl":"https://huggingbay.xyz/artifact/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf","downloadsUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf&limit=100","bundleUrl":"https://huggingbay.xyz/api/artifacts/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf/bundle","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"note":{"summary":"Downloadable doesn't mean tested: this record says whether the exact file can be downloaded now, not that the model is complete or that it runs.","downloadable":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"}}