package linthost

import (
  "testing"

  shimast "github.com/microsoft/typescript-go/shim/ast"
)

// TestFormatDefaultsApplyWithoutFormatConfig verifies the format resolver admits
// the documented default semi rule without configured format rules.
//
// With an empty resolver, newFormatCommandResolver loads the always-on defaults.
// This direct Engine case requires a fix-bearing format/semi finding. LSP and
// format command consumers use the same constructor, but this body does not
// execute an editor save or assert the final rewritten source.
//
// 1. Build a format resolver over an empty config from a temp dir.
// 2. Run the engine on a source missing its statement terminator.
// 3. Assert the default format/semi rule fires.
//
// @evidence contracts/testing.md#behavioral-verification An empty format resolver still runs the rule engine on const x = 1 without a terminator and must report a format/semi finding.
// @evidence contracts/testing.md#independent-expectations The authored unterminated declaration and the documented always-on semi rule independently require the named finding; this host asserts admission, while fix snapshots own the edited text.
// @evidence contracts/testing.md#distinguishing-cases One positive case: an empty rule config yields the always-on default format rules, so an unterminated `const x = 1` produces a format/semi finding. Only the presence of the finding is asserted, not its edit text; the rewritten output is owned by the command format tests.
// @evidence contracts/testing.md#execution-ownership TestFormatDefaultsApplyWithoutFormatConfig owns its empty resolver, parsed source and direct Engine finding assertions in the public Go unit population. It starts no consumer install, native build, editor session or separately built product host.
func TestFormatDefaultsApplyWithoutFormatConfig(t *testing.T) {
  resolver, err := newFormatCommandResolver(RuleConfig{}, t.TempDir(), "")
  if err != nil {
    t.Fatalf("newFormatCommandResolver: %v", err)
  }
  file := parseTS(t, "const x = 1\n")
  findings := filterFormatFindings(
    NewEngineWithResolver(resolver).Run([]*shimast.SourceFile{file}, nil),
  )
  if len(findings) == 0 {
    t.Fatalf("expected default format rules to fire without a format block")
  }
  found := false
  for _, finding := range findings {
    if finding.Rule == "format/semi" {
      found = true
    }
  }
  if !found {
    t.Fatalf("expected default format/semi to fire; got %d findings", len(findings))
  }
}