{
"schema_version": 1,
"repository": "https://github.com/mike-lischke/vscode-antlr4.git",
"commit": "3e9469d1d490c71b3e3b909edf1235582a3f8db8",
"repository_license": {
"id": "vscode-antlr4:repository-license",
"source_id": "vscode-antlr4:License.txt",
"spdx": "MIT",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/License.txt"
},
"shared_oracles": {
"antlr_ng_frontend": {
"repository": "https://github.com/mike-lischke/antlr-ng.git",
"commit": "1f68422ae4bfc62f93343769e144d01f305487b1",
"command": "node tools/grammar-frontend/snapshot-frontend.mjs --antlr-ng-root <checkout>",
"raw_outcome": "tests/codegen-direct/frontend-snapshots.tsv"
},
"java_antlr": {
"repository": "https://github.com/antlr/antlr4.git",
"commit": "cc82115a4e7f53d71d9d905caa2c2dfa4da58899",
"command": "tools/grammar-frontend/update-interp-fixtures.sh (Phase B)",
"raw_outcome": "deferred-to-phase-B because Java does not expose the Phase A canonical CST observable"
}
},
"fixtures": [
{
"id": "vscode-antlr4-antlr-v4-lexer",
"source_id": "vscode-antlr4:grammars/ANTLRv4Lexer.g4",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/grammars/ANTLRv4Lexer.g4",
"licenses": [
"vscode-antlr4:repository-license",
"per-file:BSD-3-Clause"
],
"selected_extension_assertions": [
"tests/backend/sentence-generation.spec.ts:Generate sentences (lexer)"
],
"owner_phase": "A",
"compiler_outcome": "valid",
"phase_contracts": {
"A": "token-and-cst-snapshot",
"B": "alternate-meta-grammar lexer loading and Java serializer fixture",
"C": "source-only Rust generation succeeds"
},
"assertions": [
{
"id": "vscode-antlr4:grammars/ANTLRv4Lexer.g4:syntax",
"phase": "A",
"observable": "complete token stream and canonical CST",
"tdd_owner": "upstream:frontend-token-cst-parity",
"rust_test": "grammar::frontend::tests::pinned_frontend_corpus_matches_token_and_tree_oracles",
"upstream_active_revision_id": "frontend-token-cst-parity-r1",
"transitive_closure_sha256": "a409bb9aec5a84548c338069061cbebd193b588ea676643871c22db2898a40b5"
},
{
"id": "vscode-antlr4:grammars/ANTLRv4Lexer.g4:direct-atn",
"phase": "B",
"observable": "the imported LexBasic grammar and direct lexer ATN serialize exactly like Java 4.13.2",
"tdd_owner": "upstream:testcompositegrammars-testimportintolexergrammar-caf8b54010",
"rust_test": "grammar::atn::interp_test::tests::vscode_alternate_meta_grammar_and_import_match_java",
"upstream_active_revision_id": "testcompositegrammars-testimportintolexergrammar-caf8b54010-r1",
"transitive_closure_sha256": "5cc7adacd0a7bc621f7d867889967b8b68ee8215a69d1014621fc1659913958a"
}
]
},
{
"id": "vscode-antlr4-antlr-v4-parser",
"source_id": "vscode-antlr4:grammars/ANTLRv4Parser.g4",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/grammars/ANTLRv4Parser.g4",
"licenses": [
"vscode-antlr4:repository-license",
"per-file:BSD-3-Clause"
],
"selected_extension_assertions": [
"tests/backend/atn.spec.ts:ATN graph",
"tests/backend/sentence-generation.spec.ts:Generate sentences (parser)"
],
"owner_phase": "A",
"compiler_outcome": "valid",
"phase_contracts": {
"A": "token-and-cst-snapshot",
"B": "alternate-meta-grammar parser loading and Java serializer fixture",
"C": "source-only Rust generation succeeds"
},
"assertions": [
{
"id": "vscode-antlr4:grammars/ANTLRv4Parser.g4:syntax",
"phase": "A",
"observable": "complete token stream and canonical CST",
"tdd_owner": "upstream:frontend-token-cst-parity",
"rust_test": "grammar::frontend::tests::pinned_frontend_corpus_matches_token_and_tree_oracles",
"upstream_active_revision_id": "frontend-token-cst-parity-r1",
"transitive_closure_sha256": "a409bb9aec5a84548c338069061cbebd193b588ea676643871c22db2898a40b5"
},
{
"id": "vscode-antlr4:grammars/ANTLRv4Parser.g4:direct-atn",
"phase": "B",
"observable": "source-backed tokenVocab resolution and the direct parser ATN serialize exactly like Java 4.13.2",
"tdd_owner": "upstream:testcompositegrammars-testtokensfileinoutputdirandimportfileinsubdir-6d1d778aeb",
"rust_test": "grammar::atn::interp_test::tests::vscode_alternate_meta_grammar_and_import_match_java",
"upstream_active_revision_id": "testcompositegrammars-testtokensfileinoutputdirandimportfileinsubdir-6d1d778aeb-r1",
"transitive_closure_sha256": "4b011c700914c453e0ef85006483eafd5ae9676386967064da033390d35b0685"
}
]
},
{
"id": "vscode-antlr4-lex-basic",
"source_id": "vscode-antlr4:grammars/LexBasic.g4",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/grammars/LexBasic.g4",
"licenses": [
"vscode-antlr4:repository-license",
"per-file:BSD-3-Clause"
],
"selected_extension_assertions": [
"tests/backend/sentence-generation.spec.ts:Generate sentences (basic lexer)"
],
"owner_phase": "A",
"compiler_outcome": "valid",
"phase_contracts": {
"A": "token-and-cst-snapshot",
"B": "alternate-meta-grammar import and lexer serializer fixture",
"C": "source-only Rust generation succeeds"
},
"assertions": [
{
"id": "vscode-antlr4:grammars/LexBasic.g4:syntax",
"phase": "A",
"observable": "complete token stream and canonical CST",
"tdd_owner": "upstream:frontend-token-cst-parity",
"rust_test": "grammar::frontend::tests::pinned_frontend_corpus_matches_token_and_tree_oracles",
"upstream_active_revision_id": "frontend-token-cst-parity-r1",
"transitive_closure_sha256": "a409bb9aec5a84548c338069061cbebd193b588ea676643871c22db2898a40b5"
},
{
"id": "vscode-antlr4:grammars/LexBasic.g4:direct-atn",
"phase": "B",
"observable": "the direct lexer ATN and recognizer tables serialize exactly like Java 4.13.2",
"tdd_owner": "upstream:testatnserialization-testlexertworules-1b3e930083",
"rust_test": "grammar::atn::interp_test::tests::vscode_alternate_meta_grammar_and_import_match_java",
"upstream_active_revision_id": "testatnserialization-testlexertworules-1b3e930083-r1",
"transitive_closure_sha256": "ac72d5b315b70178ac9a7c245b994123092b9d1a7c77667927c0ebadc0893193"
}
]
},
{
"id": "vscode-antlr4-cpp14",
"source_id": "vscode-antlr4:tests/backend/test-data/CPP14.g4",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/tests/backend/test-data/CPP14.g4",
"licenses": [
"vscode-antlr4:repository-license",
"per-file:MIT"
],
"selected_extension_assertions": [
"tests/backend/debugger.spec.ts:Debugger creation",
"tests/backend/advanced-symbol-info.spec.ts:Large grammar symbols"
],
"owner_phase": "A",
"compiler_outcome": "valid",
"phase_contracts": {
"A": "token-and-cst-snapshot",
"B": "combined grammar split and parser/lexer ATN fixtures",
"C": "source-only Rust generation and emitted parser compile"
},
"assertions": [
{
"id": "vscode-antlr4:tests/backend/test-data/CPP14.g4:syntax",
"phase": "A",
"observable": "complete token stream and canonical CST",
"tdd_owner": "upstream:frontend-token-cst-parity",
"rust_test": "grammar::frontend::tests::pinned_frontend_corpus_matches_token_and_tree_oracles",
"upstream_active_revision_id": "frontend-token-cst-parity-r1",
"transitive_closure_sha256": "a409bb9aec5a84548c338069061cbebd193b588ea676643871c22db2898a40b5"
},
{
"id": "vscode-antlr4:tests/backend/test-data/CPP14.g4:direct-atns",
"phase": "B",
"observable": "combined splitting produces direct lexer and parser ATNs identical to Java 4.13.2",
"tdd_owner": "upstream:testatnserialization-test3alts-9c04d047af",
"rust_test": "grammar::atn::interp_test::tests::vscode_cpp14_combined_grammar_matches_java",
"upstream_active_revision_id": "testatnserialization-test3alts-9c04d047af-r1",
"transitive_closure_sha256": "3f8c75d346fc64522f4946efa1388619f2b4ed59021cbc2e78bdd54c5182feac"
}
]
},
{
"id": "vscode-antlr4-odd-expr",
"source_id": "vscode-antlr4:tests/backend/test-data/OddExpr.g4",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/tests/backend/test-data/OddExpr.g4",
"licenses": [
"vscode-antlr4:repository-license"
],
"selected_extension_assertions": [
"tests/backend/code-generation.spec.ts:Generation with Java exception"
],
"owner_phase": "A",
"compiler_outcome": "valid",
"phase_contracts": {
"A": "token-and-cst-snapshot",
"B": "large lexer ATN and serializer stress fixture",
"C": "source-only Rust generation succeeds without 16-bit serialization limits"
},
"assertions": [
{
"id": "vscode-antlr4:tests/backend/test-data/OddExpr.g4:syntax",
"phase": "A",
"observable": "complete token stream and canonical CST",
"tdd_owner": "upstream:frontend-token-cst-parity",
"rust_test": "grammar::frontend::tests::pinned_frontend_corpus_matches_token_and_tree_oracles",
"upstream_active_revision_id": "frontend-token-cst-parity-r1",
"transitive_closure_sha256": "a409bb9aec5a84548c338069061cbebd193b588ea676643871c22db2898a40b5"
},
{
"id": "vscode-antlr4:tests/backend/test-data/OddExpr.g4:direct-atns",
"phase": "B",
"observable": "the 101246-state direct lexer ATN and parser ATN serialize exactly like Java 4.13.2",
"tdd_owner": "upstream:testatnserialization-testlexerunicodesmpandbmpsetserialized-146bb39ee2",
"rust_test": "grammar::atn::interp_test::tests::vscode_odd_expr_large_atns_match_java_without_state_limit",
"upstream_active_revision_id": "testatnserialization-testlexerunicodesmpandbmpsetserialized-146bb39ee2-r1",
"transitive_closure_sha256": "c8885c7ada1913ac55887273ef66b5e1f55822ba0b70b6fa3c407f2391db4fdb"
}
]
},
{
"id": "vscode-antlr4-t-lexer",
"source_id": "vscode-antlr4:tests/backend/test-data/TLexer.g4",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/tests/backend/test-data/TLexer.g4",
"licenses": [
"vscode-antlr4:repository-license"
],
"selected_extension_assertions": [
"tests/backend/code-generation.spec.ts:A standard generation run, split grammar",
"tests/backend/symbol-info.spec.ts:Symbol Listing 2"
],
"owner_phase": "A",
"compiler_outcome": "valid",
"phase_contracts": {
"A": "token-and-cst-snapshot",
"B": "split dependency, channels, modes, actions, commands, and lexer ATN",
"C": "source-only Rust split generation succeeds"
},
"assertions": [
{
"id": "vscode-antlr4:tests/backend/test-data/TLexer.g4:syntax",
"phase": "A",
"observable": "complete token stream and canonical CST",
"tdd_owner": "upstream:frontend-token-cst-parity",
"rust_test": "grammar::frontend::tests::pinned_frontend_corpus_matches_token_and_tree_oracles",
"upstream_active_revision_id": "frontend-token-cst-parity-r1",
"transitive_closure_sha256": "a409bb9aec5a84548c338069061cbebd193b588ea676643871c22db2898a40b5"
},
{
"id": "vscode-antlr4:tests/backend/test-data/TLexer.g4:direct-atn",
"phase": "B",
"observable": "modes, channels, commands, actions, and the direct lexer ATN match Java 4.13.2",
"tdd_owner": "upstream:testatnserialization-testmodeinlexer-01129db88a",
"rust_test": "grammar::atn::interp_test::tests::vscode_split_grammar_matches_java",
"upstream_active_revision_id": "testatnserialization-testmodeinlexer-01129db88a-r1",
"transitive_closure_sha256": "1c8dc73cbc42f9d4c17b08fc14f19bcc152d315aee7d1ce31bc1d67f878c30d9"
}
]
},
{
"id": "vscode-antlr4-t-lexer-2",
"source_id": "vscode-antlr4:tests/backend/test-data/TLexer2.g4",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/tests/backend/test-data/TLexer2.g4",
"licenses": [
"vscode-antlr4:repository-license"
],
"selected_extension_assertions": [
"tests/backend/code-generation.spec.ts:Generation with errors, split grammar"
],
"owner_phase": "A",
"compiler_outcome": "dependency-error",
"phase_contracts": {
"A": "token-and-cst-snapshot",
"B": "missing tokenVocab diagnostic fixture",
"C": "source-only Rust generation fails without partial output"
},
"assertions": [
{
"id": "vscode-antlr4:tests/backend/test-data/TLexer2.g4:syntax",
"phase": "A",
"observable": "complete token stream and canonical CST",
"tdd_owner": "upstream:frontend-token-cst-parity",
"rust_test": "grammar::frontend::tests::pinned_frontend_corpus_matches_token_and_tree_oracles",
"upstream_active_revision_id": "frontend-token-cst-parity-r1",
"transitive_closure_sha256": "a409bb9aec5a84548c338069061cbebd193b588ea676643871c22db2898a40b5"
},
{
"id": "vscode-antlr4:tests/backend/test-data/TLexer2.g4:direct-diagnostic",
"phase": "B",
"observable": "missing tokenVocab reports the Java error category and source position",
"tdd_owner": "upstream:testcompositegrammars-testtokensfileinoutputdirandimportfileinsubdir-6d1d778aeb",
"rust_test": "grammar::compiler::tests::missing_token_vocab_matches_java_diagnostic_site",
"upstream_active_revision_id": "testcompositegrammars-testtokensfileinoutputdirandimportfileinsubdir-6d1d778aeb-r1",
"transitive_closure_sha256": "4b011c700914c453e0ef85006483eafd5ae9676386967064da033390d35b0685"
}
]
},
{
"id": "vscode-antlr4-t-parser",
"source_id": "vscode-antlr4:tests/backend/test-data/TParser.g4",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/tests/backend/test-data/TParser.g4",
"licenses": [
"vscode-antlr4:repository-license"
],
"selected_extension_assertions": [
"tests/backend/code-generation.spec.ts:A standard generation run, split grammar",
"tests/backend/symbol-info.spec.ts:Symbol ranges"
],
"owner_phase": "A",
"compiler_outcome": "valid",
"phase_contracts": {
"A": "token-and-cst-snapshot",
"B": "split dependency, labels, immediate left recursion, actions, predicates, and parser ATN",
"C": "Java-verdict source-only Rust split generation succeeds"
},
"assertions": [
{
"id": "vscode-antlr4:tests/backend/test-data/TParser.g4:syntax",
"phase": "A",
"observable": "complete token stream and canonical CST",
"tdd_owner": "upstream:frontend-token-cst-parity",
"rust_test": "grammar::frontend::tests::pinned_frontend_corpus_matches_token_and_tree_oracles",
"upstream_active_revision_id": "frontend-token-cst-parity-r1",
"transitive_closure_sha256": "a409bb9aec5a84548c338069061cbebd193b588ea676643871c22db2898a40b5"
},
{
"id": "vscode-tparser-source-spans",
"phase": "A",
"observable": "exact named-action, parser-rule, and argument-block byte spans",
"tdd_owner": "external:vscode-tparser-source-spans",
"active_revision_id": "external-vscode-tparser-source-spans-r1",
"rust_test": "grammar::frontend::tests::tparser_preserves_named_action_rule_and_argument_spans",
"tdd": {
"active_revision_id": "external-vscode-tparser-source-spans-r1",
"state": "done",
"prerequisites": [
"behavior-free grammar frontend scaffold"
],
"unit_under_test": "Stage 0 source spans and fail-closed boundary",
"failure_fingerprint": "G4F000 Stage 0 frontend is not installed",
"primary_test_source": {
"repository": "https://github.com/mike-lischke/vscode-antlr4.git",
"commit": "3e9469d1d490c71b3e3b909edf1235582a3f8db8",
"path": "tests/backend/symbol-info.spec.ts",
"case": "Symbol ranges",
"sha256": "df274a0dca42823cc2ef2608d98d544be53246a48c56f96050b0a987ce0890f3"
},
"alternate_test_source": {
"repository": "https://github.com/mike-lischke/antlr-ng.git",
"commit": "1f68422ae4bfc62f93343769e144d01f305487b1",
"oracle": "independent grammar frontend token/tree/diagnostic observation"
},
"primary_implementation_source": "antlr-ng@1f68422ae4bfc62f93343769e144d01f305487b1",
"alternate_implementation_source": "java-antlr@cc82115a4e7f53d71d9d905caa2c2dfa4da58899",
"scaffold_commit": "75615945749dc93fca5d929cb22ad481f12dfdc9",
"primary_test_commit": "a4258562c44818e2ba97d206587c64d4c38408d0",
"demonstrated_red": {
"command": "cargo test --locked --features codegen --bin antlr4-rust-gen grammar::frontend::tests::",
"commit": "a4258562c44818e2ba97d206587c64d4c38408d0",
"exit_code": 101,
"fingerprint": "G4F000: the Stage 0 grammar frontend is not installed"
},
"primary_implementation_commit": "8a00a3d6496779b969a42511d7e29c0d102d62d7",
"green_result": {
"command": "cargo test --locked --features codegen --bin antlr4-rust-gen grammar::frontend::tests::",
"commit": "8a00a3d6496779b969a42511d7e29c0d102d62d7",
"exit_code": 0,
"result": "5 passed; 0 failed"
},
"closure": {
"assertion_id": "vscode-tparser-source-spans",
"source_id": "vscode-antlr4:tests/backend/test-data/TParser.g4",
"source_sha256": "4e85ed4c929eb98083cdae3304307c9388b35f23fad02d1755c18cc8f655ba27",
"owner_phase": "A",
"observable": "exact named-action, parser-rule, and argument-block byte spans",
"rust_test": "grammar::frontend::tests::tparser_preserves_named_action_rule_and_argument_spans",
"canonical_input": "tests/codegen-direct/external/vscode-antlr4/tests/backend/test-data/TParser.g4",
"expected_observable": {
"named_action_bytes": [
1090,
1264
],
"parser_rule_bytes": [
3421,
3650
],
"argument_block_bytes": [
3484,
3511
]
},
"primary_test_source": {
"repository": "https://github.com/mike-lischke/vscode-antlr4.git",
"commit": "3e9469d1d490c71b3e3b909edf1235582a3f8db8",
"path": "tests/backend/symbol-info.spec.ts",
"case": "Symbol ranges",
"sha256": "df274a0dca42823cc2ef2608d98d544be53246a48c56f96050b0a987ce0890f3"
},
"alternate_test_source": {
"repository": "https://github.com/mike-lischke/antlr-ng.git",
"commit": "1f68422ae4bfc62f93343769e144d01f305487b1",
"oracle": "independent grammar frontend token/tree/diagnostic observation"
},
"scaffold_commit": "75615945749dc93fca5d929cb22ad481f12dfdc9",
"primary_test_commit": "a4258562c44818e2ba97d206587c64d4c38408d0"
},
"closure_sha256": "d6c2867064a0b7cd37fcd5605c025926aa0782d92cd36c6fbbe3851b69e3bf9a",
"evidence_path": "tests/codegen-direct/port-evidence/vscode-tparser-source-spans"
}
},
{
"id": "vscode-antlr4:tests/backend/test-data/TParser.g4:direct-atn",
"phase": "B",
"observable": "split tokenVocab resolution, immediate left recursion, labels, and the direct parser ATN match Java 4.13.2",
"tdd_owner": "upstream:testtokenpositionoptions-testleftrecursionwithlabels-6e604809f0",
"rust_test": "grammar::atn::interp_test::tests::vscode_split_grammar_matches_java",
"upstream_active_revision_id": "testtokenpositionoptions-testleftrecursionwithlabels-6e604809f0-r1",
"transitive_closure_sha256": "2a12291a98e5b856dcbe577f6283d0b5f7318f4215fc198ed2048620acec686e"
}
]
},
{
"id": "vscode-antlr4-t-parser-2",
"source_id": "vscode-antlr4:tests/backend/test-data/TParser2.g4",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/tests/backend/test-data/TParser2.g4",
"licenses": [
"vscode-antlr4:repository-license"
],
"selected_extension_assertions": [
"tests/backend/code-generation.spec.ts:Generation with errors, split grammar"
],
"owner_phase": "A",
"compiler_outcome": "dependency-error",
"phase_contracts": {
"A": "token-and-cst-snapshot",
"B": "missing tokenVocab dependency diagnostic fixture",
"C": "source-only Rust generation fails without partial output"
},
"assertions": [
{
"id": "vscode-antlr4:tests/backend/test-data/TParser2.g4:syntax",
"phase": "A",
"observable": "complete token stream and canonical CST",
"tdd_owner": "upstream:frontend-token-cst-parity",
"rust_test": "grammar::frontend::tests::pinned_frontend_corpus_matches_token_and_tree_oracles",
"upstream_active_revision_id": "frontend-token-cst-parity-r1",
"transitive_closure_sha256": "a409bb9aec5a84548c338069061cbebd193b588ea676643871c22db2898a40b5"
},
{
"id": "vscode-antlr4:tests/backend/test-data/TParser2.g4:direct-diagnostic",
"phase": "B",
"observable": "the split parser dependency participates in the missing tokenVocab failure without partial compilation",
"tdd_owner": "upstream:testcompositegrammars-testtokensfileinoutputdirandimportfileinsubdir-6d1d778aeb",
"rust_test": "grammar::compiler::tests::missing_token_vocab_matches_java_diagnostic_site",
"upstream_active_revision_id": "testcompositegrammars-testtokensfileinoutputdirandimportfileinsubdir-6d1d778aeb-r1",
"transitive_closure_sha256": "4b011c700914c453e0ef85006483eafd5ae9676386967064da033390d35b0685"
}
]
},
{
"id": "vscode-antlr4-sentences",
"source_id": "vscode-antlr4:tests/backend/test-data/sentences.g4",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/tests/backend/test-data/sentences.g4",
"licenses": [
"vscode-antlr4:repository-license"
],
"selected_extension_assertions": [
"tests/backend/sentence-generation.spec.ts:Generate sentences"
],
"owner_phase": "A",
"compiler_outcome": "valid",
"phase_contracts": {
"A": "token-and-cst-snapshot",
"B": "Unicode, EBNF, and immediate-left-recursion ATN fixture",
"C": "source-only Rust generation and parser execution succeed"
},
"assertions": [
{
"id": "vscode-antlr4:tests/backend/test-data/sentences.g4:syntax",
"phase": "A",
"observable": "complete token stream and canonical CST",
"tdd_owner": "upstream:frontend-token-cst-parity",
"rust_test": "grammar::frontend::tests::pinned_frontend_corpus_matches_token_and_tree_oracles",
"upstream_active_revision_id": "frontend-token-cst-parity-r1",
"transitive_closure_sha256": "a409bb9aec5a84548c338069061cbebd193b588ea676643871c22db2898a40b5"
},
{
"id": "vscode-antlr4:tests/backend/test-data/sentences.g4:direct-atns",
"phase": "B",
"observable": "Unicode-property expansion and direct lexer/parser ATNs match Java 4.13.2",
"tdd_owner": "upstream:testatnconstruction-testcharsetunicodepropertyescape-1ca01ebe06",
"rust_test": "grammar::atn::interp_test::tests::vscode_sentences_combined_parser_and_unicode_lexer_match_java",
"upstream_active_revision_id": "testatnconstruction-testcharsetunicodepropertyescape-1ca01ebe06-r1",
"transitive_closure_sha256": "580cd6c5f7e85aca2bc6b3f0b865f60ab5be1b399884b063b84fa733e6b73f4f"
}
]
},
{
"id": "vscode-antlr4-t",
"source_id": "vscode-antlr4:tests/backend/test-data/t.g4",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/tests/backend/test-data/t.g4",
"licenses": [
"vscode-antlr4:repository-license"
],
"selected_extension_assertions": [
"tests/backend/symbol-info.spec.ts:Diagnostics 1",
"tests/backend/symbol-info.spec.ts:reparse"
],
"owner_phase": "A",
"compiler_outcome": "semantic-error",
"phase_contracts": {
"A": "token-and-cst-snapshot",
"B": "unknown token, unknown channel, and undefined-rule diagnostic fixture",
"C": "source-only Rust generation fails without partial output"
},
"assertions": [
{
"id": "vscode-antlr4:tests/backend/test-data/t.g4:syntax",
"phase": "A",
"observable": "complete token stream and canonical CST",
"tdd_owner": "upstream:frontend-token-cst-parity",
"rust_test": "grammar::frontend::tests::pinned_frontend_corpus_matches_token_and_tree_oracles",
"upstream_active_revision_id": "frontend-token-cst-parity-r1",
"transitive_closure_sha256": "a409bb9aec5a84548c338069061cbebd193b588ea676643871c22db2898a40b5"
},
{
"id": "vscode-symbol-info-malformed-edit",
"phase": "A",
"observable": "the a:: edit fails closed at exact byte spans",
"tdd_owner": "external:vscode-symbol-info-malformed-edit",
"active_revision_id": "external-vscode-symbol-info-malformed-edit-r1",
"rust_test": "grammar::frontend::tests::malformed_editor_edit_fails_but_valid_undefined_rules_return_a_tree",
"tdd": {
"active_revision_id": "external-vscode-symbol-info-malformed-edit-r1",
"state": "done",
"prerequisites": [
"behavior-free grammar frontend scaffold"
],
"unit_under_test": "Stage 0 source spans and fail-closed boundary",
"failure_fingerprint": "G4F000 Stage 0 frontend is not installed",
"primary_test_source": {
"repository": "https://github.com/mike-lischke/vscode-antlr4.git",
"commit": "3e9469d1d490c71b3e3b909edf1235582a3f8db8",
"path": "tests/backend/symbol-info.spec.ts",
"case": "reparse: malformed a:: edit",
"sha256": "df274a0dca42823cc2ef2608d98d544be53246a48c56f96050b0a987ce0890f3"
},
"alternate_test_source": {
"repository": "https://github.com/mike-lischke/antlr-ng.git",
"commit": "1f68422ae4bfc62f93343769e144d01f305487b1",
"oracle": "independent grammar frontend token/tree/diagnostic observation"
},
"primary_implementation_source": "antlr-ng@1f68422ae4bfc62f93343769e144d01f305487b1",
"alternate_implementation_source": "java-antlr@cc82115a4e7f53d71d9d905caa2c2dfa4da58899",
"scaffold_commit": "75615945749dc93fca5d929cb22ad481f12dfdc9",
"primary_test_commit": "a4258562c44818e2ba97d206587c64d4c38408d0",
"demonstrated_red": {
"command": "cargo test --locked --features codegen --bin antlr4-rust-gen grammar::frontend::tests::",
"commit": "a4258562c44818e2ba97d206587c64d4c38408d0",
"exit_code": 101,
"fingerprint": "G4F000: the Stage 0 grammar frontend is not installed"
},
"primary_implementation_commit": "8a00a3d6496779b969a42511d7e29c0d102d62d7",
"green_result": {
"command": "cargo test --locked --features codegen --bin antlr4-rust-gen grammar::frontend::tests::",
"commit": "8a00a3d6496779b969a42511d7e29c0d102d62d7",
"exit_code": 0,
"result": "5 passed; 0 failed"
},
"closure": {
"assertion_id": "vscode-symbol-info-malformed-edit",
"source_id": "vscode-antlr4:tests/backend/test-data/t.g4",
"source_sha256": "0c1da889ca65acbcd9af3d3b0b07649d00c8af25c0da9804daaf57b82b991d4b",
"owner_phase": "A",
"observable": "the a:: edit fails closed at exact byte spans",
"rust_test": "grammar::frontend::tests::malformed_editor_edit_fails_but_valid_undefined_rules_return_a_tree",
"canonical_input": "grammar A; a:: b \n| c; c: b+;",
"expected_observable": {
"result": "fail-closed",
"parser_diagnostic_bytes": [
[
12,
14
],
[
18,
19
],
[
21,
22
]
]
},
"primary_test_source": {
"repository": "https://github.com/mike-lischke/vscode-antlr4.git",
"commit": "3e9469d1d490c71b3e3b909edf1235582a3f8db8",
"path": "tests/backend/symbol-info.spec.ts",
"case": "reparse: malformed a:: edit",
"sha256": "df274a0dca42823cc2ef2608d98d544be53246a48c56f96050b0a987ce0890f3"
},
"alternate_test_source": {
"repository": "https://github.com/mike-lischke/antlr-ng.git",
"commit": "1f68422ae4bfc62f93343769e144d01f305487b1",
"oracle": "independent grammar frontend token/tree/diagnostic observation"
},
"scaffold_commit": "75615945749dc93fca5d929cb22ad481f12dfdc9",
"primary_test_commit": "a4258562c44818e2ba97d206587c64d4c38408d0"
},
"closure_sha256": "a662ee52228b1a627062efe6506cabcd18f681b293819a6c3297ce24923df643",
"evidence_path": "tests/codegen-direct/port-evidence/vscode-symbol-info-malformed-edit"
}
},
{
"id": "vscode-symbol-info-valid-undefined-edit",
"phase": "A",
"observable": "the syntactically valid undefined-b edit returns a CST",
"tdd_owner": "external:vscode-symbol-info-valid-undefined-edit",
"active_revision_id": "external-vscode-symbol-info-valid-undefined-edit-r1",
"rust_test": "grammar::frontend::tests::malformed_editor_edit_fails_but_valid_undefined_rules_return_a_tree",
"tdd": {
"active_revision_id": "external-vscode-symbol-info-valid-undefined-edit-r1",
"state": "done",
"prerequisites": [
"behavior-free grammar frontend scaffold"
],
"unit_under_test": "Stage 0 source spans and fail-closed boundary",
"failure_fingerprint": "G4F000 Stage 0 frontend is not installed",
"primary_test_source": {
"repository": "https://github.com/mike-lischke/vscode-antlr4.git",
"commit": "3e9469d1d490c71b3e3b909edf1235582a3f8db8",
"path": "tests/backend/symbol-info.spec.ts",
"case": "reparse: valid undefined-b edit",
"sha256": "df274a0dca42823cc2ef2608d98d544be53246a48c56f96050b0a987ce0890f3"
},
"alternate_test_source": {
"repository": "https://github.com/mike-lischke/antlr-ng.git",
"commit": "1f68422ae4bfc62f93343769e144d01f305487b1",
"oracle": "independent grammar frontend token/tree/diagnostic observation"
},
"primary_implementation_source": "antlr-ng@1f68422ae4bfc62f93343769e144d01f305487b1",
"alternate_implementation_source": "java-antlr@cc82115a4e7f53d71d9d905caa2c2dfa4da58899",
"scaffold_commit": "75615945749dc93fca5d929cb22ad481f12dfdc9",
"primary_test_commit": "a4258562c44818e2ba97d206587c64d4c38408d0",
"demonstrated_red": {
"command": "cargo test --locked --features codegen --bin antlr4-rust-gen grammar::frontend::tests::",
"commit": "a4258562c44818e2ba97d206587c64d4c38408d0",
"exit_code": 101,
"fingerprint": "G4F000: the Stage 0 grammar frontend is not installed"
},
"primary_implementation_commit": "8a00a3d6496779b969a42511d7e29c0d102d62d7",
"green_result": {
"command": "cargo test --locked --features codegen --bin antlr4-rust-gen grammar::frontend::tests::",
"commit": "8a00a3d6496779b969a42511d7e29c0d102d62d7",
"exit_code": 0,
"result": "5 passed; 0 failed"
},
"closure": {
"assertion_id": "vscode-symbol-info-valid-undefined-edit",
"source_id": "vscode-antlr4:tests/backend/test-data/t.g4",
"source_sha256": "0c1da889ca65acbcd9af3d3b0b07649d00c8af25c0da9804daaf57b82b991d4b",
"owner_phase": "A",
"observable": "the syntactically valid undefined-b edit returns a CST",
"rust_test": "grammar::frontend::tests::malformed_editor_edit_fails_but_valid_undefined_rules_return_a_tree",
"canonical_input": "grammar A; a: b \n| c; c: b+;",
"expected_observable": {
"result": "usable-cst",
"root_bytes": [
0,
28
]
},
"primary_test_source": {
"repository": "https://github.com/mike-lischke/vscode-antlr4.git",
"commit": "3e9469d1d490c71b3e3b909edf1235582a3f8db8",
"path": "tests/backend/symbol-info.spec.ts",
"case": "reparse: valid undefined-b edit",
"sha256": "df274a0dca42823cc2ef2608d98d544be53246a48c56f96050b0a987ce0890f3"
},
"alternate_test_source": {
"repository": "https://github.com/mike-lischke/antlr-ng.git",
"commit": "1f68422ae4bfc62f93343769e144d01f305487b1",
"oracle": "independent grammar frontend token/tree/diagnostic observation"
},
"scaffold_commit": "75615945749dc93fca5d929cb22ad481f12dfdc9",
"primary_test_commit": "a4258562c44818e2ba97d206587c64d4c38408d0"
},
"closure_sha256": "0f3aea6c744bc31456fb4e92600976aa50d8ba8e8e1d7165c2869b73efea38d4",
"evidence_path": "tests/codegen-direct/port-evidence/vscode-symbol-info-valid-undefined-edit"
}
},
{
"id": "vscode-antlr4:tests/backend/test-data/t.g4:direct-diagnostics",
"phase": "B",
"observable": "implicit-token warning 125 and unknown-channel error 177 match Java categories and source positions",
"tdd_owner": "upstream:testsymbolissues-testwrongidfortypechannelmodecommand-5245d6d5c3",
"rust_test": "grammar::compiler::tests::implicit_token_warning_precedes_unknown_channel_error",
"upstream_active_revision_id": "testsymbolissues-testwrongidfortypechannelmodecommand-5245d6d5c3-r1",
"transitive_closure_sha256": "929a9bfbc313217283ffacaa41c7b651a6c49d5e05f64f98f423214142100ff7"
}
]
},
{
"id": "vscode-antlr4-t-2",
"source_id": "vscode-antlr4:tests/backend/test-data/t2.g4",
"mirror_path": "tests/codegen-direct/external/vscode-antlr4/tests/backend/test-data/t2.g4",
"licenses": [
"vscode-antlr4:repository-license"
],
"selected_extension_assertions": [
"tests/backend/code-generation.spec.ts:Generation with semantic error, combined grammar"
],
"owner_phase": "A",
"compiler_outcome": "semantic-error",
"phase_contracts": {
"A": "token-and-cst-snapshot",
"B": "indirect-left-recursion diagnostic fixture",
"C": "source-only Rust generation fails without partial output"
},
"assertions": [
{
"id": "vscode-antlr4:tests/backend/test-data/t2.g4:syntax",
"phase": "A",
"observable": "complete token stream and canonical CST",
"tdd_owner": "upstream:frontend-token-cst-parity",
"rust_test": "grammar::frontend::tests::pinned_frontend_corpus_matches_token_and_tree_oracles",
"upstream_active_revision_id": "frontend-token-cst-parity-r1",
"transitive_closure_sha256": "a409bb9aec5a84548c338069061cbebd193b588ea676643871c22db2898a40b5"
},
{
"id": "vscode-antlr4:tests/backend/test-data/t2.g4:direct-diagnostic",
"phase": "B",
"observable": "the direct parser post-build graph reports Java-compatible mutual-left-recursion members",
"tdd_owner": "upstream:testtopologicalsort-testcyclicgraph-94f1aecafb",
"rust_test": "grammar::compiler::tests::indirect_left_recursion_matches_java_cycle_members",
"upstream_active_revision_id": "testtopologicalsort-testcyclicgraph-94f1aecafb-r1",
"transitive_closure_sha256": "2291cd07fe02090063b3b4bf5e877439014c97c652b80d639817984c1d5723c7"
}
]
}
]
}