@synapsor/runner 0.1.8 → 0.1.10
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +20 -0
- package/README.md +11 -4
- package/dist/cli.d.ts.map +1 -1
- package/dist/runner.mjs +468 -29
- package/docs/local-mode.md +4 -3
- package/docs/release-notes.md +9 -0
- package/examples/support-plan-credit/README.md +176 -0
- package/examples/support-plan-credit/contract.synapsor +59 -0
- package/examples/support-plan-credit/docker-compose.yml +12 -0
- package/examples/support-plan-credit/seed/001_seed.sql +92 -0
- package/examples/support-plan-credit/synapsor.contract.json +198 -0
- package/examples/support-plan-credit/synapsor.runner.json +18 -0
- package/package.json +2 -1
package/CHANGELOG.md
CHANGED
|
@@ -2,6 +2,26 @@
|
|
|
2
2
|
|
|
3
3
|
## Unreleased
|
|
4
4
|
|
|
5
|
+
### Policy Auto-Approval
|
|
6
|
+
|
|
7
|
+
- Stages `@synapsor/spec@0.1.3`, `@synapsor/dsl@0.1.3`, and
|
|
8
|
+
`@synapsor/runner@0.1.10` for policy-based local approval.
|
|
9
|
+
- Adds portable proposal approval `policy` references and typed approval policy
|
|
10
|
+
rules to the canonical contract.
|
|
11
|
+
- Adds DSL `AUTO APPROVE WHEN field <= integer` clauses that compile to
|
|
12
|
+
reviewed approval policies.
|
|
13
|
+
- Adds a conformance fixture for policy auto-approval thresholds.
|
|
14
|
+
|
|
15
|
+
## 0.1.9
|
|
16
|
+
|
|
17
|
+
### CLI Hygiene
|
|
18
|
+
|
|
19
|
+
- Adds top-level `synapsor-runner --version`, `synapsor-runner -v`, and
|
|
20
|
+
`synapsor-runner version` output so published package checks do not look like
|
|
21
|
+
an unknown command.
|
|
22
|
+
|
|
23
|
+
## 0.1.8
|
|
24
|
+
|
|
5
25
|
### DSL / JSON Contract Parity
|
|
6
26
|
|
|
7
27
|
- Adds portable spec fields for capability `returns_hint`, proposal
|
package/README.md
CHANGED
|
@@ -92,6 +92,11 @@ Full disposable proof -> npx -y -p @synapsor/runner synapsor-runner demo
|
|
|
92
92
|
Inspect MCP risk -> npx -y -p @synapsor/runner synapsor-runner audit --example dangerous-db-mcp
|
|
93
93
|
```
|
|
94
94
|
|
|
95
|
+
Flagship example: [`examples/support-plan-credit`](examples/support-plan-credit)
|
|
96
|
+
shows the contract policy path end to end: `$25` auto-approved by policy,
|
|
97
|
+
`$100` held for local review, and `$1000` rejected by the reviewed bound before
|
|
98
|
+
any proposal row exists.
|
|
99
|
+
|
|
95
100
|
## Why Not Just Build This Yourself?
|
|
96
101
|
|
|
97
102
|
You can build the outline in an afternoon:
|
|
@@ -425,16 +430,18 @@ npx -y -p @synapsor/runner synapsor-runner demo
|
|
|
425
430
|
```
|
|
426
431
|
|
|
427
432
|
For contributor/release verification from a checkout, the live apply smoke uses
|
|
428
|
-
disposable Postgres/MySQL
|
|
433
|
+
four disposable Postgres/MySQL scenarios and the official MCP stdio client
|
|
434
|
+
transport:
|
|
429
435
|
|
|
430
436
|
```bash
|
|
431
437
|
corepack pnpm test:live-apply
|
|
432
438
|
```
|
|
433
439
|
|
|
434
440
|
It verifies semantic tool listing, proposal diffs, source rows unchanged before
|
|
435
|
-
approval, guarded writeback, idempotent retry, stale-row conflict, receipts,
|
|
436
|
-
replay
|
|
437
|
-
prerequisites and
|
|
441
|
+
approval, guarded writeback, idempotent retry, stale-row conflict, receipts,
|
|
442
|
+
replay, and the support-plan-credit policy tiers. See
|
|
443
|
+
[`docs/local-mode.md`](docs/local-mode.md#local-mcp-smoke) for prerequisites and
|
|
444
|
+
expected output.
|
|
438
445
|
|
|
439
446
|
After the demo prints its generated config and store path, run the happy path it
|
|
440
447
|
prints. The shape is:
|
package/dist/cli.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AAYA,OAAO,
|
|
1
|
+
{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AAYA,OAAO,EAAoP,KAAK,WAAW,EAA2F,MAAM,6BAA6B,CAAC;AAoB1Y,OAAO,EAA6G,KAAK,YAAY,EAAwB,MAAM,2BAA2B,CAAC;AAE/L,OAAO,EAOL,KAAK,gBAAgB,EAEtB,MAAM,mCAAmC,CAAC;AA6U3C,wBAAsB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAyD1D;AA+DD,KAAK,SAAS,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAE9E,wBAAsB,aAAa,CACjC,IAAI,EAAE,MAAM,EAAE,EACd,OAAO,GAAE;IACP,GAAG,CAAC,EAAE,SAAS,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC;IACxB,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,MAAM,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;CACvC,GACL,OAAO,CAAC,MAAM,CAAC,CA2TjB;AA+tED,wBAAsB,0BAA0B,CAAC,GAAG,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAS/H"}
|