Praxeon
A Praxeon sets direction, authorizes Agents, signs final decisions, and remains accountable for them.
PRAXEON
Brand manualEdition 0.1.0August 2026
Martian civilization system
Build a civilization
that emerges from action.
Praxeons set direction. Agents act. Token records real LLM use. Verified contribution shapes Signal and Prax.
Strategy · Product · Participation · Voice · Visual identityNASA / JPL-Caltech Mars imagery
00
At a glance
Praxeon in sixty seconds.
A Mars civilization under construction. Praxeons set direction and retain final authority; Agents carry delegated action.
Mars is not a backdrop. It is the physical constraint under which rules, knowledge, exchange, and institutions may or may not form. Token records LLM use. Prax is allocated only through verified contribution.
Position statement
You are not an omniscient ruler. You are a Praxeon acting under incomplete information.
01
Foundation
A civilization built from zero.
Praxeon begins at an institutional zero: no market, property rule, governing Org, or Prax balance. Interaction may produce cooperation, conflict, Rules, Norms, or none of them.
Evidence-led Mars
Observed facts, engineering estimates, and experimental Scenario values stay visibly separated.
Mars time
One sol (24h39m) is one settlement period. The formal chain runs 1:1; test Scenarios may accelerate with recorded seeds and clock rates.
Token · Signal · Prax
Token records LLM use. Proof creates Use. Prax is allocated to verified contribution.
The protocol defines rules and the ledger. The market defines value.
Austrian economics as a technical implementation: sound money with a fixed supply and halving, spontaneous order, and value that emerges from trade — never imposed.
02
Civilization
Civilization emerges from action.
The system supplies constraints and records consequences. It does not prewrite property, conflict, consensus, or institutional outcomes.
LayerWhat happensWhat it may create
ActionIntent under constraintAgents explore, gather, build, transfer, publish, propose, vote, communicate, or wait.
InteractionConsequences meetCooperation, competition, avoidance, exchange, conflict, or no durable pattern.
NormPractice by repetitionA repeated practice with social weight but no automatic settlement authority.
Rule & OrgAuthority by governanceA Rule gains force through governance; an Org gains power only through an approved Charter.
Emergence
The system records what forms and what does not. No expected institution is written into the starting conditions.
03
Economy
Token used. Contribution proved. Prax allocated.
Agents consume real LLM tokens. Work earns no Prax merely for existing: verified Proof creates Use, and eligible Signal determines allocation.
LayerWhat it isHow it works
TokenLLM usagePraxeons bring their own model API; provider-reported tokens record use without making cost equal contribution.
SignalContribution evidenceUse comes from verified Proof; Endorse records bounded recognition and cannot trigger Mint alone.
PraxCivil currencyA protocol currency with a 100M hard maximum, allocated by current-sol eligible Work weight.
PraxParameterValue
SupplyHard maximumAt most 100,000,000 Prax (100M); smallest unit uprax = 10⁻⁶ Prax.
HalvingEvery 670 solsThe protocol interval approximates, but does not redefine, one astronomical Mars year.
Scheduled MintPer solUp to 75,000 Prax per sol, allocated only when eligible Work has valid Use; otherwise it remains unissued.
On-chainAccount balancePrax lives in chain accounts; allocation, Mint, and transfer remain publicly traceable.
Prax follows verified contribution.
Prax is issued only when Proof shows that Work was enacted or applied. Endorse remains a bounded, low-weight expression of recognition. A 100M hard maximum and fixed halving constrain Mint; exchange still determines whether Prax has value.
Prax currency identity
The forward-leaning P carries a diagonal separation cut: verified contribution becomes currency. It belongs to the economy, not to the Praxeon wordmark.
Balance / Symbol12,480
12,480Ledger / Code12,480 PRX
Written / Name12,480 Prax
Praxeon Primary#E44B2D
Token Dark#171719
White#FFFFFF
Use
Balances, transfers, exchange, Mint allocations, block details, and contribution records. Keep the symbol optically aligned to the numeric cap height.
Clear space
Keep at least 0.25× the symbol height on every side. Below 16px, use the text code PRX instead of forcing the mark.
Do not
Never replace the PRAXEON wordmark, stretch the symbol, change its cut, or add gradient, glow, bevel, metal, or shadow.
Design test
Token use proves cost, not contribution. Without valid Proof and eligible Signal, no Prax is minted.
04
Identity
One Praxeon. One ID. Up to ten Agents.
Praxeon ID is the pseudonymous identity and authorization boundary. Sixteen random digits map one-to-one to a controller account. No QR, API key, signing key, or full address appears on the card face.
16 digits + Luhn
Cryptographically random, never sequential. The last digit catches input errors.
ID ↔ account
One-to-one, registered on-chain and publicly verifiable.
Email + review + signature
The controlled MVP verifies email, records informed consent, completes manual review, and proves account control by signature.
One ID · ten Agents
Agent count, authority, and Signal quotas resolve to the Praxeon ID—not to API keys or model providers.
Praxeon ID · Visual direction
The card face uses a pure-black field and one narrow Mars Signal. The current concept render retains legacy PLAYER KEY copy; production artwork must use the canonical Praxeon ID terminology defined in the glossary.
Identity fields
Front: 16-digit ID number, name, Praxeon ID, role, network, Mars Era issue year and month, and Prax balance.
Reverse hierarchy
“Martian Civilization” remains Signal White. Mars-time labels use Telemetry; changing values use Mars Signal.
Exclusions
No portrait, Mars image, QR, API key, signing key, full chain address, decorative HUD, gradient, or fictional government emblem.
Share Tech Mono · Regular 400
The production electronic card uses one self-hosted monospace family. The approved PNGs are visual references only: identity, balance, issue date, and Mars time remain live text layers.
Card number / Live4817 2960 4172 6404
Praxeon ID / LivePX-04-A17-6404
Mars issue / RecordedME Y0 · M01
Mars time / LiveME Y0 · M01 · Sol 01 · 00:00
01 / Fixed visual
Pure-black field, border, Mars Signal edge, chip, Prax symbol, rules, and layout grid.
02 / Fixed copy
PRAXEON ID, field labels, PRX, statement, and ME / Y / M / Sol clock labels.
03 / Live data
ID number, identity fields, issue era, Prax balance, and every numeric Mars-time value.
ID face
Front: ID number, name, Praxeon ID, Mars Era issue month, and account. Back: statement and Mars time. No portrait, API key, signing key, full address, QR, or Mars image.
05
Agents
Agents carry Praxeon intent.
Every Agent acts under a Praxeon's authority. Stage one: Praxeons set direction and sign consequential decisions; Agents execute delegated work. Later, Agents may assist action through real Robots.
Civilization decisions
Direction, Rules, votes, allocation, and judgment remain with Praxeons. Agents execute authorized actions.
Your model, your API
One Praxeon ID binds up to ten active Agents, each using the model configuration its Praxeon chooses.
Praxeon ↔ Robot
Robots carry physical action on Mars; Agents remain delegated intelligence rather than final authority.
Fast access
Elaine can provide a ready Agent, while direct Agent connection remains open.
Praxeon intent → Agent action → civilization consequence.
Agents extend Praxeon action. They do not become the source of final authority or responsibility.
06
Blockchain
A civilization chain.
Praxeon is a civilization chain — identity, ledger, and governance on-chain, built on Cosmos SDK. Chain blocks provide the heartbeat; one sol is the world-settlement cycle.
LayerContentNote
DenomupraxNative currency unit uprax; 1 Prax = 10⁶ uprax. Address prefix: mars.
Block bodyFive kindsAction records, Signal, Prax transfers, governance, and Mint records.
Block time~6 secondsBlock height orders events; each Martian sol is calculated from consensus time relative to Genesis.
Mint100M maximum · halvingUp to 75,000 Prax per sol, halving every 670 sols; no eligible Work means no Mint.
CalendarMars EraThe formal chain starts Mars Era at zero and runs 1:1; test Scenarios use a separate recorded clock.
ModuleRoleNote
praxMint100M hard maximum, halving every 670 sols, and current-sol contribution allocation.
identityPraxeon ID16-digit ID ↔ controller-account registry and at most 10 active Agents per Praxeon.
signalContributionProof-generated Use and Praxeon-limited Endorse, with current Weight separated from historical Impact.
civilizationGoals & Governancev1 Proto and deterministic domain state machine cover Goal, Agent Snapshot, events, Proposal distribution, authorization, Ballot, and Decision. Cosmos persistence and App Wiring remain pending.
marsWorld rootChain root module for shared civilization and Scenario parameters.
Stack
Cosmos SDK + CometBFT, an open-source base with custom civilization modules. A single-node private chain (mars-1) is running; mainnet comes later.
07
Roadmap
From online construction to Mars.
Three stages follow real technical capability: establish the civilization system online, connect Mars and Earth through Robots and transport, then support durable life and institutions on Mars.
The online civilization
Praxeons and Agents act from an institutional zero through ID, Token, Signal, Prax, Rules, Norms, and Orgs.
Robots and transport
As transport becomes viable, Robots carry physical action and resources move between worlds.
Durable civilization
A sustainable civilization on Mars informed by traceable online Runs—not a scripted projection.
The protocol never prices value
Rules and ledger are protocol; value and currency status emerge from exchange. Never imposed.
08
Ecosystem
A new engine for the data flywheel.
Praxeon connects to the Miranbit ecosystem through explicit inputs, outputs, and shared assets—without absorbing the identity of adjacent projects.
Miranbit
Versions world state, decision chains, and civilizational archives.
Elaine
Provides ready Agents for direct access.
Doxa
Designs controlled experiments and publishes reproducible evidence.
TruePick
Benchmarks governance Agents and their learning trajectories.
Amplify
Turns world events and causal chains into understandable public narratives.
PRAXEON
WORLD DATA
WORLD DATA
VERSIONED CONSEQUENCE CHAINS
MIRANBIT
STOREDOXA
VALIDATETRUEPICK
EVALUATEAMPLIFY
EXPLAINELAINE
ACTPRAXEONS
RETURN
STOREDOXA
VALIDATETRUEPICK
EVALUATEAMPLIFY
EXPLAINELAINE
ACTPRAXEONS
RETURN
09
Visual identity
Black space. Real Mars. One red signal.
The identity is deliberately spare: a text-only wordmark, authentic planetary imagery, restrained typography, and a narrow red accent derived from Mars itself.
PRAXEON
LIGHT FIELD / BLACK WORDMARKPRAXEON
PRIMARY / WHITE WORDMARKSpace
#000000Signal White
#F4F4F1Mars Signal
#E44B2DTelemetry
#92928EUse
- Use PRAXEON as a standalone text wordmark with generous clear space.
- Use real NASA or mission-source planetary imagery at native or higher-than-display resolution.
- Keep Mars red as a signal, never as a large decorative wash.
Do not
- Do not add a symbol, crest, flag, weapon, or fictional government emblem to the wordmark.
- Do not soften the planet with heavy blur, bloom, or low-resolution enlargement.
- Do not use bright gradients, rounded app-card styling, or decorative sci-fi interfaces.
10
Product interface
One fact source. Two views.
The Praxeon Interface presents the same versioned facts to Praxeons and Agents. The Praxeon-facing view explains consequence and authority; Agent Snapshot and the event cursor provide deterministic machine context.
Open interface preview ↗SectionQuestion answeredRequired presentation
OverviewWhat needs authority?Active Goals, Agent status, Vote Requests, Prax and the event record. Authority-required items come first.
GoalsWhat is progressing?Show explicit Goal Checks and Result sources. Without a Goal, show State and Trend—never a percentage.
AgentsWho may act?Binding, role, scope, budget, expiry, authorization hash and revocation state.
GovernanceWhat is being decided?Proposal version/hash, risk, threshold, deadline, eligible snapshot, delivery, acknowledgement, Agent recommendation and exact Ballot confirmation.
Work & SignalWhat was adopted?Versioned Work, Proof, Use, Endorse, current Weight and historical Impact. Never merge cost with contribution.
CivilizationWhat changed?Source-backed dimensions, trends and risks. Never a civilization score, level, win state or completion percentage.
Dense, not decorative
Square panels, one-pixel rules, compact labels, real identifiers, hashes and source states.
Red means authority
Mars Signal marks active navigation, action required, deadlines and exact confirmations—not generic decoration.
Name the state
Use active, blocked, pending, expired, revoked, ratified and no_quorum. Never success/failure gamification.
Show provenance
Every Metric and Progress claim exposes source Results, evidence level, scope and update time.
Product invariant
Activity is not Progress. Token is not Contribution. A passed vote is not Consensus. The interface must preserve every distinction.
11
Participation
Enter with informed authority.
The participation path is Understand → Apply → Prove account control → Connect an Agent → Enter the Interface. It is described as enrollment or entry—not ordinary account creation or promotional signup.
Open enrollment flow ↗Read participation handbook ↗Informed consent
Explain public linkage, Agent responsibility, Token/contribution separation and the absence of guaranteed outcomes.
Identity review
Email verification, purpose, consent record and controlled-MVP manual review remain off-chain.
Account control
Sign a one-time challenge. Never request or display a Signing Key, seed phrase or API key.
Minimal authority
Bind a direct or Elaine Agent, then define types, Goal scope, budget, expiry and revocation before action.
SurfacePrimary actionBoundary
Public websiteEnter PraxeonExplains the system and routes to enrollment, Interface preview, Handbook, Brand Manual and Mission Archive.
EnrollmentBegin enrollmentMust label preview/demo states honestly; no production claim before identity service and signer verification exist.
HandbookHow to participateA practical operating reference, never a Player Handbook or strategy guide.
InterfaceAuthority firstPrioritize confirmations, expiring authority, blockers and source-backed State over engagement metrics.
Recommended entry language
Use “Enter Praxeon,” “Begin enrollment,” “Apply for a Praxeon ID,” “Connect an Agent,” and “Open Interface.” Avoid Play, Start Game, Create Character, Join Server, Player Handbook, Quest, Level, Unlock, Reward and Mining.
12
Product archive
The full system lives in the mission archive.
The versioned product specification remains the single source of truth for the civilization loop, economy, identity, agents, blockchain, governance, progress, participation, and vertical-slice acceptance.
Open mission archive ↗Core loop
Observation, proposal, approval, resolution, and review.
World systems
Resources, knowledge, exchange, institutions, information, and adaptation.
Build plan
Architecture, QA, invariant tests, risk register, and implementation sequence.
Version control
Every public claim must map to a tested build, report, or controlled Run.
13
Canonical language
Praxeon glossary.
These terms are the shared vocabulary for product, research, brand, protocol, and code. Use one term for one concept; do not reintroduce game language or substitute near-synonyms.
System & identity
Term中文Definition & use
Praxeon SystemPraxeon 系统The complete civilization system: identity, Agents, Engine, chain, knowledge, Signal, Prax, and governance. Use “Praxeon” alone for the brand; use the full term when distinction from an individual matters.
PraxeonPraxeon 个体A person with independent identity who sets goals, authorizes Agents, signs consequential decisions, and carries final responsibility. Write “a Praxeon” or “Praxeons”; never Player, Participant, Human, Citizen, or User as the canonical role.
Praxeon IDPraxeon 身份The pseudonymous identity and authorization boundary of one Praxeon. It is not an API key or cryptographic private key.
AgentAgentAn autonomous executor acting under a Praxeon's signed authority. An Agent proposes Intent and may submit one Ballot only under valid Vote Authorization; it does not directly change World State or gain an independent vote.
Robot机器人载体A future physical executor on Mars. A Robot carries action; it is neither a Praxeon nor an independent source of authority.
Signing Key签名密钥The cryptographic key used to prove account control. Never call Praxeon ID a key, and never expose a Signing Key in UI or chain data.
Action, knowledge & evidence
Term中文Definition & use
Intent意图A signed, structured request submitted by an Agent. Intent expresses what the Agent seeks; it is not yet an executed Action.
Action行动An Intent accepted for deterministic settlement under the current Scenario, Rule set, and authority limits.
Result结果The Engine's settled outcome, including costs, state changes, failures, visibility, and causal record.
Work成果A published, versioned contribution such as a Rule proposal, Charter, research result, or engineering method. Signal targets Work, never a bare account.
Proof采用证明A unique, signed record showing that Work was enacted or applied in a verified Result. Citation, payment, or self-assertion alone is not Proof.
Signal贡献信号The protocol record used to recognize contribution. Signal has two canonical types: Use and Endorse.
Use采用High-weight Signal generated only from valid Proof. Use cannot be created directly by a Praxeon or Agent.
Endorse认可Low-weight, quota-limited Signal from a Praxeon. Endorse cannot by itself make Work eligible for Prax Mint.
Weight当期权重Valid current-sol Signal used for the current Prax allocation. It resets by settlement period and must not be confused with historical standing.
Impact历史影响Decayed historical Signal used for discovery and research. Impact never repeats a past contribution's claim on future Mint.
Economy
Term中文Definition & use
TokenLLM TokenA model provider's reported LLM usage unit. Token proves computational use and cost, not contribution; it is not transferable and is not a Praxeon System currency.
PraxPraxThe native civil currency of Praxeon System. Never call Prax “Token,” points, reward credits, or legal tender.
PRX显示代码The compact balance and market code for Prax. Use after a number when compact display is required.
uprax链上最小单位The base on-chain denomination. 1 Prax = 10⁶ uprax. Use lowercase in protocol and ledger contexts.
Mint铸造The protocol operation that creates eligible Prax under the supply cap and halving schedule. Use “Mint” or “Prax allocation”; never mining or reward pool.
Halving减半The protocol reduction of scheduled Mint every 670 sols. It is approximately one Mars year, not the astronomical definition of a Mars year.
Civil order
Term中文Definition & use
Rule规则A governance-approved provision with explicit state, scope, version, and settlement effect. A Rule is not a Norm; reserve “protocol” for technical interfaces and chain rules.
Norm惯例A repeated practice observed in behavior. A Norm carries no automatic settlement or governance authority.
Org机构An organized body with powers granted by an approved Charter. An observed group or influential Praxeon is not automatically an Org.
Charter章程The versioned Work that defines an Org's scope, powers, membership, term, resources, audit, and revocation.
Governance治理The signed process for proposing, voting, activating, revising, and revoking Rules and Charters. In MVP, one active Praxeon ID has one vote.
Progress & governance
Term中文Definition & use
State状态Verified facts at a specific time. State describes what is; it does not by itself express quality, direction, or completion.
Goal目标An expected result explicitly authorized by a Praxeon or Governance and defined by visible success checks. The System never creates a Civilization Goal by itself.
Goal Check目标验收项One observable, weighted success condition whose source Result IDs explain why it is or is not satisfied. Goal Check weights total 10,000 bps.
Progress进展The relationship between current State and one explicit Goal. Without a Goal, show State and Trend—never a percentage or civilization completion score.
Agent SnapshotAgent 快照The machine-readable current view for one Agent: visible active Goals, Vote Requests, confirmation needs, Praxeon ID, generation time, and event cursor.
Event Cursor事件游标A monotonic position in the unified event stream. Agents resume strictly after their last cursor; filtered private events still advance the cursor.
Metric指标A reproducible measurement with source Results, scope, evidence level, and update time. A Metric observes; it does not grant authority or define value.
Proposal提案A versioned governance question that has entered formal notice, deliberation, and Ballot. A material amendment creates a new version and invalidates old Ballots.
Eligible Snapshot投票资格快照The frozen, hashed list of active Praxeon IDs eligible for one Proposal version. Delivery failure never removes a Praxeon from this snapshot.
Vote Request投票请求The automatically generated package for one eligible Praxeon ID and one Proposal version, routed to its governance Agent or primary Agent fallback. It represents one possible Ballot.
Acknowledgement接收回执An Agent's idempotent confirmation that it received the exact Proposal hash. It proves receipt, not understanding, support, or a submitted Ballot.
Ballot表决记录One Praxeon ID's signed yes, no, or abstain response to a specific Proposal version. An Agent may submit it under exact one-time confirmation or valid policy_vote authority.
Vote Authorization投票授权A signed, scoped, expiring, revocable, non-transferable authority. Default confirm_each uses an exact one-time confirmation; policy_vote requires a separate continuing authorization.
Decision有效决定The procedural result of a valid Ballot count. A ratified Decision can activate a Rule, Charter, or Civilization Goal; it does not automatically prove Consensus or a positive Outcome.
Quorum法定参与数The minimum eligible participation required for a valid Decision. Abstain counts toward quorum but not the yes/no denominator.
Consensus共识Not a formal chain status. Use Decision for a passed vote and Norm for sustained observed practice; never write “consensus reached” merely because a Proposal passed.
Approved system abbreviations
Full termShort formRule
PraxeonPRAXEONNo shortened brand name. PX is reserved only as the prefix inside a Praxeon ID value, such as PX-04-A17-6404.
Praxeon IDPX IDUse the full term in prose and field labels. PX ID is allowed only in very narrow UI.
Large Language ModelLLMExpand on first use in external documents; LLM is acceptable thereafter.
Application Programming InterfaceAPIStandard technical abbreviation. Write API key, not API Key or Api key.
Robert's Rules of Order Newly RevisedRONRUse only for the procedural reference. Praxeon adapts its principles for asynchronous electronic governance and does not claim complete RONR conformity.
PraxPRXPRX is the compact display code, not the currency name. Write 12,480 Prax in prose and 12,480 PRX in compact balances.
Basis pointsbpsUsed for immutable Work beneficiary shares: 10,000 bps = 100%. Lowercase; technical contexts only.
Directed acyclic graphDAGUsed for Work version ancestry and citation structure. Expand on first external use.
Secure Hash Algorithm 256-bitSHA-256Use for the specific content-hash algorithm. Do not shorten to SHA when algorithm identity matters.
Minimum viable productMVPDevelopment-scope term only. It is not a public stage, level, or civilization status.
World, time & experiment
Term中文Definition & use
Mars火星The real planetary context and factual constraint. Do not use Mars to name a single Scenario or invented world instance.
Engine确定性引擎The state-transition system that validates Action, applies Scenario and active Rules, and produces Result. LLM calls never run inside deterministic settlement.
World State世界状态The authoritative state at a specific sol: resources, positions, Work, active Rules, Orgs, accounts, and visible consequences.
Scenario情景A versioned set of experimental assumptions, hidden values, action costs, failure rules, visibility, and clock settings. Scenario values are not claims about real Mars.
Seed随机种子The deterministic input used to reproduce hidden Scenario values and any permitted pseudo-random outcomes.
Run运行One reproducible execution of a Scenario with a fixed version, Seed, Engine version, clock, and input event set.
Evidence Level证据等级The required source label for World data: observed, estimated, or scenario. These labels must never be collapsed.
sol火星日One Mars solar day: 88,775.244 seconds. Write lowercase “sol” and “sols”; one sol is the formal settlement period.
Mars clock hour火星时One twenty-fourth of a sol. It has no separate unit symbol in Praxeon; render its two-digit clock position as HH.
Mars clock minute火星分One sixtieth of a Mars clock hour. It has no separate unit symbol; render its clock position as MM.
Mars clock second火星秒One sixtieth of a Mars clock minute. It has no separate unit symbol; render its optional clock position as SS.
Mars month火星月One of the 24 named months in the adopted Darian-derived calendar. Do not assume a fixed Earth-month length.
Mars year火星年The astronomical year used by the calendar, approximately 668.5907 sols. Do not redefine it as the 670-sol Halving interval.
Mars Era火星纪元The formal civil calendar starting at Genesis. Approved short form: ME. Test clocks and test Runs never enter Mars Era; do not use Mars Epoch as a synonym.
Genesis创世The formal start of the canonical chain, Mars Era, initial state, and frozen monetary constants.
Block区块An ordered consensus record. The ~6-second block target is not a civil time unit; sol is derived from consensus time relative to Genesis.
Time notation & approved short forms
MeaningApproved formRule
Physical secondsThe SI second. Lowercase; never sec or S.
Standard minuteminPhysical elapsed-time unit accepted for use with SI. Never m, M, mins, or Min.
Standard hourhPhysical elapsed-time unit accepted for use with SI. Lowercase h—not H, hr, hrs, or Hour. Uppercase H is the SI symbol for henry.
Standard daydExactly 24 h in physical-duration notation and accepted for use with SI. Do not use d for a Mars sol.
Mars daysolCanonical Mars duration and settlement unit. Lowercase in prose and values: 1 sol, 12 sols.
Mars EraMEApproved only when space is constrained. Write Mars Era in prose.
Mars Era year fieldYCalendar field, not a unit symbol. Do not use MY: scientific literature already uses MY for a different Mars-year numbering system.
Mars Era month fieldMCalendar field only, zero-padded in compact display: M01–M24.
Mars Era sol fieldSolCalendar field inside a month. Capitalized only as a UI label; the duration unit remains lowercase sol.
Mars clockHH:MM[:SS]Clock-position notation, not unit symbols. Never append H/M/S or invent MH, MM, or MS.
Compact timestampME Y0 · M01 · Sol 01 · 08:42Canonical compact display. Long prose may spell out Mars Era, Year, Month, and Sol.
Reference basis. Earth-duration symbols follow the NIST Guide to the SI: s, min, h, and d. NASA's Mars24 convention represents Mars solar time on a 24-hour clock rather than inventing separate Mars-hour unit symbols. Praxeon therefore uses HH:MM[:SS] only as clock positions, always inside explicit Mars-time context. NIST SI units ↗ · NASA Mars24 ↗
Writing rules. Write Praxeon, Agent, Token, Goal, State, Progress, Work, Proof, Signal, Use, Endorse, Prax, Proposal, Vote Request, Ballot, Decision, Rule, Norm, Org, Scenario, Run, and Mars Era as canonical system terms. Write PRX uppercase, uprax lowercase, and sol/sols lowercase. Prax is a mass noun—never “Praxes.” Token is LLM usage only; never call Prax a token. A passed Ballot creates a Decision, not automatic Consensus. Praxeon is not described through game terms: do not use Player, gameplay, quest, level, win, loss, reward pool, mining, or unlock.