Principia Machina/Progress/Status - 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 10:		Line 10:
	<div class="pma-strip-head">Master annunciator · lamps judged on 2026-10-21</div>		<div class="pma-strip-head">Master annunciator · lamps judged on 2026-10-21</div>
	<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>		<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">12 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22~~</span><span class="pma-tile-flag pma-lamp-red">1 FAULT~~</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">13 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 2</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">16 of 19 done</span><span class="pma-tile-meta">likely 2026-11-26</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 2</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">16 of 19 done</span><span class="pma-tile-meta">likely 2026-11-26</span></div>
	<div class="pma-tile pma-lamp-~~grey~~"><span class="pma-tile-name">Phase 3</span><span class="pma-tile-word">~~NOT STARTED~~</span><span class="pma-tile-meta">0 of 8 done</span><span class="pma-tile-meta">likely 2026-12-13</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 3</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">1 of 8 done</span><span class="pma-tile-meta">likely 2026-12-13</span></div>
	<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 4</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 6 done</span><span class="pma-tile-meta">likely 2026-12-20</span></div>		<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 4</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 6 done</span><span class="pma-tile-meta">likely 2026-12-20</span></div>
	<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 5</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 6 done</span><span class="pma-tile-meta">likely 2027-01-03</span></div>		<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 5</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 6 done</span><span class="pma-tile-meta">likely 2027-01-03</span></div>
Line 20:		Line 20:

	== Faults ==		== Faults ==
	<div class="pma-~~panel-wrap~~">		<div class="pma-faults"><span class="pma-label pma-lamp-green">No faults</span></div>
	{\| class="pma-~~panel~~ pma-~~faults"~~
	~~! class="pma-c-phase" \| Phase !! Item !! class="pma-c-state" \| Fault !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected~~
	\|-
	~~\| Phase 1 \|\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note~~">~~: FAIL in one scheduled run, 100 of 100 calls failed (call 1: exit -1); the whole run used 1.418 CPU-seconds, under the budget of 400; the Declarer decides what follows~~</span> ~~\|\| class="pma-lamp pma-lamp-red" \| BLOCKED \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18~~
	\|}
	</div>

	{\| class="wikitable"		{\| class="wikitable"
	! updated Date: !! Pacific Time !! UTC		! updated Date: !! Pacific Time !! UTC
			\|-
			\| 2026-10-20 \|\| 19:50 PDT \|\| 2026-10-21 02:50
	\|-		\|-
	\| 2026-10-20 \|\| 19:45 PDT \|\| 2026-10-21 02:45		\| 2026-10-20 \|\| 19:45 PDT \|\| 2026-10-21 02:45
	\|-		\|-
	\| 2026-10-18 \|\| 19:29 PDT \|\| 2026-10-19 02:29		\| 2026-10-18 \|\| 19:29 PDT \|\| 2026-10-19 02:29
	\|-
	~~\| 2026-10-18 \|\| 19:15 PDT \|\| 2026-10-19 02:15~~
	\|}		\|}

Line 57:		Line 51:
	<div class="pma-panel-wrap">		<div class="pma-panel-wrap">
	{\| class="pma-panel"		{\| class="pma-panel"
	\|+ [[Principia Machina/Progress/Phase 1\|Phase 1]]: Foundations · checked 2026-10-20		\|+ [[Principia Machina/Progress/Phase 1\|Phase 1]]: Foundations · checked 2026-10-21
	! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked		! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked
	\|-		\|-
Line 64:		Line 58:
	\| Test T2: one timed call with a 1 MB input, through the wiki's command framework<span class="pma-note">: PASS, 0.070 CPU-seconds a call</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Test T2: one timed call with a 1 MB input, through the wiki's command framework<span class="pma-note">: PASS, 0.070 CPU-seconds a call</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17
	\|-		\|-
	\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: ~~FAIL in one scheduled run~~, ~~100~~ of 100 calls failed ~~(call 1: exit -1); the whole~~ run ~~used 1.418 CPU-seconds,~~ under the ~~budget of 400; the Declarer decides what follows~~</span> \|\| class="pma-lamp pma-lamp-~~red~~" \| ~~OVERDUE<br /><span class="pma-lamp-sub">BLOCKED</span>~~ \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-20		\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: PASS on the server the Operator controls, 0 of 100 calls failed from a scheduled run and under the job runner's limits</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-21
	\|-		\|-
	\| Test T5: a proof checked on the host by an independent Lean kernel checker<span class="pma-note">: PASS, 0.083 CPU-seconds for a theorem and its closure</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Test T5: a proof checked on the host by an independent Lean kernel checker<span class="pma-note">: PASS, 0.083 CPU-seconds for a theorem and its closure</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17
Line 80:		Line 74:
	\| The terminology map \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14		\| The terminology map \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14
	\|-		\|-
	\| The monthly survey of Lean's toolchain, as a scheduled task that proposes upgrades<span class="pma-note">: set up to run monthly; its first run falls on 2026-10-22</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-22 \|\| class="pma-wide pma-date" \| 2026-10-20		\| The monthly survey of Lean's toolchain, as a scheduled task that proposes upgrades<span class="pma-note">: set up to run monthly; its first run falls on 2026-10-22</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-22 \|\| class="pma-wide pma-date" \| 2026-10-21
	\|-		\|-
	\| Publishing the framework's pages from the source, by the Declarer's act \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14		\| Publishing the framework's pages from the source, by the Declarer's act \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14
Line 135:		Line 129:
	<div class="pma-panel-wrap">		<div class="pma-panel-wrap">
	{\| class="pma-panel"		{\| class="pma-panel"
	\|+ [[Principia Machina/Progress/Phase 3\|Phase 3]]: Custos · checked 2026-10-14		\|+ [[Principia Machina/Progress/Phase 3\|Phase 3]]: Custos · checked 2026-10-21
	! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked		! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked
	\|-		\|-
	\| A rehearsal wiki running the host's software, MediaWiki 1.46 on PHP 8.4 \|\| class="pma-lamp pma-lamp-~~grey~~" \| ~~NOT STARTED~~ \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-12-13 \|\| class="pma-wide pma-date" \| 2026-10-14		\| A rehearsal wiki running the host's software, MediaWiki 1.46 on PHP 8.4<span class="pma-note">: made on demand on a fresh server by the provisioning script, when a release needs one</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-12-13 \|\| class="pma-wide pma-date" \| 2026-10-21
	\|-		\|-
	\| Custos's page classes \|\| class="pma-lamp pma-lamp-grey" \| NOT STARTED \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-12-13 \|\| class="pma-wide pma-date" \| 2026-10-14		\| Custos's page classes \|\| class="pma-lamp pma-lamp-grey" \| NOT STARTED \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-12-13 \|\| class="pma-wide pma-date" \| 2026-10-14
Line 225:		Line 219:
	P1 [label="Phase 1 Foundations\nunder way: the current focus", fillcolor="#cedff2", color="#6a8fbf", penwidth=2.4];		P1 [label="Phase 1 Foundations\nunder way: the current focus", fillcolor="#cedff2", color="#6a8fbf", penwidth=2.4];
	P2 [label="Phase 2 The Calculator\nunder way", fillcolor="#cedff2", color="#6a8fbf"];		P2 [label="Phase 2 The Calculator\nunder way", fillcolor="#cedff2", color="#6a8fbf"];
	P3 [label="Phase 3 Custos\~~nnot started~~"];		P3 [label="Phase 3 Custos\nunder way", fillcolor="#cedff2", color="#6a8fbf"];
	P4 [label="Phase 4 The Research Client\nnot started"];		P4 [label="Phase 4 The Research Client\nnot started"];
	P5 [label="Phase 5 Other model families\nnot started"];		P5 [label="Phase 5 Other model families\nnot started"];
Line 234:		Line 228:
	</graphviz>		</graphviz>
	</div>		</div>
	<div class="pma-caption">'''Figure 7.''' The seven phases, in order, drawn from the status panel: Phase 0 done; Phases 1 ~~and 2~~ under way; Phases 3 to 6 not started. The current focus is Phase 1, the lowest phase not done. A phase may begin before the one before it is done. Every state is written in its box; the colours repeat it: green, done; blue, under way; grey, not started; a heavier outline, the current focus.</div>		<div class="pma-caption">'''Figure 7.''' The seven phases, in order, drawn from the status panel: Phase 0 done; Phases 1 to 3 under way; Phases 4 to 6 not started. The current focus is Phase 1, the lowest phase not done. A phase may begin before the one before it is done. Every state is written in its box; the colours repeat it: green, done; blue, under way; grey, not started; a heavier outline, the current focus.</div>

	== This panel ==		== This panel ==

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 8:		Line 8:

	<div class="pma-strip">		<div class="pma-strip">
	<div class="pma-strip-head">Master annunciator · lamps judged on 2026-10-19</div>		<div class="pma-strip-head">Master annunciator · lamps judged on 2026-10-21</div>
	<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>		<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">12 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span><span class="pma-tile-flag pma-lamp-red">1 FAULT</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">12 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span><span class="pma-tile-flag pma-lamp-red">1 FAULT</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 2</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">15 of 19 done</span><span class="pma-tile-meta">likely 2026-11-26</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 2</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">16 of 19 done</span><span class="pma-tile-meta">likely 2026-11-26</span></div>
	<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 3</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 8 done</span><span class="pma-tile-meta">likely 2026-12-13</span></div>		<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 3</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 8 done</span><span class="pma-tile-meta">likely 2026-12-13</span></div>
	<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 4</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 6 done</span><span class="pma-tile-meta">likely 2026-12-20</span></div>		<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 4</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 6 done</span><span class="pma-tile-meta">likely 2026-12-20</span></div>
Line 30:		Line 30:
	{\| class="wikitable"		{\| class="wikitable"
	! updated Date: !! Pacific Time !! UTC		! updated Date: !! Pacific Time !! UTC
			\|-
			\| 2026-10-20 \|\| 19:45 PDT \|\| 2026-10-21 02:45
	\|-		\|-
	\| 2026-10-18 \|\| 19:29 PDT \|\| 2026-10-19 02:29		\| 2026-10-18 \|\| 19:29 PDT \|\| 2026-10-19 02:29
	\|-		\|-
	\| 2026-10-18 \|\| 19:15 PDT \|\| 2026-10-19 02:15		\| 2026-10-18 \|\| 19:15 PDT \|\| 2026-10-19 02:15
	\|-
	~~\| 2026-10-18 \|\| 18:23 PDT \|\| 2026-10-19 01:23~~
	\|}		\|}

Line 57:		Line 57:
	<div class="pma-panel-wrap">		<div class="pma-panel-wrap">
	{\| class="pma-panel"		{\| class="pma-panel"
	\|+ [[Principia Machina/Progress/Phase 1\|Phase 1]]: Foundations · checked 2026-10-19		\|+ [[Principia Machina/Progress/Phase 1\|Phase 1]]: Foundations · checked 2026-10-20
	! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked		! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked
	\|-		\|-
Line 64:		Line 64:
	\| Test T2: one timed call with a 1 MB input, through the wiki's command framework<span class="pma-note">: PASS, 0.070 CPU-seconds a call</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Test T2: one timed call with a 1 MB input, through the wiki's command framework<span class="pma-note">: PASS, 0.070 CPU-seconds a call</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17
	\|-		\|-
	\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: FAIL in one scheduled run, 100 of 100 calls failed (call 1: exit -1); the whole run used 1.418 CPU-seconds, under the budget of 400; the Declarer decides what follows</span> \|\| class="pma-lamp pma-lamp-red" \| OVERDUE<br /><span class="pma-lamp-sub">BLOCKED</span> \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-19		\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: FAIL in one scheduled run, 100 of 100 calls failed (call 1: exit -1); the whole run used 1.418 CPU-seconds, under the budget of 400; the Declarer decides what follows</span> \|\| class="pma-lamp pma-lamp-red" \| OVERDUE<br /><span class="pma-lamp-sub">BLOCKED</span> \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-20
	\|-		\|-
	\| Test T5: a proof checked on the host by an independent Lean kernel checker<span class="pma-note">: PASS, 0.083 CPU-seconds for a theorem and its closure</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Test T5: a proof checked on the host by an independent Lean kernel checker<span class="pma-note">: PASS, 0.083 CPU-seconds for a theorem and its closure</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17
Line 80:		Line 80:
	\| The terminology map \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14		\| The terminology map \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14
	\|-		\|-
	\| The monthly survey of Lean's toolchain, as a scheduled task that proposes upgrades<span class="pma-note">: set up to run monthly; its first run falls on 2026-10-22</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-22 \|\| class="pma-wide pma-date" \| 2026-10-19		\| The monthly survey of Lean's toolchain, as a scheduled task that proposes upgrades<span class="pma-note">: set up to run monthly; its first run falls on 2026-10-22</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-22 \|\| class="pma-wide pma-date" \| 2026-10-20
	\|-		\|-
	\| Publishing the framework's pages from the source, by the Declarer's act \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14		\| Publishing the framework's pages from the source, by the Declarer's act \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14
Line 91:		Line 91:
	<div class="pma-panel-wrap">		<div class="pma-panel-wrap">
	{\| class="pma-panel"		{\| class="pma-panel"
	\|+ [[Principia Machina/Progress/Phase 2\|Phase 2]]: The Calculator · checked 2026-10-19		\|+ [[Principia Machina/Progress/Phase 2\|Phase 2]]: The Calculator · checked 2026-10-21
	! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked		! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked
	\|-		\|-
Line 104:		Line 104:
	\| Fundamental tests and isomorphism checks \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| Fundamental tests and isomorphism checks \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| Records and the register functions~~<span class="pma-note">: the verification's difference, its uncertainty and its zeta wait on the numeric meaning's application to the verification</span>~~ \|\| class="pma-lamp pma-lamp-~~lgreen~~" \| ~~PARTIAL 3 of 4~~ \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-19		\| Records and the register functions \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-20
	\|-		\|-
	\| The strike rule, distance, SR8 and SR9 \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| The strike rule, distance, SR8 and SR9 \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
Line 126:		Line 126:
	\| Identity, sponsor and lint \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Identity, sponsor and lint \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Governor and permissions<span class="pma-note">: the permissions function and the governor's admission, with the Declarer's answers on it; the pressure levels, then the traffic stages, follow</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-19		\| Governor and permissions<span class="pma-note">: the permissions function and the governor's admission, with the Declarer's answers on it; the pressure levels, then the traffic stages, follow</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-21
	\|-		\|-
	\| The structured derivation checker, with its soundness proof<span class="pma-note">: the ~~step language, its~~ checker, its credit and the ~~proof~~ that ~~it is sound, with matching a law to an instance of it; which laws may be matched so and what~~ a ~~derivative means wait on the Declarer~~'s ~~choices~~</span> \|\| class="pma-lamp pma-lamp-~~amber~~" \| ~~UNDER WAY~~ \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-19		\| The structured derivation checker, with its soundness proof<span class="pma-note">: the checker, its credit and the command that credits a record's derivation; approximation steps with checked bounds follow</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 1 of 2 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-21
	\|-		\|-
	\| The generated specification pages and their converter, shipped with each release<span class="pma-note">: the program that reads the checked library; the converter, its checks ~~and~~ the rewrite of the comments the pages carry ~~follow~~</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-19		\| The generated specification pages and their converter, shipped with each release<span class="pma-note">: the program that reads the checked library and the converter with its checks; the rewrite of the comments the pages carry follows</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-21
	\|}		\|}
	</div>		</div>
	<div class="pma-panel-wrap">		<div class="pma-panel-wrap">
	{\| class="pma-panel"		{\| class="pma-panel"
	\|+ Phase 3: Custos · checked 2026-10-14		\|+ [[Principia Machina/Progress/Phase 3\|Phase 3]]: Custos · checked 2026-10-14
	! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked		! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked
	\|-		\|-
Line 241:		Line 241:
	! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Checked		! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Checked
	\|-		\|-
	\| Figure 7 copies current<span class="pma-note">: waiting for the next publish: the copy on the Lean transition page and on the Main Page differs</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Declarer \|\| class="pma-date" \| 2026-10-19		\| Figure 7 copies current<span class="pma-note">: waiting for the next publish: the copy on the Lean transition page and on the Main Page differs</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Declarer \|\| class="pma-date" \| 2026-10-21
	\|}		\|}
	</div>		</div>

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

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-19T02:29:54Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 02:29, 19 October 2026
Line 30:		Line 30:
	{\| class="wikitable"		{\| class="wikitable"
	! updated Date: !! Pacific Time !! UTC		! updated Date: !! Pacific Time !! UTC
			\|-
			\| 2026-10-18 \|\| 19:29 PDT \|\| 2026-10-19 02:29
	\|-		\|-
	\| 2026-10-18 \|\| 19:15 PDT \|\| 2026-10-19 02:15		\| 2026-10-18 \|\| 19:15 PDT \|\| 2026-10-19 02:15
	\|-		\|-
	\| 2026-10-18 \|\| 18:23 PDT \|\| 2026-10-19 01:23		\| 2026-10-18 \|\| 18:23 PDT \|\| 2026-10-19 01:23
	\|-
	~~\| 2026-10-18 \|\| 17:07 PDT \|\| 2026-10-19 00:07~~
	\|}		\|}

Line 91:		Line 91:
	<div class="pma-panel-wrap">		<div class="pma-panel-wrap">
	{\| class="pma-panel"		{\| class="pma-panel"
	\|+ [[Principia Machina/Progress/Phase 2\|Phase 2]]: The Calculator · checked 2026-10-18		\|+ [[Principia Machina/Progress/Phase 2\|Phase 2]]: The Calculator · checked 2026-10-19
	! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked		! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked
	\|-		\|-
Line 104:		Line 104:
	\| Fundamental tests and isomorphism checks \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| Fundamental tests and isomorphism checks \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| Records and the register functions<span class="pma-note">: the verification's difference, its uncertainty and its zeta wait on the numeric meaning's application to the verification</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 3 of 4 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Records and the register functions<span class="pma-note">: the verification's difference, its uncertainty and its zeta wait on the numeric meaning's application to the verification</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 3 of 4 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-19
	\|-		\|-
	\| The strike rule, distance, SR8 and SR9 \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| The strike rule, distance, SR8 and SR9 \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
Line 126:		Line 126:
	\| Identity, sponsor and lint \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Identity, sponsor and lint \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Governor and permissions<span class="pma-note">: the permissions function and the governor's admission, with the Declarer's answers on it; the pressure levels, then the traffic stages, follow</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Governor and permissions<span class="pma-note">: the permissions function and the governor's admission, with the Declarer's answers on it; the pressure levels, then the traffic stages, follow</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-19
	\|-		\|-
	\| The structured derivation checker, with its soundness proof<span class="pma-note">: the step language, its checker, its credit and the proof that it is sound, with matching a law to an instance of it; which laws may be matched so and what a derivative means wait on the Declarer's choices</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| The structured derivation checker, with its soundness proof<span class="pma-note">: the step language, its checker, its credit and the proof that it is sound, with matching a law to an instance of it; which laws may be matched so and what a derivative means wait on the Declarer's choices</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-19
	\|-		\|-
	\| The generated specification pages and their converter, shipped with each release<span class="pma-note">: the program that reads the checked library; the converter, its checks and the rewrite of the comments the pages carry follow</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| The generated specification pages and their converter, shipped with each release<span class="pma-note">: the program that reads the checked library; the converter, its checks and the rewrite of the comments the pages carry follow</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-19
	\|}		\|}
	</div>		</div>

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-19T02:15:47Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 02:15, 19 October 2026
Line 24:		Line 24:
	! class="pma-c-phase" \| Phase !! Item !! class="pma-c-state" \| Fault !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected		! class="pma-c-phase" \| Phase !! Item !! class="pma-c-state" \| Fault !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected
	\|-		\|-
	\| Phase 1 \|\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: FAIL in one scheduled run, 1.418 CPU-seconds ~~for 100 calls against a cap~~ of ~~4000 an hour~~; the Declarer decides what follows</span> \|\| class="pma-lamp pma-lamp-red" \| BLOCKED \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18		\| Phase 1 \|\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: FAIL in one scheduled run, 100 of 100 calls failed (call 1: exit -1); the whole run used 1.418 CPU-seconds, under the budget of 400; the Declarer decides what follows</span> \|\| class="pma-lamp pma-lamp-red" \| BLOCKED \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18
	\|}		\|}
	</div>		</div>
Line 30:		Line 30:
	{\| class="wikitable"		{\| class="wikitable"
	! updated Date: !! Pacific Time !! UTC		! updated Date: !! Pacific Time !! UTC
			\|-
			\| 2026-10-18 \|\| 19:15 PDT \|\| 2026-10-19 02:15
	\|-		\|-
	\| 2026-10-18 \|\| 18:23 PDT \|\| 2026-10-19 01:23		\| 2026-10-18 \|\| 18:23 PDT \|\| 2026-10-19 01:23
	\|-		\|-
	\| 2026-10-18 \|\| 17:07 PDT \|\| 2026-10-19 00:07		\| 2026-10-18 \|\| 17:07 PDT \|\| 2026-10-19 00:07
	\|-
	~~\| 2026-10-18 \|\| 09:08 PDT \|\| 2026-10-18 16:08~~
	\|}		\|}

Line 57:		Line 57:
	<div class="pma-panel-wrap">		<div class="pma-panel-wrap">
	{\| class="pma-panel"		{\| class="pma-panel"
	\|+ [[Principia Machina/Progress/Phase 1\|Phase 1]]: Foundations · checked 2026-10-18		\|+ [[Principia Machina/Progress/Phase 1\|Phase 1]]: Foundations · checked 2026-10-19
	! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked		! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked
	\|-		\|-
Line 64:		Line 64:
	\| Test T2: one timed call with a 1 MB input, through the wiki's command framework<span class="pma-note">: PASS, 0.070 CPU-seconds a call</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Test T2: one timed call with a 1 MB input, through the wiki's command framework<span class="pma-note">: PASS, 0.070 CPU-seconds a call</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17
	\|-		\|-
	\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: FAIL in one scheduled run, 1.418 CPU-seconds ~~for 100 calls against a cap~~ of ~~4000 an hour~~; the Declarer decides what follows</span> \|\| class="pma-lamp pma-lamp-red" \| OVERDUE<br /><span class="pma-lamp-sub">BLOCKED</span> \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: FAIL in one scheduled run, 100 of 100 calls failed (call 1: exit -1); the whole run used 1.418 CPU-seconds, under the budget of 400; the Declarer decides what follows</span> \|\| class="pma-lamp pma-lamp-red" \| OVERDUE<br /><span class="pma-lamp-sub">BLOCKED</span> \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-19
	\|-		\|-
	\| Test T5: a proof checked on the host by an independent Lean kernel checker<span class="pma-note">: PASS, 0.083 CPU-seconds for a theorem and its closure</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Test T5: a proof checked on the host by an independent Lean kernel checker<span class="pma-note">: PASS, 0.083 CPU-seconds for a theorem and its closure</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17
Line 80:		Line 80:
	\| The terminology map \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14		\| The terminology map \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14
	\|-		\|-
	\| The monthly survey of Lean's toolchain, as a scheduled task that proposes upgrades<span class="pma-note">: set up to run monthly; its first run falls on 2026-10-22</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-22 \|\| class="pma-wide pma-date" \| 2026-10-18		\| The monthly survey of Lean's toolchain, as a scheduled task that proposes upgrades<span class="pma-note">: set up to run monthly; its first run falls on 2026-10-22</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-22 \|\| class="pma-wide pma-date" \| 2026-10-19
	\|-		\|-
	\| Publishing the framework's pages from the source, by the Declarer's act \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14		\| Publishing the framework's pages from the source, by the Declarer's act \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-19T01:23:42Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 01:23, 19 October 2026
Line 30:		Line 30:
	{\| class="wikitable"		{\| class="wikitable"
	! updated Date: !! Pacific Time !! UTC		! updated Date: !! Pacific Time !! UTC
			\|-
			\| 2026-10-18 \|\| 18:23 PDT \|\| 2026-10-19 01:23
	\|-		\|-
	\| 2026-10-18 \|\| 17:07 PDT \|\| 2026-10-19 00:07		\| 2026-10-18 \|\| 17:07 PDT \|\| 2026-10-19 00:07
	\|-		\|-
	\| 2026-10-18 \|\| 09:08 PDT \|\| 2026-10-18 16:08		\| 2026-10-18 \|\| 09:08 PDT \|\| 2026-10-18 16:08
	\|-
	~~\| 2026-10-18 \|\| 08:43 PDT \|\| 2026-10-18 15:43~~
	\|}		\|}

Line 57:		Line 57:
	<div class="pma-panel-wrap">		<div class="pma-panel-wrap">
	{\| class="pma-panel"		{\| class="pma-panel"
	\|+ [[Principia Machina/Progress/Phase 1\|Phase 1]]: Foundations · checked 2026-10-17		\|+ [[Principia Machina/Progress/Phase 1\|Phase 1]]: Foundations · checked 2026-10-18
	! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked		! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked
	\|-		\|-
Line 80:		Line 80:
	\| The terminology map \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14		\| The terminology map \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14
	\|-		\|-
	\| The monthly survey of Lean's toolchain, as a scheduled task that proposes upgrades<span class="pma-note">: set up to run monthly; its first run falls on 2026-10-22</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-22 \|\| class="pma-wide pma-date" \| 2026-10-17		\| The monthly survey of Lean's toolchain, as a scheduled task that proposes upgrades<span class="pma-note">: set up to run monthly; its first run falls on 2026-10-22</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-22 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Publishing the framework's pages from the source, by the Declarer's act \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14		\| Publishing the framework's pages from the source, by the Declarer's act \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-19T00:07:35Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 00:07, 19 October 2026
Line 8:		Line 8:

	<div class="pma-strip">		<div class="pma-strip">
	<div class="pma-strip-head">Master annunciator · lamps judged on 2026-10-18</div>		<div class="pma-strip-head">Master annunciator · lamps judged on 2026-10-19</div>
	<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>		<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">12 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span><span class="pma-tile-flag pma-lamp-red">1 FAULT</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">12 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span><span class="pma-tile-flag pma-lamp-red">1 FAULT</span></div>
Line 30:		Line 30:
	{\| class="wikitable"		{\| class="wikitable"
	! updated Date: !! Pacific Time !! UTC		! updated Date: !! Pacific Time !! UTC
			\|-
			\| 2026-10-18 \|\| 17:07 PDT \|\| 2026-10-19 00:07
	\|-		\|-
	\| 2026-10-18 \|\| 09:08 PDT \|\| 2026-10-18 16:08		\| 2026-10-18 \|\| 09:08 PDT \|\| 2026-10-18 16:08
	\|-		\|-
	\| 2026-10-18 \|\| 08:43 PDT \|\| 2026-10-18 15:43		\| 2026-10-18 \|\| 08:43 PDT \|\| 2026-10-18 15:43
	\|-
	~~\| 2026-10-17 \|\| 21:16 PDT \|\| 2026-10-18 04:16~~
	\|}		\|}

Line 64:		Line 64:
	\| Test T2: one timed call with a 1 MB input, through the wiki's command framework<span class="pma-note">: PASS, 0.070 CPU-seconds a call</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Test T2: one timed call with a 1 MB input, through the wiki's command framework<span class="pma-note">: PASS, 0.070 CPU-seconds a call</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17
	\|-		\|-
	\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: FAIL in one scheduled run, 1.418 CPU-seconds for 100 calls against a cap of 4000 an hour; the Declarer decides what follows</span> \|\| class="pma-lamp pma-lamp-red" \| BLOCKED \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: FAIL in one scheduled run, 1.418 CPU-seconds for 100 calls against a cap of 4000 an hour; the Declarer decides what follows</span> \|\| class="pma-lamp pma-lamp-red" \| OVERDUE<br /><span class="pma-lamp-sub">BLOCKED</span> \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Test T5: a proof checked on the host by an independent Lean kernel checker<span class="pma-note">: PASS, 0.083 CPU-seconds for a theorem and its closure</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Test T5: a proof checked on the host by an independent Lean kernel checker<span class="pma-note">: PASS, 0.083 CPU-seconds for a theorem and its closure</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17
Line 241:		Line 241:
	! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Checked		! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Checked
	\|-		\|-
	\| Figure 7 copies current<span class="pma-note">: waiting for the next publish: the copy on the Lean transition page and on the Main Page differs</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Declarer \|\| class="pma-date" \| 2026-10-18		\| Figure 7 copies current<span class="pma-note">: waiting for the next publish: the copy on the Lean transition page and on the Main Page differs</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Declarer \|\| class="pma-date" \| 2026-10-19
	\|}		\|}
	</div>		</div>

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

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-18T16:08:53Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 16:08, 18 October 2026
Line 10:		Line 10:
	<div class="pma-strip-head">Master annunciator · lamps judged on 2026-10-18</div>		<div class="pma-strip-head">Master annunciator · lamps judged on 2026-10-18</div>
	<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>		<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">12 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">12 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span><span class="pma-tile-flag pma-lamp-red">1 FAULT</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 2</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">15 of 19 done</span><span class="pma-tile-meta">likely 2026-11-26</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 2</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">15 of 19 done</span><span class="pma-tile-meta">likely 2026-11-26</span></div>
	<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 3</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 8 done</span><span class="pma-tile-meta">likely 2026-12-13</span></div>		<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 3</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 8 done</span><span class="pma-tile-meta">likely 2026-12-13</span></div>
Line 20:		Line 20:

	== Faults ==		== Faults ==
	<div class="pma-faults"~~><span~~ class="pma-~~label~~ pma-~~lamp~~-~~green~~">~~No faults~~</span></div>		<div class="pma-panel-wrap">
			{\| class="pma-panel pma-faults"
			! class="pma-c-phase" \| Phase !! Item !! class="pma-c-state" \| Fault !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected
			\|-
			\| Phase 1 \|\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: FAIL in one scheduled run, 1.418 CPU-seconds for 100 calls against a cap of 4000 an hour; the Declarer decides what follows</span> \|\| class="pma-lamp pma-lamp-red" \| BLOCKED \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18
			\|}
			</div>

	{\| class="wikitable"		{\| class="wikitable"
	! updated Date: !! Pacific Time !! UTC		! updated Date: !! Pacific Time !! UTC
			\|-
			\| 2026-10-18 \|\| 09:08 PDT \|\| 2026-10-18 16:08
	\|-		\|-
	\| 2026-10-18 \|\| 08:43 PDT \|\| 2026-10-18 15:43		\| 2026-10-18 \|\| 08:43 PDT \|\| 2026-10-18 15:43
	\|-		\|-
	\| 2026-10-17 \|\| 21:16 PDT \|\| 2026-10-18 04:16		\| 2026-10-17 \|\| 21:16 PDT \|\| 2026-10-18 04:16
	\|-
	~~\| 2026-10-17 \|\| 20:16 PDT \|\| 2026-10-18 03:16~~
	\|}		\|}

Line 58:		Line 64:
	\| Test T2: one timed call with a 1 MB input, through the wiki's command framework<span class="pma-note">: PASS, 0.070 CPU-seconds a call</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Test T2: one timed call with a 1 MB input, through the wiki's command framework<span class="pma-note">: PASS, 0.070 CPU-seconds a call</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17
	\|-		\|-
	\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: ~~PASS from the shell~~, 7.~~432~~ CPU-seconds for 100 calls; the ~~scheduled run owed~~</span> \|\| class="pma-lamp pma-lamp-~~amber~~" \| ~~UNDER WAY~~ \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Test T3: a hundred calls in one scheduled run, against the hourly budget<span class="pma-note">: FAIL in one scheduled run, 1.418 CPU-seconds for 100 calls against a cap of 4000 an hour; the Declarer decides what follows</span> \|\| class="pma-lamp pma-lamp-red" \| BLOCKED \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Test T5: a proof checked on the host by an independent Lean kernel checker<span class="pma-note">: PASS, 0.083 CPU-seconds for a theorem and its closure</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Test T5: a proof checked on the host by an independent Lean kernel checker<span class="pma-note">: PASS, 0.083 CPU-seconds for a theorem and its closure</span> \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-18T15:43:59Z

Progress pages rendered from the Principia Machina source

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-18T04:16:05Z

Progress pages rendered from the Principia Machina source

PMA Progress: Progress pages rendered from the Principia Machina source

2026-10-18T03:16:25Z

Progress pages rendered from the Principia Machina source

← Older revision		Revision as of 15:43, 18 October 2026
Line 10:		Line 10:
	<div class="pma-strip-head">Master annunciator · lamps judged on 2026-10-18</div>		<div class="pma-strip-head">Master annunciator · lamps judged on 2026-10-18</div>
	<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>		<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">11 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">12 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 2</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">15 of 19 done</span><span class="pma-tile-meta">likely 2026-11-26</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 2</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">15 of 19 done</span><span class="pma-tile-meta">likely 2026-11-26</span></div>
	<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 3</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 8 done</span><span class="pma-tile-meta">likely 2026-12-13</span></div>		<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 3</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 8 done</span><span class="pma-tile-meta">likely 2026-12-13</span></div>
Line 24:		Line 24:
	{\| class="wikitable"		{\| class="wikitable"
	! updated Date: !! Pacific Time !! UTC		! updated Date: !! Pacific Time !! UTC
			\|-
			\| 2026-10-18 \|\| 08:43 PDT \|\| 2026-10-18 15:43
	\|-		\|-
	\| 2026-10-17 \|\| 21:16 PDT \|\| 2026-10-18 04:16		\| 2026-10-17 \|\| 21:16 PDT \|\| 2026-10-18 04:16
	\|-		\|-
	\| 2026-10-17 \|\| 20:16 PDT \|\| 2026-10-18 03:16		\| 2026-10-17 \|\| 20:16 PDT \|\| 2026-10-18 03:16
	\|-
	~~\| 2026-10-17 \|\| 18:13 PDT \|\| 2026-10-18 01:13~~
	\|}		\|}

Line 66:		Line 66:
	\| The three-letter code table approved \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Declarer \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-15		\| The three-letter code table approved \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Declarer \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| Version 1's material copied into the source repository~~<span class="pma-note">: six specification texts and the full source of version 1's research client wait on the Operator's copy</span>~~ \|\| class="pma-lamp pma-lamp-~~lgreen~~" \| ~~PARTIAL 6 of 8~~ \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Version 1's material copied into the source repository \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Operator \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| The declared parameters and tuning options, in Lean \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14		\| The declared parameters and tuning options, in Lean \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-10-18 \|\| class="pma-wide pma-date" \| 2026-10-14

← Older revision		Revision as of 04:16, 18 October 2026
Line 11:		Line 11:
	<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>		<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">11 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">11 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 2</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">9 of 19 done</span><span class="pma-tile-meta">likely 2026-11-26</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 2</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">15 of 19 done</span><span class="pma-tile-meta">likely 2026-11-26</span></div>
	<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 3</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 8 done</span><span class="pma-tile-meta">likely 2026-12-13</span></div>		<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 3</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 8 done</span><span class="pma-tile-meta">likely 2026-12-13</span></div>
	<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 4</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 6 done</span><span class="pma-tile-meta">likely 2026-12-20</span></div>		<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 4</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 6 done</span><span class="pma-tile-meta">likely 2026-12-20</span></div>
Line 24:		Line 24:
	{\| class="wikitable"		{\| class="wikitable"
	! updated Date: !! Pacific Time !! UTC		! updated Date: !! Pacific Time !! UTC
			\|-
			\| 2026-10-17 \|\| 21:16 PDT \|\| 2026-10-18 04:16
	\|-		\|-
	\| 2026-10-17 \|\| 20:16 PDT \|\| 2026-10-18 03:16		\| 2026-10-17 \|\| 20:16 PDT \|\| 2026-10-18 03:16
	\|-		\|-
	\| 2026-10-17 \|\| 18:13 PDT \|\| 2026-10-18 01:13		\| 2026-10-17 \|\| 18:13 PDT \|\| 2026-10-18 01:13
	\|-
	~~\| 2026-10-17 \|\| 16:59 PDT \|\| 2026-10-17 23:59~~
	\|}		\|}

Line 90:		Line 90:
	\| Digests and canonical serialization \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| Digests and canonical serialization \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| Units and dimensions~~<span class="pma-note">: all seven of version 1's unit functions, with all of its test cases; the Calculator's command for them takes its final form with canonical serialization</span>~~ \|\| class="pma-lamp pma-lamp-~~lgreen~~" \| ~~PARTIAL 7 of 8~~ \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Units and dimensions \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| The zones: Starting Set, Correspondence Table, Criteria Set \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| The zones: Starting Set, Correspondence Table, Criteria Set \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
Line 98:		Line 98:
	\| Fundamental tests and isomorphism checks \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| Fundamental tests and isomorphism checks \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| Records and the register functions<span class="pma-note">: ~~the functions are ported, the record digests computed with SHA-256 as in version 1;~~ the verification's difference ~~waits~~ on the numeric meaning~~, and the Calculator~~'s ~~command follows~~</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Records and the register functions<span class="pma-note">: the verification's difference, its uncertainty and its zeta wait on the numeric meaning's application to the verification</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 3 of 4 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| The strike rule, distance, SR8 and SR9 \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| The strike rule, distance, SR8 and SR9 \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
Line 104:		Line 104:
	\| Hold scope \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| Hold scope \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| The structure check of the equations of motion~~<span class="pma-note">: version 1's two test sets pass; its call on the Calculator's command line follows canonical serialization</span>~~ \|\| class="pma-lamp pma-lamp-~~lgreen~~" \| ~~PARTIAL 2 of 3~~ \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| The structure check of the equations of motion \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Provisions<span class="pma-note">: the functions are ported, with the kinds Interaction and Convention, a Provision's kind read from its text, text read in NFC and the digests computed with SHA-256 as in version 1; the Calculator's command for them follows, answering what it cannot judge yet as owed</span> \|\| class="pma-lamp pma-lamp-~~lgreen~~" \| ~~PARTIAL 2 of 3~~ \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Provisions \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Probes and their comparison \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Probes and their comparison \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17
	\|-		\|-
	\| Score and beta<span class="pma-note">: ported with exact values, all of version 1's test cases passing, the user score's evidence with them now that the sponsor's functions are ported; the Calculator's command for the family follows</span> \|\| class="pma-lamp pma-lamp-~~lgreen~~" \| ~~PARTIAL 2 of 3~~ \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Score and beta \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Cluster \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| Cluster \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| Falcons~~<span class="pma-note">: the functions are ported, all 949 of version 1's test cases passing, text in NFC and the digests in SHA-256 as in version 1; the Calculator's command follows</span>~~ \|\| class="pma-lamp pma-lamp-~~lgreen~~" \| ~~PARTIAL 3 of 4~~ \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Falcons \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Bibliography \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| Bibliography \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| Identity, sponsor and lint~~<span class="pma-note">: identity, sponsor and lint are ported, text in NFC and the prompt digest computed with SHA-256 as in version 1; the Calculator's command for them follows</span>~~ \|\| class="pma-lamp pma-lamp-~~lgreen~~" \| ~~PARTIAL 3 of 4~~ \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Identity, sponsor and lint \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Governor and permissions<span class="pma-note">: the permissions function and the governor's admission~~; five questions on admission wait on~~ the Declarer; the pressure levels, then the traffic stages, follow</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| Governor and permissions<span class="pma-note">: the permissions function and the governor's admission, with the Declarer's answers on it; the pressure levels, then the traffic stages, follow</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| The structured derivation checker, with its soundness proof<span class="pma-note">: the step language, its checker, its credit and the proof that it is sound, with matching a law to an instance of it; which laws may be matched so and what a derivative means wait on the Declarer's choices</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18		\| The structured derivation checker, with its soundness proof<span class="pma-note">: the step language, its checker, its credit and the proof that it is sound, with matching a law to an instance of it; which laws may be matched so and what a derivative means wait on the Declarer's choices</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18

← Older revision		Revision as of 03:16, 18 October 2026
Line 11:		Line 11:
	<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>		<div class="pma-tile pma-lamp-green"><span class="pma-tile-name">Phase 0</span><span class="pma-tile-word">DONE</span><span class="pma-tile-meta">5 of 5 done</span><span class="pma-tile-meta">likely 2026-10-18</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">11 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 1</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">11 of 14 done</span><span class="pma-tile-meta">likely 2026-10-22</span></div>
	<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 2</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">8 of 19 done</span><span class="pma-tile-meta">likely 2026-11-26</span></div>		<div class="pma-tile pma-lamp-amber"><span class="pma-tile-name">Phase 2</span><span class="pma-tile-word">UNDER WAY</span><span class="pma-tile-meta">9 of 19 done</span><span class="pma-tile-meta">likely 2026-11-26</span></div>
	<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 3</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 8 done</span><span class="pma-tile-meta">likely 2026-12-13</span></div>		<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 3</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 8 done</span><span class="pma-tile-meta">likely 2026-12-13</span></div>
	<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 4</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 6 done</span><span class="pma-tile-meta">likely 2026-12-20</span></div>		<div class="pma-tile pma-lamp-grey"><span class="pma-tile-name">Phase 4</span><span class="pma-tile-word">NOT STARTED</span><span class="pma-tile-meta">0 of 6 done</span><span class="pma-tile-meta">likely 2026-12-20</span></div>
Line 24:		Line 24:
	{\| class="wikitable"		{\| class="wikitable"
	! updated Date: !! Pacific Time !! UTC		! updated Date: !! Pacific Time !! UTC
			\|-
			\| 2026-10-17 \|\| 20:16 PDT \|\| 2026-10-18 03:16
	\|-		\|-
	\| 2026-10-17 \|\| 18:13 PDT \|\| 2026-10-18 01:13		\| 2026-10-17 \|\| 18:13 PDT \|\| 2026-10-18 01:13
	\|-		\|-
	\| 2026-10-17 \|\| 16:59 PDT \|\| 2026-10-17 23:59		\| 2026-10-17 \|\| 16:59 PDT \|\| 2026-10-17 23:59
	\|-
	~~\| 2026-10-17 \|\| 16:01 PDT \|\| 2026-10-17 23:01~~
	\|}		\|}

Line 85:		Line 85:
	<div class="pma-panel-wrap">		<div class="pma-panel-wrap">
	{\| class="pma-panel"		{\| class="pma-panel"
	\|+ [[Principia Machina/Progress/Phase 2\|Phase 2]]: The Calculator · checked 2026-10-17		\|+ [[Principia Machina/Progress/Phase 2\|Phase 2]]: The Calculator · checked 2026-10-18
	! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked		! Item !! class="pma-c-state" \| State !! class="pma-wide pma-c-owner" \| Owner !! class="pma-c-date" \| Projected !! class="pma-wide pma-c-date" \| Checked
	\|-		\|-
	\| Digests and canonical serialization \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| Digests and canonical serialization \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| Units and dimensions<span class="pma-note">: all seven of version 1's unit functions, with all of its test cases; the Calculator's command for them takes its final form with canonical serialization</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 7 of 8 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Units and dimensions<span class="pma-note">: all seven of version 1's unit functions, with all of its test cases; the Calculator's command for them takes its final form with canonical serialization</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 7 of 8 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| The zones: Starting Set, Correspondence Table, Criteria Set \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| The zones: Starting Set, Correspondence Table, Criteria Set \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
Line 98:		Line 98:
	\| Fundamental tests and isomorphism checks \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| Fundamental tests and isomorphism checks \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| Records and the register functions<span class="pma-note">: the functions are ported, the record digests computed with SHA-256 as in version 1; the verification's difference waits on the numeric meaning, and the Calculator's command follows</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Records and the register functions<span class="pma-note">: the functions are ported, the record digests computed with SHA-256 as in version 1; the verification's difference waits on the numeric meaning, and the Calculator's command follows</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| The strike rule, distance, SR8 and SR9~~<span class="pma-note">: version 1's five test sets pass; its call on the Calculator's command line follows canonical serialization</span>~~ \|\| class="pma-lamp pma-lamp-~~lgreen~~" \| ~~PARTIAL 5 of 6~~ \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| The strike rule, distance, SR8 and SR9 \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Hold scope \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| Hold scope \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| The structure check of the equations of motion<span class="pma-note">: version 1's two test sets pass; its call on the Calculator's command line follows canonical serialization</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| The structure check of the equations of motion<span class="pma-note">: version 1's two test sets pass; its call on the Calculator's command line follows canonical serialization</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Provisions<span class="pma-note">: the functions are ported, with the kinds Interaction and Convention, a Provision's kind read from its text, text read in NFC and the digests computed with SHA-256 as in version 1; the Calculator's command for them follows, answering what it cannot judge yet as owed</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Provisions<span class="pma-note">: the functions are ported, with the kinds Interaction and Convention, a Provision's kind read from its text, text read in NFC and the digests computed with SHA-256 as in version 1; the Calculator's command for them follows, answering what it cannot judge yet as owed</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Probes and their comparison \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Probes and their comparison \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17
	\|-		\|-
	\| Score and beta<span class="pma-note">: ported with exact values, all of version 1's test cases passing, the user score's evidence with them now that the sponsor's functions are ported; the Calculator's command for the family follows</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Score and beta<span class="pma-note">: ported with exact values, all of version 1's test cases passing, the user score's evidence with them now that the sponsor's functions are ported; the Calculator's command for the family follows</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Cluster \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| Cluster \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| Falcons<span class="pma-note">: the functions are ported, all 949 of version 1's test cases passing, text in NFC and the digests in SHA-256 as in version 1; the Calculator's command follows</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 3 of 4 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Falcons<span class="pma-note">: the functions are ported, all 949 of version 1's test cases passing, text in NFC and the digests in SHA-256 as in version 1; the Calculator's command follows</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 3 of 4 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Bibliography \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15		\| Bibliography \|\| class="pma-lamp pma-lamp-green" \| DONE \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-15
	\|-		\|-
	\| Identity, sponsor and lint<span class="pma-note">: identity, sponsor and lint are ported, text in NFC and the prompt digest computed with SHA-256 as in version 1; the Calculator's command for them follows</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 3 of 4 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Identity, sponsor and lint<span class="pma-note">: identity, sponsor and lint are ported, text in NFC and the prompt digest computed with SHA-256 as in version 1; the Calculator's command for them follows</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 3 of 4 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| Governor and permissions<span class="pma-note">: the permissions function and the governor's admission; five questions on admission wait on the Declarer; the pressure levels, then the traffic stages, follow</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| Governor and permissions<span class="pma-note">: the permissions function and the governor's admission; five questions on admission wait on the Declarer; the pressure levels, then the traffic stages, follow</span> \|\| class="pma-lamp pma-lamp-lgreen" \| PARTIAL 2 of 3 \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| The structured derivation checker, with its soundness proof<span class="pma-note">: the step language, its checker, its credit and the proof that it is sound, with matching a law to an instance of it; which laws may be matched so and what a derivative means wait on the Declarer's choices</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| The structured derivation checker, with its soundness proof<span class="pma-note">: the step language, its checker, its credit and the proof that it is sound, with matching a law to an instance of it; which laws may be matched so and what a derivative means wait on the Declarer's choices</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|-		\|-
	\| The generated specification pages and their converter, shipped with each release<span class="pma-note">: the program that reads the checked library; the converter, its checks and the rewrite of the comments the pages carry follow</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-17		\| The generated specification pages and their converter, shipped with each release<span class="pma-note">: the program that reads the checked library; the converter, its checks and the rewrite of the comments the pages carry follow</span> \|\| class="pma-lamp pma-lamp-amber" \| UNDER WAY \|\| class="pma-wide" \| Agent \|\| class="pma-date" \| 2026-11-26 \|\| class="pma-wide pma-date" \| 2026-10-18
	\|}		\|}
	</div>		</div>