2,856 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Libby	f5c2771192	cultnet-py: multi-peer RUDP socket server, with C#-captured transcript parity ... Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-07 01:36:55 +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
Meta Vens	5a80f2adca	cultnet.error.v0: add code write_not_authorized across C#, both schema copies and Rust ... Captured-bytes case in cultnet-rs error_message.rs, asserted byte-for-byte by the C# schema contract test; the cultnet-distributed-database contract and the Networking README state the remote write authority invariant. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 00:47:24 +01:00
Meta Vens	b4f494b7a0	CultNetDatabaseServer: a peer's put or delete commits only when its write authority grants it ... CultNetDatabaseServerOptions.RemoteWriteAuthority is asked once per received write, after the schema resolves and before the shard does; none configured refuses every remote write; an authority that throws refuses and is logged. A refusal applies, publishes, logs and forwards nothing. The host's own CultNetDatabase.ApplyPutAsync/ApplyDeleteAsync ask no remote authority. Existing server tests whose subject is not the grant pass a test-local granting authority. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 00:47:24 +01:00
Meta Vens	cf1e4f7a9d	CultNetDatabaseServer: delete the ApplyPutAsync/ApplyDeleteAsync pass-throughs ... A second public door named like the peer path with no caller besides the handlers. Hosts keep CultNetDatabase.ApplyPutAsync/ApplyDeleteAsync. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 00:44:09 +01:00
Meta Vens	4b3bb26e76	Garden path map: stage 1 rulings fill the model page; GP1 and F13-F17 for the remote write door ... Every fork the model page waited on is ruled, so its cells now carry the rulings. GP1 confirms at runtime that the database server applies a put from a peer that carries no identity. F13-F17 record what the remote write authority cut stands on: peers have no identity, refusal codes are a coordinated cross-runtime enum, forwarding re-sends as a new client, the door has no consumer outside CultLib, and the Rust document server has the same gap. The cut sequence splits authority collapse into its remaining lines. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 00:36:36 +01:00
Meta Vens	51ca81a1d4	AOT cut 1: consumers with the MessagePack generator on can declare CultRecordRef<T> members and keys ... Merges hands/cultlib-aot-record-ref (b7a68884..3d4efc89). cultlib-gaps:cut_report:cut-aot-record-ref-generator.h1, Soul verdict s1 holds. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 00:19:05 +01:00
Meta Vens	16d68660de	Write-ownership map: body facts across runtimes, authority table, cut sequence ... Probed at b7a68884: only the C# cache arm retypes a key (cache {A,B} replaces B's record with A); cacheless writes already refuse. TS, Rust and Python key records by (type, key), so two types coexist at one key and no leaf has a retype path; leaf parity needs key identity first. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 00:08:03 +01:00
Meta Vens	3d4efc893a	GeneratorConsumer: skip every ref-keyed dictionary serialization under NativeAOT ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 00:03:21 +01:00
Meta Vens	e3fe3a32f6	GeneratorConsumer: upsert through UpsertAsync ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 00:01:41 +01:00
Meta Vens	5c55f9cb15	Assume CultRecordRef<T> formattable for MessagePack's source generator consumers ... The package ships MessagePackAssumedFormattable(typeof(CultRecordRef<>)) as an MSBuild AssemblyAttribute in buildTransitive, so generated resolvers defer the ref to CultDocumentResolver. Geometry imports the targets and drops its three per-member [MessagePackFormatter] workarounds. GeneratorConsumer is the generator-on twin of ConsumerBuild. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-27 23:59:13 +01:00
Meta Vens	b7a68884c6	Land C2a: CultCache document variants, element ids and write ownership (3.0.0 Unreleased) ... Merges hands/variants-c2a at 7605bd17. Verified at 463714c4 (code tree identical): every C#, TS, Rust and Python suite green on Yggdrasil and the old-reader refusal gate refusing in all four runtimes (variants:cut_report:cut-land-c2a-main.h1, Soul variants:verdict:cut-land-c2a-main.s1). No tag: tags, Unity plugin rebuild and the declared-range gate are the 3.0.0 release cut. Non-building branch commits exist; bisect with --first-parent. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-27 23:56:22 +01:00
Meta Vens	7605bd1777	C2a land map: steps 3 and 4 closed, step 5 held by Soul ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-27 23:56:04 +01:00
Meta Vens	463714c48f	Land map: step 6 records the land is --no-ff and why; steps 1, 2 and 5 marked closed ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-27 23:43:09 +01:00
Meta Vens	3157d4b325	Merge origin/main into hands/variants-c2a (docs and research only)	2026-10-27 23:42:49 +01:00
Meta Vens	7a7b76efdd	Research: prior art for structural versus name-inclusive schema ids (serves variants store-identity question) ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-27 18:34:41 +01:00
Meta Vens	723b799668	Caching docs: state exactly what a cacheless write owns and refuses ... The CHANGELOG bullet, the persistence-contract paragraph and the registry param docs of WriteRecord and WriteDocument now list the two ways a record is owned and every refusal the code makes, including a stored entry that lists another registered type's id ahead of the written one's and a call that writes no entry. The registry-less Shared read is described as it is today. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-27 18:24:16 +01:00