Deny-biased resolver port: verdicts, reasons, carried effects, ordering, failures #21

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

Proposal

Port the resolver before application rules (handoff §Migration proof 2). The Mnestic evaluator preserves everything §Datalog unification requires; denial and evaluation failure win; only decisive claims carry effects; ordering is deterministic.

Tasks

resolver as pure Datalog + narrow helpers, no file/network/effect access
rule source version + digest in every ruling

Requirement scenario

GIVEN conflicting claims, WHEN the resolver runs, THEN the deny-biased outcome, carried effects, and output order are a deterministic function of (facts, rule digest).

## Proposal Port the resolver before application rules (handoff §Migration proof 2). The Mnestic evaluator preserves everything §Datalog unification requires; denial and evaluation failure win; only decisive claims carry effects; ordering is deterministic. ## Tasks - [ ] resolver as pure Datalog + narrow helpers, no file/network/effect access - [ ] rule source version + digest in every ruling ## Requirement scenario GIVEN conflicting claims, WHEN the resolver runs, THEN the deny-biased outcome, carried effects, and output order are a deterministic function of (facts, rule digest).

larandar referenced this issue

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

Slice 6 — Datalog dialect migration #32

larandar referenced this issue

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

OD-6: rule ownership — canonical home for the shared schema and resolver #39

larandar referenced this issue

2026-09-02 07:57:47 +00:00

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

larandar added the

Kind/Enhancement

label

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

larandar added a new dependency

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

#32 Slice 6 — Datalog dialect migration

larandar referenced this issue

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

OD-6: rule ownership — canonical home for the shared schema and resolver #39

larandar commented

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

Author

Owner

Deny-biased resolver port: verdicts, reasons, carried effects, ordering, failures

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

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

# Deny-biased resolver port: verdicts, reasons, carried effects, ordering, failures State: `open` · Labels: Kind/Enhancement · Comments: 0 _Rendered by CurryComb slice 1 projection v1. The body will be replaced by rule-derived content in Slice 3._

larandar referenced this issue

2026-09-20 03:47:49 +00:00

OD-6: rule ownership — canonical home for the shared schema and resolver #39