Skip to content

Adopt delivery ledger for pi and OMP - #517

Open
schickling-assistant wants to merge 1 commit into
schickling-assistant/2026-09-07-transactional-delivery-ledger-v2from
schickling-assistant/2026-09-08-pi-omp-delivery-ledger-v3
Open

Adopt delivery ledger for pi and OMP#517
schickling-assistant wants to merge 1 commit into
schickling-assistant/2026-09-07-transactional-delivery-ledger-v2from
schickling-assistant/2026-09-08-pi-omp-delivery-ledger-v3

Conversation

@schickling-assistant

@schickling-assistant schickling-assistant commented Sep 8, 2026

Copy link
Copy Markdown
Contributor

Summary

  • adopt the transactional delivery ledger for pi and OMP
  • durably claim before sendUserMessage and prepend the canonical attempt marker
  • treat transport return/throw as ambiguous; settle only from archive receipts or exact operator absence
  • exclude declaration-root ledger state from catalog projections

Part of #506. Depends on #515.

Verification

  • nix build .#checks.x86_64-linux.st2 --no-link --print-out-paths --print-build-logs --max-jobs 1 --cores 2
  • nix build .#checks.x86_64-linux.pi-extension-types
  • named pi/OMP transactional and restart-safety invariant tests
  • delivery-negative CLI, catalog projection, and retired-roster regressions
  • real OMP 18.1.7 production-wrapper probe
  • real Pi 0.84.4 production-wrapper probe with the repository deterministic model server

Review

Posted on behalf of @schickling
field value
agent_identity dev3.direct.omp.9exwnk6h
session dev3.9exwnk6h
agent_persona generalist
agent_supervisor unavailable
agent_tool OMP
agent_tool_version 18.1.7
agent_runtime OMP 18.1.7
tooling_profile dotfiles@931583a

agent-identity: dev3.direct.omp.9exwnk6h
agent-persona: generalist
agent-supervisor: unavailable
agent-tool: OMP
agent-tool-version: 18.1.7
agent-runtime: OMP 18.1.7
tooling-profile: dotfiles@931583a
@schickling-assistant schickling-assistant changed the title schickling assistant/2026 09 08 pi omp delivery ledger v3 Adopt delivery ledger for pi and OMP Sep 8, 2026
@schickling-assistant
schickling-assistant marked this pull request as ready for review September 8, 2026 12:08
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