@sema-agent/core 7.27.0 → 7.28.1

package/wire-changes/core@7.28.1.json

@@ -0,0 +1,594 @@
+{
+  "repo": "core",
+  "version": "7.28.1",
+  "from": "cba36ff92ab9b8a3912e984f6a20263bd6a4c16b",
+  "to": "v7.28.1",
+  "added": [],
+  "removed": [],
+  "changed": [],
+  "narrowed": [
+    {
+      "id": "F2",
+      "source": "behaviorFlips.summary",
+      "text": "NARROWING (#994 S0, shell read boundary): a command carrying an unclosed `'`, `\\\"` or `$'` is a PARSE FAILURE in every mode — no words, no segments, the plan's `unreadable` floor — where the strict faces used to re-read it quote-blind and vouch for the words that reading invented. Bash itself runs nothing on such a command."
+    },
+    {
+      "id": "F3",
+      "source": "behaviorFlips.summary",
+      "text": "NARROWING (#994 S0, merged-tree adversarial round 1): a word the lexer cannot settle refuses ITS OWN reading, not the whole text — the plan keeps every segment beside it and carries the refusal sentence as its `unreadable` floor, so a deny row named elsewhere in the same command still outranks the floor (`deny > ask`). Where nothing is denied, the floor is a mandated ask, never a vouched run."
+    },
+    {
+      "id": "F4",
+      "source": "behaviorFlips.summary",
+      "text": "NARROWING (#994 S0, merged-tree adversarial round 2): an unprovable directory move no longer relocates the base to a fiction — a `cd` target minted from an unresolved word is `unresolvable`, the base is LOST, and a later relative read is judged for DENY ROWS ONLY against `ReadCandidate.floorBases`, the bases the text was certainly standing in at that moment (the declared cwd when nothing had moved)."
+    },
+    {
+      "id": "F5",
+      "source": "behaviorFlips.summary",
+      "text": "NARROWING / ALIGNMENT (#994 S0 fallout, persisted-rule import): a rule body whose `$'…'` never closes is refused as `invalid.unbalanced_quotes` rather than `invalid.not_simple_command` — the same closed set, NO new member, and the `'` / `\"` spellings (which already read that way) are unchanged. The lexer now refuses an unbalanced body before the lane-shape reader sees it, so the rule parser asks the balance question first and keeps the code an import report has always grouped it under."
+    }
+  ],
+  "closedSetMembers": [
+    {
+      "set": "BASH_ONLY_CONSTRUCTS",
+      "at": [
+        "src/shell/lex.ts:111"
+      ],
+      "newSet": true,
+      "added": [
+        "ansi_c_quoting",
+        "append_assignment",
+        "brace_expansion",
+        "compound_assignment",
+        "here_string",
+        "locale_string",
+        "process_substitution",
+        "redirect_both",
+        "subscript_assignment"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "BashOnlyConstruct",
+      "at": [
+        "src/shell/lex.ts:122"
+      ],
+      "newSet": true,
+      "added": [
+        "ansi_c_quoting",
+        "append_assignment",
+        "brace_expansion",
+        "compound_assignment",
+        "here_string",
+        "locale_string",
+        "process_substitution",
+        "redirect_both",
+        "subscript_assignment"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "EXPANSION_KINDS",
+      "at": [
+        "src/shell/lex.ts:44"
+      ],
+      "newSet": true,
+      "added": [
+        "arithmetic",
+        "brace",
+        "command",
+        "glob",
+        "parameter",
+        "process",
+        "tilde"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "ExpansionKind",
+      "at": [
+        "src/shell/lex.ts:45"
+      ],
+      "newSet": true,
+      "added": [
+        "arithmetic",
+        "brace",
+        "command",
+        "glob",
+        "parameter",
+        "process",
+        "tilde"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "PARSE_FAILURE_REASONS",
+      "at": [
+        "src/shell/lex.ts:75"
+      ],
+      "newSet": true,
+      "added": [
+        "background_operator",
+        "heredoc_delimiter_expands",
+        "heredoc_without_delimiter",
+        "redirect_without_target",
+        "undelimited_substitution",
+        "unterminated_ansi_c",
+        "unterminated_command_substitution",
+        "unterminated_compound_value",
+        "unterminated_double_quote",
+        "unterminated_heredoc",
+        "unterminated_parameter_expansion",
+        "unterminated_process_substitution",
+        "unterminated_single_quote",
+        "unterminated_subscript"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "ParseFailureReason",
+      "at": [
+        "src/shell/lex.ts:91"
+      ],
+      "newSet": true,
+      "added": [
+        "background_operator",
+        "heredoc_delimiter_expands",
+        "heredoc_without_delimiter",
+        "redirect_without_target",
+        "undelimited_substitution",
+        "unterminated_ansi_c",
+        "unterminated_command_substitution",
+        "unterminated_compound_value",
+        "unterminated_double_quote",
+        "unterminated_heredoc",
+        "unterminated_parameter_expansion",
+        "unterminated_process_substitution",
+        "unterminated_single_quote",
+        "unterminated_subscript"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "QUOTE_KINDS",
+      "at": [
+        "src/shell/lex.ts:39"
+      ],
+      "newSet": true,
+      "added": [
+        "\"",
+        "$\"",
+        "$'",
+        "'",
+        "\\"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "QuoteKind",
+      "at": [
+        "src/shell/lex.ts:40"
+      ],
+      "newSet": true,
+      "added": [
+        "\"",
+        "$\"",
+        "$'",
+        "'",
+        "\\"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "UNRESOLVED_REASONS",
+      "at": [
+        "src/shell/lex.ts:49"
+      ],
+      "newSet": true,
+      "added": [
+        "ansi_c_escape",
+        "compound_array_value",
+        "locale_string",
+        "parameter_text",
+        "subscript_text"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "UnresolvedReason",
+      "at": [
+        "src/shell/lex.ts:50"
+      ],
+      "newSet": true,
+      "added": [
+        "ansi_c_escape",
+        "compound_array_value",
+        "locale_string",
+        "parameter_text",
+        "subscript_text"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    }
+  ],
+  "closedSetsUnreadable": [],
+  "typeKeys": [
+    {
+      "type": "LexedWord",
+      "at": [
+        "src/shell/lex.ts:198"
+      ],
+      "via": "ShellReadSegment.argv",
+      "added": [
+        "assignment",
+        "atCommandPosition",
+        "expansions",
+        "pieces",
+        "quotedSpans",
+        "unresolved"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "ReadCandidate",
+      "at": [
+        "src/tools/fs/shell-read-plan.ts:110"
+      ],
+      "added": [
+        "floorBases"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": true
+    }
+  ],
+  "typeKeysUnreadableArms": [],
+  "typeKeysFlattenedCount": 213,
+  "declarationMoves": [
+    {
+      "name": "LenientConnector",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "LexMode",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "LexOptions",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "LexedCommand",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "LexedGroup",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "LexedHeredoc",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "LexedRedirect",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "LexedSegment",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "LexedToken",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "LexedWord",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "QuoteOpen",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "SHELL_CONTROL_PREFIXES",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-program-position.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts",
+        "src/tools/fs/bash-program-position.ts"
+      ]
+    },
+    {
+      "name": "SUBSTITUTION_PLACEHOLDER",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "SegmentTokens",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "ShellSegmentConnector",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts",
+        "src/tools/fs/bash-readonly-classifier.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts",
+        "src/tools/fs/bash-readonly-classifier.ts"
+      ]
+    },
+    {
+      "name": "ansiCQuoteClose",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "dollarOpensQuote",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "lexShellText",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "literalTildeSpelling",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "quoteMask",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "substitutionsInHeredocBody",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    },
+    {
+      "name": "wordsOf",
+      "kind": null,
+      "onSurface": false,
+      "from": [
+        "src/tools/fs/bash-lexer.ts"
+      ],
+      "to": [
+        "src/shell/lex.ts"
+      ]
+    }
+  ],
+  "mintMoves": [],
+  "criteriaObserves": [
+    {
+      "kind": "taskEventField",
+      "name": "tool_end.gate",
+      "assertions": [
+        "G1.a",
+        "G2.b",
+        "G3.a",
+        "G4.b"
+      ]
+    },
+    {
+      "kind": "taskEventField",
+      "name": "tool_end.isError",
+      "assertions": [
+        "G1.b",
+        "G4.b"
+      ]
+    },
+    {
+      "kind": "taskEventField",
+      "name": "tool_end.structured",
+      "assertions": [
+        "G1.b",
+        "G2.b",
+        "G3.a",
+        "G4.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "AskRequest.mandated",
+      "assertions": [
+        "G1.a",
+        "G2.a",
+        "G3.b"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "AskRequest.probeReason",
+      "assertions": [
+        "G2.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "ReadCandidate.floorBases",
+      "assertions": [
+        "G4.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "RuleReject.code",
+      "assertions": [
+        "G5.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "ShellReadPlan.unreadable",
+      "assertions": [
+        "G3.b"
+      ]
+    }
+  ],
+  "consumersHint": {
+    "cli": [],
+    "server": [
+      "ReadCandidate"
+    ],
+    "sdk": [],
+    "note": "scanned cli@41e83b0c server@5532ec7b sdk@074194f — a name listed is MENTIONED there today, which is evidence of consumption, not proof of it"
+  },
+  "breakingCount": 0,
+  "breakingItems": [],
+  "toResolvedAt": "228eabc7adbae3961b847fb9b598dcbee4593b86"
+}