Ting/CurryComb
Watch
2
0
Fork
You've already forked CurryComb
 0
Code Issues 47 Pull requests Projects Releases Packages Wiki Activity Actions

Degradation proof: Rig disabled reduces coverage, never correctness (Slice 5 exit) #19

New issue
Open
opened 2026-09-02 07:54:42 +00:00 by larandar · 1 comment
larandar commented 2026-09-02 07:54:42 +00:00
Owner
Copy link

Proposal

CI proof of the Slice 5 exit: with Rig disabled or unavailable, every decision made without it is still correct; only model-derived coverage disappears (§Failure behavior: LLM unavailable).

Tasks

  • corpus re-run with Rig adapter stubbed off
  • diff: deterministic decisions invariant; missing-predicate counts only

Requirement scenario

GIVEN the Slice 3 goldens, WHEN Slice 5 runs with Rig off, THEN all rule-derived digests match and no failure-mode effect is emitted.

## Proposal CI proof of the Slice 5 exit: with Rig disabled or unavailable, every decision made without it is still correct; only model-derived coverage disappears (§Failure behavior: LLM unavailable). ## Tasks - [ ] corpus re-run with Rig adapter stubbed off - [ ] diff: deterministic decisions invariant; missing-predicate counts only ## Requirement scenario GIVEN the Slice 3 goldens, WHEN Slice 5 runs with Rig off, THEN all rule-derived digests match and no failure-mode effect is emitted.
larandar commented 2026-09-02 08:46:56 +00:00
Author
Owner
Copy link

Degradation proof: Rig disabled reduces coverage, never correctness (Slice 5 exit)

State: open · Labels: Kind/Testing · 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=19 --> # Degradation proof: Rig disabled reduces coverage, never correctness (Slice 5 exit) State: `open` · Labels: Kind/Testing · Comments: 0 _Rendered by CurryComb slice 1 projection v1. The body will be replaced by rule-derived content in Slice 3._
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
fastlane
No results found.
Labels
Clear labels
  
Compat/Breaking
Breaking change that won't be backward compatible

  
Kind/Bug
Something is not working

  
Kind/Documentation
Documentation changes

  
Kind/Enhancement
Improve existing functionality

  
Kind/Feature
New functionality

  
Kind/Security
This is security issue

  
Kind/Testing
Issue or pull request related to testing

  
Meta/Campaign
Campaign grouping node; dependencies name its direct Epics

  
Meta/Epic
Epic grouping node; dependencies name its direct Sessions

  
Meta/Session
Session delivery bundle; dependencies name its direct leaf issues

  
Priority/Critical
The priority is critical

  
Priority/High
The priority is high

  
Priority/Low
The priority is low

  
Priority/Medium
The priority is medium

  
Reviewed/Confirmed
Issue has been confirmed

  
Reviewed/Curated
PR LABEL: merge by rebase/ff to preserve the commit line; absence means squash. Set by the AUTHOR. (Curation itself is a duty on every PR — the label only picks the merge style.)

  
Reviewed/Duplicate
This issue or pull request already exists

  
Reviewed/Invalid
Invalid issue

  
Reviewed/Won't Fix
This issue won't be fixed

  
Scope/Campaign
Umbrella issue grouping a coherent multi-issue campaign.

  
Status/Abandoned
Somebody has started to work on this but abandoned work

  
Status/Blocked
Something is blocking this issue or pull request

  
Status/Conflicted
STATE: steward rebase failed; work returned to its agent, with evidence.

  
Status/In Progress
STATE: claimed, workspace active. Exactly one assignee, or none when idle.

  
Status/In Review
STATE: PR open against fastlane. Set by steward (PR webhook).

  
Status/Need Grooming
Issue body and comments do not yet conform to the Deliverable record; grooming required.

  
Status/Need More Info
Feedback is required to reproduce issue or to continue work

  
Status/Ready
Ready for execution; no known blocker prevents useful work from starting.

No labels
Compat/Breaking
Kind/Bug
Kind/Documentation
Kind/Enhancement
Kind/Feature
Kind/Security
Kind/Testing
Meta/Campaign
Meta/Epic
Meta/Session
Priority/Critical
Priority/High
Priority/Low
Priority/Medium
Reviewed/Confirmed
Reviewed/Curated
Reviewed/Duplicate
Reviewed/Invalid
Reviewed/Won't Fix
Scope/Campaign
Status/Abandoned
Status/Blocked
Status/Conflicted
Status/In Progress
Status/In Review
Status/Need Grooming
Status/Need More Info
Status/Ready
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
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.

Blocks
#31 Slice 5 — targeted Rig extraction
Ting/CurryComb
Reference
Ting/CurryComb#19
No description provided.