From f0cb4ef54f08e63a00d68a1b2fbb8011d4d47e17 Mon Sep 17 00:00:00 2001
From: Bryan Helmkamp <bryan@brynary.com>
Date: Fri, 18 Sep 2026 21:32:49 -0400
Subject: [PATCH] Move the Petri pin to 639ce3e

Petri main now carries the fork entry point, the interrupt control, the
incremental replay and the records the views asked for. Only the Petri
source lines move in the lockfile.

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 a969fb7ce..72ea10089 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -5324,7 +5324,7 @@ checksum = "9b4f627cb1b25917193a259e49bdad08f671f8d9708acfd5fe0a8c1455d87220"
 [[package]]
 name = "petri-attractor-steps"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "async-trait",
  "globset",
@@ -5355,7 +5355,7 @@ dependencies = [
 [[package]]
 name = "petri-driver"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "async-trait",
  "getrandom 0.3.4",
@@ -5375,7 +5375,7 @@ dependencies = [
 [[package]]
 name = "petri-engine"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "petri-ir",
  "serde",
@@ -5387,7 +5387,7 @@ dependencies = [
 [[package]]
 name = "petri-execution"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "async-trait",
  "petri-driver",
@@ -5411,7 +5411,7 @@ dependencies = [
 [[package]]
 name = "petri-executor"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "async-trait",
  "libc",
@@ -5426,7 +5426,7 @@ dependencies = [
 [[package]]
 name = "petri-executor-sandbox"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "async-trait",
  "petri-executor",
@@ -5448,7 +5448,7 @@ dependencies = [
 [[package]]
 name = "petri-frontend"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "marked-yaml",
  "petri-ir",
@@ -5462,7 +5462,7 @@ dependencies = [
 [[package]]
 name = "petri-frontend-attractor"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "minijinja",
  "petri-frontend",
@@ -5479,7 +5479,7 @@ dependencies = [
 [[package]]
 name = "petri-frontend-fabro"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "petri-frontend",
  "petri-frontend-attractor",
@@ -5495,7 +5495,7 @@ dependencies = [
 [[package]]
 name = "petri-frontend-native"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "petri-frontend",
  "petri-ir",
@@ -5506,7 +5506,7 @@ dependencies = [
 [[package]]
 name = "petri-ir"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "regex",
  "serde",
@@ -5519,7 +5519,7 @@ dependencies = [
 [[package]]
 name = "petri-runtime"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "async-trait",
  "petri-driver",
@@ -5540,7 +5540,7 @@ dependencies = [
 [[package]]
 name = "petri-steps"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "async-trait",
  "petri-executor",
@@ -5556,7 +5556,7 @@ dependencies = [
 [[package]]
 name = "petri-store"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "async-trait",
  "getrandom 0.3.4",
@@ -5571,7 +5571,7 @@ dependencies = [
 [[package]]
 name = "petri-testkit"
 version = "0.1.0"
-source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
+source = "git+https://github.com/lithoscomputer/petri.git?rev=639ce3e368b84ff48a3d8f695b8c5736b1c1563e#639ce3e368b84ff48a3d8f695b8c5736b1c1563e"
 dependencies = [
  "async-trait",
  "petri-driver",
diff --git a/Cargo.toml b/Cargo.toml
index f7d813661..4ddb5c447 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -132,13 +132,13 @@ pebble-cli-core = { git = "https://github.com/lithoscomputer/pebble", rev = "a39
 # lithos-llm and sandbox-driver revisions as this file, so the workspace links
 # one copy of each. Only `fabro-petri` 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 = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-runtime" }
-petri_execution = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-execution" }
-petri_store = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-store" }
-petri_attractor_steps = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-attractor-steps" }
-petri_frontend_attractor = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-frontend-attractor" }
-petri_frontend_fabro = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-frontend-fabro" }
-petri_testkit = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-testkit" }
+petri_runtime = { git = "https://github.com/lithoscomputer/petri.git", rev = "639ce3e368b84ff48a3d8f695b8c5736b1c1563e", package = "petri-runtime" }
+petri_execution = { git = "https://github.com/lithoscomputer/petri.git", rev = "639ce3e368b84ff48a3d8f695b8c5736b1c1563e", package = "petri-execution" }
+petri_store = { git = "https://github.com/lithoscomputer/petri.git", rev = "639ce3e368b84ff48a3d8f695b8c5736b1c1563e", package = "petri-store" }
+petri_attractor_steps = { git = "https://github.com/lithoscomputer/petri.git", rev = "639ce3e368b84ff48a3d8f695b8c5736b1c1563e", package = "petri-attractor-steps" }
+petri_frontend_attractor = { git = "https://github.com/lithoscomputer/petri.git", rev = "639ce3e368b84ff48a3d8f695b8c5736b1c1563e", package = "petri-frontend-attractor" }
+petri_frontend_fabro = { git = "https://github.com/lithoscomputer/petri.git", rev = "639ce3e368b84ff48a3d8f695b8c5736b1c1563e", package = "petri-frontend-fabro" }
+petri_testkit = { git = "https://github.com/lithoscomputer/petri.git", rev = "639ce3e368b84ff48a3d8f695b8c5736b1c1563e", package = "petri-testkit" }
 sentry = { version = "0.35", default-features = false, features = ["backtrace", "contexts", "ureq", "rustls"] }
 fork = "0.2"
 exec = "0.3"