neuron-technologies/el-retired
Archived
3
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 5 Wiki Activity
This repository has been archived on 2026-08-20. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
main
el-retired/docs/v2/experiments/evidence/cycles/02-seven-tables-and-a-shipped-defect/MANIFEST.tsv
T
will d3495476f4
El SDK Release / build-and-release (push) Failing after 13m0s
Details
kill: purge old-paradigm dist/platform binaries from tree 
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.
2026-08-19 19:46:15 -05:00

35 lines
10 KiB
Plaintext
Raw Permalink Blame History

sha256 bytes exit ms commit tree utc artifact command
7d531005170557490d3ef00542d5093e10b51ccd9115bfb81ed9e7cae67dafee 124 0 9 1a5246667d80 dirty 2026-08-17T17:44:40Z 0001-00-BUGGY-pinned-commit.out git log -1 --format=%H%n%ci%n%s
aa6e76906574c6edd2422421723cbc40c2f2b2f81a5db509ae8a82c02fba97d2 30 0 13 1a5246667d80 dirty 2026-08-17T17:44:40Z 0002-01-BUGGY-worktree-clean.out git status --porcelain
044c4a6e314d5bc47b7eb9a61c7b3a5d6bcba56cbead224dbf850e131e601316 570 0 17 1a5246667d80 dirty 2026-08-17T17:44:40Z 0003-02-BUGGY-el_input_len-source.out bash -c cd /tmp/rerun-v2-02a; grep -n "static size_t el_input_len" -A 10 lang/runtime/el_runtime.c
655a62c931220bdc6b9b6563d065fb047606cce8abcada95b72bb57d7a386ca7 459 0 15 1a5246667d80 dirty 2026-08-17T17:44:40Z 0004-03-BUGGY-looks_like_heap_obj-source.out bash -c cd /tmp/rerun-v2-02a; grep -n "static int looks_like_heap_obj" -A 10 lang/runtime/el_runtime.c
8114c39cfd7f43a0692dfee3c8d2ae601dbf80c632a31f14f608bea4e3b9b4aa 1414 0 4 1a5246667d80 dirty 2026-08-17T17:44:40Z 0005-04-probe-source-20-literals-lengths-1-to-20.out cat /tmp/rerun-v2-02a/work/lit.el
32a6279918627a9a79a371da78aab404895a6050c5070b7455a4d16b1a1d1c60 1830 0 7 1a5246667d80 dirty 2026-08-17T17:44:40Z 0006-05-BUGGY-RUN-20-literals.out /tmp/rerun-v2-02a/work/lit
087862b98e5d31d369a92efd2799d1e7e852dc988737cfc6e34a0b74380cc1a0 3521 0 369 1a5246667d80 dirty 2026-08-17T17:44:41Z 0007-06-BUGGY-ORACLE-verdict.out /Users/will/Development/neuron-technologies/foundation/el/docs/v2/experiments/evidence/cycles/02-seven-tables-and-a-shipped-defect/instruments/run-oracle.sh /tmp/rerun-v2-02a/work/lit
5e5d09cc202b5d93b4eac4ae911fa8bed2e5d2a38d47ff1765a61f2c0de71c86 275 0 4 1a5246667d80 dirty 2026-08-17T17:44:41Z 0008-07-ALIGNMENT-the-docs-own-five-literals.out /tmp/rerun-v2-02a/work/align5
a1bd6525284bee14b50ba9eef190ed7dc6b1603c0f40f98eab42ced4ad68b855 1127 0 4 1a5246667d80 dirty 2026-08-17T17:44:41Z 0009-08-ALIGNMENT-twenty-literals-lengths-1-to-20.out /tmp/rerun-v2-02a/work/align20
b374ea1f09b52559656ed398d45f0512f62913c3da3043c09b437cf22a1051c7 488 0 5 1a5246667d80 dirty 2026-08-17T17:44:41Z 0010-09-alignment-probe-source-align5.out cat /tmp/rerun-v2-02a/work/align5.c
9674537ec9e63e66c5bccd9f553dbf61833ada03aadde8feb5b80b4f5477c525 673 0 5 1a5246667d80 dirty 2026-08-17T17:44:41Z 0011-10-alignment-probe-source-align20.out cat /tmp/rerun-v2-02a/work/align20.c
fe23a709afe165830c447c4c10bad3e71c770b326d2f43a97bcf720883fbefbc 131 0 9 abb0ab41980f dirty 2026-08-17T17:44:51Z 0012-11-FIXED-pinned-commit.out git log -1 --format=%H%n%ci%n%s
cfc667d2ffefbac32441bc38461be71b07df129bf3cddce7768ff20203561a9e 1318 0 15 abb0ab41980f dirty 2026-08-17T17:44:51Z 0013-12-FIXED-el_input_len-source.out bash -c cd /tmp/rerun-v2-02b; grep -n "static size_t el_input_len" -A 22 lang/runtime/el_runtime.c
96374c493b16f0f5f6fce85839fafb0967b2918ad070cddffddacf6358c06671 1830 0 7 abb0ab41980f dirty 2026-08-17T17:44:51Z 0014-13-FIXED-RUN-20-literals.out /tmp/rerun-v2-02b/work/lit
92f2d011d61336ef9d97f39a074d75352b3100223429e5bc8cb15108da5686fa 168 0 36 abb0ab41980f dirty 2026-08-17T17:44:51Z 0015-14-FIXED-ORACLE-verdict.out /Users/will/Development/neuron-technologies/foundation/el/docs/v2/experiments/evidence/cycles/02-seven-tables-and-a-shipped-defect/instruments/run-oracle.sh /tmp/rerun-v2-02b/work/lit
f0b5c2c2211c8d67ed15e75e656c7862d086e9245420892a7de62cd9ec582a06 2 0 13 abb0ab41980f dirty 2026-08-17T17:44:51Z 0016-15-tagged_gate-assertion-count-BEFORE.out bash -c cd /tmp/rerun-v2-02b; git show 1a52466:lang/tests/integration/tagged_gate.sh | grep -c "^chk \|chk \""
917df3320d778ddbaa5c5c7742bc4046bf803c36ed2b050f30844ed206783469 3 0 10 abb0ab41980f dirty 2026-08-17T17:44:51Z 0017-16-tagged_gate-assertion-count-AFTER.out bash -c cd /tmp/rerun-v2-02b; grep -c "chk \"" lang/tests/integration/tagged_gate.sh
54ed74debfd5061190b7c6aaecabea13295684ac75502ce77a7a7b0e2e7778e4 497 0 13648 abb0ab41980f dirty 2026-08-17T17:45:05Z 0018-17-tagged_gate-harness-run.out lang/tests/integration/tagged_gate.sh /tmp/rerun-v2-02b/elc-fixed /tmp/rerun-v2-02b/lang
834f02acdfd310427d7a9ed7429f78892f0e15185285adf0d51fb2dfbedf4945 95 0 46 abb0ab41980f dirty 2026-08-17T17:45:25Z 0019-18-P4-codegen-line-delta.out bash -c cd /tmp/rerun-v2-02b; B=$(git show 1a52466:lang/el-compiler/src/codegen.el | wc -l | tr -d " "); A=$(git show abb0ab4:lang/el-compiler/src/codegen.el | wc -l | tr -d " "); BC=$(git show 1a52466:lang/el-compiler/src/codegen.el | grep -v "^[[:space:]]*//" | grep -vc "^[[:space:]]*$"); AC=$(git show abb0ab4:lang/el-compiler/src/codegen.el | grep -v "^[[:space:]]*//" | grep -vc "^[[:space:]]*$"); printf "TOTAL lines %s -> %s delta %s (doc claims -80)\nCODE lines %s -> %s delta %s\n" "$B" "$A" "$((A-B))" "$BC" "$AC" "$((AC-BC))"
19a904d093cc12e30565eff9e07b4464f8bb7506ab4372e7a51eca91713f42f4 136 0 16 abb0ab41980f dirty 2026-08-17T17:45:25Z 0020-19-P2-names-moved-to-signatures-rel.out bash -c cd /tmp/rerun-v2-02b; B=$(git show 1a52466:lang/tools/check/signatures.rel | grep -cE "^[a-z_]+ +returns"); A=$(grep -cE "^[a-z_]+ +returns" lang/tools/check/signatures.rel); printf "signatures.rel entries BEFORE = %s\nsignatures.rel entries AFTER = %s\ndelta = %s (doc claims 49 names moved)\n" "$B" "$A" "$((A-B))"
306b3363d5adcd20833b34144b9243bb4e5098417721205c47c959a002c4e817 445 0 167 abb0ab41980f dirty 2026-08-17T17:45:25Z 0021-20-P1-the-seven-tables-BEFORE.out bash -c cd /tmp/rerun-v2-02b; for f in duration_unit_nanos is_float_call is_void_builtin is_rhythm_call is_calendar_call is_caltime_call is_zone_call; do printf "%-22s at 1a52466: %s lines, %s string literals\n" "$f" "$(git show 1a52466:lang/el-compiler/src/codegen.el | awk "/^fn $f\(/,/^}/" | wc -l | tr -d " ")" "$(git show 1a52466:lang/el-compiler/src/codegen.el | awk "/^fn $f\(/,/^}/" | grep -o "\"[a-z_]*\"" | wc -l | tr -d " ")"; done
add0ce42a0a99632d0532a894d410b95042d3e7e46cb4967f819fe338594df1e 436 0 117 abb0ab41980f dirty 2026-08-17T17:45:26Z 0022-21-P1-the-seven-tables-AFTER.out bash -c cd /tmp/rerun-v2-02b; for f in duration_unit_nanos is_float_call is_void_builtin is_rhythm_call is_calendar_call is_caltime_call is_zone_call; do printf "%-22s at abb0ab4: %s lines, %s string literals\n" "$f" "$(awk "/^fn $f\(/,/^}/" lang/el-compiler/src/codegen.el | wc -l | tr -d " ")" "$(awk "/^fn $f\(/,/^}/" lang/el-compiler/src/codegen.el | grep -o "\"[a-z_]*\"" | wc -l | tr -d " ")"; done
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 139 7 1a5246667d80 dirty 2026-08-17T17:46:09Z 0023-22-P8-BUGGY-5-fortnights-SIGSEGV.out /tmp/rerun-v2-02a/work/p8
ca4671c54962945ffce55e7aaf256b7873cb46df2a83252a8a165f76b703bf04 56 0 10 1a5246667d80 dirty 2026-08-17T17:46:09Z 0024-23-P8-BUGGY-emitted-C-is-a-field-access.out bash -c cd /tmp/rerun-v2-02a/lang; grep -n "el_get_field" /tmp/rerun-v2-02a/work/p8.c
783e5bca6f660d66ef3c0ddc0b14ed2dc86c70b1cabef7c0b33a76179149618d 5 0 7 1a5246667d80 dirty 2026-08-17T17:46:09Z 0025-24-P10-BUGGY-legitimate-access.out /tmp/rerun-v2-02a/work/p10
304b524de1a79904aaf8295a0986f8c03dd0d1d26d25902da057b47277147297 9 0 7 abb0ab41980f dirty 2026-08-17T17:46:09Z 0026-25-P9-FIXED-5-fortnights-survives.out /tmp/rerun-v2-02b/work/p8
783e5bca6f660d66ef3c0ddc0b14ed2dc86c70b1cabef7c0b33a76179149618d 5 0 7 abb0ab41980f dirty 2026-08-17T17:46:09Z 0027-26-P10-FIXED-legitimate-access-unaffected.out /tmp/rerun-v2-02b/work/p10
4e8ec729991ca53af4fef95edcc4d9bee6788d46e8ff349d389fd04264eacb4d 903 0 47 abb0ab41980f dirty 2026-08-17T17:46:09Z 0028-27-P9-P11-as_map-and-as_list-gates.out bash -c cd /tmp/rerun-v2-02b; echo "=== as_map BEFORE (1a52466) ==="; git show 1a52466:lang/runtime/el_runtime.c | grep -n "static ElMap\* as_map" -A 3; echo; echo "=== as_map AFTER (abb0ab4) ==="; grep -n "static ElMap\* as_map" -A 6 lang/runtime/el_runtime.c; echo; echo "=== el_list_get / el_list_len AFTER ==="; grep -n "el_val_t el_list_get\|el_val_t el_list_len" -A 3 lang/runtime/el_runtime.c | head -20
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 127 5 abb0ab41980f dirty 2026-08-17T17:46:19Z 0029-28-P5-fixpoint-and-suites-at-abb0ab4.out ./scripts/verify.sh
ce6d188689cd310ec634fe4ce52c2b43540d8733e487a11e65edf1cc2bf0542a 165 0 28 abb0ab41980f dirty 2026-08-17T17:46:33Z 0030-29-verify-sh-did-not-exist-at-abb0ab4.out bash -c cd /tmp/rerun-v2-02b; ls scripts/ 2>&1; echo "---"; echo "verify.sh first appears in:"; git log --oneline --diff-filter=A --all -- scripts/verify.sh
b3659226192b528e8e39872d11258d608803c9c2b1c2514e486102960eac6a2a 184 0 4172 abb0ab41980f dirty 2026-08-17T17:46:37Z 0031-30-P5-FIXPOINT-gen2-eq-gen3-at-abb0ab4.out bash -c cd /tmp/rerun-v2-02b/lang; SRCS=$(../scripts/el-runtime-sources.sh runtime); CF="-std=c11 -O2 -I runtime"; LF=""; for d in /opt/homebrew/opt/openssl@3 /usr/local/opt/openssl@3; do [ -d "$d" ] && CF="$CF -I $d/include" && LF="-L $d/lib"; done; LF="$LF -lcurl -lssl -lcrypto -lpthread -lm"; W=/tmp/rerun-v2-02b/work; /tmp/rerun-v2-02b/elc-fixed elc-cli.el > $W/g2.c 2>/dev/null; cc $CF -o $W/elc2 $W/g2.c $SRCS $LF 2>/dev/null; $W/elc2 elc-cli.el > $W/g3.c 2>/dev/null; if cmp -s $W/g2.c $W/g3.c; then echo "FIXPOINT gen2 == gen3 OK"; else echo "FIXPOINT FAILED"; fi; printf "gen2 sha256 = %s\ngen3 sha256 = %s\n" "$(shasum -a 256 $W/g2.c | cut -d\ -f1)" "$(shasum -a 256 $W/g3.c | cut -d\ -f1)"
321a00f8be0ffb9b8780fb84397bb2f5005b588f9f4bb27dca190d9eea7631b9 4349 0 4156 abb0ab41980f dirty 2026-08-17T17:46:54Z 0032-31-P5-NATIVE-SUITE-at-abb0ab4.out bash -c cd /tmp/rerun-v2-02b/lang; SRCS=$(../scripts/el-runtime-sources.sh runtime); CF="-std=c11 -O2 -I runtime"; LF=""; for d in /opt/homebrew/opt/openssl@3 /usr/local/opt/openssl@3; do [ -d "$d" ] && CF="$CF -I $d/include" && LF="-L $d/lib"; done; LF="$LF -lcurl -lssl -lcrypto -lpthread -lm"; W=/tmp/rerun-v2-02b/work; $W/elc2 --test tests/native/test_compiler.el > $W/t.c 2>/dev/null; cc $CF -o $W/t $W/t.c $SRCS $LF 2>/dev/null; $W/t; echo "native_suite_exit=$?"
45ad86a57cd349fac73be04c304b8d4f239096326868a36ce4060d53c4c7eb5d 556 0 25127 abb0ab41980f dirty 2026-08-17T17:47:19Z 0033-32-P5-ALL-HARNESSES-at-abb0ab4.out bash -c cd /tmp/rerun-v2-02b/lang; W=/tmp/rerun-v2-02b/work; tot=0; hf=0; nh=0; for h in tests/integration/*.sh; do nh=$((nh+1)); out=$("$h" $W/elc2 2>&1); rc=$?; n=$(printf "%s" "$out" | grep -oE "[0-9]+ assertions" | grep -oE "[0-9]+" | head -1); tot=$((tot + ${n:-0})); printf "%-28s exit=%-3s assertions=%s\n" "$(basename $h .sh)" "$rc" "${n:-0}"; [ "$rc" -eq 0 ] || hf=$((hf+1)); done; printf "\nharnesses=%s failed=%s total_assertions=%s\n" "$nh" "$hf" "$tot"
Reference in New Issue View Git Blame Copy Permalink