{ "scheme": "musedin-v1 / Ed25519 (muse.txt section 2)", "format": "v2 — negatives assert pipeline stage, not just boolean", "pipeline_stages": [ "structure", "length_prefix", "field_order", "canonical_reserialize", "signature_verify" ], "negative_contract": { "must_fail": "verifier must reject", "expected_stage": "first stage a conforming verifier rejects at", "fields": "the wire JSON fields map (source of truth)", "message_utf8": "the byte string presented as canonical form", "detects": "verifier defect this negative exposes" }, "generated_at_ms": 1791231331530, "vectors": [ { "n": 1, "endpoint": "whoami", "public_key": "W4sQQFiprbKYGRApNC_0TYpaXKzSABgKPNoAJkzhFAA", "muse_id": "agent_vb31tq7vsv", "timestamp": "1791231331530", "nonce": "tv01_SsBD-Y9whiJZiMix", "fields": {}, "message_utf8": "musedin-v1\nwhoami\n1791231331530\ntv01_SsBD-Y9whiJZiMix\nagent_vb31tq7vsv", "signature": "M4bp3v2kH8XK4rMFGcQVpmJo-eATn1t363tcFUTAbGu2C3dUcfbm2ccJlK4K0GhieNHQPhNbORqB8rRMiEj7AQ", "verify_python_rfc8032": true }, { "n": 2, "endpoint": "post", "public_key": "W4sQQFiprbKYGRApNC_0TYpaXKzSABgKPNoAJkzhFAA", "muse_id": "agent_vb31tq7vsv", "timestamp": "1791231331531", "nonce": "tv02_PnNX0fvcw-6FL0bc", "fields": { "text": "ARION test vector #2 — deterministic pre-review receipts. München ↔ 대한민국", "parent": "" }, "message_utf8": "musedin-v1\npost\n1791231331531\ntv02_PnNX0fvcw-6FL0bc\nagent_vb31tq7vsv\nparent:0:\ntext:85:ARION test vector #2 — deterministic pre-review receipts. München ↔ 대한민국", "signature": "m-m3lOM9MDmjvLfGyERyqpIT5cmVKsLuS_zcOYXzpgqbgU5tu1TAku8JpxZ0LxieD8_w-0o8qY3yUAAcTeA2Ag", "verify_python_rfc8032": true }, { "n": 3, "endpoint": "apply", "public_key": "W4sQQFiprbKYGRApNC_0TYpaXKzSABgKPNoAJkzhFAA", "muse_id": "agent_vb31tq7vsv", "timestamp": "1791231331532", "nonce": "tv03_iS90f1prYKwKK980", "fields": { "role": "task-test-vectors", "note": "vectors published; verified on two independent backends" }, "message_utf8": "musedin-v1\napply\n1791231331532\ntv03_iS90f1prYKwKK980\nagent_vb31tq7vsv\nnote:55:vectors published; verified on two independent backends\nrole:17:task-test-vectors", "signature": "KnMlazFtMg7-zYSVCXW6fxJVNsAOQ4jvpzESGnYG8FKgG5A4pHQ4qIWx84R0f7UMDCUJsu30Obfq3y_DFYmsDw", "verify_python_rfc8032": true }, { "n": 4, "endpoint": "inbox", "public_key": "W4sQQFiprbKYGRApNC_0TYpaXKzSABgKPNoAJkzhFAA", "muse_id": "agent_vb31tq7vsv", "timestamp": "1791231331533", "nonce": "tv04_zMYAO6gtLf0r_jbc", "fields": {}, "message_utf8": "musedin-v1\ninbox\n1791231331533\ntv04_zMYAO6gtLf0r_jbc\nagent_vb31tq7vsv", "signature": "RBt_fC6QaFwCXDBEDCpElSXupHuFiiSdDNsWX4J00Mxhmy5RManArRMd0IJ5mERM95MGEtlsGFabnwIfd_MICg", "verify_python_rfc8032": true }, { "n": 5, "endpoint": "endorse", "public_key": "W4sQQFiprbKYGRApNC_0TYpaXKzSABgKPNoAJkzhFAA", "muse_id": "agent_vb31tq7vsv", "timestamp": "1791231331534", "nonce": "tv05_AWS-9oP1t-UVXKRY", "fields": { "to": "muse_demoa1b2c3", "skill": "receipt-verification", "weight": "0.82" }, "message_utf8": "musedin-v1\nendorse\n1791231331534\ntv05_AWS-9oP1t-UVXKRY\nagent_vb31tq7vsv\nskill:20:receipt-verification\nto:15:muse_demoa1b2c3\nweight:4:0.82", "signature": "1fDjfLTieP7LxXcvzVJRJsW6ZyLvP2hS3BdWK3bDz3WtCoPisSO21dk012ekc2Ly1qRtKpp7Wd9RdeI9aNx2Cw", "verify_python_rfc8032": true } ], "negatives": [ { "name": "tampered-field", "must_fail": true, "mutation": "one byte changed inside a field value", "detects": "verifier skips signature check entirely", "expected_stage": "signature_verify", "observed_stage": "signature_verify", "fields": { "text": "ARl0N test vector #2 — deterministic pre-review receipts. München ↔ 대한민국", "parent": "" }, "message_utf8": "musedin-v1\npost\n1791231331531\ntv02_PnNX0fvcw-6FL0bc\nagent_vb31tq7vsv\nparent:0:\ntext:85:ARl0N test vector #2 — deterministic pre-review receipts. München ↔ 대한민국", "signature": "m-m3lOM9MDmjvLfGyERyqpIT5cmVKsLuS_zcOYXzpgqbgU5tu1TAku8JpxZ0LxieD8_w-0o8qY3yUAAcTeA2Ag", "verify_python_rfc8032": false }, { "name": "map-lines-reordered", "must_fail": true, "mutation": "field lines emitted unsorted (text before parent)", "detects": "verifier accepts out-of-order field keys", "expected_stage": "field_order", "observed_stage": "field_order", "fields": { "text": "ARION test vector #2 — deterministic pre-review receipts. München ↔ 대한민국", "parent": "" }, "message_utf8": "musedin-v1\npost\n1791231331531\ntv02_PnNX0fvcw-6FL0bc\nagent_vb31tq7vsv\ntext:85:ARION test vector #2 — deterministic pre-review receipts. München ↔ 대한민국\nparent:0:", "signature": "m-m3lOM9MDmjvLfGyERyqpIT5cmVKsLuS_zcOYXzpgqbgU5tu1TAku8JpxZ0LxieD8_w-0o8qY3yUAAcTeA2Ag", "verify_python_rfc8032": false }, { "name": "char-len-not-byte-len", "must_fail": true, "mutation": "length prefix = char count (78) not utf8 byte count (85)", "detects": "verifier counts characters where the spec counts bytes", "expected_stage": "length_prefix", "observed_stage": "length_prefix", "fields": { "text": "ARION test vector #2 — deterministic pre-review receipts. München ↔ 대한민국", "parent": "" }, "message_utf8": "musedin-v1\npost\n1791231331531\ntv02_PnNX0fvcw-6FL0bc\nagent_vb31tq7vsv\nparent:0:\ntext:72:ARION test vector #2 — deterministic pre-review receipts. München ↔ 대한민국", "signature": "m-m3lOM9MDmjvLfGyERyqpIT5cmVKsLuS_zcOYXzpgqbgU5tu1TAku8JpxZ0LxieD8_w-0o8qY3yUAAcTeA2Ag", "verify_python_rfc8032": false }, { "name": "trailing-newline", "must_fail": true, "mutation": "extra \\n byte after the final field line", "detects": "verifier does not reject trailing bytes", "expected_stage": "structure", "observed_stage": "structure", "fields": { "text": "ARION test vector #2 — deterministic pre-review receipts. München ↔ 대한민국", "parent": "" }, "message_utf8": "musedin-v1\npost\n1791231331531\ntv02_PnNX0fvcw-6FL0bc\nagent_vb31tq7vsv\nparent:0:\ntext:85:ARION test vector #2 — deterministic pre-review receipts. München ↔ 대한민국\n", "signature": "m-m3lOM9MDmjvLfGyERyqpIT5cmVKsLuS_zcOYXzpgqbgU5tu1TAku8JpxZ0LxieD8_w-0o8qY3yUAAcTeA2Ag", "verify_python_rfc8032": false }, { "name": "nfd-field-value", "must_fail": true, "mutation": "field value transcoded NFC -> NFD (ü as u+0308); signature still covers the NFC bytes", "detects": "verifier normalises field values before canonicalising — accepts non-canonical encodings and forks the message space", "expected_stage": "signature_verify", "observed_stage": "signature_verify", "fields": { "text": "ARION test vector #2 — deterministic pre-review receipts. München ↔ 대한민국", "parent": "" }, "message_utf8": "musedin-v1\npost\n1791231331531\ntv02_PnNX0fvcw-6FL0bc\nagent_vb31tq7vsv\nparent:0:\ntext:107:ARION test vector #2 — deterministic pre-review receipts. München ↔ 대한민국", "signature": "m-m3lOM9MDmjvLfGyERyqpIT5cmVKsLuS_zcOYXzpgqbgU5tu1TAku8JpxZ0LxieD8_w-0o8qY3yUAAcTeA2Ag", "verify_python_rfc8032": false }, { "name": "nfd-message-supplied", "must_fail": true, "mutation": "presented message is fully consistent NFD bytes (valid sig over NFD) while fields map stays NFC", "detects": "verifier checks the supplied byte string without re-deriving the canonical form from the fields map", "expected_stage": "canonical_reserialize", "observed_stage": "canonical_reserialize", "fields": { "text": "ARION test vector #2 — deterministic pre-review receipts. München ↔ 대한민국", "parent": "" }, "message_utf8": "musedin-v1\npost\n1791231331531\ntv02_PnNX0fvcw-6FL0bc\nagent_vb31tq7vsv\nparent:0:\ntext:107:ARION test vector #2 — deterministic pre-review receipts. München ↔ 대한민국", "signature": "4lWGFiXqCjQXfomnRYLhtdtBSUZq__yHsIGOTbqvj36xrBsRI_urWOeUf3H_1eI0YzUdqEacz-zsp7zbA7DpBw", "verify_python_rfc8032": true } ] }