fix(codegen): emit the declared cgi identity — it was searched for in a list that cannot contain it #87

Closed

tim.lingo wants to merge 2 commits from fix/cgi-identity-emission into main

Author	SHA1	Message	Date
Neuron	40653d2aa1	fix(codegen): emit the declared cgi identity — it was searched for in a list that cannot contain it El SDK Release / build-and-release (pull_request) Failing after 10m39s Details A cgi block is a top-level declaration, so codegen_streaming classifies it via is_top_level_decl and releases it. The identity emission then searched toplevel_exec_stmts for that same block. Declarations are excluded from that list by construction, so the search could never succeed. A probe printed what it actually saw for a program whose first statement is a cgi block: [Let, Expr]. It emitted nothing, silently, with no diagnostic on any channel. The code documented its own assumption — 'Since cgi blocks are rare and small, they end up in toplevel_exec_stmts' — and that assumption was false. Capture the declared values before the release and emit from them. The search is deleted rather than repaired, so the failure mode is removed rather than relocated. Proven discriminating (old fails, new passes): minimal cgi program, old -> 0 el_cgi_init minimal cgi program, fixed -> el_cgi_init with all four declared values neuron soul, fixed -> principal present in the compiled binary (0 before), boots in 2s, interface 110 routes in / 110 out Consequence: a binary now carries its declared identity as a compiled constant, which is what the identity protocol requires. Whether the runtime surfaces it to state_get("soul_principal") is unverified and separate. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>	2026-08-09 13:36:51 -05:00
Tim Lingo	f76ccc0590	engram: ranked BM25+recency search replaces storage-order substring; URL-decode GET query params Measured on the live container mind (pinned 40-query eval, judged): substring 2/40=5% hit@5 -> ranked 35/40=88%. Multi-word queries stop returning zero; new memories stop losing to storage order (created_at tiebreak). Transparent-layer identity filter preserved in both passes; jb_finish (#64) tail preserved. query_param now url_decode()s values - %XX arrived literal before (pre-existing GET defect, masked while multi-word substring returned nothing anyway). E2E-verified in Tim's container deployment 2026-07-14/15; eval harness: docs repo research-archive/p0-prototypes/eval_pinned_40q_20260715.py. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>	2026-07-15 07:48:09 -05:00

Author

SHA1

Message

Date

Neuron

40653d2aa1

fix(codegen): emit the declared cgi identity — it was searched for in a list that cannot contain it

El SDK Release / build-and-release (pull_request) Failing after 10m39s

Details

A cgi block is a top-level declaration, so codegen_streaming classifies it via
is_top_level_decl and releases it. The identity emission then searched
toplevel_exec_stmts for that same block. Declarations are excluded from that list by
construction, so the search could never succeed. A probe printed what it actually
saw for a program whose first statement is a cgi block: [Let, Expr]. It emitted
nothing, silently, with no diagnostic on any channel.

The code documented its own assumption — 'Since cgi blocks are rare and small, they
end up in toplevel_exec_stmts' — and that assumption was false.

Capture the declared values before the release and emit from them. The search is
deleted rather than repaired, so the failure mode is removed rather than relocated.

Proven discriminating (old fails, new passes):
  minimal cgi program, old   -> 0 el_cgi_init
  minimal cgi program, fixed -> el_cgi_init with all four declared values
  neuron soul, fixed         -> principal present in the compiled binary (0 before),
                                boots in 2s, interface 110 routes in / 110 out

Consequence: a binary now carries its declared identity as a compiled constant,
which is what the identity protocol requires. Whether the runtime surfaces it to
state_get("soul_principal") is unverified and separate.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

2026-08-09 13:36:51 -05:00

Tim Lingo

f76ccc0590

engram: ranked BM25+recency search replaces storage-order substring; URL-decode GET query params

Measured on the live container mind (pinned 40-query eval, judged): substring
2/40=5% hit@5 -> ranked 35/40=88%. Multi-word queries stop returning zero; new
memories stop losing to storage order (created_at tiebreak). Transparent-layer
identity filter preserved in both passes; jb_finish (#64) tail preserved.
query_param now url_decode()s values - %XX arrived literal before (pre-existing
GET defect, masked while multi-word substring returned nothing anyway).
E2E-verified in Tim's container deployment 2026-07-14/15; eval harness:
docs repo research-archive/p0-prototypes/eval_pinned_40q_20260715.py.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

2026-07-15 07:48:09 -05:00

fix(codegen): emit the declared cgi identity — it was searched for in a list that cannot contain it #87

2 Commits