dsh-ptc-plus 0.3.1 → 0.4.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (200) hide show
  1. package/README.en.md +66 -73
  2. package/README.md +66 -73
  3. package/assets/ptc-plus-bindings-en.png +0 -0
  4. package/assets/ptc-plus-bindings-zh.png +0 -0
  5. package/assets/ptc-plus-repair-en.png +0 -0
  6. package/assets/ptc-plus-repair-zh.png +0 -0
  7. package/assets/ptc-plus-repl-workspace-en.png +0 -0
  8. package/assets/ptc-plus-repl-workspace-zh.png +0 -0
  9. package/assets/ptc-plus-settings-en.png +0 -0
  10. package/assets/ptc-plus-settings-zh.png +0 -0
  11. package/client.js +30610 -722
  12. package/compiler-amaro.cjs +5 -0
  13. package/compiler-amaro.cjs.map +6 -0
  14. package/compiler-asset-124f80c1bba92ff5fe79cfec6e8ad518f476de4a42514cae3919538887f510e8.txt +1 -0
  15. package/compiler-assets.json +3 -0
  16. package/compiler-core.cjs +554 -0
  17. package/compiler-core.cjs.map +6 -0
  18. package/compiler-platform.cjs +2 -0
  19. package/compiler-platform.cjs.map +6 -0
  20. package/compiler-typescript.cjs +388 -0
  21. package/compiler-typescript.cjs.map +6 -0
  22. package/docs/README.md +6 -0
  23. package/docs/adr/0004-declare-program-bindings-at-the-host.md +1 -1
  24. package/docs/adr/0006-rewrite-module-syntax-with-an-ast.md +6 -4
  25. package/docs/adr/0007-separate-worker-transport-from-session-semantics.md +15 -3
  26. package/docs/adr/0009-bound-expensive-acceptance-default.md +2 -0
  27. package/docs/adr/0010-session-log-derived-recovery-tips.md +59 -5
  28. package/docs/adr/0011-isolate-the-local-recovery-tip-provider.md +1 -1
  29. package/docs/adr/0012-preserve-mixed-destructuring-initialization.md +3 -1
  30. package/docs/adr/0013-isolate-repl-redeclaration-convenience.md +9 -3
  31. package/docs/adr/0014-persist-cell-rewrite-policy.md +11 -5
  32. package/docs/adr/0015-preserve-source-positions-through-rewrites.md +1 -1
  33. package/docs/adr/0016-archive-resolved-review-findings.md +1 -1
  34. package/docs/adr/0017-track-the-latest-dsh-public-surface.md +49 -0
  35. package/docs/adr/0018-use-versioned-fixture-for-ab-benchmark.md +3 -3
  36. package/docs/adr/0019-plugin-settings-and-kill-switch.md +8 -6
  37. package/docs/adr/0020-optional-cordis-tools-in-ptc-mode.md +2 -2
  38. package/docs/adr/0021-separate-host-bootstrap-from-session-runtime.md +17 -3
  39. package/docs/adr/0023-global-user-bindings.md +104 -0
  40. package/docs/adr/0024-repl-console-observation.md +33 -0
  41. package/docs/adr/0025-use-versioned-logical-binding-identities.md +119 -0
  42. package/docs/adr/0026-persist-the-delivery-verdict-against-the-verified-candidate.md +21 -0
  43. package/docs/adr/0027-run-the-session-kernel-in-a-killable-helper-process.md +37 -0
  44. package/docs/adr/0028-attach-to-the-host-ptc-execution-seam.md +103 -0
  45. package/docs/adr/0029-keep-plugin-unavailability-out-of-the-host-agent-lifecycle.md +27 -0
  46. package/docs/adr/0030-serve-both-typert-codec-generations-from-one-codec.md +27 -0
  47. package/docs/architecture.md +82 -22
  48. package/docs/binding-review-placement-design.md +200 -0
  49. package/docs/capability-projection.md +1 -1
  50. package/docs/client-ui.md +96 -20
  51. package/docs/durability-design.md +61 -24
  52. package/docs/evaluation.md +78 -6
  53. package/docs/installation.md +41 -6
  54. package/docs/program-data-plane.md +6 -0
  55. package/docs/publishing.md +5 -3
  56. package/docs/runtime-reference.md +79 -25
  57. package/docs/semantic-validation.md +29 -0
  58. package/docs/stateful-binding-updates-proposal.md +755 -0
  59. package/docs/user-bindings.en.md +64 -0
  60. package/docs/user-bindings.md +64 -0
  61. package/docs/value-wire.md +3 -3
  62. package/docs/verification.md +57 -0
  63. package/index.js +374 -92
  64. package/internal/ast-traversal.js +5 -2
  65. package/internal/binding-descriptors.js +1 -0
  66. package/internal/binding-pattern-traversal.js +25 -0
  67. package/internal/binding-pattern.js +26 -29
  68. package/internal/binding-source-analysis.js +391 -0
  69. package/internal/binding-update-policy.js +66 -0
  70. package/internal/bounded-worker-round.js +56 -0
  71. package/internal/callable-definition-environment.js +42 -0
  72. package/internal/callable-source-catalog.js +129 -0
  73. package/internal/callable-source-encoding.js +47 -0
  74. package/internal/callable-source-facts.js +459 -0
  75. package/internal/callable-source-format.js +2 -0
  76. package/internal/callable-source-lowering.js +123 -0
  77. package/internal/cell-analysis-contract.js +25 -0
  78. package/internal/cell-analysis.js +252 -242
  79. package/internal/cell-completion.js +15 -0
  80. package/internal/cell-error.js +7 -0
  81. package/internal/cell-parser.js +66 -0
  82. package/internal/cell-rewriter.js +3 -553
  83. package/internal/commonjs-export-evidence.js +63 -0
  84. package/internal/commonjs-source-evidence.js +72 -0
  85. package/internal/compiler-amaro.cjs +2 -0
  86. package/internal/compiler-compression.js +12 -0
  87. package/internal/compiler-data.js +58 -0
  88. package/internal/compiler-descriptors.js +54 -0
  89. package/internal/compiler-dynamic-cache.js +48 -0
  90. package/internal/compiler-entry.js +35 -0
  91. package/internal/compiler-generated-names.js +17 -0
  92. package/internal/compiler-intrinsics.js +84 -0
  93. package/internal/compiler-module-links.js +34 -0
  94. package/internal/compiler-operations.js +61 -0
  95. package/internal/compiler-platform-factory.js +84 -0
  96. package/internal/compiler-platform.js +136 -0
  97. package/internal/compiler-record-roles.js +53 -0
  98. package/internal/compiler-region-output.js +259 -0
  99. package/internal/compiler-resource-lowering.js +103 -0
  100. package/internal/compiler-scope-facts.js +115 -0
  101. package/internal/compiler-service.js +109 -0
  102. package/internal/compiler-source-cache.js +32 -0
  103. package/internal/compiler-source-pieces.js +93 -0
  104. package/internal/compiler-source-regions.js +132 -0
  105. package/internal/compiler-storage-source.js +54 -0
  106. package/internal/compiler-text.js +15 -0
  107. package/internal/compiler-typescript.cjs +2 -0
  108. package/internal/config-spec.js +91 -25
  109. package/internal/cordis-tools-owner.js +130 -21
  110. package/internal/diagnostic.js +27 -1
  111. package/internal/direct-surface-owner.js +76 -23
  112. package/internal/dynamic-binding-evidence.js +16 -0
  113. package/internal/dynamic-environment-compiler.js +779 -0
  114. package/internal/dynamic-environment-integration.js +87 -0
  115. package/internal/dynamic-environment-runtime.js +362 -0
  116. package/internal/dynamic-native-calls.js +150 -0
  117. package/internal/dynamic-native-runtime.js +248 -0
  118. package/internal/dynamic-scope-analysis.js +90 -0
  119. package/internal/edit-transport-owner.js +28 -3
  120. package/internal/execution-seam-compat.js +193 -0
  121. package/internal/failure-reporting.js +118 -18
  122. package/internal/host-rpc.js +66 -0
  123. package/internal/isolated-worker.js +548 -0
  124. package/internal/kernel-child.js +139 -0
  125. package/internal/kernel-worker.js +911 -116
  126. package/internal/language-semantics.js +14 -0
  127. package/internal/legacy-binding-catalog.js +48 -0
  128. package/internal/legacy-cell-analysis.js +600 -0
  129. package/internal/legacy-cell-parser.js +50 -0
  130. package/internal/legacy-cell-rewriter.js +631 -0
  131. package/internal/legacy-repl-convenience.js +291 -0
  132. package/internal/managed-module-operations.js +170 -0
  133. package/internal/module-compilation.js +321 -0
  134. package/internal/module-runtime-platform.js +19 -0
  135. package/internal/module-transform-contract.js +12 -0
  136. package/internal/native-await-declarations.js +68 -0
  137. package/internal/native-root-compilation.js +54 -0
  138. package/internal/native-root-dynamic.js +67 -0
  139. package/internal/recovery-tips.js +27 -15
  140. package/internal/rejected-cell-editor.js +13 -8
  141. package/internal/repl-convenience.js +2 -201
  142. package/internal/repl-memory-projection.js +81 -12
  143. package/internal/repl-observation-interest.js +70 -0
  144. package/internal/repl-rewrite-contract.js +21 -0
  145. package/internal/repl-scope-normalizer.js +2091 -0
  146. package/internal/repl-value-observer.js +114 -0
  147. package/internal/rpc-contract.js +52 -0
  148. package/internal/runtime-bridge-owner.js +172 -28
  149. package/internal/runtime-config.js +48 -51
  150. package/internal/runtime-contexts.js +82 -10
  151. package/internal/runtime-messages.js +111 -0
  152. package/internal/session-cell-executor.js +455 -91
  153. package/internal/session-journal-recovery.js +684 -0
  154. package/internal/session-journal-schema.js +106 -0
  155. package/internal/session-journal.js +237 -440
  156. package/internal/session-log-view.js +42 -9
  157. package/internal/session-runtime.js +325 -80
  158. package/internal/session-state.js +249 -40
  159. package/internal/source-position-map.js +211 -71
  160. package/internal/stateful-module-compiler.js +154 -0
  161. package/internal/stateful-module-runtime.js +303 -0
  162. package/internal/stateful-root-compiler.js +598 -0
  163. package/internal/stateful-root-runtime.js +340 -0
  164. package/internal/typert-codec-compat.js +28 -0
  165. package/internal/typescript-transform.js +29 -0
  166. package/internal/user-binding-authoring.js +70 -0
  167. package/internal/user-binding-console-worker.js +184 -0
  168. package/internal/user-binding-console.js +148 -0
  169. package/internal/user-binding-draft-projection.js +335 -0
  170. package/internal/user-binding-model-context.js +31 -0
  171. package/internal/user-binding-runner.js +56 -0
  172. package/internal/user-bindings-owner.js +1065 -0
  173. package/internal/user-bindings-store.js +293 -0
  174. package/internal/user-bindings.js +353 -0
  175. package/internal/value-wire-schema.js +28 -0
  176. package/internal/value-wire.js +29 -20
  177. package/internal/worker-client.js +57 -67
  178. package/internal/worker-environment.js +45 -0
  179. package/internal/worker-output-relay.js +29 -0
  180. package/internal/worker-shutdown.js +14 -0
  181. package/package.json +81 -11
  182. package/src/client-activity.js +109 -45
  183. package/src/client-authoring-view.js +580 -0
  184. package/src/client-binding-review.js +230 -0
  185. package/src/client-bindings-data.js +29 -0
  186. package/src/client-catalog.js +127 -0
  187. package/src/client-code-editor.js +84 -0
  188. package/src/client-console.js +112 -0
  189. package/src/client-copy.js +370 -0
  190. package/src/client-feature-gates.js +62 -0
  191. package/src/client-host-compat.js +150 -0
  192. package/src/client-indicator-view.js +267 -0
  193. package/src/client-repl-view.js +292 -0
  194. package/src/client-rpc.js +20 -0
  195. package/src/client-settings-view.js +221 -0
  196. package/src/client-styles.js +106 -0
  197. package/src/client-tool-view.js +108 -0
  198. package/src/client-transport.js +159 -0
  199. package/src/client-workbench.js +521 -0
  200. package/src/client.js +233 -615
@@ -0,0 +1,2 @@
1
+ var l=Object.defineProperty;var m=Object.getOwnPropertyDescriptor;var x=Object.getOwnPropertyNames;var E=Object.prototype.hasOwnProperty;var U=(s,n)=>{for(var o in n)l(s,o,{get:n[o],enumerable:true})};var k=(s,n,o,c)=>{if(n&&typeof n==="object"||typeof n==="function"){for(let i of x(n))if(!E.call(s,i)&&i!==o)l(s,i,{get:()=>n[i],enumerable:!(c=m(n,i))||c.enumerable})}return s};var R=s=>k(l({},"__esModule",{value:true}),s);var L={};U(L,{createPlatform:()=>A});module.exports=R(L);function A(s){const n=e=>{const t=new Uint8Array(e.length);for(let r=0;r<e.length;r++)t[r]=e[r];return t};const o=e=>{const t={};for(const r of Object.keys(e))t[r]=e[r];return t};class c extends Uint8Array{static from(t,r="utf8"){if(typeof t!=="string"){const u=new c(t.length);for(let f=0;f<t.length;f++)u[f]=t[f];return u}if(!["utf8","utf16le","base64"].includes(r))throw new TypeError(`unsupported compiler encoding: ${r}`);const{buffer:p,length:w}=s.encode(t,r);const T=new c(w);for(let u=0;u<w;u++)T[u]=p[u];return T}toString(t="utf8"){if(!["utf8","utf16le","base64"].includes(t))throw new TypeError(`unsupported compiler encoding: ${t}`);return s.decode(this,t)}}class i{constructor(t,r){this.href=s.url(String(t),r===void 0?void 0:String(r))}toString(){return this.href}}class d{#t=s.textEncoder();encode(t=""){return n(this.#t.encode(t))}encodeInto(t,r){return o(this.#t.encodeInto(t,r))}}class h{#t;constructor(t,r){this.#t=s.textDecoder(t,r)}decode(t,r){return this.#t(t,r)}}class S{#t;constructor(t){this.#t=s.sourceMap(t)}findEntry(t,r){return o(this.#t.findEntry(t,r))}findOrigin(t,r){return o(this.#t.findOrigin(t,r))}}const a=()=>{throw new Error("compiler dependencies cannot access the filesystem or load configuration")};const y={buffer:{Buffer:c},crypto:{createHash(e){const t=s.hash(e);return{update(r,p){t.update(r,p);return this},digest(r){return t.digest(r)}}}},module:{SourceMap:S,stripTypeScriptTypes:(e,t)=>s.stripTypeScriptTypes(e,t)},url:{URL:i,fileURLToPath:e=>s.fileURLToPath(String(e))},util:{TextEncoder:d,TextDecoder:h,deprecate:e=>e,types:{isMap:e=>s.typeChecks.isMap(e),isSet:e=>s.typeChecks.isSet(e),isUint32Array:e=>s.typeChecks.isUint32Array(e)}},tty:{isatty:()=>false},fs:{existsSync:a,statSync:a,readFileSync:a,readFile:a,stat:a},assert(e,t){if(!e)throw new Error(t)}};return{require(e){const t=e.startsWith("node:")?e.slice(5):e;if(t.startsWith("compiler-asset:"))return s.loadAsset(t);if(t==="typescript"||t==="amaro")return s.loadDependency(t);if(!Object.hasOwn(y,t))throw new Error(`compiler cannot load dependency: ${e}`);return y[t]},process:{env:{},version:`v${s.nodeVersion}`,versions:{node:s.nodeVersion},platform:s.platform,features:{typescript:s.typescript},cwd:()=>s.cwd,argv:[],stdout:{fd:1,isTTY:false},stderr:{fd:2,isTTY:false}},Buffer:c,URL:i,TextEncoder:d,TextDecoder:h}}0&&(module.exports={createPlatform});
2
+ //# sourceMappingURL=compiler-platform.cjs.map
@@ -0,0 +1,6 @@
1
+ {
2
+ "version": 3,
3
+ "sources": ["internal/compiler-platform-factory.js"],
4
+ "mappings": "yaAAA,IAAAA,EAAA,GAAAC,EAAAD,EAAA,oBAAAE,IAAA,eAAAC,EAAAH,GAEO,SAASE,EAAeE,EAAQ,CACrC,MAAMC,EAAYC,GAAS,CACzB,MAAMC,EAAS,IAAI,WAAWD,EAAM,MAAM,EAC1C,QAASE,EAAQ,EAAGA,EAAQF,EAAM,OAAQE,IAASD,EAAOC,CAAK,EAAIF,EAAME,CAAK,EAC9E,OAAOD,CACT,EACA,MAAME,EAAaC,GAAU,CAC3B,MAAMH,EAAS,CAAC,EAChB,UAAWI,KAAO,OAAO,KAAKD,CAAM,EAAGH,EAAOI,CAAG,EAAID,EAAOC,CAAG,EAC/D,OAAOJ,CACT,EAEA,MAAMK,UAAuB,UAAW,CACtC,OAAO,KAAKC,EAAOC,EAAW,OAAQ,CACpC,GAAI,OAAOD,IAAU,SAAU,CAC7B,MAAMN,EAAS,IAAIK,EAAeC,EAAM,MAAM,EAC9C,QAASL,EAAQ,EAAGA,EAAQK,EAAM,OAAQL,IAASD,EAAOC,CAAK,EAAIK,EAAML,CAAK,EAC9E,OAAOD,CACT,CACA,GAAI,CAAC,CAAC,OAAQ,UAAW,QAAQ,EAAE,SAASO,CAAQ,EAAG,MAAM,IAAI,UAAU,kCAAkCA,CAAQ,EAAE,EACvH,KAAM,CAAE,OAAAC,EAAQ,OAAAC,CAAO,EAAIZ,EAAO,OAAOS,EAAOC,CAAQ,EACxD,MAAMP,EAAS,IAAIK,EAAeI,CAAM,EACxC,QAASR,EAAQ,EAAGA,EAAQQ,EAAQR,IAASD,EAAOC,CAAK,EAAIO,EAAOP,CAAK,EACzE,OAAOD,CACT,CACA,SAASO,EAAW,OAAQ,CAC1B,GAAI,CAAC,CAAC,OAAQ,UAAW,QAAQ,EAAE,SAASA,CAAQ,EAAG,MAAM,IAAI,UAAU,kCAAkCA,CAAQ,EAAE,EACvH,OAAOV,EAAO,OAAO,KAAMU,CAAQ,CACrC,CACF,CACA,MAAMG,CAAY,CAChB,YAAYC,EAAOC,EAAM,CAAE,KAAK,KAAOf,EAAO,IAAI,OAAOc,CAAK,EAAGC,IAAS,OAAY,OAAY,OAAOA,CAAI,CAAC,CAAE,CAChH,UAAW,CAAE,OAAO,KAAK,IAAK,CAChC,CACA,MAAMC,CAAY,CAChBC,GAAWjB,EAAO,YAAY,EAC9B,OAAOkB,EAAS,GAAI,CAAE,OAAOjB,EAAU,KAAKgB,GAAS,OAAOC,CAAM,CAAC,CAAE,CACrE,WAAWA,EAAQC,EAAQ,CAAE,OAAOd,EAAW,KAAKY,GAAS,WAAWC,EAAQC,CAAM,CAAC,CAAE,CAC3F,CACA,MAAMC,CAAY,CAChBC,GACA,YAAYC,EAAOC,EAAS,CAAE,KAAKF,GAAUrB,EAAO,YAAYsB,EAAOC,CAAO,CAAE,CAChF,OAAOT,EAAOS,EAAS,CAAE,OAAO,KAAKF,GAAQP,EAAOS,CAAO,CAAE,CAC/D,CACA,MAAMC,CAAU,CACdC,GACA,YAAYC,EAAS,CAAE,KAAKD,GAAOzB,EAAO,UAAU0B,CAAO,CAAE,CAC7D,UAAUC,EAAMC,EAAQ,CAAE,OAAOvB,EAAW,KAAKoB,GAAK,UAAUE,EAAMC,CAAM,CAAC,CAAE,CAC/E,WAAWD,EAAMC,EAAQ,CAAE,OAAOvB,EAAW,KAAKoB,GAAK,WAAWE,EAAMC,CAAM,CAAC,CAAE,CACnF,CACA,MAAMC,EAAc,IAAM,CAAE,MAAM,IAAI,MAAM,0EAA0E,CAAE,EACxH,MAAMC,EAAU,CACd,OAAQ,CAAE,OAAQtB,CAAe,EACjC,OAAQ,CAAE,WAAWuB,EAAW,CAC9B,MAAMC,EAAOhC,EAAO,KAAK+B,CAAS,EAClC,MAAO,CAAE,OAAOb,EAAQR,EAAU,CAAEsB,EAAK,OAAOd,EAAQR,CAAQ,EAAG,OAAO,IAAK,EAC7E,OAAOA,EAAU,CAAE,OAAOsB,EAAK,OAAOtB,CAAQ,CAAE,CAAE,CACtD,CAAE,EACF,OAAQ,CAAE,UAAAc,EAAW,qBAAsB,CAACN,EAAQK,IAAYvB,EAAO,qBAAqBkB,EAAQK,CAAO,CAAE,EAC7G,IAAK,CAAE,IAAKV,EAAa,cAAeoB,GAAOjC,EAAO,cAAc,OAAOiC,CAAG,CAAC,CAAE,EACjF,KAAM,CAAE,YAAAjB,EAAa,YAAAI,EAAa,UAAWc,GAAYA,EACvD,MAAO,CAAE,MAAOzB,GAAST,EAAO,WAAW,MAAMS,CAAK,EAAG,MAAOA,GAAST,EAAO,WAAW,MAAMS,CAAK,EACpG,cAAeA,GAAST,EAAO,WAAW,cAAcS,CAAK,CAAE,CAAE,EACrE,IAAK,CAAE,OAAQ,IAAM,KAAM,EAC3B,GAAI,CAAE,WAAYoB,EAAa,SAAUA,EAAa,aAAcA,EAClE,SAAUA,EAAa,KAAMA,CAAY,EAC3C,OAAOpB,EAAO0B,EAAS,CAAE,GAAI,CAAC1B,EAAO,MAAM,IAAI,MAAM0B,CAAO,CAAE,CAChE,EACA,MAAO,CACL,QAAQC,EAAM,CACZ,MAAM7B,EAAM6B,EAAK,WAAW,OAAO,EAAIA,EAAK,MAAM,CAAC,EAAIA,EACvD,GAAI7B,EAAI,WAAW,iBAAiB,EAAG,OAAOP,EAAO,UAAUO,CAAG,EAClE,GAAIA,IAAQ,cAAgBA,IAAQ,QAAS,OAAOP,EAAO,eAAeO,CAAG,EAC7E,GAAI,CAAC,OAAO,OAAOuB,EAASvB,CAAG,EAAG,MAAM,IAAI,MAAM,oCAAoC6B,CAAI,EAAE,EAC5F,OAAON,EAAQvB,CAAG,CACpB,EACA,QAAS,CAAE,IAAK,CAAC,EAAG,QAAS,IAAIP,EAAO,WAAW,GAAI,SAAU,CAAE,KAAMA,EAAO,WAAY,EAC1F,SAAUA,EAAO,SAAU,SAAU,CAAE,WAAYA,EAAO,UAAW,EAAG,IAAK,IAAMA,EAAO,IAC1F,KAAM,CAAC,EAAG,OAAQ,CAAE,GAAI,EAAG,MAAO,KAAM,EAAG,OAAQ,CAAE,GAAI,EAAG,MAAO,KAAM,CAAE,EAC7E,OAAQQ,EAAgB,IAAKK,EAAa,YAAAG,EAAa,YAAAI,CACzD,CACF",
5
+ "names": ["compiler_platform_factory_exports", "__export", "createPlatform", "__toCommonJS", "bridge", "copyBytes", "bytes", "result", "index", "copyRecord", "record", "key", "CompilerBuffer", "value", "encoding", "buffer", "length", "CompilerURL", "input", "base", "TextEncoder", "#encoder", "source", "output", "TextDecoder", "#decode", "label", "options", "SourceMap", "#map", "payload", "line", "column", "unavailable", "modules", "algorithm", "hash", "url", "callback", "message", "name"]
6
+ }