Skip to content

assurance: rebind Seed assurance anchor #9

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
attractor-set merged 1 commit into from
Aug 18, 2026
Merged

assurance: rebind Seed assurance anchor #9

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions .github/workflows/verify.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand All @@ -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"
Expand Down
14 changes: 7 additions & 7 deletions upstream/ASET_SEED_ALPHA4_BINDING.aset
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,26 +1,26 @@
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

ASSURANCE-BASE OPERATIONAL seed/alpha4/operational/components.forth PRESERVE-UNKNOWN,PRESERVE-ALLOW,PRESERVE-BLOCK
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

Expand Down
Loading