@synapsor/runner 0.1.0-alpha.10 → 0.1.0-alpha.13

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,6 +1,6 @@
 {
   "name": "@synapsor/runner",
-  "version": "0.1.0-alpha.10",
+  "version": "0.1.0-alpha.13",
   "description": "Commit-safe MCP runner for Postgres and MySQL agents",
   "license": "Apache-2.0",
   "type": "module",
@@ -17,9 +17,12 @@
     "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/**",
+    "schemas/**",
     "recipes/**/*.json",
     "README.md",
     "LICENSE",

package/schemas/change-set.v1.schema.json

@@ -0,0 +1,140 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.synapsor.ai/synapsor.change-set.v1.schema.json",
+  "title": "Synapsor Change Set v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema_version",
+    "proposal_id",
+    "proposal_version",
+    "action",
+    "mode",
+    "principal",
+    "scope",
+    "source",
+    "before",
+    "patch",
+    "after",
+    "guards",
+    "evidence",
+    "approval",
+    "writeback",
+    "source_database_mutated",
+    "integrity",
+    "created_at"
+  ],
+  "properties": {
+    "schema_version": { "const": "synapsor.change-set.v1" },
+    "proposal_id": { "type": "string", "minLength": 1 },
+    "proposal_version": { "type": "integer", "minimum": 1 },
+    "action": { "type": "string", "minLength": 1 },
+    "mode": { "enum": ["read_only", "shadow", "review_required", "approved_for_writeback"] },
+    "principal": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "source"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "source": { "enum": ["trusted_session", "cloud_session", "environment", "static_dev"] }
+      }
+    },
+    "scope": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["tenant_id", "business_object", "object_id"],
+      "properties": {
+        "tenant_id": { "type": "string", "minLength": 1 },
+        "business_object": { "type": "string", "minLength": 1 },
+        "object_id": { "type": "string", "minLength": 1 }
+      }
+    },
+    "source": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["kind", "source_id", "schema", "table", "primary_key"],
+      "properties": {
+        "kind": { "enum": ["external_postgres", "external_mysql", "synapsor_table"] },
+        "source_id": { "type": "string", "minLength": 1 },
+        "schema": { "$ref": "#/$defs/safeIdentifier" },
+        "table": { "$ref": "#/$defs/safeIdentifier" },
+        "primary_key": { "$ref": "#/$defs/columnValue" }
+      }
+    },
+    "before": { "$ref": "#/$defs/scalarMap" },
+    "patch": { "$ref": "#/$defs/scalarMap" },
+    "after": { "$ref": "#/$defs/scalarMap" },
+    "guards": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["tenant", "allowed_columns", "expected_version"],
+      "properties": {
+        "tenant": { "$ref": "#/$defs/columnValue" },
+        "allowed_columns": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/safeIdentifier" },
+          "minItems": 1,
+          "uniqueItems": true
+        },
+        "expected_version": { "$ref": "#/$defs/columnValue" }
+      }
+    },
+    "evidence": {
+      "type": "object",
+      "additionalProperties": true,
+      "required": ["bundle_id", "query_fingerprint", "items"],
+      "properties": {
+        "bundle_id": { "type": "string", "minLength": 1 },
+        "query_fingerprint": { "type": "string", "pattern": "^sha256:.+" },
+        "items": { "type": "array" }
+      }
+    },
+    "approval": {
+      "type": "object",
+      "additionalProperties": true,
+      "required": ["status"],
+      "properties": {
+        "status": { "enum": ["pending", "approved", "rejected", "canceled"] },
+        "required_role": { "type": "string" }
+      }
+    },
+    "writeback": {
+      "type": "object",
+      "additionalProperties": true,
+      "required": ["status", "mode"],
+      "properties": {
+        "status": { "enum": ["not_applied", "pending_worker", "applied", "conflict", "failed", "canceled"] },
+        "mode": { "enum": ["trusted_worker_required", "synapsor_merge", "read_only"] }
+      }
+    },
+    "source_database_mutated": { "type": "boolean" },
+    "integrity": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["proposal_hash"],
+      "properties": {
+        "proposal_hash": { "type": "string", "pattern": "^sha256:.+" }
+      }
+    },
+    "created_at": { "type": "string", "format": "date-time" }
+  },
+  "$defs": {
+    "safeIdentifier": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "scalar": { "type": ["string", "number", "boolean", "null"] },
+    "scalarMap": {
+      "type": "object",
+      "propertyNames": { "$ref": "#/$defs/safeIdentifier" },
+      "additionalProperties": { "$ref": "#/$defs/scalar" },
+      "minProperties": 1
+    },
+    "columnValue": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["column", "value"],
+      "properties": {
+        "column": { "$ref": "#/$defs/safeIdentifier" },
+        "value": { "$ref": "#/$defs/scalar" }
+      }
+    }
+  }
+}

package/schemas/execution-receipt.v1.schema.json

@@ -0,0 +1,34 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.synapsor.ai/synapsor.execution-receipt.v1.schema.json",
+  "title": "Synapsor Execution Receipt v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema_version",
+    "writeback_job_id",
+    "proposal_id",
+    "runner_id",
+    "status",
+    "rows_affected",
+    "idempotency_key",
+    "source_database_mutated",
+    "executed_at",
+    "receipt_hash"
+  ],
+  "properties": {
+    "schema_version": { "const": "synapsor.execution-receipt.v1" },
+    "writeback_job_id": { "type": "string", "minLength": 1 },
+    "proposal_id": { "type": "string", "minLength": 1 },
+    "runner_id": { "type": "string", "minLength": 1 },
+    "status": { "enum": ["applied", "conflict", "failed", "canceled", "already_applied"] },
+    "rows_affected": { "type": "integer", "minimum": 0 },
+    "idempotency_key": { "type": "string", "minLength": 1 },
+    "previous_version": { "type": ["string", "number", "boolean", "null"] },
+    "new_version": { "type": ["string", "number", "boolean", "null"] },
+    "source_database_mutated": { "type": "boolean" },
+    "executed_at": { "type": "string", "format": "date-time" },
+    "safe_error_code": { "type": "string" },
+    "receipt_hash": { "type": "string", "pattern": "^sha256:.+" }
+  }
+}

package/schemas/onboarding-selection.v1.schema.json

@@ -0,0 +1,125 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.synapsor.ai/runner/onboarding-selection.v1.schema.json",
+  "title": "Synapsor Runner onboarding selection",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["engine", "schema", "table", "primary_key", "namespace", "visible_columns"],
+  "properties": {
+    "version": { "const": 1 },
+    "engine": { "enum": ["postgres", "mysql"] },
+    "mode": { "enum": ["read_only", "shadow", "review"] },
+    "source_name": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "read_url_env": { "type": "string", "pattern": "^[A-Z_][A-Z0-9_]*$" },
+    "database_url_env": { "type": "string", "pattern": "^[A-Z_][A-Z0-9_]*$" },
+    "write_url_env": { "type": "string", "pattern": "^[A-Z_][A-Z0-9_]*$" },
+    "statement_timeout_ms": { "type": "integer", "minimum": 1 },
+    "schema": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "table": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "primary_key": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "tenant_key": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "single_tenant_dev": { "type": "boolean" },
+    "conflict_column": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "namespace": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "object_name": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "inspect_tool_name": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*(\\.[A-Za-z_][A-Za-z0-9_]*)+$" },
+    "proposal_tool_name": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*(\\.[A-Za-z_][A-Za-z0-9_]*)+$" },
+    "lookup_arg": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "visible_columns": {
+      "type": "array",
+      "items": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+      "minItems": 1,
+      "uniqueItems": true
+    },
+    "allowed_columns": {
+      "type": "array",
+      "items": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+      "uniqueItems": true
+    },
+    "patch": {
+      "type": "object",
+      "additionalProperties": {
+        "type": "object",
+        "additionalProperties": false,
+        "properties": {
+          "fixed": { "type": ["string", "number", "boolean", "null"] },
+          "from_arg": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" }
+        },
+        "oneOf": [
+          { "required": ["fixed"] },
+          { "required": ["from_arg"] }
+        ]
+      }
+    },
+    "patch_args": {
+      "type": "object",
+      "additionalProperties": {
+        "type": "object",
+        "additionalProperties": false,
+        "properties": {
+          "type": { "enum": ["string", "number", "boolean"] },
+          "required": { "type": "boolean" },
+          "max_length": { "type": "integer", "minimum": 1 },
+          "minimum": { "type": "number" },
+          "maximum": { "type": "number" },
+          "enum": {
+            "type": "array",
+            "items": { "type": ["string", "number", "boolean", "null"] }
+          }
+        }
+      }
+    },
+    "numeric_bounds": {
+      "type": "object",
+      "additionalProperties": {
+        "type": "object",
+        "additionalProperties": false,
+        "minProperties": 1,
+        "properties": {
+          "minimum": { "type": "number" },
+          "maximum": { "type": "number" }
+        }
+      }
+    },
+    "transition_guards": {
+      "type": "object",
+      "additionalProperties": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["allowed"],
+        "properties": {
+          "from_column": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+          "allowed": {
+            "type": "object",
+            "minProperties": 1,
+            "additionalProperties": {
+              "type": "array",
+              "items": { "type": "string", "minLength": 1 },
+              "minItems": 1,
+              "uniqueItems": true
+            }
+          }
+        }
+      }
+    },
+    "trusted_context": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "tenant_id_env": { "type": "string", "pattern": "^[A-Z_][A-Z0-9_]*$" },
+        "principal_env": { "type": "string", "pattern": "^[A-Z_][A-Z0-9_]*$" }
+      }
+    },
+    "approval": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "required_role": { "type": "string" }
+      }
+    }
+  },
+  "anyOf": [
+    { "required": ["tenant_key"] },
+    { "required": ["single_tenant_dev"] }
+  ]
+}