From 9977c5b1a1162fb7bab467aa9ad9c5fb07391cc0 Mon Sep 17 00:00:00 2001 From: Claude Date: Sun, 8 Nov 2026 07:31:03 +0000 Subject: [PATCH] chore(probes): float crepe and MORK on their default branch crepe-plan-probe and dir-rmap-probe followed crepe branch `ccr-d3ce1263-ied9yh` (for `crepe_plan!`), and mork-pathmap-probe pinned MORK `rev = "de9312e3"` (the stable-Rust build). Both are now on the forks' `main`: crepe#1 and MORK#1 fast-forwarded those commits into `main`, so the probes float there. Internal AdaWorldAPI pins are prohibited. Resolution: crepe `main#d057161`, MORK `main#7dfc3aa`, PathMap `master#ef02591` (unchanged). mork-pathmap-probe tests pass locally. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01XAqKMMWgnUU9g7Ldyn6sbk --- crates/crepe-plan-probe/Cargo.toml | 5 +++-- crates/dir-rmap-probe/Cargo.toml | 6 +++--- crates/mork-pathmap-probe/Cargo.toml | 14 +++++++------- 3 files changed, 13 insertions(+), 12 deletions(-) diff --git a/crates/crepe-plan-probe/Cargo.toml b/crates/crepe-plan-probe/Cargo.toml index c7e50d3ae..6cb8bee62 100644 --- a/crates/crepe-plan-probe/Cargo.toml +++ b/crates/crepe-plan-probe/Cargo.toml @@ -14,8 +14,9 @@ description = "Lab spike: Crepe's rule analysis as a cold optimizer in front of [dependencies] # Proc macros only: `crepe_plan!` (the plan) and, in the oracle module only, -# the unmodified `crepe!` evaluator. AdaWorldAPI fork, by branch (no pins). -crepe = { git = "https://github.com/AdaWorldAPI/crepe", branch = "ccr-d3ce1263-ied9yh" } +# the unmodified `crepe!` evaluator. AdaWorldAPI fork, floating on `main` +# (internal pins are prohibited); `crepe_plan!` merged into `main` in crepe#1. +crepe = { git = "https://github.com/AdaWorldAPI/crepe", branch = "main" } lance-graph-relalg = { path = "../lance-graph-relalg" } lance-graph-mask-risc = { path = "../lance-graph-mask-risc" } # The D-MPS-8 versioned relationship table (shared y domain, presence planes, diff --git a/crates/dir-rmap-probe/Cargo.toml b/crates/dir-rmap-probe/Cargo.toml index c64946973..99a67bd60 100644 --- a/crates/dir-rmap-probe/Cargo.toml +++ b/crates/dir-rmap-probe/Cargo.toml @@ -28,9 +28,9 @@ ogar-dir-sim = { git = "https://github.com/AdaWorldAPI/OGAR", branch = "main" } # keeps one ndarray package. ndarray = { git = "https://github.com/AdaWorldAPI/ndarray", branch = "master", default-features = false, features = ["std", "runtime-dispatch"] } # Arm D, the independent oracle: crepe's generated Datalog evaluator over the -# fixture's own integer ids (never dir-sim ordinals). AdaWorldAPI fork, by -# branch (no pins), as in crepe-plan-probe. -crepe = { git = "https://github.com/AdaWorldAPI/crepe", branch = "ccr-d3ce1263-ied9yh" } +# fixture's own integer ids (never dir-sim ordinals). AdaWorldAPI fork, floating +# on `main`, as in crepe-plan-probe. +crepe = { git = "https://github.com/AdaWorldAPI/crepe", branch = "main" } # D-RFT-1 (src/compose.rs): every count, existence and mask equality of the # composition is an r2il procedure (`count_and`, `count`, `differ`) folded by # mask-risc. The probe holds no counting loop of its own. diff --git a/crates/mork-pathmap-probe/Cargo.toml b/crates/mork-pathmap-probe/Cargo.toml index c879c0b3c..4216fd38b 100644 --- a/crates/mork-pathmap-probe/Cargo.toml +++ b/crates/mork-pathmap-probe/Cargo.toml @@ -18,19 +18,19 @@ default = [] leapfrog = ["mork/leapfrog"] # Source switch: every MORK and PathMap source is named here and nowhere else. -# Pinned revisions. To swap fork <-> upstream, change these three URLs/revs; -# no source file changes. +# All three float on their default branch (internal pins are prohibited). To +# swap fork <-> upstream, change these three URLs; no source file changes. # -# MORK: AdaWorldAPI fork, branch `ccr-9f3b8075-74u47l-stable` (`de9312e`) = -# upstream `trueagi-io/MORK` `ed57c67` + one commit that makes `nightly` a -# feature instead of a default, so it builds on stable Rust. Upstream `main` +# MORK: AdaWorldAPI fork, floating on `main` = upstream `trueagi-io/MORK` +# `ed57c67` + `de9312e` (merged in MORK#1), which makes `nightly` a feature +# instead of a default, so it builds on stable Rust. Upstream `main` # needs nightly (`#![feature]` in fast-slice-utils). # PathMap: AdaWorldAPI fork, floating on `master` (internal pins are # prohibited); `ef02591` was byte-identical to upstream # `Adam-Vandervorst/PathMap` `master` when this probe was written. [dependencies] -mork = { git = "https://github.com/AdaWorldAPI/MORK", rev = "de9312e3" } -mork-expr = { git = "https://github.com/AdaWorldAPI/MORK", rev = "de9312e3" } +mork = { git = "https://github.com/AdaWorldAPI/MORK", branch = "main" } +mork-expr = { git = "https://github.com/AdaWorldAPI/MORK", branch = "main" } pathmap = { git = "https://github.com/AdaWorldAPI/PathMap", branch = "master" } # The native executor for the D-RMAP focus probe (`src/rmap.rs`): the prepared # relationship operands are run as its programs, never re-implemented here.