From 56fa26acc85fe7e823eb2543b31d6849d2f5f710 Mon Sep 17 00:00:00 2001 From: "Timothy J. Aveni" Date: Sun, 13 Sep 2026 22:07:18 -0700 Subject: [PATCH] Unify workspace authoring, verification and scaffolding workflows Use exact jj snapshots and one candidate-bound Nix builder for incremental checks, template validation and activation. Keep provenance internal and separate recovery checkpoint failures from local command success. Provision workspace-scoped managed package/interface repositories with recoverable Central effects. Add TypeScript/React presets, function and dependency commands, and scaffold enrollment for all TODO packages. Install authoring guides and controlled Codex sandbox rules. Invalidate module resolutions across cutover, including in-flight races, and content-address host platform entries. Strengthen domain-model and verification instructions. Validated real jj/Nix authoring, React/Slate dependency installation, bottom-up local Git publication, packaged CLI tests, PostgreSQL recovery/auth tests, Web Studio tests and host configuration. Public protocol/helpers and the validated 19-resource TODO template are published. Retained the approved exact private baseline and updated the installation's default template pin to 68d54f0d52be433ebf60bdc1faf7646c57f90307. Master and live deployments remain unchanged. See docs/WORKSPACE_AUTHORING_PROGRESS.md. --- checked-package.nix | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 checked-package.nix diff --git a/checked-package.nix b/checked-package.nix deleted file mode 100644 index 8e82ae6..0000000 --- a/checked-package.nix +++ /dev/null @@ -1,13 +0,0 @@ -# The caller has compiled this package and its exact recursive candidate graph. -# No credentials, mutable references, or workspace-wide unrelated schema enter -# the package derivation. Ordinary #server builds are not promotion evidence. -{ source, schema, generator, packageRevisionId, system ? builtins.currentSystem }: -let - package = builtins.getFlake ("path:" + source); - checked = package.quixosPackages.${system}.checkedServer or - (throw "Package ${packageRevisionId} lacks checkedServer. Upgrade its Nix helper and adopt generated implementation bindings before cutover."); -in checked { - inherit packageRevisionId; - schema = builtins.path { path = /. + schema; name = "candidate-package-bindings.json"; }; - generator = builtins.storePath generator; -}