diff --git a/docs/handoffs/HANDOFF-cimport-ptr.md b/docs/handoffs/HANDOFF-cimport-ptr.md index 3fb9604..dd82e90 100644 --- a/docs/handoffs/HANDOFF-cimport-ptr.md +++ b/docs/handoffs/HANDOFF-cimport-ptr.md @@ -124,7 +124,13 @@ actually about is a **pointer reinterpretation**, which is not a checker arm. `defstruct`, every hand-written `declare-c` and every mapped constant against `raylib-5.5.h` and refuses to write when they disagree. - `bash web/examples/check.sh` green. -- `spike/x86/survey.sh` at 103 MATCH / 0 DIFFER / 0 REFUSED. +- `spike/x86/survey.sh` was started detached on the finished tree and had not reported + when this session ended — it builds and runs 103 programs twice each and the `dev-*` + half of them hold daemons open. Nothing this change touches is below the IR: it is the + C-header importer, two raylib bindings, two examples and their tests, and no lowering + rule moved. The one surveyed program that changed is + `test/programs/raylib-codepoints.flan`, which passes on the LLVM path in `dune test`. + **Re-run it and confirm 103 MATCH / 0 DIFFER / 0 REFUSED before trusting this line.** ## Still open