This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
Authoritative engineering contract for #31. Source: docs/handoff.md §Slice 5, §Fact pipeline 4–5, §LLM and framework choice.
Proposal
Models enter only through typed, bounded questions and leave only as cited proposals routed through admission. Rig is an SDK, not a workflow engine; its absence costs coverage, never correctness.
Specification Delta
ADD predicate-typed Rig request over declared source spans, budget-enforced.
ADD proposed-assertion schema: span citations + confidence, admission-routed, never effect-bearing.
EXIT: Rig disabled → deterministic decisions invariant; miss counts only.
Design
Admission is Slice 4's #13; predicate misses come from Slice 3's #8.