Skip to content

Commit 0b82861

Browse files
committed
[docs] inventory C1-S1 validation gates and operator procedure
Signed-off-by: Viwat Vchirawongkwin <viwat.v@chula.ac.th>
1 parent aae7ca4 commit 0b82861

6 files changed

Lines changed: 255 additions & 5 deletions

File tree

‎docs/developments/2026-q4-reliable-workflow/c1-s1/04_Validation_Inventory_and_Operator_Recipe.md‎

Lines changed: 216 additions & 0 deletions
Large diffs are not rendered by default.

‎docs/specifications/firmware/ports/esp32-c3-4mb.md‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,15 @@
11
# PyBLE — `esp32-c3-4mb` engineering qualification
22

33
Status: **C3-G0–C3-G7 FROZEN (`[docs]` 2026-08-12); all results PENDING**.
4+
5+
**Status clarification — 25 September 2026:** the line above records the
6+
original engineering freeze. v0.6.0 subsequently became the qualified
7+
five-profile baseline. v0.6.1 is publicly distributed under the dated
8+
[owner-confirmed publication](../../../testing/firmware-v0.6.1-publication-2026-09-11.md),
9+
whose incomplete automated HIL records remain unchanged. These normative gates
10+
still govern a fresh automated-qualified C3/candidate claim; this note adds no
11+
new passing result and does not rewrite the historical freeze.
12+
413
This is the derived engineering contract for the existing ESP32-family native
514
agent on one matching physical reference. It implements
615
[ADR-0032](../../../decisions/0032-qualify-generic-esp32-c3-4mb-on-reference-hardware.md)

‎docs/specifications/firmware/ports/rpi-pico2-w.md‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,14 @@
22

33
Status: **P1–P9 FROZEN (v0.6.1 hardening amended 2026-09-02)**; P10 gates and P11 open items are living, and every new v0.6.1 result remains **PENDING**. Derived per [firmware/specs.md §1.1](../specs.md); [ADR-0030](../../../decisions/0030-pico2w-portable-python-agent-first.md) records the portable-Python-first deviation, while [ADR-0033](../../../decisions/0033-qualify-v060-as-five-profile-heterogeneous-release.md) defines only the historical heterogeneous v0.6.0 release admission. Cited upstream facts refer to the pinned MicroPython v1.28.0 submodule.
44

5+
**Publication clarification — 25 September 2026:** v0.6.1 is publicly available
6+
under the dated [owner-confirmed publication](../../../testing/firmware-v0.6.1-publication-2026-09-11.md).
7+
Its incomplete automated qualification records remain unchanged. References
8+
below to pending qualification or a qualified selector concern standard
9+
automated-qualified admission, not the existence of that owner-confirmed
10+
distribution. v0.6.0 remains the historical qualified baseline; this note
11+
supplies no new GP2 or physical result and changes no gate.
12+
513
## P1. Identity & caps (FROZEN)
614

715
- `chip` token: **`rpi-pico2-w`** (protocol.md §7 open identifier; ADR-0021 — no protocol amendment needed, additive under §9).

‎docs/specifications/hardware.md‎

Lines changed: 10 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -58,9 +58,13 @@ different flash size or Quad/no PSRAM, are not covered by
5858
Matching the N16R8 memory tuple also does not imply that an onboard display or
5959
other peripheral exists. The Waveshare row is separate even though ESP Web
6060
Tools reports the same family for both S3 images and cannot distinguish them.
61-
All five qualified v0.6.0 profiles are active. Their source-selected v0.6.1
62-
successors remain unavailable while fresh exact-byte qualification is pending;
63-
owning or building a target is not a substitute for candidate-bound HIL. The
61+
All five qualified v0.6.0 profiles remain the historical automated-qualified
62+
baseline. As recorded in the
63+
[11 September 2026 publication report](../testing/firmware-v0.6.1-publication-2026-09-11.md),
64+
all five v0.6.1 profiles are publicly available through the explicitly
65+
owner-confirmed release mode. Their incomplete automated HIL evidence remains
66+
unchanged; availability does not establish a fresh automated-qualified pass.
67+
Owning or building a target is not a substitute for candidate-bound HIL. The
6468
ESP32-C3-MINI-1-N4 v0.4/4 MiB/no-PSRAM module remains the selected physical
6569
engineering reference for that generic profile. Its gates passed for v0.6.0
6670
and must be rerun for v0.6.1 under
@@ -76,7 +80,9 @@ not qualify v0.6.0. The atomic five-profile v0.6.0 release selected by ADR-0033
7680
generated and passed its schema-3 resource policy and V5 HIL evidence for every
7781
row. Pre-split or earlier-candidate evidence did not qualify it and cannot
7882
qualify v0.6.1. C3-G0…C3-G6 and Pico GP2 remain mandatory for the fresh v0.6.1
79-
candidate; either pending or failed profile blocks that entire increment.
83+
candidate; either pending or failed profile blocks standard automated-qualified
84+
admission of that entire increment. The dated owner-confirmed publication is
85+
not a waiver for a future candidate or a PyBLE Ready qualification claim.
8086

8187
These are **provisioning image profiles**, not board-routing profiles. They
8288
exist solely to keep destructive flash layouts honest. They do not define GPIO

‎tests/firmware_tests/hil/README.md‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,13 @@ firmware-test-author**; none of this ships in the firmware image.
88
A milestone gate is green **only on a real-hardware HIL demo**, not on merged
99
code (PRD §1B.7). These drivers are that demo, made repeatable.
1010

11+
The [C1-S1 operator inventory](../../../docs/developments/2026-q4-reliable-workflow/c1-s1/04_Validation_Inventory_and_Operator_Recipe.md)
12+
maps these tools to current app/profile rows, initial cost and missing access.
13+
The [v0.6.1 owner-confirmed publication](../../../docs/testing/firmware-v0.6.1-publication-2026-09-11.md)
14+
is a separate dated distribution outcome; its incomplete automated HIL remains
15+
unchanged. Release qualification requirements below still govern a fresh
16+
automated-qualified claim.
17+
1118
Every valid outbound `CMD`, including no-response `FILE_PUT_DATA`, uses a
1219
request ID in 1–255. Transfer data and controls share a wrapping allocator;
1320
each Go-Back-N resend obtains another valid ID without waiting for a data

‎tests/firmware_tests/host/conformance/README.md‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,10 @@ made that every old idea was copied into `corpus.json`.
2222

2323
Host success is not physical qualification. v0.6.1 still requires fresh
2424
exact-byte HIL on all five profiles, including the iPadOS and Android rows,
25-
before release admission or publication.
25+
before standard automated-qualified release admission or publication. Its
26+
separate [owner-confirmed publication](../../../../docs/testing/firmware-v0.6.1-publication-2026-09-11.md)
27+
preserves incomplete automated records and supplies no substitute pass.
28+
The [C1-S1 operator inventory](../../../../docs/developments/2026-q4-reliable-workflow/c1-s1/04_Validation_Inventory_and_Operator_Recipe.md)
29+
maps host evidence to the physical work and access still required.
2630

2731
<!-- SPDX-License-Identifier: MIT -->

0 commit comments

Comments
 (0)