refactor: rebrand DevTrail → StrayMark and migrate to fw-4.17.0

[montfort]

Summary

• Renames .devtrail/ → .straymark/ (preserves history via git mv) and migrates the governance framework from fw-4.1.0 to fw-4.17.0 via straymark repair + straymark update-framework.
• Replaces all DEVTRAIL.md / devtrail-* skills, workflows, and rules with their STRAYMARK.md / straymark-* equivalents installed by the new framework; deletes the orphans.
• Updates project-level references in CLAUDE.md, .cursorrules, Cargo.toml, GEMINI.md, .github/copilot-instructions.md, .specify/memory/constitution.md, and .specify/starter/IDEA.md to the new brand and paths.
• No code in src/ is touched; build and tests are unaffected.
• The new framework introduces Charters (bounded units of work with telemetry), GB 45438 AI labeling, multi-batch ledgers, external audit pipelines, and optional China regulatory scope (opt-in via .straymark/config.yml).
• Adds AILOG-2026-05-19-001-rebrand-devtrail-to-straymark.md to the audit trail (risk_level: medium, review_required: true).

Why bundled with the framework upgrade?

straymark repair and straymark update-framework regenerate the new content in one pass, so a rebrand-only PR followed by an upgrade PR would mostly churn the same files twice. Commit history within the branch is still segmented:

• 495c917 — refactor: rebrand + framework migration
• 999a024 — docs: AILOG for the rebrand

What's preserved as-is

• Historical AILOGs/TES/AIDEC/SBOM under .straymark/07-ai-audit/ and .straymark/04-testing/ keep their original "DevTrail" mentions — they are point-in-time records.
• One explicit "formerly DevTrail" clarifier remains in .specify/starter/IDEA.md as origin-story context.

Test plan

• cargo check — clean
• cargo test — 29/29 passing
• straymark status — Framework fw-4.17.0, CLI cli-3.15.0, all 17 structure items OK
• straymark validate — 0 errors, 1 preexisting unrelated warning
• grep -r "devtrail\|DevTrail" over tracked non-historical files — only the intentional "formerly DevTrail" remains
• Reviewer: confirm the AILOG (review_required: true) is accurate and complete

🤖 Generated with Claude Code

[cla-assistant]

All committers have signed the CLA.

[cla-assistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}