プログラムカウンタ | ゲストの現在のプログラム実行位置 | オフセット | 32bit符号なし、モジュール先頭からのバイト単位

割り込みフラグ | ゲストに通知された仮想割り込みの状態 | ビットフラグ | 32bit、各ビット定義は[vMMIO仕様§3.2]を参照

WASMバイナリ | ROM上のWASMバイナリデータ | バイナリビュー | ROM上のデータを直接参照（コピーなし）

// ROM上のWASMバイナリへのビュー
constexpr uint8_t wasm_module[] = { /* ... */ };
binary_view module_view{wasm_module, sizeof(wasm_module)};
// module_viewは wasm_module の生存期間中（プログラム全体）有効

// 静的に確保されたJITキャッシュ
static uint8_t jit_cache[64 * 1024];
data_range<uint8_t> cache_view{jit_cache, sizeof(jit_cache)};
// cache_viewは jit_cache の生存期間中（プログラム全体）有効

void parse_section(binary_view section) {
  // section は呼び出し元のデータを参照
  // この関数を抜けた後、section を保持してはならない
}

// 正しい使用法
uint8_t buffer[256];
binary_view view{buffer, sizeof(buffer)};
parse_section(view);  // OK: buffer はまだ有効

// 誤った使用法
binary_view dangerous_view;
{
  uint8_t temp[256];
  dangerous_view = binary_view{temp, sizeof(temp)};
}
// dangerous_view は無効！temp は破棄されている（ダングリングポインタ）

using binary_view = std::span<const uint8_t>;
using mutable_binary_view = std::span<uint8_t>;

template<typename T>
using data_range = std::span<T>;

戻り値 | モジュールロードの成否 | 結果型 | 成功時は空、失敗時は`load_error`を返却

関数索引 | 関数名から関数インデックスへの変換テーブル | ソート済み配列 | 二分探索により O(log N) で検索

コールバック | vMMIOアクセス時に呼び出される処理 | 経済的な関数 | シグネチャ: `void(uint32_t addr, uint8_t* data)`

// プリミティブ型: 値渡し
void set_timeout(uint32_t milliseconds);

// 大きな構造体: const参照渡し（読取専用）
void initialize(const vsoc_config& config);

// 構造体の変更: 可変参照渡し
void execute_step(execution_context& ctx);

// バイナリデータ: ビュー型
module_view load_module(binary_view wasm_binary);

// void: 副作用のみ
void notify_interrupt(uint32_t irq_id);

// 値: プリミティブ型
uint32_t get_program_counter();

// 結果型: エラーハンドリング
result<void, load_error> load_module(binary_view binary);

// オプショナル: 値が存在しない可能性
optional<uint32_t> lookup_symbol(const char* name);

// ビュー: データへの参照
binary_view get_code_section(uint32_t func_index);

機能名(引数名: 型分類【, 引数名: 型分類】...) -> 戻り値型分類

// 関数ポインタ
using interrupt_handler = void (*)(uint32_t irq_id);
void register_handler(interrupt_handler handler);

// 経済的な関数
using vmmio_callback = economic_function<void(address, byte_count)>;
void register_vmmio_hook(vmmio_callback callback);

モジュールビュー | ロード済みWASMモジュールの索引情報への参照 | 構造体への参照 | [`module_view`](loader.md#module_view) へのポインタ（非所有）

関数アクセサ | 関数の詳細情報へアクセスするプロキシ | アクセサ | メソッド呼び出し時にROM上のデータをデコード

using address = uint32_t;
using offset = uint32_t;
using byte_count = uint32_t;
using entry_count = uint32_t;
using instruction_count = uint32_t;
using function_index = uint32_t;
using shift_amount = uint8_t;
using interrupt_flags = uint32_t;

using binary_view = std::span<const uint8_t>;
using mutable_binary_view = std::span<uint8_t>;

template<typename T>
using data_range = std::span<T>;

template<typename T, typename E>
using result = /* result型の独自実装 */;

template<typename T>
using optional = /* optional型の独自実装 */;

template<typename Signature>
using economic_function = /* economic_function型の独自実装 */;

// WASM関連
using wasm_pc = offset;
using wasm_opcode = uint8_t;

// JIT関連
using code_offset = uint16_t;
using card_index = uint16_t;

// vSoC関連
using module_id = uint32_t;
using task_id = uint16_t;

| 項目名 | 機能と役割 | 型分類 | サイズ・制約 |
| プログラムカウンタ | ゲストの現在のプログラム実行位置 | オフセット | 32bit符号なし |
| 割り込みフラグ | ゲストに通知された仮想割り込みの状態 | ビットフラグ | 32bit |
| メモリサイズ | ゲストリニアメモリの有効サイズ | バイト数 | 32bit符号なし |

struct execution_context {
  wasm_pc pc_;                    // プログラムカウンタ (wasm_pc = offset)
  interrupt_flags irq_flags_;     // 割り込みフラグ (interrupt_flags = uint32_t)
  byte_count memory_size_;        // メモリサイズ (byte_count = uint32_t)
};

// inc/core/types.hxx
#ifndef FIREBALL_CORE_TYPES_HXX
#define FIREBALL_CORE_TYPES_HXX

#include <cstdint>
#include <span>

namespace fireball {

// ========================================
// プリミティブ型エイリアス
// ========================================
using address = uint32_t;
using offset = uint32_t;
using byte_count = uint32_t;
using entry_count = uint32_t;
using instruction_count = uint32_t;
using function_index = uint32_t;
using shift_amount = uint8_t;
using interrupt_flags = uint32_t;

// ========================================
// 複合型エイリアス
// ========================================
using binary_view = std::span<const uint8_t>;

template<typename T>
using data_range = std::span<T>;

// 結果型、オプショナル型、経済的な関数は別ヘッダで定義

// ========================================
// WASM関連エイリアス
// ========================================
using wasm_pc = offset;
using wasm_opcode = uint8_t;

// ========================================
// JIT関連エイリアス
// ========================================
using code_offset = uint16_t;
using card_index = uint16_t;

// ========================================
// vSoC関連エイリアス
// ========================================
using module_id = uint32_t;
using task_id = uint16_t;

}  // namespace fireball

#endif  // FIREBALL_CORE_TYPES_HXX