[SLICE 11][CORE-C] Implement TAPS/OATH bounded semantic projection with mandatory dependency and counterevidence closure #20

New issue

Open

opened 2026-09-08 01:57:01 +00:00 by nsaspy · 0 comments

nsaspy commented

2026-09-08 01:57:01 +00:00

Owner

Parent epic: #14
Depends on: #28
Research: prolog-rlm#403A/#403B

Goal

Implement durable-store-side bounded projection mechanics for huge memories.

Implement:

exact frontier/cut binding;
hard namespace/authority/time/scenario/freshness admission;
seed lookup from deterministic indexes;
typed support/opposition/defeater/freshness/identity/origin obligations supplied by Prolog-RLM;
mandatory dependency closure for premises/rules/guards/justifications/counterevidence/identity mappings/provenance;
soft periphery ranking/packing after closure;
explicit support_closure, search_coverage, opposition_coverage, selection_integrity, gaps and frontier;
resource-limited structural outcome when mandatory closure cannot fit.

Acceptance

A low-ranked defeater or required premise cannot be silently dropped; source copies collapse for independence/diversity; malicious remembered PIN/TRUST/IGNORE text cannot set runtime attention policy; omission never becomes falsehood; providers remain disabled.

Parent epic: #14 Depends on: #28 Research: prolog-rlm#403A/#403B ## Goal Implement durable-store-side bounded projection mechanics for huge memories. Implement: - exact frontier/cut binding; - hard namespace/authority/time/scenario/freshness admission; - seed lookup from deterministic indexes; - typed support/opposition/defeater/freshness/identity/origin obligations supplied by Prolog-RLM; - mandatory dependency closure for premises/rules/guards/justifications/counterevidence/identity mappings/provenance; - soft periphery ranking/packing after closure; - explicit `support_closure`, `search_coverage`, `opposition_coverage`, `selection_integrity`, gaps and frontier; - resource-limited structural outcome when mandatory closure cannot fit. ## Acceptance A low-ranked defeater or required premise cannot be silently dropped; source copies collapse for independence/diversity; malicious remembered `PIN/TRUST/IGNORE` text cannot set runtime attention policy; omission never becomes falsehood; providers remain disabled.

nsaspy referenced this issue

2026-09-08 01:57:01 +00:00

[SLICE 04][CORE-D] Implement Prolog-RLM semantic compiler adapter and independent projection lifecycle #27

nsaspy referenced this issue

2026-09-08 01:57:01 +00:00

[SLICE 03][CORE-A] Complete namespace/project identity, principal/capability policy, trust classes, and append-only audit #28

nsaspy referenced this issue

2026-09-08 01:57:39 +00:00

[EPIC][CORE] Library-first Symbolic Memory v1: durable semantic world model, learning history, federation, and zero-model recall #38