Skip to content

Record exact PostgreSQL command authority proof#1132

Merged
acgxv merged 7 commits into
mainfrom
xv/xy-1345-command-authority-reset
Jul 17, 2026
Merged

Record exact PostgreSQL command authority proof#1132
acgxv merged 7 commits into
mainfrom
xv/xy-1345-command-authority-reset

Conversation

@acgxv

@acgxv acgxv commented Jul 17, 2026

Copy link
Copy Markdown
Member

Summary

  • freeze the command-complete PostgreSQL authority boundary for vNext
  • prove semantic table/function ACL closure and exact response/effect binding
  • record PostgreSQL 18.4 concurrency, retry, failpoint, restore, and cleanup evidence

Validation

  • python3 -m py_compile scripts/vnext/exact_command_prototype.py
  • python3 -m unittest tests/scripts/test_exact_command_authority.py (8/8)
  • exact PostgreSQL 18.4 proof receipt: PASSED
  • fresh independent exact-candidate review: APPROVED/READY

Linear: XY-1345

…d authority proof","authority":"manual","impact":"compatible"}
Comment thread scripts/vnext/exact_command_prototype.py Fixed
acgxv added 6 commits July 16, 2026 22:15
…n initializer","authority":"manual","impact":"compatible"}
… bootstrap and update commands with immutable revisions, receipts, retry semantics, authority manifests, focused tests, final-gate coverage, and aligned OpenWiki authority.","authority":"manual","impact":"compatible"}
… RuntimeSession snapshots through exact PostgreSQL create and transition commands with V10 authority, Rust APIs, fixtures, and aligned OpenWiki.","authority":"manual","impact":"compatible"}
…tly rustfmt layout to the PostgreSQL role profile test without semantic changes.","authority":"manual","impact":"compatible"}
…eSQL command fixtures into bounded phases and propagate fixture identity errors.","authority":"manual","impact":"compatible"}
…ofile command test into bounded phases without changing behavior.","authority":"manual","impact":"compatible"}
@acgxv
acgxv merged commit 2fbad89 into main Jul 17, 2026
6 checks passed
@acgxv
acgxv deleted the xv/xy-1345-command-authority-reset branch July 17, 2026 06:56
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