Repository navigation
Expand file tree
/
Copy pathpackage.json
More file actions
47 lines (47 loc) · 4.58 KB
/
Copy pathpackage.json
File metadata and controls
47 lines (47 loc) · 4.58 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
{
"name": "quinelings",
"version": "0.1.0",
"private": true,
"description": "Executable mathematical creatures with recoverable harmonic and color genomes",
"license": "Apache-2.0",
"scripts": {
"dev": "python3 -m http.server 8048 --bind 127.0.0.1",
"test": "node verify.cjs && node verify-library.cjs && node verify-design.cjs && node audit.cjs && node verify-morphology.cjs && node verify-chroma.cjs && node verify-thought.cjs && node verify-anatomy.cjs && node verify-runtime-boundaries.cjs && node verify-ranch-crypto.cjs && node verify-ranch-layout.cjs && node verify-offspring.cjs && node verify-ranch-world.cjs",
"formal": "quint typecheck spec/design.qnt && quint test spec/design.qnt --max-samples=100 --backend=typescript && quint run spec/design.qnt --invariant=safety --max-samples=1000 --max-steps=50 --seed=20261003 --backend=typescript --verbosity=1",
"lean:fixtures": "node scripts/generate-lean-fixtures.cjs",
"formal:lean": "bash scripts/check-lean.sh",
"lean:install": "bash scripts/install-lean.sh",
"formal:all": "npm run formal:lean && npm run formal && npm run formal:creation && npm run formal:session && npm run formal:ranch && npm run formal:v1",
"formal:creation": "quint typecheck spec/creation.qnt && quint test spec/creation.qnt --max-samples=100 --backend=typescript && quint run spec/creation.qnt --invariant=safety --max-samples=1000 --max-steps=50 --seed=20261004 --backend=typescript --verbosity=1",
"sdk:install": "npm ci --prefix packages/agent-sdk",
"sdk:check": "npm run typecheck --prefix packages/agent-sdk && npm run build --prefix packages/agent-sdk && npm test --prefix packages/agent-sdk",
"sdk:pack": "mkdir -p assets/sdk && npm pack ./packages/agent-sdk --pack-destination assets/sdk",
"formal:session": "quint typecheck spec/agent-session.qnt && quint test spec/agent-session.qnt --max-samples=100 --backend=typescript && quint run spec/agent-session.qnt --invariant=safety --max-samples=1000 --max-steps=50 --seed=20261004 --backend=typescript --verbosity=1",
"formal:ranch": "quint typecheck spec/ranch.qnt && quint test spec/ranch.qnt --max-samples=100 --backend=typescript && quint run spec/ranch.qnt --invariant=safety --max-samples=1000 --max-steps=80 --seed=20261004 --backend=typescript --verbosity=1 && quint run spec/ranch.qnt --init=paired --step=familyStep --invariant=safety --max-samples=500 --max-steps=80 --seed=20261005 --backend=typescript --verbosity=1",
"ranch:build": "node scripts/build-ranch-browser.mjs",
"formal:correspondence": "node verify-ranch-model.cjs",
"test:v1": "node scripts/build-v1-registry.cjs --check && node verify-v1-types.cjs && node verify-v1-contract.cjs && node verify-v1-kernels.cjs && node verify-v1.cjs && node verify-v1-library.cjs && node verify-v1-migrate.cjs && node verify-v1-compatibility.cjs && node verify-v1-goldens.cjs && node verify-v1-offspring.cjs",
"formal:v1": "quint typecheck spec/v1-session.qnt && quint test spec/v1-session.qnt --max-samples=100 --backend=typescript && quint run spec/v1-session.qnt --invariant=safety --max-samples=1000 --max-steps=80 --seed=20261004 --backend=typescript --verbosity=1 && node verify-v1-model.cjs",
"test:browser:v1": "node verify-v1-conformance-browser.cjs && node verify-v1-browser.cjs && node verify-ranch-render-cache.cjs && node verify-v1-ranch-browser.cjs",
"formal:website": "quint typecheck spec/website-lab.qnt && quint test spec/website-lab.qnt --max-samples=100 --backend=typescript && quint run spec/website-lab.qnt --invariant=safety --max-samples=1000 --max-steps=50 --seed=20261004 --backend=typescript --verbosity=1",
"test:browser:website": "npm run test:website:insights && node verify-living-thoughts.cjs && node tests/website-beginners.cjs && node tests/first-lesson.cjs && node tests/introduction.cjs",
"test:website:insights": "node tests/website-insights.cjs",
"test:browser:nursery": "node verify-nursery.cjs",
"formal:visual": "quint typecheck spec/visual-capsule.qnt && quint test spec/visual-capsule.qnt --max-samples=50 --backend=typescript && quint run spec/visual-capsule.qnt --invariant=safety --max-samples=300 --max-steps=40 --seed=20261004 --backend=typescript --verbosity=1",
"test:visual": "node tests/verify-woven-body.cjs && node tests/verify-lifeform-families.cjs && node tests/verify-visual-capsule.cjs && node tests/verify-visual-release.cjs"
},
"engines": {
"node": ">=22"
},
"devDependencies": {
"@informalsystems/quint": "0.33.0"
},
"overrides": {
"@informalsystems/quint": {
"adm-zip": "0.6.1"
}
},
"allowScripts": {
"protobufjs@7.6.6": true
}
}