KB-4A9E
Approval Envelope Shape Recheck
2 min read Revision 1
fix7codexrecheck-5envelope-shape
Check A - Approval Envelope Shape Recheck
Verdict: APPROVAL_ENVELOPE_SHAPE_NEEDS_FIX
Accepted: machine-readable YAML exists; it lists active members, revisions/placeholders, section scope, boundary/guard/membership hashes, approver/checkpoint fields, and next_required_recheck_on_change: true.
Required fixes:
- Use canonical full KB
document_idpaths consistently. Current envelope rows omitknowledge/dev/reports/architecture/, while MCP document identities include it; the membership hash input is therefore ambiguous. - Define byte-exact, domain-separated, schema-versioned canonical encodings for membership, marker/fence registry, superseded boundary, guard set, and envelope manifest. Specify exact keys, ordering, delimiters/JSON encoding, LF/null rules, and region delimiters.
- Make
envelope_manifest_sha256bind every authority-bearing field, including active section identity/range, revisions, normalized/full hashes, membership, marker/fence registry, superseded boundary, guard set, approval status/epoch/role/time, checkpoint anchor, algorithm/version, andnext_required_recheck_on_change. - Resolve doc 00 self-reference.
full_document_sha256cannot include an envelope that contains its own hash. Either mark full-doc hash explicitly not applicable for the self-host and rely on a precisely defined exclude-region body hash plus whole-envelope hash, or move the envelope outside the hashed corpus. - Resolve the blueprint-checkpoint contradiction: it is described as a self-referential host, but it is not in
active_corpusand no checkpoint EXCLUDE envelope was found.