ofplang-schedule 0.1.0__tar.gz

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.
Files changed (252) hide show
  1. ofplang_schedule-0.1.0/.github/workflows/ci.yml +53 -0
  2. ofplang_schedule-0.1.0/.github/workflows/publish.yml +96 -0
  3. ofplang_schedule-0.1.0/.gitignore +12 -0
  4. ofplang_schedule-0.1.0/LICENSE +21 -0
  5. ofplang_schedule-0.1.0/PKG-INFO +114 -0
  6. ofplang_schedule-0.1.0/README.md +80 -0
  7. ofplang_schedule-0.1.0/docs/FORMULATION.md +444 -0
  8. ofplang_schedule-0.1.0/docs/SPECIFICATIONS.md +979 -0
  9. ofplang_schedule-0.1.0/examples/README.md +210 -0
  10. ofplang_schedule-0.1.0/examples/gen_plate_batch.py +247 -0
  11. ofplang_schedule-0.1.0/examples/interface_load.document.yaml +10 -0
  12. ofplang_schedule-0.1.0/examples/interface_load.env.yaml +36 -0
  13. ofplang_schedule-0.1.0/examples/interface_load.workflow.yaml +46 -0
  14. ofplang_schedule-0.1.0/examples/outputs/plate_batch.device.svg +2 -0
  15. ofplang_schedule-0.1.0/examples/outputs/plate_batch.env.yaml +143 -0
  16. ofplang_schedule-0.1.0/examples/outputs/plate_batch.lane.svg +2 -0
  17. ofplang_schedule-0.1.0/examples/outputs/plate_batch.plan.yaml +744 -0
  18. ofplang_schedule-0.1.0/examples/outputs/plate_batch.workflow.svg +2 -0
  19. ofplang_schedule-0.1.0/examples/outputs/plate_batch.workflow.yaml +183 -0
  20. ofplang_schedule-0.1.0/examples/outputs/reformatter.device.svg +2 -0
  21. ofplang_schedule-0.1.0/examples/outputs/reformatter.lane.svg +2 -0
  22. ofplang_schedule-0.1.0/examples/outputs/reformatter.plan.yaml +298 -0
  23. ofplang_schedule-0.1.0/examples/outputs/reformatter.workflow.svg +2 -0
  24. ofplang_schedule-0.1.0/examples/outputs/reroute.replan.lane.svg +2 -0
  25. ofplang_schedule-0.1.0/examples/outputs/reroute.replan.yaml +81 -0
  26. ofplang_schedule-0.1.0/examples/outputs/reroute_chain.replan.lane.svg +2 -0
  27. ofplang_schedule-0.1.0/examples/outputs/reroute_chain.replan.yaml +113 -0
  28. ofplang_schedule-0.1.0/examples/outputs/reroute_stay.replan.lane.svg +2 -0
  29. ofplang_schedule-0.1.0/examples/outputs/reroute_stay.replan.yaml +50 -0
  30. ofplang_schedule-0.1.0/examples/outputs/simple.device.svg +2 -0
  31. ofplang_schedule-0.1.0/examples/outputs/simple.lane.svg +2 -0
  32. ofplang_schedule-0.1.0/examples/outputs/simple.plan.yaml +47 -0
  33. ofplang_schedule-0.1.0/examples/outputs/simple.replan.lane.svg +2 -0
  34. ofplang_schedule-0.1.0/examples/outputs/simple.replan.yaml +50 -0
  35. ofplang_schedule-0.1.0/examples/outputs/simple.workflow.svg +2 -0
  36. ofplang_schedule-0.1.0/examples/outputs/two_arms.device.svg +2 -0
  37. ofplang_schedule-0.1.0/examples/outputs/two_arms.plan.yaml +84 -0
  38. ofplang_schedule-0.1.0/examples/reformatter.env.yaml +131 -0
  39. ofplang_schedule-0.1.0/examples/reformatter.workflow.yaml +175 -0
  40. ofplang_schedule-0.1.0/examples/reroute.env.yaml +40 -0
  41. ofplang_schedule-0.1.0/examples/reroute.status.yaml +33 -0
  42. ofplang_schedule-0.1.0/examples/reroute_chain.env.yaml +43 -0
  43. ofplang_schedule-0.1.0/examples/reroute_chain.status.yaml +45 -0
  44. ofplang_schedule-0.1.0/examples/reroute_stay.env.yaml +38 -0
  45. ofplang_schedule-0.1.0/examples/reroute_stay.status.yaml +31 -0
  46. ofplang_schedule-0.1.0/examples/simple.env.yaml +44 -0
  47. ofplang_schedule-0.1.0/examples/simple.status.yaml +27 -0
  48. ofplang_schedule-0.1.0/examples/simple.workflow.yaml +49 -0
  49. ofplang_schedule-0.1.0/examples/two_arms.env.yaml +70 -0
  50. ofplang_schedule-0.1.0/examples/two_arms.workflow.yaml +79 -0
  51. ofplang_schedule-0.1.0/ofplang/schedule/__init__.py +27 -0
  52. ofplang_schedule-0.1.0/ofplang/schedule/__main__.py +9 -0
  53. ofplang_schedule-0.1.0/ofplang/schedule/cli.py +385 -0
  54. ofplang_schedule-0.1.0/ofplang/schedule/core/__init__.py +6 -0
  55. ofplang_schedule-0.1.0/ofplang/schedule/core/diagnostics.py +89 -0
  56. ofplang_schedule-0.1.0/ofplang/schedule/core/identifiers.py +47 -0
  57. ofplang_schedule-0.1.0/ofplang/schedule/core/yamlnode.py +156 -0
  58. ofplang_schedule-0.1.0/ofplang/schedule/py.typed +0 -0
  59. ofplang_schedule-0.1.0/ofplang/schedule/scheduler/__init__.py +16 -0
  60. ofplang_schedule-0.1.0/ofplang/schedule/scheduler/api.py +132 -0
  61. ofplang_schedule-0.1.0/ofplang/schedule/scheduler/cpsat.py +338 -0
  62. ofplang_schedule-0.1.0/ofplang/schedule/scheduler/envload.py +78 -0
  63. ofplang_schedule-0.1.0/ofplang/schedule/scheduler/instance.py +540 -0
  64. ofplang_schedule-0.1.0/ofplang/schedule/scheduler/model.py +222 -0
  65. ofplang_schedule-0.1.0/ofplang/schedule/scheduler/normalize.py +472 -0
  66. ofplang_schedule-0.1.0/ofplang/schedule/scheduler/plan.py +176 -0
  67. ofplang_schedule-0.1.0/ofplang/schedule/scheduler/status.py +103 -0
  68. ofplang_schedule-0.1.0/ofplang/schedule/scheduler/visualize.py +607 -0
  69. ofplang_schedule-0.1.0/ofplang/schedule/scheduler/workflow.py +557 -0
  70. ofplang_schedule-0.1.0/ofplang/schedule/validation/__init__.py +11 -0
  71. ofplang_schedule-0.1.0/ofplang/schedule/validation/_shape.py +69 -0
  72. ofplang_schedule-0.1.0/ofplang/schedule/validation/document.py +361 -0
  73. ofplang_schedule-0.1.0/ofplang/schedule/validation/environment.py +460 -0
  74. ofplang_schedule-0.1.0/ofplang/schedule/validation/errors.py +184 -0
  75. ofplang_schedule-0.1.0/ofplang_schedule.egg-info/PKG-INFO +114 -0
  76. ofplang_schedule-0.1.0/ofplang_schedule.egg-info/SOURCES.txt +250 -0
  77. ofplang_schedule-0.1.0/ofplang_schedule.egg-info/dependency_links.txt +1 -0
  78. ofplang_schedule-0.1.0/ofplang_schedule.egg-info/entry_points.txt +2 -0
  79. ofplang_schedule-0.1.0/ofplang_schedule.egg-info/requires.txt +12 -0
  80. ofplang_schedule-0.1.0/ofplang_schedule.egg-info/scm_file_list.json +246 -0
  81. ofplang_schedule-0.1.0/ofplang_schedule.egg-info/scm_version.json +8 -0
  82. ofplang_schedule-0.1.0/ofplang_schedule.egg-info/top_level.txt +1 -0
  83. ofplang_schedule-0.1.0/pyproject.toml +93 -0
  84. ofplang_schedule-0.1.0/setup.cfg +4 -0
  85. ofplang_schedule-0.1.0/tests/conformance/README.md +89 -0
  86. ofplang_schedule-0.1.0/tests/conformance/cases/doc/_baseline.yaml +7 -0
  87. ofplang_schedule-0.1.0/tests/conformance/cases/doc/activity/end_before_start.expected.yaml +5 -0
  88. ofplang_schedule-0.1.0/tests/conformance/cases/doc/activity/end_before_start.yaml +7 -0
  89. ofplang_schedule-0.1.0/tests/conformance/cases/doc/activity/missing_start.expected.yaml +5 -0
  90. ofplang_schedule-0.1.0/tests/conformance/cases/doc/activity/missing_start.yaml +6 -0
  91. ofplang_schedule-0.1.0/tests/conformance/cases/doc/activity/negative_start.expected.yaml +5 -0
  92. ofplang_schedule-0.1.0/tests/conformance/cases/doc/activity/negative_start.yaml +7 -0
  93. ofplang_schedule-0.1.0/tests/conformance/cases/doc/activity/unknown_kind.expected.yaml +5 -0
  94. ofplang_schedule-0.1.0/tests/conformance/cases/doc/activity/unknown_kind.yaml +7 -0
  95. ofplang_schedule-0.1.0/tests/conformance/cases/doc/activity/unknown_status.expected.yaml +5 -0
  96. ofplang_schedule-0.1.0/tests/conformance/cases/doc/activity/unknown_status.yaml +8 -0
  97. ofplang_schedule-0.1.0/tests/conformance/cases/doc/interface/bad_port_name.expected.yaml +5 -0
  98. ofplang_schedule-0.1.0/tests/conformance/cases/doc/interface/bad_port_name.yaml +3 -0
  99. ofplang_schedule-0.1.0/tests/conformance/cases/doc/interface/malformed_spot.expected.yaml +5 -0
  100. ofplang_schedule-0.1.0/tests/conformance/cases/doc/interface/malformed_spot.yaml +3 -0
  101. ofplang_schedule-0.1.0/tests/conformance/cases/doc/interface/not_a_map.expected.yaml +5 -0
  102. ofplang_schedule-0.1.0/tests/conformance/cases/doc/interface/not_a_map.yaml +2 -0
  103. ofplang_schedule-0.1.0/tests/conformance/cases/doc/processing/empty_node_path.expected.yaml +5 -0
  104. ofplang_schedule-0.1.0/tests/conformance/cases/doc/processing/empty_node_path.yaml +7 -0
  105. ofplang_schedule-0.1.0/tests/conformance/cases/doc/processing/invalid_node_id.expected.yaml +5 -0
  106. ofplang_schedule-0.1.0/tests/conformance/cases/doc/processing/invalid_node_id.yaml +7 -0
  107. ofplang_schedule-0.1.0/tests/conformance/cases/doc/processing/missing_mode.expected.yaml +5 -0
  108. ofplang_schedule-0.1.0/tests/conformance/cases/doc/processing/missing_mode.yaml +6 -0
  109. ofplang_schedule-0.1.0/tests/conformance/cases/doc/processing/missing_node.expected.yaml +5 -0
  110. ofplang_schedule-0.1.0/tests/conformance/cases/doc/processing/missing_node.yaml +2 -0
  111. ofplang_schedule-0.1.0/tests/conformance/cases/doc/processing/missing_process.expected.yaml +5 -0
  112. ofplang_schedule-0.1.0/tests/conformance/cases/doc/processing/missing_process.yaml +6 -0
  113. ofplang_schedule-0.1.0/tests/conformance/cases/doc/relay/missing_fields.expected.yaml +5 -0
  114. ofplang_schedule-0.1.0/tests/conformance/cases/doc/relay/missing_fields.yaml +7 -0
  115. ofplang_schedule-0.1.0/tests/conformance/cases/doc/relay/negative_seq.expected.yaml +5 -0
  116. ofplang_schedule-0.1.0/tests/conformance/cases/doc/relay/negative_seq.yaml +9 -0
  117. ofplang_schedule-0.1.0/tests/conformance/cases/doc/relay/nonzero_duration.expected.yaml +5 -0
  118. ofplang_schedule-0.1.0/tests/conformance/cases/doc/relay/nonzero_duration.yaml +9 -0
  119. ofplang_schedule-0.1.0/tests/conformance/cases/doc/relay/valid_relay_chain.expected.yaml +1 -0
  120. ofplang_schedule-0.1.0/tests/conformance/cases/doc/relay/valid_relay_chain.yaml +33 -0
  121. ofplang_schedule-0.1.0/tests/conformance/cases/doc/shape/missing_activities.expected.yaml +5 -0
  122. ofplang_schedule-0.1.0/tests/conformance/cases/doc/shape/missing_activities.yaml +1 -0
  123. ofplang_schedule-0.1.0/tests/conformance/cases/doc/shape/root_not_mapping.expected.yaml +5 -0
  124. ofplang_schedule-0.1.0/tests/conformance/cases/doc/shape/root_not_mapping.yaml +1 -0
  125. ofplang_schedule-0.1.0/tests/conformance/cases/doc/shape/unknown_key_activity.expected.yaml +5 -0
  126. ofplang_schedule-0.1.0/tests/conformance/cases/doc/shape/unknown_key_activity.yaml +8 -0
  127. ofplang_schedule-0.1.0/tests/conformance/cases/doc/shape/unknown_key_top.expected.yaml +5 -0
  128. ofplang_schedule-0.1.0/tests/conformance/cases/doc/shape/unknown_key_top.yaml +8 -0
  129. ofplang_schedule-0.1.0/tests/conformance/cases/doc/shape/wrong_type.expected.yaml +5 -0
  130. ofplang_schedule-0.1.0/tests/conformance/cases/doc/shape/wrong_type.yaml +1 -0
  131. ofplang_schedule-0.1.0/tests/conformance/cases/doc/toplevel/negative_now.expected.yaml +5 -0
  132. ofplang_schedule-0.1.0/tests/conformance/cases/doc/toplevel/negative_now.yaml +8 -0
  133. ofplang_schedule-0.1.0/tests/conformance/cases/doc/toplevel/time_without_unit.expected.yaml +5 -0
  134. ofplang_schedule-0.1.0/tests/conformance/cases/doc/toplevel/time_without_unit.yaml +8 -0
  135. ofplang_schedule-0.1.0/tests/conformance/cases/doc/toplevel/unknown_objective_kind.expected.yaml +5 -0
  136. ofplang_schedule-0.1.0/tests/conformance/cases/doc/toplevel/unknown_objective_kind.yaml +8 -0
  137. ofplang_schedule-0.1.0/tests/conformance/cases/doc/toplevel/unknown_outcome.expected.yaml +5 -0
  138. ofplang_schedule-0.1.0/tests/conformance/cases/doc/toplevel/unknown_outcome.yaml +8 -0
  139. ofplang_schedule-0.1.0/tests/conformance/cases/doc/transport/malformed_arc.expected.yaml +5 -0
  140. ofplang_schedule-0.1.0/tests/conformance/cases/doc/transport/malformed_arc.yaml +13 -0
  141. ofplang_schedule-0.1.0/tests/conformance/cases/doc/transport/malformed_from_spot.expected.yaml +5 -0
  142. ofplang_schedule-0.1.0/tests/conformance/cases/doc/transport/malformed_from_spot.yaml +14 -0
  143. ofplang_schedule-0.1.0/tests/conformance/cases/doc/transport/missing_arc.expected.yaml +5 -0
  144. ofplang_schedule-0.1.0/tests/conformance/cases/doc/transport/missing_arc.yaml +3 -0
  145. ofplang_schedule-0.1.0/tests/conformance/cases/doc/transport/missing_from_spot.expected.yaml +5 -0
  146. ofplang_schedule-0.1.0/tests/conformance/cases/doc/transport/missing_from_spot.yaml +13 -0
  147. ofplang_schedule-0.1.0/tests/conformance/cases/doc/transport/missing_transporter.expected.yaml +5 -0
  148. ofplang_schedule-0.1.0/tests/conformance/cases/doc/transport/missing_transporter.yaml +13 -0
  149. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/interface.expected.yaml +1 -0
  150. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/interface.yaml +4 -0
  151. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/minimal.expected.yaml +1 -0
  152. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/minimal.yaml +7 -0
  153. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/pending_status.expected.yaml +1 -0
  154. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/pending_status.yaml +8 -0
  155. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/plan.expected.yaml +2 -0
  156. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/plan.yaml +27 -0
  157. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/pure_data.expected.yaml +2 -0
  158. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/pure_data.yaml +20 -0
  159. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/status.expected.yaml +1 -0
  160. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/status.yaml +24 -0
  161. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/terminal_status.expected.yaml +2 -0
  162. ofplang_schedule-0.1.0/tests/conformance/cases/doc/valid/terminal_status.yaml +19 -0
  163. ofplang_schedule-0.1.0/tests/conformance/cases/env/_baseline.yaml +11 -0
  164. ofplang_schedule-0.1.0/tests/conformance/cases/env/aggregation/multiple_violations.expected.yaml +6 -0
  165. ofplang_schedule-0.1.0/tests/conformance/cases/env/aggregation/multiple_violations.yaml +10 -0
  166. ofplang_schedule-0.1.0/tests/conformance/cases/env/identifiers/cross_kind_coincidence.expected.yaml +4 -0
  167. ofplang_schedule-0.1.0/tests/conformance/cases/env/identifiers/cross_kind_coincidence.yaml +13 -0
  168. ofplang_schedule-0.1.0/tests/conformance/cases/env/identifiers/duplicate_device_id.expected.yaml +5 -0
  169. ofplang_schedule-0.1.0/tests/conformance/cases/env/identifiers/duplicate_device_id.yaml +13 -0
  170. ofplang_schedule-0.1.0/tests/conformance/cases/env/identifiers/duplicate_spot_id.expected.yaml +5 -0
  171. ofplang_schedule-0.1.0/tests/conformance/cases/env/identifiers/duplicate_spot_id.yaml +11 -0
  172. ofplang_schedule-0.1.0/tests/conformance/cases/env/identifiers/duplicate_transporter_id.expected.yaml +5 -0
  173. ofplang_schedule-0.1.0/tests/conformance/cases/env/identifiers/duplicate_transporter_id.yaml +14 -0
  174. ofplang_schedule-0.1.0/tests/conformance/cases/env/identifiers/invalid_identifier.expected.yaml +5 -0
  175. ofplang_schedule-0.1.0/tests/conformance/cases/env/identifiers/invalid_identifier.yaml +13 -0
  176. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/empty_devices.expected.yaml +5 -0
  177. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/empty_devices.yaml +6 -0
  178. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/empty_modes.expected.yaml +5 -0
  179. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/empty_modes.yaml +7 -0
  180. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/missing_devices.expected.yaml +5 -0
  181. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/missing_devices.yaml +5 -0
  182. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/missing_processes.expected.yaml +5 -0
  183. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/missing_processes.yaml +4 -0
  184. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/missing_time.expected.yaml +5 -0
  185. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/missing_time.yaml +10 -0
  186. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/root_not_mapping.expected.yaml +5 -0
  187. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/root_not_mapping.yaml +1 -0
  188. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/unknown_key.expected.yaml +5 -0
  189. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/unknown_key.yaml +12 -0
  190. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/wrong_type.expected.yaml +5 -0
  191. ofplang_schedule-0.1.0/tests/conformance/cases/env/shape/wrong_type.yaml +6 -0
  192. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/input_spots_share_spot.expected.yaml +5 -0
  193. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/input_spots_share_spot.yaml +11 -0
  194. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/malformed_qualified_spot.expected.yaml +5 -0
  195. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/malformed_qualified_spot.yaml +11 -0
  196. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/output_spots_share_spot.expected.yaml +5 -0
  197. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/output_spots_share_spot.yaml +11 -0
  198. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/spot_device_not_in_mode.expected.yaml +5 -0
  199. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/spot_device_not_in_mode.yaml +13 -0
  200. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/unknown_device.expected.yaml +5 -0
  201. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/unknown_device.yaml +11 -0
  202. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/unknown_mode_device.expected.yaml +5 -0
  203. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/unknown_mode_device.yaml +9 -0
  204. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/unknown_spot.expected.yaml +5 -0
  205. ofplang_schedule-0.1.0/tests/conformance/cases/env/spots/unknown_spot.yaml +11 -0
  206. ofplang_schedule-0.1.0/tests/conformance/cases/env/transports/duplicate_transport_entry.expected.yaml +5 -0
  207. ofplang_schedule-0.1.0/tests/conformance/cases/env/transports/duplicate_transport_entry.yaml +18 -0
  208. ofplang_schedule-0.1.0/tests/conformance/cases/env/transports/unknown_transporter.expected.yaml +5 -0
  209. ofplang_schedule-0.1.0/tests/conformance/cases/env/transports/unknown_transporter.yaml +17 -0
  210. ofplang_schedule-0.1.0/tests/conformance/cases/env/valid/minimal.expected.yaml +1 -0
  211. ofplang_schedule-0.1.0/tests/conformance/cases/env/valid/minimal.yaml +11 -0
  212. ofplang_schedule-0.1.0/tests/conformance/cases/env/valid/multi_device_mode.expected.yaml +1 -0
  213. ofplang_schedule-0.1.0/tests/conformance/cases/env/valid/multi_device_mode.yaml +13 -0
  214. ofplang_schedule-0.1.0/tests/conformance/cases/env/valid/pure_data_process.expected.yaml +2 -0
  215. ofplang_schedule-0.1.0/tests/conformance/cases/env/valid/pure_data_process.yaml +14 -0
  216. ofplang_schedule-0.1.0/tests/conformance/cases/env/valid/same_spot_transport.expected.yaml +1 -0
  217. ofplang_schedule-0.1.0/tests/conformance/cases/env/valid/same_spot_transport.yaml +18 -0
  218. ofplang_schedule-0.1.0/tests/conformance/cases/env/valid/with_transport.expected.yaml +2 -0
  219. ofplang_schedule-0.1.0/tests/conformance/cases/env/valid/with_transport.yaml +23 -0
  220. ofplang_schedule-0.1.0/tests/conformance/cases/env/values/empty_time_unit.expected.yaml +5 -0
  221. ofplang_schedule-0.1.0/tests/conformance/cases/env/values/empty_time_unit.yaml +11 -0
  222. ofplang_schedule-0.1.0/tests/conformance/cases/env/values/negative_transport_duration.expected.yaml +5 -0
  223. ofplang_schedule-0.1.0/tests/conformance/cases/env/values/negative_transport_duration.yaml +17 -0
  224. ofplang_schedule-0.1.0/tests/conformance/cases/env/values/nonpositive_duration.expected.yaml +5 -0
  225. ofplang_schedule-0.1.0/tests/conformance/cases/env/values/nonpositive_duration.yaml +11 -0
  226. ofplang_schedule-0.1.0/tests/conformance/cases/env/values/pure_data_negative_duration.expected.yaml +6 -0
  227. ofplang_schedule-0.1.0/tests/conformance/cases/env/values/pure_data_negative_duration.yaml +8 -0
  228. ofplang_schedule-0.1.0/tests/conformance/cases/env/values/pure_data_zero_duration.expected.yaml +2 -0
  229. ofplang_schedule-0.1.0/tests/conformance/cases/env/values/pure_data_zero_duration.yaml +8 -0
  230. ofplang_schedule-0.1.0/tests/conformance/cases/env/values/unknown_objective_kind.expected.yaml +5 -0
  231. ofplang_schedule-0.1.0/tests/conformance/cases/env/values/unknown_objective_kind.yaml +12 -0
  232. ofplang_schedule-0.1.0/tests/schedutil.py +120 -0
  233. ofplang_schedule-0.1.0/tests/test_cli.py +186 -0
  234. ofplang_schedule-0.1.0/tests/test_conformance.py +66 -0
  235. ofplang_schedule-0.1.0/tests/test_cpsat.py +224 -0
  236. ofplang_schedule-0.1.0/tests/test_envload.py +74 -0
  237. ofplang_schedule-0.1.0/tests/test_example_makespans.py +40 -0
  238. ofplang_schedule-0.1.0/tests/test_fold.py +167 -0
  239. ofplang_schedule-0.1.0/tests/test_identifiers.py +20 -0
  240. ofplang_schedule-0.1.0/tests/test_inplace.py +72 -0
  241. ofplang_schedule-0.1.0/tests/test_instance.py +239 -0
  242. ofplang_schedule-0.1.0/tests/test_interface.py +532 -0
  243. ofplang_schedule-0.1.0/tests/test_normalize.py +257 -0
  244. ofplang_schedule-0.1.0/tests/test_plan.py +61 -0
  245. ofplang_schedule-0.1.0/tests/test_plate_batch.py +136 -0
  246. ofplang_schedule-0.1.0/tests/test_pure_data.py +116 -0
  247. ofplang_schedule-0.1.0/tests/test_replan.py +185 -0
  248. ofplang_schedule-0.1.0/tests/test_replan_optimality.py +312 -0
  249. ofplang_schedule-0.1.0/tests/test_reroute.py +255 -0
  250. ofplang_schedule-0.1.0/tests/test_schedule_optimality.py +75 -0
  251. ofplang_schedule-0.1.0/tests/test_visualize.py +127 -0
  252. ofplang_schedule-0.1.0/tests/test_workflow.py +541 -0
@@ -0,0 +1,53 @@
1
+ name: CI
2
+
3
+ on:
4
+ push:
5
+ branches: [main]
6
+ pull_request:
7
+ branches: [main]
8
+
9
+ jobs:
10
+ test:
11
+ runs-on: ubuntu-latest
12
+ strategy:
13
+ fail-fast: false
14
+ matrix:
15
+ python-version: ["3.10", "3.11", "3.12", "3.13"]
16
+ steps:
17
+ - uses: actions/checkout@v4
18
+ - uses: actions/setup-python@v5
19
+ with:
20
+ python-version: ${{ matrix.python-version }}
21
+ cache: pip
22
+ # `ofplang-validate` is a sibling repo, not on PyPI. The CLI front door
23
+ # imports it, so install it from git before resolving this project.
24
+ - run: pip install "ofplang-validate @ git+https://github.com/ofplang/validate.git@main"
25
+ - run: pip install -e ".[test]"
26
+ - run: pytest
27
+
28
+ lint:
29
+ runs-on: ubuntu-latest
30
+ steps:
31
+ - uses: actions/checkout@v4
32
+ - uses: actions/setup-python@v5
33
+ with:
34
+ python-version: "3.12"
35
+ cache: pip
36
+ # ruff is a static analyzer: it needs neither the project installed nor the
37
+ # (PyPI-absent) ofplang-validate dependency resolved, so install ruff alone.
38
+ - run: pip install "ruff>=0.16"
39
+ - run: ruff check ofplang tests
40
+
41
+ typecheck:
42
+ runs-on: ubuntu-latest
43
+ steps:
44
+ - uses: actions/checkout@v4
45
+ - uses: actions/setup-python@v5
46
+ with:
47
+ python-version: "3.12"
48
+ cache: pip
49
+ # mypy resolves `ofplang.validate` (imported by the CLI), so install the
50
+ # sibling repo from git before this project.
51
+ - run: pip install "ofplang-validate @ git+https://github.com/ofplang/validate.git@main"
52
+ - run: pip install -e ".[dev]"
53
+ - run: mypy
@@ -0,0 +1,96 @@
1
+ name: Publish
2
+
3
+ # Tag-driven release via PyPI Trusted Publishing (OIDC) — no API tokens.
4
+ #
5
+ # Version comes from the pushed git tag via setuptools-scm (`v0.1.0` -> 0.1.0).
6
+ # Routing:
7
+ # - a pre-release tag containing `rc` (e.g. v0.1.0rc1) -> TestPyPI (rehearsal)
8
+ # - any other `v*` tag (e.g. v0.1.0) -> PyPI (production)
9
+ # - manual workflow_dispatch -> choose the target explicitly (run it from a
10
+ # tagged commit, else setuptools-scm yields a dev+local version PyPI rejects)
11
+ #
12
+ # PyPI-side setup (done once, by the project owner): register a Trusted Publisher
13
+ # for owner=ofplang, repo=schedule, workflow=publish.yml, environment=pypi
14
+ # (and environment=testpypi on TestPyPI). First release: register as "pending".
15
+ #
16
+ # Publish order across the org: validate -> schedule -> run. Do not publish this
17
+ # before ofplang-validate is available on the same index.
18
+
19
+ on:
20
+ push:
21
+ tags: ["v*"]
22
+ workflow_dispatch:
23
+ inputs:
24
+ target:
25
+ description: "Publish target"
26
+ type: choice
27
+ options: [testpypi, pypi]
28
+ default: testpypi
29
+
30
+ jobs:
31
+ build:
32
+ runs-on: ubuntu-latest
33
+ steps:
34
+ - uses: actions/checkout@v4
35
+ with:
36
+ # setuptools-scm derives the version from tags + history.
37
+ fetch-depth: 0
38
+ - uses: actions/setup-python@v5
39
+ with:
40
+ python-version: "3.12"
41
+ - run: python -m pip install --upgrade build twine
42
+ - run: python -m build
43
+ - run: twine check dist/*
44
+ # Guard against ambiguous tags: the built version (from setuptools-scm) must
45
+ # equal the pushed tag — e.g. tag v0.1.0 must build 0.1.0. Catches a commit
46
+ # carrying two tags (an rc and a release) where git describe can resolve to
47
+ # the wrong one and publish the wrong artifact.
48
+ - name: Verify built version matches tag
49
+ if: startsWith(github.ref, 'refs/tags/')
50
+ shell: bash
51
+ run: |
52
+ tag="${GITHUB_REF_NAME#v}"
53
+ built="$(ls dist/*.tar.gz | sed -E 's#.*/[^/]*-([0-9][^-]*)\.tar\.gz#\1#')"
54
+ echo "tag=$tag built=$built"
55
+ if [ "$tag" != "$built" ]; then
56
+ echo "::error::built version $built != tag $tag (ambiguous or misplaced tag?)"
57
+ exit 1
58
+ fi
59
+ - uses: actions/upload-artifact@v4
60
+ with:
61
+ name: dist
62
+ path: dist/
63
+
64
+ publish-testpypi:
65
+ needs: build
66
+ if: >-
67
+ github.event_name == 'workflow_dispatch' && inputs.target == 'testpypi'
68
+ || (github.event_name == 'push' && contains(github.ref_name, 'rc'))
69
+ runs-on: ubuntu-latest
70
+ environment: testpypi
71
+ permissions:
72
+ id-token: write
73
+ steps:
74
+ - uses: actions/download-artifact@v4
75
+ with:
76
+ name: dist
77
+ path: dist/
78
+ - uses: pypa/gh-action-pypi-publish@release/v1
79
+ with:
80
+ repository-url: https://test.pypi.org/legacy/
81
+
82
+ publish-pypi:
83
+ needs: build
84
+ if: >-
85
+ github.event_name == 'workflow_dispatch' && inputs.target == 'pypi'
86
+ || (github.event_name == 'push' && !contains(github.ref_name, 'rc'))
87
+ runs-on: ubuntu-latest
88
+ environment: pypi
89
+ permissions:
90
+ id-token: write
91
+ steps:
92
+ - uses: actions/download-artifact@v4
93
+ with:
94
+ name: dist
95
+ path: dist/
96
+ - uses: pypa/gh-action-pypi-publish@release/v1
@@ -0,0 +1,12 @@
1
+ __pycache__/
2
+ *.py[cod]
3
+ .pytest_cache/
4
+ *.egg-info/
5
+ build/
6
+ dist/
7
+ .venv/
8
+ venv/
9
+
10
+ # Local working notes, not part of the published project (until explicitly committed).
11
+ CLAUDE.md
12
+ dev-notes/
@@ -0,0 +1,21 @@
1
+ MIT License
2
+
3
+ Copyright (c) 2026 Kazunari Kaizu
4
+
5
+ Permission is hereby granted, free of charge, to any person obtaining a copy
6
+ of this software and associated documentation files (the "Software"), to deal
7
+ in the Software without restriction, including without limitation the rights
8
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9
+ copies of the Software, and to permit persons to whom the Software is
10
+ furnished to do so, subject to the following conditions:
11
+
12
+ The above copyright notice and this permission notice shall be included in all
13
+ copies or substantial portions of the Software.
14
+
15
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21
+ SOFTWARE.
@@ -0,0 +1,114 @@
1
+ Metadata-Version: 2.4
2
+ Name: ofplang-schedule
3
+ Version: 0.1.0
4
+ Summary: Object-flow programming language v0 scheduler
5
+ Author-email: Kazunari Kaizu <kwaizu@gmail.com>
6
+ License-Expression: MIT
7
+ Project-URL: Homepage, https://github.com/ofplang/schedule
8
+ Project-URL: Repository, https://github.com/ofplang/schedule
9
+ Keywords: ofplang,dataflow,workflow,scheduler,cp-sat,ortools
10
+ Classifier: Development Status :: 3 - Alpha
11
+ Classifier: Intended Audience :: Developers
12
+ Classifier: Operating System :: OS Independent
13
+ Classifier: Programming Language :: Python :: 3
14
+ Classifier: Programming Language :: Python :: 3.10
15
+ Classifier: Programming Language :: Python :: 3.11
16
+ Classifier: Programming Language :: Python :: 3.12
17
+ Classifier: Programming Language :: Python :: 3.13
18
+ Classifier: Topic :: Scientific/Engineering
19
+ Classifier: Typing :: Typed
20
+ Requires-Python: >=3.10
21
+ Description-Content-Type: text/markdown
22
+ License-File: LICENSE
23
+ Requires-Dist: PyYAML>=6.0
24
+ Requires-Dist: ortools>=9.10
25
+ Requires-Dist: ofplang-validate
26
+ Provides-Extra: test
27
+ Requires-Dist: pytest>=7.0; extra == "test"
28
+ Provides-Extra: dev
29
+ Requires-Dist: pytest>=7.0; extra == "dev"
30
+ Requires-Dist: ruff>=0.16; extra == "dev"
31
+ Requires-Dist: mypy>=1.11; extra == "dev"
32
+ Requires-Dist: types-PyYAML; extra == "dev"
33
+ Dynamic: license-file
34
+
35
+ # ofplang schedule
36
+
37
+ [![CI](https://github.com/ofplang/schedule/actions/workflows/ci.yml/badge.svg)](https://github.com/ofplang/schedule/actions/workflows/ci.yml)
38
+ [![PyPI](https://img.shields.io/pypi/v/ofplang-schedule.svg)](https://pypi.org/project/ofplang-schedule/)
39
+
40
+ A scheduler for **Object-flow Programming Language v0** — a YAML-based dataflow
41
+ workflow IR with linear Object tracking. The language is defined in the
42
+ [ofplang/spec](https://github.com/ofplang/spec) repository.
43
+
44
+ The scheduler takes a portable v0 workflow plus an execution environment
45
+ definition and plans when its work runs; it also replans from an execution
46
+ status. The design is documented in [docs/SPECIFICATIONS.md](docs/SPECIFICATIONS.md).
47
+
48
+ > **Status:** the **schema validators** (environment definition and execution
49
+ > document, spec §9) and the **scheduler** are implemented: it produces a
50
+ > makespan-optimal plan for a single workflow with mode selection, spot/device
51
+ > occupancy, and transport, pins a workflow's boundary material to spots via an
52
+ > `interface` (spec §6.8), and **replans** from an execution document (`--document`)
53
+ > by fixing completed/running activities and re-optimising the rest at or after
54
+ > `now` (device-local resources not yet). A `visualize` command renders a plan as
55
+ > a self-contained SVG/HTML Gantt chart. The model is documented in
56
+ > [docs/FORMULATION.md](docs/FORMULATION.md).
57
+
58
+ This is a fresh implementation that targets the spec directly. The prototype
59
+ [`ofp-scheduler`](https://github.com/ofplang) (OR-Tools CP-SAT) is a reference
60
+ for ideas but not a dependency.
61
+
62
+ ## Install
63
+
64
+ ```sh
65
+ pip install ofplang-schedule
66
+ ```
67
+
68
+ Requires Python 3.10+. Runtime dependencies are PyYAML, OR-Tools (the CP-SAT
69
+ solver used by the scheduler), and the sibling
70
+ [`ofplang-validate`](https://pypi.org/project/ofplang-validate/) (pulled in
71
+ automatically), which the CLI's front-door check uses. The scheduler *library*
72
+ never imports validate, so embedders that only call `ofplang.schedule` take no
73
+ validation overhead.
74
+
75
+ For development, install editable with the test extra from a clone:
76
+
77
+ ```sh
78
+ pip install -e ".[test]"
79
+ ```
80
+
81
+ ## Command line
82
+
83
+ ```sh
84
+ ofp-schedule validate <file>... # validate an environment or a plan/status
85
+ ofp-schedule schedule <workflow> --env <env> [--document doc.yaml] [--running-margin N] [--seed N] [-o plan.yaml] [--format yaml|json]
86
+ ofp-schedule visualize <plan> [--view device|workflow|lane] [--theme light|dark|auto] [-o out.svg]
87
+ ```
88
+
89
+ `validate` auto-detects whether the file is an environment definition or an
90
+ execution document (pass `--kind` to force it); diagnostics are reported as
91
+ `file:line:col: <severity> <code>`. `schedule` produces an execution plan (§6)
92
+ that minimises makespan. A `--document` (execution document, §6) supplies the
93
+ `interface` boundary constraint (§6.8, where a workflow's entry inputs / final
94
+ outputs sit) and, when it sets `now`, the prior status to replan from (§7) —
95
+ emitting the full timeline (fixed history + re-optimised future) that round-trips
96
+ as the next status input. By default the solve is non-deterministic
97
+ (a multi-worker search that may return a different equally-optimal schedule each
98
+ run); `--seed N` makes it reproducible by fixing the CP-SAT seed and using a
99
+ single worker. `visualize` renders a plan as a self-contained Gantt
100
+ chart — SVG by default (fixed colours, transparent background, PowerPoint-safe)
101
+ or HTML. Exit codes: `0` success, `1` validation errors or no feasible schedule,
102
+ `2` usage/input error.
103
+
104
+ This tool is also intended to be exposed as the `schedule` subcommand of the
105
+ umbrella `ofp` CLI (a separate repository in the `ofplang` organization).
106
+
107
+ The package lives under the `ofplang` PEP 420 namespace (`ofplang.schedule`),
108
+ shared across the organization's tools.
109
+
110
+ ## Tests
111
+
112
+ ```sh
113
+ pytest
114
+ ```
@@ -0,0 +1,80 @@
1
+ # ofplang schedule
2
+
3
+ [![CI](https://github.com/ofplang/schedule/actions/workflows/ci.yml/badge.svg)](https://github.com/ofplang/schedule/actions/workflows/ci.yml)
4
+ [![PyPI](https://img.shields.io/pypi/v/ofplang-schedule.svg)](https://pypi.org/project/ofplang-schedule/)
5
+
6
+ A scheduler for **Object-flow Programming Language v0** — a YAML-based dataflow
7
+ workflow IR with linear Object tracking. The language is defined in the
8
+ [ofplang/spec](https://github.com/ofplang/spec) repository.
9
+
10
+ The scheduler takes a portable v0 workflow plus an execution environment
11
+ definition and plans when its work runs; it also replans from an execution
12
+ status. The design is documented in [docs/SPECIFICATIONS.md](docs/SPECIFICATIONS.md).
13
+
14
+ > **Status:** the **schema validators** (environment definition and execution
15
+ > document, spec §9) and the **scheduler** are implemented: it produces a
16
+ > makespan-optimal plan for a single workflow with mode selection, spot/device
17
+ > occupancy, and transport, pins a workflow's boundary material to spots via an
18
+ > `interface` (spec §6.8), and **replans** from an execution document (`--document`)
19
+ > by fixing completed/running activities and re-optimising the rest at or after
20
+ > `now` (device-local resources not yet). A `visualize` command renders a plan as
21
+ > a self-contained SVG/HTML Gantt chart. The model is documented in
22
+ > [docs/FORMULATION.md](docs/FORMULATION.md).
23
+
24
+ This is a fresh implementation that targets the spec directly. The prototype
25
+ [`ofp-scheduler`](https://github.com/ofplang) (OR-Tools CP-SAT) is a reference
26
+ for ideas but not a dependency.
27
+
28
+ ## Install
29
+
30
+ ```sh
31
+ pip install ofplang-schedule
32
+ ```
33
+
34
+ Requires Python 3.10+. Runtime dependencies are PyYAML, OR-Tools (the CP-SAT
35
+ solver used by the scheduler), and the sibling
36
+ [`ofplang-validate`](https://pypi.org/project/ofplang-validate/) (pulled in
37
+ automatically), which the CLI's front-door check uses. The scheduler *library*
38
+ never imports validate, so embedders that only call `ofplang.schedule` take no
39
+ validation overhead.
40
+
41
+ For development, install editable with the test extra from a clone:
42
+
43
+ ```sh
44
+ pip install -e ".[test]"
45
+ ```
46
+
47
+ ## Command line
48
+
49
+ ```sh
50
+ ofp-schedule validate <file>... # validate an environment or a plan/status
51
+ ofp-schedule schedule <workflow> --env <env> [--document doc.yaml] [--running-margin N] [--seed N] [-o plan.yaml] [--format yaml|json]
52
+ ofp-schedule visualize <plan> [--view device|workflow|lane] [--theme light|dark|auto] [-o out.svg]
53
+ ```
54
+
55
+ `validate` auto-detects whether the file is an environment definition or an
56
+ execution document (pass `--kind` to force it); diagnostics are reported as
57
+ `file:line:col: <severity> <code>`. `schedule` produces an execution plan (§6)
58
+ that minimises makespan. A `--document` (execution document, §6) supplies the
59
+ `interface` boundary constraint (§6.8, where a workflow's entry inputs / final
60
+ outputs sit) and, when it sets `now`, the prior status to replan from (§7) —
61
+ emitting the full timeline (fixed history + re-optimised future) that round-trips
62
+ as the next status input. By default the solve is non-deterministic
63
+ (a multi-worker search that may return a different equally-optimal schedule each
64
+ run); `--seed N` makes it reproducible by fixing the CP-SAT seed and using a
65
+ single worker. `visualize` renders a plan as a self-contained Gantt
66
+ chart — SVG by default (fixed colours, transparent background, PowerPoint-safe)
67
+ or HTML. Exit codes: `0` success, `1` validation errors or no feasible schedule,
68
+ `2` usage/input error.
69
+
70
+ This tool is also intended to be exposed as the `schedule` subcommand of the
71
+ umbrella `ofp` CLI (a separate repository in the `ofplang` organization).
72
+
73
+ The package lives under the `ofplang` PEP 420 namespace (`ofplang.schedule`),
74
+ shared across the organization's tools.
75
+
76
+ ## Tests
77
+
78
+ ```sh
79
+ pytest
80
+ ```