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

Jostoph replay corpus: Ascent vs Mnestic equivalence (Migration proof 3–4) #22

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

Replay existing Jostoph records through both engines and require equivalent verdicts, reasons, carried effects, ordering, and failure behavior.

Tasks

  • corpus capture from Jostoph audit records
  • equivalence differential Ascent vs #21, failures included

Requirement scenario

GIVEN the replay corpus, WHEN both engines run, THEN every record's verdict, reason, effects, and order match; any mismatch is a filed defect, not a tolerance.

## Proposal Replay existing Jostoph records through both engines and require equivalent verdicts, reasons, carried effects, ordering, and failure behavior. ## Tasks - [ ] corpus capture from Jostoph audit records - [ ] equivalence differential Ascent vs #21, failures included ## Requirement scenario GIVEN the replay corpus, WHEN both engines run, THEN every record's verdict, reason, effects, and order match; any mismatch is a filed defect, not a tolerance.
larandar commented 2026-09-02 08:46:58 +00:00
Author
Owner
Copy link

Jostoph replay corpus: Ascent vs Mnestic equivalence (Migration proof 3–4)

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=22 --> # Jostoph replay corpus: Ascent vs Mnestic equivalence (Migration proof 3–4) 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
#32 Slice 6 — Datalog dialect migration
Ting/CurryComb
Reference
Ting/CurryComb#22
No description provided.