Merge branch 'main' into dependabot/github_actions/actions-05e5380a2d

Author: hyperpolymath

.envrc

@@ -14,7 +14,6 @@ fi
 
 # Load Nix flake if flake.nix exists
 if has nix && [ -f flake.nix ]; then
-  use flake
 fi
 
 # Project environment variables

.github/workflows/hypatia-scan.yml

@@ -412,4 +412,4 @@ jobs:
               repo: context.repo.repo,
               issue_number: context.issue.number,
               body: comment
-            });
+            });

CHANGELOG.adoc

@@ -0,0 +1,9 @@
+== Changelog
+
+All notable changes to this project will be documented in this file.
+
+The format is based on https://keepachangelog.com/en/1.1.0/[Keep a
+Changelog], and this project adheres to
+https://semver.org/spec/v2.0.0.html[Semantic Versioning].
+
+=== [Unreleased]

CHANGELOG.md

@@ -0,0 +1,24 @@
+== Contributor Covenant Code of Conduct
+
+=== Our Pledge
+
+We pledge to make participation a harassment-free experience for
+everyone.
+
+=== Our Standards
+
+*Positive behavior:* * Using welcoming language * Being respectful of
+differing viewpoints * Accepting constructive criticism * Focusing on
+what is best for the community
+
+*Unacceptable behavior:* * Harassment, trolling, or personal attacks *
+Publishing private information without permission
+
+=== Enforcement
+
+Report issues to the maintainers. All complaints will be reviewed.
+
+=== Attribution
+
+Adapted from https://www.contributor-covenant.org/[Contributor Covenant]
+v2.1.

CODE_OF_CONDUCT.adoc

@@ -0,0 +1,55 @@
+== Contributing to PseudoScript
+
+This is a *brand-surface repo*. The compiler, type checker, borrow
+checker, codegen, and face transformer all live in
+https://github.com/hyperpolymath/affinescript[affinescript].
+
+=== Where to file what
+
+[width="100%",cols="50%,50%",options="header",]
+|===
+|Issue |Repo
+|The face transformer mangles my code
+|https://github.com/hyperpolymath/affinescript/issues[affinescript]
+
+|The error message uses the wrong vocabulary for this face
+|https://github.com/hyperpolymath/affinescript/issues[affinescript] —
+the face vocabulary lives in `+lib/face.ml+`
+
+|New language feature needed (extern types, dependent types, etc.)
+|https://github.com/hyperpolymath/affinescript/issues[affinescript]
+
+|Brand README is unclear / wrong |this repo
+
+|Example program doesn’t compile |this repo (and probably also
+affinescript if it’s a transformer bug)
+
+|Tutorial / migration guide additions |this repo
+
+|Add this face to my IDE / build tool |this repo, but expect it to
+depend on affinescript work first
+|===
+
+=== Local workflow
+
+[source,bash]
+----
+opam install affinescript     # installs the compiler
+git clone https://github.com/hyperpolymath/pseudoscript
+cd pseudoscript
+just hello                    # smoke-test the example
+just check examples/hello.affine
+just preview examples/hello.affine
+----
+
+=== Pull requests
+
+* SPDX header on every new file (`+AGPL-3.0-or-later+`).
+* Run `+just hello+` and any other examples added before opening the PR.
+* If you’re touching the face transformer, open the PR against
+https://github.com/hyperpolymath/affinescript[affinescript], not here.
+
+=== Code of conduct
+
+See `+CODE_OF_CONDUCT.md+` (TBD; for now follow the affinescript code of
+conduct).

CODE_OF_CONDUCT.md

@@ -0,0 +1,60 @@
+== Governance
+
+=== Overview
+
+This project is governed by the following principles and structures to
+ensure transparent, inclusive, and effective decision-making.
+
+=== Roles and Responsibilities
+
+==== Maintainers
+
+Maintainers are responsible for: - Reviewing and merging pull requests -
+Managing releases and versioning - Ensuring code quality and standards -
+Triaging issues and bug reports - Community engagement and support
+
+==== Contributors
+
+Contributors are expected to: - Follow the code of conduct - Submit
+well-documented pull requests - Write tests for new functionality -
+Maintain existing tests - Update documentation as needed
+
+=== Decision Making
+
+==== Minor Changes
+
+* Can be made by any maintainer
+* Include bug fixes, documentation updates, dependency updates
+
+==== Major Changes
+
+* Require discussion in issues or pull requests
+* Include new features, architectural changes, API changes
+* Need approval from at least 2 maintainers
+
+==== Breaking Changes
+
+* Require RFC (Request for Comments) process
+* Need approval from majority of maintainers
+* Must include migration guide
+
+=== Code of Conduct
+
+All participants are expected to follow our Code of Conduct. Violations
+can be reported to the maintainers.
+
+=== Communication
+
+* *Issues*: For bug reports and feature requests
+* *Discussions*: For questions and general discussion
+* *Pull Requests*: For code contributions
+
+=== Licensing
+
+All contributions are made under the terms of the repository’s LICENSE
+file. By submitting a pull request, you agree to license your
+contributions accordingly.
+
+'''''
+
+_Last updated: 2026-07-18_