File size: 4,624 Bytes
6f12e39 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 | """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
|