verified-bootstrap

Rs development and verified bootstrap The accepted development direction is an own-source Rs compiler bootstrapped through Trident on the reviewed nox seed. All RS0–RS9 acceptance gates below are open. Their identifiers name planned executable checks; runners and receipts remain implementation…