engine: op_assert grounded-envelope primitive + purview-bounded mutation wrappers #103

Closed
will.anderson wants to merge 0 commits from worktree-agent-a0dc4a33cf5558d4e into dev
Owner

Preserving uncommitted work found in an open worktree during a worktree audit. 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 updates lang/AGENTS.md with verified findings that el_seed.c does not compile standalone.

Preserving uncommitted work found in an open worktree during a worktree audit. 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 updates lang/AGENTS.md with verified findings that el_seed.c does not compile standalone.
will.anderson added 1 commit 2026-08-15 19:24:30 +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.
will.anderson closed this pull request 2026-08-15 23:27:19 +00:00

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.