duplicate-bodies: ddc_receipt.t27 copies corpus_receipt's text_is (red on master since #7706) #7710

Parent: #6488. Follow-up to #7699 / PR #7706.

Problem

PR #7706 merged its first commit, and with it specs/verified/ddc_receipt.t27 brought its own copy of text_is(). The body is identical to the one in specs/verified/corpus_receipt.t27. duplicate-bodies fails on master since 1ecd49f with "a body written under text_is is now copied [2] time(s) and was in no ledger". The fix was pushed to the branch as a second commit, but only after auto-merge had fired.

Fix

ddc_receipt.t27 uses verified::corpus_receipt for text_is() and HARDWARE_ROOTED and restates neither. The gen-rust copy is regenerated and the spec is re-sealed. No hand-written code changes.

Done when

• duplicate-bodies is green.
• t27c test-report specs/verified/ddc_receipt.t27 passes with 0 vacuous tests.
• tri mutate spec reports 0 survivors.
• The gen-rust drift test (signed_receipt_reader) passes.