fold/docs/research
trvon f0fe006d6b
fix(docs,tests): correct the pre-push hook claim, a dead link, MCP cleanup
Problem: the README said setup enables "tracked ... OpenGrep pre-push
hooks", but only .githooks/pre-commit is tracked, so fresh clones get no
pre-push hook. docs/research/prior-art.md pointed to prior-art-full.md,
which has never been in the repository. test_mcp_stdio's TempDir
destructor called the throwing remove_all overload; a failure during
unwinding terminates the test binary and leaves .fold-mcp-test-*
directories behind.

Fix: the README names only the tracked pre-commit hook. The pre-push
hook is not committed: it runs `opengrep --config auto`, which needs the
network. The dead reference is removed. TempDir uses the error_code
remove_all overload. It stays under the working directory, because the
MCP server rejects paths outside its workspace root (moving it to
temp_directory_path broke three MCP tests).

Test: mcp_stdio passes.
2026-09-24 20:57:32 -06:00
..
architecture.md docs: record quality convergence evidence 2026-07-29 20:47:10 -04:00
assertion-invariant-maturity-audit-2026-06-03.md checkpoint 2026-06-04 20:20:29 -04:00
benchmark-next-increments-audit-2026-06-03.md checkpoint 2026-06-04 20:20:29 -04:00
binary-detector-research.md docs: expand fold-sast skill; document call-graph decomposition + budgets 2026-08-16 16:41:33 -06:00
binary-detector-state.md docs: expand fold-sast skill; document call-graph decomposition + budgets 2026-08-16 16:41:33 -06:00
clang-quirks.md feat(analysis): harden project-wide scans 2026-07-30 18:18:04 -04:00
cli-mcp-surface-convergence-plan-2026-07-28.md docs: record quality convergence evidence 2026-07-29 20:47:10 -04:00
cli-router.md docs: document convergence contracts 2026-07-29 00:58:19 -04:00
convergence-code-review-2026-07-29.md docs: record quality convergence evidence 2026-07-29 20:47:10 -04:00
evaluation-foundation-literature-review-2026-07-13.md feat: harden Fold quality guard 2026-07-13 15:05:35 -04:00
fold-assertion-policy-2026-06-04.md checkpoint 2026-06-04 20:20:29 -04:00
fold-production-complexity-audit-2026-06-03.md checkpoint 2026-06-04 20:20:29 -04:00
fold-self-scan-2026-07-29.md docs: record quality convergence evidence 2026-07-29 20:47:10 -04:00
frontier.md fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
optimization-loop-2026-07-30.md docs: record option-2 S0 result — candidate expansion is empty on fold/yams 2026-09-01 17:32:40 -06:00
prior-art.md fix(docs,tests): correct the pre-push hook claim, a dead link, MCP cleanup 2026-09-24 20:57:32 -06:00
project-eval-scaffolding-2026-07-27.md feat(eval): add manifest project runner 2026-07-27 23:18:03 -04:00
sast-dast-symbolic-roadmap.md checkpoint 2026-06-04 20:20:29 -04:00
single-pass-graph-design.md docs: spec single-pass graph building (option 2) with seam map and slice plan 2026-09-01 17:24:55 -06:00
soundness.md feat: checkpoint. Bug fixes and good improvements 2026-07-10 09:59:49 -04:00
symbolic-modeling-research-2026-06-03.md checkpoint 2026-06-04 20:20:29 -04:00
tool-maturity-plan-2026-06-03.md checkpoint 2026-06-04 20:20:29 -04:00
vendor-architecture-audit-2026-05-31.md many good updates for binary and SAST / DAST scanning 2026-06-02 12:39:03 -04:00
vendor-architecture-map-2026-05-31.md many good updates for binary and SAST / DAST scanning 2026-06-02 12:39:03 -04:00
vendor-library-study-2026-05-31.md many good updates for binary and SAST / DAST scanning 2026-06-02 12:39:03 -04:00
vexa-binary-deobfuscation.md docs: expand fold-sast skill; document call-graph decomposition + budgets 2026-08-16 16:41:33 -06:00
vuln-detection-notes.md docs: expand fold-sast skill; document call-graph decomposition + budgets 2026-08-16 16:41:33 -06:00
yams-null-div-classification-2026-06-03.md checkpoint 2026-06-04 20:20:29 -04:00
z3-complexity-analysis-feasibility-2026-06-10.md feat: checkpoint. Bug fixes and good improvements 2026-07-10 09:59:49 -04:00
z3-surface-vendor-research-2026-05-31.md many good updates for binary and SAST / DAST scanning 2026-06-02 12:39:03 -04:00