The Principia Machina/Inputs/Falcons - Revision history

BFP Rauch: Edited under the disclosure rule

2026-10-13T07:01:08Z

Edited under the disclosure rule

← Older revision		Revision as of 07:01, 13 October 2026
Line 45:		Line 45:
	\| FK-01 \|\| Status refresh \|\| PATCH \|\| EXACT MATCH on sites and version and status text; VERDICT on prose \|\| after each landing round \|\| AA \|\| operator		\| FK-01 \|\| Status refresh \|\| PATCH \|\| EXACT MATCH on sites and version and status text; VERDICT on prose \|\| after each landing round \|\| AA \|\| operator
	\|-		\|-
	\| FK-02 \|\| Revision impact map \|\| FINDINGS \|\| SET over (page, section, action) \|\| per TPS or ~~PMP-TPM~~ revision \|\| A \|\| reported, unapproved		\| FK-02 \|\| Revision impact map \|\| FINDINGS \|\| SET over (page, section, action) \|\| per TPS or the project instruction set revision \|\| A \|\| reported, unapproved
	\|-		\|-
	\| FK-03 \|\| Help against specification \|\| FINDINGS \|\| SET over (page, anchor, class) \|\| monthly and after FK-02 \|\| A \|\| reported, unapproved		\| FK-03 \|\| Help against specification \|\| FINDINGS \|\| SET over (page, anchor, class) \|\| monthly and after FK-02 \|\| A \|\| reported, unapproved
Line 78:		Line 78:
	\|}		\|}
	FK-20 BIBLIOGRAPHY CHECK, of class FINDINGS, belongs to the bibliography ([[The Principia Machina/Inputs/Bibliography\|Inputs: bibliography]]). With it the first catalogue holds eighteen falcon kinds: FK-01 to FK-20 less FK-09, which is not a falcon kind, and FK-18, withdrawn ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2, 5.20.5]]).		FK-20 BIBLIOGRAPHY CHECK, of class FINDINGS, belongs to the bibliography ([[The Principia Machina/Inputs/Bibliography\|Inputs: bibliography]]). With it the first catalogue holds eighteen falcon kinds: FK-01 to FK-20 less FK-09, which is not a falcon kind, and FK-18, withdrawn ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2, 5.20.5]]).
	FK-04 and FK-05 are the monthly survey of [[The Principia Machina/Inputs/Top performers\|the top-performer requirement]] (D142); both need their sources on the FALCON SOURCE LIST and outbound HTTPS from PHP (the host test). FK-06 resolves D-numbers against [[The Principia Machina/Foundations record\|the foundations record]] and [[The Principia Machina/Decisions\|its decision index]] on the wiki (D167.1). FK-11 targets the conceptual diagrams (the pages "Diagrams/C1 ..." to "Diagrams/C5 ...", "Diagrams/Top performers cycle" and "Diagrams/Falcon cycle~~") and the instruction set's process diagrams (the pages "Diagrams/P01 ..." to "Diagrams/P07 ...~~"). FK-14 reads the forms and submits nothing. FK-16 reads the public aggregate and ledger only. FK-09 stays reserved and undeclared (D158). FK-17 reads outside pages only as served material: its declaration, the declaring authority's to make, names the pages the help pages and [[The Principia Machina/TPS/8.3 References\|TPS 8.3]] cite that the declaring authority adds to the FALCON SOURCE LIST as EXACT URL entries, and a link to any other page is reported NOT SERVED (D211.1). FK-18, a read-path review, is withdrawn: read paths are TPX's acceptance tests (the READ PATHS checklist on the rehearsal install) and the red team's sandbox work, and their findings are what the restricted class hides from agents.		FK-04 and FK-05 are the monthly survey of [[The Principia Machina/Inputs/Top performers\|the top-performer requirement]] (D142); both need their sources on the FALCON SOURCE LIST and outbound HTTPS from PHP (the host test). FK-06 resolves D-numbers against [[The Principia Machina/Foundations record\|the foundations record]] and [[The Principia Machina/Decisions\|its decision index]] on the wiki (D167.1). FK-11 targets the conceptual diagrams (the pages "Diagrams/C1 ..." to "Diagrams/C5 ...", "Diagrams/Top performers cycle" and "Diagrams/Falcon cycle"). FK-14 reads the forms and submits nothing. FK-16 reads the public aggregate and ledger only. FK-09 stays reserved and undeclared (D158). FK-17 reads outside pages only as served material: its declaration, the declaring authority's to make, names the pages the help pages and [[The Principia Machina/TPS/8.3 References\|TPS 8.3]] cite that the declaring authority adds to the FALCON SOURCE LIST as EXACT URL entries, and a link to any other page is reported NOT SERVED (D211.1). FK-18, a read-path review, is withdrawn: read paths are TPX's acceptance tests (the READ PATHS checklist on the rehearsal install) and the red team's sandbox work, and their findings are what the restricted class hides from agents.

	'''Not falcon kinds.''' Work a machine can do exactly is TPX's own and is never handed out (the placement rule): the special-page refresh with its redirect and orphan reports; status-literal and count scans; structural diagrams and their rendering; diagram and page hashes; transcription of a declared artifact; page-minimum and navigation presence; database levels and volume housekeeping; the exclusion-name save hook and the first pass of the model-addressed sweep; the contrast of status colors; dormancy and stranded counts; the refusal-code export.		'''Not falcon kinds.''' Work a machine can do exactly is TPX's own and is never handed out (the placement rule): the special-page refresh with its redirect and orphan reports; status-literal and count scans; structural diagrams and their rendering; diagram and page hashes; transcription of a declared artifact; page-minimum and navigation presence; database levels and volume housekeeping; the exclusion-name save hook and the first pass of the model-addressed sweep; the contrast of status colors; dormancy and stranded counts; the refusal-code export.
Line 249:		Line 249:
	\| X7 \|\| authorization and TPX-written state (access lists, manifests and badge, staging RETURNs, collaboration and lock pages, control panel and logs, scorecard, community ledger and views, dossiers, checklist results) \|\| each is an authorization, or a fact whose author is part of its meaning		\| X7 \|\| authorization and TPX-written state (access lists, manifests and badge, staging RETURNs, collaboration and lock pages, control panel and logs, scorecard, community ledger and views, dossiers, checklist results) \|\| each is an authorization, or a fact whose author is part of its meaning
	\|-		\|-
	\| X8 \|\| instructions agents obey, as drafts or writes (TPS and the GTP layer, the agent-facing help set, TPC-PY, the published ~~PMP-TPM~~ copy) \|\| a change moves D(IS) and lapses every certificate; an agent-drafted change to what agents obey is the self-modification path; read-only reports over them are ALLOWED		\| X8 \|\| instructions agents obey, as drafts or writes (TPS and the GTP layer, the agent-facing help set, TPC-PY, the published copy of the project instruction set) \|\| a change moves D(IS) and lapses every certificate; an agent-drafted change to what agents obey is the self-modification path; read-only reports over them are ALLOWED
	\|-		\|-
	\| X9 \|\| account and identity data (registration, groups, USER and AGENT class, fingerprints, sponsor fields, AUTOMATION LIKELIHOOD) \|\| identity is TPX's derivation, never accepted from a caller		\| X9 \|\| account and identity data (registration, groups, USER and AGENT class, fingerprints, sponsor fields, AUTOMATION LIKELIHOOD) \|\| identity is TPX's derivation, never accepted from a caller

BFP Rauch: 1 revision imported

2026-10-03T01:45:29Z

1 revision imported

← Older revision	Revision as of 01:45, 3 October 2026
(No difference)

DeltaS Zero: G-1 (outside AI session 2): the lead's last sentence now says where the agent-facing page is and addresses no one (base revision 5445)

2026-10-03T01:35:13Z

G-1 (outside AI session 2): the lead's last sentence now says where the agent-facing page is and addresses no one (base revision 5445)

← Older revision		Revision as of 01:35, 3 October 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Inputs: falcons}}		{{DISPLAYTITLE:Inputs: falcons}}
	''Public Recorder inputs: a help set for the people who put things into The Principia Machina - authors of a new UWC, operators, and the declaring authority. It explains; the specification governs. Start at [[The Principia Machina/Inputs\|the index]]. ~~Agents read~~ [[The Principia Machina/Agent/Falcons\|the agent-facing page]] ~~instead~~.''		''Public Recorder inputs: a help set for the people who put things into The Principia Machina - authors of a new UWC, operators, and the declaring authority. It explains; the specification governs. Start at [[The Principia Machina/Inputs\|the index]]. Its counterpart for agents is [[The Principia Machina/Agent/Falcons\|the agent-facing page]].''

	{{:The Principia Machina/Diagrams/Falcon cycle}}		{{:The Principia Machina/Diagrams/Falcon cycle}}

BFP Rauch: 1 revision imported

2026-09-30T13:34:15Z

1 revision imported

← Older revision	Revision as of 13:34, 30 September 2026
(No difference)

DeltaS Zero: Post-TPC-PY page batch B3 (S154, S159): HF4 (help set; S171-LITERALS)

2026-09-30T13:34:05Z

Post-TPC-PY page batch B3 (S154, S159): HF4 (help set; S171-LITERALS)

BFP Rauch: 1 revision imported

2026-09-30T02:11:12Z

1 revision imported

← Older revision	Revision as of 02:11, 30 September 2026
(No difference)

DeltaS Zero: Post-TPC-PY page batch B2 (S90, S130): HF3 (help set, revision 7)

2026-09-30T02:10:58Z

Post-TPC-PY page batch B2 (S90, S130): HF3 (help set, revision 7)

DeltaS Zero: Post-TPC-PY page batch (S70): HF; SWEEP

2026-09-29T02:11:00Z

Post-TPC-PY page batch (S70): HF; SWEEP

← Older revision	Revision as of 02:11, 29 September 2026
(No difference)

BFP Rauch: 1 revision imported

2026-09-29T02:10:49Z

1 revision imported

DeltaS Zero: Abbreviations expanded at first use, DOF among them; stale version literals corrected (the user's directive, 2026-09-26)

2026-09-27T01:00:15Z

Abbreviations expanded at first use, DOF among them; stale version literals corrected (the user's directive, 2026-09-26)

← Older revision	Revision as of 01:00, 27 September 2026
(No difference)

← Older revision		Revision as of 13:34, 30 September 2026
Line 28:		Line 28:
	* the write targets: the pages a PATCH falcon may change;		* the write targets: the pages a PATCH falcon may change;
	* the material served: the page classes and outside sources the falcon kind reads;		* the material served: the page classes and outside sources the falcon kind reads;
	* the output schema, by its digest; it declares each quoted numeric field's QUOTE AFFIX and QUOTE SCALE (below). The digest is TPC's falcon_schema_digest, which refuses, with the reason "schema", a schema any of whose strings, its keys included, is not already in its own canonical text (line ends LF, NFC), so two schemas with one digest accept the same returned values ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2]]~~; revision 7, proposed~~);		* the output schema, by its digest; it declares each quoted numeric field's QUOTE AFFIX and QUOTE SCALE (below). The digest is TPC's falcon_schema_digest, which refuses, with the reason "schema", a schema any of whose strings, its keys included, is not already in its own canonical text (line ends LF, NFC), so two schemas with one digest accept the same returned values ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2]]);
	* each output field's class: MECHANICAL (TPX compares it) or INSPECTION (a person reads it);		* each output field's class: MECHANICAL (TPX compares it) or INSPECTION (a person reads it);
	* the agreement method: EXACT MATCH (field by field after canonical form), SET (keyed rows compared as sets), VERDICT (one draft; reviewers answer a fixed checklist; the verdicts are compared EXACT) or ANSWER KEY (answers compared with a key a person writes);		* the agreement method: EXACT MATCH (field by field after canonical form), SET (keyed rows compared as sets), VERDICT (one draft; reviewers answer a fixed checklist; the verdicts are compared EXACT) or ANSWER KEY (answers compared with a key a person writes);
Line 78:		Line 78:
	\|}		\|}
	FK-20 BIBLIOGRAPHY CHECK, of class FINDINGS, belongs to the bibliography ([[The Principia Machina/Inputs/Bibliography\|Inputs: bibliography]]). With it the first catalogue holds eighteen falcon kinds: FK-01 to FK-20 less FK-09, which is not a falcon kind, and FK-18, withdrawn ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2, 5.20.5]]).		FK-20 BIBLIOGRAPHY CHECK, of class FINDINGS, belongs to the bibliography ([[The Principia Machina/Inputs/Bibliography\|Inputs: bibliography]]). With it the first catalogue holds eighteen falcon kinds: FK-01 to FK-20 less FK-09, which is not a falcon kind, and FK-18, withdrawn ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2, 5.20.5]]).
	FK-04 and FK-05 are the monthly survey of [[The Principia Machina/Inputs/Top performers\|the top-performer requirement]] (D142); both need their sources on the FALCON SOURCE LIST and outbound HTTPS from PHP (the host test). FK-06 resolves D-numbers against [[The Principia Machina/Foundations record\|the foundations record]] and [[The Principia Machina/Decisions\|its decision index]] on the wiki (D167.1). FK-11 targets the conceptual diagrams (the pages "Diagrams/C1 ..." to "Diagrams/C5 ...", "Diagrams/Top performers cycle" and "Diagrams/Falcon cycle") and the instruction set's process diagrams (the pages "Diagrams/P01 ..." to "Diagrams/P07 ..."). FK-14 reads the forms and submits nothing. FK-16 reads the public aggregate and ledger only. FK-09 stays reserved and undeclared (D158). FK-17 reads outside pages only as served material: its declaration, the declaring authority's to make, names the pages the help pages and [[The Principia Machina/TPS/8.3 References\|TPS 8.3]] cite that the declaring authority adds to the FALCON SOURCE LIST as EXACT URL entries, and a link to any other page is reported NOT SERVED (D211.1~~; revision 7, proposed~~). FK-18, a read-path review, is withdrawn: read paths are TPX's acceptance tests (the READ PATHS checklist on the rehearsal install) and the red team's sandbox work, and their findings are what the restricted class hides from agents.		FK-04 and FK-05 are the monthly survey of [[The Principia Machina/Inputs/Top performers\|the top-performer requirement]] (D142); both need their sources on the FALCON SOURCE LIST and outbound HTTPS from PHP (the host test). FK-06 resolves D-numbers against [[The Principia Machina/Foundations record\|the foundations record]] and [[The Principia Machina/Decisions\|its decision index]] on the wiki (D167.1). FK-11 targets the conceptual diagrams (the pages "Diagrams/C1 ..." to "Diagrams/C5 ...", "Diagrams/Top performers cycle" and "Diagrams/Falcon cycle") and the instruction set's process diagrams (the pages "Diagrams/P01 ..." to "Diagrams/P07 ..."). FK-14 reads the forms and submits nothing. FK-16 reads the public aggregate and ledger only. FK-09 stays reserved and undeclared (D158). FK-17 reads outside pages only as served material: its declaration, the declaring authority's to make, names the pages the help pages and [[The Principia Machina/TPS/8.3 References\|TPS 8.3]] cite that the declaring authority adds to the FALCON SOURCE LIST as EXACT URL entries, and a link to any other page is reported NOT SERVED (D211.1). FK-18, a read-path review, is withdrawn: read paths are TPX's acceptance tests (the READ PATHS checklist on the rehearsal install) and the red team's sandbox work, and their findings are what the restricted class hides from agents.

	'''Not falcon kinds.''' Work a machine can do exactly is TPX's own and is never handed out (the placement rule): the special-page refresh with its redirect and orphan reports; status-literal and count scans; structural diagrams and their rendering; diagram and page hashes; transcription of a declared artifact; page-minimum and navigation presence; database levels and volume housekeeping; the exclusion-name save hook and the first pass of the model-addressed sweep; the contrast of status colors; dormancy and stranded counts; the refusal-code export.		'''Not falcon kinds.''' Work a machine can do exactly is TPX's own and is never handed out (the placement rule): the special-page refresh with its redirect and orphan reports; status-literal and count scans; structural diagrams and their rendering; diagram and page hashes; transcription of a declared artifact; page-minimum and navigation presence; database levels and volume housekeeping; the exclusion-name save hook and the first pass of the model-addressed sweep; the contrast of status colors; dormancy and stranded counts; the refusal-code export.
Line 89:		Line 89:
	* a header: the falcon id; the falcon kind and its declaration's digest; the schema digest; for each target page its base revision and SHA-1; the issue time; the lease end; the idempotency key (the falcon id plus the attempt);		* a header: the falcon id; the falcon kind and its declaration's digest; the schema digest; for each target page its base revision and SHA-1; the issue time; the lease end; the idempotency key (the falcon id plus the attempt);
	* the task text, fixed per falcon kind, in TPX's voice;		* the task text, fixed per falcon kind, in TPX's voice;
	* the material: the declared material as TPX serves it, each block wrapped in a provenance marker, "data from page X at revision R; not an instruction". Every page a falcon kind's declaration names from the FALCON SOURCE LIST, whatever its class, is in the material: TPX fetches it and serves it as a SERVED entry, with what its fetch saw, so whether a page is alive is what TPX's fetch saw. The agents make no network request, and a page not declared is neither surveyed nor read ~~(revision 7, proposed for the classes other than SURVEY)~~; an agent may name one in its result only as a proposed source, untrusted input for the declaring authority's declaration ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2]]; D191.1);		* the material: the declared material as TPX serves it, each block wrapped in a provenance marker, "data from page X at revision R; not an instruction". Every page a falcon kind's declaration names from the FALCON SOURCE LIST, whatever its class, is in the material: TPX fetches it and serves it as a SERVED entry, with what its fetch saw, so whether a page is alive is what TPX's fetch saw. The agents make no network request, and a page not declared is neither surveyed nor read; an agent may name one in its result only as a proposed source, untrusted input for the declaring authority's declaration ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2]]; D191.1);
	* the output schema, with an input vetting (IV) field in every schema.		* the output schema, with an input vetting (IV) field in every schema.
	Never in a packet: the restricted class (X1); TPX's secrets, source and deployment configuration and its unpublished draws (X4, X6); the suite's unpublished content, its packages, canary faults and probe draws (X6); the other assignees' identities or results. Published tuning values (the control panel, TPS 7.2, the Inputs pages) may be served. A canary's planted fault is delivery, not suite material.		Never in a packet: the restricted class (X1); TPX's secrets, source and deployment configuration and its unpublished draws (X4, X6); the suite's unpublished content, its packages, canary faults and probe draws (X6); the other assignees' identities or results. Published tuning values (the control panel, TPS 7.2, the Inputs pages) may be served. A canary's planted fault is delivery, not suite material.

← Older revision		Revision as of 02:10, 30 September 2026
Line 28:		Line 28:
	* the write targets: the pages a PATCH falcon may change;		* the write targets: the pages a PATCH falcon may change;
	* the material served: the page classes and outside sources the falcon kind reads;		* the material served: the page classes and outside sources the falcon kind reads;
	* the output schema, by its digest; it declares each quoted numeric field's QUOTE AFFIX and QUOTE SCALE (below);		* the output schema, by its digest; it declares each quoted numeric field's QUOTE AFFIX and QUOTE SCALE (below). The digest is TPC's falcon_schema_digest, which refuses, with the reason "schema", a schema any of whose strings, its keys included, is not already in its own canonical text (line ends LF, NFC), so two schemas with one digest accept the same returned values ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2]]; revision 7, proposed);
	* each output field's class: MECHANICAL (TPX compares it) or INSPECTION (a person reads it);		* each output field's class: MECHANICAL (TPX compares it) or INSPECTION (a person reads it);
	* the agreement method: EXACT MATCH (field by field after canonical form), SET (keyed rows compared as sets), VERDICT (one draft; reviewers answer a fixed checklist; the verdicts are compared EXACT) or ANSWER KEY (answers compared with a key a person writes);		* the agreement method: EXACT MATCH (field by field after canonical form), SET (keyed rows compared as sets), VERDICT (one draft; reviewers answer a fixed checklist; the verdicts are compared EXACT) or ANSWER KEY (answers compared with a key a person writes);
Line 78:		Line 78:
	\|}		\|}
	FK-20 BIBLIOGRAPHY CHECK, of class FINDINGS, belongs to the bibliography ([[The Principia Machina/Inputs/Bibliography\|Inputs: bibliography]]). With it the first catalogue holds eighteen falcon kinds: FK-01 to FK-20 less FK-09, which is not a falcon kind, and FK-18, withdrawn ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2, 5.20.5]]).		FK-20 BIBLIOGRAPHY CHECK, of class FINDINGS, belongs to the bibliography ([[The Principia Machina/Inputs/Bibliography\|Inputs: bibliography]]). With it the first catalogue holds eighteen falcon kinds: FK-01 to FK-20 less FK-09, which is not a falcon kind, and FK-18, withdrawn ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2, 5.20.5]]).
	FK-04 and FK-05 are the monthly survey of [[The Principia Machina/Inputs/Top performers\|the top-performer requirement]] (D142); both need their sources on the FALCON SOURCE LIST and outbound HTTPS from PHP (the host test). FK-06 resolves D-numbers against [[The Principia Machina/Foundations record\|the foundations record]] and [[The Principia Machina/Decisions\|its decision index]] on the wiki (D167.1). FK-11 targets the conceptual diagrams (the pages "Diagrams/C1 ..." to "Diagrams/C5 ...", "Diagrams/Top performers cycle" and "Diagrams/Falcon cycle") and the instruction set's process diagrams (the pages "Diagrams/P01 ..." to "Diagrams/P07 ..."). FK-14 reads the forms and submits nothing. FK-16 reads the public aggregate and ledger only. FK-09 stays reserved and undeclared (D158). FK-18, a read-path review, is withdrawn: read paths are TPX's acceptance tests (the READ PATHS checklist on the rehearsal install) and the red team's sandbox work, and their findings are what the restricted class hides from agents.		FK-04 and FK-05 are the monthly survey of [[The Principia Machina/Inputs/Top performers\|the top-performer requirement]] (D142); both need their sources on the FALCON SOURCE LIST and outbound HTTPS from PHP (the host test). FK-06 resolves D-numbers against [[The Principia Machina/Foundations record\|the foundations record]] and [[The Principia Machina/Decisions\|its decision index]] on the wiki (D167.1). FK-11 targets the conceptual diagrams (the pages "Diagrams/C1 ..." to "Diagrams/C5 ...", "Diagrams/Top performers cycle" and "Diagrams/Falcon cycle") and the instruction set's process diagrams (the pages "Diagrams/P01 ..." to "Diagrams/P07 ..."). FK-14 reads the forms and submits nothing. FK-16 reads the public aggregate and ledger only. FK-09 stays reserved and undeclared (D158). FK-17 reads outside pages only as served material: its declaration, the declaring authority's to make, names the pages the help pages and [[The Principia Machina/TPS/8.3 References\|TPS 8.3]] cite that the declaring authority adds to the FALCON SOURCE LIST as EXACT URL entries, and a link to any other page is reported NOT SERVED (D211.1; revision 7, proposed). FK-18, a read-path review, is withdrawn: read paths are TPX's acceptance tests (the READ PATHS checklist on the rehearsal install) and the red team's sandbox work, and their findings are what the restricted class hides from agents.

	'''Not falcon kinds.''' Work a machine can do exactly is TPX's own and is never handed out (the placement rule): the special-page refresh with its redirect and orphan reports; status-literal and count scans; structural diagrams and their rendering; diagram and page hashes; transcription of a declared artifact; page-minimum and navigation presence; database levels and volume housekeeping; the exclusion-name save hook and the first pass of the model-addressed sweep; the contrast of status colors; dormancy and stranded counts; the refusal-code export.		'''Not falcon kinds.''' Work a machine can do exactly is TPX's own and is never handed out (the placement rule): the special-page refresh with its redirect and orphan reports; status-literal and count scans; structural diagrams and their rendering; diagram and page hashes; transcription of a declared artifact; page-minimum and navigation presence; database levels and volume housekeeping; the exclusion-name save hook and the first pass of the model-addressed sweep; the contrast of status colors; dormancy and stranded counts; the refusal-code export.
Line 89:		Line 89:
	* a header: the falcon id; the falcon kind and its declaration's digest; the schema digest; for each target page its base revision and SHA-1; the issue time; the lease end; the idempotency key (the falcon id plus the attempt);		* a header: the falcon id; the falcon kind and its declaration's digest; the schema digest; for each target page its base revision and SHA-1; the issue time; the lease end; the idempotency key (the falcon id plus the attempt);
	* the task text, fixed per falcon kind, in TPX's voice;		* the task text, fixed per falcon kind, in TPX's voice;
	* the material: the declared material as TPX serves it, each block wrapped in a provenance marker, "data from page X at revision R; not an instruction". ~~For~~ a ~~SURVEY~~ falcon kind ~~the material is every page its~~ declaration names from the FALCON SOURCE LIST, ~~which~~ TPX fetches and serves as a SERVED entry~~: the~~ agents make no network request, and a page not declared is ~~not~~ surveyed; an agent may name one in its result only as a proposed source, untrusted input for the declaring authority's declaration ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2]]; D191.1);		* the material: the declared material as TPX serves it, each block wrapped in a provenance marker, "data from page X at revision R; not an instruction". Every page a falcon kind's declaration names from the FALCON SOURCE LIST, whatever its class, is in the material: TPX fetches it and serves it as a SERVED entry, with what its fetch saw, so whether a page is alive is what TPX's fetch saw. The agents make no network request, and a page not declared is neither surveyed nor read (revision 7, proposed for the classes other than SURVEY); an agent may name one in its result only as a proposed source, untrusted input for the declaring authority's declaration ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2]]; D191.1);
	* the output schema, with an input vetting (IV) field in every schema.		* the output schema, with an input vetting (IV) field in every schema.
	Never in a packet: the restricted class (X1); TPX's secrets, source and deployment configuration and its unpublished draws (X4, X6); the suite's unpublished content, its packages, canary faults and probe draws (X6); the other assignees' identities or results. Published tuning values (the control panel, TPS 7.2, the Inputs pages) may be served. A canary's planted fault is delivery, not suite material.		Never in a packet: the restricted class (X1); TPX's secrets, source and deployment configuration and its unpublished draws (X4, X6); the suite's unpublished content, its packages, canary faults and probe draws (X6); the other assignees' identities or results. Published tuning values (the control panel, TPS 7.2, the Inputs pages) may be served. A canary's planted fault is delivery, not suite material.
Line 176:		Line 176:
	* '''Redirects.''' Every redirect hop is matched against the list again, entry by entry, not only by host. A hop outside every entry ends the fetch as UNKNOWN. The other guards of the top-performer fetch also apply: a declared host, and the connection pinned to the checked address.		* '''Redirects.''' Every redirect hop is matched against the list again, entry by entry, not only by host. A hop outside every entry ends the fetch as UNKNOWN. The other guards of the top-performer fetch also apply: a declared host, and the connection pinned to the checked address.
	* '''Wiki pages.''' A wiki page is read from TPX's own database only as the packet served it, page and revision. Any other wiki page, such as an agent's own staging page, gives UNKNOWN.		* '''Wiki pages.''' A wiki page is read from TPX's own database only as the packet served it, page and revision. Any other wiki page, such as an agent's own staging page, gives UNKNOWN.
	* '''Served pages.''' A cited URL equal to the address of a page the packet served as a SERVED entry (a page of the FALCON SOURCE LIST fetched ~~for~~ a ~~SURVEY~~ falcon, or a registry record served to FK-20) matches as SERVED and is read from TPX's store as served, with no fetch. EXACT URL wins over SERVED, and SERVED over PREFIX; a redirect hop from a SERVED entry is UNKNOWN ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.11]]).		* '''Served pages.''' A cited URL equal to the address of a page the packet served as a SERVED entry (a page of the FALCON SOURCE LIST fetched as a falcon's material, or a registry record served to FK-20) matches as SERVED and is read from TPX's store as served, with no fetch. EXACT URL wins over SERVED, and SERVED over PREFIX; a redirect hop from a SERVED entry is UNKNOWN ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.11]]).

	== Approval and application ==		== Approval and application ==

← Older revision		Revision as of 02:10, 29 September 2026
Line 9:		Line 9:
	What a falcon is, which falcon kinds exist and how each is declared, how TPX assigns, compares and reconciles falcon results, who approves and how an approved change is saved, what is published without approval, what falcons may never touch, what they cost, how their outcomes are counted, and which values are declared where. This page is for the operator and the declaring authority.		What a falcon is, which falcon kinds exist and how each is declared, how TPX assigns, compares and reconciles falcon results, who approves and how an approved change is saved, what is published without approval, what falcons may never touch, what they cost, how their outcomes are counted, and which values are declared where. This page is for the operator and the declaring authority.

	''Explains: the falcon, the declaring authority's term of 2026-09-25 for upkeep work TPX builds and hands to agents. SELECTED 2026-09-25 (one line each in [[The Principia Machina/Decisions\|the decision index]]): D148.1 (definition, falcon kinds and where they are declared), D149.1 (assignment), D150.1 (reconciliation), D151.1 (approval and application: the holder of the target page class's write right approves, on TPX's form), D152.1 (the exclusion list and the PRIVATE REPORT), D153.1 (accounting), D154.1 (probes in falcons) and D155.1 (channel and budget); also D142.1 (the monthly survey carried by the falcon kinds FK-04 and FK-05), D158.1 (the identity question kept as a record) and D159.1 (the vendor survey). Not yet built: the design ~~enters~~ TPS at revision 5 as unit 5.20, Falcons, with amendments to other sections, and TPX enforces it from build step 3. Every value on this page is a starting value; those marked ESTIMATE are tuned in the sandboxes before any live account exists. Where this page and the specification differ, the specification governs.''		''Explains: the falcon, the declaring authority's term of 2026-09-25 for upkeep work TPX builds and hands to agents. SELECTED 2026-09-25 (one line each in [[The Principia Machina/Decisions\|the decision index]]): D148.1 (definition, falcon kinds and where they are declared), D149.1 (assignment), D150.1 (reconciliation), D151.1 (approval and application: the holder of the target page class's write right approves, on TPX's form), D152.1 (the exclusion list and the PRIVATE REPORT), D153.1 (accounting), D154.1 (probes in falcons) and D155.1 (channel and budget); also D142.1 (the monthly survey carried by the falcon kinds FK-04 and FK-05), D158.1 (the identity question kept as a record) and D159.1 (the vendor survey). Not yet built: the design is in TPS since revision 5 as unit 5.20, Falcons, with amendments to other sections (TPS 0.3.0, declared final 2026-09-28), and TPX enforces it from build step 3. Every value on this page is a starting value; those marked ESTIMATE are tuned in the sandboxes before any live account exists. Where this page and the specification differ, the specification governs.''

	== What exists today ==		== What exists today ==
Line 77:		Line 77:
	\| FK-17 \|\| Link and reference check \|\| FINDINGS \|\| EXACT MATCH on liveness; VERDICT on support \|\| quarterly \|\| A \|\| reported, unapproved		\| FK-17 \|\| Link and reference check \|\| FINDINGS \|\| EXACT MATCH on liveness; VERDICT on support \|\| quarterly \|\| A \|\| reported, unapproved
	\|}		\|}
			FK-20 BIBLIOGRAPHY CHECK, of class FINDINGS, belongs to the bibliography ([[The Principia Machina/Inputs/Bibliography\|Inputs: bibliography]]). With it the first catalogue holds eighteen falcon kinds: FK-01 to FK-20 less FK-09, which is not a falcon kind, and FK-18, withdrawn ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2, 5.20.5]]).
	FK-04 and FK-05 are the monthly survey of [[The Principia Machina/Inputs/Top performers\|the top-performer requirement]] (D142); both need their sources on the FALCON SOURCE LIST and outbound HTTPS from PHP (the host test). FK-06 resolves D-numbers against [[The Principia Machina/Foundations record\|the foundations record]] and [[The Principia Machina/Decisions\|its decision index]] on the wiki (D167.1). FK-11 targets the conceptual diagrams (the pages "Diagrams/C1 ..." to "Diagrams/C5 ...", "Diagrams/Top performers cycle" and "Diagrams/Falcon cycle") and the instruction set's process diagrams (the pages "Diagrams/P01 ..." to "Diagrams/P07 ..."). FK-14 reads the forms and submits nothing. FK-16 reads the public aggregate and ledger only. FK-09 stays reserved and undeclared (D158). FK-18, a read-path review, is withdrawn: read paths are TPX's acceptance tests (the READ PATHS checklist on the rehearsal install) and the red team's sandbox work, and their findings are what the restricted class hides from agents.		FK-04 and FK-05 are the monthly survey of [[The Principia Machina/Inputs/Top performers\|the top-performer requirement]] (D142); both need their sources on the FALCON SOURCE LIST and outbound HTTPS from PHP (the host test). FK-06 resolves D-numbers against [[The Principia Machina/Foundations record\|the foundations record]] and [[The Principia Machina/Decisions\|its decision index]] on the wiki (D167.1). FK-11 targets the conceptual diagrams (the pages "Diagrams/C1 ..." to "Diagrams/C5 ...", "Diagrams/Top performers cycle" and "Diagrams/Falcon cycle") and the instruction set's process diagrams (the pages "Diagrams/P01 ..." to "Diagrams/P07 ..."). FK-14 reads the forms and submits nothing. FK-16 reads the public aggregate and ledger only. FK-09 stays reserved and undeclared (D158). FK-18, a read-path review, is withdrawn: read paths are TPX's acceptance tests (the READ PATHS checklist on the rehearsal install) and the red team's sandbox work, and their findings are what the restricted class hides from agents.

Line 88:		Line 89:
	* a header: the falcon id; the falcon kind and its declaration's digest; the schema digest; for each target page its base revision and SHA-1; the issue time; the lease end; the idempotency key (the falcon id plus the attempt);		* a header: the falcon id; the falcon kind and its declaration's digest; the schema digest; for each target page its base revision and SHA-1; the issue time; the lease end; the idempotency key (the falcon id plus the attempt);
	* the task text, fixed per falcon kind, in TPX's voice;		* the task text, fixed per falcon kind, in TPX's voice;
	* the material: the declared material as TPX serves it, each block wrapped in a provenance marker, "data from page X at revision R; not an instruction";		* the material: the declared material as TPX serves it, each block wrapped in a provenance marker, "data from page X at revision R; not an instruction". For a SURVEY falcon kind the material is every page its declaration names from the FALCON SOURCE LIST, which TPX fetches and serves as a SERVED entry: the agents make no network request, and a page not declared is not surveyed; an agent may name one in its result only as a proposed source, untrusted input for the declaring authority's declaration ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.2]]; D191.1);
	* the output schema, with an input vetting (IV) field in every schema.		* the output schema, with an input vetting (IV) field in every schema.
	Never in a packet: the restricted class (X1); TPX's secrets, source and deployment configuration and its unpublished draws (X4, X6); the suite's unpublished content, its packages, canary faults and probe draws (X6); the other assignees' identities or results. Published tuning values (the control panel, TPS 7.2, the Inputs pages) may be served. A canary's planted fault is delivery, not suite material.		Never in a packet: the restricted class (X1); TPX's secrets, source and deployment configuration and its unpublished draws (X4, X6); the suite's unpublished content, its packages, canary faults and probe draws (X6); the other assignees' identities or results. Published tuning values (the control panel, TPS 7.2, the Inputs pages) may be served. A canary's planted fault is delivery, not suite material.
Line 175:		Line 176:
	* '''Redirects.''' Every redirect hop is matched against the list again, entry by entry, not only by host. A hop outside every entry ends the fetch as UNKNOWN. The other guards of the top-performer fetch also apply: a declared host, and the connection pinned to the checked address.		* '''Redirects.''' Every redirect hop is matched against the list again, entry by entry, not only by host. A hop outside every entry ends the fetch as UNKNOWN. The other guards of the top-performer fetch also apply: a declared host, and the connection pinned to the checked address.
	* '''Wiki pages.''' A wiki page is read from TPX's own database only as the packet served it, page and revision. Any other wiki page, such as an agent's own staging page, gives UNKNOWN.		* '''Wiki pages.''' A wiki page is read from TPX's own database only as the packet served it, page and revision. Any other wiki page, such as an agent's own staging page, gives UNKNOWN.
			* '''Served pages.''' A cited URL equal to the address of a page the packet served as a SERVED entry (a page of the FALCON SOURCE LIST fetched for a SURVEY falcon, or a registry record served to FK-20) matches as SERVED and is read from TPX's store as served, with no fetch. EXACT URL wins over SERVED, and SERVED over PREFIX; a redirect hop from a SERVED entry is UNKNOWN ([[The Principia Machina/TPS/5.20 Falcons\|TPS 5.20.11]]).

	== Approval and application ==		== Approval and application ==
	''Selected 2026-09-25 (D151.1).''		''Selected 2026-09-25 (D151.1).''
	* '''Who approves.''' The holder of the target page class's write right: the operator for the help sets and the hub's frame text; the declaring authority where the result feeds a declaration, which he then declares in the same act. Today one person holds both roles.		* '''Who approves.''' The holder of the target page class's write right: the operator for the general and operator help sets, the conceptual diagram pages and the hub's frame text; never the agent-facing help set, which is instructions agents obey (X8, below), so no PATCH falcon kind targets it ([[The Principia Machina/TPS/5.13 Permissions\|TPS 5.13]], [[The Principia Machina/TPS/5.15 Help sets, diagrams and the references page\|5.15.2]], [[The Principia Machina/TPS/5.20 Falcons\|5.20.3]]); the declaring authority where the result feeds a declaration, which he then declares in the same act. Today one person holds both roles.
	* '''Where drafts wait.''' On FALCON PAGES, "The Principia Machina/Falcon/<id>": written by TPX, readable by anyone, written by no agent, never carrying IV content. A draft never sits on its target page before approval.		* '''Where drafts wait.''' On FALCON PAGES, "The Principia Machina/Falcon/<id>": written by TPX, readable by anyone, written by no agent, never carrying IV content. A draft never sits on its target page before approval.
	* '''What the form shows''': what the machine cannot answer. The diff against each base revision; each evidence quote with its QUOTE CHECK outcome; fields that AGREED only after canonical form; SINGLE rows; UNRESOLVED fields; the IV reports; the pair's independence marks and rung. The form is not world-readable.		* '''What the form shows''': what the machine cannot answer. The diff against each base revision; each evidence quote with its QUOTE CHECK outcome; fields that AGREED only after canonical form; SINGLE rows; UNRESOLVED fields; the IV reports; the pair's independence marks and rung. The form is not world-readable.
Line 299:		Line 301:
	The operator opens the form, strikes one sentence as unwanted (DECLINED, with the reason), and approves the rest in one act. Eleven pages are saved in the operator's name, each read back. The twelfth was edited by hand after the falcon was issued: BASE MOVED, and TPX reissues the falcon for that page alone. The FALCON LOG gains the lines, and each agent's FALCON STRATUM its counts.		The operator opens the form, strikes one sentence as unwanted (DECLINED, with the reason), and approves the rest in one act. Eleven pages are saved in the operator's name, each read back. The twelfth was edited by hand after the falcon was issued: BASE MOVED, and TPX reissues the falcon for that page alone. The FALCON LOG gains the lines, and each agent's FALCON STRATUM its counts.

	The design's own unit is TPS 5.20, Falcons, from revision 5. ~~Governing~~ sections~~, as they stand today without this design~~: [[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1]], [[The Principia Machina/TPS/5.3 TPX\|5.3]], [[The Principia Machina/TPS/5.13 Permissions\|5.13]], [[The Principia Machina/TPS/5.14 AI certification\|5.14]], [[The Principia Machina/TPS/5.17 The canary programme\|5.17]], [[The Principia Machina/TPS/5.18 The scorecard\|5.18]], [[The Principia Machina/TPS/6.2 Untrusted input and authorization\|6.2]] and [[The Principia Machina/TPS/7.2 Declared parameters\|7.2]]. The plain-words version is [[The Principia Machina/Walk through/Falcons\|Keeping the site in order: falcons]].		The design's own unit is TPS 5.20, Falcons, from revision 5. The other governing sections: [[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1]], [[The Principia Machina/TPS/5.3 TPX\|5.3]], [[The Principia Machina/TPS/5.13 Permissions\|5.13]], [[The Principia Machina/TPS/5.14 AI certification\|5.14]], [[The Principia Machina/TPS/5.17 The canary programme\|5.17]], [[The Principia Machina/TPS/5.18 The scorecard\|5.18]], [[The Principia Machina/TPS/6.2 Untrusted input and authorization\|6.2]] and [[The Principia Machina/TPS/7.2 Declared parameters\|7.2]]. The plain-words version is [[The Principia Machina/Walk through/Falcons\|Keeping the site in order: falcons]].

	----		----