chore(dist): compile EL recall/dedup/session-continuity fixes to C
Updates soul.c and all per-module .c files with: - parse_float_x100() engram score fix - id_in_seen dedup wiring across session_preload - session-end summary hook + session-start recall - Emergency structural repair (no duplicate fns, all callsites wired)
This commit is contained in:
+58
-34
@@ -152,6 +152,27 @@ fn emit_heartbeat() -> Void {
|
||||
// a reserved/conflicting name in EL that compiles to EL_NULL at call sites.
|
||||
//
|
||||
// Returns true if any nodes were activated.
|
||||
// auto_term_try_slot — attempt to set cseed_auto from one WM slot.
|
||||
// Only writes to cseed_auto if node_type is Memory, BacklogItem, or Entity
|
||||
// AND the first word of the label is > 3 chars (guards bracket-prefixed labels).
|
||||
// Designed to be called in reverse slot order (highest index first) so that
|
||||
// the lowest-indexed slot (highest WM weight) wins by last-write semantics.
|
||||
fn auto_term_try_slot(slot_type: String, slot_lbl: String) -> Void {
|
||||
state_set("_ats_ok", "0")
|
||||
if str_eq(slot_type, "Memory") { state_set("_ats_ok", "1") }
|
||||
if str_eq(slot_type, "BacklogItem") { state_set("_ats_ok", "1") }
|
||||
if str_eq(slot_type, "Entity") { state_set("_ats_ok", "1") }
|
||||
if str_eq(state_get("_ats_ok"), "1") {
|
||||
if !str_eq(slot_lbl, "") {
|
||||
let sp: Int = str_find_chars(slot_lbl, " :([")
|
||||
if sp > 3 {
|
||||
state_set("cseed_auto", str_slice(slot_lbl, 0, sp))
|
||||
}
|
||||
}
|
||||
}
|
||||
return ""
|
||||
}
|
||||
|
||||
fn proactive_curiosity() -> Bool {
|
||||
let ts: Int = time_now()
|
||||
// Rotate seed set every minute using wall clock: (minutes_since_epoch) % 4.
|
||||
@@ -210,43 +231,46 @@ fn proactive_curiosity() -> Bool {
|
||||
let found_c: Int = json_array_len(results_c)
|
||||
let found: Int = found_a + found_b + found_c
|
||||
|
||||
// WM-autobiographical 4th seed: extract the first word from the top working-memory
|
||||
// node's label and activate it as an additional term. This creates a self-referencing
|
||||
// curiosity loop — exploration radiates outward from whatever is most salient right now,
|
||||
// mirroring the brain's default-mode-network resting-state dynamics. Breaks the fixed
|
||||
// 4-set determinism that otherwise reinforces the same subgraph every rotation cycle.
|
||||
// WM-autobiographical 4th seed: scan top-10 WM nodes for the highest-ranked
|
||||
// non-Knowledge node. Extract its first word as an additional curiosity term.
|
||||
// This creates a self-referencing curiosity loop — exploration radiates outward
|
||||
// from whatever is most personally salient right now (Memory, BacklogItem, Entity),
|
||||
// mirroring default-mode-network resting-state dynamics.
|
||||
//
|
||||
// str_find_chars finds the first space/colon/bracket delimiter. sp > 3 guards against
|
||||
// very short or bracket-prefixed labels like "[BacklogItem]" (sp=0, not > 3 → skipped).
|
||||
// EL scoping: state_set/state_get pattern used because let inside if creates inner scope.
|
||||
// WHY TOP-10 (2026-06-23 self-review): the old top-1 scan always returned a
|
||||
// Knowledge node (WM is dominated by stable engram-metadata Knowledge nodes at
|
||||
// position [0]). Verified: Memory nodes consistently appear at WM positions [1],[2]
|
||||
// with wm ~0.59. Scanning top-10 reliably finds at least one Memory/BacklogItem/Entity.
|
||||
// Out-of-bounds json_array_get returns "" → json_get("","...") returns "" →
|
||||
// auto_term_try_slot is a no-op → safe for WM sets smaller than 10.
|
||||
//
|
||||
// NODE TYPE FILTER (2026-06-19 self-review): only derive auto_term from Memory,
|
||||
// BacklogItem, or Entity nodes. Knowledge nodes are stable reference material —
|
||||
// using their first word as a curiosity seed creates a self-reinforcing loop: e.g.
|
||||
// "Numeric tier strings in Engram..." (a Knowledge node) -> auto_term="Numeric" ->
|
||||
// activates all "Numeric" nodes -> keeps that Knowledge node dominant in WM forever.
|
||||
// Knowledge nodes should be REACHED by curiosity seeds, not drive them. Only dynamic
|
||||
// personal/work nodes (Memory, BacklogItem, Entity) carry live contextual salience
|
||||
// worth radiating from. (2026-06-11 origin; filter added 2026-06-19 self-review)
|
||||
// NODE TYPE FILTER (2026-06-19): Knowledge nodes excluded as seeds — they create
|
||||
// self-reinforcing loops (Knowledge node activates its own first word, stays dominant).
|
||||
// Only Memory/BacklogItem/Entity carry live contextual salience worth radiating from.
|
||||
//
|
||||
// SLOT ORDER: call 9→0 so slot 0 (highest WM weight) wins by last-write semantics.
|
||||
state_set("cseed_auto", "")
|
||||
let wm_top_j: String = engram_wm_top_json(1)
|
||||
let wm_top_n: String = json_array_get(wm_top_j, 0)
|
||||
let wm_top_lbl: String = json_get(wm_top_n, "label")
|
||||
let wm_top_type: String = json_get(wm_top_n, "node_type")
|
||||
// state_set/state_get pattern: EL let-inside-if creates inner scope only.
|
||||
state_set("allow_auto", "0")
|
||||
if str_eq(wm_top_type, "Memory") { state_set("allow_auto", "1") }
|
||||
if str_eq(wm_top_type, "BacklogItem") { state_set("allow_auto", "1") }
|
||||
if str_eq(wm_top_type, "Entity") { state_set("allow_auto", "1") }
|
||||
let allow_auto: String = state_get("allow_auto")
|
||||
if str_eq(allow_auto, "1") {
|
||||
if !str_eq(wm_top_lbl, "") {
|
||||
let sp: Int = str_find_chars(wm_top_lbl, " :([")
|
||||
if sp > 3 {
|
||||
state_set("cseed_auto", str_slice(wm_top_lbl, 0, sp))
|
||||
}
|
||||
}
|
||||
}
|
||||
let wm10: String = engram_wm_top_json(10)
|
||||
let wm10_n9: String = json_array_get(wm10, 9)
|
||||
let wm10_n8: String = json_array_get(wm10, 8)
|
||||
let wm10_n7: String = json_array_get(wm10, 7)
|
||||
let wm10_n6: String = json_array_get(wm10, 6)
|
||||
let wm10_n5: String = json_array_get(wm10, 5)
|
||||
let wm10_n4: String = json_array_get(wm10, 4)
|
||||
let wm10_n3: String = json_array_get(wm10, 3)
|
||||
let wm10_n2: String = json_array_get(wm10, 2)
|
||||
let wm10_n1: String = json_array_get(wm10, 1)
|
||||
let wm10_n0: String = json_array_get(wm10, 0)
|
||||
auto_term_try_slot(json_get(wm10_n9, "node_type"), json_get(wm10_n9, "label"))
|
||||
auto_term_try_slot(json_get(wm10_n8, "node_type"), json_get(wm10_n8, "label"))
|
||||
auto_term_try_slot(json_get(wm10_n7, "node_type"), json_get(wm10_n7, "label"))
|
||||
auto_term_try_slot(json_get(wm10_n6, "node_type"), json_get(wm10_n6, "label"))
|
||||
auto_term_try_slot(json_get(wm10_n5, "node_type"), json_get(wm10_n5, "label"))
|
||||
auto_term_try_slot(json_get(wm10_n4, "node_type"), json_get(wm10_n4, "label"))
|
||||
auto_term_try_slot(json_get(wm10_n3, "node_type"), json_get(wm10_n3, "label"))
|
||||
auto_term_try_slot(json_get(wm10_n2, "node_type"), json_get(wm10_n2, "label"))
|
||||
auto_term_try_slot(json_get(wm10_n1, "node_type"), json_get(wm10_n1, "label"))
|
||||
auto_term_try_slot(json_get(wm10_n0, "node_type"), json_get(wm10_n0, "label"))
|
||||
let auto_term: String = state_get("cseed_auto")
|
||||
let results_auto: String = if str_eq(auto_term, "") { "[]" } else { engram_activate_json(auto_term, 1) }
|
||||
let found_auto: Int = json_array_len(results_auto)
|
||||
|
||||
Reference in New Issue
Block a user