RC://HELP
RIEMANN CONSOLE MANUAL
Every public function remains available through ordinary links and controls. Console shortcuts and Search commands are optional accelerators.
Getting started
Use the navigation links normally, or type a shortcut key into the RC:/> command line and press Enter. On Search, ordinary words are enough: no command language is required.
Search
Search works like a normal search box first. Type the concept, phrase or notation you are interested in and Search checks the current validated public corpus. Results are grouped by public object and can identify the exact section, equation, note, citation, figure or passage that matched.
If a released Glossary entry exactly matches the concept you searched for, its definition is prioritised. The result is labelled GLOSSARY for discovery while retaining its governed ARTICLE record type underneath.
Put words in double quotes when you want them kept together as an exact phrase, for example "critical line". Each result includes a WHY line so you can see whether the match came from a title, glossary definition, equation, section, citation, body passage or notation alias.
Search operators
Operators are optional filters typed into the same Search box. There are 10 operators; this is the complete list.
kind:- Choose a public record type. Complete values:
page,article,research,dsp,milestone,author,event,release,correction,lab. section:- Limit results to a public section. Type
section:and autocomplete shows the complete set currently present in the public index. id:- Match a public object identifier, including safe public-ID prefix matching.
has:- Require a particular kind of material. Complete values:
equation,section,citation,note,figure,relation,correction,release. status:- Match a status already present in public metadata. Type
status:and autocomplete shows the complete set currently present in the public index. cites:- Find public material that cites a public bibliography entry. Autocomplete can resolve words from public reference metadata to the citation key.
related:- Find public objects directly connected to a specified public object.
since:- Keep records dated on or after a date in
YYYY-MM-DDform. before:- Keep records dated before a date in
YYYY-MM-DDform; the boundary date itself is excluded. corrected:- Filter by published correction state. Complete values:
true,false.
You can combine operators with ordinary words. All parts must match. For example, kind:milestone has:equation positivity means “public milestones that contain an equation and also match positivity”.
Research commands
There are four public-object commands; this is the complete list. trace:<public-id> maps explicit public connections, depends:<public-id> shows only explicit dependencies, cite:<public-id> makes a citation from public metadata, and verify:<public-id> opens the recorded public verification view. Type help or commands in Search to open the inline Search Help workspace.
Mathematical search
Search deliberately normalises a small, explicit set of notation variants so you do not have to know exactly how something was typed. Comparison aliases are ≥/>=/\ge/\geq, ≤/<=/\le/\leq, and ≠/!=/\neq. The complete current Greek alias set is α, β, γ, δ, ε/ϵ, ζ, θ, λ, μ, ν, ξ, π, ρ, σ, τ, φ, ψ and ω, together with their English names and matching lowercase TeX names. Curated phrase aliases are non-negative/nonnegative, positive definite/positive definiteness, and K-Bessel/Bessel K.
Search does not infer theorem-level equivalence. If normalisation rather than literal text produced a result, the WHY line can report NOTATION ALIAS.
TRACE & provenance
TRACE asks: “What is this public item explicitly connected to?” It follows only relationships and bibliography citations that are actually recorded in the validated public corpus. It can show incoming and outgoing links and bounded object paths up to three steps deep. Explicit links to released glossary entries appear as GLOSSARY TERM relationships; tracing the glossary entry shows the corresponding public uses in context. depends: is the narrower dependency-only view.
Provenance asks: “What does the public record say about where this item came from and how it was published?” cite: makes a ready-to-copy citation; verify: shows recorded public status, release and correction information where available.
A dependency, related-object link, glossary-term link or citation remains exactly that. Search does not relabel it as proof, support or mathematical validation. Likewise, a hash, signature or timestamp can support a statement about the identity, integrity or timing of a record; it does not by itself establish mathematical correctness, novelty or authorship beyond the public evidence shown.
Keyboard
- H
- Home /
- A
- About /about/
- R
- Research /research/
- T
- Milestones /milestones/
- L
- Releases /releases/
- E
- Explain /explain/
- I
- Labs /labs/
- B
- People /people/
- G
- Glossary /glossary/
- M
- Methods /methods/
- V
- Verify /verify/
- U
- Authorship /authorship/
- S
- Status /status/
- C
- Corrections /corrections/
- P
- Public Log /log/
- /
- Search /search/
- ?
- Help / Keyboard
Tab and Shift+Tab move through interactive controls. Enter activates the focused link or button. Type a navigation shortcut to stage a route and press Enter to execute it; Escape or Backspace cancels. On Search, Escape closes autocomplete/help first, then returns control to RC:/> navigation. Press / to re-enter Search.
Search autocomplete uses Up/Down to select a suggestion and Tab to accept it. Single-key global shortcuts are disabled while focus is inside editable controls.
Public boundary
Search, suggestions and TRACE operate only on the validated public corpus. Review and unpublished material are excluded. A guessed identifier that is private, draft, withheld, rejected, nonexistent or otherwise unavailable receives the same generic public response; the Console does not distinguish those cases.
Verification metadata records specific publication/build/provenance properties. It does not, by itself, establish mathematical correctness, novelty or authorship beyond the evidence shown.