Marvin Jones 8f2d937a9d test(privacy): fix AMM clock ownership bug, confirm 5 chained-call privacy tests, add 5 more ...

Root cause: advance_clock() left the clock account DEFAULT_PROGRAM_ID-owned, which
spel-framework's guest dispatcher (upstream in logos-co/spel) silently drops from a
program's output as an unclaimed, non-default, default-owned account. That desynced
the privacy circuit's account count from the caller-supplied identities, blocking
every AMM chained-call privacy test with "Invalid account_identities length".

Fix: own the fixture's clock account with a placeholder non-default ProgramId.
Rewrote the 5 previously not-expressible Swap/AddLiquidity/RemoveLiquidity privacy
tests to assert real success (transaction applied, resulting state and private
commitments verified) now that they're unblocked.

Added 5 more tests: Swap to a fresh PrivateUnauthorized/PrivateAuthorizedInit
destination (both confirmed not-expressible, for two distinct reasons — guest ABI
signer requirement vs. destination-must-already-exist), and NewDefinition with a
private PrivateAuthorizedInit/PrivateUnauthorized initial LP holder (expressible for
the former, not for the latter).

Updated docs/findings.md and docs/privacy-test-matrix.md accordingly.

2026-07-15 14:06:20 -04:00

..

stablecoin

docs(stablecoin): move design document into docs folder

2026-06-23 16:55:36 +02:00

findings.md

test(privacy): fix AMM clock ownership bug, confirm 5 chained-call privacy tests, add 5 more

2026-07-15 14:06:20 -04:00

privacy-test-matrix.md

test(privacy): fix AMM clock ownership bug, confirm 5 chained-call privacy tests, add 5 more

2026-07-15 14:06:20 -04:00

testnet-runbook.md

docs: add a testnet run book to show how to deploy and use the programs

2026-06-30 15:13:47 +02:00