ed8ba48Simplify server.knot: inline thin wrappers, refactor handleRecvGossip without empty-string sentineliko5 months ago ab099dfSimplify server.knot: drop isOffline lambda, consolidate federation gates, use when instead of case findFirstiko5 months ago 4ffa00bExtract appendMessage and refreshLocalPresence helpers to remove duplicationiko5 months ago baee0aeDrop boolean indirection in handleVerifyAuth; storeFederated returns Resultiko5 months ago 92dfe84Simplify server.knot: deduplicate presence checks, remove intermediate wrappers, drop boolean indirectioniko5 months ago 7f6069aRemove export workaround from rateLimit definitions; compiler bug fixediko6 months ago 18f4f7bDelegate rate limiting to compiler-generated route clausesiko6 months ago 301073fFix if/else effect unification: flip nested branches to enable polymorphic effect inferenceiko6 months ago 10c4580Remove local forEach definition; stdlib provides it as a built-iniko6 months ago 58f6e23Remove function parameters from capList and capPerKey; unify on expiresAt fieldiko6 months ago d786f53Specialize capList and capPerKey: constrain to Timestamp keys and pubkey matchingiko6 months ago 38cf8dbInline Ed25519 hex length invariants as literalsiko6 months ago 7ca3e27Add Eq impls for refinement types; fix effect signatures to match bodiesiko6 months ago 472426fUpdate all calls to predicate-first signatureiko6 months ago c74ea07Use Cons/[] patterns for list recursion; replace dropRelation with dropiko6 months ago 248fad1Remove custom mapWhere/countWhere/any/none helpers; use built-in any and takeiko6 months ago b5ec19bUse built-in filter and map instead of custom helpers removeWhere and pluckiko6 months ago