Helgen-Services/Drogheda
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
main
Drogheda/03-Architecture-Hardware/2026-09-28_v6-audit-attachments/verify_apply.md

16 KiB
Raw Permalink Blame History

EinarBoard v6 — Independent verification of the schematic apply pass (v1.0)

!!! warning "Designators from before 22-Oct (T43)" This document keeps the designators the board had on its date. Since 22-Oct (T43) the V5.6, V5.7 and v6 carry new ones, and several old names now belong to another part: on the v6, U6 is now the A7670SA modem (was U19) and the LTC4040 is U17 (was U6). To read it against today's board, use the old → new table (in Spanish); parts already gone by 22-Oct are not in it.

Date: 2026-09-28 18:45 CST · Verifier: independent Claude agent (read-only, own scripts) · Object: hbox-watchdog-v6.kicad_sch sha256 d54e330d…4c4 (the apply pass result, before the ports pass), .kicad_pro d577aa43…, .kicad_dru 31ce0f4f…, SO-8-EP footprint 3f38f26e….

Result: 173 PASS · 0 FAIL · 15 NOTE

  • Provenance: the apply pass's baseline netlist equals the audit's evidence netlist; connectivity re-derived directly from the .kicad_sch (own union-find extractor) reproduces 05-final.xml exactly (353 nets).
  • Completeness: all 126 intended items (§7.1, §7.2, D19 Minors) present with the intended value, footprint, LCSC, DNP state and pin→net; no unintended electrical change (only extras: C174 decoupling at U31 and MPN/Manufacturer metadata; the Fabrication Toolkit reads LCSC before MPN).
  • Datasheet pinouts (all PASS): TPS2552DBVR hand-built symbol (TI SLVS841F), 74LVC1G125GV (Nexperia rev 17.1), USBLC6-2SC6 (ST DS4260), TMP102 DRL (TI SBOS397I; 0x48/0x49), PESD0402-240 (bidirectional), SMBJ33A IGN TVS (cathode on /IGN_IN), PESD5V0S1BA ×3, polymer cap polarity, Y3 Crystal_GND24 ↔ 3225-4P pads.
  • Pin-compatible swaps (all PASS): U17 → TLV1117LV33DCYR (TI SBVS160C), U21 → TPS7A2033PDBVR (TI SBVS338H), U10 → SC16IS752IPW (NXP rev 9.1; I²C 0x4D).
  • Topology (all PASS): F2 → /VIN_FUSED → {D10, Q23}; reversed P1 forward-biases D10 and blows F2, Q23 stays off; Q10 branch fully DNP with no populated loads on /24V; /VIN_MODEM fully merged into /MAIN5V; JP1 bridged; U20 loop 113 k / 6.8 nF / 56 pF; R50 1.43 k; R121 57.6 k; ETH_PWR_EN → PD2 + 100 k; ETH_RST 4.7 k; U27 drives only U18.26; NTC tap → PC5.
  • BOM/JLC: 28 DNP parts flagged; every populated part has an LCSC number; 30 LCSC numbers spot-checked (part, package, stock).
  • Project rules: netclass patterns resolve exactly as KiCad's netlist says (no dead patterns); .kicad_dru parses and holds verify_2's five rules verbatim; LCSC Part removed from the SO-8-EP library footprint.
  • ERC: 0 errors, 134 warnings (all pre-existing cosmetic categories).

Notes acted on afterwards

  • N1 (Y3 pad map): confirmed later from the SCTF 3X datasheet (pins 1/3 crystal, 2/4 GND) — no change (Final Check).
  • N2 (TPS2552 IN bypass): C176 100 nF (C14663) added at U28 (Final Check).
  • Other notes (N3–N15): symbol graphic of D28, TPS2552 symbol only embedded, HV24 list deviations judged correct, RF class widths are placeholders until the JLC impedance calculator, pre-order C2862740, check DNP/footprints on the board after Update PCB.

Per-item table (126 rows, generated by the verifier's make_report.py)

# Finding Ref / net Intended (§7 + D19) Found in 05-final.xml Result
I1 A-01 D20 removed removed PASS
I2 A-01 D21 removed removed PASS
I3 A-01 U20 2:/MAIN5V 2:/MAIN5V PASS
I4 A-01 C127 1:/MAIN5V 1:/MAIN5V PASS
I5 A-01 C128 1:/MAIN5V 1:/MAIN5V PASS
I6 A-01 /VIN_MODEM net absent absent PASS
I7 A-01 U2 DNP DNP PASS
I8 A-01 L2 DNP DNP PASS
I9 A-01 Dbk1 DNP DNP PASS
I10 A-01 Cbst1 DNP DNP PASS
I11 A-01 Rcomp1 DNP DNP PASS
I12 A-01 Ccomp1 DNP DNP PASS
I13 A-01 Rfreq1 DNP DNP PASS
I14 A-01 Ren1 DNP DNP PASS
I15 A-01 Ren2 DNP DNP PASS
I16 A-01 R20 DNP DNP PASS
I17 A-01 R21 DNP DNP PASS
I18 A-01 JP1 SolderJumper-2_P1.3mm_Bridged_RoundedPad1.0x1.5mm; 1:/5V_FAN 2:/VEH5V fp ok · 1:/5V_FAN 2:/VEH5V PASS
I19 A-01 Q10 DNP DNP PASS
I20 A-01 DzG1 DNP DNP PASS
I21 A-01 Rrp1 DNP DNP PASS
I22 A-01 C10 DNP DNP PASS
I23 A-01 C11 DNP DNP PASS
I24 A-01 C22 DNP DNP PASS
I25 A-01/V1-01 F2 value ∋ 3A; C206912; Fuseholder_Littelfuse_Nano2_154x; fitted; 1:/24V_IN 2:/VIN_FUSED LCSC C206912 · val 3A/125V-NANO2-in-holder · fp ok · fitted · 1:/24V_IN 2:/VIN_FUSED PASS
I26 V1-01 D10 C224019; fitted; 1:/VIN_FUSED 2:GND LCSC C224019 · fitted · 1:/VIN_FUSED 2:GND PASS
I27 V1-01 Q23 fitted; 1:/Q23_GATE 2:/VIN_FUSED 3:/VIN_PROT fitted · 1:/Q23_GATE 2:/VIN_FUSED 3:/VIN_PROT PASS
I28 A-03 R50 value ∋ 1.43k; C22840; R_0603_1608Metric; 1:/PROG 2:GND LCSC C22840 · val 1.43k/1% · fp ok · 1:/PROG 2:GND PASS
I29 B-03 D28 value ∋ PESD0402-240; C1975527; D_0402_1005Metric; 1:/RF_ANT_LTE 2:GND LCSC C1975527 · val PESD0402-240 · fp ok · 1:/RF_ANT_LTE 2:GND PASS
I30 C-01 U28 value ∋ TPS2552; C46506; SOT-23-6; fitted; 1:/3V3_GNSS 2:GND 3:/GNSS_ANT_OFF 4:/GNSS_ANT_SHORT_N 5:/3V3_GNSS 6:/ANT_BIAS LCSC C46506 · val TPS2552DBVR · fp ok · fitted · 1:/3V3_GNSS 2:GND 3:/GNSS_ANT_OFF 4:/GNSS_ANT_SHORT_N 5:/3V3_GNSS 6:/ANT_BIAS PASS
I31 C-01 U18 5:/GNSS_ANT_OFF 6:/GNSS_ANT_SHORT_N 7:NC 5:/GNSS_ANT_OFF 6:/GNSS_ANT_SHORT_N 7:unconnected-(U18-VCC_RF-Pad7) PASS
I32 C-01 R135 value ∋ 100k; C25803; /GNSS_ANT_OFF↔GND LCSC C25803 · val 100k · {'1': '/GNSS_ANT_OFF', '2': 'GND'} PASS
I33 C-01 R136 value ∋ 10k; C25804; /3V3_GNSS↔/GNSS_ANT_SHORT_N LCSC C25804 · val 10k · {'1': '/3V3_GNSS', '2': '/GNSS_ANT_SHORT_N'} PASS
I34 C-01 L21 2:/ANT_BIAS 2:/ANT_BIAS PASS
I35 C-01 C144 1:/ANT_BIAS 1:/ANT_BIAS PASS
I36 C-01 C145 1:/ANT_BIAS 1:/ANT_BIAS PASS
I37 F-02 D35 value ∋ SMBJ33A; C224019; D_SMB; fitted; 1:/IGN_IN 2:GND LCSC C224019 · val SMBJ33A · fp ok · fitted · 1:/IGN_IN 2:GND PASS
I38 F-02 Rig1 value ∋ 22k; C88614; 1:/IGN_IN 2:/IGN_SENSE LCSC C88614 · val 22k · 1:/IGN_IN 2:/IGN_SENSE PASS
I39 F-02 /IGN_IN = {D35.1, P1.3, Rig1.1} [('D35', '1'), ('P1', '3'), ('Rig1', '1')] PASS
I40 H-01 U15 C15846; SOIC-16_3.9x9.9mm_P1.27mm LCSC C15846 · fp ok PASS
I41 H-02 U10 value ∋ 752; C57156 LCSC C57156 · val SC16IS752IPW PASS
I42 H-02 R53 value ∋ 499k; C177479 LCSC C177479 · val 499k/1% PASS
I43 A-04 R121 value ∋ 57.6k; C23082; 1:/VEH5V 2:/FB_PWRIN LCSC C23082 · val 57.6k/1% · 1:/VEH5V 2:/FB_PWRIN PASS
I44 A-05 C161 value ∋ 47; C5440143; C_1210_3225Metric; fitted; 1:/MAIN5V 2:GND LCSC C5440143 · val 47uF · fp ok · fitted · 1:/MAIN5V 2:GND PASS
I45 A-05 C162 value ∋ 47; C5440143; C_1210_3225Metric; fitted; 1:/MAIN5V 2:GND LCSC C5440143 · val 47uF · fp ok · fitted · 1:/MAIN5V 2:GND PASS
I46 A-08 U17 value ∋ TLV1117LV33; C15578; 1:GND 2:/3V3 3:/LDO_IN LCSC C15578 · val TLV1117LV33DCYR · 1:GND 2:/3V3 3:/LDO_IN PASS
I47 A-09 C78 value ∋ 220; C881921; CP_Elec_6.3x7.7; 1:/VEH5V 2:GND LCSC C881921 · val 220uF/16V polymer · fp ok · 1:/VEH5V 2:GND PASS
I48 B-02 C130 value ∋ 220; C881921; CP_Elec_6.3x7.7; 1:/VBAT_MODEM 2:GND LCSC C881921 · val 220uF/16V polymer · fp ok · 1:/VBAT_MODEM 2:GND PASS
I49 B-02 C131 value ∋ 220; C881921; CP_Elec_6.3x7.7; 1:/VBAT_MODEM 2:GND LCSC C881921 · val 220uF/16V polymer · fp ok · 1:/VBAT_MODEM 2:GND PASS
I50 B-02 R116 value ∋ 113k; C22862 LCSC C22862 · val 113k/1% PASS
I51 B-02 C141 value ∋ 6.8n; C1542; C_0402_1005Metric LCSC C1542 · val 6.8nF · fp ok PASS
I52 B-02 C142 value ∋ 56p; C1572; C_0402_1005Metric LCSC C1572 · val 56pF · fp ok PASS
I53 B-02 C166 value ∋ 22u; C86817; C_0805_2012Metric; 1:/VBAT_MODEM 2:GND LCSC C86817 · val 22uF · fp ok · 1:/VBAT_MODEM 2:GND PASS
I54 B-02 C167 value ∋ 22u; C86817; C_0805_2012Metric; 1:/VBAT_MODEM 2:GND LCSC C86817 · val 22uF · fp ok · 1:/VBAT_MODEM 2:GND PASS
I55 F-03 C163 value ∋ 22u; C86817; C_0805_2012Metric; 1:/MAIN5V 2:GND LCSC C86817 · val 22uF · fp ok · 1:/MAIN5V 2:GND PASS
I56 F-03 C164 value ∋ 22u; C86817; C_0805_2012Metric; 1:/MAIN5V 2:GND LCSC C86817 · val 22uF · fp ok · 1:/MAIN5V 2:GND PASS
I57 F-03 C165 value ∋ 220; C881921; CP_Elec_6.3x7.7; 1:/MAIN5V 2:GND LCSC C881921 · val 220uF/16V polymer · fp ok · 1:/MAIN5V 2:GND PASS
I58 F-51 U29 value ∋ TMP102; C99269; SOT-563; 1:/I2C_SCL 2:GND 4:GND 5:/3V3 6:/I2C_SDA LCSC C99269 · val TMP102AIDRLR · fp ok · 1:/I2C_SCL 2:GND 4:GND 5:/3V3 6:/I2C_SDA PASS
I59 F-51 C168 value ∋ 100n; C14663; /3V3↔GND LCSC C14663 · val 100nF · {'1': '/3V3', '2': 'GND'} PASS
I60 F-51 R137 value ∋ 100k; C25803; /NTC↔/NTC_CELL LCSC C25803 · val 100k/1% · {'1': '/NTC', '2': '/NTC_CELL'} PASS
I61 F-51 R138 value ∋ 120k; C25808; /NTC_CELL↔GND LCSC C25808 · val 120k/1% · {'1': '/NTC_CELL', '2': 'GND'} PASS
I62 F-51 C169 value ∋ 10n; C1589; /NTC_CELL↔GND LCSC C1589 · val 10nF · {'1': '/NTC_CELL', '2': 'GND'} PASS
I63 F-51 U16 25:/NTC_CELL 25:/NTC_CELL PASS
I64 C-02 U21 value ∋ TPS7A2033; C2862740; 1:/SW_5V 2:GND 3:/SW_5V 5:/3V3_GNSS LCSC C2862740 · val TPS7A2033PDBVR · 1:/SW_5V 2:GND 3:/SW_5V 5:/3V3_GNSS PASS
I65 E-01 U12 2:/ETH_PWR_EN 7:/SYS5V 2:/ETH_PWR_EN 7:/SYS5V PASS
I66 E-01 U16 54:/ETH_PWR_EN 54:/ETH_PWR_EN PASS
I67 E-01 R139 value ∋ 100k; C25803; /ETH_PWR_EN↔GND LCSC C25803 · val 100k · {'1': '/ETH_PWR_EN', '2': 'GND'} PASS
I68 E-02 R140 value ∋ 4.7k; C23162; R_0603_1608Metric; /ETH_RST↔GND LCSC C23162 · val 4.7k · fp ok · {'1': '/ETH_RST', '2': 'GND'} PASS
I69 D-01 U27 value ∋ 74LVC1G125; C12518; 1:GND 2:/DOUT_4G 3:GND 4:/DOUT_4G_F9P 5:/3V3_GNSS LCSC C12518 · val 74LVC1G125GV,125 · 1:GND 2:/DOUT_4G 3:GND 4:/DOUT_4G_F9P 5:/3V3_GNSS PASS
I70 D-01 C170 C14663; /3V3_GNSS↔GND LCSC C14663 · {'1': '/3V3_GNSS', '2': 'GND'} PASS
I71 D-01 U18 26:/DOUT_4G_F9P 26:/DOUT_4G_F9P PASS
I72 D-01 /DOUT_4G_F9P = {U18.26, U27.4} [('U18', '26'), ('U27', '4')] PASS
I73 D-01 Rdfu1 value ∋ 100k; C25803 LCSC C25803 · val 100k PASS
I74 G-02 U30 value ∋ USBLC6; C7519; SOT-23-6; 1:/USB_DM 2:GND 3:/USB_DP 4:/USB_DP 5:/USB_VBUS 6:/USB_DM LCSC C7519 · val USBLC6-2SC6 · fp ok · 1:/USB_DM 2:GND 3:/USB_DP 4:/USB_DP 5:/USB_VBUS 6:/USB_DM PASS
I75 H-02b R56 value ∋ 100k; C25803 LCSC C25803 · val 100k PASS
I76 H-02b R57 value ∋ 100k; C25803 LCSC C25803 · val 100k PASS
I77 H-02b R58 value ∋ 100k; C25803 LCSC C25803 · val 100k PASS
I78 H-02b R85 value ∋ 100k; C25803 LCSC C25803 · val 100k PASS
I79 H-02b R87 value ∋ 100k; C25803 LCSC C25803 · val 100k PASS
I80 H-02b Rgs1 value ∋ 100k; C25803 LCSC C25803 · val 100k PASS
I81 A-11 R56 1:/CHRG_EN 2:/3V3 1:/CHRG_EN 2:/3V3 PASS
I82 A-13 R141 value ∋ 100k; C25803; /3V3↔/PFO LCSC C25803 · val 100k · {'1': '/3V3', '2': '/PFO'} PASS
I83 A-13 /PFO = {R141.2, TP2.1, U16.29, U6.20} [('R141', '2'), ('TP2', '1'), ('U16', '29'), ('U6', '20')] PASS
I84 B-09 R132 value ∋ 22; C23345; R_0603_1608Metric LCSC C23345 · val 22R · fp ok PASS
I85 B-09 R133 value ∋ 22; C23345; R_0603_1608Metric LCSC C23345 · val 22R · fp ok PASS
I86 B-09 R134 value ∋ 22; C23345; R_0603_1608Metric LCSC C23345 · val 22R · fp ok PASS
I87 B-09 C171 value ∋ 100n; C1525; C_0402_1005Metric; /SIMB_VDD↔GND LCSC C1525 · val 100nF · fp ok · {'1': '/SIMB_VDD', '2': 'GND'} PASS
I88 B-10 R142 value ∋ 100k; C25803; /MODEM_STATUS↔GND LCSC C25803 · val 100k · {'1': '/MODEM_STATUS', '2': 'GND'} PASS
I89 B-10 R143 value ∋ 100k; C25803; /3V3↔/DIN_4G LCSC C25803 · val 100k · {'1': '/3V3', '2': '/DIN_4G'} PASS
I90 B-10 R106 value ∋ 1k; C14676 LCSC C14676 · val 1k PASS
I91 C-07 TP10 excl. BOM/pos; 1:/GNSS_SAFEBOOT_N excl BOM · 1:/GNSS_SAFEBOOT_N PASS
I92 C-07 TP11 excl. BOM/pos; 1:/GNSS_RESET_N excl BOM · 1:/GNSS_RESET_N PASS
I93 C-07 /GNSS_SAFEBOOT_N = {TP10.1, U18.50} [('TP10', '1'), ('U18', '50')] PASS
I94 C-07 /GNSS_RESET_N ⊇ {TP11.1, U18.49} [('R105', '2'), ('TP11', '1'), ('U16', '53'), ('U18', '49')] PASS
I95 D-02 Y3 value ∋ 25; C2901684; Crystal_SMD_3225-4Pin_3.2x2.5mm; 1:/HSE_IN 2:GND 3:/HSE_OUT 4:GND LCSC C2901684 · val 25MHz · fp ok · 1:/HSE_IN 2:GND 3:/HSE_OUT 4:GND PASS
I96 D-02 C113 value ∋ 12p; C38523 LCSC C38523 · val 12pF PASS
I97 D-02 C114 value ∋ 12p; C38523 LCSC C38523 · val 12pF PASS
I98 D-03 Y4 C48615; Crystal_SMD_3215-2Pin_3.2x1.5mm LCSC C48615 · fp ok PASS
I99 D-03 C115 value ∋ 6.8p; C1679 LCSC C1679 · val 6.8pF PASS
I100 D-03 C116 value ∋ 6.8p; C1679 LCSC C1679 · val 6.8pF PASS
I101 D-05 Rigb1 value ∋ 2.2k; C4190 LCSC C4190 · val 2.2k PASS
I102 D-09 R144 value ∋ 100k; C25803; /BASE_LS↔GND LCSC C25803 · val 100k · {'1': '/BASE_LS', '2': 'GND'} PASS
I103 D-12 TP9 excl. BOM/pos; 1:/USART1_TX excl BOM · 1:/USART1_TX PASS
I104 D-12 U16 42:/USART1_TX 42:/USART1_TX PASS
I105 E-03 Y1 C14872; Crystal_SMD_HC49-SD LCSC C14872 · fp ok PASS
I106 E-03 C95 value ∋ 33p; C1663 LCSC C1663 · val 33pF PASS
I107 E-03 C96 value ∋ 33p; C1663 LCSC C1663 · val 33pF PASS
I108 E-04 C91 value ∋ 10n; C1589; C_0603_1608Metric; 1:/ETH_1V2 LCSC C1589 · val 10nF · fp ok · 1:/ETH_1V2 PASS
I109 E-04 C90 value ∋ 4.7u; C1779; C_0805_2012Metric; 1:/ETH_TOCAP LCSC C1779 · val 4.7uF · fp ok · 1:/ETH_TOCAP PASS
I110 E-04 C172 value ∋ 100n; C14663; /3V3_ETH↔GND LCSC C14663 · val 100nF · {'1': '/3V3_ETH', '2': 'GND'} PASS
I111 E-04 C173 value ∋ 100n; C14663; /3V3_ETH↔GND LCSC C14663 · val 100nF · {'1': '/3V3_ETH', '2': 'GND'} PASS
I112 F-52 U31 value ∋ TMP102; C99269; SOT-563; 1:/I2C_SCL 2:GND 4:/3V3 5:/3V3 6:/I2C_SDA LCSC C99269 · val TMP102AIDRLR · fp ok · 1:/I2C_SCL 2:GND 4:/3V3 5:/3V3 6:/I2C_SDA PASS
I113 G-03 P11 C5160226; PhoenixContact_MC_1,5_3-G-3.5_1x03_P3.50mm_Horizontal; fitted LCSC C5160226 · fp ok · fitted PASS
I114 G-03 P12 C5160226; PhoenixContact_MC_1,5_3-G-3.5_1x03_P3.50mm_Horizontal; fitted LCSC C5160226 · fp ok · fitted PASS
I115 G-03 J10 C12074; RJ45_Hanrun_HR911105A_Horizontal; fitted LCSC C12074 · fp ok · fitted PASS
I116 G-04 JP6 SolderJumper-2_P1.3mm_Open_RoundedPad1.0x1.5mm; excl. BOM/pos; /MAIN5V↔/SYS5V fp ok · excl BOM · {'1': '/MAIN5V', '2': '/SYS5V'} PASS
I117 G-08 D36 value ∋ PESD5V0S1BA; C2827694; D_SOD-323; 1:/NRST 2:GND LCSC C2827694 · val PESD5V0S1BA · fp ok · 1:/NRST 2:GND PASS
I118 G-08 D37 value ∋ PESD5V0S1BA; C2827694; D_SOD-323; 1:/NTC_TEMP 2:GND LCSC C2827694 · val PESD5V0S1BA · fp ok · 1:/NTC_TEMP 2:GND PASS
I119 G-08 D38 value ∋ PESD5V0S1BA; C2827694; D_SOD-323; 1:/NTC2 2:GND LCSC C2827694 · val PESD5V0S1BA · fp ok · 1:/NTC2 2:GND PASS
I120 G-08 /NRST ⊇ {P6.1} [('C104', '1'), ('D36', '1'), ('P6', '1'), ('SW1', '1'), ('TP5', '1'), ('U16', '7')] PASS
I121 G-08 /NTC_TEMP ⊇ {P7.1} [('C24', '1'), ('D37', '1'), ('P7', '1'), ('R42', '2'), ('U16', '27')] PASS
I122 G-08 /NTC2 ⊇ {P8.1} [('C157', '1'), ('D38', '1'), ('P8', '1'), ('R126', '2'), ('U16', '24')] PASS
I123 H-08 C22 value ∋ 10uF/50V val 10uF/50V PASS
I124 H-08 Y2 value ∋ 3.6864MHz val 3.6864MHz PASS
I125 B-15 R107 value ∋ NEVER; DNP val 0R-NEVER-FIT · DNP PASS
I126 B-15 R108 value ∋ NEVER; DNP val 0R-NEVER-FIT · DNP PASS