ibex 0.2.0 → 0.4.0

data/docs/error-ux-round2-v1.json

@@ -0,0 +1,1617 @@
+{
+  "ibex_error_ux_round2": "repository-capture",
+  "schema_version": 1,
+  "repository_capture": {
+    "status": "complete",
+    "generator": "tool/error_ux_round2.rb",
+    "corpus": {
+      "path": "test/fixtures/error_ux_round2/corpus-v1.json",
+      "sha256": "b3545aea560ac5b8d23589124fb5d2276673e5c84e69eca61f5da233c2f5bfb9"
+    },
+    "implementation_sources": [
+      {
+        "path": "lib/ibex.rb",
+        "sha256": "d55ef0e0d5a3e4647eee23093055574078e26a99338a64162aa8cdabaa05b129"
+      },
+      {
+        "path": "lib/ibex/analysis.rb",
+        "sha256": "66a7ce62e3e877d084deb3de720055e9e9a1f3081f9903a3c5f948bb496394b5"
+      },
+      {
+        "path": "lib/ibex/analysis/digraph.rb",
+        "sha256": "470aa4ed7af53c60993044667ed74813e15c19d3f0450a3404f12c10a88f9b98"
+      },
+      {
+        "path": "lib/ibex/analysis/sets.rb",
+        "sha256": "23356c106d47467f1d52f4d2bad4e8e29caf8a55b74fb245e6307b8275fc5027"
+      },
+      {
+        "path": "lib/ibex/artifact_set.rb",
+        "sha256": "79a350a24af5aaa47515c396b737870ab748db0c7e94fa8b90ea79ef23535bb5"
+      },
+      {
+        "path": "lib/ibex/bison_import.rb",
+        "sha256": "ba25097d5f4342406f5d358bcdb3614fe17f363c15f1a5364eaf4f69b28a642a"
+      },
+      {
+        "path": "lib/ibex/bison_import/importer.rb",
+        "sha256": "458f80fc482246e35c40612b78adf88177db045bd082ce4305c21fe6a6f82c46"
+      },
+      {
+        "path": "lib/ibex/bison_import/tokenizer.rb",
+        "sha256": "1aef258c1399a24509f37be2e4a136063bbf1c0ea557515a1f0dc567727223e8"
+      },
+      {
+        "path": "lib/ibex/codegen/action_locations.rb",
+        "sha256": "39e3abb50898da471cbadd35ee8943038960c34ad58b29f2c0e9db01e64c1fdc"
+      },
+      {
+        "path": "lib/ibex/codegen/action_method_source.rb",
+        "sha256": "4331c52fd0e478e864f4fa52c1c66212529fb17597f2e6b543a8d88dd4682291"
+      },
+      {
+        "path": "lib/ibex/codegen/action_source.rb",
+        "sha256": "14fdb71504bc6ce4e93aaf21053c2cc17188bbc9d3ef406cfb1c809393fbbaac"
+      },
+      {
+        "path": "lib/ibex/codegen/ambiguity.rb",
+        "sha256": "23dcf6a3f9318b611a41cc05ecaecbeaa122b76dab614ad857ddfcd0b7820e4b"
+      },
+      {
+        "path": "lib/ibex/codegen/cst_metadata.rb",
+        "sha256": "fc2ed04a48d7a0199d4b20967673c6f97f6e2b373e0aac616124eae286c2c6ee"
+      },
+      {
+        "path": "lib/ibex/codegen/documentation.rb",
+        "sha256": "6551a3dc29862c1de172ee75681f20b234f7c271891419d9a997d61e1b69e5c9"
+      },
+      {
+        "path": "lib/ibex/codegen/dot.rb",
+        "sha256": "92111bc3bc75d6e1e285a39717d04652e539ca096f5c33531efb3064b7fe2447"
+      },
+      {
+        "path": "lib/ibex/codegen/explain.rb",
+        "sha256": "f8c9123224ee6ab443a8ead6c7a2773655a7884756a3202120293c06d151b061"
+      },
+      {
+        "path": "lib/ibex/codegen/generated_action_abi.rb",
+        "sha256": "5c6b56e424869af9b5d921b6a6ad6093948dc6d051b22e4f2e8bbf4fbcfc755c"
+      },
+      {
+        "path": "lib/ibex/codegen/html.rb",
+        "sha256": "79bc81557be7874877a86a40ccb367b35f1815bf057827b228fcda905d2d19e8"
+      },
+      {
+        "path": "lib/ibex/codegen/mermaid.rb",
+        "sha256": "423dc0ec00b80e31f828a1470bf925d9d6d6ca22e6a5e919558a1cb342bfbcf3"
+      },
+      {
+        "path": "lib/ibex/codegen/railroad.rb",
+        "sha256": "512f0a8f904934ba6e4856d386d4f08817c19ad07a61d8ec0c86b4da08c505a5"
+      },
+      {
+        "path": "lib/ibex/codegen/railroad_documentation.rb",
+        "sha256": "fb3f39420d793903a0a5292743241d39bfc5d7e9691a9a23c8542935fc26f355"
+      },
+      {
+        "path": "lib/ibex/codegen/rbs.rb",
+        "sha256": "80dead575a27ed8c4d78d57e7d47bbab815864c474b170ffd3da4411e7c74c4a"
+      },
+      {
+        "path": "lib/ibex/codegen/report.rb",
+        "sha256": "8cb444f1375a2457a5b10ad38fc3afd6db27f2548fabb2bcc463d07c709282fa"
+      },
+      {
+        "path": "lib/ibex/codegen/ruby.rb",
+        "sha256": "933a156a39aa4dcbfe3396da0262054378ca3c73c7f651561b24347997fdd3dc"
+      },
+      {
+        "path": "lib/ibex/codegen/ruby_actions.rb",
+        "sha256": "8ccb5550a8996ee6ff18a31541d5205dde9d4837c8544cb7628e9bf4a5335460"
+      },
+      {
+        "path": "lib/ibex/codegen/ruby_ast.rb",
+        "sha256": "d7a2b97ce75a9ee3aba1097634dcb175a791e1d05ad085b1cf5e2aeffa41eab5"
+      },
+      {
+        "path": "lib/ibex/codegen/ruby_error_messages.rb",
+        "sha256": "088ef1cd4a583c80e11802f025de18e255a4fb634328c46696f0876c74808b71"
+      },
+      {
+        "path": "lib/ibex/codegen/ruby_lexer.rb",
+        "sha256": "683558eb0560201d6cda7dd241203375874952b803f41eb51ee7ef24bf1d9b81"
+      },
+      {
+        "path": "lib/ibex/codegen/ruby_syntax.rb",
+        "sha256": "553b4a002337b7d82fc91eec6efe3a866aa35040cba9185016d3491589cba734"
+      },
+      {
+        "path": "lib/ibex/codegen/ruby_table_metadata.rb",
+        "sha256": "b9df0e8ba6ced2b1d099fccb85127c9fd55ea69ce22a77c3226c3056fe955bad"
+      },
+      {
+        "path": "lib/ibex/codegen/ruby_value_printers.rb",
+        "sha256": "fcacd00a33b8dca75c95f3f89ec7fc655406c596f6e183224ad90c5b7d854e7b"
+      },
+      {
+        "path": "lib/ibex/codegen/symbol_labels.rb",
+        "sha256": "f29d9b3c80e2030303c44d6c011efad1ee9e6307ae9041a189a0753a39a94cdf"
+      },
+      {
+        "path": "lib/ibex/configuration.rb",
+        "sha256": "94a5f8ec80e1d28ca1254720128f3b703e20321e8989442f516548b210c92aa6"
+      },
+      {
+        "path": "lib/ibex/configuration/analysis_grammar.rb",
+        "sha256": "da24d7fdd07ec0b0238040e857998c75ede8e958db3795930687f8e8fca68f74"
+      },
+      {
+        "path": "lib/ibex/configuration/explanation.rb",
+        "sha256": "6016b85c5c55f8a0ac2bf5927de9d0d0ecb1e39386be451f9aafb39b0d98a8f9"
+      },
+      {
+        "path": "lib/ibex/coverage.rb",
+        "sha256": "8578aadb7e8b1b7e89d106e4f19f45fe400b1461531fd74eca7495b1bcded30a"
+      },
+      {
+        "path": "lib/ibex/coverage/collector.rb",
+        "sha256": "8e573956fe787766c40f45eacab484995e7ff453e3045e3ea4188e21396069a5"
+      },
+      {
+        "path": "lib/ibex/coverage/event_stream.rb",
+        "sha256": "cc7665a0a5681eb5f88ecbb2c13e877f200e657a593a9e48252fe3ae9648141f"
+      },
+      {
+        "path": "lib/ibex/coverage/report.rb",
+        "sha256": "73647f9207d53c5c18a077ff0faf4b933b51b173a29fa0526f95a21c9fc61fca"
+      },
+      {
+        "path": "lib/ibex/coverage/runtime_event_validator.rb",
+        "sha256": "72a1ab41d460fb292f31b9669ab241f9830e77c6ec913491b452edb5edc52ae8"
+      },
+      {
+        "path": "lib/ibex/delta_reducer.rb",
+        "sha256": "fac7b70b174a279fb3122b31fc8bbfbbf9ff66938bab5b998c7756f22fd8498a"
+      },
+      {
+        "path": "lib/ibex/diff.rb",
+        "sha256": "05d5a262f7760eef66392f7392a98912b565c5363555de1bddfd69be353ac0fe"
+      },
+      {
+        "path": "lib/ibex/equiv.rb",
+        "sha256": "37e6ec2228ca70720702367087bebfa4d87047ba2422b86f855c6047a364d217"
+      },
+      {
+        "path": "lib/ibex/equiv/machine.rb",
+        "sha256": "c4977be48906668087f5654029e065b9d24d0dfdf1ae708f7fdafe1e1bd46751"
+      },
+      {
+        "path": "lib/ibex/error.rb",
+        "sha256": "d9ea061a96dae780e52c6dbe947416f92ae901bd270aef587f8961cd558b623e"
+      },
+      {
+        "path": "lib/ibex/error_messages.rb",
+        "sha256": "55d26c809659e46688b759a2be3823a7bd1385a8a738852e5c03c49152d677c4"
+      },
+      {
+        "path": "lib/ibex/error_messages/parser.rb",
+        "sha256": "8158c0feec56b4e7656d1c78e64cd075a115f74a48426254eb7ea0781bb546bd"
+      },
+      {
+        "path": "lib/ibex/error_messages/parser_v2.rb",
+        "sha256": "50df0e76ceaea93a11ca662e1015f7ec68050ddbda58e8302c74f32d7e5c67bb"
+      },
+      {
+        "path": "lib/ibex/error_messages/renderer.rb",
+        "sha256": "ace98678c537f6e42b88bfafd978400bb71f40703f441bf987d0d4300101edaf"
+      },
+      {
+        "path": "lib/ibex/error_messages/sentence_search.rb",
+        "sha256": "602a0196340ff6bd4a202e48d60f3ac39734dcbcb860503f7867ad2f36b5f014"
+      },
+      {
+        "path": "lib/ibex/error_messages/update.rb",
+        "sha256": "64df37e83ae380a57a7e15a663772b1c81a117722da60be344bb4f1a277d79ab"
+      },
+      {
+        "path": "lib/ibex/fix.rb",
+        "sha256": "ba706969093bca0bafcc514324871c3de8d9cc9e54c8738dd1892dd0239508fc"
+      },
+      {
+        "path": "lib/ibex/frontend.rb",
+        "sha256": "332550c378c40abdc6011d96a925ad6cf39257728b370eaece6d644f5796a981"
+      },
+      {
+        "path": "lib/ibex/frontend/action_scanner.rb",
+        "sha256": "bc8388401500590e60699b2a23a570dc5793e372c124029c061036561a67f68d"
+      },
+      {
+        "path": "lib/ibex/frontend/ast.rb",
+        "sha256": "375868cac068483b08f8e5cffe78ad4d475955c96054aa113ad19d6f364ff1d7"
+      },
+      {
+        "path": "lib/ibex/frontend/diagnostic.rb",
+        "sha256": "fa0c7df1d775ba678444eacbc52de6e0db4d4be7d500affb818859b81d784422"
+      },
+      {
+        "path": "lib/ibex/frontend/diagnostic_recovery.rb",
+        "sha256": "9ec381cdef8b0020f8f9ad811e9651c59e85b3221ac0ae41b8feeadd76d34af7"
+      },
+      {
+        "path": "lib/ibex/frontend/dsl.rb",
+        "sha256": "d372c12d8bd8c35edb533aac3f9349859d4f01d38eb9767c25f5d3e56747aa49"
+      },
+      {
+        "path": "lib/ibex/frontend/formatter.rb",
+        "sha256": "93c65ffab32c0ce5bdc7583bf2bc5cd8e1ca290d8fe40eceb846dabf99cc392b"
+      },
+      {
+        "path": "lib/ibex/frontend/generated_parser.rb",
+        "sha256": "a9c909a60c9e9b44e10a417e9c80098f03217399726542936cebcfe2a35ed88a"
+      },
+      {
+        "path": "lib/ibex/frontend/generated_parser_base.rb",
+        "sha256": "50ba7a94e3c33704a4627c047328bebb55c2a5d5afcb0afa22c6ae57753d608a"
+      },
+      {
+        "path": "lib/ibex/frontend/generated_parser_includes.rb",
+        "sha256": "0a616acbe04b8660aae2581c08b75726c92f5a92fabc298be4f6204c7dd7c159"
+      },
+      {
+        "path": "lib/ibex/frontend/generated_parser_metadata.rb",
+        "sha256": "27fdc65dd639fe8c7766bcaaa6c8e495948405e1e37b49edf042cf9cd34664b7"
+      },
+      {
+        "path": "lib/ibex/frontend/generated_parser_parameters.rb",
+        "sha256": "47ecaaf7e87c7a9c025aed44a7fad9149dbad11324200c34dd88588f3c898bad"
+      },
+      {
+        "path": "lib/ibex/frontend/lexer.rb",
+        "sha256": "9aa2d3e780b1a50c605b8d6ea7ecd3f278ad25ba90205c204995bc94ed521f2c"
+      },
+      {
+        "path": "lib/ibex/frontend/lexer_recovery.rb",
+        "sha256": "97bc85b832b4e69691bbbf6256892a3a480d9a4a61244121073f50434e81d516"
+      },
+      {
+        "path": "lib/ibex/frontend/parser.rb",
+        "sha256": "a7ca03ed4092c476cef2ca05f22831438b6688b65f6abbbb446dd91b2966e17f"
+      },
+      {
+        "path": "lib/ibex/frontend/parser_configuration_support.rb",
+        "sha256": "d742ac1908ccad9b3cfe610921fd698c3d8aca33ae611ad9e8572ef3993a3c2a"
+      },
+      {
+        "path": "lib/ibex/frontend/resolution.rb",
+        "sha256": "b6ab6eed610a75c2e900304c68b9b68b0387028ed1fc06e304d270bd89bc9812"
+      },
+      {
+        "path": "lib/ibex/frontend/resolver.rb",
+        "sha256": "2d4d8d481a0d7bfacc068869d88564f4673a79b458b4e7debbcdc24b8fe53de3"
+      },
+      {
+        "path": "lib/ibex/frontend/rule_documentation.rb",
+        "sha256": "f0dcf27145a407ad253ec553b08d3004618248bc805d97a6f2b20f66765396b6"
+      },
+      {
+        "path": "lib/ibex/frontend/source_cursor.rb",
+        "sha256": "61ebec80cd3c69eaecfb61f94b1e918b32382a14a185a42f8716a1df4104642e"
+      },
+      {
+        "path": "lib/ibex/frontend/source_document.rb",
+        "sha256": "1d4d8aeb8f920b63d102453e9e8b8c8487571368d1239bcc7eae16ac011c1bd0"
+      },
+      {
+        "path": "lib/ibex/frontend/source_loader.rb",
+        "sha256": "8a5c95b5e7a66475b240ed630d06ecf98321c8335d2e9163a5c64d46bae0e27c"
+      },
+      {
+        "path": "lib/ibex/frontend/source_span.rb",
+        "sha256": "e8cafbfd62a8e13a30665bd1fae00a013f78da22aabfa229c924cec9694e0b14"
+      },
+      {
+        "path": "lib/ibex/frontend/token_adapter.rb",
+        "sha256": "5c12f66069c1162021f1b1d0b452b752168f2588fdc98811bbcc04962450f778"
+      },
+      {
+        "path": "lib/ibex/frontend/token_adapter/declaration_document_state.rb",
+        "sha256": "dc8fc43ce3872d69c271ae0e00d7a240da26bc188928ad48d6f720bf50163f9b"
+      },
+      {
+        "path": "lib/ibex/frontend/token_adapter/declaration_lexer_state.rb",
+        "sha256": "0063fc8b18f713b826f893cfa9aef1f9fa8257a2fab1485f61ca4d3f954e1def"
+      },
+      {
+        "path": "lib/ibex/frontend/token_adapter/declaration_state.rb",
+        "sha256": "b586ae991e9d70b4490f0c860e0f5160d810556581067232dfcd6f127fc7f4ba"
+      },
+      {
+        "path": "lib/ibex/frontend/token_adapter/delimiter_tracker.rb",
+        "sha256": "ee700ff1f8f9b49e16874226d4250de2175bb1fd2504f84c855f1cd7a72bad51"
+      },
+      {
+        "path": "lib/ibex/frontend/token_adapter/rule_state.rb",
+        "sha256": "bf3da6774b77224e9f3ce3f6eba43d532b632688c645f03951ad3216d0497430"
+      },
+      {
+        "path": "lib/ibex/fuzz.rb",
+        "sha256": "b9527e38fc6087c4d5abac30d11b7adf18dd2dc92610400064e02c6ed0ad85ac"
+      },
+      {
+        "path": "lib/ibex/generation_input.rb",
+        "sha256": "12b9c3f6461dbaa3e9893e4c8d0b64e64cf51201074ded3f7b6178874e8a854a"
+      },
+      {
+        "path": "lib/ibex/generation_manifest.rb",
+        "sha256": "d753ec8e50662c02d2eaf7074e0d6fa1d4cc5c219c06ffc9c3387075c17c962c"
+      },
+      {
+        "path": "lib/ibex/generation_transaction.rb",
+        "sha256": "3fb2aa0549b67fd8ebb2bff0a357e7b9df193c08b5a482d4cbbdaae77fae3867"
+      },
+      {
+        "path": "lib/ibex/generation_transaction_recovery.rb",
+        "sha256": "f8a110e9a7996a17cf9a02d46f6c9b66c5321274da6f9b00c0090d8d71c7efae"
+      },
+      {
+        "path": "lib/ibex/generation_transaction_validation.rb",
+        "sha256": "3d96fbbe2e40f88a063361623e680f62464b3876e01b930067ea87630b9fe9d6"
+      },
+      {
+        "path": "lib/ibex/grammar_tests.rb",
+        "sha256": "9b14fcf8b027ce005d270976679da3af223a0ed3f555aaa53593a6f3761ab29a"
+      },
+      {
+        "path": "lib/ibex/impact.rb",
+        "sha256": "dfb95aa512bb4ea481b67576f1e7630feaca79ab4985d8cd3be458bd947fb8c6"
+      },
+      {
+        "path": "lib/ibex/impact/action_impact.rb",
+        "sha256": "c701e9f097540f71d7a6ea68b8aff6982496f279db517032c4cae049a057058f"
+      },
+      {
+        "path": "lib/ibex/impact/automaton_impact.rb",
+        "sha256": "cfe404f6b7130ffd2b276b2a7f63c59ae23e601a828c4c68e352206753785705"
+      },
+      {
+        "path": "lib/ibex/impact/coverage_impact.rb",
+        "sha256": "3b971a44b77cc82aa19d07f4da2105c54d500f66126cf68e77bf94cae3b5ba5e"
+      },
+      {
+        "path": "lib/ibex/impact/graph.rb",
+        "sha256": "604a9638472e96bab9797287259c88ceaf12630c346b00de04357ba9510a6465"
+      },
+      {
+        "path": "lib/ibex/impact/propagation.rb",
+        "sha256": "e8f304a62160a235007ab3b985c677299f43f1010ca7fbc60380e19044ed68a3"
+      },
+      {
+        "path": "lib/ibex/impact/report.rb",
+        "sha256": "68f5e40fb39ed9ff7262623214ad1854728cfcb12865e61a08254588deb9d3de"
+      },
+      {
+        "path": "lib/ibex/impact/seeds.rb",
+        "sha256": "34ca25eefc11b538ae5e5a7ccf0422eaa68ba057a17f656a003a8510b4cee8b1"
+      },
+      {
+        "path": "lib/ibex/impact/severity.rb",
+        "sha256": "35e950839d0300136f754958992f34eeff641d772cf60468a8d5546432cd224b"
+      },
+      {
+        "path": "lib/ibex/ir.rb",
+        "sha256": "897997bd1459f1024d06002ddd210c917ec6dc12e9b87855a2c9ba3929fedddb"
+      },
+      {
+        "path": "lib/ibex/ir/automaton_ir.rb",
+        "sha256": "eb36c3e9f4dd2c28072f899894515054dedea4510b6b436953fa364587205dbe"
+      },
+      {
+        "path": "lib/ibex/ir/grammar_ir.rb",
+        "sha256": "cb48ee7c493b6db6bf7c33c08057c5ebf8ab615a917863ce0384bea0119d65a0"
+      },
+      {
+        "path": "lib/ibex/ir/lexer_ir.rb",
+        "sha256": "17b4239b55f8e5b4c5e6edac7e75b7af746340a257c727a8c37d4671330b69bc"
+      },
+      {
+        "path": "lib/ibex/ir/parser_contract.rb",
+        "sha256": "b7a09c8f2d801e91eeacaf70e510d924e5d13999166587b3b420ec71fed7b1d6"
+      },
+      {
+        "path": "lib/ibex/ir/serialize.rb",
+        "sha256": "95fa5a97e57640c7aec935b02e87b00da269871060ad7023e3b83a9ca4a52a1a"
+      },
+      {
+        "path": "lib/ibex/ir/validator.rb",
+        "sha256": "7d92701a65114efb03ecafe2bf7ad6482f8a4144e5cadccde4e9215c6689563b"
+      },
+      {
+        "path": "lib/ibex/ir/validator/automaton.rb",
+        "sha256": "c60a3fc165bbed63160a805649c63f9d56bbb6ed21a6e2c1348ed416a4594f3a"
+      },
+      {
+        "path": "lib/ibex/ir/validator/base.rb",
+        "sha256": "4e90584f0ddce8b775d30329520307540cafe02eb556e70cb4c600cba97479ad"
+      },
+      {
+        "path": "lib/ibex/ir/validator/grammar.rb",
+        "sha256": "d966e322757d09b0de439119b2894dd96859b01ee2d4e15d7015a27fbc404579"
+      },
+      {
+        "path": "lib/ibex/ir/validator/lexer.rb",
+        "sha256": "ffcc66abdfc770fffca59ac22cbf67eff9003274168810c66c63ad4a71c6bc79"
+      },
+      {
+        "path": "lib/ibex/lalr.rb",
+        "sha256": "d34c440528243db95343666e66c66f8af5bfb509b8676b7216d5db40b7804a4f"
+      },
+      {
+        "path": "lib/ibex/lalr/build_metrics.rb",
+        "sha256": "eadf2b10f366c110a4110592b6cfe3e221b69577cb1b7993c6ebc5d4d8c31717"
+      },
+      {
+        "path": "lib/ibex/lalr/builder.rb",
+        "sha256": "69a4b832abf5c1d6332049fc584b9c46f8b43609fad65dc0682e618e84ea52ad"
+      },
+      {
+        "path": "lib/ibex/lalr/conflict.rb",
+        "sha256": "eb3660e187447a5da5e52f12281054159d0c39d541dab1f7e11582529a545d60"
+      },
+      {
+        "path": "lib/ibex/lalr/conflict_search.rb",
+        "sha256": "e1856b7c08fbbadd0297c1c5477a32d1aa5fe1c871bb119c8be89433cf8732f2"
+      },
+      {
+        "path": "lib/ibex/lalr/conflict_search_limits.rb",
+        "sha256": "5be7e568f532c8c2305e2dd581258e041aba670c4f84279c6e7c1e41be4b6b0c"
+      },
+      {
+        "path": "lib/ibex/lalr/counterexample.rb",
+        "sha256": "6977f5181ad3728d7a6237dc7868e2805018ec7f0d0aa5b2f7ec2d51e4497a73"
+      },
+      {
+        "path": "lib/ibex/lalr/default_reductions.rb",
+        "sha256": "9a25433955895039ee34400e182f3c6603a2893575f91517e4bc14e42d3889d2"
+      },
+      {
+        "path": "lib/ibex/lalr/direct_lookaheads.rb",
+        "sha256": "b3fe129a688994c14105653ecf74c3e4ed37d3a3bd3ba9fbd7410dc06684f254"
+      },
+      {
+        "path": "lib/ibex/lalr/goto_follows.rb",
+        "sha256": "45afbbbc0242b5129e832c3078e77542e42cb7707792d653f582bf8fe4d6f22f"
+      },
+      {
+        "path": "lib/ibex/lalr/ielr/annotator.rb",
+        "sha256": "0215d424e69e43127a3da025b4618ccdb5148ea84deaa2fb65a45bf7e9fa0246"
+      },
+      {
+        "path": "lib/ibex/lalr/ielr/bits.rb",
+        "sha256": "dc04aa752f6eae4f88bbbaabe0435f8367b8866c88fda89785065d2578d3544e"
+      },
+      {
+        "path": "lib/ibex/lalr/ielr/inadequacy.rb",
+        "sha256": "d2a36a3a3e430fc4566d87f7957df05a7a37aed0844617f0159bb6a09542481b"
+      },
+      {
+        "path": "lib/ibex/lalr/ielr/item_lookaheads.rb",
+        "sha256": "359d3448117447909143c815ef0c53b081893100982aa608ae50f32aa48cdd80"
+      },
+      {
+        "path": "lib/ibex/lalr/ielr/pipeline.rb",
+        "sha256": "c5dd215e3ab13482d11fb4ef7b5aa49d170dbb5456e396b57b74fe8baa1aea0b"
+      },
+      {
+        "path": "lib/ibex/lalr/ielr/split_stability.rb",
+        "sha256": "08402d91c0fe4e39d449cbf55617cee04fc73dd3aae2be8207e62b4590ccbcd3"
+      },
+      {
+        "path": "lib/ibex/lalr/ielr/split_state.rb",
+        "sha256": "a930eb4a1f0bd3ec62cc4474225f63803c5f7085bcc4a397296a81ac15ac8b36"
+      },
+      {
+        "path": "lib/ibex/lalr/ielr/state_splitter.rb",
+        "sha256": "75c3cef68be399e893a1a160027fb9abc6410e0f12adaed8acbad09c8093568c"
+      },
+      {
+        "path": "lib/ibex/lalr/ielr_partition.rb",
+        "sha256": "842610d6ce3e2ae0850807e340a38864c85c27f513e42c26a6759cd865d9a506"
+      },
+      {
+        "path": "lib/ibex/lalr/lookahead_propagation.rb",
+        "sha256": "08ebf8de10e734242f719d6d0dcd7ce658d2d222c74049d33f580b124eb0c189"
+      },
+      {
+        "path": "lib/ibex/lalr/lr0_collection.rb",
+        "sha256": "abfcca1bd7da9006be889a092af35083a8211cce4655a7c893bee91109ddd1d8"
+      },
+      {
+        "path": "lib/ibex/lalr/on_error_reductions.rb",
+        "sha256": "a906e648908960f83d0a6ba52fd26607b0b87dcd5ecf9e0d448d15ef1cb92df7"
+      },
+      {
+        "path": "lib/ibex/lalr/unreachable_states.rb",
+        "sha256": "d2abb577b11337a36ab729e705bbfc145ebc3405a6ab07a12f969a6622d5cf75"
+      },
+      {
+        "path": "lib/ibex/location.rb",
+        "sha256": "1803a2746028b22108e213bb4421751f658e068adb622217958568c81d97a9af"
+      },
+      {
+        "path": "lib/ibex/messages.rb",
+        "sha256": "c2fb8e72ce1d0a24f0aae3a418b164bc65ce394e31dddb0995d723b1dc92453e"
+      },
+      {
+        "path": "lib/ibex/metrics.rb",
+        "sha256": "4734fa25fe8a733f8828a31cb9f975b8147ea283e48bab506f7c6d4adc296003"
+      },
+      {
+        "path": "lib/ibex/normalize.rb",
+        "sha256": "f21abb211db32700c2df4f7bee8830c0541dab3b2993beb8d618e48e0b560319"
+      },
+      {
+        "path": "lib/ibex/normalize/declarations.rb",
+        "sha256": "879fe8f37e3b02252f1f166d96615dcd1023ac237de5371fe7f925d46659d9c0"
+      },
+      {
+        "path": "lib/ibex/normalize/diagnostics.rb",
+        "sha256": "7d99bd4a15dd3170863d90005d1bd1308e9730534297ecc5ca3c8c5ec4fbbcfa"
+      },
+      {
+        "path": "lib/ibex/normalize/expander.rb",
+        "sha256": "980501cbc4e119d69d9d9a7d68fe9557346f06a65d70b5595d003e24f21009ad"
+      },
+      {
+        "path": "lib/ibex/normalize/expression.rb",
+        "sha256": "665a2cf8764439cd9c3b5c87a8dc002f4e65a1049f6df003f781ac27dfa66f2a"
+      },
+      {
+        "path": "lib/ibex/normalize/grammar_builder.rb",
+        "sha256": "15f955c7807f20987d9d998e136d16675a8f8686842695e6e6c1107c33b2c022"
+      },
+      {
+        "path": "lib/ibex/normalize/inline_expansion.rb",
+        "sha256": "a4cac4b0b875e37554edea5f7570ee68b466958344bed455c98bc20487223cb9"
+      },
+      {
+        "path": "lib/ibex/normalize/inline_validation.rb",
+        "sha256": "f686c817256770c6d707ff2bc82cc06004b2068fa5fec4d4df0fde16e640091d"
+      },
+      {
+        "path": "lib/ibex/normalize/lexer.rb",
+        "sha256": "bc98cf4ae5a4a0c7ffd8d08423c2207486d8c553e369c4360a55db023119fe32"
+      },
+      {
+        "path": "lib/ibex/normalize/named_references.rb",
+        "sha256": "0dd6625a8e5c4e3137561f3c8516677bd20297956352510391b60ef74982686e"
+      },
+      {
+        "path": "lib/ibex/normalize/nodes.rb",
+        "sha256": "098e52fba16dabf57666dcc8719adec72921fbc4bdc4ccfe1a5d5ced5e22b640"
+      },
+      {
+        "path": "lib/ibex/normalize/parameter_ebnf_lowering.rb",
+        "sha256": "9bf94cf4ebdba927b0043c7e844b390a58b60157d7e7e2aa42db53896ee53e6a"
+      },
+      {
+        "path": "lib/ibex/normalize/parameter_lowering.rb",
+        "sha256": "a69b822214311b9f5ae50efdc70418afa5cf236f1e4ee892b06d0b29ff2ba789"
+      },
+      {
+        "path": "lib/ibex/normalize/parameter_substitution.rb",
+        "sha256": "9f990c5760a26d4315b414e92a04b66cf002b9029d0021c17e470054d677b714"
+      },
+      {
+        "path": "lib/ibex/normalize/parameter_validation.rb",
+        "sha256": "379cd0f7b781d69e77e711b2f80a7d4b7fcdebbd5b358239e6594c29b872c06c"
+      },
+      {
+        "path": "lib/ibex/normalize/parameters.rb",
+        "sha256": "62f01879b1d945b65a8434fd2704d08318af17add6263fb76fd72fd61b421bb9"
+      },
+      {
+        "path": "lib/ibex/normalize/parser_configuration.rb",
+        "sha256": "79424dc443d89fc6bb00102d37627fdde11a1d53e06df7ed254968a5d466b589"
+      },
+      {
+        "path": "lib/ibex/normalize/recovery_declarations.rb",
+        "sha256": "0d31899c592f9b69ad0e92193698add61c7eaad414bf84e3a778c01c39db19dd"
+      },
+      {
+        "path": "lib/ibex/racc_migration.rb",
+        "sha256": "078c3b3ac774531ca152f694c63ca6221d133cd80e29585f163584a5842013c0"
+      },
+      {
+        "path": "lib/ibex/racc_migration/checker.rb",
+        "sha256": "316865179c49de72a25e94f23b85b6a6741f6511b17f9198ff706cb024447016"
+      },
+      {
+        "path": "lib/ibex/racc_migration/harness.rb",
+        "sha256": "6aa57c8419805f4955e964d4588e4e016321c596987af44d74d31874e4b4e99f"
+      },
+      {
+        "path": "lib/ibex/racc_migration/report.rb",
+        "sha256": "ab2aacf6d0a4b34795950fb350d94a578377d7827fdf2820836d9339e88d996f"
+      },
+      {
+        "path": "lib/ibex/runtime.rb",
+        "sha256": "ff3acecc17a199bafc92c2bf7c9c8adda7bac9949b2a449920f92b88c7cc5f68"
+      },
+      {
+        "path": "lib/ibex/runtime/ast_data.rb",
+        "sha256": "1789723c3100218de1025886e90d3e465df8fc95d243f0f3f31c85dff0c83044"
+      },
+      {
+        "path": "lib/ibex/runtime/cst.rb",
+        "sha256": "451f752b9823fb78513d453270fb4562ff4438ba43122a5b99614d6fb364e734"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/annotation.rb",
+        "sha256": "61891907ef3524b709fb1b00a31c9aad498804e0d35cc074c8dbc122e538df02"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/cursor.rb",
+        "sha256": "3b5ed23c7db29afada8f7292b41169d92c7d016b8ab7c984e1521d8713175649"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/diff.rb",
+        "sha256": "a69e9f9eab058f0bd44776aa915d7e5c4a0b09dc57cd51e7776f60650d4bb4ff"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/editing.rb",
+        "sha256": "66bc38c8684b223f30a19190aed701af1468fec86d6c9ef9ce6827d5274d9d50"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/editor.rb",
+        "sha256": "6b19310409cfd1a3d561b9a22f4f0e76f80b956c799be56d44b5faec180d3f45"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/green/builder.rb",
+        "sha256": "d56fcd613d654ebf57908565111877b64d2b5df141fdadbe090e341094a2e042"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/green/cache.rb",
+        "sha256": "26223513301890764dc7653d7421a9f6d7eecfdec1316a3710ac4ad8bd943139"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/green/node.rb",
+        "sha256": "261d88683b8d7d2e1e674c57afa2f9b114c511b0c0d61b21c00680d22fa68c11"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/green/token.rb",
+        "sha256": "442b1c197c6c890b3cf5b8106692effa4b9e01ab977dde5d513b42207f369530"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/green/trivia.rb",
+        "sha256": "1d7f33933403b92af3c8c806b0fa3a1f8e9798f14c0d67fd2d675a74049f1b7e"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/incremental/blender.rb",
+        "sha256": "1d8ce24e72860c8f6f65b2f60601752db4d206cb38b7d4e753a10309c4b302c9"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/incremental/lexed_syntax.rb",
+        "sha256": "c2304108def950fdbfb5ba78c23c05bdc0720587ed66fa43c5b38eb666c5f2d0"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/incremental/parse_memo.rb",
+        "sha256": "3c2c2493a7d89901dc60589ce42388e4cb3bd36b5c155a38af4a633cc1796d82"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/incremental/relexer.rb",
+        "sha256": "14157088f33f4517cfe91af7de5fc428bd0f114222b31d3c3ea7ff7ce257dfb3"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/incremental/session.rb",
+        "sha256": "8092f39b1a57d29d89188ec0189923a78063ec9d05cceff300b7158b87afe806"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/incremental/token_memo.rb",
+        "sha256": "ee8d8ece9a2b20261680bdf1d7cefdb2472a28f8ad8d37fab356f869b3e5d933"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/kind.rb",
+        "sha256": "8f38c35cb46d829282abe229f06a46837c567dc871bd0e331f5bcb832cb5e5cb"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/parse_result.rb",
+        "sha256": "1343782fc10b6597b21f22aebd1abfdf08c77d79c234e3947dd4df6d156e767f"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/rewriter.rb",
+        "sha256": "3948178830fc91ab9c1bb54784103dc7bda5c7875882ec83b1c4a3c0c6eac141"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/serialize.rb",
+        "sha256": "82d6bf47730641ea0dd896f9af3238a31631f45faf741e92dfa445533c030c3c"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/serialized_tree.rb",
+        "sha256": "39031ae83edc03934202a38c7f827dd2b70f3c32d0d7d3ca8042c952a01a1646"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/source_text.rb",
+        "sha256": "c20b8800b4ca1ff23412e92bee16ad4b5bbfe8d20f557ceede4bf2a18b5cd909"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/syntax_node.rb",
+        "sha256": "5587f00adeb99378beb3f698b09ba1ff4e64fcdc6512822fb6f2fdefd3151649"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/syntax_token.rb",
+        "sha256": "b04044b301a451e24cd505efa531dd334a6d018fe6227920f698644f6e4313f6"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/text_edit.rb",
+        "sha256": "3628f7061f0d65f4234c08b0e9779b0f41735ff7b51559553844a9b23175bde1"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/typed_node.rb",
+        "sha256": "b61beeaef352c66a656c6553d89878bdd40cf9f06d38ddf73c6ce881fda2e474"
+      },
+      {
+        "path": "lib/ibex/runtime/cst/validator.rb",
+        "sha256": "236ab49d36d7d32bb425aa21564f958d342929c811a9a0ea286a47590ef00795"
+      },
+      {
+        "path": "lib/ibex/runtime/embedded_source.rb",
+        "sha256": "76b933beec10a8202e93cf92eb825226fcb1d085f281645399c83734e06b5fc3"
+      },
+      {
+        "path": "lib/ibex/runtime/event.rb",
+        "sha256": "9c6d15fe7a8635c704caaf217b61532d13c9bbcf39eb7f04689d65cc6e2b0bc8"
+      },
+      {
+        "path": "lib/ibex/runtime/event_jsonl_tracer.rb",
+        "sha256": "21ca6f0909b1298cad21aad190f229e61c07a199431249d662761c5e2885ba5b"
+      },
+      {
+        "path": "lib/ibex/runtime/event_sanitizer.rb",
+        "sha256": "fe24d2075e108c776be52c956b1490ae23c82b57bfb451b3af88b2eb60db692f"
+      },
+      {
+        "path": "lib/ibex/runtime/generated_lexer.rb",
+        "sha256": "f2a798d9f45ced3a6dba12a9473b40fb0b904e2f8f3e0875ee88b49a4daf0f55"
+      },
+      {
+        "path": "lib/ibex/runtime/lexer_input.rb",
+        "sha256": "ce01d07b9d1ddf0bad6aff025ebf56805762a2124ddee854e54750f9711dd890"
+      },
+      {
+        "path": "lib/ibex/runtime/location_span.rb",
+        "sha256": "b3d899acd6b224b33611c545e782ff25f399ca6c65df2ff6102281bd27ee0357"
+      },
+      {
+        "path": "lib/ibex/runtime/observation.rb",
+        "sha256": "b521e6e5702a7ae90480febd5ca5b3ab91e2f3cfbf3e0a4ea59e2aa094d3c93d"
+      },
+      {
+        "path": "lib/ibex/runtime/parser.rb",
+        "sha256": "61a0b1fedc16cacf6386e2a3eb1d0381e72698c7562f920c9b763b476f5f23dd"
+      },
+      {
+        "path": "lib/ibex/runtime/parser_sync_recovery.rb",
+        "sha256": "f8dfce48fc13f49dd90959f04c01d372c02c9046ab73565e050bba3bb3b10363"
+      },
+      {
+        "path": "lib/ibex/runtime/repair.rb",
+        "sha256": "ebc613ae0a6e5a11723097c8141748edeeeb5ae9e9051937690cb0823eda9e43"
+      },
+      {
+        "path": "lib/ibex/runtime/repair_priority_queue.rb",
+        "sha256": "e3240a816f3877790988455745521883aa50907ea802094fd5b79b69998c400f"
+      },
+      {
+        "path": "lib/ibex/runtime/repair_search.rb",
+        "sha256": "c3d4fe2446676f5d43787732dc029835316c1125e28e7f2d87bf8d91b06d381a"
+      },
+      {
+        "path": "lib/ibex/runtime/resource_limits.rb",
+        "sha256": "476cc7d6dedbeb9a14bcc612277f38c9ac839148cee593f3a8df445f3175f329"
+      },
+      {
+        "path": "lib/ibex/runtime/syntax_repair.rb",
+        "sha256": "70c84b2b76a59f9427638d53af1f3bb5e4e1679f985678edb4add461687af9f7"
+      },
+      {
+        "path": "lib/ibex/runtime/syntax_session.rb",
+        "sha256": "75c35d1cfcc68258b1981e7543942597348936e25427c7b4615be89d18cea12e"
+      },
+      {
+        "path": "lib/ibex/runtime/table_format.rb",
+        "sha256": "7a792b78f825759d6ff11dbce5a33be679445bdfbb24875cea801c9df70951dd"
+      },
+      {
+        "path": "lib/ibex/samples.rb",
+        "sha256": "d65c379dc456aea2facf0e482a7e90aa663f6668412063ea05992780b889cc25"
+      },
+      {
+        "path": "lib/ibex/table_simulation.rb",
+        "sha256": "dcf21feb35440673e7eff60d910a158696563c6569a912b213c1ddb27c0bbcf9"
+      },
+      {
+        "path": "lib/ibex/table_simulation/result.rb",
+        "sha256": "4df57806b245e76732d9de08f0e2ef9478b511674456bbbe1136a5d853dc7d2b"
+      },
+      {
+        "path": "lib/ibex/table_simulation/simulator.rb",
+        "sha256": "7437bbd174569db33e310e7df1af3ba30c74303ba65b1e23554f929104a90f7c"
+      },
+      {
+        "path": "lib/ibex/table_simulation/step.rb",
+        "sha256": "1438f959bed880a0f644ffb1d8809590919162ac23d2da90af6d44cd35376837"
+      },
+      {
+        "path": "lib/ibex/table_simulation/text.rb",
+        "sha256": "7e8fc3cd122f36a758de28aef001e17f9d2f95b85ebde5e3c547e8e648077d8e"
+      },
+      {
+        "path": "lib/ibex/tables.rb",
+        "sha256": "c11c96de7eaa3f996360bd2386c2be66092f8600110d0327d861fc73c1de1a60"
+      },
+      {
+        "path": "lib/ibex/tables/compact.rb",
+        "sha256": "92005ede6302ce7d9054774f6c25fa2fdb77fe95b30cc044c63de34104fc3561"
+      },
+      {
+        "path": "lib/ibex/tables/compact_actions.rb",
+        "sha256": "6f341f467827ac0976734be03219df903834397cf667015a30b097f9bb5a83bc"
+      },
+      {
+        "path": "lib/ibex/tables/compact_productions.rb",
+        "sha256": "69dacb2962b30c11c3cdd53a5391307a3e41712f1dc93b07d4dd3af8dcaca92c"
+      },
+      {
+        "path": "lib/ibex/verify.rb",
+        "sha256": "8ded291c2e33e6e763b894f92b66230610763331801c35569c0420581c5f00de"
+      },
+      {
+        "path": "lib/ibex/verify/action_correspondence.rb",
+        "sha256": "881a726059f0ce3dd2451111b3bf4a7c82dee5b796d4976af4f7bb2630f17c49"
+      },
+      {
+        "path": "lib/ibex/verify/language_witness.rb",
+        "sha256": "0ca62fd96bd0e9976b542fd41bcf9270c4dffd7964db31c8ec6a15a9c6cf10d1"
+      },
+      {
+        "path": "lib/ibex/verify/reference_collection.rb",
+        "sha256": "d07e900652c61ddd942380d49edce0a3c811605cd82490c1e0e6db54010746fb"
+      },
+      {
+        "path": "lib/ibex/verify/result.rb",
+        "sha256": "bafe8474cfa9a60f810461593833b75c1e840007d8ee83d31c1b3272256e6719"
+      },
+      {
+        "path": "lib/ibex/verify/verifier.rb",
+        "sha256": "934ae84111581d2edd4230b06733f259bbf72839042a67c62d20558973af2e2e"
+      },
+      {
+        "path": "lib/ibex/watch.rb",
+        "sha256": "818710c2fc444ae7910bf98d3b3c0a2cedd425115936b4f10a659a52cc09ac33"
+      },
+      {
+        "path": "lib/ibex/watch/runner.rb",
+        "sha256": "0011eab3c3d059e4f89048e12b934984ecbe031aa1c9d023821cf8807af418e9"
+      },
+      {
+        "path": "lib/ibex/watch/source_snapshot.rb",
+        "sha256": "cd4b7f425b4fc7346897644942a43711e23613b07787f9b10deb776912d6e1ef"
+      },
+      {
+        "path": "tool/error_ux_round2.rb",
+        "sha256": "5dd51f74c5f356b1fce9081eb7408331c36d5b64ad075fac69962d715b28ffc7"
+      },
+      {
+        "path": "tool/error_ux_round2/capture.rb",
+        "sha256": "d3b8daf79d7364b728bec8dc3356643b235b9f5e0b6c0716e6f346a3e524d795"
+      },
+      {
+        "path": "tool/error_ux_round2/case_runner.rb",
+        "sha256": "c4f083c00a85cc15ab52ef860d83de760a150c2d5bd4eeecc2ed8d961a214f23"
+      },
+      {
+        "path": "tool/error_ux_round2/implementation_closure.rb",
+        "sha256": "60f1fac3f41ea5246809bb6050fb7bf74e442079df6c45d5b2d14fa88b14a1b2"
+      },
+      {
+        "path": "tool/error_ux_round2/policy.rb",
+        "sha256": "16f078d4b329c2fedf079eb262e5429c3bb8753b2353d190909ce5f4ce79d94e"
+      },
+      {
+        "path": "tool/error_ux_round2/source_edit.rb",
+        "sha256": "3da949a34e99b537688dd41691de8726f1674925587378730ddf0f7eb88c1409"
+      }
+    ],
+    "case_count": 7,
+    "deterministic_regeneration": true,
+    "r001_normative_snapshot": {
+      "path": "test/fixtures/error_ux/json-errors-v1.json",
+      "sha256": "bf49b2f8ba5329f1984d6e90e4b170b5811f4c800536fca56eba1f2725189dbf",
+      "expected_sha256": "bf49b2f8ba5329f1984d6e90e4b170b5811f4c800536fca56eba1f2725189dbf",
+      "status": "unchanged"
+    }
+  },
+  "problem": {
+    "statement": "Repository evidence must test diagnostic and repair behavior beyond the ten R001 JSON cases.",
+    "required_dimensions": [
+      "delimiter-heavy",
+      "statement-language",
+      "stateful-string-lexer",
+      "eof-error",
+      "multi-error-continuation",
+      "unknown-token",
+      "lexer-failure"
+    ],
+    "excluded_dimensions": [
+      {
+        "dimension": "indentation-sensitive-language",
+        "status": "excluded-unimplemented",
+        "reason": "ibex-has-no-indentation-tokenization-contract"
+      }
+    ]
+  },
+  "semantics": {
+    "expected_tokens": "Parser diagnostics report the exact runtime expected-token set; lexer failures have no parser state.",
+    "proposed_edit": "A repository-authored source edit is evaluated separately from the bounded runtime repair plan.",
+    "fresh_reparse": "Edits are applied by byte range and parsed by a newly allocated generated parser.",
+    "semantic_value_risk": "Syntactic acceptance does not establish that inserted, deleted, or replaced semantic values match user intent."
+  },
+  "trust_boundary": {
+    "execution_trust_label": "executes-application-code",
+    "fixture_code": "repository-owned-trusted",
+    "generated_code_execution": "enabled-for-listed-fixtures-only",
+    "external_code_execution": "forbidden",
+    "statement": "The capture executes generated lexer and action code only from the four allowlisted repository fixtures."
+  },
+  "external_subjective_gate": {
+    "status": "HOLD",
+    "reason": "no-external-review-records",
+    "allowed_labels": [
+      "useful",
+      "misleading",
+      "unsafe",
+      "unclear"
+    ],
+    "records": []
+  },
+  "limitations": [
+    {
+      "code": "repository-only",
+      "statement": "No external workload or reviewer is represented."
+    },
+    {
+      "code": "single-selected-repair",
+      "statement": "Bounded repair reports one selected plan, not every equal-cost edit."
+    },
+    {
+      "code": "acceptance-not-intent",
+      "statement": "A successful fresh parse does not prove intended program semantics."
+    },
+    {
+      "code": "no-indentation",
+      "statement": "Indentation diagnostics are excluded because no indentation contract exists."
+    }
+  ],
+  "kill_conditions": [
+    {
+      "code": "fixture-drift",
+      "statement": "Fail when a fixture or corpus digest changes without regenerated evidence."
+    },
+    {
+      "code": "coverage-loss",
+      "statement": "Fail when a required H003 dimension has no case."
+    },
+    {
+      "code": "r001-mutation",
+      "statement": "Fail when the normative R001 snapshot digest changes."
+    },
+    {
+      "code": "review-overclaim",
+      "statement": "Fail when HOLD has a review record or a pending case has labels."
+    },
+    {
+      "code": "fresh-reparse-regression",
+      "statement": "Fail when a proposed edit no longer produces its committed fresh outcome."
+    }
+  ],
+  "cases": [
+    {
+      "id": "H003-DELIMITER-01",
+      "dimensions": [
+        "delimiter-heavy"
+      ],
+      "grammar": "test/fixtures/error_ux_round2/delimiters.y",
+      "input": "outer(inner(a,b),c]",
+      "input_sha256": "f2039b19d0256dada39bdc4861df60f81c176348dfbe66d57db9bf06ea204926",
+      "observation": {
+        "mode": "single-rejection",
+        "parse_status": "rejected",
+        "diagnostics": [
+          {
+            "phase": "parser",
+            "message": "(h003-delimiters):1:19: unexpected \"]\"; expected '(', ')', ',' (nil)\nouter(inner(a,b),c]\n                  ^",
+            "token": "\"]\"",
+            "expected_tokens": {
+              "availability": "available",
+              "tokens": [
+                "'('",
+                "')'",
+                "','"
+              ],
+              "reason": null
+            },
+            "state": 5,
+            "location": {
+              "line": 1,
+              "column": 19,
+              "start_byte": 18,
+              "source_line": "outer(inner(a,b),c]",
+              "caret": "                  ^"
+            }
+          }
+        ]
+      },
+      "bounded_repair": {
+        "status": "selected",
+        "parse_status": "accepted",
+        "plan": {
+          "cost": 2,
+          "configurations": 73,
+          "edits": [
+            {
+              "kind": "delete",
+              "position": 0,
+              "token_id": null,
+              "token_name": "\"]\"",
+              "cost": 1,
+              "token_id_scope": "temporary-external"
+            },
+            {
+              "kind": "insert",
+              "position": 1,
+              "token_id": 8,
+              "token_name": "')'",
+              "cost": 1,
+              "token_id_scope": "grammar"
+            }
+          ]
+        }
+      },
+      "proposed_edit": {
+        "summary": "replace the mismatched closing bracket with a parenthesis",
+        "operations": [
+          {
+            "start_byte": 18,
+            "end_byte": 19,
+            "replacement": ")"
+          }
+        ],
+        "applied_source_sha256": "66a840098bcc1fc9ae297a6d420f064c4b8d131fff6d4007fd2f0887780239af"
+      },
+      "fresh_reparse": {
+        "status": "accepted",
+        "diagnostic_count": 0,
+        "value_class": "Array"
+      },
+      "semantic_value_risk": {
+        "level": "low",
+        "category": "structural-delimiter",
+        "statement": "The edit changes only a nil-valued delimiter token."
+      },
+      "external_review": {
+        "status": "pending",
+        "labels": []
+      },
+      "grammar_sha256": "dba52fd7b54466caab8c7dc29534e1df1ef2673c7c13816e4c15fe33750b5045"
+    },
+    {
+      "id": "H003-STATEMENT-01",
+      "dimensions": [
+        "statement-language"
+      ],
+      "grammar": "test/fixtures/error_ux_round2/statements.y",
+      "input": "answer = ;",
+      "input_sha256": "0eb15eaab4e30f29b570c3a33f6592e23048d802a6062a95208bb03930837174",
+      "observation": {
+        "mode": "single-rejection",
+        "parse_status": "rejected",
+        "diagnostics": [
+          {
+            "phase": "parser",
+            "message": "(h003-statements):1:10: unexpected ';'; expected NUMBER (nil)\nanswer = ;\n         ^",
+            "token": "';'",
+            "expected_tokens": {
+              "availability": "available",
+              "tokens": [
+                "NUMBER"
+              ],
+              "reason": null
+            },
+            "state": 8,
+            "location": {
+              "line": 1,
+              "column": 10,
+              "start_byte": 9,
+              "source_line": "answer = ;",
+              "caret": "         ^"
+            }
+          }
+        ]
+      },
+      "bounded_repair": {
+        "status": "selected",
+        "parse_status": "accepted",
+        "plan": {
+          "cost": 1,
+          "configurations": 37,
+          "edits": [
+            {
+              "kind": "insert",
+              "position": 0,
+              "token_id": 3,
+              "token_name": "NUMBER",
+              "cost": 1,
+              "token_id_scope": "grammar"
+            }
+          ]
+        }
+      },
+      "proposed_edit": {
+        "summary": "insert an explicit numeric value before the terminator",
+        "operations": [
+          {
+            "start_byte": 9,
+            "end_byte": 9,
+            "replacement": "0"
+          }
+        ],
+        "applied_source_sha256": "11f279e93ac4b68690d617af80227eb97f850aaa143cbb43060064f4b7342183"
+      },
+      "fresh_reparse": {
+        "status": "accepted",
+        "diagnostic_count": 0,
+        "value_class": "Array"
+      },
+      "semantic_value_risk": {
+        "level": "high",
+        "category": "invented-literal",
+        "statement": "The repair invents the numeric semantic value zero and may change program meaning."
+      },
+      "external_review": {
+        "status": "pending",
+        "labels": []
+      },
+      "grammar_sha256": "7dee0cf9174a4fc59746a215b50aedc21643a3f213d056f819ca7eafee1f27f5"
+    },
+    {
+      "id": "H003-STATEFUL-01",
+      "dimensions": [
+        "stateful-string-lexer"
+      ],
+      "grammar": "test/fixtures/error_ux_round2/stateful_strings.y",
+      "input": "\"hello",
+      "input_sha256": "196d3d58bf5c0427d2b094fb9b2c70b277ac1b4b96de1d191de8f1abe90ce149",
+      "observation": {
+        "mode": "single-rejection",
+        "parse_status": "rejected",
+        "diagnostics": [
+          {
+            "phase": "parser",
+            "message": "(h003-stateful-string):1:7: unexpected $eof; expected STRING_END (nil)",
+            "token": "$eof",
+            "expected_tokens": {
+              "availability": "available",
+              "tokens": [
+                "STRING_END"
+              ],
+              "reason": null
+            },
+            "state": 3,
+            "location": {
+              "line": 1,
+              "column": 7,
+              "start_byte": 6,
+              "source_line": "\"hello",
+              "caret": "      ^"
+            }
+          }
+        ]
+      },
+      "bounded_repair": {
+        "status": "selected",
+        "parse_status": "accepted",
+        "plan": {
+          "cost": 1,
+          "configurations": 9,
+          "edits": [
+            {
+              "kind": "insert",
+              "position": 0,
+              "token_id": 4,
+              "token_name": "STRING_END",
+              "cost": 1,
+              "token_id_scope": "grammar"
+            }
+          ]
+        }
+      },
+      "proposed_edit": {
+        "summary": "close the string at end of input",
+        "operations": [
+          {
+            "start_byte": 6,
+            "end_byte": 6,
+            "replacement": "\""
+          }
+        ],
+        "applied_source_sha256": "5aa762ae383fbb727af3c7a36d4940a5b8c40a989452d2304fc958ff3f354e7a"
+      },
+      "fresh_reparse": {
+        "status": "accepted",
+        "diagnostic_count": 0,
+        "value_class": "String"
+      },
+      "semantic_value_risk": {
+        "level": "low",
+        "category": "lexer-state-closure",
+        "statement": "The edit closes the active lexer state without inventing string content."
+      },
+      "external_review": {
+        "status": "pending",
+        "labels": []
+      },
+      "grammar_sha256": "65a2f83c108ad5aa10c7d31eeafae9bd8241beac91d6dea40f81256cac5f9438"
+    },
+    {
+      "id": "H003-EOF-01",
+      "dimensions": [
+        "eof-error",
+        "delimiter-heavy"
+      ],
+      "grammar": "test/fixtures/error_ux_round2/delimiters.y",
+      "input": "outer(inner(a,b),c",
+      "input_sha256": "402db8f3f0246976daa0ceabd406ef527179a49b51eccca85c6a3387cde76883",
+      "observation": {
+        "mode": "single-rejection",
+        "parse_status": "rejected",
+        "diagnostics": [
+          {
+            "phase": "parser",
+            "message": "(h003-delimiters):1:19: unexpected $eof; expected '(', ')', ',' (nil)",
+            "token": "$eof",
+            "expected_tokens": {
+              "availability": "available",
+              "tokens": [
+                "'('",
+                "')'",
+                "','"
+              ],
+              "reason": null
+            },
+            "state": 5,
+            "location": {
+              "line": 1,
+              "column": 19,
+              "start_byte": 18,
+              "source_line": "outer(inner(a,b),c",
+              "caret": "                  ^"
+            }
+          }
+        ]
+      },
+      "bounded_repair": {
+        "status": "selected",
+        "parse_status": "accepted",
+        "plan": {
+          "cost": 1,
+          "configurations": 21,
+          "edits": [
+            {
+              "kind": "insert",
+              "position": 0,
+              "token_id": 8,
+              "token_name": "')'",
+              "cost": 1,
+              "token_id_scope": "grammar"
+            }
+          ]
+        }
+      },
+      "proposed_edit": {
+        "summary": "insert two candidate closing parentheses and let a fresh parse expose over-closure",
+        "operations": [
+          {
+            "start_byte": 18,
+            "end_byte": 18,
+            "replacement": "))"
+          }
+        ],
+        "applied_source_sha256": "251c7dfb6f215074b56a3a638b1c7986debc833228f676015b43db200205261a"
+      },
+      "fresh_reparse": {
+        "status": "progress",
+        "diagnostic_count": 1,
+        "value_class": null,
+        "diagnostic": {
+          "phase": "parser",
+          "message": "(h003-delimiters):1:20: unexpected ')'; expected $eof (nil)\nouter(inner(a,b),c))\n                   ^",
+          "token": "')'",
+          "expected_tokens": {
+            "availability": "available",
+            "tokens": [
+              "$eof"
+            ],
+            "reason": null
+          },
+          "state": 3,
+          "location": {
+            "line": 1,
+            "column": 20,
+            "start_byte": 19,
+            "source_line": "outer(inner(a,b),c))",
+            "caret": "                   ^"
+          }
+        }
+      },
+      "semantic_value_risk": {
+        "level": "low",
+        "category": "structural-delimiter",
+        "statement": "The edit adds only nil-valued closing delimiters."
+      },
+      "external_review": {
+        "status": "pending",
+        "labels": []
+      },
+      "grammar_sha256": "dba52fd7b54466caab8c7dc29534e1df1ef2673c7c13816e4c15fe33750b5045"
+    },
+    {
+      "id": "H003-MULTI-01",
+      "dimensions": [
+        "multi-error-continuation",
+        "statement-language"
+      ],
+      "grammar": "test/fixtures/error_ux_round2/statements.y",
+      "input": "first = ; good = 1; second = = 2; third = 3;",
+      "input_sha256": "7a6b365f7aa15f0c579d63197b78908d2ba27be901a263b8029c4f23c12478e5",
+      "observation": {
+        "mode": "synchronized-continuation",
+        "parse_status": "accepted-after-recovery",
+        "diagnostics": [
+          {
+            "phase": "parser",
+            "message": "(h003-statements):1:9: unexpected ';'; expected NUMBER (nil)\nfirst = ; good = 1; second = = 2; third = 3;\n        ^",
+            "token": "';'",
+            "expected_tokens": {
+              "availability": "available",
+              "tokens": [
+                "NUMBER"
+              ],
+              "reason": null
+            },
+            "state": 8,
+            "location": {
+              "line": 1,
+              "column": 9,
+              "start_byte": 8,
+              "source_line": "first = ; good = 1; second = = 2; third = 3;",
+              "caret": "        ^"
+            }
+          },
+          {
+            "phase": "parser",
+            "message": "(h003-statements):1:30: unexpected '='; expected NUMBER (nil)\nfirst = ; good = 1; second = = 2; third = 3;\n                             ^",
+            "token": "'='",
+            "expected_tokens": {
+              "availability": "available",
+              "tokens": [
+                "NUMBER"
+              ],
+              "reason": null
+            },
+            "state": 8,
+            "location": {
+              "line": 1,
+              "column": 30,
+              "start_byte": 29,
+              "source_line": "first = ; good = 1; second = = 2; third = 3;",
+              "caret": "                             ^"
+            }
+          }
+        ]
+      },
+      "bounded_repair": {
+        "status": "selected",
+        "parse_status": "accepted",
+        "plan": {
+          "cost": 1,
+          "configurations": 61,
+          "edits": [
+            {
+              "kind": "insert",
+              "position": 0,
+              "token_id": 3,
+              "token_name": "NUMBER",
+              "cost": 1,
+              "token_id_scope": "grammar"
+            }
+          ]
+        }
+      },
+      "proposed_edit": {
+        "summary": "supply the first value and remove the second extra equals sign",
+        "operations": [
+          {
+            "start_byte": 8,
+            "end_byte": 8,
+            "replacement": "0"
+          },
+          {
+            "start_byte": 29,
+            "end_byte": 31,
+            "replacement": ""
+          }
+        ],
+        "applied_source_sha256": "c94f3324600f050b42f7ea9a1573be95f37d1723a0bbf0aaaf6c3b603ff8946d"
+      },
+      "fresh_reparse": {
+        "status": "accepted",
+        "diagnostic_count": 0,
+        "value_class": "Array"
+      },
+      "semantic_value_risk": {
+        "level": "high",
+        "category": "invented-literal",
+        "statement": "The first edit invents zero while the second deletes syntax; accepting input does not prove intended semantics."
+      },
+      "external_review": {
+        "status": "pending",
+        "labels": []
+      },
+      "grammar_sha256": "7dee0cf9174a4fc59746a215b50aedc21643a3f213d056f819ca7eafee1f27f5"
+    },
+    {
+      "id": "H003-UNKNOWN-01",
+      "dimensions": [
+        "unknown-token"
+      ],
+      "grammar": "test/fixtures/error_ux_round2/unknown_token.y",
+      "input": "ok @",
+      "input_sha256": "f90789301474fba9a4cbfc7ba17120391ca3cb1ba10a61f7e2035922246073ce",
+      "observation": {
+        "mode": "single-rejection",
+        "parse_status": "rejected",
+        "diagnostics": [
+          {
+            "phase": "parser",
+            "message": "(h003-unknown-token):1:4: unexpected :H003_UNKNOWN; expected $eof (\"@\")\nok @\n   ^",
+            "token": ":H003_UNKNOWN",
+            "expected_tokens": {
+              "availability": "available",
+              "tokens": [
+                "$eof"
+              ],
+              "reason": null
+            },
+            "state": 1,
+            "location": {
+              "line": 1,
+              "column": 4,
+              "start_byte": 3,
+              "source_line": "ok @",
+              "caret": "   ^"
+            }
+          }
+        ]
+      },
+      "bounded_repair": {
+        "status": "selected",
+        "parse_status": "accepted",
+        "plan": {
+          "cost": 1,
+          "configurations": 8,
+          "edits": [
+            {
+              "kind": "delete",
+              "position": 0,
+              "token_id": null,
+              "token_name": ":H003_UNKNOWN",
+              "cost": 1,
+              "token_id_scope": "temporary-external"
+            }
+          ]
+        }
+      },
+      "proposed_edit": {
+        "summary": "delete the unknown external token",
+        "operations": [
+          {
+            "start_byte": 3,
+            "end_byte": 4,
+            "replacement": ""
+          }
+        ],
+        "applied_source_sha256": "bf2a63ad5d209b2be8586a0f249aac31e432115a64d4fb93433d702564be2469"
+      },
+      "fresh_reparse": {
+        "status": "accepted",
+        "diagnostic_count": 0,
+        "value_class": "String"
+      },
+      "semantic_value_risk": {
+        "level": "medium",
+        "category": "deleted-input",
+        "statement": "Deleting an unknown token can discard user intent even when the remaining parse succeeds."
+      },
+      "external_review": {
+        "status": "pending",
+        "labels": []
+      },
+      "grammar_sha256": "aca5bdcba455fab8c924737bb901ea5dd1a247c1325000a3c8979bd29aed83cc"
+    },
+    {
+      "id": "H003-LEXER-01",
+      "dimensions": [
+        "lexer-failure"
+      ],
+      "grammar": "test/fixtures/error_ux_round2/delimiters.y",
+      "input": "outer($)",
+      "input_sha256": "314a7b267053917af6ec13c39c8624c674384991fc20c09a2331528026f4ce4e",
+      "observation": {
+        "mode": "single-rejection",
+        "parse_status": "lexer-failure",
+        "diagnostics": [
+          {
+            "phase": "lexer",
+            "message": "(h003-delimiters):1:7: no lexer rule matches \"$)\" in state INITIAL",
+            "token": "lexer input",
+            "expected_tokens": {
+              "availability": "not-available",
+              "tokens": [],
+              "reason": "lexer-failure-precedes-parser-state"
+            },
+            "state": null,
+            "location": {
+              "line": 1,
+              "column": 7,
+              "start_byte": 6,
+              "source_line": "outer($)",
+              "caret": "      ^"
+            }
+          }
+        ]
+      },
+      "bounded_repair": {
+        "status": "not-applicable",
+        "parse_status": "lexer-failure",
+        "plan": null,
+        "reason": "lexer-failure-precedes-parser-repair"
+      },
+      "proposed_edit": {
+        "summary": "replace unmatched lexer input with a valid name",
+        "operations": [
+          {
+            "start_byte": 6,
+            "end_byte": 7,
+            "replacement": "item"
+          }
+        ],
+        "applied_source_sha256": "17675879754586465963dc4ee6dde8631d1ead4252f6d6ca2c0a4d4c60291a74"
+      },
+      "fresh_reparse": {
+        "status": "accepted",
+        "diagnostic_count": 0,
+        "value_class": "Array"
+      },
+      "semantic_value_risk": {
+        "level": "high",
+        "category": "invented-lexeme",
+        "statement": "The edit invents a semantic name and only demonstrates a syntactically accepted alternative."
+      },
+      "external_review": {
+        "status": "pending",
+        "labels": []
+      },
+      "grammar_sha256": "dba52fd7b54466caab8c7dc29534e1df1ef2673c7c13816e4c15fe33750b5045"
+    }
+  ]
+}