mirror of
https://github.com/morluto/rea.git
synced 2026-11-05 14:26:07 +00:00
33c4282b8a
Keep recovered callee identities separate from fspec annotations and SSA argument values separate from passing storage. Add selected calls and function-input reads through the shared fact owner, with real SQLite MCP coverage and a pre-pinned cross-function model task. Co-authored-by: gensokyo-dev <342580529+gensokyo-dev@users.noreply.github.com> Co-authored-by: Kaoru0822 <208281322+kaoru0822-kitauji@users.noreply.github.com>
14 lines
963 B
Plaintext
14 lines
963 B
Plaintext
Analyze {{artifact_path}} statically. In sqlite3Fts3ExprParse, explain how a
|
|
"malformed MATCH expression" error can be selected even when its parsing helper
|
|
returns success. Trace the relevant caller-owned context into the helper: identify
|
|
the call site, actual callee entry, the passed SSA value and passing location, and
|
|
the corresponding recovered function input. Explain which context field the helper
|
|
updates for opening/closing parentheses, where the caller checks that same field,
|
|
and how the successful and malformed paths differ. Verify the essential pointer,
|
|
field and control-transfer claims against selected machine instructions.
|
|
|
|
Keep the answer focused on this cross-function state flow. Give function and
|
|
instruction addresses and real Evidence references. Distinguish recovered call
|
|
slots from original source parameter ordinals, exact storage matches from proven
|
|
alias analysis, and local static conditions from demonstrated runtime feasibility.
|