From fc6fb20bd0f8666099f3d8c68cb20334114867aa Mon Sep 17 00:00:00 2001
From: Bryan Helmkamp <bryan@brynary.com>
Date: Mon, 21 Sep 2026 03:36:41 -0400
Subject: [PATCH] Pin Petri to the run-goal-precedence branch head

Petri 911dbb5f adds the `petri.launch_goal` compile variable and lets a
settings goal override the graph's own. Re-pin to the merge commit once
lithoscomputer/petri#33 merges.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 Cargo.lock | 30 +++++++++++++++---------------
 Cargo.toml | 14 +++++++-------
 2 files changed, 22 insertions(+), 22 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 8e29324a8..86060fda3 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -5177,7 +5177,7 @@ checksum = "9b4f627cb1b25917193a259e49bdad08f671f8d9708acfd5fe0a8c1455d87220"
 [[package]]
 name = "petri-attractor-steps"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "async-trait",
  "globset",
@@ -5208,7 +5208,7 @@ dependencies = [
 [[package]]
 name = "petri-driver"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "async-trait",
  "getrandom 0.3.4",
@@ -5228,7 +5228,7 @@ dependencies = [
 [[package]]
 name = "petri-engine"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "petri-ir",
  "serde",
@@ -5240,7 +5240,7 @@ dependencies = [
 [[package]]
 name = "petri-execution"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "async-trait",
  "petri-driver",
@@ -5264,7 +5264,7 @@ dependencies = [
 [[package]]
 name = "petri-executor"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "async-trait",
  "libc",
@@ -5279,7 +5279,7 @@ dependencies = [
 [[package]]
 name = "petri-executor-sandbox"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "async-trait",
  "petri-executor",
@@ -5301,7 +5301,7 @@ dependencies = [
 [[package]]
 name = "petri-frontend"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "marked-yaml",
  "petri-ir",
@@ -5315,7 +5315,7 @@ dependencies = [
 [[package]]
 name = "petri-frontend-attractor"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "minijinja",
  "petri-frontend",
@@ -5332,7 +5332,7 @@ dependencies = [
 [[package]]
 name = "petri-frontend-fabro"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "petri-frontend",
  "petri-frontend-attractor",
@@ -5348,7 +5348,7 @@ dependencies = [
 [[package]]
 name = "petri-frontend-native"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "petri-frontend",
  "petri-ir",
@@ -5359,7 +5359,7 @@ dependencies = [
 [[package]]
 name = "petri-ir"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "regex",
  "serde",
@@ -5372,7 +5372,7 @@ dependencies = [
 [[package]]
 name = "petri-runtime"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "async-trait",
  "petri-driver",
@@ -5393,7 +5393,7 @@ dependencies = [
 [[package]]
 name = "petri-steps"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "async-trait",
  "petri-executor",
@@ -5409,7 +5409,7 @@ dependencies = [
 [[package]]
 name = "petri-store"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "async-trait",
  "getrandom 0.3.4",
@@ -5424,7 +5424,7 @@ dependencies = [
 [[package]]
 name = "petri-testkit"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
 dependencies = [
  "async-trait",
  "petri-driver",
diff --git a/Cargo.toml b/Cargo.toml
index 75a53d55c..6b280fdf6 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -118,13 +118,13 @@ pebble-cli-core = { git = "https://github.com/lithoscomputer/pebble", rev = "67c
 # one copy of each. Only `fabro-petri` and `fabro-dot` (the DOT parser alone)
 # may depend on these packages; the keys carry the `petri_` prefix so the crate
 # names say where they come from.
-petri_runtime = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-runtime" }
-petri_execution = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-execution" }
-petri_store = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-store" }
-petri_attractor_steps = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-attractor-steps" }
-petri_frontend_attractor = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-frontend-attractor" }
-petri_frontend_fabro = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-frontend-fabro" }
-petri_testkit = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-testkit" }
+petri_runtime = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-runtime" }
+petri_execution = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-execution" }
+petri_store = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-store" }
+petri_attractor_steps = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-attractor-steps" }
+petri_frontend_attractor = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-frontend-attractor" }
+petri_frontend_fabro = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-frontend-fabro" }
+petri_testkit = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-testkit" }
 sentry = { version = "0.35", default-features = false, features = ["backtrace", "contexts", "ureq", "rustls"] }
 fork = "0.2"
 exec = "0.3"