add xiaozhi server

wangzhibo

2026-08-30 c8515170fd399b4d2dfaebb59128d4674e58915e

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
from pathlib import Path
 
ROOT = Path(__file__).resolve().parents[1]
 
 
def read_text(path: str) -> str:
    return (ROOT / path).read_text(encoding="utf-8")
 
 
def require(condition: bool, message: str) -> None:
    if not condition:
        raise SystemExit(message)
 
 
def main() -> None:
    app = read_text("main/application.cc")
    board = read_text("main/boards/sening-xiaozhi-s3/sening_xiaozhi_s3.cc")
    system = read_text("main/boards/sening-xiaozhi-s3/system.c")
    header = read_text("main/boards/sening-xiaozhi-s3/system.h")
    mqtt = read_text("main/boards/sening-xiaozhi-s3/mqtt.c")
    mqtt_header = read_text("main/boards/sening-xiaozhi-s3/mqtt.h")
 
    require(
        "void SDCard_Show_Matching_JPG_For_MP3_Path(const char *mp3_path);" in header,
        "system.h must expose a helper for showing the matching JPG for an MP3 path",
    )
    require(
        "void SDCard_Show_Matching_JPG_For_MP3_Path(const char *mp3_path)" in system,
        "system.c must implement matching JPG display for direct MP3 paths",
    )
    require(
        "SDCard_Show_Matching_JPG_For_MP3_Path(path);" in system,
        "manual MP3 playback should share the matching JPG display helper",
    )
    require(
        mqtt.find("SDCard_Show_Matching_JPG_For_MP3_Path(item.sd_path);") < mqtt.find("SDCard_Play_MP3_File_With_Speed(item.sd_path, item.speed);") ,
        "MQTT playlist must show the matching JPG before starting MP3 playback",
    )
    require(
        "void BoardMqtt_StopPlaylistPlayback(void);" in mqtt_header,
        "mqtt.h must expose a public playlist stop API",
    )
    require(
        "Board_Show_Black_Screen();" in mqtt,
        "playlist stop should clear the screen to black",
    )
    require(
        "void Board_Show_Black_Screen(void)" in board,
        "board must implement a black-screen helper",
    )
    require(
        "uint16_t black_line[SCREEN_WIDTH] = {0};" in board,
        "black-screen helper must use a low-memory line buffer",
    )
    require(
        "Board_Show_Black_Screen();" in board,
        "board init should use the black-screen helper",
    )
    require(
        "for (size_t y = 0; y < height; ++y)" in system,
        "JPG display must draw line by line to reduce DMA pressure",
    )
    require(
        "esp_lcd_panel_draw_bitmap(panel, 0, 0, JPG_REQUIRED_WIDTH, JPG_REQUIRED_HEIGHT, image);" not in system,
        "JPG display must not use a full-frame draw path",
    )
    require(
        "esp_lcd_panel_draw_bitmap(panel, 0, y, width, y + 1, image + y * stride);" in system,
        "JPG display must use the line-by-line draw path",
    )
    require(
        "sdcard_mp3_stop_requested_ = true;\n                        BoardMqtt_StopPlaylistPlayback();" in app,
        "self.mp3.stop must terminate the MQTT playlist as well as the local MP3",
    )
 
 
if __name__ == "__main__":
    main()