nsaspy/symbolic-memory
1
0
Fork 0
Code Issues 42 Pull requests 2 Projects Releases Packages Wiki Activity Actions

[SLICE 27][CORE-H] Symbolic Memory v1 north-star integration: heterogeneous corpus → durable semantics → bounded zero-model reasoning → learned-history replay #4

New issue
Open
opened 2026-09-08 01:56:59 +00:00 by nsaspy · 1 comment
nsaspy commented 2026-09-08 01:56:59 +00:00
Owner
Copy link

Parent epic: #19
Umbrella: #11
Depends on: #20-#44 and existing #4-#10 as applicable

Goal

Prove the library as one coherent system rather than a collection of independently green subsystems.

End-to-end fixture:

heterogeneous source corpus
  -> exact durable source
  -> semantic projection through prolog-rlm
  -> append-only full-IR ledger
  -> restart
  -> current/history + epistemic support views
  -> identity reconciliation
  -> bounded TAPS projection
  -> prolog-rlm symbolic reasoning
  -> experience record
  -> learned candidate + evaluation/promotion lineage
  -> later drift/suspension/supersession
  -> historical replay

Required corpus includes at least procedures, technical/system facts, historical events, policy/default+exception, quantitative constraints, attributed conflicting claims, and cross-memory identity references.

Acceptance

With original prose absent from active model context and providers disabled where semantics are already compiled:

  • answer taxonomy/fact/time/default/conflict/causal/procedure/constraint questions;
  • derive at least one multi-step conditional procedure;
  • expose supporting and opposing evidence with exact source spans;
  • produce a bounded dependency-complete projection;
  • restart/rebuild derived state without answer drift;
  • record an execution experience and candidate learned object without auto-promotion;
  • persist one promotion receipt and later suspension/supersession lineage;
  • replay the exact historical learned-object/frontier state;
  • transport and direct-library surfaces agree;
  • remembered actions/policies never grant host capability/authority;
  • known symbolic path reports model_calls = 0.

This issue closes Symbolic Memory v1 implementation, not the broader Machine Spirit milestone. Machine Spirit remains gated by prolog-rlm#405 executable synthesis.

Parent epic: #19 Umbrella: #11 Depends on: #20-#44 and existing #4-#10 as applicable ## Goal Prove the library as one coherent system rather than a collection of independently green subsystems. End-to-end fixture: ```text heterogeneous source corpus -> exact durable source -> semantic projection through prolog-rlm -> append-only full-IR ledger -> restart -> current/history + epistemic support views -> identity reconciliation -> bounded TAPS projection -> prolog-rlm symbolic reasoning -> experience record -> learned candidate + evaluation/promotion lineage -> later drift/suspension/supersession -> historical replay ``` Required corpus includes at least procedures, technical/system facts, historical events, policy/default+exception, quantitative constraints, attributed conflicting claims, and cross-memory identity references. ## Acceptance With original prose absent from active model context and providers disabled where semantics are already compiled: - answer taxonomy/fact/time/default/conflict/causal/procedure/constraint questions; - derive at least one multi-step conditional procedure; - expose supporting and opposing evidence with exact source spans; - produce a bounded dependency-complete projection; - restart/rebuild derived state without answer drift; - record an execution experience and candidate learned object without auto-promotion; - persist one promotion receipt and later suspension/supersession lineage; - replay the exact historical learned-object/frontier state; - transport and direct-library surfaces agree; - remembered actions/policies never grant host capability/authority; - known symbolic path reports `model_calls = 0`. This issue closes **Symbolic Memory v1 implementation**, not the broader Machine Spirit milestone. Machine Spirit remains gated by prolog-rlm#405 executable synthesis.
nsaspy commented 2026-09-08 01:59:55 +00:00
Author
Owner
Copy link

Machine Spirit #405A integration mapping

prolog-rlm#405A now defines COVENANT-MS as the baseline end-to-end typed contract spine. This #45 fixture is the natural durable-library integration component, but it must not be renamed/reported as Machine Spirit acceptance by itself.

For alignment, #45 should emit/retain enough structured identity to populate the synthesis ms_run_envelope / conformance capsule: exact source/projection versions, world/frontier cut, semantic/epistemic profile, identity/dependence generations, bounded-projection receipt, procedure/expert/verifier refs when invoked, experience/candidate/promotion lineage, provider/resource usage and replay class.

The final known-symbolic route must have original prose absent from active model context and providers disabled with model_calls=0. Any live model/remote requery during historical replay is a new observation lineage, not exact replay.

Current IMPLEMENTATION-STATUS.md correctly warns that the first remember/get vertical is authored but not yet executable-green; retain that evidence discipline. #405D remains the broader acceptance gate.

Refs #11 #19 #43 and prolog-rlm#397/#405/#387/#395.

## Machine Spirit #405A integration mapping `prolog-rlm#405A` now defines **COVENANT-MS** as the baseline end-to-end typed contract spine. This #45 fixture is the natural durable-library integration component, but it must not be renamed/reported as Machine Spirit acceptance by itself. For alignment, #45 should emit/retain enough structured identity to populate the synthesis `ms_run_envelope` / conformance capsule: exact source/projection versions, world/frontier cut, semantic/epistemic profile, identity/dependence generations, bounded-projection receipt, procedure/expert/verifier refs when invoked, experience/candidate/promotion lineage, provider/resource usage and replay class. The final known-symbolic route must have original prose absent from active model context and providers disabled with `model_calls=0`. Any live model/remote requery during historical replay is a new observation lineage, not exact replay. Current `IMPLEMENTATION-STATUS.md` correctly warns that the first remember/get vertical is authored but not yet executable-green; retain that evidence discipline. #405D remains the broader acceptance gate. Refs #11 #19 #43 and prolog-rlm#397/#405/#387/#395.
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
rage/002-symbolic-projection-recall
rage/001-remember-get
noop
No results found.
Labels
Clear labels   
accessibility
Barrier affecting people with disabilities

  
bug
Something isn't working

  
documentation
Improvements or additions to documentation

  
duplicate
This issue or pull request already exists

  
enhancement
New feature or request

  
good first issue
Good for newcomers

  
help wanted
Extra attention is needed

  
invalid
This doesn't seem right

  
question
Further information is requested

  
wontfix
This will not be worked on

No labels
accessibility
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
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.

Dependencies

No dependencies set.

Reference
nsaspy/symbolic-memory#4
No description provided.