From 3ce0ff163e2ebdce9ff434bd77d909b2d284f480 Mon Sep 17 00:00:00 2001 From: bastien Date: Tue, 29 Sep 2026 16:48:14 +0200 Subject: [PATCH] docs(effort): helper header names the signal trap and the quoted rejection --- lib/effort-pins.sh | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/lib/effort-pins.sh b/lib/effort-pins.sh index 92b8c53..c8cc4d7 100755 --- a/lib/effort-pins.sh +++ b/lib/effort-pins.sh @@ -6,12 +6,14 @@ # it back after the last vendoring step of install-plugins.sh and # update-all.sh. Idempotent: same level → untouched, other level → # replaced inside the frontmatter only, skill not vendored → skipped, -# malformed map line → rejected loudly, never applied. Four hardenings: -# a map whose last line lacks a newline is still read; a SKILL.md whose -# frontmatter never closes is skipped untouched; the level is re-read after -# every write and a mismatch (CRLF, malformed) counts as failed; the write -# goes through a mktemp sibling removed on any failure. Placement inside the -# frontmatter has no effect on the harness, which reads the key anywhere. +# malformed map line → rejected loudly, never applied. Hardenings: a map +# whose last line lacks a newline is still read; a SKILL.md whose frontmatter +# never closes is skipped untouched; the level is re-read after every write +# and a mismatch counts as failed; the write goes through a mktemp sibling +# removed on any failure and on INT/TERM (previous traps restored, never an +# EXIT trap: the installer owns one); the rejected map line is printed +# shell-quoted so a caller's `echo -e` cannot interpret it. Placement inside +# the frontmatter has no effect on the harness, which reads the key anywhere. # # Usage: source it, then `apply_effort_pins [repo-root]` # or standalone: bash lib/effort-pins.sh [repo-root]