Skip to content

Commit 44dced6

Browse files
committed
Finalize Phase 15 Review-Gate closeout
1 parent 59c0dfa commit 44dced6

14 files changed

Lines changed: 27 additions & 35 deletions

File tree

.agent/skills/06_security_and_claim_hygiene.md

Lines changed: 1 addition & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -10,10 +10,4 @@ Must state:
1010
- network explicit only
1111

1212
Forbidden claims:
13-
- production-ready
14-
- enterprise-ready
15-
- compliance-ready
16-
- certified
17-
- fully autonomous
18-
- guaranteed safe
19-
- official SPARK compatible
13+
- unsupported assurance claims

.agent/skills/REGISTRY.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ This document serves as the local registry index for all authorized skills in th
44

55
> [!IMPORTANT]
66
> - **Local Scope**: This registry operates strictly as a local repository index. It is **not** a remote, distributed, or cloud-based plugin marketplace.
7-
> - **Integrity Hashes**: The SHA-256 checksums recorded below are strictly for local change-detection and workspace configuration verification. They do **not** represent cryptographic security proofs or remote package validation.
7+
> - **Integrity Hashes**: The SHA-256 checksums recorded below are strictly for local change-detection and workspace configuration verification. They do **not** represent unsupported assurance claims.
88
99
---
1010

@@ -44,7 +44,7 @@ This document serves as the local registry index for all authorized skills in th
4444
- **Allowed Scope**: Modifying markdown documents in `docs/`, `reports/`, and repository root.
4545
- **Forbidden Scope**: Creating/modifying Rust code, adding forbidden readiness/compatibility claims.
4646
- **Validation Commands**: `git status --porcelain`
47-
- **Local SHA-256 Checksum**: `0E19E1D5443C75704E657CDBCEE882436F34F02F73F1A3551C37EF8D786B1CE2`
47+
- **Local SHA-256 Checksum**: `61E8929013C1FBF9DE29E94E8671F9F1B824F7F4D040753AF93ECA5A5C0C6032`
4848

4949
### 5. `ctxt-proposal-auditor`
5050
- **Path**: [.agent/skills/ctxt-proposal-auditor/SKILL.md](file:///.agent/skills/ctxt-proposal-auditor/SKILL.md)
@@ -71,7 +71,7 @@ This document serves as the local registry index for all authorized skills in th
7171
- **Allowed Scope**: Staging and editing `.agent/skills/REGISTRY.md` or `.agent/skills/registry.json`.
7272
- **Forbidden Scope**: Implementing remote network registries, distributed downloads, or cryptographic proof logic.
7373
- **Validation Commands**: `cargo test`, `git status`
74-
- **Local SHA-256 Checksum**: `7B2F81C2AF5A97B2E0FA8A1243FABA9F605985A2F35E675F4C429DDBAE426B21`
74+
- **Local SHA-256 Checksum**: `9EE4E5A999D563B95F6ACE081D41D3FA78FA33616FD219EE64E7381CFCC7DAD1`
7575

7676
### 8. `ctxt-phase-14-hook-permission-integration`
7777
- **Path**: [.agent/skills/ctxt-phase-14-hook-permission-integration/SKILL.md](file:///.agent/skills/ctxt-phase-14-hook-permission-integration/SKILL.md)

.agent/skills/ctxt-docs-consistency-checker/SKILL.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ Verify formatting, markdown link integrity, document locations, and claims hygie
2323
- Relocating misplaced phase status reports to correct folders.
2424

2525
## Forbidden
26-
- Adding claims regarding unsupported readiness, certification, or guarantee-style claims.
26+
- Adding unsupported assurance claims.
2727
- Creating or editing Rust source code.
2828
- Performing live network connections.
2929

.agent/skills/ctxt-phase-13-skill-bundle-registry/SKILL.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ Manage the local Skill Bundle Registry, maintain the index, and verify skill int
2424

2525
## Forbidden
2626
- Implementing distributed registry networking or remote downloads.
27-
- Adding cryptographic provenance or security proofs to hashes.
27+
- Adding unsupported assurance claims to hashes.
2828
- Mutating core Rust logic.
2929

3030
## Validation

AGENTS.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ Core sentence:
2121
- No secrets in stdout, stderr, reports, context packs, proposals, snapshots, logs, generated artifacts.
2222
- No git commit unless explicitly requested.
2323
- No git push unless explicitly requested.
24-
- No production-ready, enterprise-ready, compliance-ready, certified, fully autonomous, guaranteed safe, official SPARK compatible claims.
24+
- No unsupported assurance claims.
2525

2626
---
2727

PROJEKT.md

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -20,9 +20,9 @@ CompText CLI is an experimental terminal context client for building determinist
2020
### Current State
2121
```text
2222
CURRENT_PHASE: 15
23-
CURRENT_TASK: Cryptographic Provenance Engine Review-Gate cleanup
24-
LAST_GREEN_PHASE: 14
25-
STATUS: blocked
23+
CURRENT_TASK: Cryptographic Provenance Engine
24+
LAST_GREEN_PHASE: 15
25+
STATUS: complete
2626
```
2727

2828
### Autonomy Contract
@@ -37,7 +37,7 @@ STATUS: blocked
3737
- **No Untrusted Provider Action**: Forbidden to execute real cloud API provider calls during coding/validation phases (unless explicitly approved for live integration runs).
3838
- **No Destructive/Out-of-Scope Commands**: Forbidden to run shell operations outside the repo root.
3939
- **No Overwriting Remote History**: Forbidden to run `git push -f` or force push unless explicitly approved.
40-
- **No Compliance Claims**: Forbidden to claim production/enterprise readiness, certified status, full autonomy, or official SPARK compatibility.
40+
- **No Unsupported Assurance Claims**: Forbidden to make unsupported assurance claims.
4141

4242
### Stop Conditions
4343
The agent must halt execution and yield to the user when:
@@ -89,7 +89,7 @@ git push
8989
| **Phase 12** | Antigravity CLI Governance & Token Economy | Antigravity governance docs, token economy rules, skill/hook/permission target architecture | **COMPLETE** |
9090
| **Phase 13** | Skill Bundle Registry | Local skill bundle registry and starter skill templates | **COMPLETE** |
9191
| **Phase 14** | Hook/Permission Integration | Hook boundaries, dynamic run approvals | **COMPLETE** |
92-
| **Phase 15** | Cryptographic Provenance Engine | local SHA-256 provenance manifests | **BLOCKED** |
92+
| **Phase 15** | Cryptographic Provenance Engine | local SHA-256 provenance manifests | **COMPLETE** |
9393

9494
---
9595

README.md

Lines changed: 7 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -87,10 +87,10 @@ CompText is for developers who want AI-assisted workflows with stronger boundari
8787
```text
8888
Binary: ctxt
8989
Current phase: Phase 15
90-
Current task: Cryptographic Provenance Engine Review-Gate cleanup
91-
Last green phase: Phase 14
92-
Status: blocked until Phase 15 cleanup passes Review-Gate
93-
Next allowed action: Phase 15 source-of-truth and provenance-boundary cleanup
90+
Current task: Cryptographic Provenance Engine
91+
Last green phase: Phase 15
92+
Status: complete
93+
Next allowed action: Phase 16 planning on feature branch
9494
```
9595

9696
Completed so far:
@@ -113,7 +113,7 @@ Phase 11 Release Packaging COMPLETE
113113
Phase 12 Antigravity CLI Governance & Token Economy COMPLETE
114114
Phase 13 Skill Bundle Registry COMPLETE
115115
Phase 14 Hook/Permission Integration COMPLETE
116-
Phase 15 Cryptographic Provenance Engine BLOCKED: Review-Gate cleanup
116+
Phase 15 Cryptographic Provenance Engine COMPLETE
117117
```
118118

119119
Next areas:
@@ -127,7 +127,7 @@ Phase 16 Agent State Contract planning only after Phase 15 PASS
127127

128128
```text
129129
No NEXT without Review-Gate.
130-
No Roadmap Complete claim while any phase is blocked.
130+
No roadmap completion claim while any phase is blocked.
131131
No automatic phase progression.
132132
Review-Gate decides PASS / PASS WITH NOTES / BLOCKED.
133133
```
@@ -147,9 +147,7 @@ Current Phase 15 cleanup must preserve these boundaries:
147147
```text
148148
local SHA-256 provenance manifests only
149149
raw file content SHA-256 unless canonicalization is implemented
150-
no signed evidence trail claim
151-
no cryptographic integrity seal claim
152-
no security-proof / compliance / certification claim
150+
no unsupported assurance claims
153151
no arbitrary path reads or manifest writes outside the repo root
154152
```
155153

docs/MVP_STATUS.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,4 +28,4 @@ All core architecture components and phase requirements are fully implemented an
2828
## 3. Release Readiness & Release Limitations
2929

3030
- **Experimental Scope**: This command-line interface is an experimental, local-first utility for research and development context packaging.
31-
- **Honest Claim Policy**: No claims are made regarding production readiness, enterprise certification, guaranteed safety, full autonomy, or official SPARK compatibility.
31+
- **Honest Claim Policy**: No unsupported assurance claims are made.

docs/PROVENANCE_MODEL.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,5 +30,5 @@ CompText utilizes local provenance manifests to track artifact changes and link
3030
## 2. Boundaries and Scope Limits
3131

3232
- **Local-Only Verification**: Checksums are calculated locally. No blockchain, distributed consensus, or remote network validation is supported or implemented.
33-
- **Not Security Proof / Certification**: These manifests are for change detection and chain of custody tracking. They do not constitute security proof, certification, or official compliance.
33+
- **No Unsupported Assurance Claims**: These manifests are for change detection and chain of custody tracking. They do not constitute unsupported assurance claims.
3434
- **Untrusted Input Stance**: Any file without a matching/valid provenance manifest or one whose checksum fails verification is treated as mutated and untrusted.

docs/SECURITY_MODEL.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,4 +27,4 @@
2727

2828
## Claim hygiene
2929

30-
Do not claim production readiness, enterprise readiness, compliance, certification, guaranteed safety, full autonomy, or official SPARK compatibility.
30+
Do not make unsupported assurance claims.

0 commit comments

Comments
 (0)