3,091 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
soul	bf55c10199	vector: write_admitted messageId refuses U+FEFF before a letter (kills a trim-before-check decoder) ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 14:42:44 +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	70f8135d2c	vector: write_admitted messageId accepts a NUL between letters (rule: letter present, no Default_Ignorable) ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 14:41:11 +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
Libby	5ba3e9e2aa	Merge pull request 'Rust RUDP server: pin blank schemaId/recordKey refusal, decide sequenced refusal per frame' (#63) from libby/rs-receipt-key-tests-per-frame into main	2026-11-09 14:15:49 +00:00
Libby	69703358c0	Merge pull request 'write-receipt: one unreadable text, one blank-field rule (both servers)' (#64) from libby/write-receipt-text-blank-rules into main	2026-11-09 14:15:48 +00:00
soul	96c5fb1ca4	interop peer: C# store holds the spec's admitted schema-id names (compatible ids) ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 14:12:38 +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	636b387cf1	write-receipt spec: a repeated or unreceived sequenced packet draws no second answer ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-09 09:13:31 +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	3b1b769762	write-receipt spec: name the platforms that disagree accurately ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 22:27:17 +00:00
Libby	52204c68c9	write-receipt vectors: U+001C to U+001F and padded names are not blank ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 22:26:28 +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	e4d2446dbe	C# InteropPeer: receipt-serve (CultNetDatabaseServer on an ephemeral port) and receipt-relay (LiteNetLib byte shim for the TS client) ... 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	db5e8834f3	write-receipt: blank is exactly Unicode White_Space; C# server checks the listed set in one place ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 22:02:49 +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	98989f90ea	C# tests: a nil payload names nothing (mutant survivor) ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 21:57:38 +00:00
Libby	bc9a1842f5	C# database server: refuse a put that names nothing, one unreadable text ... IsUnreadableDocument follows the spec's Required fields rule (blank storedAt, empty payload, blank source ids and tags join blank schemaId/recordKey); ForUnreadableMessage is the single owner of the fixed text. Tests replay the blankFields vectors on receipt and legacy connections. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 21:26:49 +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	92b4cb7ce9	Merge pull request 'C#: database server answers writes with write_admitted / error.v1 (write-receipt spec)' (#61) from libby/cs-write-receipt-server into main	2026-11-08 19:51:52 +00:00
Libby	36494dafb9	Merge pull request 'cultmesh-rs: RUDP document server answers writes with write_admitted / error.v1' (#60) from libby/rs-write-receipt-server into main	2026-11-08 19:49:50 +00:00
Libby	5bf2428295	Merge pull request 'spec: cultnet write receipt (write_admitted, error id echo, admitted/refused/unconfirmed)' (#59) from libby/cultnet-write-receipt-spec into main	2026-11-08 19:49:40 +00:00
Libby	1a228349f1	C#: a put or delete with an empty or blank schemaId or recordKey is refused message_invalid (as an unreadable frame, like the Rust server) and not applied ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 19:46:45 +00:00
Libby	621b86ca15	Spec #59: an empty or blank schemaId or recordKey is message_invalid (details.field message, the write's id), never applied; vector for it ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-08 19:45:19 +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