Commit Graph

  • 7d1d732623 events: sync scoreboard.md to 391/391 loops/events giles 2026-06-10 23:05:53 +00:00
  • b257813926 events: sync scoreboard to 391/391 giles 2026-06-10 23:05:35 +00:00
  • 6716af69dc events: iCal coverage for southern-hemisphere VTIMEZONE (+7) — 391/391 giles 2026-06-10 22:04:04 +00:00
  • 78b45a331e events: southern-hemisphere DST (+8) — 384/384 giles 2026-06-10 20:59:59 +00:00
  • f68591456e content: Phase 5 — rich inline text via structured runs (861/861) loops/content giles 2026-06-07 21:10:56 +00:00
  • cd0de8cb34 fed-sx-m2: Step 12 closed — two-instance federation smoke test (6/6) loops/fed-sx-m2 giles 2026-06-07 20:36:14 +00:00
  • aec83f0aac artdag: Phase 7 consumes lib/maude mau/confluent? (no bespoke confluence checker) loops/artdag giles 2026-06-07 20:20:59 +00:00
  • 7f7957ba25 Merge architecture: pick up lib/maude/confluence.sx (mau/confluent?) giles 2026-06-07 20:20:29 +00:00
  • 0963aa51c9 Merge loops/maude into architecture: maude confluence/critical-pair checker (mau/confluent?) architecture giles 2026-06-07 20:19:17 +00:00
  • 2dd4c7d974 maude: confluence / critical-pair checking (12 tests, 274 total) loops/maude giles 2026-06-07 20:18:33 +00:00
  • 3432a72510 artdag: maude-bridge dag<->term adapter + 14 round-trip tests giles 2026-06-07 20:07:34 +00:00
  • 03c32cda5f fed-sx-m2: resolve Blockers #4 — kernel routes now work over real HTTP giles 2026-06-07 20:04:19 +00:00
  • 826d926740 events: VTIMEZONE iCal export — full DST-correct tz recurrence + 16 tests giles 2026-06-07 20:03:07 +00:00
  • 657d80611a artdag: promote maude-driven optimizer to active Phase 7 giles 2026-06-07 19:58:34 +00:00
  • 160d0f2dd0 content: content/block-path + block-depth — locate a block in the tree (825/825) giles 2026-06-07 19:45:29 +00:00
  • 600d292ba2 fed-sx-m2: narrow Blockers #4 root cause via connection-thread bisect giles 2026-06-07 19:42:14 +00:00
  • 5b472025db Merge loops/maude into architecture: maude-on-sx — term rewriting modulo AC giles 2026-06-07 19:39:59 +00:00
  • d2f6bf02b3 maude: artdag-on-sx fit prototype — optimise passes as equations (8 tests, 262 total) giles 2026-06-07 19:38:50 +00:00
  • 34c9b211ac events: fix timezone-aware iCal export (local->UTC stamps) + 6 tests giles 2026-06-07 18:34:20 +00:00
  • e9316b37c2 content: tree reparent — move-into section + promote (812/812) giles 2026-06-07 18:28:36 +00:00
  • 35cc4dcec0 radar: pass 38 — migration plan DRAFTED (5 specs + open-questions); decision point: review + start implementation loop? branch stays local loops/radar giles 2026-06-07 18:04:38 +00:00
  • 009a3ae8b6 radar: pass 37 — migration plan 4/5 (data-migration shipped: Postgres genesis-import); slice-sequencing last; A1 steady giles 2026-06-07 17:33:34 +00:00
  • 3913bc368c events: iCalendar import + occurrence-exact round-trip + 19 tests giles 2026-06-07 17:28:26 +00:00
  • 29954689bc content: content/sanitize — drop invalid blocks tree-wide (799/799) giles 2026-06-07 17:18:49 +00:00
  • ef4ee5d517 radar: pass 36 — migration loop self-pacing restored, 3/5 specs shipped (strangler-shadow + slice-01-blog); blog has Post.sx_content head-start giles 2026-06-07 17:01:47 +00:00
  • 19eabc1f01 radar: pass 35 — quiet; restarted stalled migration planning loop (was idle after host-readiness) giles 2026-06-07 16:30:21 +00:00
  • f31c7a4002 content: document markdown table-pipe round-trip limitation + fix sketch giles 2026-06-07 16:08:41 +00:00
  • a6a09eb1b6 radar: pass 34 — quiet, no new finding; migration loop mid-worklist, A1 steady at 13 giles 2026-06-07 15:58:29 +00:00
  • 7f264b39da maude: refresh scoreboard giles 2026-06-07 15:51:56 +00:00
  • fe0d13243a maude: mark roadmap + extensions complete (254/254, saturated) giles 2026-06-07 15:51:11 +00:00
  • 6ea9ecf9a4 maude: run.sx search command + result-sort output (254 total) giles 2026-06-07 15:49:45 +00:00
  • fecd3e4b0d maude: order-sorted least-sort inference (14 tests, 250 total) giles 2026-06-07 15:46:32 +00:00
  • 3bb4886f0f maude: gather / parse-time associativity for cons lists (7 tests, 236 total) giles 2026-06-07 15:44:25 +00:00
  • cc0f3f1ff7 maude: owise (otherwise) equations (8 tests, 229 total) giles 2026-06-07 15:40:11 +00:00
  • d09af71f6e maude: witness-path search for puzzle solvers (8 tests, 221 total) giles 2026-06-07 15:36:46 +00:00
  • ed40af66f5 maude: program runner — module + reduce/rewrite commands (6 tests, 213 total) giles 2026-06-07 15:34:23 +00:00
  • 8ab36b90bf maude: mixfix surface-syntax printer (11 tests, 207 total) giles 2026-06-07 15:32:20 +00:00
  • c5d9e1480d content: validation vets list items + table cells element-deep (787/787) giles 2026-06-07 15:29:54 +00:00
  • 4018671087 maude: Phase 7 reflection / META-LEVEL (18 tests, 196 total) giles 2026-06-07 15:29:45 +00:00
  • 55925d1ed8 radar: pass 33 — dream = Dream-on-SX (off-Quart framework decision); refines migration host layer; planning loop owns the detail (host-readiness shipped) giles 2026-06-07 15:27:37 +00:00
  • e2aca38a84 maude: Phase 6 strategy language (19 tests, 178 total) giles 2026-06-07 15:26:52 +00:00
  • 858d35a68c maude: Phase 5 system modules + rewrite rules (21 tests, 159 total) giles 2026-06-07 15:23:06 +00:00
  • 1d771aedea fed-sx-m2: Pattern B from fed-prims diagnosis fails on reproducer giles 2026-06-07 15:21:18 +00:00
  • bd1e78c40f dream: security headers + cache-control middleware + 12 tests loops/dream giles 2026-06-07 15:20:55 +00:00
  • 94aaf0e433 events: whole-series booking + 9 tests giles 2026-06-07 15:20:27 +00:00
  • 0366373c8a dream: HTML escaping (dream-escape) + fix XSS hole in todo demo + 11 tests giles 2026-06-07 15:18:49 +00:00
  • 85aea61f3c dream: auth — pure-SX base64 + HTTP Basic + Bearer-token middleware + 23 tests giles 2026-06-07 15:16:29 +00:00
  • 7fb833f54c dream: api.sx facade (make-app/serve) + README documenting public surface + 9 tests giles 2026-06-07 15:13:44 +00:00
  • 6b9df03d01 dream: query/header convenience helpers + content negotiation + 18 tests giles 2026-06-07 15:11:55 +00:00
  • 7d2d8478cc dream: signed session cookies (tamper-evident sid) + 11 tests giles 2026-06-07 15:10:03 +00:00
  • b74eecfdd3 plans: rose-ash-on-sx migration strategy + radar abstraction backlog (from loops/radar) giles 2026-06-07 15:09:37 +00:00
  • b061442c06 dream: pure-SX JSON encode + recursive-descent parse + 35 tests giles 2026-06-07 15:07:48 +00:00
  • 1747bbd944 maude: Phase 4 conditional equations (19 tests, 138 total) giles 2026-06-07 15:06:00 +00:00
  • 768e745076 Merge loops/content into architecture: content-on-sx hardening — tree-wide content/find+has?, tree-wide revision diff, find-replace across all text-bearing fields, in-document prose search (6 commits, 778/778) giles 2026-06-07 15:05:51 +00:00
  • 30aece839b dream: CORS middleware + preflight handling + 12 tests giles 2026-06-07 15:04:43 +00:00
  • 58aa9b64bf radar: rose-ash-on-sx migration strategy — duplicate→cutover→diverge, strangler edge + layer-split shadow-diff, host-trio critical path giles 2026-06-07 15:04:04 +00:00
  • 17ef5f50b3 dream: error-handling middleware (dream-catch) + status reason phrases + 15 tests giles 2026-06-07 15:03:17 +00:00
  • 2378056cb3 maude: Phase 3 — equational matching modulo assoc/comm/id (28 tests, 119 total) giles 2026-06-07 15:01:07 +00:00
  • 078872728e dream: router 405 Method Not Allowed + Allow header + automatic HEAD + 9 tests giles 2026-06-07 15:00:29 +00:00
  • b1be3a36ec dream: chat (ws rooms) + todo (forms+CSRF) demos + 17 tests giles 2026-06-07 14:57:17 +00:00
  • 2551109ffa dream: hello + counter demos + 10 end-to-end tests giles 2026-06-07 14:54:46 +00:00
  • 94f6ab9f2f Merge loops/fed-prims into architecture: diagnose fed-sx-m2 Blockers #4 (handler mutex deadlock) giles 2026-06-07 14:53:33 +00:00
  • 2b42aabe6b dream: dream-run entry point + request/response host adapter + 20 tests giles 2026-06-07 14:53:10 +00:00
  • 04b44401fb dream: static file serving — mime, etags, 304, ranges, traversal guard + 28 tests giles 2026-06-07 14:51:25 +00:00
  • c9a8f05244 content: tree-wide content/find + has? (778/778) giles 2026-06-07 14:49:15 +00:00
  • b67709dab5 dream: websockets — upgrade + send/receive/close/broadcast + 16 tests giles 2026-06-07 14:49:15 +00:00
  • fbc0c03f3a dream: multipart/form-data parsing + 9 tests giles 2026-06-07 14:47:10 +00:00
  • 10906d4ffc maude: Phase 2 syntactic equational reduction (26 tests, 91 total) giles 2026-06-07 14:46:02 +00:00
  • bf8d0bf245 fed-prims: diagnose fed-sx-m2 Blockers #4 — not a mutex bug, hand back to m2 loops/fed-prims giles 2026-06-07 14:43:54 +00:00
  • 9a67ced748 dream: forms (urlencoded) + stateless signed CSRF + 26 tests giles 2026-06-07 14:43:41 +00:00
  • 9f87206949 maude: Phase 1 parser — fmod/mod modules, signatures, mixfix terms (65 tests) giles 2026-06-07 14:43:02 +00:00
  • ddc6635fa8 events: iCalendar (RFC 5545) export + 21 tests giles 2026-06-07 14:41:08 +00:00
  • edff7735e7 dream: flash messages — single-request cookie store + 14 tests giles 2026-06-07 14:38:26 +00:00
  • 55ec0b8f64 dream: cookie-backed sessions + in-memory store + 30 tests giles 2026-06-07 14:35:46 +00:00
  • b5a273cc99 dream: middleware pipeline + logger + content-type sniffer + 20 tests giles 2026-06-07 14:32:06 +00:00
  • 66226b332b dream: router dispatch + path params + scopes + 27 tests giles 2026-06-07 14:29:50 +00:00
  • 8fc7469a3c dream: core types — request/response/route records + 41 tests giles 2026-06-07 14:27:05 +00:00
  • c0a0d29a65 radar: pass 32 — A1 DONE (merged db76cc8c, 13 adopters, common-lisp 487/487 verified post-merge); new subsystems dream+maude, fed-prims resumed giles 2026-06-07 14:25:11 +00:00
  • 37b7d1635c identity: PKCE S256 (RFC 7636 §4.2) — now the erlang binary substrate is fixed giles 2026-06-07 14:12:10 +00:00
  • 92f60d4b8d erlang: fix string literal in a binary — <<"abc">> emitted one null byte giles 2026-06-07 14:12:10 +00:00
  • db76cc8c65 Merge loops/conformance into architecture: A1 conformance-driver migration giles 2026-06-07 14:11:28 +00:00
  • 24349d2d52 Merge loops/events into architecture: events-on-sx cross-event conflict-checked booking (311 tests, 12 suites) giles 2026-06-07 14:11:15 +00:00
  • 38c00e6efd Merge loops/commerce into architecture: commerce-on-sx revenue vertical giles 2026-06-07 14:10:36 +00:00
  • f28156d5b8 Merge loops/artdag into architecture: artdag-on-sx — content-addressed dataflow DAG engine (analyze/plan/incremental-execute/optimize/federation + cost/serialize/stats/fault, 158 tests, 10 suites) giles 2026-06-07 14:10:10 +00:00
  • 7c1edc1cd4 Merge loops/relations into architecture: relations-on-sx — cross-domain relationship graph on Datalog giles 2026-06-07 14:08:32 +00:00
  • 136deb1daf fed-sx-m2: briefing for fed-prims mutex-deadlock fix loop giles 2026-06-07 14:06:15 +00:00
  • eafb687b53 fed-sx-m2: Step 12 gated on new Blockers #4 (handler mutex deadlock) giles 2026-06-07 14:03:37 +00:00
  • 02b721854e events: cross-event conflict-checked booking + 8 tests giles 2026-06-07 13:59:37 +00:00
  • 8d33d02f92 fed-sx-m2: resolve Blockers #1 — fix er-bif-http-listen marshaller bridge giles 2026-06-07 13:51:06 +00:00
  • f1d65c0953 relations: weakly-connected components (component, components partition, count) + 11 tests loops/relations giles 2026-06-07 13:43:20 +00:00
  • 744bbb445c commerce: end-to-end composition integration suite (19 tests) — hardening loops/commerce giles 2026-06-07 13:40:02 +00:00
  • 9051f52f53 content: tree-wide revision diff (772/772) giles 2026-06-07 13:39:08 +00:00
  • c0d02c229c relations: bulk lifecycle — relate-many! + unrelate-node! cascade cleanup + 12 tests giles 2026-06-07 13:27:12 +00:00
  • 64d3925af1 radar: pass 31 — A1 conformance worklist COMPLETE (4 migrated/5 excluded; 12 on driver + 6 excluded); only parity-gated merge remains giles 2026-06-07 13:19:50 +00:00
  • b66395886b relations: route enumeration — all-paths (all simple directed paths a->b) + 9 tests giles 2026-06-07 13:18:49 +00:00
  • 9a204e84ab fed-sx-m2: Step 10c — peer-actor doc fetch + cache (+ 11 tests) giles 2026-06-07 13:15:48 +00:00
  • e6ffc60040 relations: tree/DAG queries (common-ancestors, lca, topo-order) in SX + 16 tests giles 2026-06-07 13:07:50 +00:00
  • 0061db393c conformance: exclude tcl (foreign *.tcl programs vs expected annotations) — A1 worklist complete loops/conformance giles 2026-06-07 13:03:45 +00:00
  • e66fbfc540 commerce: refund lifecycle as a flow-on-sx flow (20 tests) — Phase 5 backlog complete giles 2026-06-07 13:01:16 +00:00
  • 1c46fc2a69 relations: shape queries (siblings, in/out-degree, undirected connected?) computed in SX + 18 tests giles 2026-06-07 12:56:35 +00:00