dsh-model-everything 0.0.0-stage → 0.1.0

package/examples/ecommerce-data-model.json

@@ -0,0 +1,185 @@
+{
+  "schemaVersion": 1,
+  "entities": [
+    {
+      "name": "Customer",
+      "fields": [
+        {
+          "name": "id",
+          "type": "uuid",
+          "required": true
+        },
+        {
+          "name": "email",
+          "type": "string",
+          "required": true,
+          "unique": true
+        },
+        {
+          "name": "name",
+          "type": "string",
+          "required": true
+        }
+      ],
+      "primaryKey": [
+        "id"
+      ]
+    },
+    {
+      "name": "Product",
+      "fields": [
+        {
+          "name": "id",
+          "type": "uuid",
+          "required": true
+        },
+        {
+          "name": "sku",
+          "type": "string",
+          "required": true,
+          "unique": true
+        },
+        {
+          "name": "price",
+          "type": "number",
+          "required": true,
+          "min": 0
+        }
+      ],
+      "primaryKey": [
+        "id"
+      ]
+    },
+    {
+      "name": "Order",
+      "fields": [
+        {
+          "name": "id",
+          "type": "uuid",
+          "required": true
+        },
+        {
+          "name": "customerId",
+          "type": "uuid",
+          "required": true,
+          "ref": "Customer.id"
+        },
+        {
+          "name": "status",
+          "type": "enum",
+          "required": true,
+          "enum": [
+            "new",
+            "paid",
+            "shipped",
+            "cancelled"
+          ]
+        }
+      ],
+      "primaryKey": [
+        "id"
+      ]
+    },
+    {
+      "name": "OrderItem",
+      "fields": [
+        {
+          "name": "id",
+          "type": "uuid",
+          "required": true
+        },
+        {
+          "name": "orderId",
+          "type": "uuid",
+          "required": true,
+          "ref": "Order.id"
+        },
+        {
+          "name": "productId",
+          "type": "uuid",
+          "required": true,
+          "ref": "Product.id"
+        },
+        {
+          "name": "quantity",
+          "type": "integer",
+          "required": true,
+          "min": 1
+        }
+      ],
+      "primaryKey": [
+        "id"
+      ]
+    }
+  ],
+  "relationships": [
+    {
+      "fromEntity": "Order",
+      "fromField": "customerId",
+      "toEntity": "Customer",
+      "toField": "id",
+      "onDelete": "restrict"
+    },
+    {
+      "fromEntity": "OrderItem",
+      "fromField": "orderId",
+      "toEntity": "Order",
+      "toField": "id",
+      "onDelete": "cascade"
+    },
+    {
+      "fromEntity": "OrderItem",
+      "fromField": "productId",
+      "toEntity": "Product",
+      "toField": "id",
+      "onDelete": "restrict"
+    }
+  ],
+  "invariants": [
+    {
+      "id": "customer-email-unique",
+      "description": "customer email unique",
+      "kind": "unique",
+      "entity": "Customer",
+      "fields": [
+        "email"
+      ]
+    },
+    {
+      "id": "order-customer-ref",
+      "description": "order customer reference",
+      "kind": "referential-integrity",
+      "entity": "Order",
+      "field": "customerId",
+      "refEntity": "Customer"
+    },
+    {
+      "id": "quantity-positive",
+      "description": "quantity positive",
+      "kind": "range",
+      "entity": "OrderItem",
+      "field": "quantity",
+      "min": 1
+    }
+  ],
+  "boundaryChecks": [
+    {
+      "entity": "Product",
+      "field": "price",
+      "values": [
+        -1,
+        0,
+        999.99
+      ]
+    },
+    {
+      "entity": "OrderItem",
+      "field": "quantity",
+      "values": [
+        0,
+        1,
+        100
+      ]
+    }
+  ]
+}

package/examples/order-state-machine.after.json

@@ -0,0 +1,116 @@
+{
+  "schemaVersion": 1,
+  "init": "NEW",
+  "states": [
+    {
+      "id": "NEW"
+    },
+    {
+      "id": "PAID"
+    },
+    {
+      "id": "VERIFY"
+    },
+    {
+      "id": "SHIPPED"
+    },
+    {
+      "id": "DONE",
+      "terminal": true
+    },
+    {
+      "id": "CANCELLED",
+      "terminal": true
+    }
+  ],
+  "transitions": [
+    {
+      "from": "NEW",
+      "event": "pay",
+      "to": "PAID"
+    },
+    {
+      "from": "PAID",
+      "event": "verify",
+      "to": "VERIFY"
+    },
+    {
+      "from": "VERIFY",
+      "event": "ship",
+      "to": "SHIPPED"
+    },
+    {
+      "from": "SHIPPED",
+      "event": "deliver",
+      "to": "DONE"
+    },
+    {
+      "from": "NEW",
+      "event": "cancel",
+      "to": "CANCELLED"
+    },
+    {
+      "from": "PAID",
+      "event": "cancel",
+      "to": "CANCELLED"
+    }
+  ],
+  "invariants": [
+    {
+      "id": "pay-before-shipped",
+      "description": "pay must precede SHIPPED",
+      "kind": "event-before-state",
+      "event": "pay",
+      "state": "SHIPPED"
+    }
+  ],
+  "narrative": {
+    "states": {
+      "NEW": "订单已创建，等待支付",
+      "PAID": "已支付，等待风控核验",
+      "VERIFY": "风控核验中，等待通过后发货",
+      "SHIPPED": "已发货，等待签收",
+      "DONE": "已完成（终态）",
+      "CANCELLED": "已取消（终态）"
+    },
+    "events": {
+      "pay": "买家完成支付",
+      "verify": "风控核验通过",
+      "ship": "仓库发货",
+      "deliver": "买家签收",
+      "cancel": "取消订单"
+    },
+    "scenarios": [
+      {
+        "from": "NEW",
+        "event": "pay",
+        "scenario": "下单后支付成功，订单进入待核验"
+      },
+      {
+        "from": "PAID",
+        "event": "verify",
+        "scenario": "风控核验通过，可以发货"
+      },
+      {
+        "from": "VERIFY",
+        "event": "ship",
+        "scenario": "核验通过后发货，进入运输中"
+      },
+      {
+        "from": "SHIPPED",
+        "event": "deliver",
+        "scenario": "签收完成，订单结束"
+      },
+      {
+        "from": "NEW",
+        "event": "cancel",
+        "scenario": "未支付订单被取消"
+      },
+      {
+        "from": "PAID",
+        "event": "cancel",
+        "scenario": "已支付订单取消并退款"
+      }
+    ]
+  }
+}

package/examples/order-state-machine.before.json

@@ -0,0 +1,101 @@
+{
+  "schemaVersion": 1,
+  "init": "NEW",
+  "states": [
+    {
+      "id": "NEW"
+    },
+    {
+      "id": "PAID"
+    },
+    {
+      "id": "SHIPPED"
+    },
+    {
+      "id": "DONE",
+      "terminal": true
+    },
+    {
+      "id": "CANCELLED",
+      "terminal": true
+    }
+  ],
+  "transitions": [
+    {
+      "from": "NEW",
+      "event": "pay",
+      "to": "PAID"
+    },
+    {
+      "from": "PAID",
+      "event": "ship",
+      "to": "SHIPPED"
+    },
+    {
+      "from": "SHIPPED",
+      "event": "deliver",
+      "to": "DONE"
+    },
+    {
+      "from": "NEW",
+      "event": "cancel",
+      "to": "CANCELLED"
+    },
+    {
+      "from": "PAID",
+      "event": "cancel",
+      "to": "CANCELLED"
+    }
+  ],
+  "invariants": [
+    {
+      "id": "pay-before-shipped",
+      "description": "pay must precede SHIPPED",
+      "kind": "event-before-state",
+      "event": "pay",
+      "state": "SHIPPED"
+    }
+  ],
+  "narrative": {
+    "states": {
+      "NEW": "订单已创建，等待支付",
+      "PAID": "已支付，等待发货",
+      "SHIPPED": "已发货，等待签收",
+      "DONE": "已完成（终态）",
+      "CANCELLED": "已取消（终态）"
+    },
+    "events": {
+      "pay": "买家完成支付",
+      "ship": "仓库发货",
+      "deliver": "买家签收",
+      "cancel": "取消订单"
+    },
+    "scenarios": [
+      {
+        "from": "NEW",
+        "event": "pay",
+        "scenario": "下单后支付成功，订单进入待发货"
+      },
+      {
+        "from": "PAID",
+        "event": "ship",
+        "scenario": "已支付订单发货，进入运输中"
+      },
+      {
+        "from": "SHIPPED",
+        "event": "deliver",
+        "scenario": "签收完成，订单结束"
+      },
+      {
+        "from": "NEW",
+        "event": "cancel",
+        "scenario": "未支付订单被取消"
+      },
+      {
+        "from": "PAID",
+        "event": "cancel",
+        "scenario": "已支付订单取消并退款"
+      }
+    ]
+  }
+}

package/examples/user-migration.after.json

@@ -0,0 +1,29 @@
+{
+  "schemaVersion": 1,
+  "entities": [
+    {
+      "name": "User",
+      "fields": [
+        {
+          "name": "id",
+          "type": "uuid",
+          "required": true
+        },
+        {
+          "name": "fullName",
+          "type": "string",
+          "required": true
+        },
+        {
+          "name": "email",
+          "type": "string",
+          "required": true,
+          "unique": true
+        }
+      ],
+      "primaryKey": [
+        "id"
+      ]
+    }
+  ]
+}

package/examples/user-migration.before.json

@@ -0,0 +1,29 @@
+{
+  "schemaVersion": 1,
+  "entities": [
+    {
+      "name": "User",
+      "fields": [
+        {
+          "name": "id",
+          "type": "uuid",
+          "required": true
+        },
+        {
+          "name": "name",
+          "type": "string",
+          "required": true
+        },
+        {
+          "name": "email",
+          "type": "string",
+          "required": true,
+          "unique": true
+        }
+      ],
+      "primaryKey": [
+        "id"
+      ]
+    }
+  ]
+}

package/gate/locale/en.json

@@ -0,0 +1,6 @@
+{
+  "meta": {
+    "title": "Injected routing prompt",
+    "description": "Injects a routing message into the first model step of a session: which skill to load, what each tool does and what it does not prove, and how to read a report. On by default; the Plugins page switches it off."
+  }
+}

package/gate/locale/zh.json

@@ -0,0 +1,6 @@
+{
+  "meta": {
+    "title": "提示词注入增强",
+    "description": "在会话的第一条模型步注入一条路由提示：先加载哪个技能、每个工具做什么以及它不证明什么、怎么读一份报告。默认开，可在插件页关掉。"
+  }
+}

package/gate/package.json

@@ -0,0 +1,5 @@
+{
+  "name": "Injected routing prompt",
+  "description": "Injects a routing message into the first model step of a session: which skill to load, what each tool does and what it does not prove, and how to read a report. On by default.",
+  "type": "module"
+}