[e.d.] Rewrite It In Rust! —— Rust ED/FCI workbench for electronic-structure methods

[JunkaiWang-TheoPhy]

Team

Team name	Rewrite It In Rust!
Members	Chenxi Wan, Yedi Shen, Junkai Wang

Challenge

Row
Challenge	Build a Rust exact-diagonalization / full-configuration-interaction workbench for electronic-structure method development, with determinant-based arbitrary-order coupled cluster as the mandatory showcase.
Catalog issue	Addresses #129 — "Exact diagonalization workbench in Rust for electronic structure method development", released by Guo CHEN.
Track	ed, from the issue's Method field: Exact Diagonalization.

Working Repository

Development starts in the private AGPL-3.0 repository
JunkaiWang-TheoPhy/quantum-harness-129-workbench-rust.

Companion Rust Registrations

This is the main Rewrite It In Rust! workbench registration. The related Rust
infrastructure and writing tracks are registered separately:

• [Agent] 🌠 Wander/漫步者: Issue #114 Verify tenferro-rs with ED/FCI Workloads (Uncompleted) #214 — tenferro-rs verification from ED/FCI workloads.
• [Agent] 🌠 Wander/漫步者: Issue #115 Rewrite the Occam Circuit Verifier in Rust #215 — Rust port of the [challenge]: Occam's Circuit — recover a hidden logic function from polynomially many examples #71 Occam's Circuit verifier workflow.
• [Agent] 🌠 Wander/漫步者: Issue #82 Certified Tensor DSL for Code, Theorem, and Proof #216 — Rust-inspired certified tensor DSL design.

[JunkaiWang-TheoPhy]

Closing to resubmit the Rewrite It In Rust! ED/FCI registration with the companion Rust registrations linked from the start.