Principia Machina/Progress/Log - Revision history

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-21T02:50:30Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 02:50, 21 October 2026
Line 2:		Line 2:
	{{Principia Machina map}}		{{Principia Machina map}}
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
			* 2026-10-21, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the wiki moved to the server the Operator controls
	* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, built for the declared forms, as the Declarer chose (an input past the bound refused, an intermediate value that would cross it enclosed)		* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, built for the declared forms, as the Declarer chose (an input past the bound refused, an intermediate value that would cross it enclosed)
	* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, built for the yardsticks		* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, built for the yardsticks
Line 7:		Line 8:
	* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: hold scope on the Calculator's command line		* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: hold scope on the Calculator's command line
	* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the strike rule's conditions of a record now take a point whose value in SI units carries a power of pi, such as an angle given in degrees		* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the strike rule's conditions of a record now take a point whose value in SI units carries a power of pi, such as an angle given in degrees
			* 2026-10-21, [[Principia Machina/Progress/Phase 3\|Phase 3]]: the rehearsal wiki
	* 2026-10-20, [[Principia Machina/Progress/Phase 1\|Phase 1]]: every place that builds the library now fetches the community mathematics library's compiled files before building, when the library depends on it		* 2026-10-20, [[Principia Machina/Progress/Phase 1\|Phase 1]]: every place that builds the library now fetches the community mathematics library's compiled files before building, when the library depends on it
	* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command line checks a structured derivation and credits it		* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command line checks a structured derivation and credits it
Line 17:		Line 19:
	* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the verification's difference, its uncertainty and its zeta, computed exactly		* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the verification's difference, its uncertainty and its zeta, computed exactly
	* 2026-10-19, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a check that reads a restricted list now runs only code from the trunk		* 2026-10-19, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a check that reads a restricted list now runs only code from the trunk
			* 2026-10-19, [[Principia Machina/Progress/Phase 1\|Phase 1]]: tests T1, T2, T3 and T5 run again on a server the Operator controls, built from nothing by one provisioning script
	* 2026-10-19, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the design for how the wiki's calculation jobs are started, written up after the scheduled run of test T3 failed		* 2026-10-19, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the design for how the wiki's calculation jobs are started, written up after the scheduled run of test T3 failed
	* 2026-10-19, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the program that reads the specification from the checked library now states the Calculator's version and the Lean that checked it at the head of what it writes, and gives each file comment the line it opens on beside its text, so that the pages can show a file's comments and its definitions in the order they stand in the source		* 2026-10-19, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the program that reads the specification from the checked library now states the Calculator's version and the Lean that checked it at the head of what it writes, and gives each file comment the line it opens on beside its text, so that the pages can show a file's comments and its definitions in the order they stand in the source

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-21T02:45:58Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 02:45, 21 October 2026
Line 2:		Line 2:
	{{Principia Machina map}}		{{Principia Machina map}}
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
			* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, built for the declared forms, as the Declarer chose (an input past the bound refused, an intermediate value that would cross it enclosed)
			* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, built for the yardsticks
			* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bibliography's checks on the Calculator's command line
			* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: hold scope on the Calculator's command line
			* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the strike rule's conditions of a record now take a point whose value in SI units carries a power of pi, such as an angle given in degrees
			* 2026-10-20, [[Principia Machina/Progress/Phase 1\|Phase 1]]: every place that builds the library now fetches the community mathematics library's compiled files before building, when the library depends on it
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command line checks a structured derivation and credits it
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the fundamental tests on the Calculator's command line
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the governor's admission on the Calculator's command line
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: SHA-256 and Unicode's normalization on the Calculator's command line, so that an agent's own tools can be checked against the Calculator's
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the permissions function on the Calculator's command line, beside the command that reads words
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the zones on the Calculator's command line
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the converter that writes the specification pages from what the checked library gives, with its checks
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the verification's difference, its uncertainty and its zeta, computed exactly
	* 2026-10-19, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a check that reads a restricted list now runs only code from the trunk		* 2026-10-19, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a check that reads a restricted list now runs only code from the trunk
	* 2026-10-19, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the design for how the wiki's calculation jobs are started, written up after the scheduled run of test T3 failed		* 2026-10-19, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the design for how the wiki's calculation jobs are started, written up after the scheduled run of test T3 failed
Line 7:		Line 21:
	* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one		* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one
	* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a scheduled build session can now take queued tasks unattended		* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a scheduled build session can now take queued tasks unattended
			* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: the runner's step that requires a check now names the service that posts it
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run
Line 141:		Line 156:
	* 2026-10-10, [[Principia Machina/Progress/Phase 0\|Phase 0]]: the skeleton		* 2026-10-10, [[Principia Machina/Progress/Phase 0\|Phase 0]]: the skeleton

	as of 2026-10-19		as of 2026-10-21

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-19T19:52:30Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 19:52, 19 October 2026
Line 2:		Line 2:
	{{Principia Machina map}}		{{Principia Machina map}}
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
			* 2026-10-19, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a check that reads a restricted list now runs only code from the trunk
			* 2026-10-19, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the design for how the wiki's calculation jobs are started, written up after the scheduled run of test T3 failed
	* 2026-10-19, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the program that reads the specification from the checked library now states the Calculator's version and the Lean that checked it at the head of what it writes, and gives each file comment the line it opens on beside its text, so that the pages can show a file's comments and its definitions in the order they stand in the source		* 2026-10-19, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the program that reads the specification from the checked library now states the Calculator's version and the Lean that checked it at the head of what it writes, and gives each file comment the line it opens on beside its text, so that the pages can show a file's comments and its definitions in the order they stand in the source
	* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one		* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-19T02:29:52Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 02:29, 19 October 2026
Line 2:		Line 2:
	{{Principia Machina map}}		{{Principia Machina map}}
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
			* 2026-10-19, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the program that reads the specification from the checked library now states the Calculator's version and the Lean that checked it at the head of what it writes, and gives each file comment the line it opens on beside its text, so that the pages can show a file's comments and its definitions in the order they stand in the source
	* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one		* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one
	* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a scheduled build session can now take queued tasks unattended		* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a scheduled build session can now take queued tasks unattended

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-19T02:28:28Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 02:28, 19 October 2026
Line 3:		Line 3:
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
	* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one		* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one
			* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a scheduled build session can now take queued tasks unattended
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-19T01:23:41Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 01:23, 19 October 2026
Line 5:		Line 5:
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run
			* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the closing run's record of test T3's scheduled run now names how many of the 100 calls failed and the first failure, and gives the processor time as the whole run's, under or over the budget of a tenth of the hourly cap
	* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the structure check of the equations of motion		* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the structure check of the equations of motion
	* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the falcons		* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the falcons

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-19T00:07:33Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 00:07, 19 October 2026
Line 2:		Line 2:
	{{Principia Machina map}}		{{Principia Machina map}}
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
			* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run
Line 135:		Line 136:
	* 2026-10-10, [[Principia Machina/Progress/Phase 0\|Phase 0]]: the skeleton		* 2026-10-10, [[Principia Machina/Progress/Phase 0\|Phase 0]]: the skeleton

	as of 2026-10-18		as of 2026-10-19

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-18T16:08:52Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 16:08, 18 October 2026
Line 3:		Line 3:
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy
			* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run
	* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the structure check of the equations of motion		* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the structure check of the equations of motion
	* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the falcons		* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the falcons

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-18T15:43:58Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 15:43, 18 October 2026
Line 2:		Line 2:
	{{Principia Machina map}}		{{Principia Machina map}}
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
			* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy
	* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the structure check of the equations of motion		* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the structure check of the equations of motion
	* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the falcons		* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the falcons

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-18T04:16:04Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 04:16, 18 October 2026
Line 2:		Line 2:
	{{Principia Machina map}}		{{Principia Machina map}}
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
			* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the structure check of the equations of motion
			* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the falcons
			* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for identity, the sponsor and the prompt lint
			* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for Provisions
			* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the register functions
			* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for score and beta
	* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the strike rule's parts that read the Research Assembly and the register answer on the Calculator's command line		* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the strike rule's parts that read the Research Assembly and the register answer on the Calculator's command line
			* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for units and dimensions, in its final form
	* 2026-10-17, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a session served by machine 2 was steered from machine 3 and from a phone (acceptance check 3)		* 2026-10-17, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a session served by machine 2 was steered from machine 3 and from a phone (acceptance check 3)
	* 2026-10-17, [[Principia Machina/Progress/Phase 0\|Phase 0]]: the status panel says when it was last updated		* 2026-10-17, [[Principia Machina/Progress/Phase 0\|Phase 0]]: the status panel says when it was last updated
Line 16:		Line 23:
	* 2026-10-17, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, as the Declarer chose		* 2026-10-17, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, as the Declarer chose
	* 2026-10-17, [[Principia Machina/Progress/Phase 2\|Phase 2]]: a Provision's kind read from its text, as the Declarer chose		* 2026-10-17, [[Principia Machina/Progress/Phase 2\|Phase 2]]: a Provision's kind read from its text, as the Declarer chose
			* 2026-10-17, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Declarer's answers on the governor's admission, built
	* 2026-10-16, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2 set up by the setup script		* 2026-10-16, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2 set up by the setup script
	* 2026-10-16, [[Principia Machina/Progress/Phase 0\|Phase 0]]: the names check runs on machine 2 from its own local list, clean over every file		* 2026-10-16, [[Principia Machina/Progress/Phase 0\|Phase 0]]: the names check runs on machine 2 from its own local list, clean over every file

← Older revision		Revision as of 02:50, 21 October 2026
Line 2:		Line 2:
	{{Principia Machina map}}		{{Principia Machina map}}
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
			* 2026-10-21, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the wiki moved to the server the Operator controls
	* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, built for the declared forms, as the Declarer chose (an input past the bound refused, an intermediate value that would cross it enclosed)		* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, built for the declared forms, as the Declarer chose (an input past the bound refused, an intermediate value that would cross it enclosed)
	* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, built for the yardsticks		* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, built for the yardsticks
Line 7:		Line 8:
	* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: hold scope on the Calculator's command line		* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: hold scope on the Calculator's command line
	* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the strike rule's conditions of a record now take a point whose value in SI units carries a power of pi, such as an angle given in degrees		* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the strike rule's conditions of a record now take a point whose value in SI units carries a power of pi, such as an angle given in degrees
			* 2026-10-21, [[Principia Machina/Progress/Phase 3\|Phase 3]]: the rehearsal wiki
	* 2026-10-20, [[Principia Machina/Progress/Phase 1\|Phase 1]]: every place that builds the library now fetches the community mathematics library's compiled files before building, when the library depends on it		* 2026-10-20, [[Principia Machina/Progress/Phase 1\|Phase 1]]: every place that builds the library now fetches the community mathematics library's compiled files before building, when the library depends on it
	* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command line checks a structured derivation and credits it		* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command line checks a structured derivation and credits it
Line 17:		Line 19:
	* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the verification's difference, its uncertainty and its zeta, computed exactly		* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the verification's difference, its uncertainty and its zeta, computed exactly
	* 2026-10-19, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a check that reads a restricted list now runs only code from the trunk		* 2026-10-19, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a check that reads a restricted list now runs only code from the trunk
			* 2026-10-19, [[Principia Machina/Progress/Phase 1\|Phase 1]]: tests T1, T2, T3 and T5 run again on a server the Operator controls, built from nothing by one provisioning script
	* 2026-10-19, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the design for how the wiki's calculation jobs are started, written up after the scheduled run of test T3 failed		* 2026-10-19, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the design for how the wiki's calculation jobs are started, written up after the scheduled run of test T3 failed
	* 2026-10-19, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the program that reads the specification from the checked library now states the Calculator's version and the Lean that checked it at the head of what it writes, and gives each file comment the line it opens on beside its text, so that the pages can show a file's comments and its definitions in the order they stand in the source		* 2026-10-19, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the program that reads the specification from the checked library now states the Calculator's version and the Lean that checked it at the head of what it writes, and gives each file comment the line it opens on beside its text, so that the pages can show a file's comments and its definitions in the order they stand in the source

← Older revision		Revision as of 02:45, 21 October 2026
Line 2:		Line 2:
	{{Principia Machina map}}		{{Principia Machina map}}
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
			* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, built for the declared forms, as the Declarer chose (an input past the bound refused, an intermediate value that would cross it enclosed)
			* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bound on the size of an exact number, built for the yardsticks
			* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the bibliography's checks on the Calculator's command line
			* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: hold scope on the Calculator's command line
			* 2026-10-21, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the strike rule's conditions of a record now take a point whose value in SI units carries a power of pi, such as an angle given in degrees
			* 2026-10-20, [[Principia Machina/Progress/Phase 1\|Phase 1]]: every place that builds the library now fetches the community mathematics library's compiled files before building, when the library depends on it
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command line checks a structured derivation and credits it
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the fundamental tests on the Calculator's command line
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the governor's admission on the Calculator's command line
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: SHA-256 and Unicode's normalization on the Calculator's command line, so that an agent's own tools can be checked against the Calculator's
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the permissions function on the Calculator's command line, beside the command that reads words
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the zones on the Calculator's command line
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the converter that writes the specification pages from what the checked library gives, with its checks
			* 2026-10-20, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the verification's difference, its uncertainty and its zeta, computed exactly
	* 2026-10-19, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a check that reads a restricted list now runs only code from the trunk		* 2026-10-19, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a check that reads a restricted list now runs only code from the trunk
	* 2026-10-19, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the design for how the wiki's calculation jobs are started, written up after the scheduled run of test T3 failed		* 2026-10-19, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the design for how the wiki's calculation jobs are started, written up after the scheduled run of test T3 failed
Line 7:		Line 21:
	* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one		* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one
	* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a scheduled build session can now take queued tasks unattended		* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a scheduled build session can now take queued tasks unattended
			* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: the runner's step that requires a check now names the service that posts it
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run
Line 141:		Line 156:
	* 2026-10-10, [[Principia Machina/Progress/Phase 0\|Phase 0]]: the skeleton		* 2026-10-10, [[Principia Machina/Progress/Phase 0\|Phase 0]]: the skeleton

	as of 2026-10-19		as of 2026-10-21

← Older revision		Revision as of 02:28, 19 October 2026
Line 3:		Line 3:
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
	* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one		* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: machine 2's setup tells an installed runner from a running one
			* 2026-10-18, [[Principia Machina/Progress/Phase 0\|Phase 0]]: a scheduled build session can now take queued tasks unattended
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run

← Older revision		Revision as of 01:23, 19 October 2026
Line 5:		Line 5:
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run
			* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: the closing run's record of test T3's scheduled run now names how many of the 100 calls failed and the first failure, and gives the processor time as the whole run's, under or over the budget of a tenth of the hourly cap
	* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the structure check of the equations of motion		* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the structure check of the equations of motion
	* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the falcons		* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the falcons

← Older revision		Revision as of 16:08, 18 October 2026
Line 3:		Line 3:
	'''Progress log''': one line per item done, newest first; each phase's page has the whole item.		'''Progress log''': one line per item done, newest first; each phase's page has the whole item.
	* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy		* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: version 1's named texts copied from the Operator's copy
			* 2026-10-18, [[Principia Machina/Progress/Phase 1\|Phase 1]]: test T3 on the wiki's host, from one scheduled run
	* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the structure check of the equations of motion		* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the structure check of the equations of motion
	* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the falcons		* 2026-10-18, [[Principia Machina/Progress/Phase 2\|Phase 2]]: the Calculator's command for the falcons