Skip to content

Derivation Logs

Every claim in QIF is traceable to a specific derivation step. These logs document the reasoning chains, decision points, and discoveries as they happened, in real time, append-only, and never edited after the fact.

How to Read These Logs

Entry Classifications

Every derivation log entry is tagged with its epistemic status. This tells you how much weight to put on the claim.

VERIFIED

Grounded in established physics, peer-reviewed literature, or empirical data. The reasoning chain is complete and checkable.

INFERRED

Logical extension from verified premises. The inference is sound but the conclusion has not been independently confirmed.

HYPOTHESIS

Novel conjecture with theoretical motivation. May be wrong. Explicitly labeled so readers know this is speculation, not established fact.

IMPLEMENTED

The insight has been translated into code, configuration, or documentation. The implementation can be inspected directly.

CORRECTION

A previous entry was found to be wrong. The correction entry explains what changed and why. Original entries are never modified.

The Append-Only Policy

These logs follow strict rules designed for academic transparency and intellectual reproducibility.

Never edited after the fact

If an entry is later found to be wrong, a new CORRECTION entry documents what changed and references the original. The original entry stays untouched.

Never deleted

Wrong ideas are part of the intellectual record. Seeing how thinking evolved is as valuable as the final conclusions.

Timestamped in real time

Entries are written as insights occur, not retroactively. This preserves the actual discovery timeline and prevents hindsight bias.

AI collaboration is transparent

Every entry documents which AI systems were involved and what the human decided. AI cannot author entries; all final decisions are human.

Milestone Entries