Skip to content

Make program-changing updates atomic - #191

Merged
bigboateng merged 1 commit into
mainfrom
fix/atomic-program-update-reconciliation
Aug 11, 2026
Merged

Make program-changing updates atomic#191
bigboateng merged 1 commit into
mainfrom
fix/atomic-program-update-reconciliation

Conversation

@bigboateng

Copy link
Copy Markdown
Contributor

Summary

  • add an exact, human-bound installation reconciliation transition for compiled-program changes
  • update runtime, launcher, generated skills, program state, and receipts in one journaled transaction with rollback and a shared-installation lock
  • expose structured program-delta diagnostics and strengthen updater, doctor, recovery, and generated host-skill contracts

Control boundary

  • Slice 1: old-program state plus requested update and authority resolves to exact update admission or a fingerprint-bound acceptance requirement
  • Slice 2: accepted reconciliation plus old and candidate identities commits atomically to a healthy new installation or recovers a coherent healthy old installation
  • acceptance authorizes only the exact checksum- and program-delta-bound update; it grants no repository, provider, publication, or merge authority

Verification

  • repository Python contract suite
  • complete 10-shard Go test suite
  • Go race tests
  • Go vet
  • Go build
  • shell syntax check
  • release-note policy preflight
  • generated artifact validation
  • diff whitespace check

Release note

  • release-notes/2026-08-11-atomic-program-update-reconciliation.md

@bigboateng
bigboateng merged commit 2635bd9 into main Aug 11, 2026
15 checks passed
@bigboateng
bigboateng deleted the fix/atomic-program-update-reconciliation branch August 11, 2026 18:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant