Record Encoding Recheck

Verdict

RECORD_ENCODING_NEEDS_FIX

The TAB/LF encoding, closed field sets, and envelope classification are directionally accepted.

Remaining gaps

• Canonical document identity is not enforced; path aliases can produce duplicate logical records.
• Marker literal and marker kind are not yet constrained as one consistent pair by the exact extractor grammar.
• No executable canonicalizer artifact is pinned by path, version/revision, hash, invocation, and test-vector digest.

Required correction

Make the record encoder consume only canonical MCP IDs and extractor-produced typed markers. Pin one executable canonicalizer/encoder SSOT and make all prose copies non-authority references.