A standing invitation to question, narrow, or correct any claim
You do not need to accept the whole research programme. Pick one claim, definition, proof step, interpretation, or empirical mapping — and explain what you think is wrong, missing, or too strong. Counterexamples, negative results, and requests to narrow a claim are all welcome.
What can be challenged
01A mathematical definition or derivationA definition is vague, a step does not hold, a premise is left unstated, or a conclusion is stated too strongly when it follows directly from a definition. A precise formula difference or a missing assumption helps most.
02Lean formalisation and dependenciesA Lean declaration does not express the paper's actual claim, a key antecedent is missing, the axiom-dependency scope is unclear, or the public reproduction command does not run. Please give the theorem name, file path, error output, or a minimal reproduction.
03An over-broad claimFor example, presenting a conditional identity as unconditional, promoting a single-model result to a law of all autonomous systems, or describing a mathematical correspondence as an empirical finding. Stating where the evidence stops is as useful as finding a formula error.
04A counterexample, alternative model, or interpretationPropose another selector, closure structure, or conceptual reading; show it satisfies the same conditions yet yields a different result; or explain why a philosophical analogy does not hold. One clear counterexample is enough to limit a single claim.
Claims worth particular scrutiny
#
Claim
Why it needs care
1
Boundary–self-report conditional identity
The result depends on explicit conditions such as the report family being upward-closed. Is the antecedent stated correctly, and can a new counterexample be constructed?
2
Level self-reference unique solution
Under the chosen map the self-consistent equation has a unique solution; this must not be misstated as "unique among all selectors". Existing counterexamples already restrict it.
3
Assembly criterion ≠ existence
The proved criterion must not be read as proving the assembly event necessarily exists. The proof that constructs c′ from σ_mech>σ* is still missing.
4
κ mapping unverified
Which of the κ↔β (neuroscience) or robotics variable mappings are mathematical definitions, and which remain empirical assumptions?
What happens after feedback
ReceiveLocate the claimConfirm which claim, definition, or piece of evidence is being questioned.
NumberRecord itEach concern is given a public reference so it can be tracked.
ReplyRespond in publicAttempt to reproduce the problem and check premises and dependencies.
ReviseNew version or new lineWhen needed, a correction is issued as a new version or a new line marked supersedes; the history of the original claim is not silently rewritten.
Open a public question
A GitHub account is required to publish. Issues are public and visible to other readers. Do not post private information, credentials, or data you are not authorised to share. You can edit the text on GitHub before submitting.