2026-05-02 01:18:43 +02:00
|
|
|
#pragma once
|
|
|
|
|
|
Phase 2 sub-commit 3: full Update Semantics + ReactiveListModel + AppShell
BackendConnection's ConnectionState enum is now Connecting / Online /
Reconnecting / Offline (PLAN.md §5). The probe loop tracks the first
failure since the last Online and transitions to Reconnecting on any
failed probe, then to Offline once the configurable threshold (30 s
default) is exceeded. The Error state is gone; Reconnecting + the
exposed `error` string subsume its UI role.
ReactiveListModel is the headline QML type:
- QAbstractListModel that GETs `baseUrl + source` for an initial JSON
array and then keeps in sync via an internal MercureClient subscribed
to `topic`.
- Role names are derived dynamically from the first row's keys plus an
internal `pending` boolean role used by optimistic mutations.
- Diff application: upsert (insert-or-update), delete, replace; gap
detection via the envelope `version` field with auto re-fetch.
- `invoke(method, path, body, optimistic)` is the optimistic command
primitive. Generates an Idempotency-Key, applies the local diff,
POST/PATCH/DELETEs with that key, and resolves on the matching
Mercure echo (correlation-key matched in ModelPublisher's envelope).
Rolls back and emits commandFailed on 4xx/5xx, commandTimedOut after
10 s without an echo. Phase 4 packaging will surface configuration
for the timeout.
AppShell.qml is the optional convenience root:
- Reads BackendConnection.connectionState.
- Reconnecting → top banner.
- Offline → modal overlay with the error string and a Retry button
(calls BackendConnection.restart()).
- Wraps user content via `default property alias content`.
Apps that want full chrome control can skip AppShell entirely; the
skeleton's Main.qml keeps its own status display for demonstration
and is unaffected.
ReactiveObject (single-entity twin of ReactiveListModel) is intentionally
deferred — same envelope handling, smaller surface; will land in Phase 2
follow-up or Phase 3 alongside the todo example. Cursor pagination is
similarly deferred (the Phase 2 done criterion uses small lists).
Smoke tested: /healthz + /api/ping round-trip cleanly, zero Mercure 401s,
clean shutdown. composer quality stays green (16 tests, 45 assertions).
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-05-02 02:40:12 +02:00
|
|
|
#include <QElapsedTimer>
|
2026-05-02 01:18:43 +02:00
|
|
|
#include <QObject>
|
|
|
|
|
#include <QString>
|
|
|
|
|
#include <QtQmlIntegration>
|
|
|
|
|
|
|
|
|
|
class QNetworkAccessManager;
|
|
|
|
|
class QNetworkReply;
|
|
|
|
|
class QTimer;
|
|
|
|
|
class QQmlEngine;
|
|
|
|
|
class QJSEngine;
|
|
|
|
|
|
|
|
|
|
namespace PhpQml::Bridge {
|
|
|
|
|
|
|
|
|
|
/// Owns the backend lifecycle and exposes its health to QML.
|
|
|
|
|
///
|
|
|
|
|
/// Phase 1 implements **dev mode**: reads `BRIDGE_URL` and `BRIDGE_TOKEN`
|
|
|
|
|
/// from env, periodically probes `<url>/healthz`, and reports the result
|
|
|
|
|
/// as `connectionState`. Bundled mode (spawning FrankenPHP as a child)
|
|
|
|
|
/// arrives in Phase 4. See PLAN.md §3 (Run modes), §7 (BackendConnection).
|
|
|
|
|
class BackendConnection : public QObject
|
|
|
|
|
{
|
|
|
|
|
Q_OBJECT
|
|
|
|
|
QML_ELEMENT
|
|
|
|
|
QML_SINGLETON
|
|
|
|
|
|
|
|
|
|
Q_PROPERTY(Mode mode READ mode CONSTANT)
|
|
|
|
|
Q_PROPERTY(QString url READ url CONSTANT)
|
|
|
|
|
Q_PROPERTY(QString token READ token NOTIFY tokenChanged)
|
|
|
|
|
Q_PROPERTY(ConnectionState connectionState READ connectionState NOTIFY connectionStateChanged)
|
|
|
|
|
Q_PROPERTY(QString error READ error NOTIFY errorChanged)
|
|
|
|
|
|
|
|
|
|
public:
|
|
|
|
|
enum class Mode {
|
|
|
|
|
Dev,
|
|
|
|
|
Bundled, // Phase 4
|
|
|
|
|
};
|
|
|
|
|
Q_ENUM(Mode)
|
|
|
|
|
|
Phase 2 sub-commit 3: full Update Semantics + ReactiveListModel + AppShell
BackendConnection's ConnectionState enum is now Connecting / Online /
Reconnecting / Offline (PLAN.md §5). The probe loop tracks the first
failure since the last Online and transitions to Reconnecting on any
failed probe, then to Offline once the configurable threshold (30 s
default) is exceeded. The Error state is gone; Reconnecting + the
exposed `error` string subsume its UI role.
ReactiveListModel is the headline QML type:
- QAbstractListModel that GETs `baseUrl + source` for an initial JSON
array and then keeps in sync via an internal MercureClient subscribed
to `topic`.
- Role names are derived dynamically from the first row's keys plus an
internal `pending` boolean role used by optimistic mutations.
- Diff application: upsert (insert-or-update), delete, replace; gap
detection via the envelope `version` field with auto re-fetch.
- `invoke(method, path, body, optimistic)` is the optimistic command
primitive. Generates an Idempotency-Key, applies the local diff,
POST/PATCH/DELETEs with that key, and resolves on the matching
Mercure echo (correlation-key matched in ModelPublisher's envelope).
Rolls back and emits commandFailed on 4xx/5xx, commandTimedOut after
10 s without an echo. Phase 4 packaging will surface configuration
for the timeout.
AppShell.qml is the optional convenience root:
- Reads BackendConnection.connectionState.
- Reconnecting → top banner.
- Offline → modal overlay with the error string and a Retry button
(calls BackendConnection.restart()).
- Wraps user content via `default property alias content`.
Apps that want full chrome control can skip AppShell entirely; the
skeleton's Main.qml keeps its own status display for demonstration
and is unaffected.
ReactiveObject (single-entity twin of ReactiveListModel) is intentionally
deferred — same envelope handling, smaller surface; will land in Phase 2
follow-up or Phase 3 alongside the todo example. Cursor pagination is
similarly deferred (the Phase 2 done criterion uses small lists).
Smoke tested: /healthz + /api/ping round-trip cleanly, zero Mercure 401s,
clean shutdown. composer quality stays green (16 tests, 45 assertions).
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-05-02 02:40:12 +02:00
|
|
|
/// Full Update Semantics enum (PLAN.md §5).
|
|
|
|
|
/// - Connecting : initial state until first probe response
|
|
|
|
|
/// - Online : last probe succeeded
|
|
|
|
|
/// - Reconnecting : ≥1 probe failed since last success; backing off
|
|
|
|
|
/// - Offline : reconnect failures exceeded the threshold (default 30 s)
|
2026-05-02 01:18:43 +02:00
|
|
|
enum class ConnectionState {
|
|
|
|
|
Connecting,
|
|
|
|
|
Online,
|
Phase 2 sub-commit 3: full Update Semantics + ReactiveListModel + AppShell
BackendConnection's ConnectionState enum is now Connecting / Online /
Reconnecting / Offline (PLAN.md §5). The probe loop tracks the first
failure since the last Online and transitions to Reconnecting on any
failed probe, then to Offline once the configurable threshold (30 s
default) is exceeded. The Error state is gone; Reconnecting + the
exposed `error` string subsume its UI role.
ReactiveListModel is the headline QML type:
- QAbstractListModel that GETs `baseUrl + source` for an initial JSON
array and then keeps in sync via an internal MercureClient subscribed
to `topic`.
- Role names are derived dynamically from the first row's keys plus an
internal `pending` boolean role used by optimistic mutations.
- Diff application: upsert (insert-or-update), delete, replace; gap
detection via the envelope `version` field with auto re-fetch.
- `invoke(method, path, body, optimistic)` is the optimistic command
primitive. Generates an Idempotency-Key, applies the local diff,
POST/PATCH/DELETEs with that key, and resolves on the matching
Mercure echo (correlation-key matched in ModelPublisher's envelope).
Rolls back and emits commandFailed on 4xx/5xx, commandTimedOut after
10 s without an echo. Phase 4 packaging will surface configuration
for the timeout.
AppShell.qml is the optional convenience root:
- Reads BackendConnection.connectionState.
- Reconnecting → top banner.
- Offline → modal overlay with the error string and a Retry button
(calls BackendConnection.restart()).
- Wraps user content via `default property alias content`.
Apps that want full chrome control can skip AppShell entirely; the
skeleton's Main.qml keeps its own status display for demonstration
and is unaffected.
ReactiveObject (single-entity twin of ReactiveListModel) is intentionally
deferred — same envelope handling, smaller surface; will land in Phase 2
follow-up or Phase 3 alongside the todo example. Cursor pagination is
similarly deferred (the Phase 2 done criterion uses small lists).
Smoke tested: /healthz + /api/ping round-trip cleanly, zero Mercure 401s,
clean shutdown. composer quality stays green (16 tests, 45 assertions).
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-05-02 02:40:12 +02:00
|
|
|
Reconnecting,
|
|
|
|
|
Offline,
|
2026-05-02 01:18:43 +02:00
|
|
|
};
|
|
|
|
|
Q_ENUM(ConnectionState)
|
|
|
|
|
|
|
|
|
|
explicit BackendConnection(QObject* parent = nullptr);
|
|
|
|
|
~BackendConnection() override;
|
|
|
|
|
|
|
|
|
|
static BackendConnection* create(QQmlEngine* engine, QJSEngine*);
|
|
|
|
|
|
|
|
|
|
Mode mode() const noexcept { return m_mode; }
|
|
|
|
|
QString url() const { return m_url; }
|
|
|
|
|
QString token() const { return m_token; }
|
|
|
|
|
ConnectionState connectionState() const noexcept { return m_state; }
|
|
|
|
|
QString error() const { return m_error; }
|
|
|
|
|
|
|
|
|
|
Q_INVOKABLE void restart();
|
|
|
|
|
|
|
|
|
|
signals:
|
|
|
|
|
void tokenChanged();
|
|
|
|
|
void connectionStateChanged();
|
|
|
|
|
void errorChanged();
|
|
|
|
|
/// Forward-compatible signal for §3 *Edge cases — Per-session secret
|
|
|
|
|
/// rotation*. In Phase 1 dev mode it is never emitted; bundled mode
|
|
|
|
|
/// in Phase 4 will fire it on child restart.
|
|
|
|
|
void tokenRotated(const QString& newToken);
|
|
|
|
|
|
|
|
|
|
private slots:
|
|
|
|
|
void probe();
|
|
|
|
|
void onProbeFinished();
|
|
|
|
|
|
|
|
|
|
private:
|
|
|
|
|
void setState(ConnectionState s);
|
|
|
|
|
void setError(const QString& msg);
|
|
|
|
|
|
|
|
|
|
Mode m_mode = Mode::Dev;
|
|
|
|
|
QString m_url;
|
|
|
|
|
QString m_token;
|
|
|
|
|
ConnectionState m_state = ConnectionState::Connecting;
|
|
|
|
|
QString m_error;
|
|
|
|
|
|
|
|
|
|
QNetworkAccessManager* m_nam = nullptr;
|
|
|
|
|
QNetworkReply* m_pendingReply = nullptr;
|
|
|
|
|
QTimer* m_retryTimer = nullptr;
|
Phase 2 sub-commit 3: full Update Semantics + ReactiveListModel + AppShell
BackendConnection's ConnectionState enum is now Connecting / Online /
Reconnecting / Offline (PLAN.md §5). The probe loop tracks the first
failure since the last Online and transitions to Reconnecting on any
failed probe, then to Offline once the configurable threshold (30 s
default) is exceeded. The Error state is gone; Reconnecting + the
exposed `error` string subsume its UI role.
ReactiveListModel is the headline QML type:
- QAbstractListModel that GETs `baseUrl + source` for an initial JSON
array and then keeps in sync via an internal MercureClient subscribed
to `topic`.
- Role names are derived dynamically from the first row's keys plus an
internal `pending` boolean role used by optimistic mutations.
- Diff application: upsert (insert-or-update), delete, replace; gap
detection via the envelope `version` field with auto re-fetch.
- `invoke(method, path, body, optimistic)` is the optimistic command
primitive. Generates an Idempotency-Key, applies the local diff,
POST/PATCH/DELETEs with that key, and resolves on the matching
Mercure echo (correlation-key matched in ModelPublisher's envelope).
Rolls back and emits commandFailed on 4xx/5xx, commandTimedOut after
10 s without an echo. Phase 4 packaging will surface configuration
for the timeout.
AppShell.qml is the optional convenience root:
- Reads BackendConnection.connectionState.
- Reconnecting → top banner.
- Offline → modal overlay with the error string and a Retry button
(calls BackendConnection.restart()).
- Wraps user content via `default property alias content`.
Apps that want full chrome control can skip AppShell entirely; the
skeleton's Main.qml keeps its own status display for demonstration
and is unaffected.
ReactiveObject (single-entity twin of ReactiveListModel) is intentionally
deferred — same envelope handling, smaller surface; will land in Phase 2
follow-up or Phase 3 alongside the todo example. Cursor pagination is
similarly deferred (the Phase 2 done criterion uses small lists).
Smoke tested: /healthz + /api/ping round-trip cleanly, zero Mercure 401s,
clean shutdown. composer quality stays green (16 tests, 45 assertions).
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-05-02 02:40:12 +02:00
|
|
|
QElapsedTimer m_firstFailureSinceOnline; // not started while Online
|
|
|
|
|
int m_offlineThresholdMs = 30000;
|
2026-05-02 01:18:43 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
} // namespace PhpQml::Bridge
|