Summary

Add HuggingFace Hub integration for model sharing and discovery.

Background

Per trueno-aprender-stdlib-core-language-spec.md Section 13.4 (Model Persistence):

• HuggingFace Hub push/pull integration

Requirements

1. Push to Hub

   impl Model {
       fn push_to_hub(&self, repo_id: &str, token: &str) -> Result<(), Error>;
   }

2. Pull from Hub

   impl Model {
       fn from_hub(repo_id: &str) -> Result<Self, Error>;
   }

3. Features

   • SafeTensors format (already supported)
   • Model card generation
   • Version management
   • Private repo support

Acceptance Criteria

• Models can be pushed to HuggingFace Hub
• Models can be pulled from HuggingFace Hub
• Authentication works with HF tokens
• Model cards are auto-generated

Related

• Ruchy spec: docs/specifications/trueno-aprender-stdlib-core-language-spec.md
• SafeTensors already implemented in aprender::serialization