Skip to content

Persist WorkItem authority and inert ManagedRun safety#1133

Merged
acgxv merged 2 commits into
mainfrom
xv/xy-1338-managedrun-safety
Jul 18, 2026
Merged

Persist WorkItem authority and inert ManagedRun safety#1133
acgxv merged 2 commits into
mainfrom
xv/xy-1338-managedrun-safety

Conversation

@acgxv

@acgxv acgxv commented Jul 17, 2026

Copy link
Copy Markdown
Member

Summary

  • persist canonical WorkItems with transactional readiness and Lead acceptance (XY-1343)
  • add inert V12 ManagedRun identity, exact-run assignments, RuntimeSession binding, effect barriers, and positive/inconclusive safety inputs (XY-1338)
  • repair hierarchy lock authority with receipt -> 1271 -> 1338 ordering

Evidence

  • independent exact-tree reviews approved both signed commits
  • PostgreSQL V12 schema and configured-authority manifests derived exactly with restore equality
  • the single focused run stopped at a fixture-only parameter typing defect; both complete same-class casts were source-reviewed

Deferred

Per the current migration test-economy policy, the post-repair focused rerun and full workspace validation are deferred to the unified frozen integration boundary. No CI wait is required for fast landing.

acgxv added 2 commits July 17, 2026 05:56
…orkItems with exact commands, transactional readiness, immutable Lead acceptance, outbox authority, and PG18 schema verification for XY-1343","authority":"manual","impact":"compatible"}
…V12 ManagedRun identity, exact-run Task and Reviewer assignments, revisioned RuntimeSession binding, lifecycle/wait algebra, FK-backed effect lineage, and an atomic fail-closed divergence/effect-barrier consumer with durable exact replay; rolls forward Turn and HistoryItem guards for SELECT-only RuntimeSession authority and receipt-before-1271-before-1338 serialization; aligns authority inventories, focused fixtures, manifest digests, and OpenWiki. PostgreSQL manifest derivation passed with exact schema/authority/restore equality. The single focused behavior run reached a fixture-only untyped JSON parameter defect; its two explicit casts received exact-tree source approval, and the post-repair focused/integration rerun is intentionally deferred to the frozen integration boundary.","authority":"manual","impact":"compatible"}
@acgxv
acgxv merged commit a6bfb0a into main Jul 18, 2026
5 checks passed
@acgxv
acgxv deleted the xv/xy-1338-managedrun-safety branch July 18, 2026 09:49
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