dsh-ptc-plus 0.3.2 → 0.4.1

package/internal/session-journal-schema.js

@@ -0,0 +1,106 @@
+import {
+  LEGACY_DEFAULT_EXPORT_BINDING,
+  LIVE_DEFAULT_EXPORT_BINDING,
+  LEGACY_IMPORT_EXPRESSION_BOUNDARY,
+  LIVE_IMPORT_EXPRESSION_BOUNDARY,
+} from './repl-rewrite-contract.js'
+
+export const JOURNAL_KEY = 'dshPtcPlus'
+export const EDIT_TARGET_KEY = 'dshPtcPlusEdit'
+export const DERIVED_RUN_KEY = 'dshPtcPlusDerivedRun'
+export const REWRITES_KEY = 'dshPtcPlusRewrites'
+export const RECOVERY_BOUNDARY_KEY = 'dshPtcPlusRecoveryBoundaries'
+export const IMPORT_BOUNDARY_JOURNAL_VERSION = 7
+export const PER_NAME_USER_BINDINGS_JOURNAL_VERSION = 8
+export const LANGUAGE_SEMANTICS_JOURNAL_VERSION = 9
+export const JOURNAL_VERSION = LANGUAGE_SEMANTICS_JOURNAL_VERSION
+export const LIVE_USER_BINDINGS_SHADOW_POLICY = 'per-name'
+export const LEGACY_USER_BINDINGS_SHADOW_POLICY = 'whole-entry'
+export const LIVE_USER_BINDINGS_REUSE_POLICY = 'implementation-v1'
+export const LEGACY_USER_BINDINGS_REUSE_POLICY = 'fingerprint-v1'
+export const LEGACY_JOURNAL_VERSION = 1
+export const INTERMEDIATE_JOURNAL_VERSION = 2
+export const PREVIOUS_JOURNAL_VERSION = 3
+export const USER_BINDING_RELATIONLESS_JOURNAL_VERSION = 4
+export const FINGERPRINT_REUSE_JOURNAL_VERSION = 5
+export const VERSIONED_BINDING_REUSE_JOURNAL_VERSION = 6
+export const RECOVERY_BOUNDARY_EVENT = 'ptc-plus/recovery-boundary'
+
+export const STATUSES = new Set(['durable', 'volatile', 'discarded', 'noop'])
+export const BINDING_MODES = new Set(['loose', 'strict'])
+export const WHOLE_ENTRY_JOURNAL_FIELDS = new Set(['version', 'bindingPolicy', 'rewritePolicy', 'moduleSemantics', 'userBindingsFingerprint', 'userBindingsReusePolicy', 'status', 'calls', 'operations', 'confirms', 'diagnostics', 'completion', 'volatileReason'])
+export const PER_NAME_JOURNAL_FIELDS = new Set([...WHOLE_ENTRY_JOURNAL_FIELDS, 'userBindingsShadowPolicy', 'userBindingNames'])
+export const JOURNAL_FIELDS = new Set([...PER_NAME_JOURNAL_FIELDS, 'languageSemantics'])
+export const FINGERPRINT_REUSE_JOURNAL_FIELDS = new Set([...WHOLE_ENTRY_JOURNAL_FIELDS].filter(field => field !== 'userBindingsReusePolicy'))
+export const RELATIONLESS_JOURNAL_FIELDS = new Set([...FINGERPRINT_REUSE_JOURNAL_FIELDS].filter(field => field !== 'userBindingsFingerprint'))
+export const PREDECESSOR_JOURNAL_FIELDS = new Set(['version', 'bindingMode', 'rewritePolicy', 'status', 'calls', 'operations', 'confirms', 'diagnostics', 'completion', 'volatileReason'])
+export const LEGACY_JOURNAL_FIELDS = new Set([...PREDECESSOR_JOURNAL_FIELDS].filter(field => field !== 'rewritePolicy'))
+export const BINDING_POLICY_FIELDS = new Set(['variableRedeclarations', 'functionClassRedeclarations'])
+export const REWRITE_POLICY_FIELDS = new Set(['autoRewriteImports', 'autoStripExports', 'autoSplitRedeclarations'])
+export const LEGACY_MODULE_SEMANTICS_FIELDS = new Set(['defaultExportBinding'])
+export const MODULE_SEMANTICS_FIELDS = new Set([...LEGACY_MODULE_SEMANTICS_FIELDS, 'importExpressionBoundary'])
+export const IMPORT_EXPRESSION_BOUNDARIES = new Set([
+  LEGACY_IMPORT_EXPRESSION_BOUNDARY,
+  LIVE_IMPORT_EXPRESSION_BOUNDARY,
+])
+export const DEFAULT_EXPORT_BINDINGS = new Set([
+  LEGACY_DEFAULT_EXPORT_BINDING,
+  LIVE_DEFAULT_EXPORT_BINDING,
+])
+export const CALL_SUCCESS_FIELDS = new Set(['global', 'member', 'args', 'ok', 'value', 'settle'])
+export const CALL_ERROR_FIELDS = new Set(['global', 'member', 'args', 'ok', 'error', 'settle'])
+export const OPERATION_FIELDS = new Set(['action', 'name'])
+export const RETURN_FIELDS = new Set(['kind', 'hasValue', 'value'])
+export const THROW_FIELDS = new Set(['kind', 'error'])
+export const ERROR_FIELDS = new Set(['kind', 'message'])
+export const EDIT_TARGET_FIELDS = new Set(['targetCallSeq'])
+export const DERIVED_RUN_FIELDS = new Set(['code', 'description'])
+
+export const JOURNAL_VERSIONS = new Set([LEGACY_JOURNAL_VERSION, INTERMEDIATE_JOURNAL_VERSION, PREVIOUS_JOURNAL_VERSION, USER_BINDING_RELATIONLESS_JOURNAL_VERSION, FINGERPRINT_REUSE_JOURNAL_VERSION, VERSIONED_BINDING_REUSE_JOURNAL_VERSION, IMPORT_BOUNDARY_JOURNAL_VERSION, PER_NAME_USER_BINDINGS_JOURNAL_VERSION, JOURNAL_VERSION])
+export const USER_BINDINGS_REUSE_POLICIES = new Set([LEGACY_USER_BINDINGS_REUSE_POLICY, LIVE_USER_BINDINGS_REUSE_POLICY])
+export const USER_BINDINGS_SHADOW_POLICIES = new Set([LEGACY_USER_BINDINGS_SHADOW_POLICY, LIVE_USER_BINDINGS_SHADOW_POLICY])
+const USER_BINDING_NAME_STATES = new Set(['provider', 'local', 'absent', 'unknown'])
+
+/** Closed, value-free evidence shared by worker settlement, persistence and Client. */
+export function normalizeUserBindingNames(value) {
+  if (!Array.isArray(value)) throw new TypeError('invalid user binding name evidence')
+  const names = new Set()
+  return Object.freeze(value.map(fact => {
+    if (fact === null || typeof fact !== 'object'
+      || !USER_BINDING_NAME_STATES.has(fact.state)
+      || typeof fact.name !== 'string' || fact.name.length > 128
+      || !/^[$_\p{ID_Start}][$\u200c\u200d\p{ID_Continue}]*$/u.test(fact.name)
+      || names.has(fact.name)) throw new TypeError('invalid user binding name evidence')
+    const fields = fact.state === 'provider' ? ['name', 'state', 'entryId'] : ['name', 'state']
+    if (Reflect.ownKeys(fact).length !== fields.length
+      || !fields.every(key => Object.prototype.propertyIsEnumerable.call(fact, key))
+      || (fact.state === 'provider' && (typeof fact.entryId !== 'string'
+        || !/^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$/.test(fact.entryId)))) {
+      throw new TypeError('invalid user binding name evidence')
+    }
+    names.add(fact.name)
+    return Object.freeze({ name: fact.name, state: fact.state,
+      ...(fact.state === 'provider' ? { entryId: fact.entryId } : {}) })
+  }).sort((left, right) => left.name < right.name ? -1 : left.name > right.name ? 1 : 0))
+}
+
+export function normalizeJournalUserBindingNames(journal) {
+  if (!USER_BINDINGS_SHADOW_POLICIES.has(journal.userBindingsShadowPolicy)) {
+    throw new TypeError('invalid user binding shadow policy')
+  }
+  if (journal.userBindingsShadowPolicy === LEGACY_USER_BINDINGS_SHADOW_POLICY
+    || journal.status === 'noop' || journal.status === 'discarded') {
+    if (journal.userBindingNames !== null) throw new TypeError('unexpected user binding name evidence')
+    return null
+  }
+  return normalizeUserBindingNames(journal.userBindingNames)
+}
+export const RECOVERY_BOUNDARY_FIELDS = new Set(['failedCallSeq', 'frontierCallSeq'])
+export const REPL_TOOL_NAMES = new Set(['run_code', 'edit_run_code'])
+export const REWRITE_FIELDS = new Set(['kind', 'description', 'source'])
+export const REWRITE_KINDS = new Set(['import', 'redeclaration', 'export'])
+
+/** Journal v1 uses call IDs; later recognized generations use persisted event sequences. */
+export function usesCallSequenceConfirms(journal) {
+  return JOURNAL_VERSIONS.has(journal?.version) && journal.version !== LEGACY_JOURNAL_VERSION
+}