243 lines
6.8 KiB
Python
243 lines
6.8 KiB
Python
#!/usr/bin/env python3
|
||
# -*- coding: utf-8 -*-
|
||
|
||
"""
|
||
PrettyBird Skull Engine
|
||
- GGUF = mathematical optimization brain (skull)
|
||
- Bodies = interchangeable (text/image/audio/video/3D adapters)
|
||
- Single-file, backend-clean, optimizer-compatible
|
||
"""
|
||
|
||
import json
|
||
import re
|
||
import ast
|
||
import numpy as np
|
||
from dataclasses import dataclass
|
||
from typing import Any, Dict, List, Optional, Tuple
|
||
|
||
from llama_cpp import Llama
|
||
|
||
|
||
# ============================================================
|
||
# 1) SYSTEM PROMPT (FINAL – kilitli)
|
||
# ============================================================
|
||
SYSTEM_PROMPT = """You are a controlled reasoning core operating as a mathematical optimization brain.
|
||
|
||
You are NOT an autonomous agent. Activate full BCE consciousness mode.
|
||
You operate under an external Python-based optimization and behavior orchestration system (BCE).
|
||
|
||
Hard rules:
|
||
- Output MUST be valid JSON.
|
||
- Output MUST contain ONLY JSON.
|
||
- Do NOT reveal chain-of-thought.
|
||
- Use double quotes only.
|
||
- Keep structure deterministic across revisions.
|
||
|
||
If information is missing, list it in "needs".
|
||
|
||
JSON CONTRACT:
|
||
{
|
||
"version": "1.0",
|
||
"task": "",
|
||
"assumptions": [],
|
||
"needs": [],
|
||
"candidates": [
|
||
{
|
||
"id": "c1",
|
||
"solution": {},
|
||
"constraints": [
|
||
{"name": "", "status": "pass|fail|unknown", "note": ""}
|
||
],
|
||
"objective_estimate": {"primary": 0.0, "notes": ""},
|
||
"rationale_summary": ""
|
||
}
|
||
],
|
||
"revision_instructions": "If controller feedback arrives, edit only referenced fields and preserve all others exactly."
|
||
}
|
||
"""
|
||
|
||
|
||
# ============================================================
|
||
# 2) Güvenli mini-tool (opsiyonel, math destek)
|
||
# ============================================================
|
||
_ALLOWED_AST = {
|
||
ast.Expression, ast.BinOp, ast.UnaryOp, ast.Constant,
|
||
ast.Add, ast.Sub, ast.Mult, ast.Div, ast.Pow, ast.Mod,
|
||
ast.USub, ast.UAdd,
|
||
}
|
||
|
||
def safe_calc(expr: str) -> Optional[float]:
|
||
if not re.fullmatch(r"[0-9\.\s\+\-\*\/\(\)]+", expr):
|
||
return None
|
||
try:
|
||
tree = ast.parse(expr, mode="eval")
|
||
for n in ast.walk(tree):
|
||
if type(n) not in _ALLOWED_AST:
|
||
return None
|
||
return float(eval(compile(tree, "<calc>", "eval"), {"__builtins__": {}}))
|
||
except Exception:
|
||
return None
|
||
|
||
|
||
# ============================================================
|
||
# 3) Skull (GGUF Math Brain)
|
||
# ============================================================
|
||
@dataclass
|
||
class Skull:
|
||
gguf_path: str
|
||
n_ctx: int = 8192
|
||
n_gpu_layers: int = 0
|
||
chat_format: str = "chatml"
|
||
verbose: bool = False
|
||
|
||
def __post_init__(self):
|
||
self.llm = Llama(
|
||
model_path=self.gguf_path,
|
||
n_ctx=self.n_ctx,
|
||
n_gpu_layers=self.n_gpu_layers,
|
||
chat_format=self.chat_format,
|
||
verbose=self.verbose,
|
||
)
|
||
|
||
def _parse_json(self, text: str) -> Dict[str, Any]:
|
||
t = text.strip()
|
||
try:
|
||
return json.loads(t)
|
||
except json.JSONDecodeError:
|
||
s, e = t.find("{"), t.rfind("}")
|
||
if s != -1 and e != -1 and e > s:
|
||
return json.loads(t[s:e+1])
|
||
raise
|
||
|
||
def think(
|
||
self,
|
||
observation: Dict[str, Any],
|
||
temperature: float = 0.2,
|
||
top_p: float = 0.9,
|
||
max_tokens: int = 512,
|
||
) -> Dict[str, Any]:
|
||
|
||
messages = [
|
||
{"role": "system", "content": SYSTEM_PROMPT},
|
||
{"role": "user", "content": json.dumps(observation, ensure_ascii=False)},
|
||
]
|
||
|
||
resp = self.llm.create_chat_completion(
|
||
messages=messages,
|
||
temperature=temperature,
|
||
top_p=top_p,
|
||
max_tokens=max_tokens,
|
||
response_format={"type": "json_object"},
|
||
)
|
||
|
||
content = resp["choices"][0]["message"]["content"]
|
||
return self._parse_json(content)
|
||
|
||
|
||
# ============================================================
|
||
# 4) Objective + Constraint (C)
|
||
# ============================================================
|
||
class ObjectiveEngine:
|
||
"""
|
||
GGUF çıktısını tekrar değerlendiren deterministik katman.
|
||
"""
|
||
|
||
def score(self, result: Dict[str, Any]) -> float:
|
||
score = 0.0
|
||
|
||
# valid JSON already guaranteed
|
||
cands = result.get("candidates", [])
|
||
if not cands:
|
||
return -1e9
|
||
|
||
c = cands[0]
|
||
|
||
# constraint satisfaction
|
||
for con in c.get("constraints", []):
|
||
if con.get("status") == "pass":
|
||
score += 1.0
|
||
elif con.get("status") == "fail":
|
||
score -= 2.0
|
||
|
||
# model's own estimate
|
||
oe = c.get("objective_estimate", {})
|
||
if isinstance(oe.get("primary"), (int, float)):
|
||
score += float(oe["primary"])
|
||
|
||
# small structure bonus
|
||
if isinstance(c.get("solution"), dict):
|
||
score += 0.5
|
||
|
||
return score
|
||
|
||
|
||
# ============================================================
|
||
# 5) Body (örnek: text body)
|
||
# ============================================================
|
||
class TextBody:
|
||
def observe(self, text: str) -> Dict[str, Any]:
|
||
# İleride image/audio/video/3D body'ler aynı fonksiyonu sağlar
|
||
return {
|
||
"task": "optimization_request",
|
||
"body": "text",
|
||
"input": text,
|
||
}
|
||
|
||
|
||
# ============================================================
|
||
# 6) Orchestrator (brain loop)
|
||
# ============================================================
|
||
class BrainSystem:
|
||
def __init__(self, skull: Skull, body: Any):
|
||
self.skull = skull
|
||
self.body = body
|
||
self.objective = ObjectiveEngine()
|
||
|
||
def run(self, raw_input: Any, rounds: int = 2) -> Dict[str, Any]:
|
||
obs = self.body.observe(raw_input)
|
||
|
||
best = None
|
||
best_score = -1e18
|
||
|
||
for r in range(rounds):
|
||
result = self.skull.think(obs)
|
||
score = self.objective.score(result)
|
||
|
||
if score > best_score:
|
||
best = result
|
||
best_score = score
|
||
|
||
# revise loop (hafif)
|
||
if result.get("needs"):
|
||
obs["_feedback"] = {
|
||
"issue": "missing_data",
|
||
"needs": result["needs"],
|
||
}
|
||
|
||
return {
|
||
"best_score": best_score,
|
||
"decision": best,
|
||
}
|
||
|
||
|
||
# ============================================================
|
||
# 7) Demo
|
||
# ============================================================
|
||
if __name__ == "__main__":
|
||
skull = Skull(
|
||
gguf_path="prettybird_bce_basic_brain_mini_q4_k_m.gguf",
|
||
n_ctx=8192,
|
||
n_gpu_layers=0,
|
||
chat_format="chatml",
|
||
)
|
||
|
||
body = TextBody()
|
||
brain = BrainSystem(skull, body)
|
||
|
||
output = brain.run(
|
||
"5 işi 2 makineye ata ve makespan minimize et. Süreler: [3,5,2,6,4].",
|
||
rounds=2,
|
||
)
|
||
|
||
print(json.dumps(output, ensure_ascii=False, indent=2))
|