Slice 5 — targeted Rig extraction #31

Open
opened 2026-09-02 07:55:22 +00:00 by larandar · 2 comments
Owner

Change package: wiki OpenSpec-31-rig-extraction — authoritative engineering contract for this Session.

Rig answers typed, bounded missing-predicate requests with cited proposals. It never owns workflow state, memory authority, or effects (docs/handoff.md §LLM and framework choice, §Evidence admission).

Tasks

  • #17 Rig adapter: typed predicate request over bounded spans
  • #18 Proposed-assertion schema routed through admission
  • #19 Degradation proof: Rig off, correct stays (exit)

Exit (handoff)

Disabling Rig degrades automation coverage, not correctness.

Change package: wiki [OpenSpec-31-rig-extraction](https://jo.et0.pw/Ting/CurryComb/wiki/OpenSpec-31-rig-extraction.-) — authoritative engineering contract for this Session. Rig answers typed, bounded missing-predicate requests with cited proposals. It never owns workflow state, memory authority, or effects (`docs/handoff.md` §LLM and framework choice, §Evidence admission). ## Tasks - [ ] #17 Rig adapter: typed predicate request over bounded spans - [ ] #18 Proposed-assertion schema routed through admission - [ ] #19 Degradation proof: Rig off, correct stays (exit) ## Exit (handoff) Disabling Rig degrades automation coverage, not correctness.
Author
Owner

Slice 5 — targeted Rig extraction

State: open · Labels: Kind/Feature, Meta/Session · Comments: 0

Rendered by CurryComb slice 1 projection v1. The body will be replaced by rule-derived content in Slice 3.

<!-- currycomb:refinement:v1 repo=Ting/CurryComb issue=31 --> # Slice 5 — targeted Rig extraction State: `open` · Labels: Kind/Feature, Meta/Session · Comments: 0 _Rendered by CurryComb slice 1 projection v1. The body will be replaced by rule-derived content in Slice 3._
Author
Owner

The Session must carry a conformant record: one-line outcome, an explicit child acceptance/exit scenario, and named gate edges. It must state that contract rather than delegating it to wiki or handoff pointers. Audit G42, grooming audit 2026-09-19/20.

<!-- larandar:groom:v1 --> The Session must carry a conformant record: one-line outcome, an explicit child acceptance/exit scenario, and named gate edges. It must state that contract rather than delegating it to wiki or handoff pointers. Audit G42, grooming audit 2026-09-19/20.
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Reference
Ting/CurryComb#31
No description provided.