@sema-agent/core
Version:
Stateless, task-oriented AI agent core
606 lines (605 loc) • 14.4 kB
JSON
{
"repo": "core",
"version": "7.26.1",
"from": "35eccbd2672aa68395adb61e0c37ee0a035bf1c3",
"to": "v7.26.1",
"added": [
{
"name": "CORRUPT_BODY_FORMS",
"kind": "variable",
"tier": "advanced",
"at": [
"src/core/store-contracts/read-back-shape-contract.ts:21",
"src/index.ts:2756"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "CorruptBodyForm",
"kind": "type",
"tier": "advanced",
"at": [
"src/core/store-contracts/read-back-shape-contract.ts:24",
"src/index.ts:2758"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "EstablishedRead",
"kind": "interface",
"tier": "advanced",
"at": [
"src/index.ts:1095",
"src/tools/fs/shell-read-judge.ts:107"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ReadBackShapeSubject",
"kind": "interface",
"tier": "advanced",
"at": [
"src/core/store-contracts/read-back-shape-contract.ts:26",
"src/index.ts:2759"
],
"criteriaCovered": true,
"breaking": false
},
{
"name": "ReadCandidate",
"kind": "interface",
"tier": "advanced",
"at": [
"src/index.ts:1098",
"src/tools/fs/shell-read-plan.ts:105"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ReadEstablishment",
"kind": "type",
"tier": "advanced",
"at": [
"src/index.ts:1094",
"src/tools/fs/shell-read-judge.ts:105"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ReadFinding",
"kind": "interface",
"tier": "advanced",
"at": [
"src/index.ts:1096",
"src/tools/fs/shell-read-judge.ts:127"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "SHELL_READ_DECISION",
"kind": "variable",
"tier": "advanced",
"at": [
"src/index.ts:1088",
"src/tools/fs/shell-read-judge.ts:72"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "SHELL_READ_FINDINGS",
"kind": "variable",
"tier": "advanced",
"at": [
"src/index.ts:1086",
"src/tools/fs/shell-read-judge.ts:26"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "SHELL_READ_FINDING_RANK",
"kind": "variable",
"tier": "advanced",
"at": [
"src/index.ts:1089",
"src/tools/fs/shell-read-judge.ts:37"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "SHELL_READ_SEATS",
"kind": "variable",
"tier": "advanced",
"at": [
"src/index.ts:1087",
"src/tools/fs/shell-read-judge.ts:33"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ShellReadAdmission",
"kind": "type",
"tier": "advanced",
"at": [
"src/index.ts:1083",
"src/tools/fs/shell-read-check.ts:94"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ShellReadBoundary",
"kind": "interface",
"tier": "advanced",
"at": [
"src/index.ts:1093",
"src/tools/fs/shell-read-judge.ts:97"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ShellReadDisposition",
"kind": "type",
"tier": "advanced",
"at": [
"src/index.ts:1092",
"src/tools/fs/shell-read-judge.ts:52"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ShellReadFinding",
"kind": "type",
"tier": "advanced",
"at": [
"src/index.ts:1090",
"src/tools/fs/shell-read-judge.ts:27"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ShellReadJudgeInput",
"kind": "interface",
"tier": "advanced",
"at": [
"src/index.ts:1079",
"src/tools/fs/shell-read-check.ts:299"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ShellReadJudgment",
"kind": "interface",
"tier": "advanced",
"at": [
"src/index.ts:1080",
"src/tools/fs/shell-read-check.ts:316"
],
"criteriaCovered": true,
"breaking": false
},
{
"name": "ShellReadPlan",
"kind": "interface",
"tier": "advanced",
"at": [
"src/index.ts:1098",
"src/tools/fs/shell-read-plan.ts:162"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ShellReadSeat",
"kind": "type",
"tier": "advanced",
"at": [
"src/index.ts:1091",
"src/tools/fs/shell-read-judge.ts:34"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ShellReadSegment",
"kind": "interface",
"tier": "advanced",
"at": [
"src/index.ts:1098",
"src/tools/fs/shell-read-plan.ts:136"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ShellReadStationSeat",
"kind": "type",
"tier": "advanced",
"at": [
"src/index.ts:1082",
"src/tools/fs/shell-read-check.ts:77"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "ShellReadVerdict",
"kind": "interface",
"tier": "advanced",
"at": [
"src/index.ts:1081",
"src/tools/fs/shell-read-check.ts:61"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "StoreReadBackShapeHooks",
"kind": "interface",
"tier": "advanced",
"at": [
"src/core/store-contracts/read-back-shape-contract.ts:42",
"src/index.ts:2760"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "judgeShellRead",
"kind": "function",
"tier": "advanced",
"at": [
"src/index.ts:1078",
"src/tools/fs/shell-read-check.ts:348"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "storeReadBackShapeContract",
"kind": "function",
"tier": "advanced",
"at": [
"src/core/store-contracts/read-back-shape-contract.ts:107",
"src/index.ts:2757"
],
"criteriaCovered": false,
"breaking": false
}
],
"removed": [],
"changed": [],
"narrowed": [
{
"id": "F1",
"source": "behaviorFlips.summary",
"text": "NARROWING (#1003, P2, session-policy File store): the enumeration face (`listBySession`) judges a stored row by the SAME row-shape judgment the per-key read (`getRules`) applies — a bad bucket (`toolDeny: \"rm\"`), `rev: 0`, a non-integer or negative `gen`, a non-object or torn body are disclosed through `onCorruptRead` and skipped instead of served; a `__principal` that is not a string is disclosed and skipped on the enumeration face."
},
{
"id": "F3",
"source": "behaviorFlips.summary",
"text": "NARROWING (#1007, P2, permission-rule write entries): a write outcome is READ by one judgment (`readRuleWriteOutcome`) at every door — a refusal is a non-empty string, a decline is `conflict: true`, a landing carries a non-negative safe-integer `rev` (zero is a landing: a session-scope add on an empty durable bucket), and an answer that is two arms is an answer about neither; every unreadable answer lands as `failed` with `committed: \"unknown\"`. A landing the store cannot read back (identity not standing after the write) is `unknown` too, never `added`."
}
],
"closedSetMembers": [
{
"set": "CORRUPT_BODY_FORMS",
"at": [
"src/core/store-contracts/read-back-shape-contract.ts:21"
],
"newSet": true,
"added": [
"missing-required",
"not-an-object",
"torn-json",
"wrong-type"
],
"removed": [],
"breaking": false,
"criteriaCovered": false
},
{
"set": "CorruptBodyForm",
"at": [
"src/core/store-contracts/read-back-shape-contract.ts:24",
"src/index.ts:2758"
],
"newSet": true,
"added": [
"missing-required",
"not-an-object",
"torn-json",
"wrong-type"
],
"removed": [],
"breaking": false,
"criteriaCovered": false
}
],
"closedSetsUnreadable": [],
"typeKeys": [],
"declarationMoves": [
{
"name": "EstablishedRead",
"kind": "interface",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-judge.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-judge.ts"
]
},
{
"name": "ReadCandidate",
"kind": "interface",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-plan.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-plan.ts"
]
},
{
"name": "ReadEstablishment",
"kind": "type",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-judge.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-judge.ts"
]
},
{
"name": "ReadFinding",
"kind": "interface",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-judge.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-judge.ts"
]
},
{
"name": "SHELL_READ_DECISION",
"kind": "variable",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-judge.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-judge.ts"
]
},
{
"name": "SHELL_READ_FINDINGS",
"kind": "variable",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-judge.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-judge.ts"
]
},
{
"name": "SHELL_READ_FINDING_RANK",
"kind": "variable",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-judge.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-judge.ts"
]
},
{
"name": "SHELL_READ_SEATS",
"kind": "variable",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-judge.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-judge.ts"
]
},
{
"name": "ShellReadAdmission",
"kind": "type",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-check.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-check.ts"
]
},
{
"name": "ShellReadBoundary",
"kind": "interface",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-judge.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-judge.ts"
]
},
{
"name": "ShellReadDisposition",
"kind": "type",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-judge.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-judge.ts"
]
},
{
"name": "ShellReadFinding",
"kind": "type",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-judge.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-judge.ts"
]
},
{
"name": "ShellReadPlan",
"kind": "interface",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-plan.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-plan.ts"
]
},
{
"name": "ShellReadSeat",
"kind": "type",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-judge.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-judge.ts"
]
},
{
"name": "ShellReadSegment",
"kind": "interface",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-plan.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-plan.ts"
]
},
{
"name": "ShellReadStationSeat",
"kind": "type",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-check.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-check.ts"
]
},
{
"name": "ShellReadVerdict",
"kind": "interface",
"onSurface": true,
"from": [
"src/tools/fs/shell-read-check.ts"
],
"to": [
"src/index.ts",
"src/tools/fs/shell-read-check.ts"
]
}
],
"mintMoves": [],
"criteriaObserves": [
{
"kind": "typeMember",
"name": "AddResult.committed",
"assertions": [
"G2.a"
]
},
{
"kind": "typeMember",
"name": "ReadBackShapeSubject.read",
"assertions": [
"G3.a"
]
},
{
"kind": "typeMember",
"name": "SessionRulesRecord.rules",
"assertions": [
"G1.a"
]
},
{
"kind": "typeMember",
"name": "ShellReadJudgment.offer",
"assertions": [
"G5.a"
]
},
{
"kind": "typeMember",
"name": "ShellReadJudgment.verdict",
"assertions": [
"G4.a"
]
},
{
"kind": "typeMember",
"name": "StoredSessionRules.gen",
"assertions": [
"G1.b"
]
}
],
"consumersHint": {
"cli": [
"EstablishedRead",
"ReadEstablishment",
"SHELL_READ_DECISION",
"SHELL_READ_FINDINGS",
"SHELL_READ_SEATS",
"ShellReadDisposition",
"ShellReadFinding",
"ShellReadSeat"
],
"server": [
"SHELL_READ_DECISION"
],
"sdk": [],
"note": "scanned cli@91f1d289 server@6e083eba sdk@b9937d5 — a name listed is MENTIONED there today, which is evidence of consumption, not proof of it"
},
"breakingCount": 0,
"breakingItems": [],
"toResolvedAt": "85f33a1d582c4fa8c73d2de943b4e1b0f93a96d8"
}