From 921c86df8dc6ce3bdf0b96e7de93ec9877705f50 Mon Sep 17 00:00:00 2001 From: Tranquil-Flow Date: Tue, 9 Jun 2026 10:51:28 +0000 Subject: [PATCH 1/4] Solution: LP-0005 private balance attestation --- solutions/LP-0005.md | 161 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 161 insertions(+) create mode 100644 solutions/LP-0005.md diff --git a/solutions/LP-0005.md b/solutions/LP-0005.md new file mode 100644 index 0000000..5460fd3 --- /dev/null +++ b/solutions/LP-0005.md @@ -0,0 +1,161 @@ +# Solution: LP-0005 — Private Balance Attestation + +**Submitted by:** Tranquil-Flow + +## Summary + +This submission implements a reusable private token balance attestation primitive for Logos Execution Zone (LEZ) private balance commitments. A presenter can prove that a committed private token balance satisfies `balance >= threshold` without revealing the Nullifier Public Key (`npk`), exact balance, private account identity, or private witness data. + +The package includes: + +- a RISC0 guest circuit and host proof-artifact verification path; +- privacy-preserving public journal and statement types; +- context binding to prevent replay across gates; +- presenter identity binding to prevent proof forwarding/theft; +- an off-chain Logos Messaging verifier library/envelope path with Delivery-module dependency/install evidence; +- a deployed public LEZ testnet NSSA wrapper for proof-backed on-chain access grants; +- deterministic error codes; +- a LogosBasecamp `.lgx` GUI module with M4 build/install evidence; +- SPEL/IDL and TypeScript SDK facade; +- three integration contracts and benchmark evidence; +- a fresh narrated demo video attached: https://youtu.be/Je0UMNslAT4. + +## Repository + +- **Repo:** https://github.com/Tranquil-Flow/lp-0005-private-balance-attestation +- **License:** MIT +- **Narrated demo video:** https://youtu.be/Je0UMNslAT4 — final resubmission walkthrough showing current Basecamp `.lgx` activation, public LEZ testnet evidence, and Delivery send/receive flow. The older https://youtu.be/x0BYf8bLRII recording is historical only. + +## Live-deployment and maintainer-accepted evidence status + +This submission has **public LEZ testnet evidence attached**. The corrected NSSA wrapper program is deployed on `https://testnet.lez.logos.co/`, and a proof-backed execute transaction writes an access-grant PDA whose `program_owner` decodes to the wrapper ImageID. The final demo video is attached at https://youtu.be/Je0UMNslAT4; the older demo remains historical only. + +Canonical testnet evidence is in `TESTNET_PROOF.md`. The historical localnet verifier-model evidence is superseded and must not be cited as final proof. + +## Approach + +### RISC0 threshold proof + +The proof relation targets the LEZ private account commitment format: + +```text +SHA256(npk || program_owner || balance || nonce || SHA256(data)) +``` + +The private witness contains the balance-side private data. The public statement exposes only threshold, Merkle root, context binding, presenter binding, and proof id. The circuit rejects below-threshold witnesses before journaling. + +Evidence: + +- `methods/guest/` +- `core/` +- `host/` +- `artifacts/lp0005-proof-native/manifest.txt` +- `submission/deployment/risc0-proof-artifacts.json` +- `scripts/validate-proof-artifacts.sh` + +### Privacy boundary + +The public journal is designed not to reveal raw `npk`, exact balance, account identity, or presenter secret material. Receipt/journal verification checks the public statement and the privacy-preserving journal boundary. + +Evidence: + +- `submission/PRIVACY_SECURITY.md` +- `core/tests/guest_boundary.rs` +- `host/tests/host_boundary.rs` + +### Context and identity binding + +The proof binds to a context id so it cannot be replayed across gates. It also binds to `presenter_pub`, derived as: + +```text +presenter_pub = SHA256("lp0005:presenter-ed25519" || ed25519_verifying_key) +``` + +The off-chain and verifier-program paths require an active Ed25519 presenter challenge signature, preventing a copied proof from being reused by a third party. + +Evidence: + +- `messaging/` +- `verifier-program/` +- `cargo run -q -p lp0005-balance-messaging --bin lp0005-messaging-demo -- --forwarded-attack` + +## Success Criteria Checklist + +- [x] RISC0 circuit for `balance >= N` over the LEZ commitment format. +- [x] Privacy: public outputs do not reveal `npk`, exact balance, or account identity. +- [x] Context binding to prevent replay across gates. +- [x] Identity binding / proof-forwarding resistance. +- [x] Off-chain verifier library and Logos Messaging-style envelope path with Delivery-module dependency/install evidence; send/receive walkthrough is fresh-video gated. +- [x] Public LEZ testnet NSSA wrapper for proof-backed on-chain access grants. +- [x] Deterministic error codes for invalid proofs and graceful failures. +- [x] SDK/CLI facade and demo binaries. +- [x] Basecamp `.lgx` GUI artifact with M4 build/install evidence under `submission/deployment/basecamp-install-evidence.json`. +- [x] SPEL/IDL interface artifacts. +- [x] Benchmarks and wrapper cycle measurement (`559,639` RISC0 user cycles). +- [x] Fresh narrated demo video attached: https://youtu.be/Je0UMNslAT4. +- [x] Public GitHub repository URL published. +- [x] Public LEZ testnet wrapper deployed: `387946247c625f13046cf56fa184f4a3c1fc6612bf1e1bc497476a340cbbc4eb`; deploy tx `8b0f740679a16e45832ed467fbb0367d6987123bc483e1b82a8d5fd2a7c4fd18`; execute tx `e6b480cde3b31dc4c274c491c3c88f2cb2c7a1edb4d93f2c1bbb4af86a1745dd`. +- [x] Standalone consumer integration demo attached under `consumer-demo/` under the current criteria: standalone demonstrated/testable consumer integration path. + +## FURPS Self-Assessment + +### Functionality + +The primitive supports private threshold access proofs, off-chain recipient-side verification, and LEZ-style verifier-program access grants with idempotent access records and deterministic rejection codes. + +### Usability + +Users and evaluators can run the demo script, inspect/build/install the Basecamp `.lgx` artifact, and use the SDK/interface files to understand proof generation and verification flows. + +### Reliability + +Invalid proofs fail with deterministic errors including context mismatch, presenter mismatch, expired challenge, and occupied access record conflicts. The CI safe-lane and validators exercise core, messaging, verifier, GUI, interface, integration, and package checks. + +### Performance + +Benchmark evidence is in `submission/BENCHMARKS.md` and `submission/benchmark-results.json`. The corrected wrapper simulator measures `559,639` RISC0 user cycles for the submitted public NSSA instruction; the testnet RPC does not expose per-transaction CU receipts. + +### Supportability + +The code is split into small crates/modules: + +- `core/` shared statement/journal/proof relation logic +- `methods/` RISC0 guest package +- `host/` receipt/proof-artifact verification +- `messaging/` off-chain envelope verification +- `verifier-program/` LEZ-style verifier semantics +- `interfaces/` SPEL/IDL/SDK facade +- `basecamp-module/` LogosBasecamp `.lgx` GUI module; `flake.nix`/`scaffold.toml` package it and `submission/deployment/basecamp-install-evidence.json` records install evidence +- `integrations/` integration contracts +- `submission/` technical write-up, privacy notes, benchmarks, manifests + +## Supporting materials + +- Demo video: https://youtu.be/Je0UMNslAT4; old https://youtu.be/x0BYf8bLRII is historical only +- Technical write-up: `submission/TECHNICAL_WRITEUP.md` +- Privacy/security write-up: `submission/PRIVACY_SECURITY.md` +- Benchmarks: `submission/BENCHMARKS.md`, `submission/benchmark-results.json` +- Integration guide: `submission/INTEGRATIONS.md` +- Final audit: `FINAL_SUBMISSION_AUDIT.md` + +## Reproducibility commands + +```bash +bash scripts/validate-proof-artifacts.sh artifacts/lp0005-proof-native +python3 scripts/ci-verify-testnet.py +cargo test -p lp0005-balance-core --test guest_boundary -- --nocapture +cargo test -p lp0005-balance-messaging -- --nocapture +cargo test -p lp0005-verifier-program -- --nocapture +python3 scripts/benchmark-safe-lane.py +python3 scripts/validate-submission-package.py +python3 scripts/validate-basecamp-gui.py +python3 scripts/validate-interfaces.py +python3 scripts/validate-integrations.py +``` + +## Terms & Conditions + +By submitting this solution, I confirm that I have read and agree to the [Terms & Conditions](../TERMS.md). + + +Note: old PR #60 video https://youtu.be/x0BYf8bLRII is stale historical video only; final video evidence is https://youtu.be/Je0UMNslAT4. From 81af0c6b1d5850034c1521a92f0af29c084c5bf9 Mon Sep 17 00:00:00 2001 From: Tranquil-Flow Date: Thu, 25 Jun 2026 14:43:23 +0000 Subject: [PATCH 2/4] Update LP-0005 live-testnet freshness status --- solutions/LP-0005.md | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/solutions/LP-0005.md b/solutions/LP-0005.md index 5460fd3..c950920 100644 --- a/solutions/LP-0005.md +++ b/solutions/LP-0005.md @@ -13,9 +13,9 @@ The package includes: - context binding to prevent replay across gates; - presenter identity binding to prevent proof forwarding/theft; - an off-chain Logos Messaging verifier library/envelope path with Delivery-module dependency/install evidence; -- a deployed public LEZ testnet NSSA wrapper for proof-backed on-chain access grants; +- historical public LEZ testnet NSSA wrapper evidence for proof-backed on-chain access grants, with a fail-closed freshness verifier after the 2026-06 public testnet reset; - deterministic error codes; -- a LogosBasecamp `.lgx` GUI module with M4 build/install evidence; +- a LogosBasecamp evaluator-loadable `.#lgx-portable` GUI module with M4 build/install evidence; - SPEL/IDL and TypeScript SDK facade; - three integration contracts and benchmark evidence; - a fresh narrated demo video attached: https://youtu.be/Je0UMNslAT4. @@ -24,11 +24,11 @@ The package includes: - **Repo:** https://github.com/Tranquil-Flow/lp-0005-private-balance-attestation - **License:** MIT -- **Narrated demo video:** https://youtu.be/Je0UMNslAT4 — final resubmission walkthrough showing current Basecamp `.lgx` activation, public LEZ testnet evidence, and Delivery send/receive flow. The older https://youtu.be/x0BYf8bLRII recording is historical only. +- **Narrated demo video:** https://youtu.be/Je0UMNslAT4 — final resubmission walkthrough showing Basecamp activation, historical public LEZ testnet evidence, and Delivery send/receive flow. The older https://youtu.be/x0BYf8bLRII recording is historical only. ## Live-deployment and maintainer-accepted evidence status -This submission has **public LEZ testnet evidence attached**. The corrected NSSA wrapper program is deployed on `https://testnet.lez.logos.co/`, and a proof-backed execute transaction writes an access-grant PDA whose `program_owner` decodes to the wrapper ImageID. The final demo video is attached at https://youtu.be/Je0UMNslAT4; the older demo remains historical only. +This submission has **historical public LEZ testnet evidence attached**. The corrected NSSA wrapper program was deployed on `https://testnet.lez.logos.co/`, and a proof-backed execute transaction wrote an access-grant PDA whose `program_owner` decoded to the wrapper ImageID at capture time. As of 2026-06-25, the public testnet/RPC has reset: the implementation repo now supports the current `get_transaction_by_hash` / `get_account` RPC names and `scripts/ci-verify-testnet.py` fails closed instead of pretending the pre-reset transactions are still live. A fresh final review should redeploy/re-execute before claiming current live on-chain verification. The final demo video is attached at https://youtu.be/Je0UMNslAT4; the older demo remains historical only. Canonical testnet evidence is in `TESTNET_PROOF.md`. The historical localnet verifier-model evidence is superseded and must not be cited as final proof. @@ -86,15 +86,15 @@ Evidence: - [x] Context binding to prevent replay across gates. - [x] Identity binding / proof-forwarding resistance. - [x] Off-chain verifier library and Logos Messaging-style envelope path with Delivery-module dependency/install evidence; send/receive walkthrough is fresh-video gated. -- [x] Public LEZ testnet NSSA wrapper for proof-backed on-chain access grants. +- [ ] Current public LEZ testnet NSSA wrapper for proof-backed on-chain access grants after the 2026-06 public testnet reset. Historical evidence is attached; the freshness verifier now fails closed until redeploy/re-execute refreshes hashes. - [x] Deterministic error codes for invalid proofs and graceful failures. - [x] SDK/CLI facade and demo binaries. -- [x] Basecamp `.lgx` GUI artifact with M4 build/install evidence under `submission/deployment/basecamp-install-evidence.json`. +- [x] Basecamp evaluator-loadable `.#lgx-portable` GUI artifact with M4 build/install evidence under `submission/deployment/basecamp-install-evidence.json`. - [x] SPEL/IDL interface artifacts. - [x] Benchmarks and wrapper cycle measurement (`559,639` RISC0 user cycles). - [x] Fresh narrated demo video attached: https://youtu.be/Je0UMNslAT4. - [x] Public GitHub repository URL published. -- [x] Public LEZ testnet wrapper deployed: `387946247c625f13046cf56fa184f4a3c1fc6612bf1e1bc497476a340cbbc4eb`; deploy tx `8b0f740679a16e45832ed467fbb0367d6987123bc483e1b82a8d5fd2a7c4fd18`; execute tx `e6b480cde3b31dc4c274c491c3c88f2cb2c7a1edb4d93f2c1bbb4af86a1745dd`. +- [ ] Current public LEZ testnet wrapper deployment after reset. Historical wrapper: `387946247c625f13046cf56fa184f4a3c1fc6612bf1e1bc497476a340cbbc4eb`; historical deploy tx `8b0f740679a16e45832ed467fbb0367d6987123bc483e1b82a8d5fd2a7c4fd18`; historical execute tx `e6b480cde3b31dc4c274c491c3c88f2cb2c7a1edb4d93f2c1bbb4af86a1745dd`. These are pre-reset and not claimed current-live. - [x] Standalone consumer integration demo attached under `consumer-demo/` under the current criteria: standalone demonstrated/testable consumer integration path. ## FURPS Self-Assessment @@ -142,7 +142,7 @@ The code is split into small crates/modules: ```bash bash scripts/validate-proof-artifacts.sh artifacts/lp0005-proof-native -python3 scripts/ci-verify-testnet.py +python3 scripts/ci-verify-testnet.py # fails closed until public-testnet redeploy/re-execute refreshes hashes cargo test -p lp0005-balance-core --test guest_boundary -- --nocapture cargo test -p lp0005-balance-messaging -- --nocapture cargo test -p lp0005-verifier-program -- --nocapture From 5209f35d558a073b58c96ab88b4cecdd56c8ca34 Mon Sep 17 00:00:00 2001 From: Tranquil-Flow Date: Sat, 27 Jun 2026 17:13:29 +0000 Subject: [PATCH 3/4] Clarify LP-0005 current testnet blocker --- solutions/LP-0005.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/solutions/LP-0005.md b/solutions/LP-0005.md index c950920..769f5e9 100644 --- a/solutions/LP-0005.md +++ b/solutions/LP-0005.md @@ -28,7 +28,7 @@ The package includes: ## Live-deployment and maintainer-accepted evidence status -This submission has **historical public LEZ testnet evidence attached**. The corrected NSSA wrapper program was deployed on `https://testnet.lez.logos.co/`, and a proof-backed execute transaction wrote an access-grant PDA whose `program_owner` decoded to the wrapper ImageID at capture time. As of 2026-06-25, the public testnet/RPC has reset: the implementation repo now supports the current `get_transaction_by_hash` / `get_account` RPC names and `scripts/ci-verify-testnet.py` fails closed instead of pretending the pre-reset transactions are still live. A fresh final review should redeploy/re-execute before claiming current live on-chain verification. The final demo video is attached at https://youtu.be/Je0UMNslAT4; the older demo remains historical only. +This submission has **historical public LEZ testnet evidence attached**. The corrected NSSA wrapper program was deployed on `https://testnet.lez.logos.co/`, and a proof-backed execute transaction wrote an access-grant PDA whose `program_owner` decoded to the wrapper ImageID at capture time. As of 2026-06-25, the public testnet/RPC has reset and `scripts/ci-verify-testnet.py` fails closed rather than pretending the pre-reset transactions are still live. A fresh final review should redeploy/re-execute before claiming current live on-chain verification. The final demo video is attached at https://youtu.be/Je0UMNslAT4; the older demo remains historical only. Canonical testnet evidence is in `TESTNET_PROOF.md`. The historical localnet verifier-model evidence is superseded and must not be cited as final proof. @@ -95,7 +95,7 @@ Evidence: - [x] Fresh narrated demo video attached: https://youtu.be/Je0UMNslAT4. - [x] Public GitHub repository URL published. - [ ] Current public LEZ testnet wrapper deployment after reset. Historical wrapper: `387946247c625f13046cf56fa184f4a3c1fc6612bf1e1bc497476a340cbbc4eb`; historical deploy tx `8b0f740679a16e45832ed467fbb0367d6987123bc483e1b82a8d5fd2a7c4fd18`; historical execute tx `e6b480cde3b31dc4c274c491c3c88f2cb2c7a1edb4d93f2c1bbb4af86a1745dd`. These are pre-reset and not claimed current-live. -- [x] Standalone consumer integration demo attached under `consumer-demo/` under the current criteria: standalone demonstrated/testable consumer integration path. +- [x] Standalone consumer integration demo attached under `consumer-demo/` per maintainer clarification that any demonstrated/testable path is acceptable. ## FURPS Self-Assessment @@ -125,7 +125,7 @@ The code is split into small crates/modules: - `messaging/` off-chain envelope verification - `verifier-program/` LEZ-style verifier semantics - `interfaces/` SPEL/IDL/SDK facade -- `basecamp-module/` LogosBasecamp `.lgx` GUI module; `flake.nix`/`scaffold.toml` package it and `submission/deployment/basecamp-install-evidence.json` records install evidence +- `basecamp-module/` LogosBasecamp GUI module; `flake.nix`/`scaffold.toml` expose `.#lgx-portable` for evaluator packages and `.#lgx` for local scaffold installs; `submission/deployment/basecamp-install-evidence.json` records install evidence - `integrations/` integration contracts - `submission/` technical write-up, privacy notes, benchmarks, manifests @@ -142,7 +142,7 @@ The code is split into small crates/modules: ```bash bash scripts/validate-proof-artifacts.sh artifacts/lp0005-proof-native -python3 scripts/ci-verify-testnet.py # fails closed until public-testnet redeploy/re-execute refreshes hashes +python3 scripts/ci-verify-testnet.py (current RPC fallback; fails closed on stale/reset evidence) cargo test -p lp0005-balance-core --test guest_boundary -- --nocapture cargo test -p lp0005-balance-messaging -- --nocapture cargo test -p lp0005-verifier-program -- --nocapture From e07d18fd46e6b065c88527a8022451ffb9178e98 Mon Sep 17 00:00:00 2001 From: Tranquil-Flow Date: Sun, 28 Jun 2026 13:55:52 +0000 Subject: [PATCH 4/4] Update LP-0005 current testnet evidence --- solutions/LP-0005.md | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/solutions/LP-0005.md b/solutions/LP-0005.md index 769f5e9..8ac812f 100644 --- a/solutions/LP-0005.md +++ b/solutions/LP-0005.md @@ -1,4 +1,5 @@ # Solution: LP-0005 — Private Balance Attestation +> Current reset-era refresh (2026-06-28): v0.2.0 ProgramBinary SHA-256 `7f833cfde54d15a36d2b21238374d7fbe238d559732409663bbd4e32f24784b6` / program id `d391c3c617a87708d0db0b8ebbe64e038ad37c0bc3977c4f0b562db6cd795e23` deployed on the current public LEZ testnet as tx `b2dbe279395c3431b3131c454a60414e87bb1fb1e1e375cb408c542f5e0be35b` and executed as tx `ad26c372d09f45555156d697561dff825b6d4b1c4a39076c42b809880daf72fd`. The execute path created access-grant account `79ea0d561e577499fe9b533d94c78091b2dc026b485f5b52a233dae31ac5e8ea`. Earlier txs `8b0f7406...` / `e6b480cd...` are retained only as historical pre-reset evidence. **Submitted by:** Tranquil-Flow @@ -13,7 +14,7 @@ The package includes: - context binding to prevent replay across gates; - presenter identity binding to prevent proof forwarding/theft; - an off-chain Logos Messaging verifier library/envelope path with Delivery-module dependency/install evidence; -- historical public LEZ testnet NSSA wrapper evidence for proof-backed on-chain access grants, with a fail-closed freshness verifier after the 2026-06 public testnet reset; +- current public LEZ testnet NSSA wrapper evidence for proof-backed on-chain access grants, with a fail-closed freshness verifier after the 2026-06 public testnet reset; - deterministic error codes; - a LogosBasecamp evaluator-loadable `.#lgx-portable` GUI module with M4 build/install evidence; - SPEL/IDL and TypeScript SDK facade; @@ -28,7 +29,7 @@ The package includes: ## Live-deployment and maintainer-accepted evidence status -This submission has **historical public LEZ testnet evidence attached**. The corrected NSSA wrapper program was deployed on `https://testnet.lez.logos.co/`, and a proof-backed execute transaction wrote an access-grant PDA whose `program_owner` decoded to the wrapper ImageID at capture time. As of 2026-06-25, the public testnet/RPC has reset and `scripts/ci-verify-testnet.py` fails closed rather than pretending the pre-reset transactions are still live. A fresh final review should redeploy/re-execute before claiming current live on-chain verification. The final demo video is attached at https://youtu.be/Je0UMNslAT4; the older demo remains historical only. +This submission has **current public LEZ testnet evidence attached**. The v0.2.0-compatible NSSA wrapper ProgramBinary `7f833cfde54d15a36d2b21238374d7fbe238d559732409663bbd4e32f24784b6` was deployed on `https://testnet.lez.logos.co/` as tx `b2dbe279395c3431b3131c454a60414e87bb1fb1e1e375cb408c542f5e0be35b`, and the proof-backed execute transaction `ad26c372d09f45555156d697561dff825b6d4b1c4a39076c42b809880daf72fd` wrote access-grant account `79ea0d561e577499fe9b533d94c78091b2dc026b485f5b52a233dae31ac5e8ea` whose `program_owner` reads back to the current wrapper ProgramID `d391c3c617a87708d0db0b8ebbe64e038ad37c0bc3977c4f0b562db6cd795e23`. `scripts/ci-verify-testnet.py` is a read-only fail-closed verifier for the current deploy, execute, and grant-account state. The final demo video is attached at https://youtu.be/Je0UMNslAT4; the older demo remains historical only. Canonical testnet evidence is in `TESTNET_PROOF.md`. The historical localnet verifier-model evidence is superseded and must not be cited as final proof. @@ -86,7 +87,7 @@ Evidence: - [x] Context binding to prevent replay across gates. - [x] Identity binding / proof-forwarding resistance. - [x] Off-chain verifier library and Logos Messaging-style envelope path with Delivery-module dependency/install evidence; send/receive walkthrough is fresh-video gated. -- [ ] Current public LEZ testnet NSSA wrapper for proof-backed on-chain access grants after the 2026-06 public testnet reset. Historical evidence is attached; the freshness verifier now fails closed until redeploy/re-execute refreshes hashes. +- [x] Current public LEZ testnet NSSA wrapper for proof-backed on-chain access grants after the 2026-06 public testnet reset. Current v0.2.0 evidence is attached: deploy tx `b2dbe279395c3431b3131c454a60414e87bb1fb1e1e375cb408c542f5e0be35b`, execute tx `ad26c372d09f45555156d697561dff825b6d4b1c4a39076c42b809880daf72fd`, grant account `79ea0d561e577499fe9b533d94c78091b2dc026b485f5b52a233dae31ac5e8ea`. - [x] Deterministic error codes for invalid proofs and graceful failures. - [x] SDK/CLI facade and demo binaries. - [x] Basecamp evaluator-loadable `.#lgx-portable` GUI artifact with M4 build/install evidence under `submission/deployment/basecamp-install-evidence.json`. @@ -94,7 +95,7 @@ Evidence: - [x] Benchmarks and wrapper cycle measurement (`559,639` RISC0 user cycles). - [x] Fresh narrated demo video attached: https://youtu.be/Je0UMNslAT4. - [x] Public GitHub repository URL published. -- [ ] Current public LEZ testnet wrapper deployment after reset. Historical wrapper: `387946247c625f13046cf56fa184f4a3c1fc6612bf1e1bc497476a340cbbc4eb`; historical deploy tx `8b0f740679a16e45832ed467fbb0367d6987123bc483e1b82a8d5fd2a7c4fd18`; historical execute tx `e6b480cde3b31dc4c274c491c3c88f2cb2c7a1edb4d93f2c1bbb4af86a1745dd`. These are pre-reset and not claimed current-live. +- [x] Current public LEZ testnet wrapper deployment after reset. Current wrapper `d391c3c617a87708d0db0b8ebbe64e038ad37c0bc3977c4f0b562db6cd795e23`; deploy tx `b2dbe279395c3431b3131c454a60414e87bb1fb1e1e375cb408c542f5e0be35b`; execute tx `ad26c372d09f45555156d697561dff825b6d4b1c4a39076c42b809880daf72fd`. Historical pre-reset wrapper/txs are retained only inside implementation evidence files as labeled archival context. - [x] Standalone consumer integration demo attached under `consumer-demo/` per maintainer clarification that any demonstrated/testable path is acceptable. ## FURPS Self-Assessment @@ -142,7 +143,7 @@ The code is split into small crates/modules: ```bash bash scripts/validate-proof-artifacts.sh artifacts/lp0005-proof-native -python3 scripts/ci-verify-testnet.py (current RPC fallback; fails closed on stale/reset evidence) +python3 scripts/ci-verify-testnet.py cargo test -p lp0005-balance-core --test guest_boundary -- --nocapture cargo test -p lp0005-balance-messaging -- --nocapture cargo test -p lp0005-verifier-program -- --nocapture