logos-protocol

logos-co/logos-protocol

Fork 0

mirror of https://github.com/logos-co/logos-protocol.git synced 2026-08-27 20:11:07 +00:00

Commit Graph

Select branches

Hide Pull Requests

chore/drop-per-call-proxy-traces

ci/setup-nix-cache-action

doc/version-guard-rule

docs-shared-runtime-scheme

feat/about-to-unload

feat/canonical-codec

feat/codec-single-source

feat/consumer-credential-no-anchor

feat/current-caller-protocol

feat/export-protocol-shared

feat/identity-methods

feat/inbound-token-store-direction-pure

feat/lp-shared-library

feat/module-impl-abi-manifest

feat/module-token-bridge-abi

feat/multiuser-socket-access

feat/optional-codec

feat/per-client-token-store

feat/plain-async-io-fold

feat/protocol-0-5-teardown

feat/protocol-extraction

feat/protocol-shared-lib

feat/qt-free-split

feat/qt-veneer-over-lp

feat/qtfree-plain-consumer

feat/qtfree-plain-local

feat/qtfree-plain-provider

feat/qtfree-plain-spdlog

feat/sdk-codegen-phase-a

feat/shared-api-export-half

feat/token-direction-split

feat/token-validator-seam

feat/windows-cross

fix/asyncCallErrorChannel

fix/bound-request-module-timeout

fix/burst-drain-assertion

fix/cache-minted-token-sync-path

fix/cache-remote-object

fix/call-error-after-acquire

fix/codec-signedness

fix/deferred-call-dispatch

fix/deferred-event-subscriptions

fix/deferred-wildcard-subscription

fix/event-payload-codec

fix/handshake-trust-anchor

fix/harness-host-thread-affinity

fix/integral-float-accept

fix/json-convert-nested-to-qvariant

fix/lp-client-destroy-owner-thread

fix/lp-client-qt-owner-thread

fix/lp-invoke-async-reports-failure

fix/no-plaintext-args-in-proxy-log

fix/plain-accept-on-strand

fix/plain-close-on-strand

fix/plain-completion-sub-lifetime

fix/plain-event-sub-per-handle

fix/plain-register-fail-gap

fix/plain-teardown-contract-and-qtfree-delivery

fix/publish-before-init

fix/qtro-completion-reentrancy

fix/qvariant-container-int-preservation

fix/qvariant-nested-bytes

fix/rejection-driven-reexchange

fix/token-direction-key-namespace

fix/unstarve-waiter-registry-probe

master

pr/qt-provider-validates

proof/both-waiter-fixes

proof/probe-churn-uaf-red

proof/request-module-unbounded-red

test/adopt-bytes-coverage

test/probe-churn-uaf-regression

#10

#11

#12

#13

#14

#15

#16

#19

#2

#20

#21

#22

#23

#24

#25

#26

#27

#28

#29

#3

#30

#31

#32

#33

#34

#35

#36

#37

#38

#39

#4

#40

#41

#42

#43

#45

#46

#47

#49

#5

#50

#51

#52

#53

#54

#55

#56

#57

#58

#59

#6

#60

#61

#62

#63

#64

#65

#66

#67

#68

#69

#7

#70

#71

#72

#73

#74

#8

#9

303ab08d4c fix(deferred): let onEventWhenAvailable take the wildcard, like onEvent master Dario Gabriel LipicarandClaude Opus 5 2026-08-26 15:46:04 -03:00
bd55c343fc fix(deferred): let onEventWhenAvailable take the wildcard, like onEvent fix/deferred-wildcard-subscription Dario Gabriel LipicarandClaude Opus 5 2026-08-26 15:46:04 -03:00
42460e5b2a fix(tokens): separate INBOUND from OUTBOUND, without moving a single byte Dario Gabriel LipicarandClaude Opus 5 2026-08-24 10:06:15 -03:00
086f0d0c1e fix(tokens): separate INBOUND from OUTBOUND, without moving a single byte fix/token-direction-key-namespace Dario Gabriel LipicarandClaude Opus 5 2026-08-24 10:06:15 -03:00
b37a2e9f1c feat(tokens): a private store is created EMPTY, not seeded with the host anchor Dario Gabriel LipicarandClaude Opus 5 2026-08-23 00:47:28 -03:00
e514c53ef5 fix(tokens): separate the INBOUND and OUTBOUND stores — a grant one way was a grant both ways feat/token-direction-split Dario Gabriel LipicarandClaude Opus 5 2026-08-23 12:07:42 -03:00
d43f052a47 test(tokens): a red detector for the direction collision in one store Dario Gabriel LipicarandClaude Opus 5 2026-08-23 10:32:36 -03:00
c698402c06 feat(tokens): a private store is created EMPTY, not seeded with the host anchor feat/consumer-credential-no-anchor Dario Gabriel LipicarandClaude Opus 5 2026-08-23 00:47:28 -03:00
6c24fcb132 feat(caller): resolve who is calling, and declare the export that carries it Dario Gabriel LipicarandClaude Opus 5 2026-08-22 17:11:20 -03:00
7f75f69fda feat(caller): resolve who is calling, and declare the export that carries it feat/current-caller-protocol Dario Gabriel LipicarandClaude Opus 5 2026-08-22 17:11:20 -03:00
d872024847 fix(proxy): authorize against a store that can only hold INBOUND tokens Dario Gabriel LipicarandClaude Opus 5 2026-08-21 19:51:57 -03:00
0c3f006ffa fix(proxy): authorize against a store that can only hold INBOUND tokens feat/inbound-token-store-direction-pure Dario Gabriel LipicarandClaude Opus 5 2026-08-21 19:51:57 -03:00
79894727e5 docs(version): the obvious way to guard a conditional surface is wrong Dario Gabriel LipicarandClaude Opus 5 2026-08-21 16:07:29 -03:00
4a7e12d7ed docs(version): the obvious way to guard a conditional surface is wrong doc/version-guard-rule Dario Gabriel LipicarandClaude Opus 5 2026-08-21 16:07:29 -03:00
4d9e3e740a docs(shared-api): describe the scheme that actually shipped Dario Gabriel LipicarandClaude Opus 5 2026-08-21 15:35:45 -03:00
b33c354fd8 docs(shared-api): describe the scheme that actually shipped docs-shared-runtime-scheme Dario Gabriel LipicarandClaude Opus 5 2026-08-21 15:35:45 -03:00
480f40ff63 feat(abi): publish the module-impl export list as data, for backends to check against (#66) Dario LipicarandClaude Opus 5 2026-08-21 12:06:48 -03:00
986813cc66 fix(abi): the helper must not depend on the consumer's PATH — and the suite must notice feat/module-impl-abi-manifest Dario Gabriel LipicarandClaude Opus 5 2026-08-21 10:18:25 -03:00
ed0a17c034 ci: run the ABI manifest check — nix build .#tests never reaches checks Dario Gabriel LipicarandClaude Opus 5 2026-08-21 09:45:43 -03:00
e1a6f7c437 feat(abi): publish the module-impl export list as data, for backends to check against Dario Gabriel LipicarandClaude Opus 5 2026-08-21 09:41:13 -03:00
2e3344accc feat(shared-api): make liblogos_protocol.dll a usable single provider (#65) Dario LipicarandClaude Opus 5 2026-08-20 22:18:42 -03:00
7b1f661049 feat(shared-api): make liblogos_protocol.dll a usable single provider feat/export-protocol-shared Dario Gabriel LipicarandClaude Opus 5 2026-08-20 21:42:07 -03:00
b3675bc9af feat(shared-api): give LOGOS_SHARED_API an export half feat/shared-api-export-half Dario Gabriel LipicarandClaude Opus 5 2026-08-20 20:21:56 -03:00
0d2a3c06bf feat(abi): 0.5 — advertise the module teardown surface (#63) Dario LipicarandClaude Opus 5 2026-08-20 20:16:28 -03:00
32f1792e19 feat(abi): 0.5 — advertise the module teardown surface feat/protocol-0-5-teardown Dario Gabriel LipicarandClaude Opus 5 2026-08-20 20:15:30 -03:00
9664ae219d feat(abi): an optional teardown pair on the module C ABI (#62) Dario LipicarandClaude Opus 5 2026-08-20 19:17:58 -03:00
5e9dafcb6b feat(abi): an optional teardown pair on the module C ABI feat/about-to-unload Dario Gabriel LipicarandClaude Opus 5 2026-08-20 18:53:43 -03:00
43cd059608 feat(proxy): answer name()/version() for a provider that does not (#61) Dario LipicarandClaude Opus 5 2026-08-20 14:50:26 -03:00
40180d19cb feat(proxy): answer name()/version() for a provider that does not feat/identity-methods Dario Gabriel LipicarandClaude Opus 5 2026-08-20 12:37:04 -03:00
f4407ff485 ci: use logos-co/setup-nix-cache-action for Nix setup and caching (#60) Dario LipicarandClaude Opus 5 2026-08-18 23:41:49 -03:00
5f9984c226 ci: use logos-co/setup-nix-cache-action for Nix setup and caching ci/setup-nix-cache-action Dario Gabriel LipicarandClaude Opus 5 2026-08-18 23:24:32 -03:00
b403741187 ci: use logos-co/setup-nix-cache-action for Nix setup and caching feat/per-client-token-store Dario Gabriel LipicarandClaude Opus 5 2026-08-18 23:24:32 -03:00
988e0ba906 feat: per-client token store, the host-services C ABI, and a container shape-check (#59) Dario LipicarandClaude Opus 5 2026-08-18 22:58:56 -03:00
0af8e0c919 feat(codec): shape-check the untyped containers Dario Gabriel LipicarandClaude Opus 5 2026-08-18 18:45:43 -03:00
c8bab12834 feat(tokens): a per-CLIENT token store, selected by origin Dario Gabriel Lipicar 2026-08-14 10:42:40 -03:00
b218f4c8e5 feat: the host-services C ABI a trust-root module needs feat/sdk-codegen-phase-a Dario Gabriel LipicarandClaude Opus 5 2026-08-12 20:23:10 -03:00
e6d5b575c2 fix(plain): a second handle must not steal the first's event channel (#52) Dario LipicarandClaude Opus 5 2026-08-12 19:06:16 -03:00
25a732c755 test(plain): drop the poll helper the barrier replaced fix/plain-event-sub-per-handle Dario Gabriel Lipicar 2026-08-08 19:16:49 -03:00
4fb763f394 test(plain): make the subscription detectors barrier-driven instead of timed Dario Gabriel Lipicar 2026-08-08 19:05:14 -03:00
d7c65ff564 fix(plain): give every handle its own event subscription on the shared connection Dario Gabriel LipicarandClaude Opus 5 2026-08-08 18:50:42 -03:00
5be3a84989 test(plain): destroy the fixtures' host on the thread that emits into it (#51) Dario LipicarandClaude Opus 5 2026-08-12 17:41:34 -03:00
0108de0629 test(plain): destroy the fixtures' host on the thread that emits into it fix/harness-host-thread-affinity Dario Gabriel LipicarandClaude Opus 5 2026-08-08 18:31:56 -03:00
0fef299362 fix(plain): deliver async callbacks in a Qt-free host, and make release()-racing-a-call diagnosable (#50) Dario LipicarandClaude Opus 5 2026-08-12 17:13:09 -03:00
a3d33558c8 test(noqt): record that the exactly-once gate is TWO gates, not one fix/plain-teardown-contract-and-qtfree-delivery Dario Gabriel LipicarandClaude Opus 5 2026-08-08 22:34:35 -03:00
c983ef00c8 fix(plain): keep the Qt-free delivery vehicle alive as long as its callers Dario Gabriel LipicarandClaude Opus 5 2026-08-08 22:21:28 -03:00
6c6a14e50c fix(plain): make release() safe against a call already inside the object Dario Gabriel LipicarandClaude Opus 5 2026-08-08 22:19:56 -03:00
9d652f609b fix(plain): the detector must not touch the object after dropping its count Dario Gabriel LipicarandClaude Opus 5 2026-08-08 19:41:09 -03:00
015761fa33 test(plain): bound the concurrent-callers wait, and fail the harness loudly Dario Gabriel LipicarandClaude Opus 5 2026-08-08 18:49:40 -03:00
358e41fb09 fix(plain): deliver async callbacks in a Qt-free host, and make release()-racing-a-call diagnosable Dario Gabriel LipicarandClaude Opus 5 2026-08-08 18:45:51 -03:00
01ebf33c8a fix(plain): answer a call that registers as the connection fails, instead of leaving it to its deadline (#49) Dario LipicarandClaude Opus 5 2026-08-12 16:38:41 -03:00
37f2a2c737 test(plain): arrange the volume test's race instead of timing it fix/plain-register-fail-gap Dario Gabriel LipicarandClaude Opus 5 2026-08-08 18:46:42 -03:00
0c6278a9c3 fix(plain): answer a call that registers as the connection fails, instead of leaving it to its deadline Dario Gabriel LipicarandClaude Opus 5 2026-08-08 18:21:58 -03:00
7be3a6b856 perf(plain): fold the per-call waiter thread into a call object with its own clock (#46) Dario LipicarandClaude Opus 5 2026-08-12 16:23:57 -03:00
70abeaf720 test(iofold): count the provider's completion workers so none outlives the proxy feat/plain-async-io-fold Dario Gabriel LipicarandClaude Opus 5 2026-08-12 12:07:06 -03:00
8c65732fe4 test(plain): take the fold's detector inversions out of the transport too Dario Gabriel LipicarandClaude Opus 5 2026-08-08 10:59:44 -03:00
6c1a87079f docs(plain): say what cancelPending() actually guarantees, and pin it Dario Gabriel LipicarandClaude Opus 5 2026-08-07 23:00:41 -03:00
0687a63acb perf(plain): fold the per-call waiter thread into a call object with its own clock Dario Gabriel LipicarandClaude Opus 5 2026-08-07 19:58:16 -03:00
4a20e99260 fix(plain): the completion subscription must not outlive the object it points at (#45) Dario LipicarandClaude Opus 5 2026-08-12 12:01:19 -03:00
03842db5c1 feat(windows): named pipes, an explicit lp_* ABI, and a cross target (#58) Dario LipicarandClaude Opus 5 2026-08-11 09:44:25 -03:00
3e116c4763 chore(deps): re-pin logos-nix to the merged Windows overlay feat/windows-cross Dario Gabriel Lipicar 2026-08-10 19:14:04 -03:00
bc3b1d2a7a fix(windows): let checks and devShells take the arg forAllSystems now passes Dario Gabriel Lipicar 2026-08-10 17:26:25 -03:00
e3fe09e5f3 feat(windows): mark the types that must exist once per process Dario Gabriel LipicarandClaude Opus 5 2026-08-07 13:09:44 -03:00
75b70e8746 fix: relax the Boost.System requirement in the EXPORTED cmake config too Dario Gabriel LipicarandClaude Opus 5 2026-08-05 22:49:40 -03:00
2209486a8a refactor: declare the lp_* C ABI explicitly instead of relying on auto-export Dario Gabriel LipicarandClaude Opus 5 2026-08-05 22:33:31 -03:00
4d65aff07e fix: make the Boost.System component optional, not required Dario Gabriel LipicarandClaude Opus 5 2026-08-05 22:26:22 -03:00
150b86342c feat(windows): port logos_socket_paths and add a cross target Dario Gabriel LipicarandClaude Opus 5 2026-08-05 22:00:55 -03:00
3157beb70e test(plain): make the burst-drain experiment a burst on both platforms fix/plain-completion-sub-lifetime Dario Gabriel Lipicar 2026-08-08 14:41:31 -03:00
5bede27388 test(plain): validate the detectors against master, not a compiled-in inversion Dario Gabriel LipicarandClaude Opus 5 2026-08-08 10:50:11 -03:00
fcce92e092 fix(plain): a concurrent first caller must WAIT for the completion subscription, not just see the flag Dario Gabriel LipicarandClaude Opus 5 2026-08-07 22:45:45 -03:00
f2c2b2ebac fix(plain): the completion subscription must not outlive the object it points at Dario Gabriel LipicarandClaude Opus 5 2026-08-07 18:35:04 -03:00
07745712e8 test(protocol): pin that the arm-now probe cannot free a replica QtRO still holds (#57) Dario LipicarandClaude Opus 5 2026-08-10 16:12:07 -03:00
ceec41fb03 DO NOT MERGE: revert the tryAcquireNow fix to prove the new test is red proof/probe-churn-uaf-red Dario Gabriel Lipicar 2026-08-10 16:02:22 -03:00
bf9d3113a3 test(protocol): pin that the arm-now probe cannot free a replica QtRO still holds test/probe-churn-uaf-regression Dario Gabriel LipicarandClaude Opus 5 2026-08-10 16:01:58 -03:00
0183e8c26a fix: make the caller's timeout bound the token handshake, not just the call (#55) Dario LipicarandClaude Opus 5 2026-08-10 14:12:23 -03:00
dcc0f73d1c feat: hold a CALL until its module is reachable (whenObjectAvailable) (#53) Dario LipicarandClaude Opus 5 2026-08-10 14:09:25 -03:00
10b72e4be1 fix: make the caller's timeout bound the token handshake, not just the call fix/bound-request-module-timeout Dario Gabriel LipicarandClaude Opus 5 2026-08-09 17:08:34 -03:00
5bff8f8f80 test(token): pin that the caller's budget bounds the handshake, not just the call Dario Gabriel LipicarandClaude Opus 5 2026-08-09 17:08:18 -03:00
6ab06ca3eb test(events): pin whenObjectAvailable on every transport fix/deferred-call-dispatch Dario Gabriel LipicarandClaude Opus 5 2026-08-08 15:59:42 -03:00
36ab268d09 feat: add whenObjectAvailable(), the call-path counterpart of onEventWhenAvailable() Dario Gabriel LipicarandClaude Opus 5 2026-08-08 15:51:02 -03:00
07b0fb1c64 fix: make event subscriptions survive a module that is not reachable yet (#47) Dario LipicarandClaude Opus 5 2026-08-10 11:42:50 -03:00
63af31cf16 fix: stop tryAcquireNow leaving a dangling facade in QtRO's connect list fix/deferred-event-subscriptions Dario Gabriel LipicarandClaude Opus 5 2026-08-10 08:28:54 -03:00
7c0e9aecba fix: arm a subscription immediately when the module is already reachable Dario Gabriel LipicarandClaude Opus 5 2026-08-09 13:38:31 -03:00
11a3f39f75 fix: stop lp_unsubscribe deadlocking, without dereferencing a freed client Dario Gabriel LipicarandClaude Opus 5 2026-08-08 19:07:12 -03:00
13db3521cc fix: make the async-acquire contract and lp_subscribe's return honest Dario Gabriel LipicarandClaude Opus 5 2026-08-08 16:28:32 -03:00
2695544591 test(events): state what the non-blocking guard can and cannot catch Dario Gabriel LipicarandClaude Opus 5 2026-08-08 09:55:22 -03:00
40c88e7b80 docs: name the QtRO invariant the stale-handle revive rests on Dario Gabriel Lipicar 2026-08-08 09:34:35 -03:00
ae4354c32d fix: close the remaining silent-failure holes in deferred event subscriptions Dario Gabriel LipicarandClaude Opus 5 2026-08-08 09:23:21 -03:00
afd0ac41a6 fix: let event subscriptions survive a module that is not reachable yet Dario Gabriel LipicarandClaude Opus 5 2026-08-08 01:02:47 -03:00
63356fe21c fix: make isConnected() mean connected, and stop the log claiming it Dario Gabriel LipicarandClaude Opus 5 2026-08-07 00:11:59 -03:00
dda5dae1bf test(plain): bound the burst-drain assertion against the burst, not a constant (#56) Dario LipicarandClaude Opus 5 2026-08-10 10:55:37 -03:00
a555b9497f test(plain): bound the burst-drain assertion against the burst, not a constant fix/burst-drain-assertion Dario Gabriel Lipicar 2026-08-08 12:34:54 -03:00
9aa16aeb14 test(plain): stop the registry probe from starving the waiter it waits for (#54) Dario LipicarandClaude Opus 5 2026-08-10 10:46:21 -03:00
f044761565 test(plain): bound the burst-drain assertion against the burst, not a constant proof/both-waiter-fixes Dario Gabriel Lipicar 2026-08-08 12:34:54 -03:00
5ac8437734 test(plain): stop the registry probe from starving the waiter it waits for Dario Gabriel Lipicar 2026-08-08 01:50:49 -03:00
9e4f8975b8 test(token): pin that the caller's budget bounds the handshake, not just the call proof/request-module-unbounded-red Dario Gabriel LipicarandClaude Opus 5 2026-08-09 17:08:18 -03:00
41e985fad1 test(plain): stop the registry probe from starving the waiter it waits for fix/unstarve-waiter-registry-probe Dario Gabriel Lipicar 2026-08-08 01:50:49 -03:00
c1b0a0f554 fix(startup): publish a token-only handshake surface before a module initializes (#42) Dario LipicarandClaude Opus 5 2026-08-07 23:58:41 -03:00
d93cd36018 test(startup): exercise the handshake surface over a real transport fix/publish-before-init Dario Gabriel LipicarandClaude Opus 5 2026-08-07 23:51:06 -03:00
d682cb4d65 fix(startup): marshal the token push, and stop re-probing a missing handshake Dario Gabriel LipicarandClaude Opus 5 2026-08-07 23:08:05 -03:00
10c072e77f fix(startup): do not treat a handshake refusal as the final answer fix/handshake-trust-anchor Dario Gabriel LipicarandClaude Opus 5 2026-08-07 19:43:37 -03:00

1 2 3