M-INTEROCEPTION P2: chronoception — age the activation field by measured wall-clock delta (ENGRAM_CHRONOCEPTION, default OFF)
The felt passage of time is the cooling of the activation field, not a tick count and not an elapsed-seconds readout. engram_age_field(delta_ms) cools the field (working_memory_weight + background_activation) by the caller's MEASURED wall-clock delta with a pure exponential exp(-dt/TC) — no per-call floor — so it is exactly scale-invariant: N ticks summing to the same elapsed time produce the same total cooling. It returns the cooling MAGNITUDE (1-exp(-dt/TC), a bounded [0,1) drift signal), never elapsed seconds. Reboot = anesthesia: a global last-tick wall-clock stamp is persisted to a sidecar (chrono_last_tick) in the data dir. engram_age_field_catchup() reads it on boot, applies ONE cooling for the whole unconscious gap, refreshes the stamp, and reports the magnitude — timestamps are bookkeeping to COMPUTE the drift, never the felt signal. TC env-tunable via ENGRAM_CHRONO_TC (default 3600s). All inert unless ENGRAM_CHRONOCEPTION is set → OFF path byte-identical. MEASURED on a copy (throwaway HOME, TC=3600s): - Cooling scales with dt, matching 1-exp(-dt/TC) to 1e-6: dt=600s->0.1535, 1800s->0.3935, 3600s->0.6321, 7200s->0.8647. - Scale-invariance EXACT: age(dt) once vs age(dt/N) N times gives identical field sum (|delta|=0.0) for N=2, 10, 100. - Reboot catch-up over a 1h gap cooled the field 0.60->0.4415 in one shot, magnitude 0.6321, bounded in [0,1). - Flag OFF: age & catchup return 0, field untouched (sum 1.2). ASan+UBSan clean.
This commit is contained in:
Executable
+96
@@ -0,0 +1,96 @@
|
||||
#!/usr/bin/env bash
|
||||
# M-INTEROCEPTION P2 gate: chronoception (ENGRAM_CHRONOCEPTION).
|
||||
# Throwaway HOME + /tmp only. TC defaults to 3600s; we pin it for the math.
|
||||
set -u
|
||||
HERE="$(cd "$(dirname "$0")" && pwd)"
|
||||
RT="$HERE/../../lang/runtime/el_runtime.c"
|
||||
ST="$HERE/../../lang/runtime/engram_store.c"
|
||||
GEO="$HERE/../../lang/runtime/engram_geometry.c"
|
||||
VIDX="$HERE/../../lang/runtime/engram_vindex.c"
|
||||
INC="$HERE/../../lang/runtime"
|
||||
WORK="$(mktemp -d /tmp/engram-p2-XXXXXX)"
|
||||
export HOME="$WORK/home"; mkdir -p "$HOME"
|
||||
export ENGRAM_CHRONO_TC=3600 # pin cooling time-constant for the math
|
||||
unset ENGRAM_STORE
|
||||
fail=0
|
||||
|
||||
echo "== compile =="
|
||||
gcc -O1 -std=c11 -I "$INC" "$HERE/test_interoception_p2_chrono.c" "$RT" "$ST" "$GEO" "$VIDX" \
|
||||
-lcurl -lm -o "$WORK/p2" 2>"$WORK/cc.log" || { echo "COMPILE FAILED"; cat "$WORK/cc.log"; rm -rf "$WORK"; exit 1; }
|
||||
|
||||
sum_wm(){ python3 -c "import json,sys; g=json.load(open('$1')); print(sum(n.get('working_memory_weight',0) for n in g['nodes']))"; }
|
||||
|
||||
echo
|
||||
echo "== (a) cooling scales with dt (flag ON) =="
|
||||
for DT in 600000 1800000 3600000 7200000; do # 600s,1800s,3600s,7200s at TC=3600
|
||||
D="$WORK/dt$DT"; mkdir -p "$D"
|
||||
( export ENGRAM_CHRONOCEPTION=1; "$WORK/p2" once "$D" "$DT" ) >"$D/out.txt" 2>&1
|
||||
MAG=$(grep MAGNITUDE "$D/out.txt" | awk '{print $2}')
|
||||
WM=$(sum_wm "$D/field.json")
|
||||
PRED=$(python3 -c "import math; print(round(1-math.exp(-$DT/1000/3600),6))")
|
||||
echo " dt=${DT}ms magnitude=$MAG predicted 1-exp(-dt/TC)=$PRED field_wm_sum=$WM"
|
||||
python3 -c "import sys; m=float('$MAG'); p=float('$PRED'); sys.exit(0 if abs(m-p)<1e-4 else 1)" \
|
||||
&& echo " PASS: magnitude matches exp cooling" || { echo " FAIL"; fail=1; }
|
||||
done
|
||||
|
||||
echo
|
||||
echo "== (b) SCALE-INVARIANCE: age(dt) once == age(dt/N) N times (field within float tol) =="
|
||||
DT=3600000
|
||||
for N in 2 10 100; do
|
||||
DA="$WORK/inv_once_$N"; DB="$WORK/inv_split_$N"; mkdir -p "$DA" "$DB"
|
||||
( export ENGRAM_CHRONOCEPTION=1; "$WORK/p2" once "$DA" "$DT" ) >/dev/null 2>&1
|
||||
( export ENGRAM_CHRONOCEPTION=1; "$WORK/p2" split "$DB" "$DT" "$N" ) >/dev/null 2>&1
|
||||
WA=$(sum_wm "$DA/field.json"); WB=$(sum_wm "$DB/field.json")
|
||||
echo " N=$N once_wm=$WA split_wm=$WB |delta|=$(python3 -c "print(abs($WA-$WB))")"
|
||||
python3 -c "import sys; sys.exit(0 if abs($WA-$WB)<1e-9 else 1)" \
|
||||
&& echo " PASS: scale-invariant within 1e-9" || { echo " FAIL: not scale-invariant"; fail=1; }
|
||||
done
|
||||
|
||||
echo
|
||||
echo "== (c) REBOOT catch-up: one-shot cooling from persisted last-tick, reports MAGNITUDE not seconds =="
|
||||
D="$WORK/catch"; mkdir -p "$D"
|
||||
GAP=3600000 # 1h unconscious
|
||||
( export ENGRAM_CHRONOCEPTION=1 ENGRAM_DATA_DIR="$D"; "$WORK/p2" catchup "$D" "$GAP" ) >"$D/out.txt" 2>&1
|
||||
CMAG=$(grep CATCHUP_MAGNITUDE "$D/out.txt" | awk '{print $2}')
|
||||
CWM=$(sum_wm "$D/field.json")
|
||||
PRED=$(python3 -c "import math; print(round(1-math.exp(-$GAP/1000/3600),4))")
|
||||
echo " gap=${GAP}ms catchup_magnitude=$CMAG predicted=$PRED field_wm_sum=$CWM (was 0.6)"
|
||||
python3 -c "import sys; sys.exit(0 if abs(float('$CMAG')-float('$PRED'))<1e-2 else 1)" \
|
||||
&& echo " PASS: one-shot catch-up cooled by the elapsed gap, surfaced as a magnitude" \
|
||||
|| { echo " FAIL"; fail=1; }
|
||||
# honesty rail: magnitude is bounded [0,1), NOT an elapsed-seconds number
|
||||
python3 -c "import sys; m=float('$CMAG'); sys.exit(0 if 0<=m<1 else 1)" \
|
||||
&& echo " PASS: magnitude is a bounded drift signal in [0,1), never elapsed seconds" \
|
||||
|| { echo " FAIL: magnitude out of [0,1)"; fail=1; }
|
||||
|
||||
echo
|
||||
echo "== (d) OFF path: flag unset -> age & catchup return 0, field untouched =="
|
||||
D="$WORK/off"; mkdir -p "$D"
|
||||
( unset ENGRAM_CHRONOCEPTION; export ENGRAM_DATA_DIR="$D"; "$WORK/p2" offcheck "$D" 3600000 ) >"$D/out.txt" 2>&1
|
||||
cat "$D/out.txt" | sed 's/^/ /'
|
||||
OFFWM=$(sum_wm "$D/field.json")
|
||||
# loaded field wm sum = (1.0+0.8+0.6)*0.5 halving = 1.2 ; must be UNCHANGED
|
||||
echo " field_wm_sum=$OFFWM (expected 1.2, unchanged)"
|
||||
python3 -c "import sys; sys.exit(0 if abs($OFFWM-1.2)<1e-9 else 1)" \
|
||||
&& echo " PASS: OFF path leaves the field byte-identical (no aging)" \
|
||||
|| { echo " FAIL: OFF path modified the field"; fail=1; }
|
||||
|
||||
echo
|
||||
echo "== ASan+UBSan =="
|
||||
gcc -O1 -g -std=c11 -fsanitize=address,undefined -fno-sanitize-recover=undefined \
|
||||
-I "$INC" "$HERE/test_interoception_p2_chrono.c" "$RT" "$ST" "$GEO" "$VIDX" \
|
||||
-lcurl -lm -o "$WORK/p2.san" 2>"$WORK/san_cc.log" || { echo "SAN COMPILE FAILED"; tail -25 "$WORK/san_cc.log"; fail=1; }
|
||||
if [ -x "$WORK/p2.san" ]; then
|
||||
export ASAN_OPTIONS=detect_leaks=0
|
||||
DS="$WORK/san"; mkdir -p "$DS"
|
||||
( export ENGRAM_CHRONOCEPTION=1 ENGRAM_DATA_DIR="$DS"; "$WORK/p2.san" once "$DS" 3600000 ) >/dev/null 2>"$WORK/san.log"
|
||||
( export ENGRAM_CHRONOCEPTION=1 ENGRAM_DATA_DIR="$DS"; "$WORK/p2.san" catchup "$DS" 3600000 ) >/dev/null 2>>"$WORK/san.log"
|
||||
if grep -qiE 'runtime error|AddressSanitizer|Sanitizer|ERROR: ' "$WORK/san.log"; then
|
||||
echo " FAIL: sanitizer findings:"; grep -iE 'runtime error|Sanitizer|ERROR' "$WORK/san.log" | head; fail=1
|
||||
else echo " ok: ASan+UBSan clean"; fi
|
||||
fi
|
||||
|
||||
echo
|
||||
if [ "$fail" -eq 0 ]; then echo "====== P2 CHRONOCEPTION GATE: PASS ======"; else echo "====== P2 CHRONOCEPTION GATE: FAIL ======"; fi
|
||||
rm -rf "$WORK"
|
||||
exit $fail
|
||||
@@ -0,0 +1,95 @@
|
||||
/* test_interoception_p2_chrono.c — M-INTEROCEPTION Priority 2.
|
||||
* Chronoception: engram_age_field(delta_ms) + reboot catch-up
|
||||
* (ENGRAM_CHRONOCEPTION, default OFF).
|
||||
*
|
||||
* Uses loaded snapshots with KNOWN working_memory_weight / background_activation
|
||||
* so the field is deterministic without depending on activation. (engram_load
|
||||
* halves WM on boot — the laundering step — so snapshot wm 1.0 -> 0.5 resident.)
|
||||
*
|
||||
* Modes:
|
||||
* once <dir> <dt_ms> — age the field once by dt; save field.json.
|
||||
* split <dir> <dt_ms> <N> — age by dt/N, N times; save field.json.
|
||||
* (once vs split must match: scale-invariance.)
|
||||
* catchup <dir> <gap_ms> — write a last-tick gap_ms in the past, then
|
||||
* engram_age_field_catchup(); print MAGNITUDE.
|
||||
* offcheck <dir> <dt_ms> — flag OFF: age returns 0 and field is untouched.
|
||||
*/
|
||||
#include "el_runtime.h"
|
||||
#include <stdio.h>
|
||||
#include <stdlib.h>
|
||||
#include <string.h>
|
||||
#include <sys/time.h>
|
||||
|
||||
static el_val_t S(const char* s){ return EL_STR(s); }
|
||||
|
||||
static void write_seed(const char* dir){
|
||||
char p[1024]; snprintf(p,sizeof p,"%s/seed.json",dir);
|
||||
FILE* f=fopen(p,"w");
|
||||
fprintf(f,"{\"nodes\":["
|
||||
"{\"id\":\"f1\",\"content\":\"field node 1\",\"node_type\":\"Concept\",\"label\":\"f1\","
|
||||
"\"salience\":0.9,\"confidence\":1.0,\"working_memory_weight\":1.0,\"background_activation\":0.5},"
|
||||
"{\"id\":\"f2\",\"content\":\"field node 2\",\"node_type\":\"Concept\",\"label\":\"f2\","
|
||||
"\"salience\":0.8,\"confidence\":1.0,\"working_memory_weight\":0.8,\"background_activation\":0.4},"
|
||||
"{\"id\":\"f3\",\"content\":\"field node 3\",\"node_type\":\"Concept\",\"label\":\"f3\","
|
||||
"\"salience\":0.7,\"confidence\":1.0,\"working_memory_weight\":0.6,\"background_activation\":0.3}"
|
||||
"],\"edges\":[]}");
|
||||
fclose(f);
|
||||
}
|
||||
static void load_seed(const char* dir){
|
||||
char p[1024]; snprintf(p,sizeof p,"%s/seed.json",dir);
|
||||
write_seed(dir);
|
||||
if(!engram_load(S(p))){ fprintf(stderr,"load failed\n"); exit(2); }
|
||||
}
|
||||
static void save_field(const char* dir){
|
||||
char p[1024]; snprintf(p,sizeof p,"%s/field.json",dir);
|
||||
engram_save(S(p));
|
||||
}
|
||||
|
||||
int main(int argc,char** argv){
|
||||
if(argc<3){ fprintf(stderr,"usage: %s <once|split|catchup|offcheck> <dir> ...\n",argv[0]); return 2; }
|
||||
const char* mode=argv[1];
|
||||
const char* dir =argv[2];
|
||||
|
||||
if(!strcmp(mode,"once")){
|
||||
double dt=atof(argv[3]);
|
||||
load_seed(dir);
|
||||
el_val_t mag=engram_age_field((el_val_t)(int64_t)dt);
|
||||
printf("MAGNITUDE %.10f\n", el_to_float(mag));
|
||||
save_field(dir);
|
||||
return 0;
|
||||
}
|
||||
if(!strcmp(mode,"split")){
|
||||
double dt=atof(argv[3]); int N=atoi(argv[4]); if(N<1)N=1;
|
||||
load_seed(dir);
|
||||
double sub=dt/(double)N;
|
||||
for(int i=0;i<N;i++) engram_age_field((el_val_t)(int64_t)sub);
|
||||
save_field(dir);
|
||||
printf("SPLIT dt=%.0f N=%d sub=%.4f\n", dt, N, sub);
|
||||
return 0;
|
||||
}
|
||||
if(!strcmp(mode,"catchup")){
|
||||
double gap=atof(argv[3]);
|
||||
load_seed(dir);
|
||||
/* Write a last-tick gap_ms in the past. ENGRAM_DATA_DIR is set == dir by
|
||||
* the runner, so the sidecar the runtime reads is <dir>/chrono_last_tick. */
|
||||
struct timeval tv; gettimeofday(&tv,NULL);
|
||||
long long now_ms=(long long)tv.tv_sec*1000+tv.tv_usec/1000;
|
||||
long long last=now_ms-(long long)gap;
|
||||
char p[1200]; snprintf(p,sizeof p,"%s/chrono_last_tick",dir);
|
||||
FILE* f=fopen(p,"w"); fprintf(f,"%lld\n",last); fclose(f);
|
||||
el_val_t mag=engram_age_field_catchup();
|
||||
printf("CATCHUP_MAGNITUDE %.10f\n", el_to_float(mag));
|
||||
save_field(dir);
|
||||
return 0;
|
||||
}
|
||||
if(!strcmp(mode,"offcheck")){
|
||||
double dt=atof(argv[3]);
|
||||
load_seed(dir);
|
||||
el_val_t mag=engram_age_field((el_val_t)(int64_t)dt);
|
||||
el_val_t magc=engram_age_field_catchup();
|
||||
printf("OFF age_mag=%.10f catchup_mag=%.10f\n", el_to_float(mag), el_to_float(magc));
|
||||
save_field(dir);
|
||||
return 0;
|
||||
}
|
||||
fprintf(stderr,"unknown mode %s\n",mode); return 2;
|
||||
}
|
||||
Reference in New Issue
Block a user