Summary

Grounds rocky ai in real project typed schemas. The LLM now sees
column names with types (e.g. orders: id: INT64, amount: DECIMAL(10,2))
instead of names only, and the compile-verify loop runs inside the full
project graph so upstream types propagate correctly.

The primary win is first-attempt generation accuracy from richer
prompt context. The validator change is honest plumbing — Rocky's
typechecker is lenient on unresolved column references today, so it
doesn't act as a hard gate against every hallucinated column; later
waves (auto-fix on failed runs, contract-aware generation) build on the
new ValidationContext hook.

Primitives

• RockyType: Display — compact one-liner rendering (INT64,
  DECIMAL(10,2), ARRAY<STRING>, STRUCT<id:INT64,name:STRING>,
  ? for Unknown) used by the prompt so schemas don't bloat the
  context window.
• rocky_ai::prompt::build_system_prompt — replaces name-only
  signatures with &[(String, Vec<TypedColumn>)] for both model
  dependencies and source tables. Renders under # Existing Models and
  # Available Source Tables sections.
• rocky_ai::generate::ValidationContext — optional hook that
  carries the upstream project models + source schemas. When passed,
  the compile-verify loop typechecks the generated model alongside
  the existing project rather than in isolation. Upstream diagnostics
  surface (not swallowed); callers are responsible for passing a
  clean-compiling project.
• rocky ai --models <path> — new flag (default models). Best-
  effort compiles the project, buckets type_check.typed_models into
  (models, sources) by dotted-name convention, threads both the typed
  schemas and the project models into generation. Compile failure
  degrades silently to unschema'd generation so rocky ai still works
  outside a project.

Framing (honest)

• What this actually delivers: richer prompt → better first-attempt
  generation. The LLM now refuses to invent orders.bogus_column
  because orders is listed with its real columns and types.
• What it does not deliver yet: a hard compile-time gate against
  every hallucinated column. Rocky's typechecker defaults unresolved
  columns to RockyType::Unknown rather than erroring, so the
  validator's value here is type-propagation scaffolding for later
  waves, not strict column-existence enforcement.
• Source-tables section will be empty in practice until warehouse
  discovery is plumbed through to the CLI — it's wired so a later wave
  drops in source_column_info without another CLI change.

Test plan

• cargo test -p rocky-ai -p rocky-compiler -p rocky-cli -p rocky-core — all green
• cargo clippy --workspace -- -D warnings — clean
• cargo fmt -- --check — clean
• cargo run --bin rocky -- export-schemas schemas/ — no codegen drift (no JSON output struct changes)
• New unit tests:
  • test_display_compact — every RockyType variant renders compactly
  • test_build_prompt_rocky_with_types — typed schemas render under both headers
  • test_build_prompt_empty_schemas_no_header — empty input → no empty section headers
  • test_project_aware_compiles_alongside_upstream — positive: generated model typechecks inside the project graph with real upstream types