Bounded evidence-pack query with provenance and projection watermark #2

Open
opened 2026-09-02 07:53:30 +00:00 by larandar · 1 comment
Owner

Proposal

Reconciliation consumes a bounded pack keyed by the issue and its referenced entities — never the whole estate (docs/handoff.md §Reconciliation contract step 3, §Semantic retrieval budgets).

Design

HydraMem retrieval order: entity lookup → graph neighborhood → exact/BM25 → Datalog selection; semantic ranking only as a bounded, optional fifth step. Every budget from crates/currycomb-schema Budgets applies.

Tasks

  • pack query keyed by issue identity + entities, budgets enforced
  • every returned fact carries provenance and the generation watermark

Requirement scenario

GIVEN a fixture corpus over two projection generations, WHEN a pack is queried, THEN results never exceed the declared budgets and carry the watermark of the generation that answered.

Specification-completion clause (OD-7 / #40)

The consumption policy for a stale watermark — render now, or defer effects until the requested revision is projected — awaits OD-7. This unit ships the watermark as data; it does not rule on it.

## Proposal Reconciliation consumes a bounded pack keyed by the issue and its referenced entities — never the whole estate (`docs/handoff.md` §Reconciliation contract step 3, §Semantic retrieval budgets). ## Design HydraMem retrieval order: entity lookup → graph neighborhood → exact/BM25 → Datalog selection; semantic ranking only as a bounded, optional fifth step. Every budget from `crates/currycomb-schema` `Budgets` applies. ## Tasks - [ ] pack query keyed by issue identity + entities, budgets enforced - [ ] every returned fact carries provenance and the generation watermark ## Requirement scenario GIVEN a fixture corpus over two projection generations, WHEN a pack is queried, THEN results never exceed the declared budgets and carry the watermark of the generation that answered. ## Specification-completion clause (OD-7 / #40) The *consumption* policy for a stale watermark — render now, or defer effects until the requested revision is projected — awaits OD-7. This unit ships the watermark as data; it does not rule on it.
Author
Owner

Bounded evidence-pack query with provenance and projection watermark

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.

<!-- currycomb:refinement:v1 repo=Ting/CurryComb issue=2 --> # Bounded evidence-pack query with provenance and projection watermark 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._
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#2
No description provided.