Structured Manuscript Example: Proof Note With Setup, Counterexample, and Remedy
A paper-style Basis manuscript that expands a simple theorem into a more structured note with setup, main result, counterexample, and a practical bounded-transform remedy.
This example shows a different output shape from the shorter formal note. It is more structured and manuscript-like, which makes it useful for teams that want a short paper-style note rather than a minimal proof memo.
ObjectiveProduce a short manuscript proving unbiasedness of the sample mean under integrability, while structuring the argument with explicit setup, a failure mode, and a lightweight remedy section for heavy-tailed cases.
OutputsPDF · TeX manuscript
ViewerFull public edition of the structured manuscript with cleaned front matter and no internal draft banner.
Run brief
What this run had to deliver.
Basis had to satisfy a concrete objective, keep the assumptions explicit, and leave behind artifacts
a human could inspect and continue.
Objective
Structured Manuscript Example: Proof Note With Setup, Counterexample, and Remedy
Produce a short manuscript proving unbiasedness of the sample mean under integrability, while structuring the argument with explicit setup, a failure mode, and a lightweight remedy section for heavy-tailed cases.
Scope
What had to be covered
Open with a paper-style setup section rather than jumping straight to the theorem.
Separate the proof, counterexample, and remedy into explicit sections.
Preserve enough formal structure to read like a manuscript instead of a chat transcript.
Artifacts
What persisted after the run
Public manuscript PDF
LaTeX source manuscript
Structured proof note with counterexample and remedy
Curated public viewer edition
Inside the output
What the document actually says.
StructureAbstract, setup, main result, failure mode, and remedy are separated into explicit sections.
ClarityDistinguishes integrability from independence instead of merging the assumptions.
Use caseGood fit for internal notes that need a manuscript-like frame without becoming long-form.
What makes this version different
Representative summary
Instead of staying as short as possible, this version uses a more manuscript-like arc: setup, main theorem, minimal condition for unbiasedness, a concrete Cauchy failure case, and a brief bounded-transform remedy.
That makes it a useful public proof page for Basis because it demonstrates controllable output shape. The same underlying question can be rendered as either a compact note or a more structured manuscript depending on the run framing.
Structured setup and theorem page from the public viewer manuscript.Failure mode and bounded-transform remedy section from the same output.
Actual PDF
Read the output directly.
Full public edition of the structured manuscript with cleaned front matter and no internal draft banner.
