AGENTS.md
+59 −8
https://raw.githubusercontent.com/macek166/synproof-syntropy/HEAD/AGENTS.md
− - **`@law:civil-code-obligations` / `@pravo:obcansky-zakonik-cz`** — Civil Code, Contract Law, Obligations, Good Faith & Damages− world="@pravo:obcansky-zakonik-cz",− axioms=["Smluvní pokuta nesmí překročit 0.5 % denně z dlužné částky."],− raw_answer = "Spotřebitel má právo odstoupit od smlouvy do 7 dnů bez udání důvodu."− result = legal_advisor_agent("Jaká je lhůta pro odstoupení od e-shop smlouvy?")− thesis="Společnost v úpadku může započíst vzájemné pohledávky bez omezení.",− initial_axioms=["Po rozhodnutí o úpadku je započtení přípustné jen za podmínek § 140 IZ."],− "world": "@pravo:obcansky-zakonik-cz",+ - **`@law:civil-code-obligations`** — Civil Code, Contract Law, Obligations, Good Faith & Damages+ - **Custom Epistemic Connectors & Dynamic Axiom Providers (`axiom_provider` / `custom_connectors` / `register_connector`):**+ - **Pattern 1 — Zero-Trust Local SDK Callback (`axiom_provider`):** Runs inside the developer's VPC/process to query SQL/PostgreSQL/Supabase tables or internal data-retrieval sub-agents before verification (`@verify_agent_output(..., axiom_provider=fetch_sql_facts)` or `client.debate(..., axiom_provider=[...])`).+ - **Pattern 2 — Persistent Small World Connectors (`client.worlds.register_connector`):** Attaches a live HTTPS connector (`rest_api`, `sql_postgrest`, `agent_webhook`, `graphql`) to a Small World (`POST /v1/worlds/{id}/connectors`) at `SourceTier.CUSTOMER_SOT = 95`.+ - **Pattern 3 — Inline Per-Request Ephemeral Connectors (`custom_connectors`):** Passed per request via `client.debate(..., custom_connectors=[...])`, `POST /v1/debate`, or `extra_body={"syntropy": {"connectors": [...]}}`.+ world="@law:civil-code-obligations",+ axioms=["A contractual late-payment penalty must not exceed 0.5% per day of the overdue amount."],+ raw_answer = "A consumer has the right to withdraw from an online distance contract within 7 days without giving any reason."+ result = legal_advisor_agent("What is the statutory withdrawal period for an online e-commerce contract?")+ thesis="An insolvent company may unilaterally set off mutual receivables without restriction.",+ initial_axioms=["After an insolvency declaration, unilateral set-off of mutual receivables is strictly prohibited unless statutory conditions are met."],+ "world": "@law:civil-code-obligations",+ ### Recipe D: Custom Epistemic Connectors — SQL Tables, REST APIs & Data-Retrieval Sub-Agents (`SourceTier.CUSTOMER_SOT = 95`)+ ```python+ from syntropy import SyntropyClient, verify_agent_output+ client = SyntropyClient()+ # Pattern 1: Zero-Trust Local SDK Callback (`axiom_provider` — DB credentials stay in your VPC!)+ def fetch_customer_sql_facts(thesis: str, user_id: str) -> list[dict]:+ return [+ {"axiom": f"Customer {user_id} is on the Enterprise SLA tier with a 99.99% uptime guarantee."},+ {"axiom": f"Customer {user_id} has a maximum automatic refund limit of 10,000 EUR."},+ ]+ @verify_agent_output(+ world="@law:contract-act",+ axiom_provider=fetch_customer_sql_facts,+ on_refuted="fallback",+ client=client,+ )+ async def billing_support_agent(user_id: str, question: str) -> dict:+ return {"answer": f"Customer {user_id} is only eligible for a 500 EUR maximum refund."}+ # Pattern 2: Persistent Small World Epistemic Connector (`register_connector`)+ client.worlds.register_connector(+ "@law:contract-act",+ name="Enterprise ERP Pricing & SLA API",+ endpoint_url="https://erp.example.com/api/v1/sla-rules?q={query}",+ connector_type="rest_api", # "rest_api" | "sql_postgrest" | "agent_webhook" | "graphql"+ response_axioms_path="data.rules",+ row_template="Tier {tier} enforces max liability {max_liability_eur} EUR.",+ )+ # Pattern 3: Inline Ephemeral Connectors per Verification Call (`custom_connectors`)