2,871 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Libby	3d7126d036	docs: mark samples/eve-browser-network as needing a sibling Eve checkout ... The sample ProjectReferences ../Eve and is not in CultLib.sln (PR #22). README, getting-started 03/04 and browser-verse-transport now say so where they tell readers to run it. Pages 01 and 03:73 only link Program.cs as source to read, which needs nothing, so they are unchanged. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-07 11:33:51 +00:00
Libby	c17b330d70	Merge pull request 'sln: drop EveBrowserNetworkSample so dotnet build CultLib.sln succeeds' (#22) from libby/drop-eve-sample into main	2026-11-07 11:33:13 +00:00
Libby	7d654cc277	sln: drop EveBrowserNetworkSample so dotnet build CultLib.sln succeeds ... The sample ProjectReferences ../../../Eve, which is not checked out beside CultLib, and the only error in the build was Program.cs CS0234 (GameCult.Eve missing). The sample stays on disk and is built by scripts/verify-eve-browser-network.mjs with --eve-root; it is just no longer part of the default solution build. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-07 11:32:01 +00:00
Libby	824a1545fd	Merge pull request 'ci: Windows legs run on workflow_dispatch only; Ubuntu gates push and PR' (#21) from libby/ci-ubuntu-gate into main	2026-11-07 11:31:09 +00:00
Libby	2897b4bad8	ci: Windows legs run on workflow_dispatch only; Ubuntu gates push and PR ... The forge runner is Ubuntu-only (Docker, one job), so Windows jobs queued on push and pull_request can never run. - cultnet-interop: the whole job is Windows-only; trigger is now workflow_dispatch. - cultmesh-portability: both matrices keep windows-latest on workflow_dispatch and run ubuntu-latest alone on push and pull_request. - quic-native: unchanged; Build win32-x64 already runs only on dispatch or a tag. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-07 11:30:22 +00:00
Libby	4f4c65d847	Merge pull request 'cultnet-ts: drop unset optional keys from createDocumentPutMessage' (#13) from libby/cultnet-ts-put-nil-keys into main	2026-11-07 11:26:57 +00:00
Libby	7e38bf2bf0	Merge pull request 'heimdall-consent: typed records for the answer collector' (#12) from libby/consent-records into main	2026-11-07 08:28:31 +00:00
Libby	638e71f427	heimdall-consent: re-pin docs to Heimdall PR #6 aaeb175, fix doc line numbers, mark notice state event and registration-checkbox gap as not modelled ... No behaviour or vector rows changed. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-07 04:10:44 +00:00
Libby	420eb9e840	heimdall-consent: pin the one version rule in the golden vectors (4294967295 ok; 4294967296 and 01 refused) ... Case one-version-rule runs version_ok/version_refused for notice_version, the sample id @N and terms_version; the Rust vector test handles both ops. README cites Heimdall PR #6 d6a8d42 for the rule. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-07 02:40:57 +00:00
Libby	af0b1b6817	heimdall-consent: one version rule for every version field (positive, no leading zeros, <= 4294967295) ... check_version is the single rule; the sample id's @N and MemberTerms.terms_version both call it, so terms_version "2026-11" is now refused and the golden vector carries 4294967295 (the harness now validates the terms record). notice_version stays u32 and validate() refuses 0. Tests: boundary table (1, 4294967295 accepted; 0, 4294967296, 4294967297, 01, +1, -1, empty, 2026-11 refused) across all three; each rule checked by mutation (u64 wrap, leading-zero, sign, terms unchecked, returned value, empty sample, zero in both records) and killed. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-07 00:32:09 +00:00
Libby	27d7e48cd6	heimdall-consent: pin key(), MemberTerms read-back, acceptance member/experiment, scope rule; refuse leading-zero versions ... Answers Heimdall's review of PR #12 (review 4): tests for the exact U+001F joined key and the empty and separator refusals; an expect_terms vector op (newcomer case defends the MemberTerms pair) and expect_no_terms; a mismatched member or experiment acceptance is never training data; the three scope conditions kept, with a test of the rule over every scope pair; sample versions with a leading zero are refused (README notes Heimdall may rule normalise instead). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-06 20:53:13 +00:00
Libby	19f77ae3c2	heimdall-consent: README maps doc lines at Heimdall commit 4e99bfa ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-06 19:42:44 +00:00
Libby	5ab6a6181f	heimdall-consent: live answers need text; ties on received_at break by bytewise event_id ... Rulings: Heimdall PR #6 comment 759. Golden vectors for empty live text, empty revoked, and received_at ties in both input orders. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-06 19:42:24 +00:00
Libby	a9a2d51c6a	heimdall-consent: match Heimdall's rulings at doc commit 2364979 ... Typed records, validate(), redacted([u8;32]) and the golden vectors follow the nine rulings on Heimdall PR #6: u32 versions, 32-byte tombstone hash on the exited Answer, scopeless replies stored with both fields absent, strict training rule, fresh first reply per notice version. README cites doc lines. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-06 18:27:06 +00:00
Libby	3a98eef12f	cultnet-ts: drop unset optional keys from createDocumentPutMessage ... MessagePack encodes undefined as nil, and the peer rejects a document whose sourceRuntimeId/sourceAgentId/sourceRole/tags are nil. Omit absent keys; test that the encoded message carries none. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-06 18:10:00 +00:00
Libby	309c8c1ba3	heimdall-consent: typed records for the answer collector ... NoticeAcceptance, Answer and MemberTerms cut from Heimdall PR #6 (docs/answer-collector-consent.md, head d836f29), with a golden vector for versioned sample keys, scope-less exclusion from training, redaction as hash-only tombstone and newcomer notice acceptance. Ambiguities are listed in the README as questions for Heimdall. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-06 15:35:25 +00:00
Libby	b88beddecb	Merge pull request 'heimdall-stake: stake function and splitting-gain report (Rust, zero deps)' (#9) from libby/heimdall-stake into main	2026-11-06 04:34:33 +00:00
Libby	84f932ec50	heimdall-stake: sybil note and golden vectors ... README: the constant 1 in weight = 1 + log_b(amount/unit) is paid once per identity, so splitting always pays until the log goes negative and no base fixes it; the defence lives outside the function. Golden vectors (single and split k=1,2,10,100, three bases) computed with 60-digit decimal ln, pinned by tests/golden.rs. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-06 02:30:58 +00:00
Libby	ae33ba4842	heimdall-stake: stake function and splitting-gain report (Rust, zero deps) ... weight = 1 + log_b(amount/unit) in integer cents and micro-weights with an integer-only log, plus floor, per-identity cap and minimum amount per identity; splitting_gain/curve report what splitting a budget over k identities does. 11 property tests. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-06 02:30:58 +00:00
Libby	cafffbf6d5	Merge pull request 'docs/start: verbatim drift check for C# and TS first-call blocks' (#7) from libby/start-drift-checks into main	2026-11-05 12:43:13 +00:00
Libby	51445cb2af	Merge pull request 'CultMath: Phacelle rows are bit-identical forward, backward and shuffled' (#5) from libby/phacelle-row-order into main	2026-11-05 11:02:47 +00:00
Libby	6ba990d734	Merge pull request 'heimdall-delegation: delegation resolver (Rust, zero deps)' (#6) from libby/heimdall-delegation into main	2026-11-05 11:02:24 +00:00
Libby	bb25bf04cb	docs/start: verbatim drift check for the C# and TypeScript first-call blocks ... Both blocks now come from a snippet region in their test, and a second test fails when docs/start/README.md stops showing it, as the Rust and Python blocks already do. The TS block differs only in the package import specifier. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-05 09:43:55 +00:00
Libby	5cb5f35dcc	heimdall-delegation: README caveat that the cap does not bind under ballot copying ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-05 09:41:42 +00:00
Libby	e2a39d8aef	heimdall-delegation: pro-rata cap, revocation time on receipts, prior art ... Replace ascending-id trimming with pro-rata scaling by largest remainder (ascending originator id breaks exact remainder ties only). Receipts carry counted weight and the originator's latest covering revocation time. Delegation::revoked becomes Option<u64>. Property tests: trim order-independence, cap never exceeded, no delegator scaled more than another. README: prior-art section, placeholders labelled. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-05 05:26:37 +00:00
Libby	30318c18fc	heimdall-delegation: delegation resolver with property tests ... Re-delegation to max depth, estate-of-delegator counting, per-estate cap on the final holder, scope narrowing, direct override, revocation, uncast on cycle/depth/trim, same-estate-only switch, per-person public receipts. No stake function; weights are caller-supplied. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-05 00:09:07 +00:00
Libby	bbee623e29	CultMath: Phacelle rows are order-independent (forward, backward, shuffled) ... Pins that height rows built from math.phacelle (the C# mirror of cultmath_phacelle) are bit-identical whatever order the rows are generated in, for a ring-buffer terrain. Golden fixture untouched. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-04 21:35:41 +00:00
Libby	66c9f50993	Merge pull request 'docs/start: tested Rust and Python CultCache first calls' (#3) from libby/docs-start-rust-py into main	2026-11-04 21:34:14 +00:00
Libby	83321353e6	Merge pull request 'docs: docs/start onboarding with tested CultCache first calls (C#, TS)' (#2) from libby/docs-start into main	2026-11-04 20:33:56 +00:00
Libby	6d126d4b94	Merge pull request 'CultMath: regenerate lavapipe device bounds at 85ce65fa' (#4) from eureka/fbm-lavapipe-bounds into main	2026-11-04 20:31:23 +00:00
Eureka	883271f62c	CultMath: regenerate lavapipe device bounds at 85ce65fa ... Exact-case counts move: cycles_arcsine 154 -> 155 and cycles_arctan2 6 -> 7 on both routes; worst u1 and result hashes unchanged. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-04 20:26:13 +00:00
Libby	533b492af2	docs/start: tested Rust and Python CultCache first calls ... Each test file carries the snippet between markers; the docs show it verbatim and a second test in the file fails if the README block drifts. Matrix cells for Rust and Python CultCache now link them. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-04 20:20:33 +00:00
Libby	85ce65fad8	Merge pull request 'CultMath: fbm, and the measured Lipschitz bound of phacelle' (#1) from libby/cultmath-fbm-lipschitz into main	2026-11-04 19:19:08 +00:00
Libby	5d8e032d7f	cultmath: glsl-parity header names the recording image and lavapipe/Mesa; asin/acos/atan2 oracle tolerance capped at 1 ulp ... The glsl-parity.json header gains recorded_on (generator writes it; goldens untouched). CyclesOracleTests allows cycles_arcsine, cycles_arccosine and cycles_arctan2 (glsl-parity families 95-97) 1 ulp from Blender, with the measured cases named; a test pins the cap at 1 ulp, the three names, and that a 2 ulp miss still fails. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-04 17:22:13 +00:00
Libby	52dd5e8acb	docs: docs/start onboarding page with tested CultCache first calls in C# and TypeScript ... A language x package matrix (each cell a tested snippet or "not yet"), a C# first-call test and a TypeScript first-call test that the docs link, and a pointer from the top of README.md. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-04 16:11:05 +00:00
Libby	b57501b33e	cultmath: phacelle-lipschitz prints usage and exits 2 on missing or malformed arguments ... Without arguments the tool threw IndexOutOfRange; a malformed number threw FormatException. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-02 18:33:18 +00:00
Eureka	3b58b24a68	cultmath: re-record device-bounds-lavapipe.txt for cultmath_fbm ... Recorded on Yggdrasil under llvmpipe (LLVM 20.1.2) with packages/cultmath/tools/device/run-lavapipe.sh, WRITE_BOUNDS=1, at 990521b3. Adds the lavapipe-glsl and lavapipe-hlsl rows for cultmath_fbm only. The cycles_arcsine/arctan2 rows are left as committed (pre-existing asin/atan oracle failures at base 94f20eee are out of scope). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-01 04:57:26 +00:00
libby	990521b3f1	cultmath: measure the Lipschitz bound of phacelle, with its tool and a pinning test ... max singular value of the (cosine, sine) Jacobian <= max(10, 1.25 |side|) / (1 - normalization) for normalization in [0, 0.9], |side| in [0.25, 25]; method and tightness in design.md. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-10-31 21:58:18 +00:00
libby	2d0adb92cc	cultmath: add fbm, the value-only octave sum of snoise, with its HLSL and GLSL mirrors ... math.fbm(p, octaves, lacunarity, gain) and math.fbm(p) (four octaves, lacunarity 2, gain 0.5); cultmath_fbm in the shaders, the GLSL regenerated by GlslLowering, a golden-fixture family appended, FbmTests for the rules. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-10-31 21:52:18 +00:00
Meta Vens	94f20eee5e	cultnet-ts server: close() waits for the goodbyes to leave the socket; peer reaping is opt-in and TypeScript-only ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-31 01:51:34 +01:00
Meta Vens	ae0b9e234f	cultnet-ts: changelog and README for the many-peer RUDP server ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-31 01:32:01 +01:00
Meta Vens	37a2b002db	cultnet-ts: CultNetRudpSocketTransportServer serves many peers on one socket, one reliable session per remote endpoint (matches Rust server hub and C# socket server; wire unchanged) ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-31 01:30:29 +01:00
Meta Vens	1f495156b5	cultnet-rs-presence-provider-a: one Rust provider of gamecult.runtime_presence_health.v2 for Idunn-managed services, every platform; custody follows delivery; signer owns health; write-lease guard; route answer; no network (squash of hands/cultlib-gaps-presence-provider-a f1941449..ed48b5e6; Soul s1-s3) ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-29 18:08:26 +01:00
Eureka	f194144913	Research: presence provider library/launcher split prior art (cultlib-gaps B4b2) ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-29 13:07:21 +01:00
Meta Vens	64b86e0a27	write-ownership-cs: a write owns a record by the written type; one-batch retype is eviction then add (squash of hands/variants-write-ownership a4eae905..8c7252ea) ... A write owns the record at its key when the written type declares the record's schema id, or reads an older undeclared id of its own schema name whole (ruling own-entry-reads-whole); every other registered type's record is refused, in every cache, with or without a backing store (cache-refuses-retype). Removing a record and adding one of another type in a single batch is staged as the held record's eviction then the add, so validators, Claim, the store judges and the change journal see what they see staged apart (one-batch-retype-is-eviction-then-add); Watch<old> gets Removed and Watch<new> Added. A one-batch retype across home stores is refused by the batch-spans rule and must be staged apart. A variant rebase changes type exactly where a plain write may (variant-rebase-follows-plain-write). Store kinds outside the library get one protected per-key judge (store-kind-per-key-judge), exercised by tests/GameCult.Caching.OutsideStoreTests. Spec variants:cut_spec:cut-write-ownership-cs.r1; reports h1-h5; Soul s5 clears the merge (verdict variants:verdict:cut-write-ownership-cs.s5). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 08:22:20 +01:00
Meta Vens	a4eae90561	Unity CHANGELOG: remote writes to a CultNetDatabaseServer need a granting authority ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 02:07:59 +01:00
Meta Vens	a924512e01	Garden path: remote writes need a granting authority (cut remote-write-authority) ... Merges hands/garden-path-remote-write-authority (51ca81a1..1e73e206). cultmesh-garden-path:cut_report:cut-remote-write-authority.h1/h2; Soul s1 and s2 hold. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 02:07:44 +01:00
Meta Vens	1e73e20645	RemoteWriteAuthorityTests: pin the refusal on the wire, the aliased delete's canonical ask and the null decision ... A real LiteNetLib pair on ephemeral loopback ports carries the handlers' answers to a client that decodes them with the production schema decoder; no fixed port and no global frame provider. The delete under a schema alias and a null decision are pinned where each is decided. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 01:43:18 +01:00
Meta Vens	49594e4901	RemoteWriteAuthorityTests: pin that the refusal is built and sent, and a reasonless refusal's text ... Mutation triage: removing the refusal exception's constructor body survived because the handler threw on the uninitialized peer either way; the helper now requires the failure to come from the peer's send, not from building the message. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 01:10:03 +01:00
Meta Vens	85dbd47dcc	RemoteWriteAuthorityTests: subscribe through R3 ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 00:48:53 +01:00