@sema-agent/core/wire-changes/core@7.17.7.json

Stateless, task-oriented AI agent core

{
  "repo": "core",
  "version": "7.17.7",
  "from": "adb5afdddf8b01be7b9b8a8394251eea7fe2ee19",
  "to": "d45dba221924363df3176b96550267398c24e26b",
  "added": [],
  "removed": [],
  "changed": [],
  "narrowed": [
    {
      "id": "F1",
      "source": "behaviorFlips.summary",
      "text": "Narrowing — an INTERPRETER whose program is argument text is the argument-as-program family's fourth member (#791; B-120; test [7227]): one table (26 rows: perl / ruby / python / node / php / lua / tclsh / wish / expect / awk family / jq / bc / dc / sqlite3 / psql / osascript / Rscript / julia / ghci / groovy / bun) declares per interpreter how its program arrives — text-valued options (`-e`/`-c`/`--eval`/`-r`/`-p`), bundle letters (`-pe`/`-lne`/`-0777e`), the program OPERAND (awk program, jq filter, the SQL after a database) and the `stdin when unnamed` rule — and the presence of such a program refuses the whole command through the family's existing mint (`unjudgedProgramTextRefusal`). What is judged is PRESENCE, never CONTENT."
    },
    {
      "id": "F2",
      "source": "behaviorFlips.summary",
      "text": "Narrowing — ONE launcher option grammar, read by every reader that has to find the program word (#792; B-120; test [7227]): `LAUNCHER_OPTION_GRAMMAR` (time's `-p`/`-f <fmt>`/`-o <file>`/`-a`/`-v`) was read by the boundary walk and by the single-command boundary face but NOT by the whitelist's head scan, `argvReentryUnjudged`, nor the bounded poll loop's base-move reader; `time -p xargs cat <<< <path>` therefore fell through the argv re-entry member that `xargs cat <<< <path>` had been refused by since 7.17.5."
    },
    {
      "id": "F3",
      "source": "behaviorFlips.summary",
      "text": "Narrowing — an APPLET DISPATCHER is a launcher and the shell re-entry member is spelled by every shell (#791 complement pass, ruled arm 3): `busybox` joins `COMMAND_LAUNCHERS` (already on the rule lane's curated interpreter table, so the pinned subset relation holds) and `SHELL_REENTRY_PROGRAM_RE` gains `ash|mksh|yash|pdksh` (+ `csh|tcsh` from the receipt round)."
    }
  ],
  "closedSetMembers": [],
  "typeKeys": [],
  "declarationMoves": [],
  "mintMoves": [],
  "criteriaObserves": [
    {
      "kind": "typeMember",
      "name": "AskRequest.ruleOffersAbsence",
      "assertions": [
        "G1.a",
        "G2.a",
        "G3.a"
      ]
    }
  ],
  "consumersHint": {
    "cli": [],
    "server": [],
    "sdk": [],
    "note": "scanned cli@f985d9cb server@4406f7fd sdk@6910789 — a name listed is MENTIONED there today, which is evidence of consumption, not proof of it"
  },
  "breakingCount": 0,
  "breakingItems": []
}