fixed 0 PASS: 8 boot cases; both remap bits, prior GPIO zero/all-ones; physical pin16 low and pin17 input pulldown; mapping staged before switch. MMIO model only.
original -6 
PASS: 33 zero-output invariants plus replay, deadline, budget, mode, sensor, rollover and config checks.
PASS: lamp program timer policy (44 checks)
PASS: independent IR absence/removal blocks AI and manual light; late ticket rejected; reentry needs fresh vision; timers preserved incl rollover; omitted input dark.
PASS: guard ticket becomes AI_REQUEST; matching result accepted; TX failure revokes ticket and output.
PASS: lamp_ui_dispatch integrated 55 assertions
PASS: lamp_ui_wire_service 110 assertions
PASS: wire-to-guard path, session/ticket/calibration checks, image-sequence anti-replay and malformed-packet fail-dark.
PASS: LED output is blanked during updates, written atomically across 61/122-channel banks, and fails off on bus, rail, and guard faults.
PASS: 128 GPIO combinations; PA12 vs PA10 alias isolation; read-only sampler; unbound IR/ADC/driver stays false; active AI output cancelled by real sampler/policy path. MMIO model only.
Memory region         Used Size  Region Size  %age Used
           FLASH:       13656 B        32 KB     41.67%
             RAM:        2680 B         8 KB     32.71%
   text	   data	    bss	    dec	    hex	filename
  13652	      4	   2672	  16328	   3fc8	/Users/guman/Documents/Codex/2026-09-27/https-www-amazon-com-electric-drill/work/tri-product-continuation-2026-10-10.nosync/lamp_input_A37/firmware/固件/lamp_target/build/lamp_safety_g030f6.elf
{
  "status": "LINKED_IMAGE_STATIC_CHECK_PASS",
  "target": "STM32G030F6P6 / Cortex-M0+",
  "toolchain": "arm-none-eabi-gcc (GCC) 16.2.0",
  "flash_binary_bytes": 13656,
  "initial_sp": "0x20002000",
  "reset_vector": "0x080000cd",
  "linked_policy_symbols": [
    "lg_init",
    "lg_accept_ai_packet",
    "lg_accept_ai_decoded_result",
    "lg_output_sync",
    "pca9956b_init",
    "is31fl3236a_lamp_backend_init",
    "aiw_stream_push",
    "aiw_stream_push_message",
    "aiw_encode_ui_ack",
    "lamp_ui_wire_service_init",
    "lamp_ui_wire_service_handle",
    "lamp_ui_dispatcher_init",
    "lamp_ui_dispatcher_handle",
    "lamp_uart_init",
    "lamp_uart_tx_enqueue",
    "lamp_tx_queue_push",
    "lamp_tx_queue_pop",
    "lamp_ticket_dispatch_issue",
    "USART2_IRQHandler",
    "SysTick_Handler",
    "lamp_board_inputs_read",
    "lg_poll"
  ],
  "entry_symbol": "main",
  "sha256_bin": "401df7f49287e089a6462b6fe0d8670485f7d52a43bfde08b72feefe9fd26d7e",
  "sha256_elf": "426186e6954c55bd8a5d2211c624c127356df79209d6bc683eddd8a1430898a6",
  "physical_hardware_validation": false,
  "uart_rx_frame_parser_linked": true,
  "crc_valid_frames_reach_policy_guard": true,
  "ui_session_command_ack_path_linked": true,
  "ui_ack_queue_is_atomic": true,
  "guard_configured_or_armed": false,
  "ticket_dispatch_path_linked": true,
  "ticket_issuance_enabled": false,
  "runtime_ticket_requests_queued": false,
  "tx_packet_enqueue_is_atomic": true,
  "tx_wire_delivery_confirmed": false,
  "guard_rejection_counter_linked": true,
  "output_adapter_bound": false,
  "led_output_enabled": false,
  "external_watchdog_kicked": false,
  "runtime_control_enabled": false,
  "physical_contact_GPIO_sampling_bound": true,
  "A35_IR_policy_linked": true,
  "IR_GPIO_bound": false,
  "ADC_temperature_and_supply_sampling_bound": false,
  "LED_driver_health_readback_bound": false
}
