Intrepid/prometeu-studio

History

bQUARKz 099857b636

implements PLN-0137 (1/7) diagnostic-source

Lock DSC-0066 on Q1-A and Q2-A. Retire AGD-0048 through AGD-0056
into AGD-0069, DEC-0058, and PLN-0137.

Published editor diagnostics use the bound frontend language id as
source. For PBS that is pbs. The stable compiler code stays in code
and is not copied into source. Related locations, phase, and repair
payload stay unpublished.

2026-09-22 08:11:06 +01:00

..

13. Conformance Test Specification.md

implements PLN-0078

2026-05-14 07:39:38 +01:00

14. Name Resolution and Module Linking Specification.md

discussion framework migration

2026-03-26 18:45:46 +00:00

15. Bytecode and PBX Mapping Specification.md

implements PLN-0125

2026-09-19 00:19:45 +01:00

16. Runtime Execution and Initialization Specification.md

discussion framework migration

2026-03-26 18:45:46 +00:00

17. Compatibility and Evolution Policy.md

discussion framework migration

2026-03-26 18:45:46 +00:00

18. Standard Library Surface Specification.md

implements PLN-0127

2026-09-19 02:35:05 +01:00

19. Verification and Safety Checks Specification.md

implements PLN-0129

2026-09-19 03:32:43 +01:00

20. IRBackend to IRVM Lowering Specification.md

implements PLN-0129

2026-09-19 03:32:43 +01:00

21. IRVM Optimization Pipeline Specification.md

implements PLN-0125

2026-09-19 00:19:45 +01:00

22. Backend Spec-to-Test Conformance Matrix.md

implements PLN-0129

2026-09-19 03:32:43 +01:00

23. Compiler Pipeline Entry Points Specification.md

implements PLN-0137 (1/7) diagnostic-source

2026-09-22 08:11:06 +01:00

README.md

implements PLN-0009 compiler pipeline spec propagation

2026-03-30 18:57:24 +01:00

README.md

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.md
21. IRVM Optimization Pipeline Specification.md
22. Backend Spec-to-Test Conformance Matrix.md
23. 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.