bQUARKz
9458312d73
Some checks are pending
Intrepid/Prometeu/Studio/pipeline/pr-master Build started...
JaCoCo Coverage #### Project Overview
No changes detected, that affect the code coverage.
* Line Coverage: 62.51% (18192/29102)
* Branch Coverage: 53.15% (7093/13345)
* Lines of Code: 29102
* Cyclomatic Complexity: 11715
#### Quality Gates Summary
Output truncated.
Test / Build skipped: 15, passed: 663
Add PBS find-references as the request-local inverse of definition identity on FrontendLanguageService. Usage sites are identifier tokens whose definition locations intersect the cursor set. Empty results stay honest when definition is empty, including virtual stdlib paths. Honor includeDeclaration in the LSP bridge. Housekeep DSC-0040 with LSN-0069.
General Specs
This directory contains shared acceptance specifications for all supported languages in Prometeu.
Scope
These specs are above language-specific specs and should be reused by each language line.
Typical topics:
- conformance gates and evidence,
- compatibility publication policy,
- verification/safety acceptance boundaries,
- artifact/runtime acceptance contracts.
Current backend-facing chapter additions:
20. IRBackend to IRVM Lowering Specification.md21. IRVM Optimization Pipeline Specification.md22. Backend Spec-to-Test Conformance Matrix.md23. Compiler Pipeline Entry Points Specification.md
Rule
Language-specific specs (for example docs/pbs/specs) must reference this layer instead of duplicating cross-language acceptance policy.