@gotgenes/pi-permission-system 40.0.1 → 40.1.0

package/CHANGELOG.md

@@ -5,6 +5,24 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [40.1.0](https://github.com/gotgenes/pi-packages/compare/pi-permission-system-v40.0.2...pi-permission-system-v40.1.0) (2026-10-08)
+
+
+### Features
+
+* **pi-permission-system:** sudo -n true and other shell no-ops behind a wrapper resolve by their own rule ([a0889ee](https://github.com/gotgenes/pi-packages/commit/a0889ee49c3ea217bb534339c12dc6c470020429)), closes [#1039](https://github.com/gotgenes/pi-packages/issues/1039)
+
+### Documentation
+
+* **pi-permission-system:** document shell no-ops in the pure-reader core ([#1039](https://github.com/gotgenes/pi-packages/issues/1039)) ([de296e0](https://github.com/gotgenes/pi-packages/commit/de296e0306a022b19fc5a8584e7c74841a35e69f))
+
+## [40.0.2](https://github.com/gotgenes/pi-packages/compare/pi-permission-system-v40.0.1...pi-permission-system-v40.0.2) (2026-10-06)
+
+
+### Bug Fixes
+
+* **pi-permission-system:** a session grant on one bash unit no longer approves the chain's other asking units ([3fffff8](https://github.com/gotgenes/pi-packages/commit/3fffff8158da81094d43a62673c8388ccb1ddf61)), closes [#1033](https://github.com/gotgenes/pi-packages/issues/1033)
+
 ## [40.0.1](https://github.com/gotgenes/pi-packages/compare/pi-permission-system-v40.0.0...pi-permission-system-v40.0.1) (2026-10-06)
 
 

package/docs/configuration.md

@@ -1009,7 +1009,7 @@ A path token owned by one of them consults the `_read` surface alone:
 
 <!-- BEGIN PURE_READER_CORE -->
 
-`awk`, `basename`, `cat`, `cd`, `diff`, `dirname`, `echo`, `egrep`, `fd`, `fgrep`, `find`, `grep`, `head`, `ls`, `pwd`, `realpath`, `rg`, `sed`, `sort`, `stat`, `tail`, `wc`, `which`
+`:`, `awk`, `basename`, `cat`, `cd`, `diff`, `dirname`, `echo`, `egrep`, `false`, `fd`, `fgrep`, `find`, `grep`, `head`, `ls`, `pwd`, `realpath`, `rg`, `sed`, `sort`, `stat`, `tail`, `true`, `wc`, `which`
 
 <!-- END PURE_READER_CORE -->
 
@@ -1079,7 +1079,7 @@ All four of these must hold, and each is a way the floor's reason could still ap
 4. The enclosing statement provably writes no file through a redirect.
    A destination the parse cannot resolve — `> $OUT`, `> $(mktemp)` — counts against the exemption rather than for it.
 
-So `xargs grep -l foo`, `xargs wc -l`, `xargs sed -n 1p`, and `find . -name '*.ts' -exec cat {} +` stop prompting under a matching `bash` allow, while `xargs rm`, `xargs sed -i`, and `find . -exec sh -c '…' \;` still prompt.
+So `xargs grep -l foo`, `xargs wc -l`, `xargs sed -n 1p`, `find . -name '*.ts' -exec cat {} +`, and the no-op probe `sudo -n true` stop prompting under a matching `bash` allow, while `xargs rm`, `xargs sed -i`, and `find . -exec sh -c '…' \;` still prompt.
 
 Three things this does **not** change:
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@gotgenes/pi-permission-system",
-  "version": "40.0.1",
+  "version": "40.1.0",
   "description": "Permission enforcement extension for the Pi coding agent.",
   "type": "module",
   "exports": {

package/src/access-intent/bash/command-effects.ts

@@ -155,6 +155,11 @@ function coreAdmissions(): readonly CoreAdmission[] {
       reason:
         "No filesystem write: `echo` writes to stdout (a redirect destination is the syntax proof's job, not `echo`'s); `cd` reads a directory to enter it",
     },
+    {
+      words: ["true", "false", ":"],
+      reason:
+        "No-ops: ignore their operands and touch no file; GNU's `--help`/`--version` print to stdout only",
+    },
     {
       words: ["find", "fd", "sort"],
       reason:

package/src/handlers/gates/bash-command.ts

@@ -123,9 +123,8 @@ export function resolveBashCommandCheck(
  *
  * The winner names one command, but a forwarded ask's answer approves the
  * whole tool call, so the serving node has to judge every unit the child could
- * not resolve, each with its own floor (#1030). A unit the child's rules
- * allowed stays home, and so does one the session already granted: the user
- * approved exactly that command.
+ * not resolve, each with its own floor (#1030). A unit the child's rules or
+ * the session allowed stays home.
  */
 function withAskingUnits(
   winner: PermissionCheckResult,
@@ -133,7 +132,7 @@ function withAskingUnits(
 ): PermissionCheckResult {
   if (winner.state !== "ask") return winner;
   const askingUnits = results
-    .filter((result) => result.state === "ask" && result.source !== "session")
+    .filter((result) => result.state === "ask")
     .map((result) => ({
       command: result.command ?? "",
       ...(result.floor === undefined ? {} : { floor: result.floor }),
@@ -149,17 +148,14 @@ function withAskingUnits(
  * `git push x && sudo rm y` a `git push *: ask` rule wins the tie and the
  * wrapper's floor would otherwise go unrecorded. A forwarded ask is judged on
  * the winner's value alone, so the floor has to ride the result for the
- * serving node to keep it (#1029). A unit the session already granted is left
- * out: the user approved exactly that command.
+ * serving node to keep it (#1029).
  */
 function withChainFloor(
   winner: PermissionCheckResult,
   results: readonly PermissionCheckResult[],
 ): PermissionCheckResult {
   if (winner.state !== "ask" || winner.floor !== undefined) return winner;
-  const floored = results.find(
-    (result) => result.floor !== undefined && result.source !== "session",
-  );
+  const floored = results.find((result) => result.floor !== undefined);
   return floored ? { ...winner, floor: floored.floor } : winner;
 }
 
@@ -181,7 +177,7 @@ function resolveCommandUnit(
     resolver,
   );
   const floored =
-    cmd.wrapperKind && base.state === "allow"
+    cmd.wrapperKind && base.state === "allow" && !isSessionGrant(base)
       ? resolveWrapperUnit(cmd, cmd.wrapperKind, base, agentName, resolver)
       : base;
   const unparsed = floorUnparsedUnit(cmd, command, floored);
@@ -210,26 +206,40 @@ function resolveCommandUnit(
  * decides instead — and a wrapper unit already floored to `ask` keeps its own,
  * more specific sentinel.
  *
- * The result is built by spreading `resolved`, so a `source: "session"` grant
- * survives to `GateRunner`'s session fast path, which tests the source before
- * the state. A grant the user gave for this exact command still holds.
+ * A session grant is never floored: the user approved this exact command, and
+ * an `ask` carrying it would tie with a sibling unit's real ask and could
+ * approve the whole chain through `GateRunner`'s session fast path (#1033).
  */
 function floorUnparsedUnit(
   cmd: BashCommand,
   command: string,
   resolved: PermissionCheckResult,
 ): PermissionCheckResult {
-  if (!cmd.parseUnresolved || resolved.state !== "allow") return resolved;
+  if (
+    !cmd.parseUnresolved ||
+    resolved.state !== "allow" ||
+    isSessionGrant(resolved)
+  ) {
+    return resolved;
+  }
   return { ...floorToAsk(resolved, UNPARSED_SUBTREE_SENTINEL), command };
 }
 
+/**
+ * True when the session layer decided the check. `SessionRules` records only
+ * `allow`s, so this is a grant the user gave for the command it matched.
+ */
+function isSessionGrant(check: PermissionCheckResult): boolean {
+  return check.source === "session";
+}
+
 /**
  * Clamp a resolved check up to a synthetic `ask` naming the floor that raised
  * it.
  *
- * Spreads `resolved`, so a `source: "session"` grant survives to `GateRunner`'s
- * session fast path. Drops `matchedSpelling`: it names what the replaced rule
- * matched, and beside the sentinel it would name a match that did not decide.
+ * Never handed a session grant: both floors leave one unfloored. Drops
+ * `matchedSpelling`: it names what the replaced rule matched, and beside the
+ * sentinel it would name a match that did not decide.
  */
 function floorToAsk(
   resolved: PermissionCheckResult,

package/src/handlers/gates/descriptor.ts

@@ -138,13 +138,10 @@ export function preResolvedCheckOf(
  * a semantic one, and it is why the same treatment is *not* extended to `ask`
  * (#915): two asking gates ask two different questions.
  *
- * Subordinate to {@link GateRunner.runDescriptor}'s own precedence, which
- * tests `source === "session"` before the deny/ask/allow gate is reached — a
- * session-sourced check is allowed there, so it is not pre-emptive here.
- * `SessionRules` records only allows, so that combination is unreachable
- * today; the clause is kept so the predicate is correct on its own terms
- * rather than by way of a distant invariant, and it errs toward today's
- * behavior by declining to pre-empt.
+ * A session-sourced `deny` counts too: {@link GateRunner.runDescriptor}'s
+ * session fast path takes only a session `allow`, so any other session-sourced
+ * check reaches the deny/ask/allow gate and a `deny` blocks there. `SessionRules`
+ * records only allows, so that combination is unreachable today.
  *
  * Yolo needs no clause: `resolveYoloGrant` matches an `allow` of origin
  * `yolo` and an `ask`, never a `deny`.
@@ -154,7 +151,7 @@ export function isUnconditionalDeny(gate: GateResult): boolean {
     return false;
   }
   const check = preResolvedCheckOf(gate);
-  return check !== null && check.state === "deny" && check.source !== "session";
+  return check !== null && check.state === "deny";
 }
 
 /**

package/src/handlers/gates/runner.ts

@@ -116,8 +116,10 @@ export class GateRunner {
     // context holds what every resolution of this gate shares, and who decided
     // is by definition not shared (#726).
 
-    // 2. Session-hit fast path
-    if (check.source === "session") {
+    // 2. Session-hit fast path: a session grant is an allow. `SessionRules`
+    // records nothing else, so a session-sourced ask or deny means something
+    // clamped a grant, and it takes the gate below instead of riding the grant.
+    if (check.source === "session" && check.state === "allow") {
       this.reporter.writeReviewLog("permission_request.session_approved", {
         ...logContext,
         resolution: "session_approved",