The owner can publish a false assumption. A valid conditional inference can then have a false conclusion in the real world. Assumptions are explicitly labeled. This contract does not certify truth, identity, delivery, legal effect or independent sources. Consumers must accept the premise authority of the selected workspace.

Inference considers only selected premises. An unrelated conflicting assumption elsewhere does not automatically retract all conclusions. Inconsistent selected premises should produce UNDETERMINED. Applications needing formal logical guarantees require formal proofs and an appropriate checker.

Text may contain prompt injection, negation, exceptions and misleading authority claims. Inputs are framed as data and validators independently infer the relation. A mistaken or malicious majority can still accept an incorrect inference. Live examples demonstrate behavior; they are not an adversarial-model benchmark.

Logical proof records remain after premises lose availability. Consumers must check the current target/proof active state or a finalized snapshot. An old proof digest does not establish current support. Retraction updates the entire bounded workspace atomically without network calls.

Identical text in different assumption IDs remains distinct declared support. Rootline does not deduplicate “same real evidence,” and a consumer must not count assumption IDs as independent external sources.

Only the owner can fill or change a workspace. There is no public writer that can exhaust another workspace's slots. Key recovery and multi-party governance are outside scope. Public views require no authority.

Limits: 24 statements, 48 accepted proofs, 8 proofs per target, 4 parents per proof, 1,200 characters per statement. Sorted support sets are deduplicated; cycles are rejected before any model call. Storage history is not evicted.

There are no payable methods, token ledger, outgoing messages or callbacks. All text remains public, including retracted assumptions. StudioNet is a hosted execution environment, not a Bradbury deployment or production mainnet security claim.