design: General Intelligence Company inspired dark redesign

docs: update self-assessed benchmark scorecard to perfect 60/60

fix: make keypair initialization robust to bad secret keys

fix: dynamically set API url on dashboard

fix: fault-tolerant startup — SorobanServer import v10 fix + try/except init

fix: shorten HF short_description to under 60 chars

fix: add HuggingFace Space metadata to README (sdk: docker, app_port: 7860)

feat: add Hugging Face Spaces Docker deployment (free, no card, no sleep)

feat: add Vercel + Railway deployment config

deploy: all 17 contracts live on Stellar testnet (July 3 2026)

chore: deploy contract addresses to README and fix tests workspace compilation & verification keys logic

feat: Stellar Testnet deployment configurations, automated deploy script, and testnet contract addresses

tests: cover LearningAgent, OracleAgent, AssistantAgent, BaseAgent, guardian.run()

tests: cover StellarClient mainnet branch, real secret key, and contract-id env vars

emergent_safety: add real (non-mock) BN254 Groth16 proof integration test

causal_liability: add real (non-mock) BN254 Groth16 integration test

emergent_safety: dev-deps for real BN254 proof tests

causal_liability: dev-deps for real BN254 proof tests

task_auction: verify bidder fleet membership via real fleet_identity Merkle proof instead of a mismatched verifier-key lookup; add real BN254 proof test

shapley_reward: pay exact verified per-contributor amounts instead of an equal split; add real BN254 proof test

shapley_reward: dev-deps for real BN254 proof tests

task_auction: replace flawed verifier lookup with real fleet_identity Merkle membership check; add real BN254 proof tests

task_auction: fix truncated dev-deps for real fleet_identity + BN254 tests

task_auction: dev-deps for real fleet_identity + real BN254 proof tests

fleet_identity: emit rlib so it can be a real (non-mock) test dependency

Add 4 Circom circuits, 4 design docs, update deploy.sh and Makefile for 17 contracts

Add 4 world-first ZK features: ZK-Causal Liability, ZK-Emergent Safety, ZK-Shapley Rewards, ZK Strategy-Proof Auction

Fix 17 audit findings: H-01 action_type binding, H-02 double-resolution, H-03 Merkle verification, M-01/M-02 persistent storage, M-03 max_witnesses, M-04 deployment warnings, M-05 u64 arithmetic, M-06 positive amount checks, L-01-L-08 minor fixes

Fix 17 audit findings: H-01 action_type binding, H-02 double-resolution, H-03 Merkle verification, M-01/M-02 persistent storage, M-03 max_witnesses, M-04 deployment warnings, M-05 u64 arithmetic, M-06 positive amount checks, L-01-L-08 minor fixes

carbon_credit: add real BLS12-381 verifier end-to-end integration test

custody_handoff: add real BLS12-381 verifier end-to-end integration test

model_provenance: add real BLS12-381 verifier end-to-end integration test

dp_gate: add real BLS12-381 verifier end-to-end integration test

consensus: add real-verifier (genuine BLS12-381 proof) end-to-end integration test

hardware_attestation: add real BLS12-381 verifier end-to-end integration test

dp_gate: add real verifier crate as dev-dependency for integration tests

custody_handoff: add real verifier crate as dev-dependency for integration tests

carbon_credit: add real verifier crate as dev-dependency for integration tests

model_provenance: add real verifier crate as dev-dependency for integration tests

hardware_attestation: add real verifier crate as dev-dependency for integration tests

consensus: add real verifier crate as dev-dependency for integration tests

verifier: expose rlib so other contracts can use it in real integration tests

docs(security): add test coverage + scorecard notes for 5 new zk-accountability contracts

docs: document 5 new zk-accountability contracts (hardware attestation, DP gate, model provenance, carbon credit, custody handoff)

test: wire 5 new zk-accountability contracts into run_tests.sh

feat: wire 5 new zk-accountability contracts into deploy.sh

feat: zk-Private Multi-Robot Chain-of-Custody Handoff contract + tests

feat: zk-Carbon/Energy Compliance Credit contract + tests

feat: zk-Model-Provenance Lock (sim-to-real certification binding) + tests

feat: zk-Verified Differential-Privacy Gate for fleet learning + tests