Skip to content

Commit da4f70f

Browse files
committed
Refresh proof hygiene for cleanup closeout
1 parent 0cfe116 commit da4f70f

4 files changed

Lines changed: 23 additions & 5 deletions

File tree

contract_artifacts.yml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,12 +9,12 @@ artifacts:
99
producer_repo_ref: repo://nshkrdotcom/ground_plane
1010
producer_path: /home/home/p/g/n/ground_plane
1111
source_ref: main
12-
source_sha: b75e3d4f319bcd8eeff42e0a6599a44352eda964
12+
source_sha: 0ddb2f86c063ebd2eae0ef5832119c55f861c5d5
1313
build_command: mix ci
1414
status: deprecated
1515
successor: ground_plane_contracts
1616
consumers:
17-
notes: Phase A narrow repo-ref artifact retained as deprecated history. Source SHA refreshed after AX Phase 6 ground-plane ledger validation.
17+
notes: Phase A narrow repo-ref artifact retained as deprecated history. Source SHA refreshed after NSHKR cleanup Phase 6 ground-plane ledger validation.
1818

1919
- name: stack_lab_gn_ten_manifest
2020
artifact_ref: artifact://nshkrdotcom/stack_lab/stack_lab_gn_ten_manifest
@@ -37,7 +37,7 @@ artifacts:
3737
producer_repo_ref: repo://nshkrdotcom/ground_plane
3838
producer_path: /home/home/p/g/n/ground_plane
3939
source_ref: main
40-
source_sha: b75e3d4f319bcd8eeff42e0a6599a44352eda964
40+
source_sha: 0ddb2f86c063ebd2eae0ef5832119c55f861c5d5
4141
build_command: mix ci
4242
status: stable
4343
consumers:
@@ -48,7 +48,7 @@ artifacts:
4848
- mezzanine
4949
- app_kit
5050
- stack_lab
51-
notes: Universal primitive, repo/artifact reference, and persistence policy contracts. Promoted stable in Phase K after Phase F primitive promotion and refreshed after AX Phase 6 ground-plane ledger validation.
51+
notes: Universal primitive, repo/artifact reference, and persistence policy contracts. Promoted stable in Phase K after Phase F primitive promotion and refreshed after NSHKR cleanup Phase 6 ground-plane ledger validation.
5252

5353
- name: execution_plane
5454
artifact_ref: artifact://nshkrdotcom/execution_plane/execution_plane

guides/router_fabric.md

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,3 +26,15 @@ mix test examples/trinity_platform_roundtrip
2626
mix test examples/gepa_platform_roundtrip
2727
mix gn_ten.proofs.validate --json
2828
```
29+
30+
For JSON receipts that are redirected or parsed by automation, precompile the
31+
proof package first. A cold Mix invocation may print dependency compilation
32+
lines before the task runs, so the release-readiness command shape is:
33+
34+
```bash
35+
cd examples/nshkr_router_fabric_roundtrip
36+
MIX_ENV=test mix deps.get
37+
MIX_ENV=test mix compile --quiet
38+
MIX_ENV=test mix stack_lab.nshkr.router_fabric.roundtrip --json > /tmp/router_fabric_receipt.json
39+
jq -e '.status == "pass" and .scanner_receipts.router_fabric.status == "pass"' /tmp/router_fabric_receipt.json
40+
```

guides/stacklab_acceptance.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -22,3 +22,9 @@ mix gn_ten.proofs.validate --json
2222
mix gn_ten.artifacts.validate --json
2323
mix weld.verify
2424
```
25+
26+
`mix gn_ten.artifacts.validate --json` must have zero failures before a release
27+
claim closes. Bootstrap artifact rows may report stale-source warnings while
28+
their owner packages are still pre-release; those warnings are evidence to
29+
carry forward, not release blockers. Stable or deprecated artifacts must be
30+
refreshed or demoted before closeout.

proof_matrix.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -697,7 +697,7 @@ proofs:
697697
contract_family: "300 architecture"
698698
status: implemented
699699
profile: assembled_offline
700-
command: cd examples/nshkr_router_fabric_roundtrip && mix stack_lab.nshkr.router_fabric.roundtrip --json
700+
command: cd examples/nshkr_router_fabric_roundtrip && MIX_ENV=test mix compile --quiet && MIX_ENV=test mix stack_lab.nshkr.router_fabric.roundtrip --json
701701
fixture: examples/nshkr_router_fabric_roundtrip
702702
receipt: receipt://stack_lab/nshkr_router_fabric_roundtrip/latest
703703
proves:

0 commit comments

Comments
 (0)