Skip to content

Bind prescriptions to exact state and program revisions - #196

Merged
bigboateng merged 1 commit into
mainfrom
feat/prescription-state-program-cas
Aug 12, 2026
Merged

Bind prescriptions to exact state and program revisions#196
bigboateng merged 1 commit into
mainfrom
feat/prescription-state-program-cas

Conversation

@bigboateng

Copy link
Copy Markdown
Contributor

Summary

  • bind every prescription to the durable state revision, executable program fingerprint, and canonical snapshot observed during resolution
  • revalidate the binding under the repository lock before journaling or effects
  • advance every accepted native, program, extension, and recovery transition exactly once and record both revisions in its receipt
  • reject stale or unbound apply and recover requests without managed effects

Boundary

Boundary: resolution to effect execution.

Control law: a prescription may commit only against the exact durable state revision and executable Control Program observed during resolution. A mismatch fails closed and requires re-resolution.

Verification

  • 27 Python repository-contract tests
  • 164 Go tests across 10 isolated shards
  • full Go race suite
  • go vet ./...
  • go build ./...
  • release-note validation and committed-diff preflight
  • git diff --check

Release note

Added release-notes/2026-08-12-prescription-transaction-boundary.md.

@bigboateng
bigboateng merged commit 5adada0 into main Aug 12, 2026
15 checks passed
@bigboateng
bigboateng deleted the feat/prescription-state-program-cas branch August 12, 2026 02:00
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