0fe2376874
test(axum): prove response delivery boundary
...
Decode emitted effect bytes, assert dispatch rejection status and diagnostics, and verify the shared embedded runtime body through public IntoResponse paths.
req: axum_integration/003
req: axum_integration/005
req: failure/005
req: wire/007
2026-07-17 00:21:42 +02:00
b0a8275b03
test(axum): prove registry dispatch boundary
...
Exercise registered sync and async handles through public dispatch_async, prove membership semantics, and serialize shared-boundary tests so mutation workers remain deterministic.
req: axum_integration/003
req: public_api/001
2026-07-17 00:17:24 +02:00
e38489621b
test(axum): harden form extraction boundary
...
Prove repeated and required form semantics, stable rejection diagnostics, media-type and body limits, multipart files, unnamed-part skipping, invalid UTF-8, and streaming failures through the public extractor.
req: form/002
req: form/004
req: failure/003
req: multipart/001
req: multipart/002
req: multipart/003
2026-07-17 00:12:45 +02:00
dc7c82f7ee
test(axum): prove page response semantics
...
Close the first hemx-axum mutation class by proving page-mode detection and response constructor fingerprint behavior through the public integration API.
req: page_swap/001
req: abi/005
2026-07-16 23:59:51 +02:00
d74810db4b
test(core): close package mutation gate
...
Classify only the two non-terminating const-loop mutations after deterministic fingerprint outputs are asserted, then prove the complete hemx-core package mutation-clean through xtask.
req: abi/003
req: test/020
req: test/021
req: test/022
2026-07-16 23:43:41 +02:00
2705099aed
test(harness): close hemx-test mutation gate
...
Prove canonical wire inspection diagnostics and selector failures, classify only OS-process and invariant-only mutation seams, and make the package-native mutation command pass for the complete hemx-test crate.
req: test/001
req: test/019
req: test/020
req: test/021
req: test/022
req: wire/009
2026-07-16 23:10:12 +02:00
612a66725f
feat(xtask): add package-native mutation gate
...
Expose a capped mutation command that selects only elected packages, rejects unknown input, propagates mutest failures, and keeps output under the workspace target directory.
req: test/020
req: test/021
req: test/022
2026-07-16 22:40:07 +02:00
5e555f4d93
test(build): close generated contract mutants
...
Exercise invalid client contracts through AppBuilder and simplify invariant-only generation paths so the focused build contract mutation set has no unexplained survivors.
req: build/004
req: build/007
req: client_local/011
2026-07-16 22:34:41 +02:00
e9ced4e0c1
feat(v1): harden typed runtime boundaries
...
Elect one canonical EffectBatch codec, remove the parallel postcard API, and strengthen fail-closed host, form, sync, WASM, macro, generated-contract, and test-harness proofs with mutation-driven coverage.
req: wire/008
req: wire/009
req: wire/010
req: push/008
req: client_local/015
req: client_local/016
req: client_local/017
req: client_local/018
req: client_local/019
req: sync/024
req: sync/025
req: sync/026
req: sync/027
req: sync/028
req: sync/029
req: test/020
req: test/021
2026-07-16 22:27:28 +02:00
e7211df4c5
fix(forms): support reserved control identifiers
...
Normalize raw Rust identifiers when matching generated form contracts so reserved HTML control names remain usable.
req: form/004
2026-07-16 10:00:43 +02:00
a04773d016
fix(deps): replace retired transitive crates
2026-07-14 09:44:19 +02:00
48d6ea31be
fix(release): complete local readiness gates
2026-07-14 01:45:28 +02:00
23b1d75f7f
fix(requirements): migrate to installed redgate format
2026-07-14 01:37:05 +02:00
025d9c1563
fix(release): restore canonical local gate
...
req: public_api/001
req: v1_release/007
2026-07-14 01:24:31 +02:00
90e8c3ced5
test(versioning): pin supported compatibility matrix
...
req: abi/001
req: abi/003
req: v1_release/007
2026-07-14 01:09:07 +02:00
6f58453aae
feat(saas): enforce strict response policy
...
req: security/006
req: operations/006
req: operations/008
2026-07-14 00:59:06 +02:00
4fc5e53adf
feat(saas): correlate mutation diagnostics
...
req: operations/001
req: operations/003
req: security/008
2026-07-14 00:53:04 +02:00
4e0d9ebaff
feat(saas): expose redacted operational signals
...
req: operations/003
req: operations/005
req: operations/007
req: security/008
req: v1_release/003
2026-07-14 00:48:55 +02:00
ef8e38adf8
feat(saas): prove durable authenticated mutation
...
req: auth/001
req: auth/002
req: auth/004
req: security/004
req: v1_release/003
2026-07-14 00:40:46 +02:00
c793de8224
refactor(kanban): isolate legacy sync fixture
...
req: v1_release/002
2026-07-14 00:27:38 +02:00
3bad745da9
feat(sync): replay durable projections from Rust
...
req: ms/001
req: ms/002
req: ms/003
2026-07-14 00:17:20 +02:00
2a74a28d3b
test(kanban): prove multiplayer milestone journey
...
req: ms/001
req: ms/002
req: ms/003
2026-07-13 23:51:51 +02:00
2f1b7703f9
docs(plan): close authoritative sync slice
2026-07-13 23:25:53 +02:00
5a82956c08
feat(sync): add typed acknowledgement effect
...
req: sync/006
2026-07-13 23:15:57 +02:00
88598f181f
feat(sync): add typed presence projection
...
req: sync/001
req: sync/005
2026-07-13 23:03:46 +02:00
87296632bc
feat(sync): add typed broadcast primitive
...
req: sync/004
2026-07-13 22:54:12 +02:00
98b00920b9
test(sync): audit browser recovery paths
2026-07-13 22:46:03 +02:00
d2ae025e13
fix(operations): bound handler lifetimes
...
req: operations/003
2026-07-13 22:06:12 +02:00
2bc68c5777
fix(sync): bound acknowledgement stream
...
req: operations/004
2026-07-13 21:48:00 +02:00
56ace537f3
fix(axum): enforce mutation request boundaries
...
req: security/003
2026-07-13 21:37:55 +02:00
3ac9549cc3
fix(security): bound untrusted wire decoding
...
req: security/005
2026-07-13 21:31:34 +02:00
2a8aa4c07f
fix(sync): bound request lifetime
...
req: operations/003
2026-07-13 21:16:07 +02:00
6d502d8ff5
test(sync): prove deterministic reconciliation
...
req: sync/022
2026-07-13 21:08:51 +02:00
34728b9a35
feat(sync): add typed flat patch boundary
...
req: sync/002
req: sync/003
2026-07-13 21:02:43 +02:00
25fcdae9b9
test(kanban): prove public offline sync journey
...
req: sync/023
2026-07-13 20:26:55 +02:00
f1dc6edb7a
feat(kanban): expose redacted sync diagnostics
...
req: operations/001
req: security/002
req: sync/016
2026-07-13 20:07:21 +02:00
fbc0c9db30
feat(kanban): retry explicit keep-local choice
...
req: sync/009
req: sync/010
req: sync/011
req: sync/016
2026-07-13 19:47:39 +02:00
54301c6aa5
feat(kanban): resolve divergent queue head
...
req: sync/010
req: sync/011
2026-07-13 19:31:40 +02:00
1ec8a1368d
feat(kanban): authorize canonical sync reads
...
req: sync/007
req: auth/005
req: security/004
2026-07-13 19:22:13 +02:00
3ef84e7331
feat(kanban): partition local queues by account
...
req: sync/020
req: auth/005
req: security/004
req: operations/002
2026-07-13 19:00:04 +02:00
6de4dcb73b
feat(kanban): reauthorize queued replay
...
req: sync/019
req: security/004
req: auth/005
req: operations/002
2026-07-13 18:18:52 +02:00
a17de85b4f
feat(kanban): migrate queued commands transactionally
...
req: sync/014
2026-07-13 18:06:47 +02:00
3ace17f9f1
feat(kanban): stop mixed queue on rejection
...
req: sync/009
req: sync/010
2026-07-13 17:53:53 +02:00
80f1ae155e
feat(kanban): bound sync upload runs
...
req: sync/017
2026-07-13 17:48:47 +02:00
0d475e81c8
feat(kanban): coordinate uploader tabs
...
req: sync/018
2026-07-13 17:40:16 +02:00
e4688bb6df
test(kanban): prove divergent rebase conflict
...
req: sync/011
2026-07-13 17:04:10 +02:00
d6aaca8127
feat(kanban): deterministically rebase snapshot
...
req: sync/011
2026-07-13 16:58:51 +02:00
db57b0c474
feat(kanban): recover from missing sync history
...
req: sync/007\nreq: sync/020
2026-07-13 16:53:49 +02:00
5ea747d968
feat(kanban): recover after retry exhaustion
...
req: sync/004\nreq: sync/010\nreq: sync/011\nreq: sync/014\nreq: sync/016
2026-07-13 16:47:52 +02:00
0a7c380187
feat(kanban): persist canonical acknowledgements
...
req: sync/001\nreq: sync/005\nreq: sync/007\nreq: sync/008\nreq: sync/013
2026-07-13 16:41:18 +02:00
slhx agent