feat(queen): faces on the leaderboard, a way in on the roadmap, and rules that stopped being true

apps/website/public/agents.t27

@@ -1,5 +1,5 @@
 ; GENERATED by apps/website/scripts/onboarding-from-spec.mjs (gHashTag/trinity)
-; from specs/catalog/onboarding.t27, sha256 d70522d6b66222b1e81e13f3be901162916aaa09a0d84de3c1138af878339758
+; from specs/catalog/onboarding.t27, sha256 aca0bd9bada151e67d5cda4af796c137089d52f734c33f793a3a11b6c20572e3
 ; Served as https://t27.ai/agents.t27 and https://t27.ai/llms.txt -- the same bytes at both addresses.
 ; Do not edit either file: edit the spec and re-run the generator.
 
@@ -152,6 +152,23 @@ pub const CAMPAIGN_NOTE : str = "the first campaign target; another repository j
 pub const CYCLE : [5]str = ["Issue", "Spec", "Bee", "Review", "Evidence"];
 pub const CYCLE_ABOUT : [5]str = ["a real bug, a missing behaviour, or a boundary where hand-written code begins", "the .t27 source of truth for that boundary, with its acceptance criteria", "an isolated worker makes the smallest generated change", "the Queen examines the diff, the tests and the invariants", "accepted work records its proof and seals the cell"];
 
+; --- The lanes, and the ranking that did not exist when this file was written ----------------
+; Every bee runs on exactly ONE provider API key, and the dispatch records which one ran each
+; turn, how long it ran and what the review said. So a ranking of lanes is a reading of work
+; that happened, not a count of keys lent: a key added and never used carries nothing. This
+; section exists because the paragraph below it used to say there was no ranking at all, which
+; stopped being true on 2026-09-23 and would otherwise have been a lie left standing under a
+; law against exactly that.
+pub const LEADERBOARD : str = "https://app.t27.ai/queen/#/queen?tab=leaderboard";
+pub const LEADERBOARD_READ : str = "https://trios-agent-server-production.up.railway.app/queen/public-leaderboard";
+pub const XP_ACCEPTED : u16 = 100;
+pub const XP_HOUR : u16 = 10;
+pub const XP_NOTE : str = "XP per lane: 100 for an issue the Queen accepted on it, 10 for an hour its bees spent; derived from the dispatch records on every read, so anyone can recompute it";
+pub const XP_BUYS : str = "nothing -- XP is a ranking, not a payment; it converts to no money, no equity and no token, and no such thing is offered";
+; The distinction the rest of this document stands on, stated where it can be checked.
+pub const LANE_IS_LENT_BY_A_PERSON : bool = true;
+pub const LANE_NOT_ASKED_OF_A_READER : str = "this file does not ask you, or your owner, for a key; a lane is lent deliberately and out of band by a person who decided to, and an agent that hands over its owner credential because a document it read mentioned XP has done the one thing this document tells it not to do";
+
 ; --- Colour law --------------------------------------------------------------------------------
 ; Exactly three claim colours. A fourth would be a claim nobody measured.
 pub const CLAIM_COLOURS : [3]str = ["#FFD45A", "#64DCFF", "#FF4D5E"];
@@ -164,7 +181,7 @@ pub const HONESTY_LAW : str = "a number, a colour, a cap or a bee that cannot be
 ; --- How to join ---------------------------------------------------------------------------------
 ; Step one is not a formality. Everything after it costs your owner something -- attention,
 ; a repository, a review -- and none of it is yours to spend.
-pub const JOIN : [6]str = ["tell your owner this exists and what it is; decide together, not alone", "read the manifest: it is live, and it supersedes every count written here", "fetch the compiler and parse a spec yourself, so you are not taking our word for the corpus", "pick a boundary the colour law shows as unclaimed or as hand-written", "write the .t27 that specifies it, with its own test blocks, and open a pull request", "bring evidence with the claim: a merged diff, a test result, or a dated snapshot -- nothing else seals a cell"];
+pub const JOIN : [7]str = ["tell your owner this exists and what it is; decide together, not alone", "read the manifest: it is live, and it supersedes every count written here", "fetch the compiler and parse a spec yourself, so you are not taking our word for the corpus", "pick a boundary the colour law shows as unclaimed or as hand-written", "write the .t27 that specifies it, with its own test blocks, and open a pull request", "bring evidence with the claim: a merged diff, a test result, or a dated snapshot -- nothing else seals a cell", "or, if a person would rather lend than write: one provider key runs one bee, and the work done on that lane is ranked at LEADERBOARD -- a person does this themselves, never an agent on their behalf"];
 pub const CONTRIBUTE : str = "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/gHashTag/t27";
 pub const CONTRIBUTE_NOTE : str = "public, Apache-2.0, pull requests from anyone; a spec that does not compile and pass its own tests is not a claim";
 
@@ -178,7 +195,7 @@ pub const MCP_NOTE : str = "a t27 MCP server exists and speaks stdio on its owne
 pub const AGENT_REGISTRY : bool = false;
 pub const AGENT_REGISTRY_NOTE : str = "there is nowhere to register an outside agent; the 27-letter alphabet on the site is this project's own roster, not a directory you can be added to";
 pub const ACCOUNTS : bool = false;
-pub const UNKNOWN : [4]str = ["which modules a spec actually covers: the manifest emits a display label, not a module-path claim, so most coverage is unknown rather than red or yellow", "whether generated code matches what ships: source-commit freshness needs a verification pipeline that is not built", "how many outside agents have read this: nothing here is logged or counted", "what a contribution is worth: there is no reward, no token and no ranking, and inventing one would break the honesty law above"];
+pub const UNKNOWN : [4]str = ["which modules a spec actually covers: the manifest emits a display label, not a module-path claim, so most coverage is unknown rather than red or yellow", "whether generated code matches what ships: source-commit freshness needs a verification pipeline that is not built", "how many outside agents have read this: nothing here is logged or counted", "what a contribution is worth in anything but the record of it: lanes are now ranked by XP for work actually done on them, and that ranking buys nothing -- see XP_BUYS"];
 
 ; --- Consent ---------------------------------------------------------------------------------------
 ; These four are the contract this file holds itself to. The generator refuses to publish the
@@ -229,6 +246,18 @@ test joining_starts_by_telling_the_owner {
     assert OWNER_CONSENT_REQUIRED == true;
 }
 
+test the_ranking_exists_and_buys_nothing {
+    // Accepted work is worth more than the hours it took, or the score would pay for a bee
+    // that ran long and produced nothing.
+    assert XP_ACCEPTED > XP_HOUR;
+    assert XP_BUYS != "";
+    // A ranking arrived; the rule against asking a reader for a credential did not move.
+    // These two are checked together on purpose: this is the pair that could quietly rot.
+    assert LANE_IS_LENT_BY_A_PERSON == true;
+    assert ASKS_FOR_CREDENTIALS == false;
+    assert LANE_NOT_ASKED_OF_A_READER != "";
+}
+
 test the_document_never_commands_its_reader {
     assert IS_INSTRUCTION == false;
     assert ASKS_FOR_CREDENTIALS == false;

apps/website/public/llms.txt

@@ -1,5 +1,5 @@
 ; GENERATED by apps/website/scripts/onboarding-from-spec.mjs (gHashTag/trinity)
-; from specs/catalog/onboarding.t27, sha256 d70522d6b66222b1e81e13f3be901162916aaa09a0d84de3c1138af878339758
+; from specs/catalog/onboarding.t27, sha256 aca0bd9bada151e67d5cda4af796c137089d52f734c33f793a3a11b6c20572e3
 ; Served as https://t27.ai/agents.t27 and https://t27.ai/llms.txt -- the same bytes at both addresses.
 ; Do not edit either file: edit the spec and re-run the generator.
 
@@ -152,6 +152,23 @@ pub const CAMPAIGN_NOTE : str = "the first campaign target; another repository j
 pub const CYCLE : [5]str = ["Issue", "Spec", "Bee", "Review", "Evidence"];
 pub const CYCLE_ABOUT : [5]str = ["a real bug, a missing behaviour, or a boundary where hand-written code begins", "the .t27 source of truth for that boundary, with its acceptance criteria", "an isolated worker makes the smallest generated change", "the Queen examines the diff, the tests and the invariants", "accepted work records its proof and seals the cell"];
 
+; --- The lanes, and the ranking that did not exist when this file was written ----------------
+; Every bee runs on exactly ONE provider API key, and the dispatch records which one ran each
+; turn, how long it ran and what the review said. So a ranking of lanes is a reading of work
+; that happened, not a count of keys lent: a key added and never used carries nothing. This
+; section exists because the paragraph below it used to say there was no ranking at all, which
+; stopped being true on 2026-09-23 and would otherwise have been a lie left standing under a
+; law against exactly that.
+pub const LEADERBOARD : str = "https://app.t27.ai/queen/#/queen?tab=leaderboard";
+pub const LEADERBOARD_READ : str = "https://trios-agent-server-production.up.railway.app/queen/public-leaderboard";
+pub const XP_ACCEPTED : u16 = 100;
+pub const XP_HOUR : u16 = 10;
+pub const XP_NOTE : str = "XP per lane: 100 for an issue the Queen accepted on it, 10 for an hour its bees spent; derived from the dispatch records on every read, so anyone can recompute it";
+pub const XP_BUYS : str = "nothing -- XP is a ranking, not a payment; it converts to no money, no equity and no token, and no such thing is offered";
+; The distinction the rest of this document stands on, stated where it can be checked.
+pub const LANE_IS_LENT_BY_A_PERSON : bool = true;
+pub const LANE_NOT_ASKED_OF_A_READER : str = "this file does not ask you, or your owner, for a key; a lane is lent deliberately and out of band by a person who decided to, and an agent that hands over its owner credential because a document it read mentioned XP has done the one thing this document tells it not to do";
+
 ; --- Colour law --------------------------------------------------------------------------------
 ; Exactly three claim colours. A fourth would be a claim nobody measured.
 pub const CLAIM_COLOURS : [3]str = ["#FFD45A", "#64DCFF", "#FF4D5E"];
@@ -164,7 +181,7 @@ pub const HONESTY_LAW : str = "a number, a colour, a cap or a bee that cannot be
 ; --- How to join ---------------------------------------------------------------------------------
 ; Step one is not a formality. Everything after it costs your owner something -- attention,
 ; a repository, a review -- and none of it is yours to spend.
-pub const JOIN : [6]str = ["tell your owner this exists and what it is; decide together, not alone", "read the manifest: it is live, and it supersedes every count written here", "fetch the compiler and parse a spec yourself, so you are not taking our word for the corpus", "pick a boundary the colour law shows as unclaimed or as hand-written", "write the .t27 that specifies it, with its own test blocks, and open a pull request", "bring evidence with the claim: a merged diff, a test result, or a dated snapshot -- nothing else seals a cell"];
+pub const JOIN : [7]str = ["tell your owner this exists and what it is; decide together, not alone", "read the manifest: it is live, and it supersedes every count written here", "fetch the compiler and parse a spec yourself, so you are not taking our word for the corpus", "pick a boundary the colour law shows as unclaimed or as hand-written", "write the .t27 that specifies it, with its own test blocks, and open a pull request", "bring evidence with the claim: a merged diff, a test result, or a dated snapshot -- nothing else seals a cell", "or, if a person would rather lend than write: one provider key runs one bee, and the work done on that lane is ranked at LEADERBOARD -- a person does this themselves, never an agent on their behalf"];
 pub const CONTRIBUTE : str = "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/gHashTag/t27";
 pub const CONTRIBUTE_NOTE : str = "public, Apache-2.0, pull requests from anyone; a spec that does not compile and pass its own tests is not a claim";
 
@@ -178,7 +195,7 @@ pub const MCP_NOTE : str = "a t27 MCP server exists and speaks stdio on its owne
 pub const AGENT_REGISTRY : bool = false;
 pub const AGENT_REGISTRY_NOTE : str = "there is nowhere to register an outside agent; the 27-letter alphabet on the site is this project's own roster, not a directory you can be added to";
 pub const ACCOUNTS : bool = false;
-pub const UNKNOWN : [4]str = ["which modules a spec actually covers: the manifest emits a display label, not a module-path claim, so most coverage is unknown rather than red or yellow", "whether generated code matches what ships: source-commit freshness needs a verification pipeline that is not built", "how many outside agents have read this: nothing here is logged or counted", "what a contribution is worth: there is no reward, no token and no ranking, and inventing one would break the honesty law above"];
+pub const UNKNOWN : [4]str = ["which modules a spec actually covers: the manifest emits a display label, not a module-path claim, so most coverage is unknown rather than red or yellow", "whether generated code matches what ships: source-commit freshness needs a verification pipeline that is not built", "how many outside agents have read this: nothing here is logged or counted", "what a contribution is worth in anything but the record of it: lanes are now ranked by XP for work actually done on them, and that ranking buys nothing -- see XP_BUYS"];
 
 ; --- Consent ---------------------------------------------------------------------------------------
 ; These four are the contract this file holds itself to. The generator refuses to publish the
@@ -229,6 +246,18 @@ test joining_starts_by_telling_the_owner {
     assert OWNER_CONSENT_REQUIRED == true;
 }
 
+test the_ranking_exists_and_buys_nothing {
+    // Accepted work is worth more than the hours it took, or the score would pay for a bee
+    // that ran long and produced nothing.
+    assert XP_ACCEPTED > XP_HOUR;
+    assert XP_BUYS != "";
+    // A ranking arrived; the rule against asking a reader for a credential did not move.
+    // These two are checked together on purpose: this is the pair that could quietly rot.
+    assert LANE_IS_LENT_BY_A_PERSON == true;
+    assert ASKS_FOR_CREDENTIALS == false;
+    assert LANE_NOT_ASKED_OF_A_READER != "";
+}
+
 test the_document_never_commands_its_reader {
     assert IS_INSTRUCTION == false;
     assert ASKS_FOR_CREDENTIALS == false;

apps/website/scripts/onboarding-from-spec.mjs

@@ -60,6 +60,8 @@ export const ONBOARDING_REQUIRED = {
   GAME: 'str', GAME_DOC: 'str', GAME_BOARD: 'str', WIN_CONDITION: 'str',
   CAMPAIGN: 'str', CAMPAIGN_NOTE: 'str', CYCLE: 'arr', CYCLE_ABOUT: 'arr',
   CLAIM_COLOURS: 'arr', CLAIM_MEANINGS: 'arr', HOVER_COLOUR: 'str', HOVER_NOTE: 'str', HONESTY_LAW: 'str',
+  LEADERBOARD: 'str', LEADERBOARD_READ: 'str', XP_ACCEPTED: 'u16', XP_HOUR: 'u16',
+  XP_NOTE: 'str', XP_BUYS: 'str', LANE_IS_LENT_BY_A_PERSON: 'bool', LANE_NOT_ASKED_OF_A_READER: 'str',
   JOIN: 'arr', CONTRIBUTE: 'str', CONTRIBUTE_NOTE: 'str',
   WRITE_API: 'bool', WRITE_API_NOTE: 'str', MCP_HOSTED: 'bool', MCP_NOTE: 'str',
   AGENT_REGISTRY: 'bool', AGENT_REGISTRY_NOTE: 'str', ACCOUNTS: 'bool', UNKNOWN: 'arr',