fix: restore rustfmt and regenerate stale npm type declarations

Two pre-existing failures on this branch, both reproducible at d775649 and
neither caused by the CI cleanup:

- cargo fmt drift in crates/ethos-cli/src/cmd/evidence.rs and
  crates/ethos-cli/tests/verify.rs, introduced by ad4f01e and 33f2088.
- packages/npm/ethos-pdf/types/verification-report.d.ts was stale. The
  semantic_unverified description gained the sentence about v1 literal
  checkers always setting it false, and the checked-in declaration was
  never regenerated, so the types test failed on "checked-in declarations
  are stale".

Signed-off-by: docushell-dev <doqshell@gmail.com>
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

Author: docushell-dev

crates/ethos-cli/src/cmd/evidence.rs

@@ -18,7 +18,9 @@ use ethos_core::error::EthosError;
 use ethos_core::evidence_anchor::{EvidenceAnchorReport, EvidenceAnchorRequest};
 
 use crate::grounding::load_source;
-use crate::{default_max_input_bytes, read_file_limited, write_output, EvidenceAnchorArgs, Failure};
+use crate::{
+    default_max_input_bytes, read_file_limited, write_output, EvidenceAnchorArgs, Failure,
+};
 
 pub(crate) fn evidence_anchor(args: EvidenceAnchorArgs) -> Result<(), Failure> {
     let max_input_bytes = default_max_input_bytes();

crates/ethos-cli/tests/verify.rs

@@ -3534,8 +3534,9 @@ fn grounding_json_representation_identity_drives_staleness() {
 #[test]
 fn verify_rejects_present_but_unsupported_artifact_types_without_fallback() {
     let citations = repo_root().join("examples/verify/grounding_json_citations.json");
-    let valid = std::fs::read_to_string(repo_root().join("schemas/examples/grounding-source.example.json"))
-        .expect("fixture is readable");
+    let valid =
+        std::fs::read_to_string(repo_root().join("schemas/examples/grounding-source.example.json"))
+            .expect("fixture is readable");
 
     // A duplicated artifact_type must never be collapsed into a supported identity.
     let duplicated = valid.replacen(

packages/npm/ethos-pdf/types/verification-report.d.ts

@@ -133,7 +133,7 @@ export interface EthosVerificationReport {
       | "presence_only"
       | "none";
     /**
-     * True whenever grounding the claim would require semantic judgment beyond the declared match method (e.g. paraphrase, arithmetic, cross-region synthesis). Such checks can never make all_evidence_grounded true.
+     * True whenever grounding the claim would require semantic judgment beyond the declared match method (e.g. paraphrase, arithmetic, cross-region synthesis). In v1, literal checkers always set this false; non-literal claims fail closed as unsupported_claim_kind instead. Such checks can never make all_evidence_grounded true.
      */
     semantic_unverified: boolean;
     resolved_element_ids?: string[];