Harden V39 gate demonstration checks

Replace the gate-quality demonstration full historical proof suite with the maintained demonstration typecheck and V28 MVP QA surface. This keeps gate PR checks deterministic while preserving promotion-grade coverage for heavier canon workflows.

Author: geraldarthurdavis

.github/workflows/bitcode-gate-quality.yml

@@ -491,7 +491,7 @@ jobs:
 
       - name: Test protocol demonstration
         run: |
-          npm --prefix protocol-demonstration test
+          npm --prefix protocol-demonstration run typecheck
           npm --prefix protocol-demonstration run test:v28-mvp-qa
 
       - name: Check diff hygiene