Skip to content

Commit 3c7dcf6

Browse files
committed
feat: generalize registry to verified artifacts
1 parent 4d1228b commit 3c7dcf6

29 files changed

Lines changed: 3120 additions & 2196 deletions

‎crates/cellscript-tools/src/tooling_release.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -482,7 +482,7 @@ pub fn run(root: &Path) -> Result<()> {
482482
"tests/cli.rs",
483483
&[
484484
"cellc_rejects_registry_dependency_without_namespace",
485-
"cellc_build_resolves_registry_dependency_and_writes_phase1_lockfile",
485+
"cellc_build_resolves_artifact_api_dependency_and_writes_lockfile",
486486
"cellc_auth_namespace_claim_posts_signed_capability_payload_to_registry_api",
487487
"cellc_install_path_updates_lockfile_and_remove_prunes_it",
488488
"cellc_fmt_subcommand_formats_sources",
@@ -495,7 +495,7 @@ pub fn run(root: &Path) -> Result<()> {
495495
root,
496496
"tests/registry.rs",
497497
&[
498-
"package_manager_resolves_registry_dependency_with_source_hash_from_local_git_fixture",
498+
"package_manager_resolves_artifact_api_dependency_with_source_hash",
499499
"package_manager_persists_unverified_registry_policy_in_dependency_manifest",
500500
"package_manager_rejects_registry_source_hash_mismatch",
501501
"lockfile_consistency_accepts_matching_registry_source",

‎docs/CELLSCRIPT_GATE_POLICY.md‎

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -57,10 +57,12 @@ coverage.
5757

5858
The `ci` gate also typechecks/tests `services/registry-api`, builds both Node
5959
entrypoints, performs its Wrangler dry-run build, and runs tests and clippy for
60-
the independent real-compiler Registry verifier crate. `dev` at least checks that
61-
verifier crate. This pins the publish contract, additive queue migration,
62-
worker boundary, and database/static-object shape to the compiler-generated
63-
registry entry. It is local service coverage, not evidence
60+
the independent real-compiler Registry verifier crate. `dev` at least checks
61+
that verifier crate. This pins the single `/v1/artifacts` contract, orthogonal
62+
verification/deployment/availability states, generic artifact bundles,
63+
mainnet deployment evidence, additive migrations, worker boundary, and
64+
database/static-object shape to the CLI-generated Registry entry. It is local
65+
service coverage, not evidence
6466
that Cloudflare, R2, Hyperdrive, Neon, DNS, or a production deployment works.
6567
The CLI coverage includes the explicit first-publish admission sequence:
6668
`cellc auth capability submit`, `cellc auth namespace claim`, then

‎docs/CELLSCRIPT_PACKAGE_PROVENANCE_AND_DEPLOYMENT_IDENTITY.md‎

Lines changed: 8 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -709,15 +709,13 @@ token = { version = "0.3.0", namespace = "cellscript" }
709709
Running `cellc build` triggers dependency resolution:
710710

711711
1. Read `Cell.toml` `[dependencies]` → find `token` with `namespace = "cellscript"`.
712-
2. Query `https://api.registry.cellscript.dev/v1/packages/cellscript/token` and
713-
select the latest version whose public status is eligible for ordinary
714-
resolution.
715-
3. Read the accepted source repository, tag, source hash, Edition, and
716-
compatibility-profile identity from that public record.
717-
4. Clone the source repo at the accepted tag (e.g., `v0.3.2`).
718-
5. Read `registry.json` from the cloned repo and require its package/version,
719-
tag, source hash, Edition, and profile hash to match the accepted record.
720-
6. Verify the checked-out source tree against `source_hash`.
712+
2. Query `https://api.registry.cellscript.dev/v1/artifacts/cellscript/token`.
713+
3. Require the `cellscript_source` profile and `dependency` consumption mode,
714+
then select an eligible verified release.
715+
4. Download its immutable source snapshot from the static Registry origin.
716+
5. Verify the snapshot object identity, package coordinate, file hashes,
717+
Edition, compatibility-profile identity, and whole-tree source hash.
718+
6. Materialize the verified source into the dependency cache.
721719
7. Parse the dependency's `Cell.toml` → resolve transitive dependencies.
722720
8. Write `Cell.lock` with resolved versions and git provenance.
723721

@@ -967,7 +965,7 @@ source → build → deployment, all bound by cryptographic hashes in
967965
Public Registry API Source Repository
968966
(accepted status) (github.com/cellscript/amm_pool)
969967
┌─────────────────┐ ┌──────────────────────────────────┐
970-
│ /v1/packages/ │ │ Cell.toml │
968+
│ /v1/artifacts/ │ │ Cell.toml │
971969
│ cellscript/ │──────►│ registry.json ← offline mirror │
972970
│ amm_pool │ │ src/ │
973971
└─────────────────┘ │ Cell.lock ← cellc build │

‎docs/CELLSCRIPT_REGISTRY_PHASE1.md‎

Lines changed: 172 additions & 626 deletions
Large diffs are not rendered by default.

‎docs/CELLSCRIPT_REGISTRY_PRODUCTION_BOUNDARY_ADR.md‎

Lines changed: 201 additions & 472 deletions
Large diffs are not rendered by default.

‎docs/README.md‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -117,8 +117,8 @@ to current branch-specific evidence or forward design:
117117
- `CELLSCRIPT_GRAMMAR_GOVERNANCE_RFC.md` and
118118
`CELLSCRIPT_SYNTAX_COMBO_AUDIT_METHODOLOGY.md` for 0.19 grammar/syntax
119119
governance scope
120-
- `CELLSCRIPT_REGISTRY_PHASE1.md` for the 0.19 package/deployment identity
121-
registry closure and 0.20 handoff boundary
120+
- `CELLSCRIPT_REGISTRY_PHASE1.md` for the current artifact, verification,
121+
deployment-evidence, and public API contract
122122
- `archive/0.20/CELLSCRIPT_0_20_ROADMAP.md` for generated TypeScript action builders,
123123
live-chain registry verification, stateful flow evidence, and the bounded
124124
CellFabric JSON bridge

‎docs/releases/CELLSCRIPT_0_23_RELEASE_NOTES.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -284,7 +284,7 @@ Deployed Registry liveness and public read verification:
284284

285285
```bash
286286
curl --fail --silent --show-error https://api.registry.cellscript.dev/ready
287-
curl --fail --silent --show-error 'https://api.registry.cellscript.dev/v1/packages?limit=5'
287+
curl --fail --silent --show-error 'https://api.registry.cellscript.dev/v1/artifacts?limit=5'
288288
curl --fail --silent --show-error https://registry.cellscript.dev/health
289289
curl --fail --silent --show-error https://cellscript.dev/registry/ > /dev/null
290290
```

‎docs/wiki/Home.md‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -92,8 +92,8 @@ If you already know what you need, jump directly:
9292
11. [Scoped Invariants and ProofPlan](Tutorial-11-Scoped-Invariants-and-ProofPlan.md):
9393
inspect 0.15 invariant trigger/scope/read metadata and understand
9494
metadata-only ProofPlan gaps.
95-
12. [Phase 1 Registry: End-to-End](Tutorial-12-Phase1-Registry-End-to-End.md):
96-
follow the registry package flow from init through verification.
95+
12. [Registry Artifacts: End-to-End](Tutorial-12-Phase1-Registry-End-to-End.md):
96+
publish and inspect CellScript and non-CellScript artifacts.
9797
13. [Agentic Loops and cellscript-mcp](Tutorial-13-Agentic-Loops-and-cellscript-mcp.md):
9898
drive the read-oriented compiler surface from an automated writer in a
9999
write -> check -> explain -> fix loop.

0 commit comments

Comments
 (0)