Compare commits

...
Author SHA1 Message Date
morluto cc1ee611dc Merge commit 'ac30fbd' into HEAD 2026-11-07 23:16:26 +08:00
morluto 9417cad73e chore: merge main into retained view guidance 2026-11-07 22:40:12 +08:00
Cursor Agent ff01268896 docs(mcp): page retained procedure pseudocode in place
procedure_pseudo_code Evidence already supports summary and native
pseudocode views of the original observation. The guide no longer says
that paging requires a new analyze_function dossier.
2026-11-07 12:00:49 +00:00
Cursor Agent e9ae1efb85 merge(main): keep record selection and pseudocode view limits
Refresh the retained-evidence docs onto current main. Summary rows stay
incomplete, procedure_pseudo_code remains a separate dossier, and
detail:records is the way to read the original retained record.
2026-11-07 11:41:18 +00:00
morluto eee5cb9208 docs(mcp): describe pageable pseudocode alternative 2026-11-01 18:07:51 +08:00
morluto fbc84fbd18 docs(mcp): clarify retained evidence view support 2026-11-01 18:04:15 +08:00
+6 -1
View File
@@ -368,7 +368,12 @@ To discover existing records without their large payloads, call
Evidence IDs, artifact/provider identities, analysis-profile digests and native
procedure metadata. Optional `filters` match exact `evidence_id`, `operation`,
`target_sha256`, `analysis_profile_digest` or `procedure_address`. Use a discovered
ID with `inspect_analysis_view`; neither discovery nor retained selection starts
ID with `inspect_analysis_view` when its parent operation supports a compatible
view. Summary rows are not the complete record. Retained `procedure_pseudo_code`
Evidence supports `summary` and `native`/`pseudocode` views of that original
observation, including `view: {kind: "native", facet: "pseudocode", offset: 0, limit: 4096}`;
pages do not start a provider or create another decompilation. An
`analyze_function` dossier is a different observation. Neither discovery nor retained selection starts
a provider. `retention: "complete-record"` describes stored Evidence, while
`native_dossier.value_flow` independently reports truncation, unavailable or
unknown metadata. Missing omission counts remain null. Summary output carries