Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
183 changes: 146 additions & 37 deletions contracts/delivery_contract/lib.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#![no_std]

use soroban_sdk::{
contract, contractimpl, contracttype, Address, Env, Symbol,
contract, contracterror, contractimpl, contracttype, panic_with_error, Address, Env, Symbol,
};

pub type DeliveryId = u64;
Expand All @@ -14,6 +14,7 @@ pub enum DeliveryStatus {
InTransit,
Delivered,
Cancelled,
Disputed,
}

#[contracttype]
Expand All @@ -32,6 +33,7 @@ pub struct DeliveryRecord {
pub metadata: DeliveryMetadata,
pub created_at: u64,
pub delivered_at: Option<u64>,
pub transit_started_at: Option<u64>,
}

#[contracttype]
Expand All @@ -43,6 +45,41 @@ pub enum DataKey {
EscrowContract,
}

#[contracterror]
#[derive(Copy, Clone, Debug, Eq, PartialEq, PartialOrd, Ord)]
#[repr(u32)]
pub enum DeliveryError {
InvalidState = 1,
}

/// Validate whether a status transition is permitted by the delivery state machine.
///
/// Allowed transitions:
/// Pending → Active, Cancelled
/// Active → InTransit, Disputed, Cancelled
/// InTransit → Delivered, Disputed
/// Disputed → Delivered, Cancelled
/// Delivered, Cancelled → (terminal, no transitions)
pub fn validate_transition(from: DeliveryStatus, to: DeliveryStatus) -> Result<(), DeliveryError> {
let valid = match (&from, &to) {
(DeliveryStatus::Pending, DeliveryStatus::Active) => true,
(DeliveryStatus::Pending, DeliveryStatus::Cancelled) => true,
(DeliveryStatus::Active, DeliveryStatus::InTransit) => true,
(DeliveryStatus::Active, DeliveryStatus::Disputed) => true,
(DeliveryStatus::Active, DeliveryStatus::Cancelled) => true,
(DeliveryStatus::InTransit, DeliveryStatus::Delivered) => true,
(DeliveryStatus::InTransit, DeliveryStatus::Disputed) => true,
(DeliveryStatus::Disputed, DeliveryStatus::Delivered) => true,
(DeliveryStatus::Disputed, DeliveryStatus::Cancelled) => true,
_ => false,
};
if valid {
Ok(())
} else {
Err(DeliveryError::InvalidState)
}
}

#[contract]
pub struct DeliveryContract;

Expand All @@ -53,8 +90,12 @@ impl DeliveryContract {
panic!("AlreadyInitialized");
}
env.storage().instance().set(&DataKey::Admin, &admin);
env.storage().instance().set(&DataKey::EscrowContract, &escrow_contract);
env.storage().persistent().set(&DataKey::DeliveryCounter, &0u64);
env.storage()
.instance()
.set(&DataKey::EscrowContract, &escrow_contract);
env.storage()
.persistent()
.set(&DataKey::DeliveryCounter, &0u64);

env.events().publish(
(Symbol::new(&env, "DeliveryContractInitialized"),),
Expand All @@ -65,9 +106,15 @@ impl DeliveryContract {
pub fn create_delivery(env: Env, sender: Address, metadata: DeliveryMetadata) -> DeliveryId {
sender.require_auth();

let mut counter: u64 = env.storage().persistent().get(&DataKey::DeliveryCounter).unwrap_or(0);
let mut counter: u64 = env
.storage()
.persistent()
.get(&DataKey::DeliveryCounter)
.unwrap_or(0);
counter += 1;
env.storage().persistent().set(&DataKey::DeliveryCounter, &counter);
env.storage()
.persistent()
.set(&DataKey::DeliveryCounter, &counter);

let delivery_id = counter;

Expand All @@ -79,13 +126,11 @@ impl DeliveryContract {
metadata,
created_at: env.ledger().timestamp(),
delivered_at: None,
transit_started_at: None,
};


let key = DataKey::Delivery(delivery_id);
env.storage().persistent().set(&key, &record);

// Extend TTL
env.storage().persistent().extend_ttl(&key, 518400, 518400);

env.events().publish(
Expand All @@ -96,11 +141,7 @@ impl DeliveryContract {
delivery_id
}

pub fn cancel_delivery(
env: Env,
sender: Address,
delivery_id: DeliveryId,
) {
pub fn cancel_delivery(env: Env, sender: Address, delivery_id: DeliveryId) {
sender.require_auth();

let key = DataKey::Delivery(delivery_id);
Expand All @@ -114,9 +155,8 @@ impl DeliveryContract {
panic!("NotAuthorized");
}

if delivery.status != DeliveryStatus::Pending && delivery.status != DeliveryStatus::Active {
panic!("InvalidState");
}
validate_transition(delivery.status.clone(), DeliveryStatus::Cancelled)
.unwrap_or_else(|_| panic!("InvalidState"));

let escrow_address: Address = env
.storage()
Expand All @@ -141,12 +181,7 @@ impl DeliveryContract {
);
}

pub fn assign_driver(
env: Env,
caller: Address,
delivery_id: DeliveryId,
driver: Address,
) {
pub fn assign_driver(env: Env, caller: Address, delivery_id: DeliveryId, driver: Address) {
caller.require_auth();

let is_admin = Self::is_admin(&env, &caller);
Expand All @@ -163,16 +198,13 @@ impl DeliveryContract {
.get(&key)
.unwrap_or_else(|| panic!("DeliveryNotFound"));

if delivery.status != DeliveryStatus::Pending {
panic!("InvalidState");
}
validate_transition(delivery.status.clone(), DeliveryStatus::Active)
.unwrap_or_else(|_| panic!("InvalidState"));

delivery.driver = Some(driver.clone());
delivery.status = DeliveryStatus::Active;

env.storage().persistent().set(&key, &delivery);

// Extend TTL: ~30 days
env.storage().persistent().extend_ttl(&key, 518400, 518400);

env.events().publish(
Expand All @@ -181,11 +213,41 @@ impl DeliveryContract {
);
}

pub fn confirm_delivery(
env: Env,
recipient: Address,
delivery_id: DeliveryId,
) {
/// Allow the assigned driver to mark a delivery as actively in transit.
/// Transitions: Active → InTransit. Records the ledger timestamp.
pub fn mark_in_transit(env: Env, driver: Address, delivery_id: DeliveryId) {
driver.require_auth();

let key = DataKey::Delivery(delivery_id);
let mut delivery: DeliveryRecord = env
.storage()
.persistent()
.get(&key)
.unwrap_or_else(|| panic!("DeliveryNotFound"));

// Verify caller is the assigned driver for this delivery
match &delivery.driver {
Some(assigned) if *assigned == driver => {}
_ => panic!("NotAuthorized"),
}

validate_transition(delivery.status.clone(), DeliveryStatus::InTransit)
.unwrap_or_else(|_| panic!("InvalidState"));

let timestamp = env.ledger().timestamp();
delivery.status = DeliveryStatus::InTransit;
delivery.transit_started_at = Some(timestamp);

env.storage().persistent().set(&key, &delivery);
env.storage().persistent().extend_ttl(&key, 518400, 518400);

env.events().publish(
(Symbol::new(&env, "DeliveryInTransit"),),
(delivery_id, driver, timestamp),
);
}

pub fn confirm_delivery(env: Env, recipient: Address, delivery_id: DeliveryId) {
recipient.require_auth();

let key = DataKey::Delivery(delivery_id);
Expand All @@ -199,9 +261,8 @@ impl DeliveryContract {
panic!("NotAuthorized");
}

if delivery.status != DeliveryStatus::InTransit {
panic!("InvalidState");
}
validate_transition(delivery.status.clone(), DeliveryStatus::Delivered)
.unwrap_or_else(|_| panic!("InvalidState"));

let escrow_address: Address = env
.storage()
Expand All @@ -228,6 +289,55 @@ impl DeliveryContract {
);
}

/// Allow sender or recipient to escalate a delivery to Disputed and pause
/// the escrow via a cross-contract call. The escrow call executes first so
/// that delivery state is never mutated when the escrow call fails.
pub fn raise_dispute(env: Env, caller: Address, delivery_id: DeliveryId) {
caller.require_auth();

let key = DataKey::Delivery(delivery_id);
let mut delivery: DeliveryRecord = env
.storage()
.persistent()
.get(&key)
.unwrap_or_else(|| panic!("DeliveryNotFound"));

let is_sender = caller == delivery.sender;
let is_recipient = caller == delivery.metadata.recipient;
if !is_sender && !is_recipient {
panic!("NotAuthorized");
}

validate_transition(delivery.status.clone(), DeliveryStatus::Disputed)
.unwrap_or_else(|_| panic!("InvalidState"));

let escrow_address: Address = env
.storage()
.instance()
.get(&DataKey::EscrowContract)
.unwrap_or_else(|| panic!("EscrowNotConfigured"));

// Cross-contract call first: if escrow raises dispute fails, delivery
// state is not mutated (implicit rollback via propagated panic).
use soroban_sdk::IntoVal;
let _: () = env.invoke_contract(
&escrow_address,
&Symbol::new(&env, "raise_dispute"),
soroban_sdk::vec![&env, delivery_id.into_val(&env)],
);

let timestamp = env.ledger().timestamp();
delivery.status = DeliveryStatus::Disputed;

env.storage().persistent().set(&key, &delivery);
env.storage().persistent().extend_ttl(&key, 518400, 518400);

env.events().publish(
(Symbol::new(&env, "delivery_disputed"),),
(delivery_id, caller, timestamp),
);
}

fn is_admin(env: &Env, caller: &Address) -> bool {
if let Some(admin) = env.storage().instance().get::<_, Address>(&DataKey::Admin) {
admin == *caller
Expand All @@ -239,4 +349,3 @@ impl DeliveryContract {

#[cfg(test)]
mod test;

Loading
Loading