For AI agents: the complete documentation index is available at https://scriptedalchemy.github.io/agent-bundle/llms.txt, the full documentation bundle is available at https://scriptedalchemy.github.io/agent-bundle/llms-full.txt, and this page is available as Markdown at https://scriptedalchemy.github.io/agent-bundle/api/functions/test.proofLevelLabel.md.
  • English
  • Function: proofLevelLabel()

    proofLevelLabel(level): string

    One line per level, printed in every harness failure. A red test has to say what the passing case would have proven, or the level discipline is only a naming convention.

    Parameters

    level

    AgentTestProofLevel

    Returns

    string