Spaces:
Running
Running
deploy(hf): sync szl-holdings/a11oy@75ca0315c78d48e03cb290bebc85dabd196ea4d1 derived COPY set
Browse filesReusable Dockerfile-COPY-derived deploy from szl-holdings/a11oy 75ca0315c78d48e03cb290bebc85dabd196ea4d1.
Files: 1179 Pruned: 0
Derived from Dockerfile COPY sources (NO hand-maintained allowlist).
Signed-off-by: SZL Holdings <noreply@szlholdings.ai>
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
- README.md +12 -8
- policy/colang/enforcement-contract.json +8 -0
README.md
CHANGED
|
@@ -189,17 +189,21 @@ python3 .github/shared-module-hash-check.py --update
|
|
| 189 |
|
| 190 |
## Governed Delta Workspace
|
| 191 |
|
| 192 |
-
> Runtime status
|
| 193 |
-
>
|
| 194 |
-
>
|
| 195 |
-
>
|
| 196 |
-
>
|
| 197 |
-
>
|
|
|
|
|
|
|
|
|
|
|
|
|
| 198 |
|
| 199 |
> GDW Frontier Push Pack is a MODELED instrumentation and verification extension for the Governed Delta Workspace. It provides load testing, operator validation, hybrid scheduling research hooks, KDA-vs-MLA memory benchmarking, and Lean-oriented proof export. It does not claim frontier benchmark superiority, proprietary activation access, or production-scale guarantees beyond the measured harness outputs.
|
| 200 |
|
| 201 |
-
The
|
| 202 |
-
benchmark, proof-input bridge, and
|
| 203 |
[`docs/gdw-frontier.md`](docs/gdw-frontier.md). A checked theorem is reported
|
| 204 |
separately from an exported theorem input, and every throughput result is scoped
|
| 205 |
to its captured run.
|
|
|
|
| 189 |
|
| 190 |
## Governed Delta Workspace
|
| 191 |
|
| 192 |
+
> Runtime write status is configuration-bound. GDW reports `REAL` only when its
|
| 193 |
+
> secret-managed credential registry, canonical governance gates, verified
|
| 194 |
+
> persistent storage, exact schema, and a fresh generation-bound supervised
|
| 195 |
+
> outbox pass are ready.
|
| 196 |
+
> Otherwise it reports `UNAVAILABLE` and writes fail closed.
|
| 197 |
+
>
|
| 198 |
+
> The public deployment remains `UNAVAILABLE` until this corrective source is
|
| 199 |
+
> protected-merged, exact-source relocked, and the production credential and
|
| 200 |
+
> persistence contracts are observed live. Source tests are not deployment
|
| 201 |
+
> evidence.
|
| 202 |
|
| 203 |
> GDW Frontier Push Pack is a MODELED instrumentation and verification extension for the Governed Delta Workspace. It provides load testing, operator validation, hybrid scheduling research hooks, KDA-vs-MLA memory benchmarking, and Lean-oriented proof export. It does not claim frontier benchmark superiority, proprietary activation access, or production-scale guarantees beyond the measured harness outputs.
|
| 204 |
|
| 205 |
+
The authenticated runtime, Postman collection, load tools, offline dashboard,
|
| 206 |
+
memory benchmark, proof-input bridge, and fail-closed readiness conditions are documented in
|
| 207 |
[`docs/gdw-frontier.md`](docs/gdw-frontier.md). A checked theorem is reported
|
| 208 |
separately from an exported theorem input, and every throughput result is scoped
|
| 209 |
to its captured run.
|
policy/colang/enforcement-contract.json
ADDED
|
@@ -0,0 +1,8 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"schema": "szl.colang-enforcement-contract/v1",
|
| 3 |
+
"evaluator_region_sha256": "f0ced8c0aaed4850f65bfa9d14e43c5a283e457de26b2ef1e3999383d653fc42",
|
| 4 |
+
"policy_files": {
|
| 5 |
+
"killinchu_threat.co": "3c47dfd730d738f1ce0b722b5ccc21fb12dda70ccb288043ffe10b78479df9c2",
|
| 6 |
+
"roe_core.co": "77598deb89c4bebeb3682b30a0a01fcebc73a089183fa0a9a2877ad1fd732984"
|
| 7 |
+
}
|
| 8 |
+
}
|