atsiser 0.1.0

Wrap C codebases in ATS linear types for zero-cost memory safety without rewrites
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

# SPDX-License-Identifier: PMPL-1.0-or-later
---
### [TSDM_SPEC]
id: "tsdm-standard"
version: "1.0.0"

axes:
  axis_1:
    name: "Planning"
    levels: ["must", "should", "could"]
  axis_2:
    name: "Maintenance"
    levels: ["corrective", "adaptive", "perfective"]
  axis_3:
    name: "Audit"
    levels: ["systems", "compliance", "effects"]

invariants:
  - "Every task MUST map to at least one TSDM coordinate"
  - "Axis 1 priority governs resource allocation"
  - "Axis 2 type governs commit categorisation"
  - "Axis 3 focus governs audit depth"