https://dsg-3.gitbook.io/dsg-docs/agi-simulation 1 https://dsg-3.gitbook.io/dsg-docs/agi-simulation/rust-core 1 https://dsg-3.gitbook.io/dsg-docs/agi-simulation/formal-properties 1 https://dsg-3.gitbook.io/dsg-docs/agi-simulation/kani-harness-skeleton 1