sim_lib_forge/
lib.rs

1//! Compiled intent records, BRIDGE lifts, and reusable packet-program lookup.
2//!
3//! `sim-lib-forge` carries the stable data records that name a prose intent,
4//! the normalized source content, the compiled BRIDGE packet content, and the
5//! verification state that controls reuse. Its lift paths ask a model for a
6//! candidate BRIDGE packet, verify the packet locally, and keep the artifact in
7//! `Candidate` state until separate semantic checks or human approval promote
8//! it. The intent library is a named index over those content ids, so golden
9//! artifacts can be fetched instead of recompiled.
10
11#![forbid(unsafe_code)]
12#![deny(missing_docs)]
13
14mod eval;
15mod frame_propose;
16mod intent;
17mod library;
18mod lift;
19mod lift_frontier;
20mod normalize;
21mod packet_artifact;
22mod resolve;
23mod route;
24mod shape_infer;
25mod verb;
26mod verify;
27
28#[cfg(test)]
29mod eval_tests;
30#[cfg(test)]
31mod frame_propose_tests;
32#[cfg(test)]
33mod resolve_tests;
34#[cfg(test)]
35mod route_tests;
36#[cfg(test)]
37mod tests;
38#[cfg(test)]
39mod verb_tests;
40#[cfg(test)]
41mod verify_tests;
42
43pub use eval::{
44    ArmMetrics, EvalArm, EvalCase, EvalCassette, EvalPlayback, EvalReport, run_eval,
45    standard_eval_arms, standard_eval_corpus,
46};
47pub use frame_propose::{
48    FrameSpecProposal, approve_frame_proposal, propose_frame, proposed_frame_part,
49};
50pub use intent::{CompiledIntent, IntentStatus};
51pub use library::IntentLibrary;
52pub use lift::{LiftOptions, forge_lift_once};
53pub use lift_frontier::forge_lift_frontier;
54pub use normalize::normalize_prose;
55pub use packet_artifact::store_packet_artifact;
56pub use resolve::{ForgeResolver, PromotePolicy, forge_resolve, forge_resolve_with_options};
57pub use route::{
58    RouteAttempt, RouteAttemptStatus, RoutePolicy, RouteProvenance, RouteTarget, RoutedAnswer,
59    run_intent_routed, run_intent_routed_report,
60};
61pub use shape_infer::assert_return_shape_parses;
62pub use verb::{ForgeLib, forge_entrypoint_symbol, forge_verb};
63pub use verify::{
64    ProbeOracle, Verifier, VerifyCatalog, VerifyFailure, VerifyProbe, VerifyReport, verify_answer,
65};
66
67/// Cookbook recipes embedded from this crate's `recipes/` directory.
68pub static RECIPES: sim_cookbook::EmbeddedDir =
69    include!(concat!(env!("OUT_DIR"), "/cookbook_recipes.rs"));
sim_lib_forge/lib.rs

sim_lib_forge/
lib.rs
