• Joined on 2024-04-09
giles pushed to loops/fed-prims at coop/rose-ash 2026-05-26 19:54:05 +00:00
46e0653911 fed-prims: Phase J — http-request + 6 tests
giles pushed to loops/fed-sx-m1 at coop/rose-ash 2026-05-26 19:45:03 +00:00
11ed4ddf27 fed-sx-m1: Step 1a — next/ skeleton + README + gitignore
abde5fbac1 Merge loops/erlang into architecture: Phase 8 host-primitive BIFs (crypto/cid/file:list_dir)
Compare 2 commits »
giles created branch loops/fed-sx-m1 in coop/rose-ash 2026-05-26 19:45:03 +00:00
giles pushed to loops/erlang at coop/rose-ash 2026-05-18 22:03:53 +00:00
b7fcd17e6e Merge remote-tracking branch 'origin/loops/erlang' into loops/erlang
89ce7b857d erlang: wire file:list_dir/1 against file-list-dir (Phase 8, +4 ffi tests); 729/729, progress log
4591ac530b erlang: wire cid:from_bytes/1 + cid:to_string/1 against cid-from-bytes/cid-from-sx (Phase 8, +7 ffi tests)
250d0511c0 erlang: wire crypto:hash/2 against crypto-sha256/512/sha3-256 (Phase 8, +6 ffi tests)
380bc69f94 Merge loops/fed-prims into architecture: fed-sx host primitives (Phases A-I)
Compare 1531 commits »
giles pushed to loops/fed-prims at coop/rose-ash 2026-05-18 18:48:37 +00:00
4548461bfc fed-prims: Phase I — handoff (RESOLVED blocker + primitive->BIF mapping)
giles pushed to loops/fed-prims at coop/rose-ash 2026-05-18 18:25:26 +00:00
7d9dddcc80 fed-prims: Phase H — native-only http-listen HTTP/1.1 server + curl test
giles pushed to loops/fed-prims at coop/rose-ash 2026-05-18 17:57:22 +00:00
36be6bf44b fed-prims: Phase G — file-list-dir (Sys.readdir, sorted, native-safe)
giles pushed to loops/fed-prims at coop/rose-ash 2026-05-18 17:32:36 +00:00
f8fc04840a fed-prims: Phase F — RSA-SHA256 PKCS#1 v1.5 verify, pure OCaml, RSA-2048 vector
giles pushed to loops/fed-prims at coop/rose-ash 2026-05-18 17:06:02 +00:00
76d1e9f53a fed-prims: Phase E — Ed25519 verify (RFC 8032), pure-OCaml bignum + edwards25519
giles pushed to loops/fed-prims at coop/rose-ash 2026-05-18 16:36:45 +00:00
d8b57784fe fed-prims: Phase D — CIDv1 (multihash + base32 multibase), pure OCaml, canonical IPFS vectors
giles pushed to loops/fed-prims at coop/rose-ash 2026-05-18 16:10:38 +00:00
bcaaa11916 fed-prims: Phase C — dag-cbor encode/decode, pure OCaml, RFC 8949 vectors + determinism
giles pushed to loops/fed-prims at coop/rose-ash 2026-05-18 15:43:53 +00:00
451bd4be62 fed-prims: Phase B — SHA3-256 (Keccak-f[1600]), pure OCaml, 4 NIST vectors
giles pushed to loops/fed-prims at coop/rose-ash 2026-05-18 15:17:56 +00:00
19932a42a9 fed-prims: Phase A — SHA-256 + SHA-512, pure OCaml, 7 NIST vectors
giles pushed to loops/fed-prims at coop/rose-ash 2026-05-18 15:00:48 +00:00
3629dd96a9 fed-prims: bootstrap plan + loop briefing
a341041627 datalog: scoreboard bump (preserve before loops/erlang merge)
715fab86d2 Merge loops/sx-vm-extensions into architecture: hosts/ocaml VM opcode extension mechanism
f026177e63 vm-ext: phase E — JIT skips lambdas containing extension opcodes
f3192f7fda vm-ext: phase D — extensions/ subtree + test_ext + opcode_name lookup
Compare 9 commits »
giles created branch loops/fed-prims in coop/rose-ash 2026-05-18 15:00:46 +00:00
giles pushed to architecture at coop/rose-ash 2026-05-14 20:40:03 +00:00
a76d072d3f lua: re-apply arch's GUEST-lex prefix-rename refactor on top of merged loops/lua
97c800a36b Merge lib/guest/test-runner into architecture: test-runner.sx + Kernel migration (POC)
0526f796f4 Merge lib/guest/quoting into architecture: quoting.sx + Kernel/Scheme migrations
e5d751c5fb Merge lib/guest/method-chain into architecture: class-chain.sx + Smalltalk/CLOS migrations
8525165594 Merge loops/minikanren into architecture: Phase 5 disequality + Phase 6 FD constraints + Phase 7 SLG tabling
Compare 788 commits »
giles pushed to lib/guest/quoting at coop/rose-ash 2026-05-14 07:55:12 +00:00
90cd0f8f6f plans: kernel-on-sx — log quoting.sx extraction + evaluator.sx decline
giles pushed to lib/guest/quoting at coop/rose-ash 2026-05-14 07:54:20 +00:00
818e68a2f8 reflective: extract quoting.sx — Kernel + Scheme share quasiquote walker
giles created branch lib/guest/quoting in coop/rose-ash 2026-05-14 07:54:20 +00:00
giles pushed to loops/scheme at coop/rose-ash 2026-05-14 06:53:39 +00:00
26112f1003 plans: scheme-on-sx progress log — 11 phases done, 296 tests