Commit 3d64818
* refactor(core)!: fuse inbound deserialize+produce at registration (036 W1 inbound)
Replace the per-message Box<dyn Any> inbound path (DeserializerKind ->
produce_any downcast) with a fused IngestFn built in
InboundConnectorBuilder::finish() where T is known: deserialize + produce
in one typed closure, no erasure crossing and no boxed future per message
(Producer::produce is sync + infallible, design 029).
- IngestFn / IngestFactoryFn replace DeserializerFn/ContextDeserializerFn/
DeserializerKind and ProducerTrait/ProducerFactoryFn (all deleted)
- InboundConnectorLink carries the ingest factory (non-optional; finish()
validates the deserializer before registering, unchanged error strings)
- Router::route is now a sync fn taking &RuntimeContext (every production
caller already passed Some(&ctx); the context-skip branch is
unrepresentable with fused closures, its test removed)
- collect_inbound_routes returns Vec<(String, IngestFn)>
- pump_source / pump_client inbound / ws dispatch drop one .await
- delete dead TypedRecord::create_producer_trait
Registrar API (with_deserializer/_raw, link_from) is source-compatible;
MQTT/KNX/WS builders pass routes opaquely and compile unchanged.
Part of design 036 W1 (data-plane de-Any).
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* refactor(core)!: fuse outbound subscribe+serialize+topic at registration (036 W1 outbound)
Replace the per-message Box<dyn Any> outbound path (subscribe_any ->
recv_any -> SerializerFn(&dyn Any) downcast, plus topic_any(&dyn Any))
with a fused SerializedSource built in OutboundConnectorBuilder::finish()
where T is known: its readers yield destination + serialized payload
directly (subscribe -> recv -> resolve topic -> serialize, all typed).
- SerializedSource / SerializedReader / SerializedValue / SourceFactoryFn
replace ConsumerTrait/AnyReader/SerializerKind/SerializerFn/
ContextSerializerFn/ConsumerFactoryFn and the erased TopicProviderAny/
TopicProviderWrapper/TopicProviderFn (all deleted; the typed
TopicProvider<T> trait is now stored as-is)
- OutboundRoute is { topic, source, config }; ConnectorLink carries the
source factory (non-optional; finish() validates the serializer before
registering, unchanged error strings; the "skip links without
serializer" branch in collect_outbound_routes is gone)
- RuntimeContext is threaded into SerializedReader::recv per call (026
context serializers), not captured; raw serializers skip the ctx clone
- Buffer errors propagate unchanged (BufferLagged => pump continues,
other => pump stops); serialize failures are logged and skipped inside
the reader, observably identical to the old pump-side continue
- pump_sink / pump_client outbound collapse to recv + publish
What disappears per message: the Box<dyn Any> allocation, two downcasts,
the topic_any erasure crossing, and the subscribe_any boxed future. The
one remaining Box::pin per recv is the object-safe-async cost that
already existed.
Registrar API (with_serializer/_raw, with_topic_provider, link_to) is
source-compatible; the KNX fake-gateway and session smoke tests pass
unmodified.
Part of design 036 W1 (data-plane de-Any).
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* refactor(core)!: drop unrepresentable error surface; document join erasure (036 W1 wrap-up)
- delete SerializeError::TypeMismatch — both constructors died with the
W1 fusion (the downcasts are gone); DbError::TypeMismatch is unrelated
and stays
- delete dead ConnectorClient (held Arc<dyn Any>, zero users) and
OutboundConnectorLink (zero users)
- document on JoinTrigger why the join fan-in deliberately keeps its
Box<dyn Any + Send> (the erasure is the multi-type join API)
- CHANGELOG entries (global + aimdb-core + websocket-connector)
- check in design docs 034/035/036 and amend the 036 W1 acceptance grep:
DynBuffer::as_any and the session auth ext slots are setup-time hits
the original literal grep missed
Part of design 036 W1 (data-plane de-Any).
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* refactor(tests): clean up use statements and formatting in tests
* docs(design): mark 036 W1 implemented in PR #141
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* refactor(core)!: split AnyRecord into capability traits (036 W2)
AnyRecord carried ~22 methods spanning four concerns; every remote-access
or profiling change churned the core storage contract. Split by consumer:
- AnyRecord (6 methods): storage/lifecycle only — validate, as_any(_mut),
drain_config_errors, set_writable_erased, plus the cfg-gated
json_access() accessor so the remote-access gate lives in one place.
- RecordIntrospect (supertrait): graph/metadata introspection consumed by
the builder's dependency-graph construction, route collection, and
list_records.
- JsonRecordAccess (cfg remote-access): latest_json / subscribe_json /
set_from_json, reached via json_access(); the runtime
.with_remote_access() checks stay inside the methods, so behavior is
unchanged. Gate is `remote-access` (the 036 sketch said json-serialize).
- RecordMetricsReset (supertrait): the cfg-gated no-op-default resets.
Supertrait wiring keeps every dyn AnyRecord call site compiling unchanged;
only the four JSON call sites switch to the accessor. Registry storage
stays Vec<Box<dyn AnyRecord>>. Drops the dead outbound_connector_urls
(cfg std) — zero callers in-tree and in aimdb-pro.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* docs(design): mark 036 W2 implemented in PR #142
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* refactor(core): dedup StringKey::intern; document the leak contract (036 W5)
intern() leaked a fresh allocation on every call, so re-interning the same
key leaked again. A global dedup table (std Mutex / spin Mutex, same
pattern as the TypedRecord field locks) now returns the existing 'static
allocation for a known key, bounding the leak by the number of *distinct*
dynamic keys — the actual lifetime contract of a record key. The contract
is documented loudly on intern(), and the debug-build tripwire now counts
distinct keys instead of calls.
The &'static str / Copy design stays; an Arc<str> key variant remains
rejected (forks RecordKey into two shapes — the 034 §3.1 mistake).
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* refactor(tests): host_test_stubs! macro for the defmt logger triplication (036 W6)
The 18-line no-op #[defmt::global_logger] + panic handler + host time
driver block existed in three copies (embassy-adapter session_smoke,
embassy-adapter buffer.rs tests, serial-connector embassy_smoke). Per 035
§2.4, an exported host_test_stubs! macro in aimdb-embassy-adapter now
holds the single definition; each test binary expands it once, preserving
the once-per-binary requirement of #[global_logger]/time_driver_impl!.
The time driver uses the wake_by_ref variant (buffer.rs's superset
behavior: zero-duration sleeps complete; the smokes never sleep). The
serial-connector defmt/embassy-time-driver dev-deps stay — the expansion
references them at the invocation site; the Cargo.toml comment now says
so.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* docs(design): mark 036 W5+W6 implemented in PR #143
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* docs(design): 036 status round — W3 prep done, W4 deferred on W3 data, W7 skipped
- W3: Nucleo firmware build verified (thumbv8m.main-none-eabihf); single
run on a main build is the bar now that #140 is merged. Bench session
is the remaining work and the gate for closing 035.
- W4: deferred pending W3 scenario-1 AckTimeout evidence (decision
2026-06-12). Design pre-decided for the trigger: buffer the sent frame
(option a) — GroupWrite already carries a 254-byte APDU buffer, so the
semantic-content variant saves ~350 B total, no real RAM argument.
- W7: skipped entirely (decision 2026-06-12); no audit will be run.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat(knx): ACK-retransmit knob — retransmit once, disconnect on second miss (036 W4)
KNXnet/IP 3.8.4 says: repeat an unACKed TUNNELING_REQUEST once after the
timeout, then tear the connection down on the second miss. The engine
previously expired and warned only — hardware bench evidence (W3,
2026-06-12) showed ten button-press writes silently lost during a link
outage's heartbeat-detection window (~65 s).
TunnelConfig gains ack_retransmits (default 1 = spec behavior; 0 = the
old expire-and-warn for the previous semantics). The pending-ACK slot
buffers the sent frame (option (a) per the 036 W4 decision record:
GroupWrite already carries a 254-byte APDU, so rebuilding from semantic
content saves ~350 B total — not worth the rebuild path). On expiry with
retries left the identical frame is re-sent (same sequence counter) and
the timer re-armed; on final expiry AckTimeout is reported and the
engine disconnects so queued commands flush after the re-handshake
instead of vanishing into a dead tunnel. Eviction on map overflow stays
warn-only (overflow is not confirmed loss).
Behavior change at default config: a tunnel with a persistently
unanswered write now reconnects within ~2× ack_timeout_ms instead of
staying connected. Retransmit delay is ack_timeout_ms (3 s, the
pre-engine constant); strict spec timing is one config knob away
(ack_timeout_ms = 1_000).
Tests: engine units (identical-frame retransmit, ack-after-retransmit,
disconnect on second miss, legacy mode pinned at ack_retransmits=0) +
fake-gateway test dropping the first ACK and asserting the byte-identical
repeat and tunnel survival.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* docs(design): mark 036 W4 implemented in PR #144; record W3 bench findings
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* docs(design): record W4 hardware validation (partial) and pre-release W3 scope
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* docs: fix AimX v1/v2 rot, dead spec links, and removed-API references
Doc-rot fixes from the post-036 debt scan; no wire or API behavior
changes (the one wire-visible byte change — the client hello version —
is corrected from a stale "1.0" to the "2.0" the server already
announces; the server never validates it).
- remote::PROTOCOL_VERSION corrected to "2.0", documented, and exported;
the AimX dispatch Welcome and aimdb-client both use it now, so client
and server can no longer drift. The dead, never-exported v1 untagged
Message envelope and its helpers are deleted.
- remote module docs: "AimX v1" + link to the nonexistent
docs/design/remote-access/aimx-v1.md replaced with the v2 NDJSON
tagged-frame description pointing at session::aimx and
remote-access-via-connectors.md; stale .build()? example fixed to the
(db, runner) = build().await? shape.
- connector module docs: removed-`.link()` API replaced with the real
configure/link_to pattern (the old example used a RecordConfig::builder
API that never existed); ConnectorUrl no longer advertises Kafka/HTTP
connector semantics for connectors that don't exist — documented as
scheme-agnostic with real schemes (mqtt, knx, ws, uds, serial).
- builder.rs AimDb example fixed: register_record returns &mut Self, so
the old chained .build() could not compile.
- aimdb-client README rewritten to match reality (AimxConnection, v2
wire, endpoint URLs incl. serial); crate doc + aimdb-cli doc updated.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* docs: purge never-compiled doc examples — compile, delete, or justify (#146)
Resolves the ignored-doctest debt from the post-036 scan with the revised
policy (maintainer decision on #146): remove `rust,ignore` examples unless
there is a good reason to keep one. Result: 108 ignored fences → 24, and
every survivor carries an explicit "Illustrative (not compiled: …)" reason.
- Converted to compiled doctests (`no_run`/`rust`) where the crate's deps
allow it: the crate-level quick starts of aimdb-sync, aimdb-uds-connector,
aimdb-websocket-connector, aimdb-mqtt-connector, aimdb-knx-connector,
aimdb-persistence(+sqlite); core's producer/consumer module examples,
TopicProvider, extensions, AimxConfig, RecordKey Hash-contract; the
websocket AuthHandler and MQTT link-ext trait docs. ~30 examples now
compile under `make test` (186 doctests passing suite-wide).
- Conversion surfaced real rot, now fixed in the surviving examples:
key-less `configure()`/`producer()`/`consumer()` calls (API takes a key),
builder chains that can't compile (`&mut Self` → by-value `build()`),
`with_buffer`/`finish()` on the wrong receiver, a deserializer returning
`Box<T>` instead of `T`, sync's `AimDbSyncExt` example calling the async
`build()` synchronously, and `DbError::RecordNotFound` vs
`RecordKeyNotFound`.
- Deleted ~50 method-level fragments that restated the signature (builder
key-access helpers, registrar setters, connector constructors, internal
SPI sketches) plus duplicates of the crate-level examples.
- Kept 24 as `ignore`, each with a written reason: downstream-crate types
core cannot depend on (adapter/connector wiring, `.buffer()` ext trait),
proc-macro expansion targeting aimdb-core (circular dev-dependency),
embedded/wasm-only code (Embassy peripherals, `#[wasm_bindgen]`),
and macro grammar sketches with placeholder types.
- Dev-deps: aimdb-uds-connector gains serde/serde_json for its quick start;
aimdb-sync's example uses its existing aimdb-tokio-adapter dependency.
Closes #146.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* docs: remove deprecated settings.json file
---------
Co-authored-by: Claude Fable 5 <noreply@anthropic.com>
1 parent f3becdc commit 3d64818
42 files changed
Lines changed: 399 additions & 661 deletions
File tree
- aimdb-core/src
- buffer
- remote
- session
- transform
- aimdb-data-contracts/src
- aimdb-derive/src
- aimdb-embassy-adapter/src
- aimdb-knx-connector/src
- aimdb-mqtt-connector/src
- aimdb-persistence-sqlite/src
- aimdb-persistence/src
- aimdb-serial-connector/src
- aimdb-sync/src
- aimdb-tokio-adapter/src
- aimdb-uds-connector
- src
- aimdb-wasm-adapter/src
- aimdb-websocket-connector/src
- client
- server
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
38 | 38 | | |
39 | 39 | | |
40 | 40 | | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
41 | 44 | | |
42 | 45 | | |
43 | 46 | | |
44 | 47 | | |
45 | 48 | | |
46 | | - | |
47 | | - | |
| 49 | + | |
| 50 | + | |
48 | 51 | | |
49 | 52 | | |
50 | 53 | | |
51 | | - | |
52 | | - | |
| 54 | + | |
| 55 | + | |
53 | 56 | | |
54 | 57 | | |
55 | 58 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
163 | 163 | | |
164 | 164 | | |
165 | 165 | | |
166 | | - | |
167 | | - | |
168 | | - | |
169 | | - | |
170 | | - | |
171 | | - | |
172 | | - | |
173 | | - | |
174 | | - | |
175 | 166 | | |
176 | 167 | | |
177 | 168 | | |
| |||
225 | 216 | | |
226 | 217 | | |
227 | 218 | | |
228 | | - | |
229 | | - | |
230 | | - | |
231 | | - | |
232 | | - | |
233 | | - | |
234 | | - | |
235 | | - | |
236 | | - | |
237 | | - | |
238 | | - | |
239 | | - | |
240 | | - | |
241 | | - | |
242 | | - | |
243 | 219 | | |
244 | 220 | | |
245 | 221 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
355 | 355 | | |
356 | 356 | | |
357 | 357 | | |
358 | | - | |
359 | | - | |
360 | | - | |
361 | | - | |
362 | | - | |
363 | | - | |
364 | | - | |
365 | | - | |
366 | | - | |
367 | | - | |
368 | 358 | | |
369 | 359 | | |
370 | 360 | | |
| |||
396 | 386 | | |
397 | 387 | | |
398 | 388 | | |
| 389 | + | |
| 390 | + | |
| 391 | + | |
399 | 392 | | |
400 | 393 | | |
401 | | - | |
402 | | - | |
403 | | - | |
404 | | - | |
| 394 | + | |
| 395 | + | |
| 396 | + | |
| 397 | + | |
| 398 | + | |
| 399 | + | |
405 | 400 | | |
406 | 401 | | |
407 | 402 | | |
408 | 403 | | |
409 | 404 | | |
410 | 405 | | |
411 | 406 | | |
412 | | - | |
413 | | - | |
414 | | - | |
415 | | - | |
| 407 | + | |
| 408 | + | |
| 409 | + | |
| 410 | + | |
416 | 411 | | |
417 | 412 | | |
418 | 413 | | |
| |||
441 | 436 | | |
442 | 437 | | |
443 | 438 | | |
444 | | - | |
445 | | - | |
446 | | - | |
447 | | - | |
448 | | - | |
449 | | - | |
450 | | - | |
451 | | - | |
452 | | - | |
453 | 439 | | |
454 | 440 | | |
455 | 441 | | |
| |||
569 | 555 | | |
570 | 556 | | |
571 | 557 | | |
572 | | - | |
573 | | - | |
574 | | - | |
575 | | - | |
576 | | - | |
577 | | - | |
578 | | - | |
579 | | - | |
580 | | - | |
581 | | - | |
582 | | - | |
583 | | - | |
584 | | - | |
585 | | - | |
586 | | - | |
587 | | - | |
588 | 558 | | |
589 | 559 | | |
590 | 560 | | |
| |||
626 | 596 | | |
627 | 597 | | |
628 | 598 | | |
629 | | - | |
630 | | - | |
631 | | - | |
632 | | - | |
633 | | - | |
634 | | - | |
635 | | - | |
636 | | - | |
637 | | - | |
638 | | - | |
639 | | - | |
640 | | - | |
641 | | - | |
642 | 599 | | |
643 | 600 | | |
644 | 601 | | |
| |||
868 | 825 | | |
869 | 826 | | |
870 | 827 | | |
| 828 | + | |
| 829 | + | |
| 830 | + | |
871 | 831 | | |
872 | 832 | | |
873 | 833 | | |
| |||
952 | 912 | | |
953 | 913 | | |
954 | 914 | | |
955 | | - | |
956 | | - | |
957 | | - | |
958 | | - | |
959 | | - | |
960 | | - | |
961 | 915 | | |
962 | 916 | | |
963 | 917 | | |
| |||
989 | 943 | | |
990 | 944 | | |
991 | 945 | | |
992 | | - | |
993 | | - | |
994 | | - | |
995 | | - | |
996 | | - | |
997 | | - | |
998 | | - | |
999 | 946 | | |
1000 | 947 | | |
1001 | 948 | | |
| |||
1013 | 960 | | |
1014 | 961 | | |
1015 | 962 | | |
1016 | | - | |
1017 | | - | |
1018 | | - | |
1019 | | - | |
1020 | | - | |
1021 | | - | |
1022 | | - | |
1023 | | - | |
1024 | | - | |
1025 | 963 | | |
1026 | 964 | | |
1027 | 965 | | |
| |||
1039 | 977 | | |
1040 | 978 | | |
1041 | 979 | | |
1042 | | - | |
1043 | | - | |
1044 | | - | |
1045 | | - | |
1046 | | - | |
1047 | | - | |
1048 | | - | |
1049 | | - | |
1050 | | - | |
1051 | | - | |
1052 | | - | |
1053 | 980 | | |
1054 | 981 | | |
1055 | 982 | | |
| |||
1070 | 997 | | |
1071 | 998 | | |
1072 | 999 | | |
1073 | | - | |
1074 | | - | |
1075 | | - | |
1076 | | - | |
1077 | | - | |
1078 | | - | |
1079 | | - | |
1080 | | - | |
1081 | | - | |
1082 | | - | |
1083 | 1000 | | |
1084 | 1001 | | |
1085 | 1002 | | |
| |||
1102 | 1019 | | |
1103 | 1020 | | |
1104 | 1021 | | |
1105 | | - | |
1106 | | - | |
1107 | | - | |
1108 | | - | |
1109 | | - | |
1110 | | - | |
1111 | | - | |
1112 | | - | |
1113 | 1022 | | |
1114 | 1023 | | |
1115 | 1024 | | |
| |||
1118 | 1027 | | |
1119 | 1028 | | |
1120 | 1029 | | |
1121 | | - | |
1122 | | - | |
1123 | | - | |
1124 | | - | |
1125 | | - | |
1126 | | - | |
1127 | | - | |
1128 | 1030 | | |
1129 | 1031 | | |
1130 | 1032 | | |
| |||
1149 | 1051 | | |
1150 | 1052 | | |
1151 | 1053 | | |
1152 | | - | |
1153 | | - | |
1154 | | - | |
1155 | | - | |
1156 | | - | |
1157 | | - | |
1158 | | - | |
1159 | | - | |
1160 | 1054 | | |
1161 | 1055 | | |
1162 | 1056 | | |
| |||
1210 | 1104 | | |
1211 | 1105 | | |
1212 | 1106 | | |
1213 | | - | |
1214 | | - | |
1215 | | - | |
1216 | | - | |
1217 | | - | |
1218 | 1107 | | |
1219 | 1108 | | |
1220 | 1109 | | |
| |||
1238 | 1127 | | |
1239 | 1128 | | |
1240 | 1129 | | |
1241 | | - | |
1242 | | - | |
1243 | | - | |
1244 | | - | |
1245 | | - | |
1246 | | - | |
1247 | | - | |
1248 | | - | |
1249 | 1130 | | |
1250 | 1131 | | |
1251 | 1132 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
16 | | - | |
17 | | - | |
18 | | - | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
19 | 20 | | |
20 | | - | |
21 | | - | |
22 | | - | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
23 | 24 | | |
24 | 25 | | |
| 26 | + | |
25 | 27 | | |
26 | 28 | | |
27 | 29 | | |
| |||
158 | 160 | | |
159 | 161 | | |
160 | 162 | | |
161 | | - | |
| 163 | + | |
162 | 164 | | |
| 165 | + | |
163 | 166 | | |
164 | 167 | | |
165 | 168 | | |
| |||
614 | 617 | | |
615 | 618 | | |
616 | 619 | | |
| 620 | + | |
| 621 | + | |
| 622 | + | |
617 | 623 | | |
618 | 624 | | |
619 | 625 | | |
| |||
0 commit comments