Repository navigation
Use a verified compile-only DSPy TypeSafe client - #103
Merged
Merged
Conversation
10 tasks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Native TypeWright compilation now uses DSPy’s TypeSafe adapter while frozen execution and held-out evaluation retain the direct SDK backend. The owner approved this compile-only boundary in #91; importing TypeWright or loading/running a frozen program still does not import DSPy or GEPA.
The verified wrapper submits complete native signatures and preserves full SDK response JSON, returned model, usage, Score legends and distinct native confidence values. It requires exact DSPy3.4.0/SDK0.7.0, explicit paid consent, zero SDK retries, disabled DSPy cache/history/tracking and pre-dispatch ManagedBackend budgets. No teacher Predict conversion is used for native target calls. New hierarchy proposals bind separate compile/runtime identities; old or altered reviewed manifests fail before provider construction and require fresh review.
CLI compile and flat/hierarchy selection use the compile client; run/evaluate and frozen held-out paths use the direct SDK.
compileandallextras select the exact native profile;optimizekeeps the verified3.3.1–3.4 teacher range.Validation: full685 passed on DSPy3.4.0;667 passed18 native-version skips on3.3.1. Ruff and build passed. Independent adapter/wiring/dependency review passed. Fresh wheel verified51files/all4entrypoints, no-key flat/hierarchy demos and complete synthetic study journey. Runtime and adapter-module import isolation passed with no optional libraries loaded; frozen run routing retained directSDK. Tests cover actual offline SDK constructor, native payload/response preservation, retries/identity/consent/budgets, hierarchy reservations/settlement/resume/replay, and seven obsolete/tampered consent cases.
Retained verification failure: the historical dependency test required a broad DSPy range in
all; it was updated to reflect the newly approved exact native profile while keeping the teacher-only range inoptimize, then both full suites passed. No paid inference, private uploads, production activation or live provider qualification executed. Authored test results are synthetic software evidence.Closes #91.