bigmerge
678dac5efc
First concern moved out of el_runtime.c under the ratchet, and the move is
deliberately small: it exists to prove the mechanism end to end before anything
large depends on it.
engram_text.{c,h} — query tokenization, candidate-token hygiene, word-boundary
matching, and the text-damage signature. Four functions, moved verbatim; only
`static` was dropped and each doc comment travelled with the code. They touch no
EL value type and no engram store type: plain C over <ctype.h>/<string.h> over
char buffers. They were never el_runtime.c's business.
el_runtime.c 20,527 -> 20,427 lines (BUDGET max_lines ratcheted down)
engram fns 279 -> 275 (BUDGET max_engram_fns ratcheted down)
The Stage 1 extension point worked as designed: adding the file to
lang/runtime/SOURCES was one line, and every build path picked it up. The
Stage 2 drift guard then caught that I had NOT added it to install.sh's
standalone list — the exact class of drift it was written for, on its first
real change, before the commit rather than after a broken SDK shipped.
WHY ONLY 100 LINES, AND WHAT ACTUALLY BLOCKS THE REST
Measured, not estimated: of 273 engram-domain functions in el_runtime.c
(~9,700 lines), only 75 (~1,058 lines) can move today, and they are scattered
rather than clustered. The blocker is a single fact:
EngramNode, EngramEdge, EngramStore, EngramLayer, EngramWal and EngramIdSlot
are typedef'd INSIDE el_runtime.c. No sibling can see them. engram_store.h
defines a SEPARATE serializable "node view" struct and maps between the two.
So every engram function that takes an EngramNode* — which is most of them, 109
of 273 by direct type reference — cannot compile in engram_store.c until those
types move to a shared header. That extraction is the real Stage 3 enabler and
it deserves its own change: it touches the most load-bearing struct in the
system, and doing it in the same commit as a code move would make a regression
impossible to bisect.
REPAIRED: 10 engram harnesses that had silently stopped linking
Not new breakage from this move — verified against unmodified dev, where
el_runtime.c + engram_store.c alone already failed with undefined symbols.
They had been dead for as long as el_runtime.c has been calling into the
siblings, and nothing noticed because nothing ran them.
run_m3_parity, run_m7_traversal, run_m35_hebb_persist,
run_interoception_p0..p5 — now build from $(scripts/el-runtime-sources.sh)
run_wal_tests — its two TUs #include "el_runtime.c" directly, so
it links the SIBLINGS ONLY; adding el_runtime.c
to that link line would define every symbol twice
(That #include'd .c is worth recording: the runtime does have one, in
engram/test/test_wal.c and the generated test_failloud.c.)
Verified locally — every one of these was run, not assumed:
* m3_parity ............ PASS, incl. ASan+UBSan clean across seed/on/reboot
* m7_traversal ......... PASS
* m35_hebb_persist ..... PASS (the gate over the original prod hebb bug)
* interoception p0..p5 . PASS (all six)
* wal_tests ............ 66 passed, 0 failed, + fail-loud exit check
* self-host fixpoint ... byte-identical, AND the emitted C is byte-identical
to the pre-move compiler output — the move changes
nothing the compiler produces
* engram/src/server.el . compiles and links
* native suites ........ 8 of 13, unchanged from before the move; the same 5
pre-existing failures, no regression
* both runtime guards .. green at the new, lower budget
Also fixes a block comment left unterminated by the extraction (the deleted
range carried its closing */), restoring the compile to its single pre-existing
-Wcomment warning.
113 lines
3.7 KiB
Bash
113 lines
3.7 KiB
Bash
#!/usr/bin/env bash
|
|
# install.sh — Install the El SDK from the latest Gitea release.
|
|
#
|
|
# Usage:
|
|
# bash install.sh
|
|
# EL_VERSION=v1.0.0 bash install.sh # pin a specific release tag
|
|
# EL_PREFIX=/opt/el bash install.sh # custom install prefix
|
|
#
|
|
# Environment variables:
|
|
# EL_VERSION Release tag to download (default: latest)
|
|
# EL_PREFIX Install prefix (default: /usr/local)
|
|
|
|
set -euo pipefail
|
|
|
|
REPO_BASE="https://git.neuralplatform.ai/neuron-technologies/el"
|
|
VERSION="${EL_VERSION:-latest}"
|
|
PREFIX="${EL_PREFIX:-/usr/local}"
|
|
|
|
BIN_DIR="${PREFIX}/bin"
|
|
LIB_DIR="${PREFIX}/lib/el"
|
|
|
|
RELEASE_BASE="${REPO_BASE}/releases/download/${VERSION}"
|
|
|
|
echo "==> Installing El SDK ${VERSION}"
|
|
echo " prefix : ${PREFIX}"
|
|
echo " bin : ${BIN_DIR}"
|
|
echo " lib : ${LIB_DIR}"
|
|
echo
|
|
|
|
# Create directories
|
|
mkdir -p "${BIN_DIR}" "${LIB_DIR}"
|
|
|
|
# Download helper
|
|
download() {
|
|
local url="$1"
|
|
local dest="$2"
|
|
echo " Downloading $(basename "${dest}")..."
|
|
if command -v curl >/dev/null 2>&1; then
|
|
curl -fsSL "${url}" -o "${dest}"
|
|
elif command -v wget >/dev/null 2>&1; then
|
|
wget -q "${url}" -O "${dest}"
|
|
else
|
|
echo "Error: neither curl nor wget found" >&2
|
|
exit 1
|
|
fi
|
|
}
|
|
|
|
# Download assets
|
|
TMP_DIR="$(mktemp -d)"
|
|
trap 'rm -rf "${TMP_DIR}"' EXIT
|
|
|
|
# The runtime is MULTI-FILE. el_runtime.c #includes six engram headers and makes
|
|
# hard cross-TU calls into all six sibling .c files, so installing el_runtime.c
|
|
# alone produces a lib/ that CANNOT LINK — `ld` fails with undefined
|
|
# engram_ground_json / engram_activate_inner / eg_find_relation / cog_assert_two_axis.
|
|
# This list mirrors lang/runtime/SOURCES (the in-repo source of truth); keep them
|
|
# in step. install.sh is standalone by design — it runs on machines with no repo
|
|
# checkout — so it cannot call scripts/el-runtime-sources.sh.
|
|
RUNTIME_SOURCES=(
|
|
el_runtime.c el_seed.c
|
|
engram_store.c engram_vindex.c engram_geometry.c
|
|
engram_reason.c engram_verify.c engram_cognition.c
|
|
engram_text.c
|
|
eg_cosine_batch.c eg_cosine_batch_strategy_cpu.c
|
|
)
|
|
RUNTIME_HEADERS=(
|
|
el_runtime.h el_seed.h
|
|
engram_store.h engram_vindex.h engram_geometry.h
|
|
engram_reason.h engram_verify.h engram_cognition.h
|
|
engram_text.h
|
|
eg_cosine_batch.h eg_cosine_batch_strategy.h
|
|
)
|
|
|
|
download "${RELEASE_BASE}/elc" "${TMP_DIR}/elc"
|
|
for f in "${RUNTIME_SOURCES[@]}" "${RUNTIME_HEADERS[@]}"; do
|
|
download "${RELEASE_BASE}/${f}" "${TMP_DIR}/${f}"
|
|
done
|
|
|
|
# Install
|
|
install -m 755 "${TMP_DIR}/elc" "${BIN_DIR}/elc"
|
|
for f in "${RUNTIME_SOURCES[@]}" "${RUNTIME_HEADERS[@]}"; do
|
|
install -m 644 "${TMP_DIR}/${f}" "${LIB_DIR}/${f}"
|
|
done
|
|
|
|
# Record the link set so downstream Makefiles can read it instead of hardcoding.
|
|
printf '%s\n' "${RUNTIME_SOURCES[@]}" > "${TMP_DIR}/SOURCES"
|
|
install -m 644 "${TMP_DIR}/SOURCES" "${LIB_DIR}/SOURCES"
|
|
|
|
echo
|
|
echo "==> El SDK installed successfully"
|
|
echo
|
|
echo " elc binary : ${BIN_DIR}/elc"
|
|
echo " runtime : ${LIB_DIR}/ (${#RUNTIME_SOURCES[@]} .c files, ${#RUNTIME_HEADERS[@]} headers)"
|
|
echo " link set : ${LIB_DIR}/SOURCES"
|
|
echo
|
|
echo "Add the following to your Makefile to build El programs:"
|
|
echo
|
|
echo " EL_LIB := ${LIB_DIR}"
|
|
echo " ELC := elc"
|
|
echo " CC := cc"
|
|
echo " CFLAGS := -std=c11 -O2 -I\$(EL_LIB)"
|
|
echo " LDLIBS := -lcurl -lssl -lcrypto -lpthread -lm"
|
|
echo
|
|
echo " # The runtime is multi-file — link the whole set, not el_runtime.c alone."
|
|
echo " EL_RUNTIME := \$(addprefix \$(EL_LIB)/,\$(shell cat \$(EL_LIB)/SOURCES))"
|
|
echo
|
|
echo " dist/myapp.c: src/myapp.el"
|
|
echo " \t\$(ELC) src/myapp.el > dist/myapp.c"
|
|
echo
|
|
echo " dist/myapp: dist/myapp.c"
|
|
echo " \t\$(CC) \$(CFLAGS) -o dist/myapp dist/myapp.c \$(EL_RUNTIME) \$(LDLIBS)"
|
|
echo
|