docs(contract): flip §4 withings --format cells to machine

[Terastar-Paperclip]

Summary

QUA-17 wired compat/formats against withings-export-cli and merged on 2026-05-11. Per QUA-29, the four §4 Status cells the bundle attests for withings now flip from human to machine.

Cells changed

| `--format` flag surface (documented, rejects unknown) | human | human | human → **machine** |
| `--format markdown` (default)                          | human | human | human → **machine** |
| `--format json`                                        | human | human | human → **machine** |
| `--format csv`                                         | —     | —     | human → **machine** |

Only the withings (rightmost) column changes. crono and liftoff stay human / — until their consumer-wire PRs land (tracked under QUA-16 and QUA-19).

Evidence trail

• Bundle: compat/formats
• Consumer-wire PR (withings): Wire §4 conformance test against compat/formats withings-export-cli#36 (merged 2026-05-11)
• Parse-level subtests now running against withings: HelpDocumentsFormatFlag, UnknownFormatFails, FlagValidationIsHermetic, plus the json/csv/markdown codec assertions.

Test plan

• Diff confined to four cells in CONTRACT.md §4 Status table; no other content edited.
• withings PR #36 confirmed merged before opening this PR.

🤖 Generated with Paperclip