formal-ai 0.187.0

Formal symbolic AI implementation with OpenAI-compatible APIs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

//! Coding-task support for the universal solver.
//!
//! This module owns everything the engine needs to answer a `write_program`
//! request for a *general* coding task — not only "hello world". It is split
//! into two cohesive units following the repository's architecture principles
//! (high cohesion, clear naming, small focused files):
//!
//! - [`catalog`]: the catalog of supported programming languages, coding tasks,
//!   per-language code templates, and the lookup/alias-matching helpers that map
//!   a normalized prompt onto a concrete [`catalog::ProgramSpec`]. New languages
//!   and tasks are added here as data, so the surface grows without touching the
//!   engine.
//! - [`guidance`]: the novice-first guidance (issue #330) that accompanies every
//!   generated program — a localized "How it works" explanation and step-by-step
//!   "How to test it yourself" instructions, with history-aware brevity on
//!   follow-up edits.
//!
//! Catalog items are re-exported at the `coding` level so callers refer to them
//! as `crate::coding::ProgramSpec` rather than reaching into the submodule.

pub mod blueprint;
mod blueprint_programs;
pub mod catalog;
pub mod cst;
pub mod guidance;

pub use catalog::*;
pub use cst::validated_program_cst;