Method Protocol (From Axiom → Test)

Non-circular discipline

  1. Axioms & definitions are defended, not “proven”.
  2. Lemmas are proven relative to axioms/definitions.
  3. Hypotheses are tested, not proven.
  4. Operationalizations convert constructs into measurable proxies.
  5. Datasets + evidence extracts provide auditable provenance.
  6. Results are reproducible computations.
  7. Interpretations come last.

If any step is missing, the chain is incomplete.

What to do when something is “not directly testable”

  • Keep it as AXIOM or DEFINITION with proof_status: asserted.
  • If it has empirical consequences, express those as HYPOTHESIS notes and test those.

Minimum evidence standard (for any empirical claim)

  • 1+ DATASET notes with access + coverage + limitations
  • 1+ EVIDENCE_EXTRACT notes (bounded excerpt or screenshot location)
  • 1+ RESULT notes with method + parameters + artifacts