Intrepid/prometeu-studio
Intrepid/prometeu-studio
4
0
Fork 0
Code Pull Requests Activity
prometeu-studio/docs/vm-arch/README.md
bQUARKz 46bd0c42d3
All checks were successful
Intrepid/Prometeu/Studio/pipeline/head This commit looks good
Details
JaCoCo Coverage #### Project Overview No changes detected, that affect the code coverage. * Line Coverage: 61.95% (17766/28676) * Branch Coverage: 52.69% (6860/13019) * Lines of Code: 28676 * Cyclomatic Complexity: 11490 #### Quality Gates Summary Output truncated.
Details
Test / Build skipped: 15, passed: 643
Details
Intrepid/Prometeu/Studio/pipeline/pr-master This commit looks good
Details
implements PLN-0125 
Move lifecycle assembly out of the PBS frontend into a common
AssembleLifecyclePipelineStage. PBS emits a typed IRLifecycleDeclaration;
the assembler owns wrappers, boot guard, and single project-init execution.

Housekeep DSC-0059 with LSN-0062, and include the DSC-0062 PVM/PBX
neutrality spec and lesson already present on this branch.
2026-09-19 00:19:45 +01:00

1.5 KiB
Raw Permalink Blame History

VM Architecture Mirror Policy

The Prometeu runtime repository is the normative authority for PBX binary layout, Core ISA, loader behavior, verification, and PVM execution semantics. The files in this directory are convenience mirrors for Studio-side compiler and integration work; they are not an independent architectural authority.

Canonical runtime sources:

  • ../runtime/docs/vm-arch/ARCHITECTURE.md
  • ../runtime/docs/vm-arch/ISA_CORE.md
  • ../runtime/docs/vm-arch/INTRINSICS.csv

When these mirrors are retained, an integration change that updates a canonical runtime source MUST update the corresponding Studio mirror in the same logical change. Verify synchronization from the Studio repository root with:

diff -u docs/vm-arch/ARCHITECTURE.md ../runtime/docs/vm-arch/ARCHITECTURE.md
diff -u docs/vm-arch/ISA_CORE.md ../runtime/docs/vm-arch/ISA_CORE.md
diff -u docs/vm-arch/INTRINSICS.csv ../runtime/docs/vm-arch/INTRINSICS.csv

All three commands MUST exit successfully with no output before a change claims that the mirrors are synchronized. If the runtime repository is not available in the same checkout, synchronization evidence must be produced against the canonical runtime revision before merging.

Compiler-owned transformation contracts remain under docs/specs/compiler. Those specifications define IRBackend -> IRVM -> PBX emission, but they MUST conform to the runtime-owned PBX and ISA contracts and MUST NOT redefine runtime execution semantics.