[MauScheff]

The README's sample failure output does not match current runtime reporting, and several REFERENCE examples use outdated postcondition syntax or omit input bounds. This PR fixes those standalone documentation issues against current main.

• Show how anodized_print and anodized_panic report failed conditions.
• Distinguish capture evaluation in the default mode from separate specification embedding.
• Bind returned values explicitly in postconditions and correct borrowing syntax.
• Add input bounds to the implemented maximum-search and counter examples, while keeping syntax examples minimal with todo!() bodies.
• Remove an unused import from the configuration example.

Only crates/anodized/README.md and crates/anodized/REFERENCE.md change. The agent skill, plugin manifests, Rust validation tooling, and CI additions remain in #193. No plugin installation instructions are included here.

Extracted from Slava (@rayslava)'s documentation work in #193, with follow-up corrections. Slava is credited as co-author.

Validation:

• cargo test -p anodized --doc: 2 passed, 3 ignored.
• All 13 REFERENCE Rust examples compiled with rustdoc --test against this checkout in default and anodized_panic modes.
• cargo fmt --all -- --check: passed.
• git diff --check: passed.

[mkovaxx]

Just a few minor things, then it's good to go! Thanks! :)

[mkovaxx]

Looks good, thanks! :)