domains / families / science / itcs-experiments

itcs-experiments

separate

Use when deciding what counts as evidence for an ITCS theory claim — proofs as the primary evidence, worked examples and separations that make a model concrete, and the rare, well-scoped illustrative computation or simulation — and how to keep any computational content checkable and subordinate to the mathematics.

When to use

• deciding evidence for ITCS theory claims
• matching claim shape to argument shape
• using worked examples and separations as evidence
• scoping rare computational components
• verifying computational content is checkable
• identifying mis-imported empirical habits

When not to use

• benchmark tables as main results
• outperforming baselines framing
• runtime plots for efficiency
• statistical significance or error bars
• artifact reproducibility packages

Skill page

Source