Module 2 – Verify libraries, assumptions, and boundaries
Distinguish observed behavior from desired behavior
The supported replacement below is a button description. Its expected sandbox output is [Agila SDK sandbox UI] Button(Begin practice). That is useful evidence of construction and description, but it does not demonstrate clicking, navigation, or saving learner progress.
import agila
fn main() {
agila.preview(agila.Button{label: 'Begin practice'})
}Review another claim: “requesting networking proves a network connection is permitted.” In the current sandbox, request checks whether the application has started and prints a message. It does not implement the production policy engine. Describe your result accurately and leave a specific question for the runtime documentation when it becomes available.
Complete this lesson
Answer every check correctly to earn your lesson certificate. Feedback helps you review and try again.
Sign in · Save your progress and earn a certificate for this lesson.