From 38c2bee9f6c866c5668554bcb84c9aa6e08845c9 Mon Sep 17 00:00:00 2001 From: Brian H Date: Sun, 20 Sep 2026 11:17:27 +0000 Subject: [PATCH] chore: re-pin ufo-types to the merged main commit, not the deleted branch PR #43's rev pin (a1f6a89) pointed at feat/mbse-requirements, whose tip no longer exists as a reachable ref after ufo-types#29 squash- merged it into main and the branch was deleted. Re-pinned to the resulting merge commit on main (ee873488). Verified: cargo build -p kr0ki-core and cargo test -p kr0ki-core --lib (156/156) both pass. --- Cargo.lock | 2 +- crates/kr0ki-core/Cargo.toml | 9 +++++---- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 30dde54..845f432 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -2476,7 +2476,7 @@ checksum = "b6f5e870be6c3b371b77fe0ee0bafb859fa4964b4404c27de1d380043c4dda20" [[package]] name = "ufo-types" version = "0.15.0" -source = "git+https://github.com/PromptExecution/ufo-types?rev=a1f6a89bb5b0f63352ff00ac7c1eaf6acef8a4af#a1f6a89bb5b0f63352ff00ac7c1eaf6acef8a4af" +source = "git+https://github.com/PromptExecution/ufo-types?rev=ee873488f31a390073d5f8ab38d91654a3504bfa#ee873488f31a390073d5f8ab38d91654a3504bfa" dependencies = [ "anyhow", "chrono", diff --git a/crates/kr0ki-core/Cargo.toml b/crates/kr0ki-core/Cargo.toml index 78423bf..816a339 100644 --- a/crates/kr0ki-core/Cargo.toml +++ b/crates/kr0ki-core/Cargo.toml @@ -27,10 +27,11 @@ kr0ki-sysmlv2-client = { path = "../kr0ki-sysmlv2-client" } # CHANGELOG guidance ("pin an exact version or a git tag"). `ontology` / # `sysml_model` / `view` are default (not feature-gated) — no extra features # needed here. -# Pinned to the feat/mbse-requirements branch tip (not yet a tagged -# release) -- bump to a `tag =` pin once ufo-types cuts one past v0.15.0 -# including this commit. -ufo-types = { git = "https://github.com/PromptExecution/ufo-types", rev = "a1f6a89bb5b0f63352ff00ac7c1eaf6acef8a4af", features = ["reqif"] } +# PR #43's rev pin (a1f6a89) pointed at a feature-branch tip that no longer +# exists after ufo-types#29's squash-merge into main (2026-09-20). Re-pinned +# to that merge commit on main -- bump to a `tag =` pin once ufo-types cuts +# a release past v0.15.0 including it. +ufo-types = { git = "https://github.com/PromptExecution/ufo-types", rev = "ee873488f31a390073d5f8ab38d91654a3504bfa", features = ["reqif"] } # kr0ki#13 — box 5 (b00t-graph Turtle -> D2 route): the typed TypeRelationshipGraph / # CytoscapeGraph the D2 emitter targets. No tagged release exists yet (checked # 2026-09-16); pinned by git rev per this issue's own operator decision, to be