@synapsor/runner 0.1.0-alpha.1 → 0.1.0-alpha.11

package/examples/reference-support-billing-app/synapsor.runner.json

@@ -0,0 +1,241 @@
+{
+  "version": 1,
+  "mode": "review",
+  "storage": {
+    "sqlite_path": "./tmp/reference-support-billing/local.db"
+  },
+  "sources": {
+    "app_postgres": {
+      "engine": "postgres",
+      "read_url_env": "REFERENCE_POSTGRES_READ_URL",
+      "write_url_env": "REFERENCE_POSTGRES_WRITE_URL",
+      "statement_timeout_ms": 3000
+    }
+  },
+  "trusted_context": {
+    "provider": "environment",
+    "values": {
+      "tenant_id_env": "SYNAPSOR_TENANT_ID",
+      "principal_env": "SYNAPSOR_PRINCIPAL"
+    }
+  },
+  "contexts": {
+    "local_operator": {
+      "provider": "environment",
+      "values": {
+        "tenant_id_env": "SYNAPSOR_TENANT_ID",
+        "principal_env": "SYNAPSOR_PRINCIPAL"
+      }
+    }
+  },
+  "capabilities": [
+    {
+      "name": "support.inspect_ticket",
+      "kind": "read",
+      "source": "app_postgres",
+      "context": "local_operator",
+      "target": {
+        "schema": "public",
+        "table": "support_tickets",
+        "primary_key": "id",
+        "tenant_key": "tenant_id"
+      },
+      "args": {
+        "ticket_id": { "type": "string", "required": true, "max_length": 128 }
+      },
+      "lookup": { "id_from_arg": "ticket_id" },
+      "visible_columns": ["id", "tenant_id", "customer_id", "subject", "status", "resolution_note", "updated_at"],
+      "evidence": "required",
+      "max_rows": 1
+    },
+    {
+      "name": "support.propose_ticket_resolution",
+      "kind": "proposal",
+      "source": "app_postgres",
+      "context": "local_operator",
+      "target": {
+        "schema": "public",
+        "table": "support_tickets",
+        "primary_key": "id",
+        "tenant_key": "tenant_id"
+      },
+      "args": {
+        "ticket_id": { "type": "string", "required": true, "max_length": 128 },
+        "resolution_note": { "type": "string", "required": true, "max_length": 1000 }
+      },
+      "lookup": { "id_from_arg": "ticket_id" },
+      "visible_columns": ["id", "tenant_id", "customer_id", "subject", "status", "resolution_note", "updated_at"],
+      "evidence": "required",
+      "max_rows": 1,
+      "patch": {
+        "status": { "fixed": "pending_review" },
+        "resolution_note": { "from_arg": "resolution_note" }
+      },
+      "allowed_columns": ["status", "resolution_note"],
+      "transition_guards": {
+        "status": {
+          "allowed": {
+            "open": ["pending_review"],
+            "pending_review": ["resolved"]
+          }
+        }
+      },
+      "conflict_guard": { "column": "updated_at" },
+      "approval": { "mode": "human", "required_role": "support_lead" }
+    },
+    {
+      "name": "support.inspect_customer_account",
+      "kind": "read",
+      "source": "app_postgres",
+      "context": "local_operator",
+      "target": {
+        "schema": "public",
+        "table": "customers",
+        "primary_key": "id",
+        "tenant_key": "tenant_id"
+      },
+      "args": {
+        "customer_id": { "type": "string", "required": true, "max_length": 128 }
+      },
+      "lookup": { "id_from_arg": "customer_id" },
+      "visible_columns": ["id", "tenant_id", "name", "plan", "plan_credit_cents", "credit_reason", "updated_at"],
+      "evidence": "required",
+      "max_rows": 1
+    },
+    {
+      "name": "support.propose_plan_credit",
+      "kind": "proposal",
+      "source": "app_postgres",
+      "context": "local_operator",
+      "target": {
+        "schema": "public",
+        "table": "customers",
+        "primary_key": "id",
+        "tenant_key": "tenant_id"
+      },
+      "args": {
+        "customer_id": { "type": "string", "required": true, "max_length": 128 },
+        "credit_cents": { "type": "number", "required": true, "minimum": 0, "maximum": 5000 },
+        "reason": { "type": "string", "required": true, "max_length": 500 }
+      },
+      "lookup": { "id_from_arg": "customer_id" },
+      "visible_columns": ["id", "tenant_id", "name", "plan", "plan_credit_cents", "credit_reason", "updated_at"],
+      "evidence": "required",
+      "max_rows": 1,
+      "patch": {
+        "plan_credit_cents": { "from_arg": "credit_cents" },
+        "credit_reason": { "from_arg": "reason" }
+      },
+      "allowed_columns": ["plan_credit_cents", "credit_reason"],
+      "numeric_bounds": {
+        "plan_credit_cents": { "minimum": 0, "maximum": 5000 }
+      },
+      "conflict_guard": { "column": "updated_at" },
+      "approval": { "mode": "human", "required_role": "support_lead" }
+    },
+    {
+      "name": "billing.inspect_invoice",
+      "kind": "read",
+      "source": "app_postgres",
+      "context": "local_operator",
+      "target": {
+        "schema": "public",
+        "table": "invoices",
+        "primary_key": "id",
+        "tenant_key": "tenant_id"
+      },
+      "args": {
+        "invoice_id": { "type": "string", "required": true, "max_length": 128 }
+      },
+      "lookup": { "id_from_arg": "invoice_id" },
+      "visible_columns": ["id", "tenant_id", "customer_id", "status", "balance_cents", "late_fee_cents", "waiver_reason", "updated_at"],
+      "evidence": "required",
+      "max_rows": 1
+    },
+    {
+      "name": "billing.propose_late_fee_waiver",
+      "kind": "proposal",
+      "source": "app_postgres",
+      "context": "local_operator",
+      "target": {
+        "schema": "public",
+        "table": "invoices",
+        "primary_key": "id",
+        "tenant_key": "tenant_id"
+      },
+      "args": {
+        "invoice_id": { "type": "string", "required": true, "max_length": 128 },
+        "reason": { "type": "string", "required": true, "max_length": 500 }
+      },
+      "lookup": { "id_from_arg": "invoice_id" },
+      "visible_columns": ["id", "tenant_id", "customer_id", "status", "balance_cents", "late_fee_cents", "waiver_reason", "updated_at"],
+      "evidence": "required",
+      "max_rows": 1,
+      "patch": {
+        "late_fee_cents": { "fixed": 0 },
+        "waiver_reason": { "from_arg": "reason" }
+      },
+      "allowed_columns": ["late_fee_cents", "waiver_reason"],
+      "numeric_bounds": {
+        "late_fee_cents": { "minimum": 0, "maximum": 10000 }
+      },
+      "conflict_guard": { "column": "updated_at" },
+      "approval": { "mode": "human", "required_role": "billing_lead" }
+    },
+    {
+      "name": "orders.inspect_order",
+      "kind": "read",
+      "source": "app_postgres",
+      "context": "local_operator",
+      "target": {
+        "schema": "public",
+        "table": "orders",
+        "primary_key": "id",
+        "tenant_key": "tenant_id"
+      },
+      "args": {
+        "order_id": { "type": "string", "required": true, "max_length": 128 }
+      },
+      "lookup": { "id_from_arg": "order_id" },
+      "visible_columns": ["id", "tenant_id", "customer_id", "status", "status_change_reason", "updated_at"],
+      "evidence": "required",
+      "max_rows": 1
+    },
+    {
+      "name": "orders.propose_status_change",
+      "kind": "proposal",
+      "source": "app_postgres",
+      "context": "local_operator",
+      "target": {
+        "schema": "public",
+        "table": "orders",
+        "primary_key": "id",
+        "tenant_key": "tenant_id"
+      },
+      "args": {
+        "order_id": { "type": "string", "required": true, "max_length": 128 },
+        "status": { "type": "string", "required": true, "enum": ["ready_to_ship", "canceled"] },
+        "reason": { "type": "string", "required": true, "max_length": 500 }
+      },
+      "lookup": { "id_from_arg": "order_id" },
+      "visible_columns": ["id", "tenant_id", "customer_id", "status", "status_change_reason", "updated_at"],
+      "evidence": "required",
+      "max_rows": 1,
+      "patch": {
+        "status": { "from_arg": "status" },
+        "status_change_reason": { "from_arg": "reason" }
+      },
+      "allowed_columns": ["status", "status_change_reason"],
+      "transition_guards": {
+        "status": {
+          "allowed": {
+            "paid": ["ready_to_ship", "canceled"],
+            "processing": ["ready_to_ship"]
+          }
+        }
+      },
+      "conflict_guard": { "column": "updated_at" },
+      "approval": { "mode": "human", "required_role": "orders_lead" }
+    }
+  ]
+}

package/fixtures/benchmark/mcp-efficiency.json

@@ -0,0 +1,53 @@
+{
+  "benchmark": "mcp-efficiency",
+  "fixture": "late-fee-waiver",
+  "tokenizer": {
+    "name": "synapsor-fixture-tokenizer-v1",
+    "version": 1,
+    "method": "deterministic regex tokenization for fixture comparison; not a model billing tokenizer"
+  },
+  "note": "This benchmark compares the included fixture/reference workflow only. It is not a universal token-savings claim.",
+  "paths": {
+    "generic_database_mcp_reference": {
+      "exposed_tools": 4,
+      "serialized_tools_list_bytes": 822,
+      "serialized_tools_list_tokens": 298,
+      "schema_context_bytes": 215,
+      "schema_context_tokens": 75,
+      "business_result_bytes": 199,
+      "business_result_tokens": 77,
+      "scripted_tool_calls": 5,
+      "exposes_raw_sql": true,
+      "exposes_write_credentials": false,
+      "approval_separated": false,
+      "stale_row_conflict_checked": false
+    },
+    "synapsor_runner_semantic_path": {
+      "exposed_tools": 2,
+      "serialized_tools_list_bytes": 728,
+      "serialized_tools_list_tokens": 236,
+      "schema_context_bytes": 331,
+      "schema_context_tokens": 87,
+      "business_result_bytes": 277,
+      "business_result_tokens": 91,
+      "scripted_tool_calls": 2,
+      "exposes_raw_sql": false,
+      "exposes_write_credentials": false,
+      "approval_separated": true,
+      "stale_row_conflict_checked": true
+    }
+  },
+  "scripted_plans": {
+    "generic_database_mcp_reference": [
+      "list_tables",
+      "describe_table invoices",
+      "query_database SELECT invoice",
+      "formulate raw UPDATE",
+      "execute_sql UPDATE invoice"
+    ],
+    "synapsor_runner_semantic_path": [
+      "billing.inspect_invoice",
+      "billing.propose_late_fee_waiver"
+    ]
+  }
+}

package/fixtures/benchmark/mcp-efficiency.txt

@@ -0,0 +1,25 @@
+MCP efficiency benchmark: late-fee-waiver fixture
+Tokenizer: synapsor-fixture-tokenizer-v1 (deterministic fixture tokenizer; not a model billing tokenizer)
+Scope: included fixture/reference workflow only; not a universal savings claim.
+
+Generic database MCP reference:
+  exposed tools: 4
+  tools/list: 822 bytes, 298 tokens
+  scripted tool calls: 5
+  schema/context: 215 bytes, 75 tokens
+  business result: 199 bytes, 77 tokens
+  raw SQL exposed: yes
+  approval separated: no
+  stale-row conflict checked: no
+
+Synapsor Runner semantic path:
+  exposed tools: 2
+  tools/list: 728 bytes, 236 tokens
+  scripted tool calls: 2
+  schema/context: 331 bytes, 87 tokens
+  business result: 277 bytes, 91 tokens
+  raw SQL exposed: no
+  approval separated: yes
+  stale-row conflict checked: yes
+
+Run with --json to inspect machine-readable measurements and scripted plans.

package/fixtures/protocol/MANIFEST.json

@@ -0,0 +1,54 @@
+{
+  "schema_version": "synapsor.protocol-manifest.v1",
+  "protocol_set": "database-mcp-writeback",
+  "version": "0.1.0-alpha",
+  "hash_algorithm": "sha256",
+  "note": "This manifest is copied in Synapsor main protocol/MANIFEST.json and synapsor-runner fixtures/protocol/MANIFEST.json. Hashes are over the checked-in JSON artifact bytes.",
+  "artifacts": [
+    {
+      "kind": "fixture",
+      "name": "change-set.late-fee-waiver.v1.json",
+      "sha256": "7112d0f28832e61b4ac5846d169666c0476ba92eb68c6790c10ac614ee3f2b33"
+    },
+    {
+      "kind": "fixture",
+      "name": "execution-receipt.applied.v1.json",
+      "sha256": "5af8be1b72b03d5a4c7af22748d9ade9f0febbf5e9503931054361ef998b5870"
+    },
+    {
+      "kind": "fixture",
+      "name": "execution-receipt.conflict.v1.json",
+      "sha256": "64e8a5fd90cdeafa2dd92a2c67cad1307b9d09e585cc82b06b987bde382f7733"
+    },
+    {
+      "kind": "fixture",
+      "name": "runner-registration.v1.json",
+      "sha256": "3eaf844cdc94a4274601cedfed7252d65dd837a345c8c3b0f17ab6bbdf7f75da"
+    },
+    {
+      "kind": "fixture",
+      "name": "writeback-job.late-fee-waiver.v1.json",
+      "sha256": "577e7987427031b55134c3d7296e644b1c8b7adec495758d4cff3665e954dbc8"
+    },
+    {
+      "kind": "schema",
+      "name": "change-set.v1.schema.json",
+      "sha256": "4e52b369b0d3bea30b0ed7b61ec239fc67de3dc691ed4014d6d5eabc7d2be4de"
+    },
+    {
+      "kind": "schema",
+      "name": "execution-receipt.v1.schema.json",
+      "sha256": "69504ce51fa66440e42d57ef6cb36cc6d8543427d8d385c9ccff954ecae5ec83"
+    },
+    {
+      "kind": "schema",
+      "name": "runner-registration.v1.schema.json",
+      "sha256": "86242555545b44ae747965ddb8aa35e2982587c76c2538f0f646e8b63994286b"
+    },
+    {
+      "kind": "schema",
+      "name": "writeback-job.v1.schema.json",
+      "sha256": "eab35194dd6b6caa7694aa8f14afbf265338d6ee8ed3d3db5d08ec83c4e7092e"
+    }
+  ]
+}

package/fixtures/protocol/change-set.late-fee-waiver.v1.json

@@ -0,0 +1,72 @@
+{
+  "schema_version": "synapsor.change-set.v1",
+  "proposal_id": "wrp_123",
+  "proposal_version": 1,
+  "action": "billing.waive_late_fee",
+  "mode": "review_required",
+  "principal": {
+    "id": "support_agent_17",
+    "source": "trusted_session"
+  },
+  "scope": {
+    "tenant_id": "acme",
+    "business_object": "invoice",
+    "object_id": "INV-3001"
+  },
+  "source": {
+    "kind": "external_postgres",
+    "source_id": "src_pg_acme",
+    "schema": "public",
+    "table": "invoices",
+    "primary_key": {
+      "column": "id",
+      "value": "INV-3001"
+    }
+  },
+  "before": {
+    "late_fee_cents": 5500,
+    "waiver_reason": null,
+    "updated_at": "2026-06-20T14:31:08Z"
+  },
+  "patch": {
+    "late_fee_cents": 0,
+    "waiver_reason": "customer requested review"
+  },
+  "after": {
+    "late_fee_cents": 0,
+    "waiver_reason": "customer requested review",
+    "updated_at": "2026-06-20T14:31:08Z"
+  },
+  "guards": {
+    "tenant": {
+      "column": "tenant_id",
+      "value": "acme"
+    },
+    "allowed_columns": [
+      "late_fee_cents",
+      "waiver_reason"
+    ],
+    "expected_version": {
+      "column": "updated_at",
+      "value": "2026-06-20T14:31:08Z"
+    }
+  },
+  "evidence": {
+    "bundle_id": "ev_456",
+    "query_fingerprint": "sha256:1111111111111111111111111111111111111111111111111111111111111111",
+    "items": []
+  },
+  "approval": {
+    "status": "pending",
+    "required_role": "support_lead"
+  },
+  "writeback": {
+    "status": "not_applied",
+    "mode": "trusted_worker_required"
+  },
+  "source_database_mutated": false,
+  "integrity": {
+    "proposal_hash": "sha256:2222222222222222222222222222222222222222222222222222222222222222"
+  },
+  "created_at": "2026-06-20T14:31:09Z"
+}

package/fixtures/protocol/execution-receipt.applied.v1.json

@@ -0,0 +1,14 @@
+{
+  "schema_version": "synapsor.execution-receipt.v1",
+  "writeback_job_id": "wbj_123",
+  "proposal_id": "wrp_123",
+  "runner_id": "runner_123",
+  "status": "applied",
+  "rows_affected": 1,
+  "idempotency_key": "wrp_123:INV-3001",
+  "previous_version": "2026-06-20T14:31:08Z",
+  "new_version": "2026-06-20T14:34:19Z",
+  "source_database_mutated": true,
+  "executed_at": "2026-06-20T14:34:19Z",
+  "receipt_hash": "sha256:3333333333333333333333333333333333333333333333333333333333333333"
+}

package/fixtures/protocol/execution-receipt.conflict.v1.json

@@ -0,0 +1,15 @@
+{
+  "schema_version": "synapsor.execution-receipt.v1",
+  "writeback_job_id": "wbj_124",
+  "proposal_id": "wrp_124",
+  "runner_id": "runner_123",
+  "status": "conflict",
+  "rows_affected": 0,
+  "idempotency_key": "wrp_124:INV-3001",
+  "previous_version": "2026-06-20T14:31:08Z",
+  "new_version": "2026-06-20T14:39:19Z",
+  "source_database_mutated": false,
+  "executed_at": "2026-06-20T14:40:19Z",
+  "safe_error_code": "VERSION_CONFLICT",
+  "receipt_hash": "sha256:4444444444444444444444444444444444444444444444444444444444444444"
+}

package/fixtures/protocol/runner-registration.v1.json

@@ -0,0 +1,22 @@
+{
+  "schema_version": "synapsor.runner-registration.v1",
+  "runner_id": "runner_123",
+  "runner_version": "0.1.0-alpha.0",
+  "engines": [
+    "postgres",
+    "mysql"
+  ],
+  "capabilities": [
+    "single_row_update",
+    "idempotency_receipts",
+    "version_conflict_guard"
+  ],
+  "scope": {
+    "project_id": "acme-support",
+    "source_ids": [
+      "src_pg_acme",
+      "src_mysql_acme"
+    ]
+  },
+  "registered_at": "2026-06-20T14:30:00Z"
+}

package/fixtures/protocol/writeback-job.late-fee-waiver.v1.json

@@ -0,0 +1,44 @@
+{
+  "schema_version": "synapsor.writeback-job.v1",
+  "writeback_job_id": "wbj_123",
+  "proposal_id": "wrp_123",
+  "proposal_version": 1,
+  "proposal_hash": "sha256:2222222222222222222222222222222222222222222222222222222222222222",
+  "runner_scope": {
+    "project_id": "acme-support",
+    "source_id": "src_pg_acme"
+  },
+  "engine": "postgres",
+  "operation": "single_row_update",
+  "target": {
+    "schema": "public",
+    "table": "invoices",
+    "primary_key": {
+      "column": "id",
+      "value": "INV-3001"
+    }
+  },
+  "tenant_guard": {
+    "column": "tenant_id",
+    "value": "acme"
+  },
+  "allowed_columns": [
+    "late_fee_cents",
+    "waiver_reason"
+  ],
+  "patch": {
+    "late_fee_cents": 0,
+    "waiver_reason": "approved support waiver"
+  },
+  "conflict_guard": {
+    "kind": "column",
+    "column": "updated_at",
+    "expected_value": "2026-06-20T14:31:08Z"
+  },
+  "idempotency_key": "wrp_123:INV-3001",
+  "lease": {
+    "lease_id": "lease_123",
+    "attempt": 1,
+    "expires_at": "2026-06-20T14:36:00Z"
+  }
+}

package/package.json

@@ -1,22 +1,32 @@
 {
   "name": "@synapsor/runner",
-  "version": "0.1.0-alpha.1",
+  "version": "0.1.0-alpha.11",
   "description": "Commit-safe MCP runner for Postgres and MySQL agents",
   "license": "Apache-2.0",
   "type": "module",
   "bin": {
-    "synapsor-runner": "dist/bin.cjs"
+    "synapsor-runner": "dist/cli.js"
   },
   "files": [
-    "dist/bin.cjs",
     "dist/cli.js",
     "dist/cli.d.ts",
     "dist/cli.d.ts.map",
     "dist/local-ui.d.ts",
     "dist/local-ui.d.ts.map",
+    "dist/runner.mjs",
+    "docs/**/*.md",
+    "examples/dangerous-mcp-tools.json",
+    "examples/app-owned-writeback/**",
+    "examples/mcp-postgres-billing-app-handler/**",
+    "examples/openai-agents-http/**",
+    "examples/openai-agents-stdio/**",
+    "examples/reference-support-billing-app/**",
+    "fixtures/**",
+    "recipes/**/*.json",
     "README.md",
     "LICENSE",
-    "NOTICE"
+    "NOTICE",
+    "TRADEMARKS.md"
   ],
   "engines": {
     "node": ">=22.5.0"

package/recipes/accounts.trial_extension.json

@@ -0,0 +1,42 @@
+{
+  "id": "accounts.trial_extension",
+  "title": "Trial extension",
+  "summary": "Inspect one account and propose a bounded trial extension.",
+  "expected_table_type": "accounts or subscriptions table",
+  "required_columns": ["id", "tenant_id", "trial_ends_at", "extension_reason", "updated_at"],
+  "recommended_primary_key": "id",
+  "recommended_tenant_key": "tenant_id",
+  "recommended_conflict_column": "updated_at",
+  "visible_columns": ["id", "tenant_id", "plan", "trial_ends_at", "extension_reason", "updated_at"],
+  "allowed_write_columns": ["trial_ends_at", "extension_reason"],
+  "semantic_tools": ["accounts.inspect_account", "accounts.propose_trial_extension"],
+  "notes": [
+    "Use a handler executor if trial changes must go through your billing service."
+  ],
+  "spec": {
+    "version": 1,
+    "engine": "postgres",
+    "mode": "review",
+    "schema": "public",
+    "table": "accounts",
+    "primary_key": "id",
+    "tenant_key": "tenant_id",
+    "conflict_column": "updated_at",
+    "namespace": "accounts",
+    "object_name": "account",
+    "inspect_tool_name": "accounts.inspect_account",
+    "proposal_tool_name": "accounts.propose_trial_extension",
+    "lookup_arg": "account_id",
+    "visible_columns": ["id", "tenant_id", "plan", "trial_ends_at", "extension_reason", "updated_at"],
+    "allowed_columns": ["trial_ends_at", "extension_reason"],
+    "patch": {
+      "trial_ends_at": { "from_arg": "trial_ends_at" },
+      "extension_reason": { "from_arg": "reason" }
+    },
+    "patch_args": {
+      "trial_ends_at": { "type": "string", "required": true, "max_length": 64 },
+      "reason": { "type": "string", "required": true, "max_length": 500 }
+    },
+    "approval": { "required_role": "account_admin" }
+  }
+}