dsh-ptc-plus 0.5.2 → 0.5.3

package/src/client-copy.js

@@ -244,6 +244,17 @@ const CHROME_COPY = Object.freeze({
     'capabilities.receipt.off': '能力管理已关闭；会话 {session} 沿用宿主能力。',
     'capabilities.receipt.unavailable': '请选择仍活跃的 PTC 会话。',
     'capabilities.receipt.usage': '使用 /capabilities 查看，或 /capabilities refresh 同步已保存设置。',
+    'capabilities.proof.title': '三层事实',
+    'capabilities.proof.line': '已保存：{saved}；已投递：{delivery}；已可用：{usability}。',
+    'capabilities.proof.saved.yes': '是，全局设置记录了这项选择',
+    'capabilities.proof.saved.no': '否，这条命令没有改动全局设置',
+    'capabilities.proof.delivery.delivered': '是，模型可见目录已在受理的步骤发布该项',
+    'capabilities.proof.delivery.pending': '尚未，已保存的设置要到下一个受理步骤才进入目录',
+    'capabilities.proof.delivery.absent': '否，目录没有列出该项，模型没有收到它',
+    'capabilities.proof.usability.proven': '已证明，本会话有完成的执行取到了它',
+    'capabilities.proof.usability.unproven': '未证明，本会话没有完成的执行取到过它；保存或发布都不构成证明',
+    'capabilities.proof.observed': '来自 {command} 返回的收据。',
+    'capabilities.proof.unobserved': '本面板还没有这项能力的投递与可用性证据；应用一次改动，或回到会话查看命令收据。',
     'bindings.toggleEnabled': '已保存“{name}”的启用选择；模型目录在下一次获准步骤更新，程序值尚未证明初始化。',
     'bindings.toggleDisabled': '已保存“{name}”的停用选择；模型目录在下一次获准步骤撤销，不撤销已经发生的效果。',
     'capabilities.observationGroup': '只读会话观察',
@@ -684,6 +695,7 @@ const CHROME_COPY = Object.freeze({
     'memory.globalCount': '{count} 个全局条目',
     'memory.empty': '当前没有可复用绑定',
     'memory.unavailable': '当前绑定状态尚不可确认',
+    'memory.previousRuntime': '这份清单来自上一个运行期，不再代表当前环境；执行一格即可重新观察',
     'memory.more': '另有 {count} 个绑定未显示',
     'memory.reuseCount': '复用 {count} 次',
     'memory.reuseTotal': '共复用 {count} 次',
@@ -958,6 +970,17 @@ const CHROME_COPY = Object.freeze({
     'capabilities.receipt.off': 'Capability management is off; session {session} stays with the Host capabilities.',
     'capabilities.receipt.unavailable': 'Select an active PTC session.',
     'capabilities.receipt.usage': 'Use /capabilities to inspect or /capabilities refresh to apply saved settings.',
+    'capabilities.proof.title': 'Three separate facts',
+    'capabilities.proof.line': 'Saved: {saved}; delivered: {delivery}; usable: {usability}.',
+    'capabilities.proof.saved.yes': 'yes, the global configuration records this choice',
+    'capabilities.proof.saved.no': 'no, this command did not change the global configuration',
+    'capabilities.proof.delivery.delivered': 'yes, the model-visible catalog published it at an accepted step',
+    'capabilities.proof.delivery.pending': 'not yet, the saved configuration reaches the catalog at the next accepted step',
+    'capabilities.proof.delivery.absent': 'no, the catalog does not list it, so the model never received it',
+    'capabilities.proof.usability.proven': 'proven, a completed execution in this session reached it',
+    'capabilities.proof.usability.unproven': 'unproven, no completed execution in this session reached it; a save or a published entry does not prove it',
+    'capabilities.proof.observed': 'From the receipt {command} returned.',
+    'capabilities.proof.unobserved': 'This panel holds no delivery or usability evidence for this capability yet; apply a change, or read the command receipt in the conversation.',
     'bindings.toggleEnabled': 'Enabled “{name}” in saved configuration. The model catalog updates at the next accepted step; worker initialization is not yet established.',
     'bindings.toggleDisabled': 'Disabled “{name}” in saved configuration. The model catalog withdraws it at the next accepted step; earlier effects are unchanged.',
     'capabilities.observationGroup': 'Read-only session observation',
@@ -1395,6 +1418,7 @@ const CHROME_COPY = Object.freeze({
     'memory.globalCount': '{count} global entries',
     'memory.empty': 'No reusable bindings',
     'memory.unavailable': 'Current binding state cannot be confirmed',
+    'memory.previousRuntime': 'This inventory came from a previous runtime and no longer describes the current environment; run a cell to observe it again',
     'memory.more': '{count} more bindings not shown',
     // Number-neutral so a single reuse stays grammatical without a plural rule.
     'memory.reuseCount': 'reused {count}\u00d7',

package/src/client-indicator-view.js

@@ -226,7 +226,7 @@ export function createIndicatorView(React, deps) {
         }
       }
     }, [cancelClose, cancelOpen, schedulePlacement])
-    const memory = useObservedReplMemory({ sessionId, projected: projectionMemory,
+    const { memory, provenance } = useObservedReplMemory({ sessionId, projected: projectionMemory,
       active: expanded && sessionUsesPtcPreset(preset) && featureEnabled(settings, 'plugin'),
       elementRef: popoverRef, observeRepl })
     if (!sessionUsesPtcPreset(preset) || !featureEnabled(settings, 'plugin')) return null
@@ -251,6 +251,7 @@ export function createIndicatorView(React, deps) {
       }, h('span', { className: 'ptcPlusActiveLabel' }, 'PTC Plus')),
       h(ReplMemoryCard, {
         memory,
+        provenance,
         globalEnabled,
         globalBindings,
         loadGlobalBinding: id => callUserBindings('load', { id }),

package/src/client-repl-view.js

@@ -7,7 +7,7 @@ import { isHostComponent, isHostIconComponent } from './client-host-compat.js'
  */
 export function createReplView(React, deps) {
   const {
-    CodeBlock, Select, featureEnabled, normalizeReplMemorySnapshot,
+    CodeBlock, Select, featureEnabled, normalizeReplMemorySnapshot, normalizeReplMemoryView,
     unavailableReplMemorySnapshot, useSessionPreset, sessionUsesPtcPreset,
     useWorkbenchController, UserBindingsWorkbench,
     icons: { search: IconSearchOutline16, chevron: IconChevronDownOutline14 },
@@ -16,21 +16,37 @@ export function createReplView(React, deps) {
 
   function ReplComposer() { return null }
 
+  /**
+   * The projection's own observation, marked with the runtime that produced it.
+   *
+   * Freshness and provenance are different questions. A projection refresh inside
+   * one runtime can drop the memory while the observation still describes that
+   * runtime's environment, and falling back to the empty snapshot there would flip
+   * a populated panel to "cannot be confirmed" for no visible reason. A snapshot
+   * carrying a different runtime is the opposite case: the environment it describes
+   * no longer exists, so the panel must say that instead of showing it as current.
+   */
   function useObservedReplMemory({ sessionId, projected, active, elementRef, observeRepl }) {
-    const memory = React.useMemo(() => {
-      try { return normalizeReplMemorySnapshot(projected) } catch { return unavailableReplMemorySnapshot() }
+    const view = React.useMemo(() => {
+      try { return normalizeReplMemoryView(projected) } catch { return undefined }
     }, [projected])
+    const memory = view?.memory ?? unavailableReplMemorySnapshot()
     const [observed, setObserved] = React.useState(null)
     React.useEffect(() => active && typeof observeRepl === 'function'
       ? observeRepl(sessionId, elementRef.current, memory,
-        value => setObserved({ sessionId, source: memory, value }))
-      : undefined, [active, observeRepl, sessionId, memory, elementRef])
-    if (observed?.sessionId !== sessionId) return memory
-    // The projection can drop its REPL memory while a live observation still holds
-    // the last confirmed inventory; falling back to the empty snapshot there would
-    // flip a populated panel to "state cannot be confirmed" for no visible reason.
-    if (!memory.available && observed.value?.available === true) return observed.value
-    return observed.source === memory ? observed.value : memory
+        value => setObserved({ sessionId, runtime: view?.runtime, source: memory, value }))
+      : undefined, [active, observeRepl, sessionId, memory, view, elementRef])
+    if (observed?.sessionId !== sessionId) return { memory, provenance: 'current' }
+    if (view !== undefined && observed.runtime !== view.runtime
+      && !(observed.runtime === undefined && view.runtime === undefined)) {
+      return { memory, provenance: 'previous-runtime' }
+    }
+    // Same runtime: the observation is a fresher reading of the same environment,
+    // so it outlives a projection refresh that lost the inventory.
+    if (observed.runtime === view?.runtime && !memory.available && observed.value?.available === true) {
+      return { memory: observed.value, provenance: 'refreshed' }
+    }
+    return { memory: observed.source === memory ? observed.value : memory, provenance: 'current' }
   }
 
   function ReplBindingInspector({ entry, preview, t }) {
@@ -50,7 +66,7 @@ export function createReplView(React, deps) {
         : h('p', { className: 'ptcPlusObservationUnavailable' }, t(preview === undefined ? 'console.unobservedValue' : 'console.unreadable')))
   }
 
-  function ReplSessionBindings({ memory, t }) {
+  function ReplSessionBindings({ memory, provenance, t }) {
     const [query, setQuery] = React.useState('')
     const [kind, setKind] = React.useState('all')
     const [selectedName, setSelectedName] = React.useState(null)
@@ -70,7 +86,8 @@ export function createReplView(React, deps) {
         h('span', { className: 'ptcPlusObservationTime' }, observation === undefined
           ? t('console.unobserved') : t('console.observed', { time: new Date(observation.at).toLocaleString() }))),
       memory.entries.length === 0 ? h('div', { className: 'ptcPlusSessionEmpty' },
-        t(memory.available ? 'memory.empty' : 'memory.unavailable'))
+        t(!memory.available ? provenance === 'previous-runtime' ? 'memory.previousRuntime' : 'memory.unavailable'
+          : 'memory.empty'))
         : h('div', { className: 'ptcPlusObservationGrid', 'data-empty': selected === undefined },
         h('div', { className: 'ptcPlusObservationCatalog' },
           h('div', { className: 'ptcPlusObservationFilters' },
@@ -115,13 +132,13 @@ export function createReplView(React, deps) {
     const workbench = useWorkbenchController({ enabled: globalEnabled, active: true, callUserBindings })
     const eligible = featureEnabled(settings, 'replView') && sessionUsesPtcPreset(preset)
     const observationRegion = React.useRef(null)
-    const memory = useObservedReplMemory({ sessionId, projected, active: eligible,
+    const { memory, provenance } = useObservedReplMemory({ sessionId, projected, active: eligible,
       elementRef: observationRegion, observeRepl })
     React.useEffect(() => eligible ? hideComposer(sessionId) : undefined, [eligible, hideComposer, sessionId])
     if (!eligible) return null
     return h('div', { className: 'ptcPlusConsole', 'data-conversation-composer-overlay': '' },
       h('div', { className: 'ptcPlusConsoleSection', ref: observationRegion }, h(ReplSessionBindings, {
-        key: sessionId, memory, t })),
+        key: sessionId, memory, provenance, t })),
       globalEnabled ? h('div', { className: 'ptcPlusConsoleSection ptcPlusBindingsSurface' },
         h(UserBindingsWorkbench, { controller: workbench, t, headingLabel: t('console.global') })) : null)
   }
@@ -161,6 +178,7 @@ export function createReplView(React, deps) {
 
   function ReplMemoryCard({
     memory,
+    provenance,
     globalEnabled,
     globalBindings,
     loadGlobalBinding,
@@ -246,7 +264,8 @@ export function createReplView(React, deps) {
                 )))
           )
         : !memory.available
-        ? h('span', { className: 'ptcPlusReplEmpty' }, t('memory.unavailable'))
+        ? h('span', { className: 'ptcPlusReplEmpty' }, t(provenance === 'previous-runtime'
+          ? 'memory.previousRuntime' : 'memory.unavailable'))
         : memory.entries.length === 0
           ? h('span', { className: 'ptcPlusReplEmpty' }, t('memory.empty'))
           : h('ul', { className: 'ptcPlusReplList' }, memory.entries.map((binding, index) => {

package/src/client.js

@@ -24,6 +24,7 @@ import {
 } from './client-host-compat.js'
 import {
   normalizeReplMemorySnapshot,
+  normalizeReplMemoryView,
   unavailableReplMemorySnapshot,
 } from '../internal/repl-memory-projection.js'
 import { createBindingReviews } from './client-binding-review.js'
@@ -212,7 +213,8 @@ export function createClientPlugin(require) {
         icons: { search: IconSearchOutline16, chevron: IconChevronDownOutline14 },
       })
       const { ReplComposer, ReplConsole, ReplMemoryCard, replPopoverIsOpen, placeReplPopover, useObservedReplMemory } = createReplView(React, {
-        CodeBlock, Select, featureEnabled, normalizeReplMemorySnapshot, unavailableReplMemorySnapshot,
+        CodeBlock, Select, featureEnabled, normalizeReplMemorySnapshot, normalizeReplMemoryView,
+        unavailableReplMemorySnapshot,
         useSessionPreset, sessionUsesPtcPreset, useWorkbenchController, UserBindingsWorkbench,
         icons: { search: IconSearchOutline16, chevron: IconChevronDownOutline14 },
       })