Secure execution evidence
Hardware attestation, runtime enforcement, proof-carrying execution and safety-critical authority boundaries.
Tools are evidence-bearing instruments of the research programmes. Current work is shown plainly; roadmap items identify where additional support can accelerate development.
Hardware attestation, runtime enforcement, proof-carrying execution and safety-critical authority boundaries.
Research into authenticated-state algorithms, zero-knowledge proofs, theorem proving and machine-checked correctness.
Closed-loop experiments, cross-simulator comparisons, benchmark integrity and failure analysis.
Research on learned manipulation skills, policy robustness and safety-aware control.
Roadmap tools are proposed development priorities, not completed products. Support helps fund open methods, implementations, benchmarks and documentation that can be inspected and reused by researchers and practitioners.
URDF Studio is pre-existing simulation and model tooling relevant to embodied intelligence and evaluation science. It is listed here as research context, not as a MaatInstitute pillar. Ownership and institutional relationship remain unresolved.