Issues

• Correct EXTI masked-event pending model and cover lock/readback limits

  priority:mediumsource:work-todosurface:fvsurface:hardware
  EthereumPhone/PQ1#1109 · Filter by author Nicola-Ceornea opened on Oct 30, 2026
  1

• Kani: ordinary raw reads can miss alignment violations in the private verifier

  priority:highsource:work-todosurface:fv
  EthereumPhone/PQ1#1108 · Filter by author Nicola-Ceornea opened on Oct 30, 2026

• FSBL (WP1): handle a tamper flag still set at boot

  enhancementpriority:mediumsurface:hardwaresurface:runtime
  EthereumPhone/PQ1#1107 · Filter by author Nicola-Ceornea opened on Oct 30, 2026

• First boot (rdp2-self-lock): Phase A halts when page 125's SE-wipe flag is armed before it

  enhancementpriority:mediumsurface:hardwaresurface:runtime
  EthereumPhone/PQ1#1106 · Filter by author Nicola-Ceornea opened on Oct 30, 2026

• Clarify RCC requirement citations and reset wording

  priority:lowsource:work-todosurface:fvsurface:hardware
  EthereumPhone/PQ1#1105 · Filter by author Nicola-Ceornea opened on Oct 30, 2026
  2

• Tamper contract (draft-v6 B4, P3 slice 4a): run the silicon tests

  enhancementpriority:mediumsurface:hardwaresurface:runtime
  EthereumPhone/PQ1#1104 · Filter by author Nicola-Ceornea opened on Oct 30, 2026

• RAM map v2: run the dev-unit A/B and the display/dual-SE images on silicon

  enhancementpriority:mediumsurface:hardwaresurface:runtime
  EthereumPhone/PQ1#1103 · Filter by author Nicola-Ceornea opened on Oct 30, 2026

• RAM map v2: bench ECC follow-ups (byte-store coherence, CPU-raised double error)

  enhancementpriority:mediumsurface:hardwaresurface:sca-fi
  EthereumPhone/PQ1#1102 · Filter by author Nicola-Ceornea opened on Oct 30, 2026

• FV: investigate boolean write initialization-tracking failure in private Kani model

  priority:lowsource:work-todosurface:fv
  EthereumPhone/PQ1#1101 · Filter by author Nicola-Ceornea opened on Oct 30, 2026

• Secure-world parks should wipe resident secrets first (park_wiped helper + scanner)

  enhancementpriority:mediumsurface:runtimesurface:sca-fi
  EthereumPhone/PQ1#1100 · Filter by author Nicola-Ceornea opened on Oct 30, 2026

• FV: enforce terminal resource limits in the padding replay entrypoint

  priority:lowsource:work-todosurface:fv
  EthereumPhone/PQ1#1099 · Filter by author Nicola-Ceornea opened on Oct 30, 2026

• FV: corrected-dependency SHA-256 constructor and Digest correspondence

  priority:lowsource:work-todosurface:fv
  EthereumPhone/PQ1#1097 · Filter by author Nicola-Ceornea opened on Oct 30, 2026
  7

• PWR follow-up: access timing, wakeup and VBAT qualifications

  priority:mediumsource:work-todosurface:fvsurface:runtime
  EthereumPhone/PQ1#1096 · Filter by author Nicola-Ceornea opened on Oct 30, 2026

• FV manual ledger: qualify encoder error and synchronized-timer diagrams

  priority:lowsource:work-todosurface:fvsurface:hardware
  EthereumPhone/PQ1#1094 · Filter by author Nicola-Ceornea opened on Oct 30, 2026

• FV manual ledger: record Figure 641 one-pulse polarity disagreement

  priority:lowsource:work-todosurface:fvsurface:hardware
  EthereumPhone/PQ1#1093 · Filter by author Nicola-Ceornea opened on Oct 30, 2026

• FV SAES: make local scope boundaries explicit and extend manifest rejection controls

  priority:mediumsource:work-todosurface:fv
  EthereumPhone/PQ1#1091 · Filter by author Nicola-Ceornea opened on Oct 29, 2026
  1

• FSBL: establish GTZC1 clock before HASH attribution and bind the cold-start proof

  bugpriority:highsource:work-todosurface:fvsurface:fw-update
  EthereumPhone/PQ1#1088 · Filter by author Nicola-Ceornea opened on Oct 28, 2026
  1

• Drop the shared-memory mailbox carve-out on the STM32U585 (make the constants QEMU-only)

  enhancementpriority:lowsurface:trustzone
  EthereumPhone/PQ1#1084 · Filter by author Nicola-Ceornea opened on Oct 28, 2026

• FV: strengthen symbolic sensitivity controls for partitioned RCC/CPU proofs

  priority:mediumsource:work-todosurface:fv
  EthereumPhone/PQ1#1083 · Filter by author Nicola-Ceornea opened on Oct 27, 2026

• PQ1 ships ready to use; optional USB proof of secure erasure via ST's ROM (first-screen Set up / Check first) + factory DHUK-final SE keys (owner direction 2026-10-27)

  EthereumPhone/PQ1#1082 · Filter by author markusbug opened on Oct 27, 2026
  2

• FV: add bench-specific negative controls for AIRCR lock composition

  priority:lowsource:work-todosurface:fv
  EthereumPhone/PQ1#1079 · Filter by author Nicola-Ceornea opened on Oct 27, 2026

• Review isolation: deny earlier and peer artifacts in actual command execution

  priority:mediumsource:work-todosurface:fv
  EthereumPhone/PQ1#1078 · Filter by author Nicola-Ceornea opened on Oct 27, 2026

• FV SysTick: keep by-construction bank identity out of falsifiable-check counts

  priority:mediumsource:work-todosurface:fv
  EthereumPhone/PQ1#1077 · Filter by author Nicola-Ceornea opened on Oct 27, 2026

• Review tooling: prevent duplicate Claude plan-file writes in read-only reviews

  priority:mediumsource:work-todosurface:fv
  EthereumPhone/PQ1#1076 · Filter by author Nicola-Ceornea opened on Oct 27, 2026
  1

• FV SysTick: compose repeated setup with retained timer and pending state

  priority:mediumsource:work-todosurface:fvsurface:hardware
  EthereumPhone/PQ1#1075 · Filter by author Nicola-Ceornea opened on Oct 27, 2026
  1