Multi-Agent Reinforcement Learning for Decentralized Computational Resource Negotiation in a Tokenized Double-Auction Market: A Reproducibility-First Benchmark | Synapse