supply-exceeds-abs-max

Remedy ¶

Feed the part from a rail inside its rated supply range, or change the part for one rated to the rail it sits on. An absolute maximum is a damage threshold rather than a tolerance to design against.

What it means ¶

A component is joined by MPN to a seeded datasheet spec. It has a power-input pin on a rail, and the rail’s name states a nominal voltage above the spec’s absolute-maximum supply rating (VIN/VDD/VCC-family symbol, limit kind ABSOLUTE_MAX).

Why engineers want it ¶

This was the first rule of the datasheet layer (architecture/datasheet-layer.md). Its limit is the vendor’s own number rather than a heuristic threshold baked into a rule. The finding carries that number with its provenance (document revision, page, table, extraction method, confidence), so a reviewer checks the citation rather than trusting the tool.

What it skips rather than guesses ¶

Every input that cannot be trusted is a skip, never a guess:

• no seeded set at all -> not-applicable (check.Available reports that it needs --params);
• no MPN or unseeded MPN -> silent;
• a part whose spec binds limit rows to pins -> left to pin-exceeds-abs-max, which checks each terminal against its own row;
• limit rows that are under-specified or carry text-only conditions are not compared (param.MachineComparable, the comparison semantics in architecture/datasheet-layer.md);
• a row printed in a prefixed unit (mV, kV) is reduced to volts by the parameter layer’s one conversion table, so a spec seeded as the sheet prints it still compares; if that table does not recognize a unit, the row is skipped rather than scaled by a guess;
• a rail name with no parseable nominal, or with conflicting nominals, is not compared (the net name is the only voltage evidence a netlist carries).

Query structure ¶

join components to specs by MPN; for each power_in pin, parse the attached rail’s nominal from its net name and compare against the most restrictive machine-comparable abs-max supply row.

select C in components where spec(C) != nil and not pin_bound(spec(C))
  for P in pins(C) where electrical_type(P) == power_in
    nominal(net(P)) > min(supply_abs_max(spec(C))) -> finding

Reads: param.supply_abs_max, pin.electrical_type, net.name, on_net. Tier R.