Archived
will
d3495476f4
El SDK Release / build-and-release (push) Failing after 13m0s
The generated C, amalgams, vendored runtime pins, and compiled binaries from the Claude Code era are removed from the worktree. The El sources survive; this tree is now source-only for the first-principles rebuild. Per Principal direction 2026-08-19.
303 lines
6.6 KiB
Plaintext
303 lines
6.6 KiB
Plaintext
== coverage gap: what population could yield 110 or 199? ==
|
|
header declarations, correct parse : 500
|
|
header declarations, arity.sh as shipped : 503
|
|
builtin_arity() entries : 300
|
|
shared, direct name match : 243
|
|
shared, arity.sh __-prefix rule : 247
|
|
OBSERVED header names with no table entry
|
|
strict (direct name only) : 257
|
|
with the __-prefix rule applied : 256
|
|
candidate arithmetic:
|
|
500 - 300 = 200 503 - 300 = 203
|
|
500 - 243 = 257 500 - 247 = 253
|
|
40% of 500 = 200 (arity.sh says '40% incomplete', 199)
|
|
NO construction over these populations yields 110.
|
|
|
|
== uncovered names, full list (correct parse, __-rule applied) ==
|
|
__http_conn_fd
|
|
__http_do_map_to_file
|
|
__http_sse_close
|
|
__http_sse_open
|
|
__http_sse_send
|
|
aead_decrypt
|
|
aead_encrypt
|
|
args
|
|
cal_cycle_phase
|
|
cal_format
|
|
cal_in
|
|
cal_to_instant
|
|
camera_available
|
|
camera_capture_jpeg
|
|
camera_capture_rgb
|
|
camera_request_access
|
|
cgi_engram
|
|
cgi_network
|
|
cgi_principal
|
|
config
|
|
cycle_calendar
|
|
duration_millis
|
|
duration_nanos
|
|
duration_seconds
|
|
duration_to_millis
|
|
duration_to_nanos
|
|
duration_to_seconds
|
|
earth_calendar
|
|
earth_calendar_default
|
|
el_base64_encode_n
|
|
el_config_declare
|
|
el_config_validate
|
|
el_duration_add
|
|
el_duration_div
|
|
el_duration_eq
|
|
el_duration_from_nanos
|
|
el_duration_ge
|
|
el_duration_gt
|
|
el_duration_le
|
|
el_duration_lt
|
|
el_duration_ne
|
|
el_duration_scale
|
|
el_duration_sub
|
|
el_instant_add_dur
|
|
el_instant_diff
|
|
el_instant_eq
|
|
el_instant_ge
|
|
el_instant_gt
|
|
el_instant_le
|
|
el_instant_lt
|
|
el_instant_ne
|
|
el_instant_sub_dur
|
|
el_list_new
|
|
el_local_date_add_dur
|
|
el_local_date_eq
|
|
el_local_date_lt
|
|
el_local_time_add_dur
|
|
el_map_new
|
|
el_mem_check
|
|
el_now_instant
|
|
el_seam_run
|
|
el_seam_wrap
|
|
el_sha256_bytes_n
|
|
el_singleton_acquire
|
|
el_sleep_duration
|
|
emit_event
|
|
emit_log
|
|
emit_metric
|
|
engram_act_stats_json
|
|
engram_add_layer
|
|
engram_age_field
|
|
engram_age_field_catchup
|
|
engram_assert_json
|
|
engram_attend_json
|
|
engram_autoconnect_node
|
|
engram_boundary_beat
|
|
engram_chrono_persist_tick
|
|
engram_chrono_tick
|
|
engram_compile_layered_json
|
|
engram_consolidate_permanence
|
|
engram_correspondence_beat_json
|
|
engram_cosine_sim
|
|
engram_crc32
|
|
engram_dreams_json
|
|
engram_embed_backfill
|
|
engram_geo_analogy_json
|
|
engram_geo_combine_json
|
|
engram_geo_descriptor_json
|
|
engram_geo_distance_json
|
|
engram_geo_overlap_json
|
|
engram_geo_reify_get_json
|
|
engram_geo_reify_list_json
|
|
engram_geo_reify_run_json
|
|
engram_geo_subtract_json
|
|
engram_ground_json
|
|
engram_ground_record_json
|
|
engram_ground_trajectory_json
|
|
engram_hebb_drain_json
|
|
engram_is_protected
|
|
engram_ise_log_append
|
|
engram_label_df
|
|
engram_list_layers
|
|
engram_list_layers_json
|
|
engram_load_merge
|
|
engram_nearest_json
|
|
engram_neighborhood_rename_json
|
|
engram_node_layered
|
|
engram_node_set_emb
|
|
engram_protected_json
|
|
engram_prune_telemetry
|
|
engram_reason_analogy_json
|
|
engram_recall_json
|
|
engram_remove_layer
|
|
engram_resolve_data_dir
|
|
engram_retrieve_geometric_json
|
|
engram_salient_term
|
|
engram_scan_nodes_by_type_json
|
|
engram_scan_nodes_emb_json
|
|
engram_self_anchor_capture
|
|
engram_self_drift_json
|
|
engram_self_reify_beat_json
|
|
engram_text_health_json
|
|
engram_think_json
|
|
engram_wal_boot
|
|
engram_wal_compact
|
|
engram_wal_edges_since
|
|
engram_wal_forget
|
|
engram_wal_hebb_batch
|
|
engram_wal_maybe_compact
|
|
engram_wal_node_put
|
|
engram_wal_open_dir
|
|
engram_wm_avg_weight
|
|
engram_wm_count
|
|
engram_wm_top_json
|
|
fs_exists
|
|
fs_mkdir
|
|
fs_write_bytes
|
|
geometry_dim
|
|
geometry_free
|
|
geometry_from_f32le_hex
|
|
geometry_get
|
|
geometry_is
|
|
geometry_new
|
|
geometry_norm
|
|
geometry_set
|
|
geometry_to_f32le_hex
|
|
http_delete
|
|
http_delete_json
|
|
http_get_to_file
|
|
http_post_to_file
|
|
http_response
|
|
in_calendar
|
|
instant_from_iso8601
|
|
instant_to_iso8601
|
|
instant_to_unix_millis
|
|
instant_to_unix_seconds
|
|
json_array_get
|
|
json_array_get_string
|
|
json_array_push
|
|
json_build_array
|
|
json_build_object
|
|
json_escape_string
|
|
llm_last_usage
|
|
local_date
|
|
local_date_day
|
|
local_date_month
|
|
local_date_year
|
|
local_datetime
|
|
local_time
|
|
local_time_hour
|
|
local_time_minute
|
|
local_time_nanos
|
|
local_time_second
|
|
manifold_add
|
|
manifold_free
|
|
manifold_geometry
|
|
manifold_index_of
|
|
manifold_is
|
|
manifold_key
|
|
manifold_new
|
|
manifold_rel_count
|
|
manifold_rel_from
|
|
manifold_rel_name
|
|
manifold_rel_to
|
|
manifold_rel_weight
|
|
manifold_relate
|
|
manifold_role
|
|
manifold_single
|
|
manifold_size
|
|
mars_calendar
|
|
mic_available
|
|
mic_capture_pcm16
|
|
mic_monitor_rms
|
|
mic_monitor_start
|
|
mic_monitor_stop
|
|
mic_request_access
|
|
no_cycle_calendar
|
|
node_attach_geometry
|
|
node_geometry_dim
|
|
now
|
|
now_in
|
|
now_millis
|
|
now_ns
|
|
parse_int
|
|
pq_hybrid_handshake
|
|
pq_hybrid_keygen
|
|
pq_kem_decaps
|
|
pq_kem_encaps
|
|
pq_kem_keygen
|
|
pq_keygen_signature
|
|
pq_sign
|
|
pq_verify
|
|
realizer_has
|
|
realizer_register
|
|
relative_calendar
|
|
rhythm_and
|
|
rhythm_cycle_phase
|
|
rhythm_cycle_start
|
|
rhythm_duration
|
|
rhythm_event
|
|
rhythm_matches
|
|
rhythm_next_after
|
|
rhythm_or
|
|
rhythm_session_start
|
|
rhythm_weekday
|
|
rhythm_weekly_at
|
|
sha3_256_hex
|
|
speaker_available
|
|
speaker_name
|
|
speaker_pause
|
|
speaker_play_pcm16
|
|
speaker_play_pcm16_async
|
|
speaker_play_wav
|
|
speaker_play_wav_async
|
|
speaker_played_frames
|
|
speaker_playing
|
|
speaker_resume
|
|
speaker_stop
|
|
trace_span_end
|
|
trace_span_start
|
|
transduce
|
|
ttl_cache_age
|
|
ttl_cache_get
|
|
ttl_cache_set
|
|
unix_millis
|
|
unix_seconds
|
|
unix_timestamp
|
|
url_decode
|
|
url_encode
|
|
wav_frames
|
|
wav_rate
|
|
zone
|
|
zone_local
|
|
zone_offset
|
|
zone_utc
|
|
zoned
|
|
|
|
== orphaned comments left in codegen.el at 9cc6040 ==
|
|
(the functions they document were deleted; the prose was not)
|
|
// -- Builtin arity table -------------------------------------------------------
|
|
//
|
|
// El programs sometimes call runtime builtins with the wrong number of
|
|
// arguments (e.g. `http_serve(port)` instead of `http_serve(port, handler)`).
|
|
// Without this check the generated C compiles to a call with too few /
|
|
// too many args and fails downstream cc with a generic "too few arguments"
|
|
// message that doesn't point to the El source line.
|
|
//
|
|
// Strategy: a small static table mirrors el_runtime.h. Variadic builtins
|
|
// (el_list_new, el_map_new, args) and unknown identifiers (user fns,
|
|
// dynamic dispatch) return -1 -> no check. A mismatch records a violation
|
|
// in process state, which emit_arity_violations() turns into #error
|
|
// directives at the top of the generated C.
|
|
|
|
|
|
// Validate the call's arity against the builtin table. Returns true (always)
|
|
// because cg_expr ignores the result; -1 from builtin_arity signals
|
|
// "no check possible" (variadic or user-defined). A mismatch is recorded
|
|
// and surfaced as an #error at the bottom of the generated C, so cc fails
|
|
// before it ever attempts to type-check the wrong call.
|
|
|
|
// Emit recorded arity violations as #error directives.
|
|
|
|
references to now-deleted symbols remaining in codegen.el at 9cc6040:
|
|
1013: // through (builtin_arity returns -1).
|
|
2550:// in process state, which emit_arity_violations() turns into #error
|
|
2555:// because cg_expr ignores the result; -1 from builtin_arity signals
|