From 33705f65e5ab1f4664ddd2051afccf97d429df86 Mon Sep 17 00:00:00 2001
From: Dzmitry Prychyna <evil.java.deus.ex@gmail.com>
Date: Mon, 17 Aug 2026 22:09:32 -0300
Subject: [PATCH] assurance: rebind Seed assurance anchor

---
 .github/workflows/verify.yml           |  8 ++++----
 upstream/ASET_SEED_ALPHA4_BINDING.aset | 14 +++++++-------
 2 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
index 64ca70c..583cbdc 100644
--- a/.github/workflows/verify.yml
+++ b/.github/workflows/verify.yml
@@ -23,8 +23,8 @@ jobs:
         shell: bash
         run: |
           set -euo pipefail
-          seed_tag="seed-0.4alpha-3way"
-          seed_commit="0028f1d25a4f1d052a9b998baf402898446ac599"
+          seed_tag="seed-0.4alpha-assurance-anchor-1"
+          seed_commit="88378c0c0baff4e71d3285248cc9050c1318ceec"
           seed_root="$RUNNER_TEMP/aset-seed-alpha4"
           seed_release_zip="$RUNNER_TEMP/ASET-Seed-0.4alpha.zip"
           seed_profiles_zip="$RUNNER_TEMP/ASET-Seed-0.4alpha-profiles.zip"
@@ -42,9 +42,9 @@ jobs:
             --output "$seed_profiles_zip" \
             "https://github.com/attractor-set/aset-seed/releases/download/$seed_tag/ASET-Seed-0.4alpha-profiles.zip"
 
-          echo "4170d9111c353c3607cf9ada3398c15007acfed7b2d486f5376c72d3f13ed331  $seed_release_zip" \
+          echo "23ed1dee95b634bcc744089cfae67aebdac53883f47366d176d154b2d39f15ab  $seed_release_zip" \
             | sha256sum --check
-          echo "790588c145a390da6d47ac08901945253904aa053d170bfd35f6fb20dd1ae5a1  $seed_profiles_zip" \
+          echo "e6b45f74a56f2f6235ed2c74ae67ca0a0017e5c21574b996de7f1ce9965bdad7  $seed_profiles_zip" \
             | sha256sum --check
 
           mkdir -p "$seed_release_unpack" "$seed_profiles_unpack"
diff --git a/upstream/ASET_SEED_ALPHA4_BINDING.aset b/upstream/ASET_SEED_ALPHA4_BINDING.aset
index 5d5da4d..a3fa296 100644
--- a/upstream/ASET_SEED_ALPHA4_BINDING.aset
+++ b/upstream/ASET_SEED_ALPHA4_BINDING.aset
@@ -1,13 +1,13 @@
 ASET-SEED-BINDING 1 ASET-SEED-0.4-ALPHA CONTENT-ADDRESSED
 REPOSITORY https://github.com/attractor-set/aset-seed
-RELEASE-TAG seed-0.4alpha-3way
+RELEASE-TAG seed-0.4alpha-assurance-anchor-1
 COMPATIBILITY 0.3 NONE
 SEMANTIC-PRECEDENCE NONE
 
-RELEASE-TREE sha256:136e174a987ee961877472eecac3903e4f1e54a68059815e9b84e8fb966e00cc
-RELEASE-ARCHIVE sha256:4170d9111c353c3607cf9ada3398c15007acfed7b2d486f5376c72d3f13ed331
-PROFILE-TREE sha256:fb75339485027ad1529714e1793669c4850390fe54a586864772a13ab90c094e
-PROFILE-ARCHIVE sha256:790588c145a390da6d47ac08901945253904aa053d170bfd35f6fb20dd1ae5a1
+RELEASE-TREE sha256:bc4f8409c6b28f6c31bcdeedbf6f98bea9a02e361157984a892eff9ddf03cfdf
+RELEASE-ARCHIVE sha256:23ed1dee95b634bcc744089cfae67aebdac53883f47366d176d154b2d39f15ab
+PROFILE-TREE sha256:e8c750acbb7bf2b249a714253f75bd6025eb9fd6c84a9d3516d3b1e72ace988f
+PROFILE-ARCHIVE sha256:e6b45f74a56f2f6235ed2c74ae67ca0a0017e5c21574b996de7f1ce9965bdad7
 COMPANION ENGLISH en/Seed.md sha256:8d44ddd7d244b385de5e37bd9429f9509680775593330a258f97ff178c5fb7b9
 COMPANION PYTHON python/aset_seed_alpha4.py sha256:fb71c154b8e6ee05986b6d203852ea1a964176ecb4e9753a51119dcbb9332071
 
@@ -15,12 +15,12 @@ ASSURANCE-BASE OPERATIONAL seed/alpha4/operational/components.forth PRESERVE-UNK
 ASSURANCE-BASE RELATIONAL seed/alpha4/formal/ComponentRelations.tla PreserveUnknown,PreserveAllow,PreserveBlock
 ASSURANCE-BASE CAUSAL seed/alpha4/causal/components.petri PRESERVE-UNKNOWN,PRESERVE-ALLOW,PRESERVE-BLOCK
 
-SOURCE seed/alpha4/SEED.aset sha256:ba837740d053affbf5cd28defeb5cfaa5c9dea6a0879ddd3e41287404e514854
+SOURCE seed/alpha4/SEED.aset sha256:18ebe52901ca7944fa3be07cc67b3e66e620d844f382685126b0338a06f1ea46
 SOURCE seed/alpha4/operational/components.forth sha256:669174b785d97e7391dc25383f93db3574e4bf680ae9fcd8617d567eb08979da
 SOURCE seed/alpha4/formal/RestrictedOperationalSemantics.tla sha256:5d2e104351a4a3f3ff3cd9dc509c020eabb78baf94878e1c12f58faa34a2b080
 SOURCE seed/alpha4/formal/ComponentRelations.tla sha256:3980d68ef27a505fd116c3bf374f20b9bdd49572352f0d50746374930893b3cb
 SOURCE seed/alpha4/formal/OperationalRelationalPairingProofs.tla sha256:c164b8ee47f7fe6278f3bfe7e72c96d3e5d2ad9ad5ae15f4fcd0af36d9c6802c
-SOURCE seed/alpha4/formal/ComponentCompositionProofs.tla sha256:7578230f18748c5a14e5aa6037ae2eb1ac2e6cd10a917ecf0a745b5071f1db2b
+SOURCE seed/alpha4/formal/ComponentCompositionProofs.tla sha256:9fb0b7c810d370c849f03ff8e73c34cb548d66d38562c9ff0b0bb2a675f8f2fb
 SOURCE seed/alpha4/causal/components.petri sha256:b29fc759a9344100f34dec44e9d06113d346030ffcdafab78a70ca682f309037
 SOURCE theory/local-recognition/formal/LocalRecognitionAlgebra.tla sha256:f953519975c394e05ed3e6ecce0f7727005284ea61aadf757a2f1c5d1b6ec837