ACVM C1: Steuerkanal

1. Was wird untersucht?

ACVM C1: Steuerkanal

Gepinnte Originaldokumentation · Quellencommit a1f22f6c59f3

Branch: main. a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f

2. Was ist dokumentiert?

Host-Protokoll, Compiler, portabler C++-Sequencer und virtueller serieller Weg sind prüfbar. Unveränderte Firmware wurde für RP2040 gebaut; wiederholte Builds ergeben identische UF2-/BIN-Hashes. Keine physische Ausgabe oder Fehlerreaktion gemessen.

• docs/acvm/control-channel-v0.1/evidence/qualification.json

  Gespeicherte Softwarequalifikation; kein Pico-Build oder elektrischer Messbeleg.

• docs/acvm/c1-e01-target-build/evidence/build-report.json

  Tatsächlicher RP2040-Zielbuild PASS; Pico SDK 2.3.1/GNU Arm GCC 15.2.1, Firmware-, Werkzeug- und Ausgabehashes. UF2/BIN/ELF und Buildlogs archiviert; kein Flash- oder Messbeleg.

• docs/acvm/c1-e01-target-build/evidence/readiness.json

  BLOCKED_PHYSICAL_MEASUREMENT: 0/10 Normalläufe und 0/6 Fehlerfälle; reale Geräte, Kalibrierung, vorher fixiertes Messprofil und unabhängige Rohaufnahmen fehlen.

Evidenzberichte behalten ihre eigenen Prüfrevisionen. Ein Quellenpin belegt weder einen neuen Lauf noch unabhängige externe Begutachtung.

3. Wie lässt sich das prüfen?

Softwarequalifikation: Python 3.12, POSIX-PTY, g++/C++17; kein Pico erforderlich. Optionaler Zielbuild: Linux x86-64 und gepinnte Werkzeuge gemäß docs/acvm/c1-e01-target-build/README.md. Physische E01-Abnahme benötigt einen identifizierten Pico/MCP4921-Aufbau und unabhängige kalibrierte Messgeräte.

In einem neuen Ordner ausführen; vorhandene Ausgabeordner nicht überschreiben. Voraussetzungen und paketbezogene Hinweise in der Originaldokumentation beachten.

git clone --branch main https://github.com/thomasmgfeller/x6-spectral-astrolabium.git x6-acvm-c1
cd x6-acvm-c1
git checkout --detach a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f
python3 x6.py control qualify --output runs/register-c1
python3 -B tests/control-channel/test_pico_build.py

Erwartete Ausgabe

Softwarequalifikation Exit 0; UF2-Kandidat stimmt mit BIN überein, fünf Beschädigungsfälle werden abgelehnt und vorhandene Ergebnisordner bleiben geschützt. Der dokumentierte Zielbuild ergibt TARGET_BUILD_PASS; elektrische Abnahme bleibt NOT_PERFORMED.