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

Slice 6 — Datalog dialect migration #32

New issue
Open
opened 2026-09-02 07:55:22 +00:00 by larandar · 2 comments
larandar commented 2026-09-02 07:55:22 +00:00
Owner
Copy link

Change package: wiki OpenSpec-32-datalog-migration — authoritative engineering contract for this Session.

One decision schema and Datalog dialect across CurryComb, Jostoph, and Vedanta without a shared central database. The replacement MUST preserve typed values, guard semantics, recursion, deny-biased resolution, effect-to-claim joins, deterministic ordering, rule digests, and pure evaluation (docs/handoff.md §Datalog unification).

Tasks

  • #20 Shared value + relation schema crate (OD-6 home)
  • #21 Deny-biased resolver port with parity suite
  • #22 Jostoph replay corpus: Ascent vs Mnestic equivalence
  • #23 Vedanta canary port
  • #24 Jostoph shadow mode and Ascent retirement gate

Exit (handoff)

The estate uses one decision schema and Datalog dialect without a shared central database. Ascent retires only after the parity gate.

Change package: wiki [OpenSpec-32-datalog-migration](https://jo.et0.pw/Ting/CurryComb/wiki/OpenSpec-32-datalog-migration.-) — authoritative engineering contract for this Session. One decision schema and Datalog dialect across CurryComb, Jostoph, and Vedanta without a shared central database. The replacement MUST preserve typed values, guard semantics, recursion, deny-biased resolution, effect-to-claim joins, deterministic ordering, rule digests, and pure evaluation (`docs/handoff.md` §Datalog unification). ## Tasks - [ ] #20 Shared value + relation schema crate (OD-6 home) - [ ] #21 Deny-biased resolver port with parity suite - [ ] #22 Jostoph replay corpus: Ascent vs Mnestic equivalence - [ ] #23 Vedanta canary port - [ ] #24 Jostoph shadow mode and Ascent retirement gate ## Exit (handoff) The estate uses one decision schema and Datalog dialect without a shared central database. Ascent retires only after the parity gate.
larandar commented 2026-09-02 08:47:02 +00:00
Author
Owner
Copy link

Slice 6 — Datalog dialect migration

State: open · Labels: Kind/Enhancement, 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=32 --> # Slice 6 — Datalog dialect migration State: `open` · Labels: Kind/Enhancement, Meta/Session · Comments: 0 _Rendered by CurryComb slice 1 projection v1. The body will be replaced by rule-derived content in Slice 3._
larandar commented 2026-09-20 03:54:45 +00:00
Author
Owner
Copy link

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 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
#33 Slice 7 — selective semantic compilation
Ting/CurryComb
#42 Build: implementation Slices 2→7
Ting/CurryComb
Depends on
#20 Shared value + relation schema crate: typed values replace Jostoph Atom
Ting/CurryComb
#21 Deny-biased resolver port: verdicts, reasons, carried effects, ordering, failures
Ting/CurryComb
#22 Jostoph replay corpus: Ascent vs Mnestic equivalence (Migration proof 3–4)
Ting/CurryComb
#23 Vedanta canary port (Migration proof 5)
Ting/CurryComb
#24 Jostoph shadow mode and the Ascent retirement gate (Migration proof 6–7)
Ting/CurryComb
#31 Slice 5 — targeted Rig extraction
Ting/CurryComb
#39 OD-6: rule ownership — canonical home for the shared schema and resolver
Ting/CurryComb
Reference
Ting/CurryComb#32
No description provided.