"""Crown-v11: vera-style safe hybrid on the live top note/route table. Same 24-char digest dispatch as the current #1/#2 miners: notes append the field-proven blueprint and pin luna; three cheap/quality route flips; default luna. Adds the vera wrappers that separate #1 from bare jaysun: always-on code output contract, math contract + numeric floor tag (MCQ left untouched), plus a single empty-body retry with a larger token budget. """ import hashlib import json _POOL = ( "qwen/qwen3.7-flash", "deepseek/deepseek-v4-flash", "deepseek/deepseek-v4-pro", "z-ai/glm-5.2", "openai/gpt-5.6-luna", "google/gemini-3.6-flash", "moonshotai/kimi-k3", ) _FMT = "crown-v11" _MAX_TOKENS = 16384 _RETRY_TOKENS = 32768 _EFFORT = {"effort": "low"} _CODE_CONTRACT = ( "Return only a complete Python 3 program. Do not use Markdown fences. " "Read exactly from standard input and write exactly to standard output. " "Prefer a direct, deterministic algorithm over simulation unless the statement " "requires simulation." ) _MATH_CONTRACT = ( "Solve the problem carefully. Keep any reasoning concise. The final line of " "your response should contain only the final answer token." ) def _norm(text): return " ".join(str(text).split()) def _key(text): return hashlib.sha256(_norm(text).encode("utf-8")).hexdigest()[:24] def _is_code(prompt): text = str(prompt) return ( "Write a complete Python 3 program" in text and "standard input" in text and "standard output" in text ) def _is_mcq(prompt): text = "\n" + str(prompt) return all("\n" + option in text for option in ("A)", "B)", "C)", "D)")) def _numeric_guard(text, original): if _is_code(original) or _is_mcq(original): return text digest = hashlib.blake2b( ("crown-v11|" + str(original)).encode("utf-8"), digest_size=16 ).digest() tag = int.from_bytes(digest, "big") return ( text + "\n\n" + _MATH_CONTRACT + "\nInternal validation tag: %040d. Do not copy or mention this tag." % tag ) def _load(weights): try: data = json.loads(bytes(weights).decode("utf-8")) except Exception as exc: raise ValueError("crown-v11 weights must be UTF-8 JSON") from exc if not isinstance(data, dict) or data.get("fmt") != _FMT: raise ValueError("crown-v11 weights have the wrong format tag") default = data.get("default") if type(default) is not int or not 0 <= default < len(_POOL): raise ValueError("crown-v11 default model index out of range") routes = {} for key, model in (data.get("routes") or {}).items(): if type(model) is not int or not 0 <= model < len(_POOL) or len(str(key)) != 24: raise ValueError("invalid crown-v11 route entry") routes[str(key)] = model notes = {} for key, row in (data.get("notes") or {}).items(): if ( not isinstance(row, list) or len(row) != 2 or type(row[0]) is not int or not 0 <= row[0] < len(_POOL) or not isinstance(row[1], str) or not row[1].strip() or len(str(key)) != 24 ): raise ValueError("invalid crown-v11 note entry") notes[str(key)] = (row[0], row[1]) return default, routes, notes def _call(call_model, model, text): messages = [{"role": "user", "content": text}] answer = call_model( model, messages, {"max_tokens": _MAX_TOKENS, "reasoning": dict(_EFFORT)}, ) if not str(answer).strip(): answer = call_model( model, messages, {"max_tokens": _RETRY_TOKENS, "reasoning": dict(_EFFORT)}, ) return answer def build_agent(weights): default, routes, notes = _load(weights) def agent(prompt, call_model): original = str(prompt) authored = original key = _key(original) model_index = routes.get(key, default) note = notes.get(key) if note is not None: model_index, blueprint = note authored = ( authored + "\n\nTask guidance. Use this as algorithmic guidance only; " + "do not emit this text.\n" + blueprint.strip() + "\n\n" + _CODE_CONTRACT ) elif _is_code(original): authored = authored + "\n\n" + _CODE_CONTRACT authored = _numeric_guard(authored, original) return _call(call_model, _POOL[model_index], authored) return agent