https://invarians.org/index.php?action=history&feed=atom&title=The_Principia_Machina%2FUWC%2FRP1%2FTFK%2FTMS The Principia Machina/UWC/RP1/TFK/TMS - Revision history 2026-10-21T08:20:47Z Revision history for this page on the wiki MediaWiki 1.46.2 https://invarians.org/index.php?title=The_Principia_Machina/UWC/RP1/TFK/TMS&diff=6022&oldid=prev TPX: TPX: TFK/TMS for RP1 2026-10-07T23:12:23Z <p>TPX: TFK/TMS for RP1</p> <p><b>New page</b></p><div>&lt;!-- TPM TFK/TMS for RP1; immutable; written by TPX from the certified draft --&gt;<br /> &lt;pre class=&quot;tpm-zone&quot;&gt;<br /> {<br /> &quot;CONSTANTS&quot;: [<br /> {<br /> &quot;NAME&quot;: &quot;w_a&quot;,<br /> &quot;VALUE&quot;: &quot;1&quot;<br /> },<br /> {<br /> &quot;NAME&quot;: &quot;w_s&quot;,<br /> &quot;VALUE&quot;: &quot;0.5&quot;<br /> }<br /> ],<br /> &quot;PARAMETERS&quot;: {<br /> &quot;K&quot;: &quot;2&quot;,<br /> &quot;N_X&quot;: 2,<br /> &quot;STEP_CONVENTION&quot;: &quot;one application of an inference rule or algebraic identity is one step&quot;,<br /> &quot;S_MAX&quot;: 10<br /> },<br /> &quot;YARDSTICKS&quot;: [<br /> {<br /> &quot;KEY&quot;: [<br /> &quot;SR1&quot;,<br /> &quot;WSUM:w_a*A;w_s*S&quot;,<br /> &quot;S&quot;<br /> ],<br /> &quot;LIMITING&quot;: [],<br /> &quot;NAME&quot;: &quot;combined_distance&quot;<br /> }<br /> ]<br /> }<br /> &lt;/pre&gt;</div> TPX