FPA-T-01 PASS assertions=1
FPA-T-02 PASS assertions=1
FPA-T-03 PASS assertions=1
FPA-T-04 PASS assertions=2
FPA-T-06 PASS assertions=1
FPA-T-08a PASS assertions=1
FPA-T-08b PASS assertions=1
FPA-T-08c PASS assertions=1
FPA-T-09 PASS assertions=1
FPA-T-10 PASS assertions=1
FPA-T-11 PASS assertions=1
FPA-T-12 PASS assertions=1
FPA-T-13a PASS assertions=1
FPA-T-13b PASS assertions=1
FPA-T-14 PASS assertions=1
FPA-T-15 PASS assertions=11
FPA-T-16 PASS assertions=17
FPA-T-17D PASS assertions=2
FPA-T-18 PASS assertions=9
FPA-T-21 PASS assertions=2
FPA-T-24 PASS assertions=1
FPA-T-26 PASS assertions=1
FPA-T-PR-01 PASS assertions=1
FPA-T-PR-02 PASS assertions=3
FPA-T-PR-03 PASS assertions=1
FPA-T-PR-09 PASS assertions=2
FPA-T-PR-10 PASS assertions=1
FPA-T-PR-12 PASS assertions=2
FPA-T-PR-13 PASS assertions=1
FPA-T-PR-14 PASS assertions=1
FPA-T-17A PASS assertions=1
FPA-T-17B PASS assertions=1
FPA-T-17C PASS assertions=1
FPA-T-23 PASS assertions=2
FPA-T-25 PASS assertions=3
FPA-D-01 SKIP CT §F.D: action-token emission is a declarative gate-logic obligation
FPA-D-02 SKIP CT §F.D: tool-state non-inheritance is outside the public runnable surface
FPA-D-03 SKIP CT §F.D: VAL-011 enforcement is outside Surface-1
FPA-D-04 SKIP CT §F.D: distributed enforcement legitimacy is not locally runnable
FPA-D-05 SKIP CT §F.D: watermark-store anti-rollback finding is external
FPA-D-06 SKIP CT §F.D: durable append-only journal enforcement is external
SUMMARY total=41 pass=35 fail=0 skip=6 error=0
