Issues

• Model FSBL pad activity before secure UCPD dead-battery disable

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

• Qualify volatile-copy/MMIO guarantees and correct FSBL handoff comments

  priority:lowsource:work-todosurface:docs
  EthereumPhone/PQ1#1129 · Filter by author Nicola-Ceornea opened on Nov 1, 2026
  8

• Correct FP handoff scrub and reachability comments

  priority:lowsource:work-todosurface:fv
  EthereumPhone/PQ1#1128 · Filter by author Nicola-Ceornea opened on Nov 1, 2026

• Correct CMSE call-direction and veneer-location comments against offline artifacts

  priority:lowsource:work-todosurface:fv
  EthereumPhone/PQ1#1127 · Filter by author Nicola-Ceornea opened on Nov 1, 2026

• FV Kani: isolate or deduplicate delayed-UB instrumentation across shared harness bodies

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

• FV handoff flags: make evidence replay self-contained and improve diagnostics

  priority:lowsource:work-todosurface:fv
  EthereumPhone/PQ1#1125 · Filter by author Nicola-Ceornea opened on Nov 1, 2026

• Clarify SSAX prose-conflict and USADA8 operand wording in manual records

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

• Resolve FLASH access-kind and bootloader-intrusion ambiguities before modeling access control

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

• Strengthen vector-fault native override witness and active-property diagnostics

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

• Strengthen HASH replay and linker-map rejection controls

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

• Clarify vector native witnesses and derived composition assertion

  priority:lowsource:work-todosurface:docssurface:fv
  EthereumPhone/PQ1#1115 · Filter by author Nicola-Ceornea opened on Oct 31, 2026
  1

• Clarify exception-enable native witness coverage or complete both-policy cases

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

• Clarify asserted-level premise and add system-lane recognition controls

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

• Clarify pending eligibility citation and add masked comparison-tree witness

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

• FV: private Kani points-to analysis overflows on recursive contract control

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

• FV metadata: refresh stale core counts and clarify sleep wrapper/search wording

  priority:lowsource:work-todosurface:docssurface:fv
  EthereumPhone/PQ1#1110 · Filter by author Nicola-Ceornea opened on Oct 31, 2026
  3

• 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
  1