Commit ac3f25d
feat: scaffold natsci-studio — son-co-developed, full trident set
Kickstart of natsci-studio (son's project) from rsr-template-repo.
Local only; no GitHub remote yet. Licensed AGPL-3.0-or-later per the
son-co-developed rule (same pattern as IDApTIK + Airborne Submarine
Squadron).
What's in place:
* LICENSE — AGPL-3.0-or-later stub pointing at the canonical GNU text
(TODO: swap in full AGPL-3.0 text before any public release).
* README.adoc — NatSci Studio intro + contract-first positioning.
* 0-AI-MANIFEST.a2ml — universal AI agent entry point. Declares scope,
anti-scope (not a game engine, not Electron, not commercial), agent
obligations, short-form critical invariants.
* libs/ tools/ demos/ — monorepo canonical directories (with .gitkeep).
* Justfile — project/REPO metadata patched to natsci-studio.
Full contractile set — 6 tridents with NatSci-specific declarations:
* intend/Intentfile.a2ml — committed next-actions (Haskell console,
SPDX, WCAG AA, continuous compliance monitor, Deno not Node) +
horizon wishes (sandbox far; tutorial-mode mid; PHILOSOPHY.md near;
all explicitly not operational).
* trust/Trustfile.a2ml — threat model (primary adversary: scope-creep
AI assistant; secondary: educational misinformation; tertiary:
supply-chain) + language-policy verifications.
* must/Mustfile.a2ml — release-blocking invariants: SPDX everywhere,
no C++, no Electron, no Python, no Node package.json, no Go, no TS,
monorepo structure, no engine/ directory, trident completeness.
* bust/Bustfile.a2ml — hard-stops catching reintroduction of banned
languages + monolithic engine + commercial hype language.
* adjust/Adjustfile.a2ml — drift tolerances including hype-word count,
Haskell warning count, SBOM freshness, WCAG contrast TODOs.
* dust/Dustfile.a2ml — rollback + deprecation + audit-trail policy.
The runners (.ncl), K9 components (.k9.ncl v1/v2 as per standards
estate), manifests, INDEX.a2ml, _base.ncl, README are the canonical
trident machinery copied verbatim from
developer-ecosystem/standards/.machine_readable/contractiles/
(commit 19fe1ff on hyperpolymath/standards).
Diagnostic target: the failure modes in the Le Chat 2026-03-14 NatSci
Studio response (A1 enthusiasm, A2 metaphor, A3 allegory, A5 grandiose
hype, C1/C3/C4 scope/capability/modernization drift, D1 lore, "C++
core for performance" suggestion) would be caught by:
* Mustfile/Bustfile no-cpp + no-electron invariants (hard block).
* Bustfile commercial-hype probe (would catch "billionaire in six
weeks" register).
* Adjustfile hype-word count tolerance (would flag accelerating hype
drift across sessions).
* Intentfile anti-purpose section (explicit scope boundaries).
* Intentfile wishes vs intents split (sandbox = wish, not intent).
* Trust K9 threat_model_foregrounding at session open.
Known template residue (followup cleanup):
* affinescript/ directory contains PseudoScript / AffineScript content
from the upstream template; not NatSci-related; safe to delete.
* eclexiaiser.toml, TEMPLATE-STANDARDS-AUDIT.adoc and several other
scaffold docs still reference rsr-template-repo / PseudoScript.
* Nix + Guix manifests need customisation.
These are lower-priority than the contractile set; user can prune
manually or request a followup cleanup pass.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>0 parents commit ac3f25d
1,044 files changed
Lines changed: 119571 additions & 0 deletions
File tree
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- agent_instructions
- ai
- anchors
- compliance
- reuse
- rust
- configs
- git-cliff
- contractiles
- adjust
- bust
- dust
- intend
- k9
- examples
- must
- trust
- integrations
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- affinescript
- .build
- .claude
- .github
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- agent_instructions
- anchors
- contractiles
- adjust
- dust
- intend
- k9
- examples
- lust
- must
- trust
- integrations
- .well-known
- groove
- LICENSES
- SPARK-experiment
- bench
- conformance
- invalid
- valid
- distributions/rattlescript
- examples
- src
- docs
- .well-known
- academic
- formal-verification
- solo-core
- mathematical-foundations
- mechanized
- agda
- coq
- lean
- proofs
- tropical-session-types
- white-papers
- alib
- governance
- guides
- frontier-programming-practices
- lessons
- warmup
- history
- specs
- standards
- tutorial
- editors
- tree-sitter-affinescript
- queries
- vscode
- src
- syntaxes
- examples
- lessons
- ffi/zig
- src
- test
- hooks
- js
- lib
- backends
- packages
- affine-js
- affine-res
- src
- affine-ts
- runtime
- src
- site
- stdlib
- tests
- borrow
- codegen
- conformance
- arithmetic
- collection
- comparison
- conditional
- logical
- string
- effects
- modules
- parser
- types
- test
- e2e/fixtures
- golden
- tools
- affine-doc
- assets
- src
- affine-pkg
- src
- affinescript-dap
- src
- affinescript-lsp
- src
- wiki
- compiler
- language-reference
- stdlib
- testing
- tooling
- tutorials
- benches
- container
- demos
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- lust
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- examples
- features
- boj-server
- panic-attacker
- ssg
- libs
- scripts
- session
- src
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- interface
- Abi
- build/ttc/2025081600/Abi
- ffi
- src
- test
- generated
- abi
- tests
- e2e
- fuzz
- workflows
- tools
- invariant-path
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- agda
- coq
- idris2
- ABI
- lean4
- tlaplus
- safety_case
- simulations
- tests
- traceability
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
Whitespace-only changes.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
0 commit comments