SAFE-R means Substantiated, Auditable, Falsifiable, Evidence-bound, Restricted-claims.
Use it before publishing docs, package notes, demos, or release copy. It is the claim check for Qorx.
Qorx keeps the physics words because the language is built around quarks. The words are product vocabulary over local runtime objects.
| Qorx term | Runtime meaning |
|---|---|
| quark | Bounded, hashed, token-estimated evidence chunk. |
| Cosmos | Local protobuf state: index, cache, receipts, provenance, lattice, traces. |
| Redshift | Baseline-to-Compact ratio between local context mass and visible carrier mass. |
| photon | Model-visible carrier: prompt block, A2A message, or qorx:// handle. |
| wavefunction | .qorx source before parsing. |
| collapse | Parsed opcodes or .qorxb bytecode. |
| event horizon | Surface between local evidence and provider-visible tokens. |
Quetta / Q |
One-character resolver alias for the active local index manifest. |
| subatomic | Small working set under the requested token budget. |
These are not physics claims. Qorx is not a physics engine. It does not claim physical compression, hidden data transfer, provider billing bypass, or invoice savings without matching routed-provider evidence.
.\scripts\safer-check.ps1 -Exe .\target\release\qorx.exe
For a fast pass after running Cargo checks yourself:
.\scripts\safer-check.ps1 -Exe .\target\release\qorx.exe -SkipCargo
The script checks formatting, tests, clippy, package dry runs, local science claim notes, adapter readiness, the billion-dollar claim guard, provenance attestation, obvious secret patterns, and unsafe public wording.