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

Stateless, task-oriented AI agent core

{
  "repo": "core",
  "version": "7.20.1",
  "from": "bb11ec861351a3142525f59c1f610edb4c6b9483",
  "to": "v7.20.1",
  "added": [
    {
      "name": "WRITE_PROTECTION_TARGET_VIEWS",
      "kind": "variable",
      "tier": "advanced",
      "at": [
        "src/core/write-protect.ts:484",
        "src/index.ts:656"
      ],
      "criteriaCovered": false,
      "breaking": false
    },
    {
      "name": "WriteProtectionMount",
      "kind": "interface",
      "tier": "advanced",
      "at": [
        "src/core/write-protect.ts:713",
        "src/index.ts:658"
      ],
      "criteriaCovered": false,
      "breaking": false
    },
    {
      "name": "WriteProtectionTargetView",
      "kind": "type",
      "tier": "advanced",
      "at": [
        "src/core/write-protect.ts:487",
        "src/index.ts:657"
      ],
      "criteriaCovered": false,
      "breaking": false
    }
  ],
  "removed": [],
  "changed": [],
  "narrowed": [],
  "closedSetMembers": [
    {
      "set": "ENGINE_NOTICE_CODES",
      "at": [
        "src/core/governance-codes.ts:309"
      ],
      "newSet": false,
      "added": [
        "config.write_protection_target_view_absent"
      ],
      "removed": [],
      "breaking": false,
      "criteriaCovered": true
    },
    {
      "set": "WRITE_PROTECTION_TARGET_VIEWS",
      "at": [
        "src/core/write-protect.ts:484"
      ],
      "newSet": true,
      "added": [
        "spelling-only",
        "target"
      ],
      "removed": [],
      "breaking": false,
      "criteriaCovered": false
    }
  ],
  "closedSetsUnreadable": [],
  "typeKeys": [
    {
      "type": "WiringFacts",
      "at": [
        "src/core/wiring-manifest.ts:367"
      ],
      "added": [
        "writeProtectionTargetView"
      ],
      "removed": [],
      "breaking": false,
      "criteriaCovered": false
    },
    {
      "type": "WiringManifest",
      "at": [
        "src/core/wiring-manifest.ts:164"
      ],
      "added": [
        "writeProtection"
      ],
      "removed": [],
      "breaking": false,
      "criteriaCovered": true
    },
    {
      "type": "WriteProtectionMatcher",
      "at": [
        "src/core/write-protect.ts:492"
      ],
      "added": [
        "targetView"
      ],
      "removed": [],
      "breaking": false,
      "criteriaCovered": false
    }
  ],
  "declarationMoves": [],
  "mintMoves": [],
  "criteriaObserves": [
    {
      "kind": "engineNoticeCode",
      "name": "config.write_protection_target_view_absent",
      "assertions": [
        "G1.b"
      ]
    },
    {
      "kind": "typeMember",
      "name": "BashReadonlyRootBoundary.denyMatch",
      "assertions": [
        "G2.c"
      ]
    },
    {
      "kind": "typeMember",
      "name": "BashReadonlyRootBoundary.face",
      "assertions": [
        "G2.a",
        "G2.b",
        "G2.d",
        "G2.e"
      ]
    },
    {
      "kind": "typeMember",
      "name": "ToolSpec.description",
      "assertions": [
        "G3.a"
      ]
    },
    {
      "kind": "typeMember",
      "name": "WiringManifest.writeProtection",
      "assertions": [
        "G1.a",
        "G1.d"
      ]
    },
    {
      "kind": "typeMember",
      "name": "WriteProtectionMatcher.judge",
      "assertions": [
        "G1.c"
      ]
    }
  ],
  "consumersHint": {
    "cli": [
      "ENGINE_NOTICE_CODES",
      "WiringFacts",
      "WiringManifest",
      "WriteProtectionMatcher"
    ],
    "server": [
      "ENGINE_NOTICE_CODES",
      "WiringFacts",
      "WiringManifest",
      "WriteProtectionMatcher"
    ],
    "sdk": [
      "WiringManifest"
    ],
    "note": "scanned cli@05c96b08 server@2f8bb611 sdk@6209e5e — a name listed is MENTIONED there today, which is evidence of consumption, not proof of it"
  },
  "breakingCount": 0,
  "breakingItems": [],
  "toResolvedAt": "3548f40b1eef0168911763da765f0b7b32851ed2"
}