Research move
Auditor
Auditor
checks assumptions, certificates, counterexamples and stopping rules. This describes the work performed by a passage, not a personality type.
How to read it
Treat this mark as a verb. It names the work the passage is doing and therefore the kind of question a reader should ask of it.
136 indexed uses
Every current use
- The admissibility frontier · the reachable frontier has a cost shape
- The admissibility frontier · the logical frontier is two controls, not one group name
- The admissibility frontier · the shared path is not yet a shared algebra
- The admissibility frontier · the phase target is relative, not absolute
- The admissibility frontier · the Lean fold now has a finite provenance gate
- The admissibility frontier · three hybrid modes are one short
- The admissibility frontier · selection is a channel, not a filter
- The admissibility frontier · a loop and its outcome are different objects
- The admissibility frontier · the first new inequality is not new
- The admissibility frontier · the microscopic source quotient has five coordinates
- The admissibility frontier · name the coordinates before reading the signs
- The admissibility frontier · more energies do not add a coordinate
- The admissibility frontier · ask for the likelihood, not the plot
- The admissibility frontier · a term is not a detector row
- The admissibility frontier · the public model has one control too few
- The admissibility frontier · more detail cannot restore an erased coordinate
- The admissibility frontier · the two rails share a plane, not a group
- The Jordan–Lie hinge · Why ten generators are a real gate
- The Jordan–Lie hinge · Algebra is not yet spacetime
- One carrier, two faces, three relations · Three relations do not select an orientation
- Chapter · The projective loop
- The projective loop · The exact result
- The projective loop · The reversal
- The projective loop · A familiar twisted-loop picture
- The projective loop · Central sign versus handedness
- The Furey interface · Why it is not yet unification
- Chapter · The Standard-Model seam
- The Standard-Model seam · The attractive construction
- The Standard-Model seam · The uncomfortable edge
- The Standard-Model seam · What c, L and Y mean
- The Standard-Model seam · Fit capacity versus derivation
- The Standard-Model seam · The chiral fold obstruction
- Proton safety, Pati–Salam and triality · The current action and its limits
- The exceptional horizon · Jordan freedom and the need for selectors
- Provenance and reading map · How to challenge a claim
- E3-F01 · The Jordan/TKK route reaches the Spin(2,3) hinge
- E3-F02 · A concrete lower-rank Jordan entry point exists
- E3-F03 · The odd-cycle intuition has a projective double-cover realization
- E3-F04 · The central sign is not the missing orientation datum
- E3-F06 · One S₁ mediator cannot realize the desired pure Furey pulse
- E3-F07 · Proton safety is a source-selection problem
- E3-F09 · The simplest continuous and binary protections fail
- E3-F15 · Healthy bosonic poles do not settle the chiral fold
- E3-F16 · The selector is missing a physical phase reference
- E3-F17 · The canonical completion carries index three, but its minimal 6D parent is anomalous
- E3-F18 · The traceless spectral threshold survives stress improvement
- E3-F20 · The softened QWZ curve is not the response of its stated Lindbladian
- E3-F23 · The local gravity route has one healthy critical torsion sector but no closed quantum parent
- E3-F25 · The mixed admissibility interface is an A8 transfer lattice
- E3-F26 · The pinned Claimipedia operator layers contain sl2 plus sl3, not sp4
- Proof · Furey participation: closure certificate
- Proof · Furey interface: selector obstruction
- Claim · The admissibility frontier · the reachable frontier has a cost shape (1)
- Claim · The admissibility frontier · the logical frontier is two controls, not one group name (1)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (1)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (2)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (3)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (4)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (5)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (6)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (7)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (8)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (9)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (10)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (11)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (12)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (13)
- Claim · The admissibility frontier · the shared path is not yet a shared algebra (14)
- Claim · The admissibility frontier · the phase target is relative, not absolute (1)
- Claim · The admissibility frontier · the phase target is relative, not absolute (2)
- Claim · The admissibility frontier · the Lean fold now has a finite provenance gate (1)
- Claim · The admissibility frontier · the Lean fold now has a finite provenance gate (2)
- Claim · The admissibility frontier · the Lean fold now has a finite provenance gate (3)
- Claim · The admissibility frontier · three hybrid modes are one short (1)
- Claim · The admissibility frontier · three hybrid modes are one short (2)
- Claim · The admissibility frontier · three hybrid modes are one short (3)
- Claim · The admissibility frontier · selection is a channel, not a filter (1)
- Claim · The admissibility frontier · selection is a channel, not a filter (2)
- Claim · The admissibility frontier · selection is a channel, not a filter (3)
- Claim · The admissibility frontier · a loop and its outcome are different objects (1)
- Claim · The admissibility frontier · a loop and its outcome are different objects (2)
- Claim · The admissibility frontier · a loop and its outcome are different objects (3)
- Claim · The admissibility frontier · the first new inequality is not new (1)
- Claim · The admissibility frontier · the first new inequality is not new (2)
- Claim · The admissibility frontier · the first new inequality is not new (3)
- Claim · The admissibility frontier · the first new inequality is not new (4)
- Claim · The admissibility frontier · the first new inequality is not new (5)
- Claim · The admissibility frontier · the microscopic source quotient has five coordinates (1)
- Claim · The admissibility frontier · the microscopic source quotient has five coordinates (2)
- Claim · The admissibility frontier · the microscopic source quotient has five coordinates (3)
- Claim · The admissibility frontier · name the coordinates before reading the signs (1)
- Claim · The admissibility frontier · name the coordinates before reading the signs (2)
- Claim · The admissibility frontier · name the coordinates before reading the signs (3)
- Claim · The admissibility frontier · more energies do not add a coordinate (1)
- Claim · The admissibility frontier · more energies do not add a coordinate (2)
- Claim · The admissibility frontier · more energies do not add a coordinate (3)
- Claim · The admissibility frontier · ask for the likelihood, not the plot (1)
- Claim · The admissibility frontier · ask for the likelihood, not the plot (2)
- Claim · The admissibility frontier · ask for the likelihood, not the plot (3)
- Claim · The admissibility frontier · a term is not a detector row (1)
- Claim · The admissibility frontier · a term is not a detector row (2)
- Claim · The admissibility frontier · a term is not a detector row (3)
- Claim · The admissibility frontier · the public model has one control too few (1)
- Claim · The admissibility frontier · the public model has one control too few (2)
- Claim · The admissibility frontier · the public model has one control too few (3)
- Claim · The admissibility frontier · more detail cannot restore an erased coordinate (1)
- Claim · The admissibility frontier · more detail cannot restore an erased coordinate (2)
- Claim · The admissibility frontier · more detail cannot restore an erased coordinate (3)
- Claim · The admissibility frontier · the two rails share a plane, not a group (1)
- Claim · The admissibility frontier · the two rails share a plane, not a group (2)
- Claim · The admissibility frontier · the two rails share a plane, not a group (3)
- Claim · The admissibility frontier · the two rails share a plane, not a group (4)
- Claim · The Jordan–Lie hinge · Why ten generators are a real gate (1)
- Claim · The Jordan–Lie hinge · Algebra is not yet spacetime (1)
- Claim · One carrier, two faces, three relations · Three relations do not select an orientation (1)
- Claim · The projective loop · The exact result (1)
- Claim · The projective loop · The exact result (2)
- Claim · The projective loop · The reversal (1)
- Claim · The projective loop · A familiar twisted-loop picture (1)
- Claim · The projective loop · A familiar twisted-loop picture (2)
- Claim · The projective loop · Central sign versus handedness (1)
- Claim · The projective loop · Central sign versus handedness (2)
- Claim · The Furey interface · Why it is not yet unification (1)
- Claim · The Standard-Model seam · The attractive construction (1)
- Claim · The Standard-Model seam · The uncomfortable edge (1)
- Claim · The Standard-Model seam · What c, L and Y mean (1)
- Claim · The Standard-Model seam · What c, L and Y mean (2)
- Claim · The Standard-Model seam · Fit capacity versus derivation (1)
- Claim · The Standard-Model seam · The chiral fold obstruction (1)
- Claim · The Standard-Model seam · The chiral fold obstruction (2)
- Claim · Proton safety, Pati–Salam and triality · The current action and its limits (1)
- Claim · Proton safety, Pati–Salam and triality · The current action and its limits (2)
- Claim · The exceptional horizon · Jordan freedom and the need for selectors (1)
- Claim · The exceptional horizon · Jordan freedom and the need for selectors (2)
- Claim · Provenance and reading map · How to challenge a claim (1)
- Claim · Provenance and reading map · How to challenge a claim (2)