# 有界精确可行性求解

`exact PROBLEM.json [MAX_NODES]` 对最多 12 个缓冲区、4 个内存区枚举满足对齐的所有可选偏移；固定位置只有一个候选。默认最多 100000 次候选检查，可配置 1..1000000。

结果 solved 附带已通过独立核验的布局；infeasible 表示完整枚举后没有满足给定静态合同的布局；limit 表示候选预算耗尽，不能据此判断不可行。退出码分别为 0、1、3；输入错误为 2。本模式不搜索最小高水位，也不推断硬件约束或未声明占用。

示例 exact_alignment.json：9 字节 bank 中，5 字节／对齐 1 的 a 与 4 字节／对齐 4 的 b 同时存活。贪心先放 a 在 0，得到高水位 12；精确求解将 b 放在 0、a 放在 4，得到高水位 9。该案例说明“贪心超预算”和“合同不可行”需要分开判断。

较接近工程尺度的 exact_alignment_kib.json 使用 9 KiB 预算、5 KiB／对齐 16 的 a 和 4 KiB／对齐 4096 的 b；贪心高水位为 12 KiB，精确布局高水位为 9 KiB。该样本是合成配置，未冒充真实设备测量。