skynet-graph 1.2.0

package/concepts/common/Edge/Travel/LongTravel.json

@@ -0,0 +1,16 @@
+{
+  "require": [
+    // required objects
+    "targetNode",
+    "Distance"
+  ],
+  "assert": [
+    "$Distance.inKm > 300"
+//  ],
+//  "applyMutations": [
+//    {
+//      "$_id": "_parent",
+//      "_cssSufix" : "LongTravel"
+//    }
+  ]
+}

package/concepts/common/Edge/Travel/ShortTravel.json

@@ -0,0 +1,11 @@
+{
+  //
+  "require" : [
+    "targetNode",
+    "Distance",
+    "Theoric"
+  ],
+  "assert" : [
+    "$Distance.inKm < 300 "
+  ]
+}

package/concepts/common/Edge/Travel/targetNode.json

@@ -0,0 +1,7 @@
+{
+  // target place apply to Travels
+  //"require" : "",
+  "provider" : [// if a targetNode object is requiered ask :
+    "UI::Place"
+  ]
+}

package/concepts/common/Edge/Travel.json

@@ -0,0 +1,7 @@
+{
+  "require": "Distance",
+  // entryPoints for the Segment primitive,
+  "assert": [
+    "$Distance.inKm!=0"
+  ]
+}

package/concepts/common/Edge.json

@@ -0,0 +1,3 @@
+{
+  "require": "Segment"// entryPoints for Segment primitive
+}

package/concepts/common/Vertice.json

@@ -0,0 +1,3 @@
+{
+  "require": "Node"// entryPoints for Node primitive
+}

package/concepts/supply/Fulfillment.json

@@ -0,0 +1,10 @@
+{
+  // The HUB: it consumes the three SEPARATOR facts {leadTime, onHand, eta} — the narrow
+  // interface across the tiles (the frontier alphabet) — and stays committed only while the
+  // shipment is on-time AND not flagged delayed. TTL defeasance (the N1 polarity: committed
+  // WHILE valid, retract WHEN stale — an `ensure` drives the cast->uncast direction, not the
+  // reverse): when the clock passes the ETA, Fulfillment RETRACTS = the re-plan trigger. R2: GATES.
+  "require": ["leadTime", "onHand", "eta"],
+  "ensure": ["$$clock:tick < $eta", "$shipStatus != 'delayed'"],
+  "applyMutations": [{ "$_id": "_parent", "fulfilled": true }]
+}

package/concepts/supply/Inventory/Reorder.json

@@ -0,0 +1,7 @@
+{
+  // deterministic R2-safe CHECKER: reorder when on-hand drops below the reorder point
+  // (bounds are data, not judgment). It CHECKS, it does not DECIDE.
+  "require": ["Inventory"],
+  "ensure": ["$onHand < $reorderPoint"],
+  "applyMutations": [{ "$_id": "_parent", "reordered": true }]
+}

package/concepts/supply/Inventory.json

@@ -0,0 +1,5 @@
+{
+  // Inventory tile — emits the `onHand` separator fact. R2: ORIENTS.
+  "require": ["stockReq"],
+  "applyMutations": [{ "$_id": "_parent", "stockState": "low", "onHand": 3 }]
+}

package/concepts/supply/Procurement/SupplierConfirm.json

@@ -0,0 +1,6 @@
+{
+  // emits the `leadTime` SEPARATOR fact once the order is confirmed. R2: GATES on a typed enum.
+  "require": ["Procurement"],
+  "ensure": ["$orderStatus == 'confirmed'"],
+  "applyMutations": [{ "$_id": "_parent", "leadTime": 5 }]
+}

package/concepts/supply/Procurement.json

@@ -0,0 +1,8 @@
+{
+  // Supply-chain domain — the PAVAGE demonstrator: 3 weakly-coupled sub-domains
+  // (Procurement / Inventory / Transport) joined by a narrow interface of separator facts
+  // {leadTime, onHand, eta} that a Fulfillment hub consumes (a tree-decomposition tiling).
+  // Procurement tile. R2: ORIENTS.
+  "require": ["orderReq"],
+  "applyMutations": [{ "$_id": "_parent", "orderStatus": "confirmed" }]
+}

package/concepts/supply/Transport.json

@@ -0,0 +1,5 @@
+{
+  // Transport tile — emits the `eta` separator fact + the shipStatus. R2: ORIENTS.
+  "require": ["shipReq"],
+  "applyMutations": [{ "$_id": "_parent", "shipStatus": "intransit", "eta": 10 }]
+}