Search results

Diagnostic envelope visibility profile: who can read which fields at which layer

compilerCompiler / transform passCompiler / transform pass

discussionDesign discussion or RFCDesign discussion or RFC

Status: Open.

#57 In marcelofarias/botscript;

· marcelofarias opened on May 15, 2026

proposal: effect annotations on function-typed parameters (callback effect leakage)

compilerCompiler / transform passCompiler / transform pass

discussionDesign discussion or RFCDesign discussion or RFC

enhancementNew feature or requestNew feature or request

Status: Open.

#56 In marcelofarias/botscript;

· marcelofarias opened on May 15, 2026

feat: effect body inference pass — verify fn body matches declared uses/reads/writes/intent

enhancementNew feature or requestNew feature or request

Status: Open.

#55 In marcelofarias/botscript;

· marcelofarias opened on May 15, 2026

feat: UNS005 — external call without declared result contract

enhancementNew feature or requestNew feature or request

Status: Open.

#50 In marcelofarias/botscript;

· marcelofarias opened on May 13, 2026

feat: declaration-level unsafe fn escape to avoid per-site repetition

enhancementNew feature or requestNew feature or request

Status: Open.

#49 In marcelofarias/botscript;

· marcelofarias opened on May 13, 2026

UNS annotation semantics: where does the compiler step back?

discussionDesign discussion or RFCDesign discussion or RFC

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#48 In marcelofarias/botscript;

· marcelofarias opened on May 13, 2026

RFC: total effect signatures — every effect in the header

bot:implImplementation in progress or completedImplementation in progress or completed

discussionDesign discussion or RFCDesign discussion or RFC

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#14 In marcelofarias/botscript;

· marcelofarias opened on May 8, 2026