Skip to content

feat(rfq): finalize durable provider settlements - #31

Merged
tvolk131 merged 1 commit into
masterfrom
codex/rfq-signer-finalizer
Aug 19, 2026
Merged

feat(rfq): finalize durable provider settlements#31
tvolk131 merged 1 commit into
masterfrom
codex/rfq-signer-finalizer

Conversation

@tvolk131

@tvolk131 tvolk131 commented Aug 19, 2026

Copy link
Copy Markdown
Contributor

Summary

  • add a transport-free provider signing coordinator that accepts only an exact durable signing job
  • verify explicit Taproot SIGHASH_ALL provider signatures, insert only the provider signature fields, and revalidate the canonical completed PSET
  • make a private verified-PSET capability the only production path to signed-artifact persistence
  • project finalized PSET size before the irreversible commit boundary
  • preserve exact crash recovery and make concurrent valid signing attempts converge on one durable artifact
  • redact signing payloads from debug output and update the RFQ roadmap/ADRs

Safety and recovery

The coordinator exact-matches the complete job and permanent provider allocations before invoking the signer. It maps targets by outpoint, verifies signatures against all committed prevouts and the provider chain identity, proves that no unrelated PSET field changed, then rechecks confidential proofs, balance, canonical encoding, size, and fee/weight facts before persistence.

Signing happens outside database locks. The signed-state transition is atomic and restart-safe: the first valid candidate persisted is authoritative, concurrent or stale-clock workers discard their local candidate and replay that exact winner, and persistence failures leave the exact committed job recoverable without exposing signed bytes.

The initial profile remains intentionally limited to one interactive RFQ provider plus finalized tree-less P2TR key-path inputs. Simplicity covenant inputs and multiple interactive RFQ providers remain future venue-verification work.

Validation

  • nix develop .#default --command just ci-checks
  • 323 workspace tests passed; 6 explicitly skipped
  • 90 deadcat-rfq-provider tests passed
  • strict Clippy with warnings denied
  • formatting, doc tests, and WASM check passed

View with [code]smith Autofix with [code]smith
Need help on this PR? Tag @codesmith-bot with what you need. Autofix is disabled.

@tvolk131
tvolk131 marked this pull request as ready for review August 19, 2026 02:23
@tvolk131
tvolk131 merged commit d11d98d into master Aug 19, 2026
2 checks passed
@tvolk131
tvolk131 deleted the codex/rfq-signer-finalizer branch August 19, 2026 02:23
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