Glossary

Status: REFERENCE · Evidence class: DERIVED FROM PUBLIC VOCABULARY · Last reviewed: 2026-08-11

Allegrex

The PSP CPU family and its MIPS-derived execution environment. Do not flatten PSP-specific behavior into a generic desktop MIPS label.

VFPU

The PSP vector floating-point unit, including vector, matrix, prefix, and control behavior that must be modeled explicitly.

PRX / ELF

PSP module and executable formats used by the loader and static analysis pipeline.

NID

A numeric identifier used to resolve imported or exported services.

Function owner

The function that semantically owns an address; an interior or resume entry is not automatically a new function.

Complete-span validation

Validation of every byte in a guest-visible readable or writable range, with checked size arithmetic, before bulk host access.

HLE

High-level emulation of a PSP service contract. A missing HLE implementation remains visible; success must not be fabricated.

Hardware oracle

A qualified PSP measurement route whose transport and capture have been checked before semantic interpretation.

Public-safe profile

A reproducible example using source-owned or synthetic inputs and excluding restricted game artifacts, private captures, keys, and paths.

Use the Evidence Standard when a term is part of a claim, and the PSP Executable Model for the loader context.