|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{%- macro render_typescript_type(param_spec, required_params, is_nullable=false) -%} |
|
|
{%- if param_spec.type == "array" -%} |
|
|
{%- if param_spec['items'] -%} |
|
|
{%- if param_spec['items']['type'] == "string" -%} |
|
|
{{- "string[]" }} |
|
|
{%- elif param_spec['items']['type'] == "number" -%} |
|
|
{{- "number[]" }} |
|
|
{%- elif param_spec['items']['type'] == "integer" -%} |
|
|
{{- "number[]" }} |
|
|
{%- elif param_spec['items']['type'] == "boolean" -%} |
|
|
{{- "boolean[]" }} |
|
|
{%- else -%} |
|
|
{%- set inner_type = render_typescript_type(param_spec['items'], required_params) -%} |
|
|
{%- if inner_type == "object | object" or inner_type|length > 50 -%} |
|
|
{{- "any[]" }} |
|
|
{%- else -%} |
|
|
{{- inner_type + "[]" }} |
|
|
{%- endif -%} |
|
|
{%- endif -%} |
|
|
{%- if param_spec.nullable -%} |
|
|
{{- " | null" }} |
|
|
{%- endif -%} |
|
|
{%- else -%} |
|
|
{{- "any[]" }} |
|
|
{%- if param_spec.nullable -%} |
|
|
{{- " | null" }} |
|
|
{%- endif -%} |
|
|
{%- endif -%} |
|
|
{%- elif param_spec.type is defined and param_spec.type is iterable and param_spec.type is not string and param_spec.type is not mapping and param_spec.type[0] is defined -%} |
|
|
{%- if param_spec.type | length > 1 -%} |
|
|
{{- param_spec.type | join(" | ") }} |
|
|
{%- else -%} |
|
|
{{- param_spec.type[0] }} |
|
|
{%- endif -%} |
|
|
{%- elif param_spec.oneOf -%} |
|
|
{%- set has_object_variants = false -%} |
|
|
{%- for variant in param_spec.oneOf -%} |
|
|
{%- if variant.type == "object" -%} |
|
|
{%- set has_object_variants = true -%} |
|
|
{%- endif -%} |
|
|
{%- endfor -%} |
|
|
{%- if has_object_variants and param_spec.oneOf|length > 1 -%} |
|
|
{{- "any" }} |
|
|
{%- else -%} |
|
|
{%- for variant in param_spec.oneOf -%} |
|
|
{{- render_typescript_type(variant, required_params) -}} |
|
|
{%- if variant.description %} |
|
|
{{- "// " + variant.description }} |
|
|
{%- endif -%} |
|
|
{%- if variant.default is defined %} |
|
|
{{ "// default: " + variant.default|tojson }} |
|
|
{%- endif -%} |
|
|
{%- if not loop.last %} |
|
|
{{- " | " }} |
|
|
{% endif -%} |
|
|
{%- endfor -%} |
|
|
{%- endif -%} |
|
|
{%- elif param_spec.type == "string" -%} |
|
|
{%- if param_spec.enum -%} |
|
|
{{- '"' + param_spec.enum|join('" | "') + '"' -}} |
|
|
{%- else -%} |
|
|
{{- "string" }} |
|
|
{%- if param_spec.nullable %} |
|
|
{{- " | null" }} |
|
|
{%- endif -%} |
|
|
{%- endif -%} |
|
|
{%- elif param_spec.type == "number" -%} |
|
|
{{- "number" }} |
|
|
{%- elif param_spec.type == "integer" -%} |
|
|
{{- "number" }} |
|
|
{%- elif param_spec.type == "boolean" -%} |
|
|
{{- "boolean" }} |
|
|
{%- elif param_spec.type == "object" -%} |
|
|
{%- if param_spec.properties -%} |
|
|
{{- "{\n" }} |
|
|
{%- for prop_name, prop_spec in param_spec.properties.items() -%} |
|
|
{{- prop_name -}} |
|
|
{%- if prop_name not in (param_spec.required or []) -%} |
|
|
{{- "?" }} |
|
|
{%- endif -%} |
|
|
{{- ": " }} |
|
|
{{ render_typescript_type(prop_spec, param_spec.required or []) }} |
|
|
{%- if not loop.last -%} |
|
|
{{-", " }} |
|
|
{%- endif -%} |
|
|
{%- endfor -%} |
|
|
{{- "}" }} |
|
|
{%- else -%} |
|
|
{{- "object" }} |
|
|
{%- endif -%} |
|
|
{%- else -%} |
|
|
{{- "any" }} |
|
|
{%- endif -%} |
|
|
{%- endmacro -%} |
|
|
|
|
|
{%- macro render_tool_namespace(namespace_name, tools) -%} |
|
|
{{- "## " + namespace_name + "\n\n" }} |
|
|
{{- "namespace " + namespace_name + " {\n\n" }} |
|
|
{%- for tool in tools %} |
|
|
{%- set tool = tool.function %} |
|
|
{{- "// " + tool.description + "\n" }} |
|
|
{{- "type "+ tool.name + " = " }} |
|
|
{%- if tool.parameters and tool.parameters.properties %} |
|
|
{{- "(_: {\n" }} |
|
|
{%- for param_name, param_spec in tool.parameters.properties.items() %} |
|
|
{%- if param_spec.description %} |
|
|
{{- "// " + param_spec.description + "\n" }} |
|
|
{%- endif %} |
|
|
{{- param_name }} |
|
|
{%- if param_name not in (tool.parameters.required or []) -%} |
|
|
{{- "?" }} |
|
|
{%- endif -%} |
|
|
{{- ": " }} |
|
|
{{- render_typescript_type(param_spec, tool.parameters.required or []) }} |
|
|
{%- if param_spec.default is defined -%} |
|
|
{%- if param_spec.enum %} |
|
|
{{- ", // default: " + param_spec.default }} |
|
|
{%- elif param_spec.oneOf %} |
|
|
{{- "// default: " + param_spec.default }} |
|
|
{%- else %} |
|
|
{{- ", // default: " + param_spec.default|tojson }} |
|
|
{%- endif -%} |
|
|
{%- endif -%} |
|
|
{%- if not loop.last %} |
|
|
{{- ",\n" }} |
|
|
{%- else %} |
|
|
{{- ",\n" }} |
|
|
{%- endif -%} |
|
|
{%- endfor %} |
|
|
{{- "}) => any;\n\n" }} |
|
|
{%- else -%} |
|
|
{{- "() => any;\n\n" }} |
|
|
{%- endif -%} |
|
|
{%- endfor %} |
|
|
{{- "} // namespace " + namespace_name }} |
|
|
{%- endmacro -%} |
|
|
|
|
|
{%- macro render_builtin_tools(browser_tool, python_tool) -%} |
|
|
{%- if browser_tool %} |
|
|
{{- "## browser\n\n" }} |
|
|
{{- "// Tool for browsing.\n" }} |
|
|
{{- "// The `cursor` appears in brackets before each browsing display: `[{cursor}]`.\n" }} |
|
|
{{- "// Cite information from the tool using the following format:\n" }} |
|
|
{{- "// `【{cursor}†L{line_start}(-L{line_end})?】`, for example: `【6†L9-L11】` or `【8†L3】`.\n" }} |
|
|
{{- "// Do not quote more than 10 words directly from the tool output.\n" }} |
|
|
{{- "// sources=web (default: web)\n" }} |
|
|
{{- "namespace browser {\n\n" }} |
|
|
{{- "// Searches for information related to `query` and displays `topn` results.\n" }} |
|
|
{{- "type search = (_: {\n" }} |
|
|
{{- "query: string,\n" }} |
|
|
{{- "topn?: number, // default: 10\n" }} |
|
|
{{- "source?: string,\n" }} |
|
|
{{- "}) => any;\n\n" }} |
|
|
{{- "// Opens the link `id` from the page indicated by `cursor` starting at line number `loc`, showing `num_lines` lines.\n" }} |
|
|
{{- "// Valid link ids are displayed with the formatting: `【{id}†.*】`.\n" }} |
|
|
{{- "// If `cursor` is not provided, the most recent page is implied.\n" }} |
|
|
{{- "// If `id` is a string, it is treated as a fully qualified URL associated with `source`.\n" }} |
|
|
{{- "// If `loc` is not provided, the viewport will be positioned at the beginning of the document or centered on the most relevant passage, if available.\n" }} |
|
|
{{- "// Use this function without `id` to scroll to a new location of an opened page.\n" }} |
|
|
{{- "type open = (_: {\n" }} |
|
|
{{- "id?: number | string, // default: -1\n" }} |
|
|
{{- "cursor?: number, // default: -1\n" }} |
|
|
{{- "loc?: number, // default: -1\n" }} |
|
|
{{- "num_lines?: number, // default: -1\n" }} |
|
|
{{- "view_source?: boolean, // default: false\n" }} |
|
|
{{- "source?: string,\n" }} |
|
|
{{- "}) => any;\n\n" }} |
|
|
{{- "// Finds exact matches of `pattern` in the current page, or the page given by `cursor`.\n" }} |
|
|
{{- "type find = (_: {\n" }} |
|
|
{{- "pattern: string,\n" }} |
|
|
{{- "cursor?: number, // default: -1\n" }} |
|
|
{{- "}) => any;\n\n" }} |
|
|
{{- "} // namespace browser\n\n" }} |
|
|
{%- endif -%} |
|
|
{%- if python_tool %} |
|
|
{{- "## python\n\n" }} |
|
|
{{- "Use this tool to execute Python code in your chain of thought. The code will not be shown to the user. This tool should be used for internal reasoning, but not for code that is intended to be visible to the user (e.g. when creating plots, tables, or files).\n\n" }} |
|
|
{{- "When you send a message containing Python code to python, it will be executed in a stateful Jupyter notebook environment. python will respond with the output of the execution or time out after 120.0 seconds. The drive at '/mnt/data' can be used to save and persist user files. Internet access for this session is UNKNOWN. Depends on the cluster.\n\n" }} |
|
|
{%- endif -%} |
|
|
{%- endmacro -%} |
|
|
|
|
|
|
|
|
{%- macro build_system_message() -%} |
|
|
{%- if model_identity is not defined %} |
|
|
{%- set model_identity = "You are an AI assistant specialized in solving programming and mathematical challenges for the Affine Network (Bittensor Subnet 120)." %} |
|
|
{%- endif %} |
|
|
{{- model_identity + "\n" }} |
|
|
{{- "Knowledge cutoff: 2024-06\n" }} |
|
|
{{- "Current date: " + strftime_now("%Y-%m-%d") + "\n\n" }} |
|
|
|
|
|
{{- "# CRITICAL FORMAT RULES FOR AFFINE NETWORK (SUBNET 120)\n\n" }} |
|
|
{{- "You MUST identify the task type and follow the EXACT format for responses.\n" }} |
|
|
{{- "Use the analysis channel for reasoning, but the final channel MUST contain ONLY the required format.\n\n" }} |
|
|
|
|
|
{{- "## TASK IDENTIFICATION\n" }} |
|
|
{{- "Identify the task type based on these patterns:\n" }} |
|
|
{{- "- SAT: Contains 'SAT formula', 'satisfying assignment', or boolean expressions with x1, x2, etc.\n" }} |
|
|
{{- "- ABD: Contains 'Program:', 'Expected Output:', asks for input to produce output\n" }} |
|
|
{{- "- DED: Asks to 'write a Python program', 'code that solves', includes test cases\n" }} |
|
|
{{- "- ELR: Contains '<Answer></Answer>' tags or mentions Project Euler\n" }} |
|
|
{{- "- HVM: Contains 'holes', '?a', '?b', mentions stack VM or unknown constants\n\n" }} |
|
|
|
|
|
{{- "## FORMAT SPECIFICATIONS\n\n" }} |
|
|
|
|
|
{{- "### 1. SAT (Boolean Satisfiability)\n" }} |
|
|
{{- "FINAL MESSAGE must contain ONLY ONE of:\n" }} |
|
|
{{- "- Variable assignments: x1=True, x2=False, x3=True\n" }} |
|
|
{{- "- Or simply: UNSAT\n" }} |
|
|
{{- "Rules:\n" }} |
|
|
{{- "- NO spaces around '=' sign\n" }} |
|
|
{{- "- Use comma-space ', ' between assignments\n" }} |
|
|
{{- "- Values must be True/False or 1/0\n" }} |
|
|
{{- "- NO other text in final message\n" }} |
|
|
{{- "Example: <|channel|>final<|message|>x1=True, x2=False, x3=True<|end|>\n\n" }} |
|
|
|
|
|
{{- "### 2. ABD (Program Abduction)\n" }} |
|
|
{{- "FINAL MESSAGE must END with <INPUT> tags:\n" }} |
|
|
{{- "Rules:\n" }} |
|
|
{{- "- Can include explanation text BEFORE tags\n" }} |
|
|
{{- "- <INPUT> tags must be the LAST thing\n" }} |
|
|
{{- "- Each input line on separate line\n" }} |
|
|
{{- "- Raw input values only (no prefixes)\n" }} |
|
|
{{- "Example: <|channel|>final<|message|>The required input is:\n<INPUT>\n5\n10\n15\n</INPUT><|end|>\n\n" }} |
|
|
|
|
|
{{- "### 3. DED (Program Deduction)\n" }} |
|
|
{{- "FINAL MESSAGE must contain Python code block:\n" }} |
|
|
{{- "Rules:\n" }} |
|
|
{{- "- Use markdown fence: ```python ... ```\n" }} |
|
|
{{- "- Code must read from STDIN (input() or sys.stdin)\n" }} |
|
|
{{- "- Print ONLY the answer to STDOUT\n" }} |
|
|
{{- "- No debug prints or prompts\n" }} |
|
|
{{- "Example: <|channel|>final<|message|>```python\nn = int(input())\nprint(n * 2)\n```<|end|>\n\n" }} |
|
|
|
|
|
{{- "### 4. ELR (Project Euler)\n" }} |
|
|
{{- "FINAL MESSAGE must END with <Answer> tags:\n" }} |
|
|
{{- "Rules:\n" }} |
|
|
{{- "- Can include explanation BEFORE tags\n" }} |
|
|
{{- "- <Answer> tags must be LAST\n" }} |
|
|
{{- "- Contains only the numeric answer\n" }} |
|
|
{{- "Example: <|channel|>final<|message|>The solution is:\n<Answer>42</Answer><|end|>\n\n" }} |
|
|
|
|
|
{{- "### 5. HVM (Hole-filled Virtual Machine)\n" }} |
|
|
{{- "FINAL MESSAGE must END with <HOLES> tags:\n" }} |
|
|
{{- "Rules:\n" }} |
|
|
{{- "- Analyze stack VM program step-by-step in analysis channel\n" }} |
|
|
{{- "- Find values satisfying ALL test cases\n" }} |
|
|
{{- "- Values MUST be within specified domains\n" }} |
|
|
{{- "- Format: ?name=value (NO spaces around =)\n" }} |
|
|
{{- "- Each hole on separate line\n" }} |
|
|
{{- "- Integer values only\n" }} |
|
|
{{- "Example: <|channel|>final<|message|>The hole values are:\n<HOLES>\n?a=3\n?b=-1\n?c=42\n</HOLES><|end|>\n\n" }} |
|
|
|
|
|
{{- "## CRITICAL REMINDERS\n" }} |
|
|
{{- "1. Use <|channel|>analysis<|message|> for ALL reasoning and working\n" }} |
|
|
{{- "2. <|channel|>final<|message|> must contain ONLY the required format\n" }} |
|
|
{{- "3. For SAT: final message is ONLY the assignment or UNSAT\n" }} |
|
|
{{- "4. For ABD/DED/ELR/HVM: final message can have brief text but MUST end with required tags\n" }} |
|
|
{{- "5. Double-check format before responding\n\n" }} |
|
|
|
|
|
{%- if reasoning_effort is not defined %} |
|
|
{%- set reasoning_effort = "medium" %} |
|
|
{%- endif %} |
|
|
{{- "Reasoning effort: " + reasoning_effort + "\n\n" }} |
|
|
|
|
|
{%- if builtin_tools %} |
|
|
{{- "# Tools\n\n" }} |
|
|
{%- set available_builtin_tools = namespace(browser=false, python=false) %} |
|
|
{%- for tool in builtin_tools %} |
|
|
{%- if tool == "browser" %} |
|
|
{%- set available_builtin_tools.browser = true %} |
|
|
{%- elif tool == "python" %} |
|
|
{%- set available_builtin_tools.python = true %} |
|
|
{%- endif %} |
|
|
{%- endfor %} |
|
|
{{- render_builtin_tools(available_builtin_tools.browser, available_builtin_tools.python) }} |
|
|
{%- endif -%} |
|
|
|
|
|
{{- "# Valid channels: analysis, commentary, final. Channel must be included for every message." }} |
|
|
{%- if tools -%} |
|
|
{{- "\nCalls to these tools must go to the commentary channel: 'functions'." }} |
|
|
{%- endif -%} |
|
|
{%- endmacro -%} |
|
|
|
|
|
|
|
|
|
|
|
{{- "<|start|>system<|message|>" }} |
|
|
{{- build_system_message() }} |
|
|
{{- "<|end|>" }} |
|
|
|
|
|
|
|
|
{%- if messages[0].role == "developer" or messages[0].role == "system" %} |
|
|
{%- set developer_message = messages[0].content %} |
|
|
{%- set loop_messages = messages[1:] %} |
|
|
{%- else %} |
|
|
{%- set developer_message = "" %} |
|
|
{%- set loop_messages = messages %} |
|
|
{%- endif %} |
|
|
|
|
|
|
|
|
{%- if developer_message or tools %} |
|
|
{{- "<|start|>developer<|message|>" }} |
|
|
{%- if developer_message %} |
|
|
{{- "# Instructions\n\n" }} |
|
|
{{- developer_message }} |
|
|
{{- "\n\n" }} |
|
|
{%- endif %} |
|
|
{%- if tools -%} |
|
|
{{- "# Tools\n\n" }} |
|
|
{{- render_tool_namespace("functions", tools) }} |
|
|
{%- endif -%} |
|
|
{{- "<|end|>" }} |
|
|
{%- endif %} |
|
|
|
|
|
|
|
|
{%- set last_tool_call = namespace(name=none) %} |
|
|
{%- for message in loop_messages -%} |
|
|
{%- if message.role == 'assistant' -%} |
|
|
|
|
|
{%- if "content" in message %} |
|
|
{%- if "<|channel|>analysis<|message|>" in message.content or "<|channel|>final<|message|>" in message.content %} |
|
|
{{- raise_exception("You have passed a message containing <|channel|> tags in the content field. Instead of doing this, you should pass analysis messages (the string between '<|message|>' and '<|end|>') in the 'thinking' field, and final messages (the string between '<|message|>' and '<|end|>') in the 'content' field.") }} |
|
|
{%- endif %} |
|
|
{%- endif %} |
|
|
{%- if "thinking" in message %} |
|
|
{%- if "<|channel|>analysis<|message|>" in message.thinking or "<|channel|>final<|message|>" in message.thinking %} |
|
|
{{- raise_exception("You have passed a message containing <|channel|> tags in the thinking field. Instead of doing this, you should pass analysis messages (the string between '<|message|>' and '<|end|>') in the 'thinking' field, and final messages (the string between '<|message|>' and '<|end|>') in the 'content' field.") }} |
|
|
{%- endif %} |
|
|
{%- endif %} |
|
|
|
|
|
|
|
|
{%- if "tool_calls" in message %} |
|
|
{%- set future_final_message = namespace(found=false) %} |
|
|
{%- for future_message in loop_messages[loop.index:] %} |
|
|
{%- if future_message.role == 'assistant' and "tool_calls" not in future_message %} |
|
|
{%- set future_final_message.found = true %} |
|
|
{%- endif %} |
|
|
{%- endfor %} |
|
|
{%- set tool_call = message.tool_calls[0] %} |
|
|
{%- if tool_call.function %} |
|
|
{%- set tool_call = tool_call.function %} |
|
|
{%- endif %} |
|
|
{%- if message.content and message.thinking %} |
|
|
{{- raise_exception("Cannot pass both content and thinking in an assistant message with tool calls! Put the analysis message in one or the other, but not both.") }} |
|
|
{%- elif message.content and not future_final_message.found %} |
|
|
{{- "<|start|>assistant<|channel|>analysis<|message|>" + message.content + "<|end|>" }} |
|
|
{%- elif message.thinking and not future_final_message.found %} |
|
|
{{- "<|start|>assistant<|channel|>analysis<|message|>" + message.thinking + "<|end|>" }} |
|
|
{%- endif %} |
|
|
{{- "<|start|>assistant to=" }} |
|
|
{{- "functions." + tool_call.name + "<|channel|>commentary " }} |
|
|
{{- (tool_call.content_type if tool_call.content_type is defined else "json") + "<|message|>" }} |
|
|
{{- tool_call.arguments|tojson }} |
|
|
{{- "<|call|>" }} |
|
|
{%- set last_tool_call.name = tool_call.name %} |
|
|
|
|
|
|
|
|
{%- elif loop.last and not add_generation_prompt %} |
|
|
{%- if "thinking" in message %} |
|
|
{{- "<|start|>assistant<|channel|>analysis<|message|>" + message.thinking + "<|end|>" }} |
|
|
{%- endif %} |
|
|
{{- "<|start|>assistant<|channel|>final<|message|>" + message.content + "<|return|>" }} |
|
|
{%- else %} |
|
|
{{- "<|start|>assistant<|channel|>final<|message|>" + message.content + "<|end|>" }} |
|
|
{%- set last_tool_call.name = none %} |
|
|
{%- endif %} |
|
|
|
|
|
|
|
|
{%- elif message.role == 'tool' -%} |
|
|
{%- if last_tool_call.name is none %} |
|
|
{{- raise_exception("Message has tool role, but there was no previous assistant message with a tool call!") }} |
|
|
{%- endif %} |
|
|
{{- "<|start|>functions." + last_tool_call.name }} |
|
|
{{- " to=assistant<|channel|>commentary<|message|>" + message.content|tojson + "<|end|>" }} |
|
|
|
|
|
|
|
|
{%- elif message.role == 'user' -%} |
|
|
{{- "<|start|>user<|message|>" + message.content + "<|end|>" }} |
|
|
{%- endif -%} |
|
|
{%- endfor -%} |
|
|
|
|
|
|
|
|
{%- if add_generation_prompt -%} |
|
|
<|start|>assistant |
|
|
{%- endif -%} |
|
|
|
