engine: land op_assert + purview mutation wrappers (clean re-merge) #123

Merged
will.anderson merged 2 commits from merge-pr103-v2 into dev 2026-08-15 23:27:18 +00:00
Owner

Re-does PR #103's merge clean, resolving 2 real conflicts:

  • Name collision: #103's new op_assert-envelope function shared the name engram_assert_json with an existing, unrelated honesty-floor query function. Renamed the new one to engram_op_assert_json throughout (el_runtime.c/.h, el_seed.c/.h, codegen.el arity table). The pre-existing 3-arg function and its server.el caller are untouched.
  • API drift: engram_emit_node_json gained an include_emb parameter and jb_finish was replaced by direct .buf access since #103 branched. Updated the new call site to match.

Verified: el_runtime.c compiles clean standalone.

Re-does PR #103's merge clean, resolving 2 real conflicts: - Name collision: #103's new op_assert-envelope function shared the name engram_assert_json with an existing, unrelated honesty-floor query function. Renamed the new one to engram_op_assert_json throughout (el_runtime.c/.h, el_seed.c/.h, codegen.el arity table). The pre-existing 3-arg function and its server.el caller are untouched. - API drift: engram_emit_node_json gained an include_emb parameter and jb_finish was replaced by direct .buf access since #103 branched. Updated the new call site to match. Verified: el_runtime.c compiles clean standalone.
will.anderson added 2 commits 2026-08-15 23:27:13 +00:00
Add op_assert grounded-envelope primitive and purview-bounded mutation wrappers
El SDK CI - dev / build-and-test (pull_request) Successful in 6m33s
1010185978
Adds engram_assert_json — a grounded "assertion envelope" primitive for a
realizer/op_assert seam (per backlog bl-53/#57) — plus purview-scoped
mutation wrappers engram_node_full_in/engram_connect_in, which refuse
non-default purviews rather than silently mutating the live store. Threads
through el_seed.c/h wrappers and the codegen.el arity table per the
project's existing C-builtin recipe.

Also rewrites lang/AGENTS.md build docs with verified (2026-08-15) findings
that el_seed.c does not compile standalone.
Merge remote-tracking branch 'origin/pr/103' into HEAD
El SDK CI - dev / build-and-test (pull_request) Failing after 3m56s
09dade0613
# Conflicts:
#	lang/AGENTS.md
#	lang/runtime/el_runtime.h
will.anderson merged commit c9f75e2592 into dev 2026-08-15 23:27:18 +00:00
Sign in to join this conversation.