plugin: replace https host api with request grants

2026-06-21 16:47:06 +09:00
parent 4cd4a06e98
commit 962b769989
9 changed files with 768 additions and 448 deletions
@@ -1,9 +1,9 @@
 package yoi:host@1.0.0;

-/// Grant-bound HTTPS host API. Importing this interface does not grant
+/// Grant-bound one-shot HTTP request host API. Importing this interface does not grant
 /// authority; package grants are checked before registration/execution and on
 /// every host call.
-interface https {
+interface request {
  request: func(request-json: string) -> string;
 }

@@ -1,7 +1,7 @@
 package yoi:plugin@1.0.0;

 world instance {
-  import yoi:host/https@1.0.0;
+  import yoi:host/request@1.0.0;
  import yoi:host/fs@1.0.0;

  export start: func(config-json: string) -> string;
@@ -1,7 +1,7 @@
 package yoi:plugin@1.0.0;

 world tool {
-  import yoi:host/https@1.0.0;
+  import yoi:host/request@1.0.0;
  import yoi:host/fs@1.0.0;

  /// Execute a manifest-declared Tool. `input-json` is the normal Tool input