quint-code

Command Reference

Quick reference for all quint-code commands.

Quick Reference

Command Phase Description
/q0-init Setup Initialize .
/q1-hypothesize Abduction Generate L0 hypotheses for a problem.
/q1-add Abduction Manually add your own L0 hypothesis.
/q2-verify Deduction Verify logic and constraints, promoting claims from L0 to L1.
/q3-validate Induction Gather empirical evidence, promoting claims from L1 to L2.
/q4-audit Audit Run an assurance audit and calculate trust scores.
/q5-decide Decision Select the winning hypothesis and create a Design Rationale Record.
/q-status Utility Show the current state of the reasoning cycle.
/q-query Utility Search the project's knowledge base.
/q-decay Utility Check for and report expired evidence (Epistemic Debt).
/q-actualize Utility Reconcile the knowledge base with recent code changes.
/q-reset Utility Discard the current reasoning cycle.

Detailed Reference

/q0-init

Setup

Initialize .quint/ and record the Bounded Context.

Usage

/q0-init

Example

Run this once at the start of a new project or when starting a new decision cycle.

Related Commands

/q1-hypothesize

/q1-hypothesize

Abduction

Generate L0 hypotheses for a problem.

Usage

/q1-hypothesize "problem description"

Example

/q1-hypothesize "How should we handle cross-service transactions?"

Related Commands

/q1-add /q2-verify

/q1-add

Abduction

Manually add your own L0 hypothesis.

Usage

/q1-add "hypothesis description"

Example

/q1-add "Use Saga pattern with orchestrator"

/q2-verify

Deduction

Verify logic and constraints, promoting claims from L0 to L1.

Usage

/q2-verify [hypothesis-id]

Example

/q2-verify H1

/q3-validate

Induction

Gather empirical evidence, promoting claims from L1 to L2.

Usage

/q3-validate [hypothesis-id]

Example

/q3-validate H2

Related Commands

/q2-verify /q4-audit

/q4-audit

Audit

Run an assurance audit and calculate trust scores.

Usage

/q4-audit

Example

Automatically analyzes all hypotheses in the current cycle.

/q5-decide

Decision

Select the winning hypothesis and create a Design Rationale Record.

Usage

/q5-decide [hypothesis-id]

Example

/q5-decide H2

Related Commands

/q4-audit /q-query

/q-status

Utility

Show the current state of the reasoning cycle.

Usage

/q-status

Example

Run anytime to see where you are in the decision process.

/q-query

Utility

Search the project's knowledge base.

Usage

/q-query "search term"

Example

/q-query "authentication"

Related Commands

/q-decay

/q-decay

Utility

Check for and report expired evidence (Epistemic Debt).

Usage

/q-decay

Example

Flags evidence older than configured threshold.

Related Commands

/q-query /q-actualize

/q-actualize

Utility

Reconcile the knowledge base with recent code changes.

Usage

/q-actualize

Example

Run after significant code changes to update the knowledge base.

Related Commands

/q-decay /q-query

/q-reset

Utility

Discard the current reasoning cycle.

Usage

/q-reset

Example

Use when you want to start fresh without completing the current cycle.

Related Commands

/q0-init

Need more details?

Check out the full documentation on GitHub or see the ADI cycle in action.

Learn the ADI Cycle GitHub Docs