chore(ir): refresh vendored Trope IR schema to 0.2 (R-2026-07-07) (#42)

Companion to trope-checker#32 (issue trope-checker#28, ADR 0004):

- design/trope-ir.schema.json: refreshed byte-for-byte from the
canonical trope-checker schema — version const "0.1" -> enum
["0.1","0.2"] (R-2026-07-07: A1 two-sided deceptive zeros, A2 chain
retention order, A3 Attenuated(0)->Present normalization at ingest; wire
format unchanged, verdict semantics changed, hence one bump)
- examples/*.ir.json: version "0.1" -> "0.2" (0.1 stays accepted by the
checkers; examples track the current version)
- build/just/trope.just: haec-examples now invokes the check script via
{{justfile_directory()}} so `just check` works on older just releases
(<=1.32 run imported recipes from the import's own directory)

`just check` passes: examples well-formed, vendored schema matches the
canonical checker schema, and the verdict round-trip through the rebuilt
(normalizing) Idris2 reference checker is unchanged for all examples.

<!--
SPDX-License-Identifier: CC-BY-SA-4.0
Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
-->
## Summary

<!-- Briefly describe what this PR does and why. Link to related issues
with "Closes #N". -->

## Changes

<!-- List the key changes introduced by this PR. -->

-

## RSR Quality Checklist

<!-- Check all that apply. PRs that fail required checks will not be
merged. -->

### Required

- [ ] Tests pass (`just test` or equivalent)
- [ ] Code is formatted (`just fmt` or equivalent)
- [ ] Linter is clean (no new warnings or errors)
- [ ] No banned language patterns (no TypeScript, no npm/bun, no
Go/Python)
- [ ] No `unsafe` blocks without `// SAFETY:` comments
- [ ] No banned functions (`believe_me`, `unsafeCoerce`, `Obj.magic`,
`Admitted`, `sorry`)
- [ ] SPDX license headers present on all new/modified source files
- [ ] No secrets, credentials, or `.env` files included

### As Applicable

- [ ] `.machine_readable/6a2/STATE.a2ml` updated (if project state
changed)
- [ ] `.machine_readable/6a2/ECOSYSTEM.a2ml` updated (if integrations
changed)
- [ ] `.machine_readable/6a2/META.a2ml` updated (if architectural
decisions changed)
- [ ] Documentation updated for user-facing changes
- [ ] `TOPOLOGY.md` updated (if architecture changed)
- [ ] `CHANGELOG` or release notes updated
- [ ] New dependencies reviewed for license compatibility (MPL-2.0 /
MPL-2.0)
- [ ] ABI/FFI changes validated (`src/interface/abi/` and
`src/interface/ffi/` consistent)

## Testing

<!-- Describe how you tested these changes. -->

## Screenshots

<!-- If applicable, add screenshots or terminal output demonstrating the
change. -->

Co-authored-by: Claude Fable 5 <noreply@anthropic.com>

Author: hyperpolymath