14 unverified in 9 records · 24 not a citation claim · 0 dismissed · 15 pinned ids · 7 files in reading/ · read at a354234
Unverified
14 · the queue · compact density
a from memory / unverified / to be verified / verify before citing flag with an attribution in the same clause — a cited name, a journal, an arXiv id or DOI, a publication year beside one of those, or the record’s own word for it (attributions, source, before citing). Each stays a row, here and on Waiting, until the flag is replaced by a pinned citation.
044Why the boundary prediction is the one that matters. A Cantor spectral measure with fractal dimension D bounds the spreading (Ketzmerick–Petschel–Geisel, from memory: β ≥ D₂-type bounds) between localization and ballistic transport;name: Ketzmerick–Petschel–Geisellab/runs/044-quantum-walk-on-the-cell.md:29
047that Basilica's Schreier graphs approximate its Julia set and IMG(z² + i)'s approximate a dendrite (Nekrashevych's limit spaces, from memory);name: Basilica, Nekrashevychlab/runs/047-growth-axis-in-transport.md:24
047that Aleshin's automaton is bireversible and its Schreier graphs are expected to be expander-like (Glasner–Mozes, from memory, unverified — the falsifier carries the risk).name: Aleshin, Glasner–Mozeslab/runs/047-growth-axis-in-transport.md:24
047The Ketzmerick–Petschel–Geisel inequality β ≥ D₂ (from memory) holds in every row, and γ tracks D₂ as the time-averaged return probability should;name: Ketzmerick–Petschel–Geisellab/runs/047-growth-axis-in-transport.md:75
110(iv) the House's reported values are reproduced to 2 decimals at n = 18: (2,3) +0.11, (3,3) −0.16, (4,2) −0.51 (a mismatch is reported, not withdrawing: the House's computation is unverified).name: Houselab/runs/110-diamond-grid-sign-rule.md:1
110wall time. pre_seal_glimpse: the House's five values above, from PN-009, computed by an agent whose blindness is unverified;name: Houselab/runs/110-diamond-grid-sign-rule.md:1
113- name: (ii) test: no group's chain uses a containment the report marks as unverified or disputed (the HS report's rejected Hoffman–Singleton line; the Fi24′ report's "implied not stated") computed_on: the reports' own caveat sentences, read before sealing value: two caveats found (HS, Fi24′);name: Hoffman–Singletonlab/runs/113-inherited-predicate.md:32
N-025(Attributions from memory; verify before citing.)names its own attributionnotes/N-025-nonorientable-sees-2-torsion.md:122
N-035What is known, from memory and to be verified before any of it is cited: bounded activity ⇒ amenable (Bartholdi–Kaimanovich–Nekrashevych);name: Bartholdi–Kaimanovich–Nekrashevychnotes/N-035-sequential-circuit-reading.md:53
N-039a speculative physics chain with every attribution unverified tags: method, vocabulary, duality, rigidity, grokking, model-merging, self-organized-criticality, loop-in, unverified related: algebra-geometry-dictionary.md, docs/rung-vocabulary-v3.54.md, probes/P-019, probes/P-027, probes/P-035, probesnames its own attributionnotes/N-039-loop-in-grokking-chat.md:1
N-039it checked its vocabulary claims against the repo by grep and marked its physics attributions unverified.names its own attributionnotes/N-039-loop-in-grokking-chat.md:13
N-0393. Physics chain — speculative, every attribution unverified. Recorded so it is not re-derived, not as a record.names its own attributionnotes/N-039-loop-in-grokking-chat.md:47
P-043The occupants — all on the same tree, all built from a wreath recursion (every recursion below is from memory and MUST be verified against a primary source before the builder is written; the builder reports the source it used):names its own attributionprobes/P-043-second-occupant-G-omega.md:27
P-052(Sapoval, Rosso and Gouyet, J. Phys. Lett. (Paris) 46, L149 (1985), as cited in arXiv:cond-mat/0210106. Checked 2026-10-03: that paper states σ_f ∝ L_g^(ν/(1+ν)) with L_g the inverse gradient, 4/7 on the square, and attributes it to Sapoval, Rosso and Gouyet 1985 and 1989; the flag "from memory, ujournal · yearprobes/P-052-gradient-dial.md:28
Not a citation claim
24 · the rule’s own drops, shown · index density
the same flags with no attribution in the clause, or a clause that says the verification already happened. The clause is the unit — split on . ? ! ; outside brackets — not the line and not the paragraph. A drop is shown, never silent: if one of these is a claim, the fix is in the record (name the source in the same clause), not an exception in the scanner.
029No full scan has completed, so the docstring's ~24-hour estimate remains unverified by any completed run.no attribution in the clauselab/runs/029-artin-billiard-maass.md:58
048the orders of ab, ac, ad in G (16, 8, 4 — from memory, the control in (i) checks the level-5 values against the interpreter);no attribution in the clauselab/runs/048-seam-orbit-as-register.md:22
106--- id: 106 kind: run slug: diamond-rung-threshold-moments state: run created: 2026-10-16 sealed: 2026-10-16 builds_on: [102, 105] concepts: [fractal-dimension, correction-to-scaling] programme: PG-03 line: the ladder of toy models, walk item of 2026-10-15 from: the owner's thread of 2026-10-15 (norno attribution in the clauselab/runs/106-diamond-rung-threshold-moments.md:1
113whether a substructure relation the reader marked unverified (B's VB♮) falls under control (ii) is unsaid;no attribution in the clauselab/runs/113-inherited-predicate.md:61
N-007(Bet, unverified.)no attribution in the clausenotes/note-accidental-symmetries-as-ramification.md:49
N-009Section 4 is a mod-n theorem plus an unverified integer-lift prediction.no attribution in the clausenotes/note-hofstadter-reading-of-char-p-langlands.md:65
N-017The earlier framing was a reconstruction from memory that invented the wrong mechanism, an instance of the compression-loss the CHARTER names.no attribution in the clausenotes/N-017-dimensions-from-the-determinant.md:13
N-027four attributions made from memory verified and pinned;the clause states the verification happenednotes/DIGEST-anyon-statistics-chase.md:196
N-038The agents read excerpts and quote theorems from memory;no attribution in the clausenotes/N-038-reductio-audit-of-the-record.md:114
P-047All are from memory, unverified.no attribution in the clauseprobes/P-047-composition-defect.md:58
P-051Whether a criterion of that kind has been written for hierarchical thinning on a carpet: not known to the codifier, unverified.no attribution in the clauseprobes/P-051-seam-dimension.md:92
P-054The codifier named three (invasion, a thermostat, drive-and-burn), claimed five things for invasion from memory, and the owner asked for the claims to be audited and tested before filing.no attribution in the clauseprobes/P-054-invasion.md:15
P-054Maslov (1995) was named from memory and is not confirmed, so it is not cited.no attribution in the clauseprobes/P-054-invasion.md:53
PN-001The presenting object has no second column at all for its sign — nothing to check the missing positivity against — which is exactly the ledger's way of saying the "half-space" is currently unnamed, not merely unverified.no attribution in the clausepanels/PN-001-CASE-08-A.md:80
PN-001My axis has purchase here precisely because the whole dispute is "is this the same theorem" and the answer is still: unverified, because the object the theorem needs has not been exhibited, only gestured at via the finite-field analogy.no attribution in the clausepanels/PN-001-CASE-08-A.md:262
PN-0024. Not checkable — no second RG level's y is computed and compared to the one-block y for any pattern, so self-similarity of the flow (as opposed to the geometric self-similarity of the carpet) is unverified.no attribution in the clausepanels/PN-002-CASE-25-A.md:192
PN-0021. Not checkable from the case, and explicitly flagged as assumed, not verified: the ledger states the square-lattice bias (~0.01–0.02, itself size-dependent: 0.741 at moderate L, 0.73 at larger L) "has not been measured on these patterns," and its transfer to the carpets as a uniform offset is lithe clause states the verification happenedpanels/PN-002-CASE-25-A.md:202
PN-003TAKE Every quantitative claim in this case rides on tools whose preconditions are either unverified or actively contradicted by the case's own data.no attribution in the clausepanels/PN-003-CASE-26-A.md:334
PN-004This is consistent with a precondition of "closeness of parent exponents" being satisfied for one pair and violated for the other, while the case's own stated precondition ("cut classes match") is a different, unverified claim that happens to coincide with exponent-closeness in these two examples onno attribution in the clausepanels/PN-004-CASE-27-A.md:180
PN-005"the recursion has no turn" is necessary but not sufficient to prove inter-block correlation is the mechanism, and the case concedes this with the word "assumed." The honest state is: tool preconditions are unmet or unverified at the two places the argument needs them most.no attribution in the clausepanels/PN-005-CASE-28-A.md:337
PN-006"the recursion has no turn" is necessary but not sufficient to prove inter-block correlation is the mechanism, and the case concedes this with the word "assumed." The honest state is: tool preconditions are unmet or unverified at the two places the argument needs them most.no attribution in the clausepanels/PN-006-CASE-28-A.md:344
PN-007D4 forces R_LR=R_TB but not their joint, so same-R members can diverge in p_med while sharing p*, slope, y9." Correction to premise ledger: strike "invisible property is unique/unnamed" — replace with "named but unverified;no attribution in the clausepanels/PN-007-CASE-29.md:571
PN-008Write back: FORCED 1–3 and the fitted law count=(k/32)·W_n (k∈{0,1,10}, fit on 3 points) as the edge into the ledger, flagged unverified;no attribution in the clausepanels/PN-008-CASE-30.md:473
PN-009--- id: PN-009 kind: panel case: CASE-31 state: run created: 2026-10-20 seats: [ledger, framing, hypothesis, lateral] bound_fired: false runner: differential/run_panel.js, draw 1, model claude-sonnet-5-5 on every call record_loaded: false blindness: "unverified for the four calls dispatched in the sno attribution in the clausepanels/PN-009-CASE-31.md:1
Dismissed in the record
0 · each with its stated reason · full density
a flagged line the rule still catches that is not a claim carries <!-- cite-check: dismissed — <reason> --> beside it, and the reason is rendered here. That marker is the only way out of the queue that is not an answer.
none — no record carries the marker yet
Bibliography
15 pinned ids · 0 with a PDF in reading/ · compact density
every arXiv id or DOI pinned in any record, with the records citing it, and its PDF when reading/ holds one.