feat: modelar semántica REST y HTTP

[jeresoftx]

Resumen

• agrega un modelo de métodos, estados, reintentos y seguimiento asíncrono;
• rechaza combinaciones incoherentes entre intención HTTP y resultado observable;
• incorpora cinco pruebas unitarias y un doctest sin dependencias externas.

Verificación

• cargo fmt --check
• cargo clippy --all-targets --all-features -- -D warnings
• cargo test --all-targets
• cargo test --doc
• cargo bench --all-targets

Closes #6

Fusionado en modo de revisión diferida conforme a RFC-0001 §20; queda sujeto a revisión humana al cierre del bloque.