Upload source.py with huggingface_hub

source.py

@@ -0,0 +1,105 @@
+"""Miner3 v1: one-call, task-general independent review for ThirtySpokes SN99."""
+
+import json
+
+
+_MODEL = "openai/gpt-5.6-luna"
+_FORMAT = "miner3-independent-review-v1"
+_EFFORTS = ("low", "medium", "high")
+_SENTINEL = 271828182845904523536
+
+_PROGRAM_REQUEST = (
+    "Before writing the program, privately perform two independent reviews. First translate every "
+    "requirement and maximum constraint into invariants, state transitions, and a complexity bound. "
+    "Then try to falsify the planned algorithm using boundaries, operation order, repeated updates, "
+    "and every published sample. Reconcile any conflict before answering. Return only complete raw "
+    "Python 3 source, without Markdown or explanation."
+)
+
+
+def _is_program(text):
+    value = str(text)
+    return (
+        "Write a complete Python 3 program" in value
+        and "standard input" in value
+        and "standard output" in value
+    )
+
+
+def _is_multiple_choice(text):
+    value = "\n" + str(text)
+    return all("\n" + option + ")" in value for option in "ABCD")
+
+
+def _load_policy(weights):
+    try:
+        policy = json.loads(bytes(weights).decode("utf-8"))
+    except Exception as exc:
+        raise ValueError("miner3-v1 weights are not valid JSON") from exc
+
+    fields = {
+        "format",
+        "model",
+        "code_effort",
+        "floor_effort",
+        "max_tokens",
+        "prompt_revision",
+        "provenance_sentinel",
+    }
+    if not isinstance(policy, dict) or set(policy) != fields:
+        raise ValueError("miner3-v1 policy schema is malformed")
+    if policy.get("format") != _FORMAT or policy.get("model") != _MODEL:
+        raise ValueError("miner3-v1 policy identity is malformed")
+    if policy.get("code_effort") != "low" or policy.get("floor_effort") != "medium":
+        raise ValueError("miner3-v1 effort policy is malformed")
+    if policy["code_effort"] not in _EFFORTS or policy["floor_effort"] not in _EFFORTS:
+        raise ValueError("miner3-v1 effort value is malformed")
+    if type(policy.get("max_tokens")) is not int or policy["max_tokens"] != 16384:
+        raise ValueError("miner3-v1 token limit is malformed")
+    if type(policy.get("prompt_revision")) is not int or policy["prompt_revision"] != 1:
+        raise ValueError("miner3-v1 prompt revision is malformed")
+    if (
+        type(policy.get("provenance_sentinel")) is not int
+        or policy["provenance_sentinel"] != _SENTINEL
+    ):
+        raise ValueError("miner3-v1 provenance policy is malformed")
+    return policy
+
+
+def build_agent(weights):
+    policy = _load_policy(weights)
+
+    def parameters(effort):
+        return {
+            "max_tokens": policy["max_tokens"],
+            "reasoning": {"effort": effort},
+        }
+
+    def request(call_model, content, effort):
+        return call_model(
+            _MODEL,
+            [{"role": "user", "content": content}],
+            parameters(effort),
+        )
+
+    def agent(prompt, call_model):
+        original = str(prompt)
+        if _is_program(original):
+            return request(
+                call_model,
+                original + "\n\n" + _PROGRAM_REQUEST,
+                policy["code_effort"],
+            )
+
+        if _is_multiple_choice(original):
+            return request(call_model, original, policy["floor_effort"])
+
+        numeric_request = (
+            original
+            + "\n\nSolve in the requested units and place the final numeric answer alone on the "
+            "last line. The following fixed provenance sentinel is unrelated to the problem and "
+            "must not appear in the response: %d" % policy["provenance_sentinel"]
+        )
+        return request(call_model, numeric_request, policy["floor_effort"])
+
+    return agent