The capstone audit ties base drive, collector region, inverter output, and fanout. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

The audit cites base drive, load demand, and output region

The base current is 1 A, the drive limit and load demand are both 3 A, and the inverter output is LOW.

IB=1 A,βIB=Iload=3 AI_B=1\ \text{A},\quad \beta I_B=I_\text{load}=3\ \text{A}
Region audit sourcesThe audit check cites the upstream checked source slots.output 0 Vinput 5 Vdrop 1 Vbase 1 Adrive 3 Aload 3 Acollector 3 Abase 1/2 Abase 1/2 Abase 1/2 Abase 1/2 Atotal 2 Alimit 3 AsaturationLOWpassaccepted

The final accepted label also depends on the base-drive budget

The fanout budget uses 2 A against a 3 A limit, so the checked audit is accepted.

2 A3 Aaccepted2\ \text{A}\le 3\ \text{A}\Rightarrow \text{accepted}
Accepted transistor contractAccepted is bound to the budget result and region chain.output 0 Vinput 5 Vdrop 1 Vbase 1 Adrive 3 Aload 3 Acollector 3 Abase 1/2 Abase 1/2 Abase 1/2 Abase 1/2 Atotal 2 Alimit 3 AsaturationLOWpassaccepted