docs: integrar material de contratos de API

[jeresoftx]

Resumen

• integra el diagrama de frontera entre contrato público y detalles privados;
• explica cómo el modelo Rust hace ejecutables las invariantes del capítulo;
• añade un ejemplo ejecutable de consulta de pedido y enlaza sus fuentes.

Verificación

• cargo fmt --check
• cargo clippy --all-targets --all-features -- -D warnings
• cargo test --all-targets
• cargo test --doc
• cargo bench --all-targets
• cargo run --example 01-contratos-publicos

Closes #3

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