pub fn file_prompt(
address: &MailAddress,
text: &str,
sent_at_ms: u64,
) -> Result<bool>Expand description
File a line a person typed into the session at address, as its harness’s
UserPromptSubmit hook reports it, for a harness whose transcript does not say
who wrote a prompt (Codex). Supercode’s own mail (its envelopes, and the user’s
turns it typed, filed under their own ids) is not a typed line. Returns whether
it was filed now.