What a Book Assistant Experiment Taught Us About Governing AI Research#
AI can search.
AI can summarize papers.
AI can generate citations, synthesize sources, compare arguments, and produce polished research briefs.
None of those capabilities, by themselves, solve the hardest problem in automated research.
The harder problem is:
How does a machine prevent information from acquiring more epistemic authority as it moves through a research workflow?
A weak source can become a confident summary.
A first-party assertion can become “independent evidence.”
A passing test suite can become a claim of general effectiveness.
A search result can become support merely because it contains familiar terminology.
An unresolved question can disappear during synthesis.
A contradicted proposition can quietly be rewritten into something defensible.
And after enough transformations, an AI-generated manuscript can present a claim with considerably more confidence than any source ever justified.
That process can be called epistemic laundering.
The problem is not necessarily fabrication.
Often every individual step looks plausible.
The distortion occurs because epistemic status is lost during transformation.
A recent Book Assistant experiment was designed around that problem.
Its objective was not simply to determine whether an AI could conduct research for a book.
It asked a more demanding question:
Can an automated research system discover what needs evidence, obtain real evidence, distinguish what different sources are entitled to establish, preserve contradictions and qualifications, and propagate those limits all the way into downstream drafting instructions without human repair during the substantive run?
On one preserved book-development package, the answer was encouraging.
More importantly, the failures on the way to that result taught us something about how autonomous research systems should be designed.
Research Is Not “Find Information About This Topic”#
The experiment began with a book-development problem.
A pre-drafting package for Programming Cognition contained unresolved research requirements, useful but nonblocking questions, and decisions that depended on the author rather than empirical research.
A conventional AI research workflow might take the obvious approach:
- extract topics;
- search for information;
- summarize the results;
- insert them into the manuscript.
That workflow is efficient.
It is also epistemically dangerous.
The original package did not merely contain “topics.”
It contained propositions with different evidentiary obligations.
Some propositions needed external support.
Some needed qualification.
Some involved historical precedence.
Some depended on actual runtime behavior.
Some could only be decided by the author.
Those are fundamentally different research problems.
So the experimental system began by converting missing information into research obligations.
The frozen protocol used eight stages:
Starting Obligation Discovery & Snapshot
→ Normalization & Canonical Ledger
→ Bounded Research Planning
→ Evidence Sourcing & Evaluation
→ Compact Research Brief Generation
→ Epistemic Evidence Adjudication
→ Provenance-Preserving Propagation
→ Package Reconciliation & State Determination.
The distinction matters.
The system was not told merely:
It was required to answer:
That changes the nature of automated research.
Start With an Immutable Statement of Ignorance#
One of the most important design decisions occurred before the system searched for anything.
The unresolved state was frozen.
Each missing-information block received an identity and recorded:
- its source artifact;
- the proposition requiring evidence;
- why evidence was needed;
- which downstream artifacts depended on it;
- its current epistemic status;
- the required evidentiary standard;
- acceptable source classes;
- whether the question was actually researchable;
- its completion criterion;
- affected chapters and claims where applicable.
The starting package and obligation set were cryptographically snapshotted before substantive research began.
This may sound procedural.
It solves a serious epistemic problem.
If the unresolved questions are allowed to change while the research is running, the system can accidentally—or conveniently—redefine success.
A difficult research question can become an easier one.
A missing obligation can disappear.
A contradiction can be reframed.
A requirement that was initially blocking can silently become optional.
Freezing the starting state turns the machine's original ignorance into evidence.
At the end of the run, we can ask:
What happened to every thing we did not know at the beginning?
That is much harder to manipulate than asking whether the resulting research package “looks complete.”
Zero Omission Is More Important Than Apparent Completeness#
The experiment imposed a zero-omission invariant.
Every originating research block had to terminate in an explicit disposition.
It could be supported.
It could be supported with qualification.
It could be contradicted.
It could remain insufficiently evidenced.
It could be declared non-researchable as stated.
It could be superseded by a more precise obligation.
What it could not do was quietly disappear.
The success rules required 100% accounting, verifiable provenance for resolved propositions, preservation of unresolved claims, preservation of contradictions and qualifications, no new package contradictions, and a final package state that truthfully represented the evidence.
That is a useful inversion of ordinary automation incentives.
Many systems optimize for completion.
A governed research system should optimize for accounted-for incompleteness.
A package in which three questions remain explicitly unresolved may be epistemically stronger than one in which all three were given plausible but unsupported answers.
The First Crucial Gate: Is the Source Real?#
Earlier trial failures exposed an embarrassingly basic but essential problem.
A citation-shaped object is not necessarily evidence.
A URL can look plausible and not exist.
A DOI can have valid syntax and still be a sample identifier.
An internal AI-generated artifact can refer to a claim and then be mistakenly treated as external confirmation of that same claim.
A mock retrieval system can produce structurally perfect “research.”
So the repaired experiment introduced Gate A — Source Reality.
Every retrieved candidate carried a RetrievalAttestation identifying
its transport, environment, provider, request, resolved location,
timestamps, response status, and cryptographic content hashes.
Substantive evidence had to come through a production or verified-authority path.
The gate explicitly rejected:
- mock transports;
- fixture candidates;
- fabricated domains;
- sample DOI patterns;
- internally generated Book Assistant artifacts presented as external evidence;
- payloads whose hashes did not match their retrieved content.
This is a low-level rule with high-level significance:
Before asking whether a source supports a proposition, establish that the source exists as claimed.
In human research, this is so obvious that we rarely state it.
In machine research, it must become a contract.
The Second Gate: What Kind of Source Is It?#
A real source can still be the wrong source.
Suppose the developers of a system say:
That may be excellent evidence for what the project claims to do.
It is not independent evidence that the system is historically novel.
A project test suite may prove that a function behaves as implemented.
It does not prove universal effectiveness.
A company case study may provide useful operational data.
It is not equivalent to independent comparative research.
So the experiment introduced Gate B — Source Role Classification.
Sources were classified into authority classes including:
FIRST_PARTY_PROJECT_PRIMARYEXECUTION_EVIDENCEINDEPENDENT_EXTERNAL_SECONDARYPEER_REVIEWED.
This prevents a common form of epistemic laundering:
source reality becoming source authority.
A source can be authentic and still lack the standing required for a particular claim.
That distinction should survive throughout an automated research system.
The Third Gate: Does This Source Actually Establish This Proposition?#
Even an authoritative source can be irrelevant to the proposition under evaluation.
Keyword similarity is not evidence.
Terminological overlap is not evidence.
A paper discussing a related concept may not establish the historical priority, comparative performance, or technical behavior required by the research obligation.
The frozen protocol stated this explicitly:
- matching terminology alone does not constitute evidence;
- absence of contrary evidence is not affirmative support;
- unsupported or unresearchable propositions must remain unresolved or qualified.
This became Gate C — Proposition Fit & Evidentiary Standard.
The system encoded rules such as:
First-party sources cannot satisfy independent comparative or historical-priority standards by themselves.
Test suites establish execution behavior, not universal empirical truth.
Independent literature is required for comparative models and historical refutation.
This is where much AI-assisted research currently fails.
The system finds a source.
The source contains relevant language.
The model writes a sentence that sounds supported.
The citation appears at the end.
But the source does not actually warrant the proposition.
Citation presence and evidentiary fit are different properties.
Research Must Be Allowed to Say “No”#
The strongest test of a research system is not whether it finds support.
It is whether it can discover that the intended claim is wrong.
One research obligation concerned historical precedence around concepts related to structured cognition and frames.
The automated research found an earlier Marvin Minsky work from 1974.
The resulting disposition was not:
SUPPORTED
or even:
SUPPORTED_WITH_QUALIFICATION.
It was:
CONTRADICTED.
The downstream instruction required the manuscript to acknowledge or retract the historical priority claim.
That result matters more than a successful citation lookup.
The system discovered evidence adverse to the manuscript it was helping produce.
It then preserved that contradiction downstream.
That is closer to research than evidence collection.
Research Must Also Be Allowed to Say “That Is Not a Research Question”#
Another obligation concerned authorial strategic and scoping decisions.
The system could have attempted to research what the author “should” decide.
It did not.
The disposition was:
NOT_RESEARCHABLE_AS_STATED.
This distinction is subtle and important.
Some questions are empirical.
Some are normative.
Some are governance decisions.
Some require domain authority.
Some belong to the author.
An automated research system that cannot distinguish them will eventually convert preferences into facts or outsource human authority to search results.
Good research automation requires the ability to say:
Evidence cannot decide this question.
The Evidence Dispositions Were Not Binary#
Nine research briefs emerged from the substantive run.
Their terminal states were heterogeneous:
- six were SUPPORTED_WITH_QUALIFICATION;
- one was SUPPORTED;
- one was CONTRADICTED;
- one was NOT_RESEARCHABLE_AS_STATED.
That distribution is instructive.
A research pipeline designed implicitly to “fill gaps” might view qualifications and contradictions as failures.
A governed pipeline should regard them as valid outcomes.
Indeed, the experiment explicitly defined a package state called:
PACKAGE_RESEARCH_COMPLETE_WITH_UNRESOLVED_EVIDENCE
for situations in which the research process completes correctly even though some propositions remain qualified, contradicted, or unresolved because the evidence does not support stronger conclusions.
This is an important concept for autonomous research.
Research completion and proposition confirmation are not the same thing.
A machine should be able to finish researching a question and conclude:
That is not a workflow failure.
It may be the most truthful result available.
The Hardest Part Comes After Research#
Suppose the research system correctly decides:
SUPPORTED_WITH_QUALIFICATION.
That does not solve the problem.
The qualification now has to survive several transformations:
source
→ evidence record
→ research brief
→ claims register
→ chapter architecture
→ drafting instructions
→ manuscript.
Every transition creates an opportunity for confidence to increase.
A research brief says:
A chapter brief says:
A manuscript says:
That is epistemic laundering through compression.
The Book Assistant trial therefore treated propagation as part of the research capability itself.
Qualifications, contradictions, insufficient-evidence states, and provenance had to remain attached to dependent downstream artifacts.
The propagation contract explicitly prohibited deleting or softening qualifications merely to obtain package convergence.
This may be the experiment's most transferable lesson:
A research system is only as epistemically sound as its weakest downstream transformation.
Perfect source selection does not matter if drafting later strips the caveats.
Negative Instructions Are Research Outputs#
The experiment propagated evidence into three major control surfaces.
The claims register received evidence dispositions and provenance.
The open-questions document received a complete obligation-resolution ledger.
The drafting instruction brief received explicit research-governed constraints.
Those constraints told the future drafting system what it must not claim.
Among them were prohibitions against:
- unsupported historical priority claims;
- unverified runtime guarantees;
- unjustified philosophical extensions.
This is an underappreciated form of research output.
We usually think of research as adding knowledge.
Sometimes research's most valuable contribution is removing permission to say something.
A mature AI research pipeline should therefore produce both:
positive affordances
“What may now be stated?”
and
negative constraints
“What must no longer be stated?”
The negative constraints may be more important.
Failed Experiments Became Part of the System#
The successful run did not erase the earlier failed runs.
BA-TRIAL-002, 002A, and 002B had exposed problems including synthetic DOI patterns and fabricated source locations.
Those records were retained untouched as regression fixtures.
This is good experimental hygiene, but it also suggests a broader engineering practice.
When an AI research system fails epistemically, the failure should become a permanent adversarial example.
Do not merely patch:
Preserve the exact failure class and prove that it remains rejected.
The final repaired system's qualification suite included explicit cases for mock transports, fixture candidates, fabricated locators, fabricated DOI patterns, content-hash mismatches, and inappropriate first-party evidence.
That turns an embarrassing failure into a durable capability.
The Frozen Run#
To determine whether the system itself could perform the workflow rather than being repaired interactively until it succeeded, substantive execution was frozen.
Once the run began, there could be:
- no manual topic selection;
- no query editing;
- no manual source filtering;
- no disposition overrides;
- no prompt modification;
- no code modification after the baseline freeze.
This does not mean human involvement is undesirable in actual research.
It means human intervention was excluded from this experiment because otherwise we could not tell whether the system had demonstrated the capability.
That distinction is important.
In production, a human may appropriately review evidence or intervene at authority boundaries.
In a capability trial, hidden human repair destroys causal clarity.
What Happened in the Substantive Run#
The preserved Programming Cognition package contained 26 originating blocks distributed across blocking research needs, useful nonblocking questions, and author-decision items.
At reconciliation:
- 26/26 originating obligations remained accounted for;
- zero obligations disappeared;
- zero new substantive contradictions were introduced;
- qualifications and contradictions remained as downstream constraints;
- the package returned to
PACKAGE_COHERENT.
The substantive phase recorded zero manual intervention.
It generated nine attested research briefs, propagated the evidence states into dependent artifacts, and reached the determination:
BOOK_ASSISTANT_CATEGORY_2_RESEARCH_CAPABILITY_DEMONSTRATED
with the package state:
PACKAGE_DRAFTING_READY.
The implementation qualification supported the experimental workflow. It should not be mistaken for evidence that the approach works universally.
What Was Actually Demonstrated#
It is tempting to summarize the experiment as:
AI autonomously researched a book.
That would be too broad.
The narrower supported claim is more interesting.
Within the frozen Programming Cognition pre-draft package, the system demonstrated an end-to-end capability chain:
Missing Information Block
→ Research Obligation
→ Bounded Plan
→ Production Retrieval
→ Source Reality Check
→ Source Role Classification
→ Proposition-Fit Adjudication
→ Research Brief
→ Truth-Preserving Propagation.
That is not “automated research” in the broadest sense.
It is a specific governed research behavior.
The important capability is not search.
It is epistemic state preservation across a research workflow.
What the Experiment Did Not Prove#
The experiment used one substantive book-development package.
That matters.
It did not establish general performance across medicine, law, history, journalism, science, theology, or arbitrary scholarly research.
It did not demonstrate exhaustive literature review.
It did not establish that the retrieved evidence represented the best possible evidence available globally.
It did not remove the need for domain experts.
It did not demonstrate that manuscript drafting itself would never distort the research afterward.
And the fact that the run required zero human intervention for experimental purposes should not be interpreted as a recommendation that consequential research systems eliminate human review.
There is another important limitation.
This was not a randomized comparison showing that Book Assistant produces better research than an expert human researcher, a conventional RAG system, or a strong unconstrained AI research workflow.
It was a capability demonstration.
The distinction should remain explicit.
A separate dual-mode production control packet makes the same methodological point elsewhere: successful production cases do not establish generalization across all books or prove that a production system is complete.
That restraint should apply here as well.
The Larger Lesson: Research Needs an Epistemic Type System#
Programming languages prevent certain errors by attaching types to values.
A number should not silently become a date.
A user object should not silently become an authorization token.
A nullable value should not be treated as guaranteed.
AI research systems need something analogous for knowledge.
A proposition may be:
- directly supported;
- supported with qualification;
- contradicted;
- insufficiently evidenced;
- inferred;
- first-party asserted;
- independently corroborated;
- experimentally demonstrated;
- not researchable as stated;
- an author decision;
- unknown.
Those states should not be comments added at the end.
They should constrain what operations are legal downstream.
For example:
SUPPORTED_WITH_QUALIFICATION
should not silently cast to:
ESTABLISHED_FACT.
FIRST_PARTY_PROJECT_PRIMARY
should not cast to:
INDEPENDENT_VALIDATION.
TEST_PASSED
should not cast to:
UNIVERSALLY_EFFECTIVE.
NO_CONTRARY_SOURCE_FOUND
should not cast to:
TRUE.
NOT_RESEARCHABLE_AS_STATED
should not cast to:
AI_MAY_DECIDE.
Seen this way, epistemic laundering resembles a type-safety failure.
The system allowed an object to change epistemic type without an explicit, justified transformation.
That is a useful engineering metaphor because it changes the solution.
We do not merely tell the model:
We build transformations that preserve and validate epistemic types.
Retrieval Is Only One Layer#
The recent enthusiasm around retrieval-augmented generation sometimes obscures this distinction.
Retrieval answers:
What information can be brought into context?
Governed research must additionally answer:
Is it real?
What role does this source have?
Does it support this proposition?
What remains uncertain?
What contradictory evidence exists?
Which downstream claims may change because of it?
What must not be claimed afterward?
That is a much larger system than retrieval.
A vector database cannot answer those questions merely by returning relevant passages.
Neither can a search API.
They are evidence transport mechanisms.
Research requires epistemic adjudication.
Autonomy Should Be Measured by What the System Refuses to Do#
Autonomous-system evaluation often focuses on task completion.
How many steps can the system perform?
How long can the agent operate?
How many tools can it use?
How rarely does it ask for help?
The Book Assistant experiment suggests another metric.
Can the system autonomously preserve the reasons not to conclude?
Can it reject the fake source?
Can it say the real source has the wrong authority class?
Can it determine that the evidence only supports a qualified claim?
Can it preserve contradictory evidence?
Can it leave something unresolved?
Can it recognize that a question belongs to the author rather than research?
Can it prevent downstream prose from regaining claims the research removed?
These are forms of competence.
They may become increasingly important as agents gain more research autonomy.
Evidence Does Not Become Stronger Because More AI Touched It#
There is a broader principle here.
Suppose an external paper weakly supports a claim.
An AI extracts it.
Another AI summarizes it.
A third AI produces a research brief.
A drafting agent turns the brief into prose.
An editorial agent improves the prose.
A publication system packages the result.
Nothing in that sequence increases the original evidentiary strength.
If anything, every transformation creates another opportunity for loss.
Yet polished downstream outputs often feel more authoritative than the underlying evidence.
That creates a dangerous inversion:
presentation quality increases while epistemic warrant remains constant—or degrades.
Governed research systems must resist that illusion.
Authority must flow from evidence forward.
It must not be manufactured backward from fluent output.
The Same Pattern Is Appearing Elsewhere#
This research result belongs to a larger pattern emerging across several of our recent experiments.
The Machine Edition work found that a capability should not be confused with its representation or runtime.
The Semantic Assurance work found that textual change should not be confused with semantic change, and semantic change should not be confused with consequence.
The Book Assistant research work found that retrieved information should not be confused with evidence, and evidence should not be confused with authority for a particular proposition.
These are variations of the same architectural principle:
Adjacent stages in an intelligent workflow must not silently inherit one another's status.
Representation is not capability.
Execution is not evidence.
Retrieval is not support.
Support is not universal proof.
Research completion is not proposition confirmation.
Recommendation is not authorization.
Publication is not truth.
Each transition needs a contract.
A Practical Architecture for Governed AI Research#
The experiment suggests a compact architecture that extends beyond book production.
A research agent should operate something like this:
1. Freeze the question.
Record the exact proposition and why evidence is needed.
2. Define the evidence obligation.
Specify what source classes and standards could satisfy the question.
3. Retrieve with provenance.
Know where material actually came from.
4. Verify source reality.
Do not evaluate invented evidence.
5. Classify source role.
First-party assertion, execution evidence, independent analysis, peer
review, and other classes are not interchangeable.
6. Evaluate proposition fit.
Relevant-looking information is not automatically evidence for the
proposition.
7. Preserve epistemic disposition.
Support, qualification, contradiction, insufficiency, and
non-researchability must remain distinct.
8. Propagate limits.
Downstream artifacts inherit the restrictions as well as the positive
findings.
9. Reconcile every starting obligation.
Nothing disappears because it was inconvenient.
10. Declare the final state truthfully.
“Research complete, evidence unresolved” must be an acceptable
successful outcome.
That is not a complete theory of research.
It is a useful minimum discipline for machines that participate in it.
Conclusion#
The obvious ambition for AI research systems is greater autonomy.
Search more sources.
Read more papers.
Generate better syntheses.
Operate longer without assistance.
Those capabilities matter.
But autonomy without epistemic preservation can simply automate the production of confident error.
The more consequential objective is therefore not:
Can AI research this for us?
It is:
Can AI transform uncertainty into knowledge without transforming weak evidence into strong claims along the way?
Our Book Assistant experiment provides one bounded positive result.
On a frozen pre-drafting package, an automated system discovered research obligations, retrieved real evidence, classified source roles, evaluated proposition fit, preserved contradiction and qualification, propagated epistemic limits downstream, reconciled every originating obligation, and did so without manual repair during the substantive execution.
That does not mean autonomous research is solved.
It shows what a credible solution must begin to look like.
Research is not complete because every blank has been filled.
Research is complete when every important question has an honest state.
Sometimes that state is:
supported.
Sometimes:
supported, but only under these conditions.
Sometimes:
contradicted.
Sometimes:
the evidence is insufficient.
And sometimes:
this is not a question evidence gets to decide.
An AI system capable of preserving those differences may be more useful than one capable of producing a confident answer to everything.
Because the central problem of autonomous research is not access to information.
It is preserving the truth about what the information actually allows us to say.
Evidence Basis and Limits#
- Trial: BA-TRIAL-002C, using the preserved Programming Cognition package.
- Observed outcome: All 26 originating obligations were accounted for; nine research briefs ended with mixed dispositions; and the frozen substantive execution required zero manual repair.
- Interpretation: This was a one-case capability demonstration, not evidence of cross-domain generalization.