An origin is a static record the runtime reads to name a function and source location in a trap or backtrace (filc_amd64:function_origins//3filc_amd64.plfunction_origins/5not documented). In contextcontext nanofilAn explanatory item of a module: context(Fn, Records) holds binding, typed-origin, value, alias and site records that say where Fn's IR came from (provenance.pl). Nothing runs it; only provenance's own check reads it (provenance:valid_contexts/1). records the word means something else: a typed source node (provenance.pl).

Neither has a counterpart in the formal model, which compares traptrap Fil-CA trap is a Fil-C check failing, which upstream calls a Fil-C panic or safety error (filc_safety_panic): the run ends trap(Reason), terminal and uncatchable. Because nothing follows it, a check is a pure assertion, which is why a check proved never to fail can be deleted without changing behaviour. reasons, not their reports.