|
| 1 | +// SPDX-License-Identifier: Apache-2.0 |
| 2 | +; specs/trinity/capabilities/brain.regions.t27 -- capability trinity/brain.regions: The brain region tests of src/brain |
| 3 | +; One card of the Trinity project manifest (specs/trinity/README.md, gHashTag/t27#3563 = S01 of |
| 4 | +; gHashTag/trinity#988). tools/trinity_manifest.py check holds every card to the inventory of the |
| 5 | +; pinned consumer tree gHashTag/trinity@976df5174: the targets it owns exist in build.zig and belong |
| 6 | +; to no other card, the paths it names are tracked, the dialect matches the spec it cites and a |
| 7 | +; measured claim names its command and its source. The consumer vendors a byte-identical copy and |
| 8 | +; generates its manifest from these files (S12). ASCII only (L3), English only (LANG-EN). |
| 9 | +; This card is the exception to the first of those: its eleven targets exist in build.zig from |
| 10 | +; gHashTag/trinity#1333 on and not at the pin, so a check against the pinned inventory reports each |
| 11 | +; of them as UNKNOWN_TARGET until S01 re-pins (gHashTag/t27#5953). Its paths do exist at the pin. |
| 12 | +; phi^2 + 1/phi^2 = 3 | TRINITY |
| 13 | + |
| 14 | +module trinity_capability_brain_regions; |
| 15 | + |
| 16 | +pub const KIND : str = "capability"; |
| 17 | +pub const ID : str = "trinity/brain.regions"; |
| 18 | +pub const TITLE : str = "The brain region tests of src/brain: the basal ganglia, reticular formation and locus coeruleus units, the aggregate and integration suite, and the stress suite"; |
| 19 | +; Who owns the implementation this card describes. |
| 20 | +pub const OWNER_REPO : str = "gHashTag/trinity"; |
| 21 | +; executable | declared | adapter | external | deprecated | out-of-scope | research | catalog-only |
| 22 | +pub const DISPOSITION : str = "executable"; |
| 23 | +; headless | web | native | fpga | training | network | research; a target installed by |
| 24 | +; zig build -Dci=true is headless, a target guarded by !ci_mode is not. |
| 25 | +pub const PROFILE : str = "headless"; |
| 26 | +; The canonical spec: a path in this repository, trinity:<path> for a spec authored in the |
| 27 | +; consumer, <repo>:<path> elsewhere, "" while none exists. Never a mirrored copy. |
| 28 | +pub const CANONICAL_SPEC : str = ""; |
| 29 | +pub const DIALECT : str = "none"; |
| 30 | +; Implementation and generated paths of the pinned tree (trinity: prefix), checked to exist. |
| 31 | +pub const IMPLEMENTATION : [6]str = ["trinity:src/brain/basal_ganglia.zig", "trinity:src/brain/reticular_formation.zig", "trinity:src/brain/locus_coeruleus.zig", "trinity:src/brain/brain.zig", "trinity:src/brain/integration_test.zig", "trinity:src/brain/stress_test.zig"]; |
| 32 | +pub const GENERATED : [0]str = []; |
| 33 | +; zig | c | rust | verilog | wasm | ts | swift | python | none; only executable, adapter and research cards claim one. |
| 34 | +pub const BACKEND : str = "zig"; |
| 35 | +; build.zig targets this card owns: exe:<name>, lib:<name>, test:<root path>, step:<name>; patterns allowed. |
| 36 | +pub const TARGETS : [11]str = ["step:test-basal-ganglia", "step:test-reticular-formation", "step:test-locus-coeruleus", "step:test-brain", "step:test-brain-stress", "test:src/brain/basal_ganglia.zig", "test:src/brain/reticular_formation.zig", "test:src/brain/locus_coeruleus.zig", "test:src/brain/brain.zig", "test:src/brain/integration_test.zig", "test:src/brain/stress_test.zig"]; |
| 37 | +; The command whose success is the acceptance of this capability; "" when nothing is claimed. |
| 38 | +pub const ACCEPTANCE : str = "zig build test-basal-ganglia -Dci=true && zig build test-reticular-formation -Dci=true && zig build test-locus-coeruleus -Dci=true && zig build test-brain -Dci=true && zig build test-brain-stress -Dci=true"; |
| 39 | +; measured | declared | specified | external | not-claimed, as docs/system/project.md defines them. |
| 40 | +pub const EVIDENCE : str = "measured"; |
| 41 | +pub const EVIDENCE_SOURCE : str = "https://github.com/gHashTag/trinity/actions/runs/37184075728 (push) and https://github.com/gHashTag/trinity/actions/runs/37184077352 (pull_request) -- brain-ci.yml on ubuntu-latest with zig 0.15.2 at gHashTag/trinity@291ac8b24 (the head of gHashTag/trinity#1333), each step run as zig build <step> -Dci=true --summary all with its exit code as the gate, the same counts in both runs: test-basal-ganglia 51/51, test-reticular-formation 48/48, test-locus-coeruleus 52/52, test-brain 151/151 (138 from brain.zig and 13 from integration_test.zig), test-brain-stress 261/261 with 0 leaked. That commit is not the pinned 976df517, whose build.zig defines none of these targets."; |
| 42 | +; The work package of gHashTag/trinity#988 that owns this capability's contract. |
| 43 | +pub const WORK_PACKAGE : str = "S03"; |
| 44 | +pub const NOTE : str = "S03 decides retire or attach for the sources research.unreferenced-sources names; gHashTag/trinity#1333 attached these six test roots, and this card takes src/brain off that list (gHashTag/t27#5953). At the pin build.zig names basal_ganglia.zig, locus_coeruleus.zig and reticular_formation.zig only as imported modules of another root, and defines no brain test or step. src/brain is handwritten Zig: specs/brain/brain.t27 lists its files in a comment table, but nothing generates them from it or checks them against it, so no canonical spec is claimed. Measured are these test steps, not a run of the brain inside a service."; |
| 45 | +pub const ENABLED : bool = true; |
| 46 | + |
| 47 | +test card_is_bound_to_its_package { |
| 48 | + assert KIND == "capability"; |
| 49 | + assert ID == "trinity/brain.regions"; |
| 50 | + assert WORK_PACKAGE == "S03"; |
| 51 | + assert ENABLED == true; |
| 52 | +} |
0 commit comments