dsh-ptc-plus 0.5.6 → 0.5.7

package/internal/session-log-view.js

@@ -1,3 +1,4 @@
+import { isEnvironmentResetEvent } from './session-journal-schema.js'
 import {
   advanceSessionTimeline, createSessionTimelineState, factDigest, replaySessionTimelineFact, withFullRetention,
   retentionSummaryOf, validateRetentionSummary, validateSessionTimelineState, admissionReplayBudget,
@@ -101,7 +102,7 @@ export function runtimeMessageFacts(records, initial = {}) {
 
 function presentationEvent(event) {
   const recognized = event?.type === 'user/message'
-    && (systemPromptSnapshotSections(event.data) !== undefined || readRuntimeMessage(event.data) !== undefined
+    && (isEnvironmentResetEvent(event) || systemPromptSnapshotSections(event.data) !== undefined || readRuntimeMessage(event.data) !== undefined
       || isBindingAdoptionStatement(event.data))
   const data = recognized ? { source: event.data.source, content: event.data.content }
     : event?.type === 'user/message' && typeof event.data?.source?.kind === 'string'
@@ -171,11 +172,9 @@ export function createSessionLogProjection(options = {}) {
   const replayBudget = admissionReplayBudget(options.replayBudgetBytes)
   return Object.freeze({
     key: SESSION_LOG_PROJECTION_KEY,
-    // 14 records the binding-adoption statement this build cannot resolve: the fact it
-    // keeps now carries the form its own replay needs, and `ptcMessages` gained a record
-    // for it. A checkpoint written by an earlier fold answers a different question, so
-    // the version moves and stored checkpoints are refolded rather than admitted.
-    stateVersion: 14,
+    // 16 classifies damaged reset recovery targets separately from failed calls.
+    // Refold older caches to retain their reset corruption evidence.
+    stateVersion: 16,
     stateSchema: Object.freeze({ parse(value) {
       if (!isJsonValue(value) || !isRecord(value) || !isRecord(value.timeline)
         || typeof value.timeline.openTurn !== 'boolean' || typeof value.timeline.found !== 'boolean'
@@ -201,6 +200,7 @@ export function createSessionLogProjection(options = {}) {
       // ordered log facts whose indices agree with the timeline facts, each
       // timeline fact carrying a digest that matches the log fact it points at,
       // and a frontier that names the processed cut.
+      const timelineFacts = new Map(value.timeline.eventFacts.map(fact => [fact.eventIndex, fact]))
       let lastIndex = -1
       for (const fact of value.logFacts) {
         if (!isRecord(fact) || Object.keys(fact).some(key => !['index', 'event'].includes(key))
@@ -209,6 +209,12 @@ export function createSessionLogProjection(options = {}) {
           || !deepEqualJson(presentationEvent(fact.event), fact.event)) {
           throw new TypeError('invalid PTC session-log projection checkpoint facts')
         }
+        // Reset facts are never dropped with retained cell clusters. Their log
+        // identity must survive even when compaction prevents full replay below.
+        if (isEnvironmentResetEvent(fact.event)
+          && !isEnvironmentResetEvent(timelineFacts.get(fact.index)?.event)) {
+          throw new TypeError('inconsistent PTC session-log projection checkpoint missing reset fact')
+        }
         lastIndex = fact.index
       }
       // Strictly increasing indices are what makes this index one-to-one, so a
@@ -221,7 +227,9 @@ export function createSessionLogProjection(options = {}) {
         if (logFact === undefined) {
           throw new TypeError('inconsistent PTC session-log projection checkpoint event identity')
         }
-        if (logFact.event.seq !== timelineFact.event.seq || logFact.event.type !== timelineFact.event.type) {
+        if (logFact.event.seq !== timelineFact.event.seq || logFact.event.type !== timelineFact.event.type
+          || (isEnvironmentResetEvent(timelineFact.event)
+            && !deepEqualJson(logFact.event.data?.source, timelineFact.event.data?.source))) {
           throw new TypeError('inconsistent PTC session-log projection checkpoint event identity')
         }
       }
@@ -241,7 +249,6 @@ export function createSessionLogProjection(options = {}) {
       // longer reach the stored state. Admission proves the summary instead (below)
       // and skips the replay entirely: it is both impossible to satisfy and the
       // most expensive thing this file does.
-      const timelineFacts = new Map(value.timeline.eventFacts.map(fact => [fact.eventIndex, fact]))
       let replayBytes = 0
       let replayComplete = true
       let reconstructed = emptyLogState()

package/internal/session-runtime.js

@@ -1,3 +1,4 @@
+import { environmentResetMessage } from './runtime-messages.js'
 import { createHash } from 'node:crypto'
 import { isAbsolute } from 'node:path'
 import { isDeepStrictEqual } from 'node:util'
@@ -1623,6 +1624,18 @@ export class SessionRuntime {
     if (noops.size === 0) this.pendingNoops.delete(sessionId)
   }
 
+  /** Explicit Host reset ends live state and every earlier replay/checkpoint branch. */
+  async resetEnvironment(session) {
+    if (typeof session?.append !== 'function') {
+      throw new TypeError('ptc-plus: environment reset requires the public session append API')
+    }
+    const id = String(session.id)
+    await this.#releaseKernel(id)
+    await session.append('user/message', environmentResetMessage(), { surfaceOp: 'append' })
+    this.releasedAgents.delete(id)
+    this.disposedSessions.delete(id)
+  }
+
   async disposeSession(sessionId) {
     const id = String(sessionId)
     // Recorded before the early return: an identity whose owning session was

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-ptc-plus",
-  "version": "0.5.6",
+  "version": "0.5.7",
   "icon": "assets/ptc-plus-icon.svg",
   "description": "A session-bound agent-native REPL for DeepSeek Harness PTC mode.",
   "type": "module",

package/src/client-activity.js

@@ -29,6 +29,7 @@ import {
   EDIT_TARGET_FIELDS,
   DERIVED_RUN_FIELDS,
   RECOVERY_BOUNDARY_FIELDS,
+  RESET_RECOVERY_BOUNDARY_FIELDS,
   REWRITE_FIELDS,
   REWRITE_KINDS,
   USER_BINDINGS_REUSE_POLICIES,
@@ -419,7 +420,9 @@ function isValidDerivedRun(value) {
 function isValidRecoveryBoundaries(value) {
   try {
     return Array.isArray(value) && value.every(boundary => (
-      hasExactFields(boundary, RECOVERY_BOUNDARY_FIELDS)
+      hasExactFields(boundary, RESET_RECOVERY_BOUNDARY_FIELDS)
+        && isSafeSequence(boundary.failedResetSeq) && boundary.frontierCallSeq === null
+      || hasExactFields(boundary, RECOVERY_BOUNDARY_FIELDS)
       && isSafeSequence(boundary.failedCallSeq)
       && (boundary.frontierCallSeq === null || isSafeSequence(boundary.frontierCallSeq))
     ))

package/src/client-settings-view.js

@@ -116,13 +116,6 @@ export function createPtcSettingsView(React, deps) {
         onChange: event => onChange(field, event.target.checked),
       })
     }
-    if (field.type === 'enum') {
-      return h('input', {
-        type: 'checkbox', role: 'switch', className: 'ptcPlusCheck', checked: value !== 'protected',
-        disabled, 'aria-label': label,
-        onChange: event => onChange(field, event.target.checked ? 'stateful' : 'protected'),
-      })
-    }
     return h('input', {
       type: 'number', className: 'ptcPlusInput',
       value: Number.isSafeInteger(value) ? String(value) : '',
@@ -402,9 +395,9 @@ export function createPtcSettingsView(React, deps) {
             h('div', { className: 'ptcPlusLabel' }, t(`${field.key}.label`)),
             field.description === '' ? null : h('div', { className: 'ptcPlusDetail' },
               t(migratingPolicy ? 'bindingPolicy.migrationDescription' : `${field.key}.description`))),
-          migratingPolicy
-            ? h(Select, { value: 'legacy', disabled: fieldDisabled(field), label: t(`${field.key}.label`),
-              options: [{ value: 'legacy', label: t('bindingPolicy.legacy'), disabled: true },
+          field.type === 'enum'
+            ? h(Select, { value: migratingPolicy ? 'legacy' : value[field.key], disabled: fieldDisabled(field), label: t(`${field.key}.label`),
+              options: [...(migratingPolicy ? [{ value: 'legacy', label: t('bindingPolicy.legacy'), disabled: true }] : []),
                 ...field.options.map(policy => ({ value: policy, label: t(`bindingPolicy.${policy}`) }))],
               onChange: next => persist(field, next) })
             : fieldInput(field, value[field.key], fieldDisabled(field), persist, t(`${field.key}.label`))),