3511 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
giles	4bbc27c159	radar: pass 21 — honest empty (3rd); content CRDT is domain-exclusive; next triggers = new subsystem or host-persist adapter landing ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 06:58:58 +00:00
giles	1dc4548cc9	radar: pass 20 — honest empty; normalize/index/query are name collisions; meta-pattern: fleet shares vocabulary not structure ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 06:16:45 +00:00
giles	8cb985a2f3	radar: pass 19 — honest empty pass; W2 still 2 (feed,search); content/index is listing not search reinvention ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 05:43:56 +00:00
giles	80a925018c	radar: pass 18 — W1 re-test: events 5th federation consumer (agenda merge, runtime-list trust like mod); inject-fed-sx seam now 5/5 ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 05:12:22 +00:00
giles	adad4f4436	radar: pass 17 — filename census exhausted (disposition table); schema/engine = acl-mod substrate twins, catalog/batch = collisions ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 04:40:09 +00:00
giles	a752334cc0	radar: pass 16 — W8 durable delivery (events on lib/flow exemplar; fed-sx/mod bespoke); notify.sx name collision noted ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 04:08:20 +00:00
giles	2b77dc9537	radar: pass 15 — scanning-method note (census own-namespace only); wire.sx x2 rejected (generic serializer vs bespoke pipe-format) ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 03:36:47 +00:00
giles	453f244a97	radar: pass 14 — W7 content/snapshot reimplements persist/snapshot facet on raw KV (delegate nudge); persist/* copies are worktree artifacts not consumers ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 03:04:46 +00:00
giles	05f3ef9104	radar: pass 13 — honest re-test, W2/W3 still 2 consumers each; content/page.sx is HTML wrapper not pagination (collision noted) ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 02:32:04 +00:00
giles	4b9b15e7c8	radar: pass 12 — events 3rd live persist consumer (append-expect/OCC); W4 feature-ladder append->append-once->append-expect ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 02:00:01 +00:00
giles	dbc2daf64d	radar: pass 11 — W4 consumer ledger: commerce 2nd live persist exemplar (append-once), identity Erlang fake needs bridge; pattern validated across 4 domains ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 01:28:24 +00:00
giles	b6c2995b19	radar: pass 10 — W6 guarded lifecycle FSM (mod+identity): shared principle, divergent structure (SX table vs Erlang gen_server), not a lib ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 00:56:45 +00:00
giles	d05b49873b	radar: pass 9 — content is live persist/log exemplar (append+replay-to-seq); W4 = 1 correct + 2 fakes to migrate ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-07 00:24:08 +00:00
giles	8f9b8d6f5d	radar: pass 8 — fleet +4 app-domain loops (commerce/content/events/identity), all pre-Phase-2; commerce per-line audit is a breakdown not a log ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 23:52:06 +00:00
giles	4ee15a7ddd	radar: pass 7 — A1 conformance driver 4→6 adopters (acl+mod, first app-domain); host-persist blob blocker closed ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 23:19:49 +00:00
giles	3480100caa	radar: pass 6 — mod loop corroborates W4/W5; record home disagreements (guest vs persist/substrate); host-persist loop makes migration concrete ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 22:48:42 +00:00
giles	0bd0003550	radar: pass 5 — api.sx x6 rejected (shared name, divergent state contract); filename census, no new gate-clearer ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 22:16:11 +00:00
giles	d9f18a635e	radar: pass 4 — append-only audit log (acl+mod) sharpens W4 → persist/log; proof-explain → new W5 (substrate) ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 21:44:34 +00:00
giles	3aac6aae98	radar: pass 3 — offset/limit pagination (feed+search, 2 consumers, 1-liner) folded into W3 → substrate ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 21:12:09 +00:00
giles	0d06966808	radar: W1 federation fails structural-identity gate — 4 consumers share a theme not a shape (evidence table) ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 20:40:01 +00:00
giles	98ef13ad2a	radar: W2 has 2 structural consumers w/ divergent permit sigs; W1 fed count met (4) but identity unverified ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 20:38:55 +00:00
giles	20c4a48d3b	radar: A1 conformance driver — datalog adopted (4 shims); lua excluded (different harness) ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 20:37:32 +00:00
giles	b3e1af96af	radar: abstraction-radar scout briefing + seeded backlog (dynamic discovery, AHA-gated, read-only) ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 20:35:29 +00:00
giles	919bd961d1	apl: migrate conformance onto shared lib/guest driver (counters mode) ... Replaces the bespoke 116-line conformance.sh with a conformance.conf + 1-line exec shim, reusing lib/guest/conformance.sh. Surfaced + fixed a silent undercount: the old awk extractor reported pipeline=40, but pipeline.sx has 152 assertions — real total is 562/562, not 450/450. Driver reads counter globals directly. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 19:17:28 +00:00
giles	1902cce57f	plans: rename store-on-sx → persist-on-sx; clarify it's persistence not shop, and scope (log+kv facets, blobs delegated, cache excluded) ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 18:20:14 +00:00
giles	ff537bfba2	plans: six subsystem outline plans for the SX rewrite (store, commerce, identity, content, events, host) ... Gap analysis from the five-subsystem set (acl/feed/flow/mod/search): - store-on-sx: event-sourcing foundation the others fake with in-memory lists (build first) - commerce-on-sx: catalog/cart/pricing/orders on miniKanren (+ store + flow) - identity-on-sx: OAuth2/sessions/membership on Erlang (the core acl assumes) - content-on-sx: documents/blocks/CRDT on Smalltalk - events-on-sx: calendar/ticketing on Datalog + flow-driven delivery - host-on-sx: the web boundary — off Quart onto native server+SXTP now, dream-on-sx next All DRAFT outlines; substrate choices proposed, not final. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 17:39:29 +00:00
giles	1e4cf25015	Merge loops/feed into architecture: feed-on-sx activity feed engine on APL ... Activity feeds as APL array math on lib/apl/ — timelines, fanout, ranking, visibility, federation. Roadmap (4 phases) + 8 extensions, 189/189 tests. - Phase 1: stream model (normalize, filter/sort/take/reverse) - Phase 2: fanout via outer product (∘.×), edge-guard, dedupe - Phase 3: aggregation + ranking (recency/velocity/engagement, top-N) - Phase 4: per-viewer ACL + federation (injected permit?/transport) - Extensions: TF-IDF, notifications, home capstone, smart-dedupe, trending, mute, pagination, threading Purely additive under lib/feed/**; no conflicts. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 17:23:42 +00:00
giles	9c4a5d1913	feed: conversation threading — :reply-to transitive closure (thread/replies/thread-size) + 12 tests ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 17:00:10 +00:00
giles	f91ac82434	feed: pagination — offset/limit + cursor-by-at (before/after/page-before/next-cursor) + 14 tests ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 16:58:36 +00:00
giles	5136249ae5	feed: viewer mute/block — mute actors/tags/objects + apply-prefs bag + 9 tests ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 16:57:05 +00:00
giles	6fc61147a8	feed: trending objects/actors by recent activity window, deterministic tiebreak + 11 tests ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 16:55:55 +00:00
giles	0122c41ecb	feed: verb-aware smart dedupe — reactions collapse cross-actor, posts stay per-actor + 9 tests ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 16:54:21 +00:00
giles	58656b03e4	feed: feed/home capstone — fanout∘inbox∘dedupe∘ACL∘rank∘take as one line + 6 tests ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 16:53:15 +00:00
giles	b0feb7b01b	feed: notification feed — per-recipient inbox, verb filter, (verb,object) digest + 8 tests ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 16:51:53 +00:00
giles	a979297959	feed: TF-IDF content ranking over :tags — tag-df/idf, tfidf-score, by-relevance + 15 tests ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 16:50:36 +00:00
giles	37226cf6eb	feed: Phase 4 visibility + federation — per-viewer ACL, fanout partition, inbound/backfill/ingest, e2e feed/timeline + 22 tests ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 16:48:27 +00:00
giles	50a7f31a39	feed: Phase 3 aggregation + ranking — group-by, recency/velocity/engagement scorers, composite, top-N via stable grade-down + 24 tests ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 16:44:04 +00:00
giles	915f51b2b6	feed: Phase 2 fanout via outer product — activities ∘.× audience, flatten, edge-guard, dedupe + 29 tests ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 16:40:34 +00:00
giles	e7501bdf8f	feed: Phase 1 stream model — normalize, APL-backed filter/sort/take/reverse, post/all api + 30 tests ... Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>	2026-06-06 16:31:36 +00:00
giles	c3a0727645	plans: five rose-ash subsystem plans + three loop briefings ... Plans for acl-on-sx (Datalog), flow-on-sx (Scheme), feed-on-sx (APL), mod-on-sx (Prolog), search-on-sx (Haskell). Each is a 4-phase queue sitting on its respective guest language, targeting rose-ash needs: access control, durable workflows, activity feeds, moderation, search. Federation extension in Phase 4 of each (plugs into fed-sx). Briefings for the three loops we're kicking off now: acl-loop, flow-loop, feed-loop. mod-sx and search-sx briefings will follow once the first three have surfaced any shared infrastructure worth extracting to lib/guest/. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>	2026-06-06 15:55:39 +00:00
giles	1b94082a71	Merge loops/erlang into architecture: Erlang substrate fixes (FFI + tokenizer + charlists + integer literals) ... Four small, contained substrate fixes that came out of the fed-sx-m1 milestone work — all scoped to lib/erlang/, no other-language regressions: c6f397c3 register binary_to_list/1 + list_to_binary/1 BIFs (+9 ffi tests, 738/738) 9fe5c904 $X char literals decode to char code in tokenizer (+12 eval tests, 750/750) 5098a8f0 atom_to_list/integer_to_list return Erlang charlists; list_to_* accept both (+9 eval, 759/759) bcabed6b integer literals truncate to strict int (was float; broke integer->char) Together these complete the byte-level term-codec primitive set: binary_to_list / list_to_binary (iolist-aware; round-trips for free) $X char literals decoding to int char codes atom_to_list / integer_to_list returning standard Erlang charlists integer literals coercing to strict int (not float) Any Erlang-on-SX consumer that needs to construct/deconstruct byte sequences or work with charlists now does so with standard Erlang semantics. Scoreboard: 759/759 (full Erlang suite). Loop branch loops/erlang stays alive for future Erlang substrate work; this just lands the closed deliverables.	2026-06-06 15:45:46 +00:00
giles	57184daaee	briefings: add kernel-on-sx loop briefing ... Sibling to apl-loop / common-lisp-loop / scheme-loop. Captures the queue-driven kernel loop pattern (Phase B stratification entry-point, env-as-value successor, motivates lib/guest/reflective/). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>	2026-06-06 15:28:09 +00:00
giles	d9e2627b89	Merge loops/go into architecture: Go-on-SX, 609/609 across 11 phases, loop closed	2026-06-06 15:17:17 +00:00
giles	bcabed6bce	erlang: integer literals truncate to strict int (was float; broke integer->char)	2026-06-06 08:05:57 +00:00
giles	5098a8f015	erlang: atom_to_list/integer_to_list return Erlang charlists; list_to_* accept both (+9 net eval, 759/759)	2026-06-06 08:04:45 +00:00
giles	9fe5c9044d	erlang: $X char literals decode to char code in tokenizer (+12 eval tests, 750/750)	2026-06-06 08:03:46 +00:00
giles	c6f397c3d9	erlang: register binary_to_list/1 + list_to_binary/1 BIFs (+9 ffi tests, 738/738)	2026-06-06 08:02:36 +00:00
giles	f553d5b0aa	go: tick Phases 4 + 5b + 11 — every phase box ✅, loop formally closed [nothing] ... Phase 4 (tree-walk evaluator): acceptance bar (80+ tests) was crossed long ago; remaining sub-items (pointer semantics, lexical closures, multi-return) flagged "don't gate Phase 5" — ticking the phase box now. Phase 5b (buffered channels + select fairness): deferred-by-design. Re-open when real preemption lands in lib/guest/scheduler. Phase 11 (VM bytecode opcodes): deferred-by-design. Re-open when an e2e program takes > 10s, sister kits need bytecode-shape input, or scheduler kit needs reified frame state. Stop condition #3 (every Phase 1-11 box checked) satisfied. Final state: 12 phase boxes ticked, 7 test suites, 609/609 passing, sister-plan Phase-1 boxes ticked + diaries populated with the chisel summary. Go-on-SX loop exits. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>	2026-05-28 03:48:07 +00:00
giles	14486dd78f	go: Phase 10 closed — sister plans cross-referenced [nothing] ... plans/lib-guest-scheduler.md and plans/lib-guest-static-types- bidirectional.md both have Phase 1 ticked complete from Go's side with status blocks enumerating what landed. Each sister diary received a consolidated chisel-summary entry: the kit primitives the Go consumer chiselled out, the three pluggable predicates / orthogonal first-class-tag axes, and the v0 limitations the eventual kit must lift. No new Go code — Phase 10 is doc-only per plan. Go-on-SX loop fully landed: 11 phases, 7 test suites, 609/609 passing. Two-consumer rule per sister plan now waits on TypeScript (Phase 2 of the bidirectional sister plan, owned outside this loop). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>	2026-05-28 03:14:12 +00:00
giles	9036ce3400	go: Phase 9 closed — 12 end-to-end programs, total 609/609 [nothing] ... 12 canonical Go programs running through the full pipeline (lex + parse + types + eval + sched + stdlib): sieve-of-Eratosthenes via boolean slice (modulo-free), linear search, slice reverse, fib(10), sum-of-squares via generic Map+Reduce, word-freq counter, channel pipeline (gen→sq→sum), worker pool, bubble sort, sentence-reverse, Filter+len, Ackermann, defer+recover on div-by-zero. Each test threads ONE self-contained Go program through go-eval- program. The v0 limitations chiselled in earlier phases (float division, sync spawn, type erasure, nil-as-unbound) are now durable as commit-trail artifacts; e2e variants written to avoid them where possible. HTTP-ish ping-pong + WaitGroup deferred (real preemption + sync package needed). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>	2026-05-28 02:45:36 +00:00