Derived, not decreed.
Bharat Strata is accompanied by a foundational theory that derives a witness substrate from first principles — and states, as numbered obligations, exactly what is proved, what is conjectured, and what remains open.
The honesty discipline
Every empirical claim about the running system is read live from the API and recorded; nothing is recalled. Every foundational claim is tagged by its warrant:
Argued in full, here.
Asserted with a proof-sketch; the discharge is owed and listed.
A stipulation that could coherently have gone otherwise.
The series is an adversarial audit conducted over eight revisions. Where a review was right, the document concedes in the text rather than defending — that is the method, not an exception to it.
The argument, in eight moves.
The theory was developed as an adversarial audit over eight revisions — each one answering a reviewer who attacked the strongest part of the last. A synthesis:
Recover the structure of a running witness system and state it as doctrine.
Derive that structure rather than describe it; introduce the rewrite razor that separates necessity from choice.
Derive a knowledge regime — spatiality, empiricity, plurality, temporality, partiality — and the witness as its minimal closure, with a typed tool grammar.
Identity, persistence, taxonomy and composition of constructs; a construct’s value is the inference it licenses, never the number itself.
Why these constructs: influence, causal and mobility constructs are excluded by primitives the data does not contain. Value flows up; existence flows down.
The grammar is a chart, not the territory; foundationality lives in the coordinate-free admissible set it charts.
Define a “natural construction” as invariance + definability; the exclusion boundary is rigorous, the interior is logic-relative, and full membership is undecidable.
One exclusion principle: a construct is excluded exactly when it is not identifiable from the supplied structure; the served constructs are the stable, minimal-complexity ones.
The full manuscripts are held in a private repository. Researchers may request them from hello@gridrock.ai.
What is proved, what is owed.
The point of stating obligations is that the document cannot manufacture an illusion of rigour by vocabulary. A selection:
The witness is a sufficient, internally-irreducible atom of the regime (it works, and carries no slack).
The exclusion boundary is logic-invariant: influence, flow and causation are not identifiable from the supplied structure.
Served constructs are the stable, minimal-complexity identifiable construction of each output sort.
Uniqueness of the witness across all adequate ontologies (sufficiency is shown; necessity is not).
Completeness of the admissible construct space, and a canonical representative per cell.
External validity — which constructs predict a real, out-of-substrate outcome. This is measured, not derived, and is the dominant risk.
The substrate need not win every foundational debate to be sound; it need only never assert beyond its warrant. The remaining gap is named, falsifiable work — not confusion.