Follow-up to #3693 and #3489.
The staged V2 requirement ANNEAL-REQ-003 currently says the long-term architecture must cover arbitrary Rust codebases and use cases. The top-level principles instead make support for all Rust programs a non-goal while aiming to support all program behaviors.
Update or supersede the affected requirement and any derived wording so the design preserves that distinction: Anneal may reject particular Rust encodings or dark corners of the language, while aiming to provide supported ways to achieve the same program behavior and actionable guidance when it cannot accept an encoding.
Audit nearby coverage/extensibility language only as needed to remove contradictions; do not weaken the separate commitment to extensible user-defined correctness properties.
Authored by an AI agent acting on Josh Liebow-Feeser's behalf.
Follow-up to #3693 and #3489.
The staged V2 requirement
ANNEAL-REQ-003currently says the long-term architecture must cover arbitrary Rust codebases and use cases. The top-level principles instead make support for all Rust programs a non-goal while aiming to support all program behaviors.Update or supersede the affected requirement and any derived wording so the design preserves that distinction: Anneal may reject particular Rust encodings or dark corners of the language, while aiming to provide supported ways to achieve the same program behavior and actionable guidance when it cannot accept an encoding.
Audit nearby coverage/extensibility language only as needed to remove contradictions; do not weaken the separate commitment to extensible user-defined correctness properties.
Authored by an AI agent acting on Josh Liebow-Feeser's behalf.