Ting/CurryComb

Watch

Fork 0

Minimal refinement ruleset: readiness, blockers, decomposition, missing predicates #8

New issue

Open

opened 2026-09-02 07:53:48 +00:00 by larandar · 1 comment

larandar commented

2026-09-02 07:53:48 +00:00

Owner

Proposal

Datalog over structural facts plus the bounded pack derives refinement judgments (handoff §Fact pipeline 3). Rules are reviewed source files; every conclusion carries the rule version and digest.

Design

Ruleset: observable completeness checks — missing predicates, unsized work, absent acceptance scenarios, stale blockers, decomposition candidates. Engine: the Mnestic Datalog substrate from Slice 2.

Tasks

rule source layout + versioning, rule_digest per firing set
readiness / blocker / decomposition / missing-predicate conclusions
typed missing-predicate routing: adapter | Rig | named human (§Fact pipeline 4)

Requirement scenario

GIVEN the fixture corpus, WHEN the ruleset runs with the same rule digest, THEN every conclusion names its decisive rule and digest, and reruns are identical.

## Proposal Datalog over structural facts plus the bounded pack derives refinement judgments (handoff §Fact pipeline 3). Rules are reviewed source files; every conclusion carries the rule version and digest. ## Design Ruleset: observable completeness checks — missing predicates, unsized work, absent acceptance scenarios, stale blockers, decomposition candidates. Engine: the Mnestic Datalog substrate from Slice 2. ## Tasks - [ ] rule source layout + versioning, rule_digest per firing set - [ ] readiness / blocker / decomposition / missing-predicate conclusions - [ ] typed missing-predicate routing: adapter | Rig | named human (§Fact pipeline 4) ## Requirement scenario GIVEN the fixture corpus, WHEN the ruleset runs with the same rule digest, THEN every conclusion names its decisive rule and digest, and reruns are identical.

larandar referenced this issue

2026-09-02 07:53:48 +00:00

Entity resolution via HydraMem pack: aliases and provenance, no embedding merges #9

larandar referenced this issue

2026-09-02 07:53:48 +00:00

Canonical comment v2: derived state rendered, real digests replace Slice 1 placeholders #10

larandar referenced this issue

2026-09-02 07:55:22 +00:00

Slice 3 — rules before models #29

larandar added the

Kind/Feature

label

2026-09-02 07:58:49 +00:00

larandar added a new dependency

2026-09-02 08:00:00 +00:00

#29 Slice 3 — rules before models

larandar commented

2026-09-02 08:46:51 +00:00

Author

Owner

Minimal refinement ruleset: readiness, blockers, decomposition, missing predicates

State: open · Labels: Kind/Feature · Comments: 0

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

# Minimal refinement ruleset: readiness, blockers, decomposition, missing predicates State: `open` · Labels: Kind/Feature · Comments: 0 _Rendered by CurryComb slice 1 projection v1. The body will be replaced by rule-derived content in Slice 3._

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.

Blocks

#29 Slice 3 — rules before models

Ting/CurryComb

Reference

Ting/CurryComb#8

No description provided.

Rows
Columns