SQL Reference Book

Référence de la syntaxe SQL Maestro/Adminer. Le moteur SQL est strict : pas de patch BDD automatique livré comme correctif ; les requêtes manuelles restent appliquées par l’utilisateur.

Lecture

SELECT * FROM MAESTRO_FSM;
SELECT signal, current_state, next_state, action FROM MAESTRO_FSM WHERE current_state = 'MOD_HUB';
SELECT COUNT(*) FROM MAESTRO_FSM;

Filtrage

SELECT * FROM MAESTRO_FSM WHERE signal = 'POP_CLOSE';
SELECT * FROM MAESTRO_FSM WHERE current_state = 'POP_WORKING_PROJECT_PROBE';

Note connue : le moteur write a montré des limites sur certains WHERE composés avec AND/OR. Pour les corrections manuelles sensibles, privilégier une condition unique vérifiée par SELECT.

Écriture manuelle

UPDATE MAESTRO_FSM
SET action = 'Action_Idle'
WHERE current_state = 'POP_WORKING_PROJECT_PROBE';

Insertion

INSERT INTO MAESTRO_FSM (signal, current_state, next_state, action, comment)
VALUES ('SIGNAL', 'STATE_A', 'STATE_B', 'Action_Name', 'Commentaire');

Suppression prudente

SELECT * FROM MAESTRO_FSM WHERE current_state = 'OLD_STATE';
DELETE FROM MAESTRO_FSM WHERE current_state = 'OLD_STATE';

Introspection

PRAGMA table_info(MAESTRO_FSM);
PRAGMA table_xinfo(MAESTRO_FSM);

Règles contractuelles

Pas de patch BDD automatique livré.
Pas de migration implicite par runtime.
Action FSM non vide : utiliser une action connue comme Action_Idle pour un no-op contractuel.
Conserver Sys_Register_Dims pour un futur flux fenêtre indépendante, mais ne pas l’utiliser sur une RichPopup hébergée.

P83D — Table centrale projets certifiés

Contrat : les requêtes ci-dessous sont manuelles côté Adminer. Aucun patch DB automatique, aucun fichier .sql livré comme patch, aucune modification DATA.

CREATE TABLE IF NOT EXISTS MAESTRO_PROJECTS (
    project_uid TEXT PRIMARY KEY,
    working_copy_id TEXT,
    project_name TEXT,
    source_rpp_path TEXT,
    certified_rpp_path TEXT,
    workdir_path TEXT,
    status TEXT,
    cert_version TEXT,
    policy TEXT,
    created_at TEXT,
    updated_at TEXT,
    last_seen_at TEXT,
    maestro_build TEXT,
    cert_signature TEXT
);

Vérification recommandée après création :

PRAGMA table_xinfo('MAESTRO_PROJECTS');
SELECT sql
FROM sqlite_master
WHERE type = 'table'
  AND name = 'MAESTRO_PROJECTS';
SELECT COUNT(*) FROM MAESTRO_PROJECTS;

project_uid est la clé stable et doit correspondre à l'ExtState du RPP certifié.
Les chemins servent à l'audit et à la cohérence, jamais de fallback.
La table reste vide tant que le runtime de certification RPP n'a pas été livré et validé.

UML SQL Engine

flowchart TD
    Adminer[MOD_ADMINER] --> SQL[SYS.SQL]
    SQL --> Parse[Parser SQL]
    Parse --> Exec[Execution typée]
    Exec --> DB[(MAESTRO DB/RAM)]
    Exec --> Logs[LOGGER]
    SQL -. pas de patch BDD auto .-> User[Utilisateur applique manuellement]