Author	SHA1	Message	Date
soul	d1a4ebdd68	cultmesh-kotlin: refuse a write_admitted messageId without a letter or number or with a Default_Ignorable code point ... Raw compare. JDK Character categories for L/N, an embedded Default_Ignorable range table (Unicode 16.0). The MessagePack string reader now refuses invalid UTF-8 instead of substituting U+FFFD. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 14:45:37 +00:00
soul	688562c316	cultnet-py: refuse a write_admitted messageId without a letter or number or with a Default_Ignorable code point ... Raw compare. unicodedata for L/N, an embedded Default_Ignorable range table (Unicode 16.0). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 14:43:26 +00:00
soul	4c1537885d	cultnet-ts: refuse a write_admitted messageId without a letter or number or with a Default_Ignorable code point ... Raw compare, no trim. The platform's regex property tables carry both properties; no table embedded. D800 vector now driven from wireHex. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 14:42:01 +00:00
soul	4571a0d4e7	tests first: write_admitted messageId rule vectors (failing) ... Pins Heimdall's rule: a write_admitted messageId needs a Unicode letter or number and no Default_Ignorable_Code_Point, compared raw. Shared vectors plus a runner test in TS, Python, Kotlin, C# and Rust. No decoder changed; the refuse vectors fail. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 14:39:51 +00:00
Libby	325da81428	Merge pull request 'TS write-receipt client against the real Rust and C# receipt servers (interop harness)' (#67) from libby/write-receipt-ts-interop into main	2026-11-09 14:16:00 +00:00
Libby	e4f550ef78	Merge pull request 'cultnet-py: decode write_admitted.v0 and error.v1 against the write-receipt vectors' (#66) from libby/write-receipt-py-interop into main	2026-11-09 14:15:59 +00:00
Libby	59365cea35	Merge pull request 'cultmesh-kotlin: write receipt frames, hash, tracker, vector replay' (#65) from libby/write-receipt-kt-interop into main	2026-11-09 14:15:58 +00:00
soul	b8e40dc372	interop test: pace C# relay connections under the server's per-IP per-minute limit ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 14:10:42 +00:00
soul	1704fb5060	cultmesh-ts: test:interop builds cultcache-ts and cultnet-ts (with contracts) first ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 14:05:57 +00:00
Libby	8c31933e10	cultnet-py: the write-receipt vector sections include the file's counts ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 10:38:29 +00:00
Libby	2f3b30ab85	Merge remote-tracking branch 'origin/libby/write-receipt-text-blank-rules' into libby/rs-receipt-key-tests-per-frame	2026-11-09 10:37:49 +00:00
Libby	819df6a666	Merge remote-tracking branch 'origin/libby/write-receipt-text-blank-rules' into libby/write-receipt-ts-interop	2026-11-09 10:37:49 +00:00
Libby	e490828278	Merge remote-tracking branch 'origin/libby/write-receipt-text-blank-rules' into libby/write-receipt-py-interop	2026-11-09 10:37:49 +00:00
Libby	6ca9c455b7	cultmesh-kotlin: sendFailed vectors, a tracker that ends with its session, White_Space blank ... The replay runner handles the sendFailed event, fails on an event key it does not know and on a vector count the file did not declare. WriteTracker settles a write sent after sessionEnd as session_ended. Source ids on a raw document record are dropped when blank by Unicode White_Space (isBlankText), not Kotlin's isNullOrBlank, which keeps U+0085 and drops U+001C to U+001F; the vector file's JSON reader skips JSON whitespace only. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 10:37:48 +00:00
Libby	1136080aaf	Merge remote-tracking branch 'origin/libby/write-receipt-text-blank-rules' into libby/write-receipt-kt-interop	2026-11-09 10:34:56 +00:00
Libby	f0c0f936ba	write-receipt: seven tracker vectors, a tracker that ends with its session, runners that count ... New scenario vectors: id-less error.v1 with one and with two writes unanswered, sendFailed, an id-less error after the window, a receipt one ms inside the window and at the exact boundary (late), a send after sessionEnd. The last exposed a TS tracker leaving such a write pending forever; it now settles session_ended. The file declares counts, and the TS replay runner fails on a count it did not run or an event key scenarios.semantics does not name. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 10:34:49 +00:00
Libby	b082101c78	cultnet-ts: a blank text in a raw frame is Unicode White_Space, not trim() ... validateBinaryMessageRoot, requireNonEmptyString and requireOptionalStringArray used String.prototype.trim(), which takes U+FEFF and misses U+0085, so the TS decoder and the servers disagreed on what names nothing (write-receipt rule 5). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 10:22:15 +00:00
Libby	6c441d1cda	Rust RUDP server: answer a sequenced write once, not once per send ... A repeat of a packet the session already took, and a packet too far ahead to be remembered, delivered no frame and so drew the superseded-write refusal again on every send, breaking write-receipt rule 1. The refusal now applies only to the first packet the session takes for a sequence; CultNetRudpSession::has_received exposes that test. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 09:13:18 +00:00
Libby	34cceedf98	Rust RUDP server: pin the superseded-write refusal against a releasing packet and the half-space bound ... cargo-mutants on the previous commit missed two mutants: `&&` to `||` in the superseded-packet check (a packet that also releases another write hid it) and `<` to `<=` at the half-space bound of sequence_at_or_before. A test and two assertions kill them; the rerun catches 14 of 15 (1 unviable). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 09:13:18 +00:00
Libby	4e89f07bff	Rust RUDP server: answer a superseded sequenced write; order frame and packet by serial arithmetic ... Superseded packet: a reliable-sequenced packet that arrives after a newer one delivers no frame, yet is acknowledged and never resent, so its write went unanswered. The test (red first: only "new" was refused, "old" got nothing) showed the drop happens in the session below frame decoding, but an unfragmented packet carries its whole frame, so the server can read the id from the packet payload. Chosen: refuse it from the packet payload. A superseded fragment of a larger write has no readable id in the packet, so write-receipt.md now says that write may go unanswered and the client's unconfirmed outcome covers it. Ordering: frame.sequence <= packet.sequence is replaced by sequence_at_or_before, serial arithmetic modulo 2^32. Deviation from the brief: cultnet-rs' at_or_before carries a 4096-sequence receive window made for duplicate detection; a frame's first fragment may lie further back than that, so reusing it would leave such a sequenced write unrefused and applied. The new test pins that, and a hand mutant with the window fails it. A wrapped sequence cannot reach this compare through the session today (it is judged a duplicate), so the unit test pins the helper, not an end-to-end wrap. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 09:13:18 +00:00
Libby	bd2aff8ed0	Rust RUDP server: decide the sequenced-channel refusal per frame ... A sequenced packet's arrival can release held ordered frames in the same delivery; refuse only the packet's own frame. heimdall-low-refuse-sequenced-per-frame. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 09:13:04 +00:00
Libby	4f6ee0db83	Rust RUDP server: pin the refusal of blank schemaId/recordKey on receipt sessions ... heimdall-low-rust-keys-untested. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 09:13:04 +00:00
Libby	04207007d6	interop test: read the store under the record key the blank-field vector set ... A vector that sets recordKey (zero_width_space_record_key_is_a_name) replaces the harness key, so the admitted case waited for blank:<name> and timed out against the Rust server, and the refused record-key cases counted applications under a key the server never saw. Use the key the document carried. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 07:45:35 +00:00
Libby	ec8ecd2fb0	Merge write-receipt-text-blank-rules (3b1b7697) into libby/write-receipt-py-interop	2026-11-09 07:38:23 +00:00
Libby	80f1cfa385	Merge write-receipt-text-blank-rules (3b1b7697) into libby/write-receipt-kt-interop	2026-11-09 07:38:23 +00:00
Libby	4b5f343a44	Merge write-receipt-text-blank-rules (3b1b7697) into libby/write-receipt-ts-interop	2026-11-09 07:38:23 +00:00
Libby	140eca5138	cultmesh-ts: TS write-receipt client against the real Rust and C# receipt servers (test:interop) ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 22:06:55 +00:00
Libby	56b0c1679c	cultmesh-rs: receipt_interop_server example, the real RUDP document server on an ephemeral port for the interop harness ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 22:06:55 +00:00
Libby	f6c61b1ebf	cultnet-py: decode cultnet.write_admitted.v0 and cultnet.error.v1 against the write-receipt vectors ... Strict closed-schema decode, content hash helper, hello capability; vectors contentHash, wire and schemaInvalid replayed. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 22:06:08 +00:00
Libby	cbb336f501	cultmesh-kotlin: decode write_admitted.v0 and error.v1, content hash, WriteTracker, vector replay ... Strict decode of the two receipt frames (and error.v0), hello capability test, the dedupe content hash and the client settle rules, ported from cultnet-ts. write-receipt-vectors.json replays 38/38 (constants, contentHash, wire, schemaInvalid, scenarios, v0 limit_reached); dedupe and blankFields are server inputs and not run. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 22:03:27 +00:00
Libby	ccbe392b28	write-receipt vectors and tests: blank is Unicode White_Space, every code point checked ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 22:02:10 +00:00
Libby	e99e9d4bc0	write-receipt spec: one unreadable text, one blank-field rule; Rust server tests pin both ... The unreadable-frame text is 'message_invalid: the message could not be read' (the servers' wording; the Rust wire never carried decoder text, only its local rejection display). A put that names nothing (blank schemaId/recordKey/storedAt, empty payload, blank present source ids or tags) is refused as unreadable on every connection; the vectors' blankFields section lists the cases and the Rust server tests replay them. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 21:26:49 +00:00
Libby	7665df33ae	Merge pull request 'TS: write_admitted / error.v1 decoder, WriteTracker, vector replay runner' (#62) from libby/ts-write-receipt-client into main	2026-11-08 19:52:37 +00:00
Libby	90d252735f	cultmesh-rs: a refused reliable-sequenced write is received and acknowledged first, and a refused write counts as session activity ... Refusing before session.receive left the packet unacknowledged: the client resent it forever and every later ordered write stalled. The test now uses the same peer and proves a later ordered write is admitted. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 19:38:43 +00:00
Libby	dc1ae51e92	cultmesh-ts: publishRudpDocumentOnce builds the put before connecting, so a put that cannot be built keeps its cause on both paths ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 19:37:08 +00:00
Libby	0fbf2baea6	cultnet-ts, cultmesh-ts: Heimdall's five Lows on send-only (spec wording, error.v1 ack-time refusal tests, build errors keep their cause, presence changelog, ack-cut anchors) ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 19:32:49 +00:00
Libby	89ff3d2cbd	cultnet-ts test: the Odin presence publisher is send-only, so a refusal after the transport ack is not awaited ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 19:26:25 +00:00
Libby	206dbe142b	cultmesh-ts: sendOnly tests use one fake server per publish (the reused one threw on the second connect and hung the run); spec names send-only and the presence publisher ... The hang was the fake server, not the writer: it is bound to one connection id, and two publishes in one test sent a second connect it rejected from inside the socket handler. The unacknowledged-send test also scripted an admit, whose reply piggybacks the put's ack. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 19:24:52 +00:00
Libby	0caef4d564	WIP (unverified): publishRudpDocumentOnce sendOnly + presence publisher send-only; tests written, cultmesh-ts receipt-client run hung ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 19:24:52 +00:00
Libby	c89c4ee39a	cultmesh-ts: test kills the flush-cap mutant ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 17:07:54 +00:00
Libby	af1ac72359	cultmesh-ts, cultnet-ts: only write_admitted admits a put (no echo admission); the send is bounded by the result window and a timeout is local_send_failed ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 17:05:42 +00:00
Libby	293b4e83bc	cultmesh-ts, cultnet-ts: an unanswered put is unconfirmed on every server, session_ended before a result is an error, a failed local send is its own reason ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 17:03:39 +00:00
Libby	a67faad27c	cultnet-ts: tests for two tracker mutants (send expires other windows; non-answer frames settle nothing) ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 17:03:39 +00:00
Libby	6eea66c57f	cultnet-ts, cultmesh-ts: write receipt client (frames, WriteTracker, replay runner, opt-in writer) ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 17:03:39 +00:00
Libby	e4b67a9e0b	cultmesh-rs: a receipt session accepts writes only on a reliable, non-sequenced channel; a test pins that a reconnect starts a fresh session ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 17:00:48 +00:00
Libby	1a05df2524	cultmesh-rs: server-wide remembered-write budget is a maintained counter; a session whose refusal set overflowed refuses unseen ids after the budget frees ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 16:36:10 +00:00
Libby	c8f869e54e	cultnet-rs, cultmesh-rs: null or missing document/schemaId refused naming the field; budget tests use literal bytes; unreliable-refusal local failure test ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 15:32:03 +00:00
Libby	d7b36416c6	cultmesh-rs: pin limit-refusal memory bound and legacy unreliable drop (mutant-driven tests) ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 15:30:36 +00:00
Libby	1447ccd8dd	cultnet-rs, cultmesh-rs: write_admitted in spec field order; server-wide remembered-write budget over digest entries; id size limit; limit refusals remembered; unreliable writes refused; local failure is its own goodbye ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 15:09:28 +00:00
Libby	0182a6d40b	cultnet-rs, cultmesh-rs: remembered-write cap refusal is error.v1 limit_reached; pin authorize-once with a counting sink ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 14:32:49 +00:00