Derivation endpoints hold roles or a scripts calls#

This page is generated from the code and must not be edited by hand.

A program is never considered as made from a file, nor a file as made from a program.

derivation_endpoints_hold_roles_or_a_scripts_calls version 2

  • Kind of rule: Limits every conclusion keeps to (constraint). Limits what any conclusion may say, by naming what cannot be true together.

  • What it limits: derives

  • Reasoning: entailed. A conclusion cannot be wrong if what it read is right.

  • What it reads: one file at a time

Is it available in this version?#

Yes. The engine runs it.

What would defeat it#

Nothing. An entailed conclusion cannot be wrong if what it read is right.

Parameters#

Parameter

Shipped value

May be

What it does

excluded_classes

["python_source", "notebook_format", "shell_script", "sql_source", "python_wheel", "python_bytecode", "executable_format", "c_source", "c_header", "javascript_source", "perl_source", "r_source", "r_markdown", "java_source", "java_bytecode", "fortran_module", "matlab_source", "imagej_macro", "beanshell_script", "clojure_source", "ruby_source", "groovy_script"]

list of text

The classes never at either end of a derivation: every format the Dictionary declares a program, as the program rule concludes them.