administrator/DocForge2
1
0
Fork 0
Code Issues Pull requests Projects Releases 2 Packages Wiki Activity Actions Pages

test: prove unrelated project isolation

Browse source
This commit is contained in:
Andraxion 2026-07-22 05:01:07 -04:00
parent 1c4aa79d1c
commit 1943c36ef3
12 changed files with 492 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

11
tests/fixtures/awesome-ski-game/handbook/proof/playtest.toml vendored Normal file
View file

@ -0,0 +1,11 @@
[[nodes]]
schema_version = 1
id = "proof.carve-playtest"
title = "Carve playtest proof"
family = "proof"
authority = "derived"
status = "verified"
tags = ["carving", "playtest", "proof"]
summary = "Records that the edge-control fixture has a bounded test target."
content = "The test target records grip, carve angle, skid state, and the route segment for each sample."
proves = ["riding.edge-control"]