Crate sim_lib_forge

Expand description

Compiled intent records, BRIDGE lifts, and reusable packet-program lookup.

sim-lib-forge carries the stable data records that name a prose intent, the normalized source content, the compiled BRIDGE packet content, and the verification state that controls reuse. Its lift paths ask a model for a candidate BRIDGE packet, verify the packet locally, and keep the artifact in Candidate state until separate semantic checks or human approval promote it. The intent library is a named index over those content ids, so golden artifacts can be fetched instead of recompiled.

Structs§

ArmMetrics: Metrics aggregated for one eval arm.
CompiledIntent: Named, versioned wrapper around a structurally checked BRIDGE packet.
EvalArm: One eval arm configuration.
EvalCase: One committed FORGE eval case.
EvalCassette: Deterministic cassette rows for one eval case.
EvalPlayback: Recorded model answer and token cost for one deterministic eval playback.
EvalReport: Eval report across all requested arms.
ForgeLib: Loadable FORGE command library.
ForgeResolver: Stateful FORGE resolver with an intent library index.
FrameSpecProposal: Candidate frame specification inferred from prose that has no registered frame.
IntentLibrary: Named index for compiled intent artifacts.
LiftOptions: Options for one FORGE prose-to-packet lift.
RouteAttempt: One target attempt made by the router.
RoutePolicy: Cost-aware route policy for a compiled intent call.
RouteProvenance: Provenance for the routed answer.
RouteTarget: One eval target in a cost-ordered route ladder.
RoutedAnswer: Answer plus route provenance and attempt details.
VerifyCatalog: Local catalog binding verifier ids, probes, and cited ground truth.
VerifyFailure: One failed semantic verifier.
VerifyProbe: Concrete case that proves a compiled intent against required verifiers.
VerifyReport: Semantic verification result for one answer or probe set.

Enums§

IntentStatus: Verification and approval state for a compiled intent artifact.
ProbeOracle: Oracle backing a concrete verification probe.
PromotePolicy: Promotion rule applied after a resolve miss lifts a fresh candidate.
RouteAttemptStatus: Status for one route attempt.
Verifier: Semantic verifier registered for a compiled intent.

Statics§

RECIPES: Cookbook recipes embedded from this crate’s recipes/ directory.

Functions§

approve_frame_proposal: Registers a human-approved proposal in book and returns the new book id.
assert_return_shape_parses: Verifies that a compiled packet declares a parseable return Shape.
forge_entrypoint_symbol: Entrypoint symbol claimed by the loadable forge command library.
forge_lift_frontier: Compiles prose into a checked candidate packet by authoring one BRIDGE part at a time through the shared frontier menu.
forge_lift_once: Compiles prose into a structurally checked candidate BRIDGE packet artifact.
forge_resolve: Resolves prose through an empty in-memory intent library.
forge_resolve_with_options: Resolves prose through an explicit library and lift options.
forge_verb: Runs the FORGE command verb and returns a structured report expression.
normalize_prose: Normalizes prose into the byte-level source identity used by FORGE.
propose_frame: Proposes a typed frame spec for prose that has no registered frame.
proposed_frame_part: Builds a normative frame part from an approved proposal and matching prose.
run_eval: Runs the corpus against the requested eval arms.
run_intent_routed: Runs a compiled intent through a cost-aware route ladder and returns only the accepted decoded answer.
run_intent_routed_report: Runs a compiled intent through a cost-aware route ladder and returns route provenance with the accepted decoded answer.
standard_eval_arms: Returns the standard FORGE eval arms.
standard_eval_corpus: Returns the committed network-free FORGE eval corpus.
store_packet_artifact: Stores a BRIDGE packet artifact in the context datum store and returns its canonical packet content id.
verify_answer: Runs semantic verification with an empty catalog.