Skip to content

feat(host): infer typed host call contracts from signatures - #11

Open
fffonion wants to merge 1 commit into
masterfrom
feat/agent-host-signature-inference
Open

feat(host): infer typed host call contracts from signatures#11
fffonion wants to merge 1 commit into
masterfrom
feat/agent-host-signature-inference

Conversation

@fffonion

@fffonion fffonion commented Aug 5, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • infer host binding kind, return schema, and suspension behavior from Rust signatures
  • use VmResult<T> for VM errors and HostCallResult<T> for return-or-pending behavior
  • remove BuiltinResult<T> and reject the undefined HostResult<T> wrapper across generation and macros

Stack

Layer 1 of 9
Base: master
Next: #13

Validation

  • cargo test --locked -p pd-host-function
  • cargo test --locked --test host_binding_generation_tests
  • cargo test --locked --test builtins_tests

@fffonion fffonion changed the title Feat/agent host signature inference feat(host): parse signature-inferred host results Aug 5, 2026
@fffonion
fffonion force-pushed the feat/agent-host-signature-inference branch 2 times, most recently from 99130a8 to 820150d Compare August 10, 2026 20:54
@fffonion
fffonion force-pushed the feat/agent-host-signature-inference branch from 820150d to ec99ebf Compare August 10, 2026 22:44
@fffonion fffonion changed the title feat(host): parse signature-inferred host results feat(host): infer typed host call contracts from signatures Aug 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant