Fix entry cache and add artifact size evidence

Author: a19q3

AGENTS.md

@@ -77,7 +77,7 @@ inside `preserve` blocks and asks authors to write an explicit whitelist.
 | Track | Status | Implementation / evidence | Release gate |
 |---|---|---|---|
 | Canonical action / lock surface | Done for this slice | Parser, formatter, examples, wiki, VS Code grammar/snippets, and syntax-combo accepted cases use `verification` and action-level `transition`. | `scripts/cellscript_syntax_combo_audit.sh quick/ci/deep`; VS Code validate and dry-run in the release gate. |
-| `verification` section boundary | Done for this slice | `verification` replaces `where` in public examples and editor snippets; lifecycle statements remain proof obligations, not runtime execution. | Syntax-combo parser, formatter, type/effect, metadata, and codegen oracles. |
+| `verification` section boundary | Done for this slice | Public examples and editor snippets use `verification`; lifecycle statements remain proof obligations, not runtime execution. | Syntax-combo parser, formatter, type/effect, metadata, and codegen oracles. |
 | Local sugar expansion | Done for this slice | `preserve` and anonymous `require { ... }` are checked against canonical field equality and pure-boolean grouping rules. | Required bug classes `SCA-BUG-PRESERVE-TYPE-EQUIVALENCE` and `SCA-BUG-REQUIRE-BLOCK-PURITY`. |
 | Stdlib lifecycle helper boundary | Done for this slice | `std::lifecycle::*` and `std::receipt::*` helpers must validate arity/cell kind and lower to consume/create/locked-output obligations. | Required bug classes `SCA-BUG-STD-LIFECYCLE-LOCKED-OUTPUT`, `SCA-BUG-STDLIB-ARGUMENT-VALIDATION`, and `SCA-BUG-RECEIPT-LIFECYCLE-OUTPUT`. |
 | Source qualifier linearity | Done for this slice | `read`, `protected`, `witness`, and `lock_args` bindings cannot be consumed, destroyed, or hidden behind stdlib lifecycle calls. | Required bug classes `SCA-BUG-SOURCE-QUALIFIER-LINEARITY` and `SCA-BUG-DEEP-READ-STDLIB-LIFECYCLE`. |

docs/CELLSCRIPT_GRAMMAR_GOVERNANCE_RFC.md

@@ -112,7 +112,7 @@ transaction, the wiki says so.
 The fastest way to get oriented is to compile the token example:
 
 ```bash
-git clone https://github.com/a19q3/CellScript.git
+git clone https://github.com/CellScript-Labs/CellScript.git
 cd CellScript
 ./scripts/cellscript_gate.sh dev
 cargo run --locked --bin cellc -- examples/token.cell --target riscv64-elf --target-profile ckb --primitive-strict 0.16 -o /tmp/token.elf
@@ -165,7 +165,7 @@ production-ready.
 
 ## Reference Examples
 
-- [CKB hashing workflow](https://github.com/a19q3/CellScript/blob/main/docs/examples/ckb_hashing.md)
-- [Collections matrix](https://github.com/a19q3/CellScript/blob/main/docs/examples/collections_matrix.md)
-- [Deployment manifest](https://github.com/a19q3/CellScript/blob/main/docs/examples/deployment_manifest.md)
-- [Output append](https://github.com/a19q3/CellScript/blob/main/docs/examples/output_append.md)
+- [CKB hashing workflow](https://github.com/CellScript-Labs/CellScript/blob/main/docs/examples/ckb_hashing.md)
+- [Collections matrix](https://github.com/CellScript-Labs/CellScript/blob/main/docs/examples/collections_matrix.md)
+- [Deployment manifest](https://github.com/CellScript-Labs/CellScript/blob/main/docs/examples/deployment_manifest.md)
+- [Output append](https://github.com/CellScript-Labs/CellScript/blob/main/docs/examples/output_append.md)

docs/wiki/Home.md

@@ -17,7 +17,7 @@ need an external RISC-V toolchain for the built-in assembler path used here.
 Start by cloning the repository and running the test suite:
 
 ```bash
-git clone https://github.com/a19q3/CellScript.git
+git clone https://github.com/CellScript-Labs/CellScript.git
 cd CellScript
 cargo test --locked
 ```
@@ -113,5 +113,5 @@ That fail-closed behavior is intentional.
 ## Next
 
 Once you can compile and verify one file, continue with
-[Language Basics](https://github.com/a19q3/CellScript/wiki/Tutorial-02-Language-Basics). The next chapter explains
+[Language Basics](https://github.com/CellScript-Labs/CellScript/wiki/Tutorial-02-Language-Basics). The next chapter explains
 what you are looking at inside a `.cell` file.

docs/wiki/Tutorial-01-Getting-Started.md

@@ -499,5 +499,5 @@ ordinary line comments and block comments are not retained by `cellc fmt`.
 ## Next
 
 With the source shape in mind, continue with
-[Resources and Cell Effects](https://github.com/a19q3/CellScript/wiki/Tutorial-03-Resources-and-Cell-Effects). If a
-CKB term is unclear, use the [CKB Glossary](https://github.com/a19q3/CellScript/wiki/CKB-Glossary).
+[Resources and Cell Effects](https://github.com/CellScript-Labs/CellScript/wiki/Tutorial-03-Resources-and-Cell-Effects). If a
+CKB term is unclear, use the [CKB Glossary](https://github.com/CellScript-Labs/CellScript/wiki/CKB-Glossary).

docs/wiki/Tutorial-02-Language-Basics.md

@@ -323,7 +323,7 @@ closed.
 ## Next
 
 After you know how values move, continue with
-[Action Model and 0.13 Syntax](https://github.com/a19q3/CellScript/wiki/Tutorial-09-Action-Model-and-0-13-Syntax)
+[Action Model and 0.13 Syntax](https://github.com/CellScript-Labs/CellScript/wiki/Tutorial-09-Action-Model-and-0-13-Syntax)
 for a deeper walkthrough of signature-direction actions, then use
-[Cookbook Recipes](https://github.com/a19q3/CellScript/wiki/Cookbook-Recipes)
+[Cookbook Recipes](https://github.com/CellScript-Labs/CellScript/wiki/Cookbook-Recipes)
 for small copyable patterns.

docs/wiki/Tutorial-03-Resources-and-Cell-Effects.md

@@ -323,4 +323,4 @@ fail-closed.
 ## Next
 
 With a repeatable package workflow in place, continue with
-[CKB Target Profiles](https://github.com/a19q3/CellScript/wiki/Tutorial-05-CKB-Target-Profiles).
+[CKB Target Profiles](https://github.com/CellScript-Labs/CellScript/wiki/Tutorial-05-CKB-Target-Profiles).

docs/wiki/Tutorial-04-Packages-and-CLI-Workflow.md

@@ -122,4 +122,4 @@ You can think of the layers like this:
 ## Next
 
 After choosing a profile, continue with
-[Metadata, Verification, and Production Gates](https://github.com/a19q3/CellScript/wiki/Tutorial-06-Metadata-Verification-and-Production-Gates).
+[Metadata, Verification, and Production Gates](https://github.com/CellScript-Labs/CellScript/wiki/Tutorial-06-Metadata-Verification-and-Production-Gates).

docs/wiki/Tutorial-05-CKB-Target-Profiles.md

@@ -312,4 +312,4 @@ not external production release evidence.
 ## Next
 
 Once the verification boundary is clear, continue with
-[LSP and Tooling](https://github.com/a19q3/CellScript/wiki/Tutorial-07-LSP-and-Tooling).
+[LSP and Tooling](https://github.com/CellScript-Labs/CellScript/wiki/Tutorial-07-LSP-and-Tooling).

docs/wiki/Tutorial-06-Metadata-Verification-and-Production-Gates.md

@@ -227,4 +227,4 @@ profiles as future-facing or fail-closed.
 ## Next
 
 With the tooling loop in place, continue with
-[Bundled Example Contracts](https://github.com/a19q3/CellScript/wiki/Tutorial-08-Bundled-Example-Contracts).
+[Bundled Example Contracts](https://github.com/CellScript-Labs/CellScript/wiki/Tutorial-08-Bundled-Example-Contracts).