| P01The guided first program opens without an account | Open /try in a private browser session and do not authenticate. | The guided editor, program instructions and machine surface appear before any account gate. | A visitor can begin the guided proof; catalog play may still require an account. | This proves anonymous access to /try, not anonymous access to every catalog scenario. |
| P02A valid partial program can run | Enter a syntactically valid subset of the requested logic and press Run. | The current valid program executes while incomplete-objective feedback remains visible. | Warnings or incomplete objectives do not silently replace the program with a finished answer. | Invalid syntax and unsupported constructs may still prevent execution. |
| P03The learning model follows a deterministic scan | Change one simulated input and follow its effect through the program and machine. | The observable order is input sampling, top-to-bottom execution, output update, then deterministic machine advance. | The same starting state, input sequence and valid program produce the same simulated outcome. | Browser scheduling is not a guarantee of a physical controller task period or I/O update time. |
| P04Stateful seal-in logic persists and releases | Pulse Start, release it, then operate the defined Stop or permissive input. | The motor command persists through the auxiliary logic and clears on the defined release condition. | The state survives Start release but cannot bypass the Stop/permissive path. | The exercise is not a safety-function validation and must not replace a safety-rated circuit. |
| P05Timers, counters and edge instructions expose state | Run the matching lesson with boundary values and repeated input transitions. | Preset, accumulated/state and done/output behavior can be inspected in the exercise. | The result matches the documented learning semantics and the scenario checks. | Exact vendor firmware, overflow, retentive and time-base behavior must be checked in the target documentation. |
| P06A wrong program produces diagnostic evidence | Deliberately omit a required interlock or feedback condition, then submit the scenario. | At least one check fails with a reason tied to the missing observed behavior. | The learner sees which required outcome failed rather than only a single opaque score. | A scenario suite proves only its declared checks; it is not exhaustive formal verification. |
| P07Anonymous and catalog access boundaries are disclosed | Compare /try with a scenario launched from /scenarios while signed out. | The guided first program remains anonymous while catalog play presents the documented account boundary. | The interface does not describe the entire indexed scenario library as anonymously playable. | Scenario visibility can vary by plan, entitlement and staged rollout. |
| P08Nine learning-dialect tracks have a documented scope | Review the dialect capability document and open representative lessons. | The learning set identifies the dialect tracks and distinguishes shared patterns from target-specific fidelity. | Vendor-style teaching is not presented as complete firmware or project-format emulation. | Supported learning syntax is a subset; production compatibility requires the official vendor environment. |
| P09Program output changes an observable machine result | Run a valid program, toggle a defined input and compare the output table with the machine state. | Output state and visible equipment behavior change together according to the scenario contract. | Success requires observed behavior rather than the presence of expected source text alone. | The machine is a deterministic teaching model, not a calibrated physical-process digital twin. |
| P10Portability limits are stated before export | Review the capability, dialect and limitation documents before moving code to another IDE. | Text reuse is distinguished from native project, hardware configuration and validated deployment. | No native Siemens or Rockwell project export is promised as a current capability. | Even portable IEC Structured Text can require type, library, task and vendor-extension changes. |
| P11Native project and firmware fidelity are excluded | Compare the public limitations with the requirements for a named target CPU and firmware revision. | The page directs exact project, instruction, communication and firmware validation to the official tool. | A browser pass is never described as target-controller acceptance. | Safety, motion, communications and unusual instruction edge cases require target-specific tests. |
| P12Device and entitlement caveats remain visible | Review mobile, browser, free-tier and catalog statements alongside product-facts.json. | Claims name the no-account route, account boundary and access variability instead of implying universal access. | The public page and machine-readable fact record describe the same material boundary. | Browser/device support and entitled content can change; the dated fact version is the review anchor. |