flowspec2 1.0.0__py3-none-any.whl

flowspec2/authoring/corpus/flowspec2.ctk.json

@@ -0,0 +1,769 @@
+{
+  "format": "flowspec2/ctk-corpus",
+  "version": "1",
+  "cases": [
+    {
+      "identifier": "linear_valid_runtime",
+      "source": {
+        "path": "linear.case.json",
+        "pointer": "/source"
+      },
+      "expected": {
+        "compilation": "succeeded",
+        "diagnostics": [],
+        "ir": {
+          "ir_format": "flowspec2/ir@1",
+          "flow": "linear_maintenance_request",
+          "version": "1.0.0",
+          "source_digest": "8d0fc6b9e48ed28092d670b9ae0fd3fadc8dfbc17f73c2f3104ef64a55af343f",
+          "profile_digest": "23a6b3f9d68730770f2eeef4ea80ab3fd9bfe526cbf47117240c1f526987174a",
+          "dependency_digest": "fedc868783841382d0969ddb2c3d84a886bba6406e2d978cf64185bb16e013ec",
+          "digest": "b829dd1981d2d11cac40de240753e65ecbe2fde16333a57d32e1270b93945b8a",
+          "canonical_document_digest": "7ef8e510c22e58c1746488adade9c17da2a127bab62c37acc9c6c7d73afb2acf",
+          "canonical_execution_ir_digest": "43c3708bf68b342bc5da9dd9a6f8c28876cbc3fb8babb98a0471bc109d663c95",
+          "canonical_ir_digest": "34fe81e3c3511b54d3b6bb30f934c42e47fbab24f6b225665dd7f8d3fe618bbf"
+        }
+      },
+      "turns": [
+        {
+          "payload": {},
+          "expected_trace": {
+            "agent_response": {
+              "description": "Describe the maintenance request.",
+              "payload_schema": {
+                "properties": {
+                  "request_description": {
+                    "description": "Set request_description to only the text inside `ZETA=[...]`; ignore `ALPHA=[...]`.",
+                    "minLength": 1,
+                    "title": "Request Description",
+                    "type": "string"
+                  }
+                },
+                "required": [
+                  "request_description"
+                ],
+                "title": "Slot_request_description",
+                "type": "object"
+              }
+            },
+            "data": {},
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "request_description": "Broken streetlight cover"
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "Service completed successfully."
+            },
+            "data": {
+              "request_description": "Broken streetlight cover"
+            },
+            "status": "completed"
+          }
+        }
+      ]
+    },
+    {
+      "identifier": "structural_diagnostic_order",
+      "source": {
+        "path": "linear.case.json",
+        "pointer": "/source",
+        "mutations": [
+          {
+            "path": "/flow",
+            "replacement": "Invalid Flow"
+          },
+          {
+            "path": "/version",
+            "replacement": "2"
+          },
+          {
+            "path": "/unexpected",
+            "replacement": true
+          }
+        ]
+      },
+      "expected": {
+        "compilation": "skipped",
+        "diagnostics": [
+          {
+            "code": "FLOWSPEC_SCHEMA_ADDITIONALPROPERTIES",
+            "severity": "error",
+            "path": ""
+          },
+          {
+            "code": "FLOWSPEC_SCHEMA_PATTERN",
+            "severity": "error",
+            "path": "/flow"
+          },
+          {
+            "code": "FLOWSPEC_SCHEMA_PATTERN",
+            "severity": "error",
+            "path": "/version"
+          }
+        ]
+      }
+    },
+    {
+      "identifier": "terminal_success_runtime",
+      "source": {
+        "path": "terminal.case.json",
+        "pointer": "/source"
+      },
+      "expected": {
+        "compilation": "succeeded",
+        "diagnostics": [],
+        "ir": {
+          "ir_format": "flowspec2/ir@1",
+          "flow": "terminal_ticket_fulfillment",
+          "version": "1.0.0",
+          "source_digest": "83e568f2a863896f682ff5735b909c0e648f18b71f5676238f1e0ead2e9c61a2",
+          "profile_digest": "23a6b3f9d68730770f2eeef4ea80ab3fd9bfe526cbf47117240c1f526987174a",
+          "dependency_digest": "28d277364117b2aa6aff8e6a5672d20e2d5dd738eab5181965abc4cdd8240ff2",
+          "digest": "a5b339137a821e49076f231fa10616614d4a905f0fffc3849b8ca63aa5c488d5",
+          "canonical_document_digest": "3b845b53c8a28d2ae81193ab9514beea0f42b04557fad83a492fbad1f4ccc53c",
+          "canonical_execution_ir_digest": "29c6f454aedf586eb26e64c7c837196f68c61bba1f1f2081ac876c5fceddfd73",
+          "canonical_ir_digest": "4cf2d33c77f20578082ade701de1365c4108ad4331a654bb7765b4072a461d78"
+        }
+      },
+      "turns": [
+        {
+          "payload": {},
+          "expected_trace": {
+            "agent_response": {
+              "description": "Describe the service problem.",
+              "payload_schema": {
+                "properties": {
+                  "problem_description": {
+                    "description": "Value for problem_description.",
+                    "minLength": 1,
+                    "title": "Problem Description",
+                    "type": "string"
+                  }
+                },
+                "required": [
+                  "problem_description"
+                ],
+                "title": "Slot_problem_description",
+                "type": "object"
+              }
+            },
+            "data": {},
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "problem_description": "Broken signal cabinet"
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "Service request opened successfully."
+            },
+            "data": {
+              "_reset_on_next_call": true,
+              "problem_description": "Broken signal cabinet",
+              "protocol_id": "REQ-F76922174F"
+            },
+            "status": "completed"
+          }
+        }
+      ]
+    },
+    {
+      "identifier": "address_subflow_runtime",
+      "source": {
+        "path": "subflow.case.json",
+        "pointer": "/source"
+      },
+      "expected": {
+        "compilation": "succeeded",
+        "diagnostics": [],
+        "ir": {
+          "ir_format": "flowspec2/ir@1",
+          "flow": "address_collection",
+          "version": "1.0.0",
+          "source_digest": "01822a8b6076ebf5ff3700bf514e7ffeaf23145d622b433ab3a9ddfc3d785476",
+          "profile_digest": "23a6b3f9d68730770f2eeef4ea80ab3fd9bfe526cbf47117240c1f526987174a",
+          "dependency_digest": "384884639482b9b9f5e41eeb838de89c87c746ef256527a767f365cb331e77fc",
+          "digest": "6e23e4bcb3b90bca2e1f1702ee712d7b95ce62f2568d6766ad8d4c114ced225d",
+          "canonical_document_digest": "e27e8450d91c841314af83b3b2a3e27bfa8a868ec476b3e6f62beaaa5d449c65",
+          "canonical_execution_ir_digest": "8f57129781114ef317a9e1007a5ddb957ff0bd7a92a2484aacc1b4115549da04",
+          "canonical_ir_digest": "cb416119846d9cf7e13f8159a151fd3f0ed70aaa16a9a89753c9a08d2a7dcd22"
+        }
+      },
+      "turns": [
+        {
+          "payload": {},
+          "expected_trace": {
+            "agent_response": {
+              "description": "Add an optional nearby reference point.",
+              "payload_schema": {
+                "properties": {
+                  "reference_note": {
+                    "description": "Value for reference_note. Use null when the citizen chooses not to provide this optional value.",
+                    "title": "Reference Note",
+                    "type": [
+                      "string",
+                      "null"
+                    ]
+                  }
+                },
+                "required": [
+                  "reference_note"
+                ],
+                "title": "Slot_reference_note",
+                "type": "object"
+              }
+            },
+            "data": {},
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "reference_note": "Near the public school"
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "What is the complete address (street, number, and district)?",
+              "payload_schema": {
+                "properties": {
+                  "address": {
+                    "description": "Complete address: street, number, and district.",
+                    "type": "string"
+                  }
+                },
+                "required": [
+                  "address"
+                ],
+                "type": "object"
+              }
+            },
+            "data": {
+              "reference_note": "Near the public school"
+            },
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "address": "Flower Street, 100"
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "Do you confirm the address: Flower Street, 100, Downtown?"
+            },
+            "data": {
+              "address": {
+                "city": "Example City",
+                "district": "Downtown",
+                "kind": "street",
+                "street": "Flower Street, 100"
+              },
+              "address_needs_confirmation": true,
+              "reference_note": "Near the public school"
+            },
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "confirmation": "yes"
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "Service completed successfully."
+            },
+            "data": {
+              "address": {
+                "city": "Example City",
+                "district": "Downtown",
+                "kind": "street",
+                "street": "Flower Street, 100"
+              },
+              "address_completed": true,
+              "address_confirmed": true,
+              "address_needs_confirmation": true,
+              "reference_note": "Near the public school"
+            },
+            "status": "completed"
+          }
+        }
+      ]
+    },
+    {
+      "identifier": "typed_external_resume_policies",
+      "source": {
+        "path": "await_correction.case.json",
+        "pointer": "/source"
+      },
+      "expected": {
+        "compilation": "succeeded",
+        "diagnostics": [],
+        "ir": {
+          "ir_format": "flowspec2/ir@1",
+          "flow": "authenticated_correctable_request",
+          "version": "1.0.0",
+          "source_digest": "5c25b971365e8b220920a336bdfc6799381aa626b40ba2475545a402cccd2581",
+          "profile_digest": "23a6b3f9d68730770f2eeef4ea80ab3fd9bfe526cbf47117240c1f526987174a",
+          "dependency_digest": "9ec5cc56324901ee4dcd252d3184357c6cdecc164396d486dbe86fe79a6c9f78",
+          "digest": "b33cc512d2b41f120e658ddd785db6c94df54c32477acf931af0b44270395a0b",
+          "canonical_document_digest": "05aab89f0959881f79b49bedc0211043a27ec5922b83b7988521c3d4701f6e56",
+          "canonical_execution_ir_digest": "dfa0caab1ec1a07e7d608c492e9e99fdbf8b5a0a5e4d5e52c224233846b017ff",
+          "canonical_ir_digest": "947e147ce19e390ab0172d6270c7c8d13aa1cd34d07ebd4e3835a094ae19b5d2"
+        }
+      },
+      "turns": [
+        {
+          "payload": {},
+          "expected_trace": {
+            "agent_response": {
+              "description": "Describe your request.",
+              "payload_schema": {
+                "properties": {
+                  "request_description": {
+                    "description": "Value for request_description.",
+                    "minLength": 1,
+                    "title": "Request Description",
+                    "type": "string"
+                  }
+                },
+                "required": [
+                  "request_description"
+                ],
+                "title": "Slot_request_description",
+                "type": "object"
+              }
+            },
+            "data": {},
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "request_description": "Broken accessibility ramp"
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "Authenticate to continue.",
+              "interactive": {
+                "field": "authentication_token",
+                "kind": "cta_url",
+                "next_step": "authenticate_requester",
+                "out_of_band": true,
+                "out_of_band_sent": true,
+                "resume_contract": {
+                  "correlation": "$token.brazilian_tax_id",
+                  "deadline": "2025-01-01T00:15:00+00:00",
+                  "digest": "387fb72570a25e5de4f5ff1ff259b05aabb3cac8e3a7c77d976dfbf276e14eba",
+                  "duplicate": "ignore",
+                  "late": "reject",
+                  "version": "1"
+                }
+              }
+            },
+            "data": {
+              "request_description": "Broken accessibility ramp"
+            },
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "authentication_token": {
+              "brazilian_tax_id": "12345678909"
+            }
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "Do you confirm the request details?",
+              "interactive": {
+                "body": "Do you confirm the request details?",
+                "buttons": [
+                  {
+                    "id": "true",
+                    "title": "Yes"
+                  },
+                  {
+                    "id": "false",
+                    "title": "No"
+                  }
+                ],
+                "field": "ticket_data_confirmed"
+              },
+              "payload_schema": {
+                "properties": {
+                  "ticket_data_confirmed": {
+                    "description": "Interpret as a boolean: true for yes/affirmative, false for no/negative.",
+                    "title": "Ticket Data Confirmed",
+                    "type": "boolean"
+                  }
+                },
+                "required": [
+                  "ticket_data_confirmed"
+                ],
+                "title": "Slot_ticket_data_confirmed",
+                "type": "object",
+                "x-flowspec2-correction-targets": [
+                  "request_description"
+                ]
+              }
+            },
+            "data": {
+              "request_description": "Broken accessibility ramp"
+            },
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "authentication_token": {
+              "brazilian_tax_id": "12345678909"
+            }
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "Do you confirm the request details?",
+              "interactive": {
+                "body": "Do you confirm the request details?",
+                "buttons": [
+                  {
+                    "id": "true",
+                    "title": "Yes"
+                  },
+                  {
+                    "id": "false",
+                    "title": "No"
+                  }
+                ],
+                "field": "ticket_data_confirmed"
+              },
+              "payload_schema": {
+                "properties": {
+                  "ticket_data_confirmed": {
+                    "description": "Interpret as a boolean: true for yes/affirmative, false for no/negative.",
+                    "title": "Ticket Data Confirmed",
+                    "type": "boolean"
+                  }
+                },
+                "required": [
+                  "ticket_data_confirmed"
+                ],
+                "title": "Slot_ticket_data_confirmed",
+                "type": "object",
+                "x-flowspec2-correction-targets": [
+                  "request_description"
+                ]
+              }
+            },
+            "data": {
+              "request_description": "Broken accessibility ramp"
+            },
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "authentication_token": {
+              "brazilian_tax_id": "98765432100"
+            }
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "",
+              "error_message": "await_external 'authenticate_requester' rejected late resume delivery"
+            },
+            "data": {
+              "request_description": "Broken accessibility ramp"
+            },
+            "status": "error"
+          }
+        }
+      ]
+    },
+    {
+      "identifier": "gated_derivation_gate_true_runtime",
+      "source": {
+        "path": "gated_derive.case.json",
+        "pointer": "/source"
+      },
+      "expected": {
+        "compilation": "succeeded",
+        "diagnostics": [],
+        "ir": {
+          "ir_format": "flowspec2/ir@1",
+          "flow": "gated_issue_classification",
+          "version": "1.0.0",
+          "source_digest": "bef43034d203f38584eff3548e3773f5b5bb4604a2706a61ce5334ba3d67de34",
+          "profile_digest": "23a6b3f9d68730770f2eeef4ea80ab3fd9bfe526cbf47117240c1f526987174a",
+          "dependency_digest": "a5c83f35e8179f308288eea31dcc88d17e4ac772bbaad5ddea5cc74d150e56bb",
+          "digest": "6a547da9a5f979988ed9c1f6110c8396020e39bbb091e9f65fbd1c457e563f45",
+          "canonical_document_digest": "3f4aeaf54a2d3e5069384d8d12905322f85599de19e3ea2116f4d60daa7a480b",
+          "canonical_execution_ir_digest": "a05696459b4c46e24d681b6b48f53ef69b974166771beaec174e3b300cc134b7",
+          "canonical_ir_digest": "9e65c746f797b8fad8b18a1aa02e8ec6b6380f413aed2ffde2daed28c58d74e3"
+        }
+      },
+      "turns": [
+        {
+          "payload": {},
+          "expected_trace": {
+            "agent_response": {
+              "description": "Which type of issue are you reporting?",
+              "payload_schema": {
+                "properties": {
+                  "issue_category": {
+                    "description": "Interpret the user's input and return ONLY one closed value: Pothole, Obstruction.",
+                    "enum": [
+                      "Pothole",
+                      "Obstruction"
+                    ],
+                    "title": "Issue Category",
+                    "type": "string"
+                  }
+                },
+                "required": [
+                  "issue_category"
+                ],
+                "title": "Slot_issue_category",
+                "type": "object"
+              }
+            },
+            "data": {},
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "issue_category": "Pothole"
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "How large is the pothole?",
+              "payload_schema": {
+                "properties": {
+                  "issue_detail": {
+                    "description": "Interpret the user's input and return ONLY one closed value: Small, Large.",
+                    "enum": [
+                      "Small",
+                      "Large"
+                    ],
+                    "title": "Issue Detail",
+                    "type": "string"
+                  }
+                },
+                "required": [
+                  "issue_detail"
+                ],
+                "title": "Slot_issue_detail",
+                "type": "object"
+              }
+            },
+            "data": {
+              "issue_category": "Pothole"
+            },
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "issue_detail": "Small"
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "Service completed successfully."
+            },
+            "data": {
+              "backend_classification": "POTHOLE_SMALL",
+              "issue_category": "Pothole",
+              "issue_detail": "Small"
+            },
+            "status": "completed"
+          }
+        }
+      ]
+    },
+    {
+      "identifier": "gated_derivation_gate_false_runtime",
+      "source": {
+        "path": "gated_derive.case.json",
+        "pointer": "/source"
+      },
+      "expected": {
+        "compilation": "succeeded",
+        "diagnostics": [],
+        "ir": {
+          "ir_format": "flowspec2/ir@1",
+          "flow": "gated_issue_classification",
+          "version": "1.0.0",
+          "source_digest": "bef43034d203f38584eff3548e3773f5b5bb4604a2706a61ce5334ba3d67de34",
+          "profile_digest": "23a6b3f9d68730770f2eeef4ea80ab3fd9bfe526cbf47117240c1f526987174a",
+          "dependency_digest": "a5c83f35e8179f308288eea31dcc88d17e4ac772bbaad5ddea5cc74d150e56bb",
+          "digest": "6a547da9a5f979988ed9c1f6110c8396020e39bbb091e9f65fbd1c457e563f45",
+          "canonical_document_digest": "3f4aeaf54a2d3e5069384d8d12905322f85599de19e3ea2116f4d60daa7a480b",
+          "canonical_execution_ir_digest": "a05696459b4c46e24d681b6b48f53ef69b974166771beaec174e3b300cc134b7",
+          "canonical_ir_digest": "9e65c746f797b8fad8b18a1aa02e8ec6b6380f413aed2ffde2daed28c58d74e3"
+        }
+      },
+      "turns": [
+        {
+          "payload": {},
+          "expected_trace": {
+            "agent_response": {
+              "description": "Which type of issue are you reporting?",
+              "payload_schema": {
+                "properties": {
+                  "issue_category": {
+                    "description": "Interpret the user's input and return ONLY one closed value: Pothole, Obstruction.",
+                    "enum": [
+                      "Pothole",
+                      "Obstruction"
+                    ],
+                    "title": "Issue Category",
+                    "type": "string"
+                  }
+                },
+                "required": [
+                  "issue_category"
+                ],
+                "title": "Slot_issue_category",
+                "type": "object"
+              }
+            },
+            "data": {},
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "issue_category": "Obstruction",
+            "issue_detail": "Large"
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "Service completed successfully."
+            },
+            "data": {
+              "backend_classification": "STREET_OBSTRUCTION",
+              "issue_category": "Obstruction"
+            },
+            "status": "completed"
+          }
+        }
+      ]
+    },
+    {
+      "identifier": "gated_derivation_default_runtime",
+      "source": {
+        "path": "gated_derive.case.json",
+        "pointer": "/source",
+        "mutations": [
+          {
+            "path": "/derive/0/lookup",
+            "replacement": {
+              "Pothole|Small": "POTHOLE_SMALL",
+              "Obstruction|null": "STREET_OBSTRUCTION"
+            }
+          }
+        ]
+      },
+      "expected": {
+        "compilation": "succeeded",
+        "diagnostics": [],
+        "ir": {
+          "ir_format": "flowspec2/ir@1",
+          "flow": "gated_issue_classification",
+          "version": "1.0.0",
+          "source_digest": "6bf8f544a993d5f06651ef4b4190fe2b384969a831866d7bb3b172a0f8ae8cae",
+          "profile_digest": "23a6b3f9d68730770f2eeef4ea80ab3fd9bfe526cbf47117240c1f526987174a",
+          "dependency_digest": "a5c83f35e8179f308288eea31dcc88d17e4ac772bbaad5ddea5cc74d150e56bb",
+          "digest": "91ceb9abc69411c8be54e56440bf7bee7550d9bafc1dcdd16bb17c0df2442ee6",
+          "canonical_document_digest": "9d5a899c4f5f3a972e9be0da27bb766c7e2c10d5736c0a91930f926521379528",
+          "canonical_execution_ir_digest": "615efc119955760b7659361600c855f7909cf07e764222e14845c583d48c3f64",
+          "canonical_ir_digest": "7d551ab1a0754a5b58edcde44ebea49a1de9b9ac4bce0f9e1b73592c81219800"
+        }
+      },
+      "turns": [
+        {
+          "payload": {},
+          "expected_trace": {
+            "agent_response": {
+              "description": "Which type of issue are you reporting?",
+              "payload_schema": {
+                "properties": {
+                  "issue_category": {
+                    "description": "Interpret the user's input and return ONLY one closed value: Pothole, Obstruction.",
+                    "enum": [
+                      "Pothole",
+                      "Obstruction"
+                    ],
+                    "title": "Issue Category",
+                    "type": "string"
+                  }
+                },
+                "required": [
+                  "issue_category"
+                ],
+                "title": "Slot_issue_category",
+                "type": "object"
+              }
+            },
+            "data": {},
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "issue_category": "Pothole"
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "How large is the pothole?",
+              "payload_schema": {
+                "properties": {
+                  "issue_detail": {
+                    "description": "Interpret the user's input and return ONLY one closed value: Small, Large.",
+                    "enum": [
+                      "Small",
+                      "Large"
+                    ],
+                    "title": "Issue Detail",
+                    "type": "string"
+                  }
+                },
+                "required": [
+                  "issue_detail"
+                ],
+                "title": "Slot_issue_detail",
+                "type": "object"
+              }
+            },
+            "data": {
+              "issue_category": "Pothole"
+            },
+            "status": "progress"
+          }
+        },
+        {
+          "payload": {
+            "issue_detail": "Large"
+          },
+          "expected_trace": {
+            "agent_response": {
+              "description": "Service completed successfully."
+            },
+            "data": {
+              "backend_classification": "Pothole",
+              "issue_category": "Pothole",
+              "issue_detail": "Large"
+            },
+            "status": "completed"
+          }
+        }
+      ]
+    }
+  ]
+}