chore(catalog): re-pin mif-docs to v0.7.1

[mif-catalog]

Automated, verify-first re-pin of an external plugin to its latest attested release.

Bump

• Plugin: mif-docs — source repo modeled-information-format/mif-docs-plugin
• ref: v0.7.0 → v0.7.1
• sha: f62ddff3f329 → 38e445b55c5a7ef1457c40bd947b6fdabc75632c
• Release: https://github.com/modeled-information-format/mif-docs-plugin/releases/tag/v0.7.1 (published 2026-07-17T06:00:46Z)

Verified subject

• Artifact: mif-docs-plugin-v0.7.1.tar.gz
• Digest: sha256:4ce0193e577a6ee3efc01fcb73c0298cd65eef8868e216e880ecf73ecf249f02

Attestations

Predicate	Signer	Source repo	Verdict
https://slsa.dev/provenance/v1	repo:modeled-information-format/mif-docs-plugin	modeled-information-format/mif-docs-plugin	✅ verified

Only a release whose every required predicate verifies reaches this PR, so the
table above is all-green by construction.

Raw gh attestation verify evidence

https://slsa.dev/provenance/v1

predicate: https://slsa.dev/provenance/v1
signer:    https://github.com/modeled-information-format/mif-docs-plugin/.github/workflows/release.yml@refs/tags/v0.7.1
issuer:    https://token.actions.githubusercontent.com

Re-verify it yourself

gh attestation verify mif-docs-plugin-v0.7.1.tar.gz --repo modeled-information-format/mif-docs-plugin --predicate-type https://slsa.dev/provenance/v1 --format json

catalog-admission re-runs this verification fail-closed on this PR; the PR
auto-merges once admission + the required gates are green.

[mif-automerge]

Attestations verified, catalog-admission passed — mechanical re-pin.