fix: preserve F10 rule IDs for non-finite quaternions - #420

What this changes

Non-finite quaternion components already reject with NON_FINITE_NUMBER, but two model paths omit the F10 domain rule. Attach DV-ATTR-003 in Placement::validate_orientation and quaternion encoding in UpdateElement::content_fingerprint, so existing diagnostic propagation can identify the numeric-attribute violation.

This isolates the two unpublished annotations found while auditing the legacy F10 checkout against merged #404. It is rebased directly onto current master 65728b0 and has no dependency on the grid PRs. Refs #148; follows #404.

How you verified it

• Regression test failed before the fix because rule_id was None.
• The test covers NaN and positive/negative infinity in every quaternion component through direct orientation validation, update argument validation and direct fingerprint encoding.
• cargo test -p beamcraft-model --offline --locked: all 72 tests passed; doc-tests passed.
• cargo clippy -p beamcraft-model --all-targets --offline --locked -- -D warnings: passed.
• cargo fmt --all -- --check and diff whitespace checks: passed.
• Applied the existing fix(tests): use the #406 command names in the levels test #418 command-name correction to the merged F10 copy acceptance test; the focused actual-binary test passed. CI is running again for ffb3922.
• fix(tests): use the #406 command names in the levels test #418 has now merged. The redundant command-name commit was removed while rebasing onto 65728b0; this PR again changes only quaternion diagnostics, its regression test and technical note. CI is running for 45a458e.
• Full workspace/platform CI is pending; keep draft until required checks pass.

Never-crash

Two error annotations only in production code. No new panic/unwrap/expect, input-derived indexing, allocations or unsafe. Existing rejection code and field remain unchanged, and accepted command fingerprints are unchanged.

Provenance

Contributor-original MPL-2.0 code and technical note. No dependencies, third-party code or assets added.

Anything a reviewer should look at first

F10 DV-ATTR-003 covers non-finite numeric attributes. Both public entry points must preserve this rule even when fingerprint encoding is called without prior argument validation. This follow-up does not claim completion of the broader F10 acceptance gate.