A Social Semantic Infrastructure for Decentralised Systems Based on Specification-Carrying Code and Trust