Semantic eligibility and eviction policy with hard budgets #26

New issue

Open

opened 2026-09-02 07:55:06 +00:00 by larandar · 1 comment

larandar commented

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

Owner

Proposal

A fact becomes a vector only when a declared policy selects it: curated narrative summaries, repeated semantic misses from #25, or a bounded corpus where lexical retrieval is demonstrably insufficient. Eviction keeps the index inside its budget; a complete off switch exists.

Tasks

eligibility rules as data (declared policy per corpus class)
budget enforcement: candidate caps, artifact size ceiling, off switch

Requirement scenario

GIVEN an eligible corpus under a tight budget, WHEN compilation runs, THEN peak RSS stays inside the declared limit and disabling the policy deletes every vector with correctness unaffected.

## Proposal A fact becomes a vector only when a declared policy selects it: curated narrative summaries, repeated semantic misses from #25, or a bounded corpus where lexical retrieval is demonstrably insufficient. Eviction keeps the index inside its budget; a complete off switch exists. ## Tasks - [ ] eligibility rules as data (declared policy per corpus class) - [ ] budget enforcement: candidate caps, artifact size ceiling, off switch ## Requirement scenario GIVEN an eligible corpus under a tight budget, WHEN compilation runs, THEN peak RSS stays inside the declared limit and disabling the policy deletes every vector with correctness unaffected.

larandar referenced this issue

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

Slice 7 — selective semantic compilation #33

larandar added the

Kind/Feature

label

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

larandar added a new dependency

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

#33 Slice 7 — selective semantic compilation

larandar commented

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

Author

Owner

Semantic eligibility and eviction policy with hard budgets

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.

# Semantic eligibility and eviction policy with hard budgets 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

#33 Slice 7 — selective semantic compilation

Ting/CurryComb

Reference

Ting/CurryComb#26

No description provided.

Rows
Columns