owlrunkit 0.19.1 → 0.20.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +52 -0
- package/README.md +107 -3
- package/docs/architecture/OWLCODA_RUNKIT_0191_PROFILE_RECONCILE_PATCH_PRODUCT_DECISION_20260813.md +11 -5
- package/docs/architecture/OWLCODA_RUNKIT_0192_FORMAL_USABILITY_PRODUCT_DECISION_20260813.md +141 -0
- package/docs/architecture/OWLCODA_RUNKIT_020_TEAM_DELIVERY_PHASE1_PRODUCT_DECISION_20260813.md +296 -0
- package/integrations/codex/skills/owlcoda-runkit/SKILL.md +74 -9
- package/integrations/codex/skills/owlcoda-runkit/assets/templates/config.json +3 -3
- package/package.json +1 -1
- package/packages/attest/distribution-manifest-v1.json +10 -0
- package/packages/attest/src/quick.mjs +42 -4
- package/registry-release-policy-v1.json +5 -5
- package/sbom.spdx.json +5 -5
- package/scripts/runkit-contract/core-contract.mjs +42 -2
- package/scripts/runkit-contract/efficiency-metrics.mjs +9 -7
- package/scripts/runkit-contract/formal-preflight.mjs +352 -0
- package/scripts/runkit-contract/formal-supplemental-evidence.mjs +713 -0
- package/scripts/runkit-contract/formal-workflow.mjs +529 -59
- package/scripts/runkit-contract/onboarding-doctor.mjs +32 -13
- package/scripts/runkit-contract/project-cli-resolver.mjs +33 -3
- package/scripts/runkit-contract/project-external-delivery.mjs +16 -9
- package/scripts/runkit-contract/quick-attest.mjs +24 -0
- package/scripts/runkit-contract/runkit-cli.mjs +445 -52
- package/scripts/runkit-contract/schemas/candidate-transfer-packet-v1.schema.json +98 -0
- package/scripts/runkit-contract/schemas/formal-check-v2.schema.json +231 -0
- package/scripts/runkit-contract/schemas/formal-envelope-preflight-v1.schema.json +212 -0
- package/scripts/runkit-contract/schemas/formal-evidence-summary-v1.schema.json +114 -0
- package/scripts/runkit-contract/schemas/formal-supplemental-evidence-v1.schema.json +103 -0
- package/scripts/runkit-contract/schemas/team-acceptance-packet-v2.schema.json +109 -0
- package/scripts/runkit-contract/schemas/team-delivery-status-v1.schema.json +72 -0
- package/scripts/runkit-contract/schemas/team-packet-validation-v1.schema.json +33 -0
- package/scripts/runkit-contract/schemas/team-project-event-v5.schema.json +89 -0
- package/scripts/runkit-contract/schemas/team-project-status-v3.schema.json +173 -0
- package/scripts/runkit-contract/schemas/team-recommendation-v1.schema.json +121 -0
- package/scripts/runkit-contract/schemas/team-task-packet-v2.schema.json +228 -0
- package/scripts/runkit-contract/snapshot.mjs +125 -5
- package/scripts/runkit-contract/source-candidate.mjs +271 -69
- package/scripts/runkit-contract/sync-release-identity.mjs +39 -4
- package/scripts/runkit-contract/team-delivery.mjs +906 -0
- package/scripts/runkit-contract/team-project-successor.mjs +7 -4
- package/scripts/runkit-contract/team-project.mjs +440 -28
- package/scripts/runkit-contract/usage-mode.mjs +9 -3
- package/scripts/runkit-contract/verification-envelope.mjs +425 -37
|
@@ -0,0 +1,98 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"$id": "https://owlcoda.com/schemas/runkit/candidate-transfer-packet-v1.schema.json",
|
|
4
|
+
"title": "OwlCoda RunKit Candidate Transfer Packet V1",
|
|
5
|
+
"type": "object",
|
|
6
|
+
"additionalProperties": false,
|
|
7
|
+
"required": [
|
|
8
|
+
"schemaVersion", "packetId", "projectBinding", "gateId", "workItemId",
|
|
9
|
+
"candidateId", "candidateSha256", "baseSha", "head", "branch", "worktree",
|
|
10
|
+
"dirtyManifestSha256", "patchBundleRef", "snapshotRef", "reconstructionRefs",
|
|
11
|
+
"protectedArtifacts", "previousOwner", "nextOwner", "lifecycle", "handoffAck",
|
|
12
|
+
"verificationStatus", "authorityBoundary", "authorizationGranted"
|
|
13
|
+
],
|
|
14
|
+
"properties": {
|
|
15
|
+
"schemaVersion": { "const": "OwlCodaRunKitCandidateTransferPacketV1" },
|
|
16
|
+
"packetId": { "$ref": "#/$defs/id" },
|
|
17
|
+
"projectBinding": { "$ref": "#/$defs/projectBinding" },
|
|
18
|
+
"gateId": { "$ref": "#/$defs/id" },
|
|
19
|
+
"workItemId": { "$ref": "#/$defs/id" },
|
|
20
|
+
"candidateId": { "$ref": "#/$defs/id" },
|
|
21
|
+
"candidateSha256": { "$ref": "#/$defs/sha256Ref" },
|
|
22
|
+
"baseSha": { "$ref": "#/$defs/gitRef" },
|
|
23
|
+
"head": { "$ref": "#/$defs/gitRef" },
|
|
24
|
+
"branch": { "$ref": "#/$defs/text" },
|
|
25
|
+
"worktree": { "$ref": "#/$defs/absolutePath" },
|
|
26
|
+
"dirtyManifestSha256": { "$ref": "#/$defs/sha256Ref" },
|
|
27
|
+
"patchBundleRef": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/artifactSha256Ref" }] },
|
|
28
|
+
"snapshotRef": { "$ref": "#/$defs/artifactSha256Ref" },
|
|
29
|
+
"reconstructionRefs": { "$ref": "#/$defs/nonemptyStrings" },
|
|
30
|
+
"protectedArtifacts": { "$ref": "#/$defs/strings" },
|
|
31
|
+
"previousOwner": { "$ref": "#/$defs/id" },
|
|
32
|
+
"nextOwner": { "$ref": "#/$defs/id" },
|
|
33
|
+
"lifecycle": { "enum": ["candidate_active", "transfer_requested", "packet_generated", "new_owner_validation", "handoff_ack", "old_writer_release"] },
|
|
34
|
+
"handoffAck": {
|
|
35
|
+
"type": "object",
|
|
36
|
+
"additionalProperties": false,
|
|
37
|
+
"required": ["status", "agent", "occurredAt", "evidenceRefs"],
|
|
38
|
+
"properties": {
|
|
39
|
+
"status": { "enum": ["pending", "accepted", "rejected"] },
|
|
40
|
+
"agent": { "$ref": "#/$defs/nullableText" },
|
|
41
|
+
"occurredAt": { "$ref": "#/$defs/nullableIsoUtc" },
|
|
42
|
+
"evidenceRefs": { "$ref": "#/$defs/strings" }
|
|
43
|
+
}
|
|
44
|
+
},
|
|
45
|
+
"verificationStatus": { "enum": ["source_candidate_unverified", "source_candidate_verified", "accepted", "rework_required"] },
|
|
46
|
+
"authorityBoundary": { "$ref": "#/$defs/authorityBoundary" },
|
|
47
|
+
"authorizationGranted": { "const": false }
|
|
48
|
+
},
|
|
49
|
+
"$defs": {
|
|
50
|
+
"id": { "type": "string", "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]*$" },
|
|
51
|
+
"text": { "type": "string", "minLength": 1 },
|
|
52
|
+
"nullableText": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/text" }] },
|
|
53
|
+
"nullableIsoUtc": { "oneOf": [{ "type": "null" }, { "type": "string", "pattern": "^\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}(?:\\.\\d{3})?Z$" }] },
|
|
54
|
+
"strings": { "type": "array", "uniqueItems": true, "items": { "$ref": "#/$defs/text" } },
|
|
55
|
+
"nonemptyStrings": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/text" } },
|
|
56
|
+
"sha256Ref": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
|
|
57
|
+
"artifactSha256Ref": { "type": "string", "pattern": "^artifact:sha256:[a-f0-9]{64}$" },
|
|
58
|
+
"gitRef": { "type": "string", "pattern": "^git:[a-f0-9]{40}([a-f0-9]{24})?$" },
|
|
59
|
+
"absolutePath": { "type": "string", "pattern": "^(?:/|[A-Za-z]:[\\\\/]|\\\\\\\\)" },
|
|
60
|
+
"projectBinding": { "type": "object", "additionalProperties": false, "required": ["projectId", "projectTruthHash"], "properties": { "projectId": { "$ref": "#/$defs/id" }, "projectTruthHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" } } },
|
|
61
|
+
"authorityBoundary": { "type": "object", "additionalProperties": false, "required": ["agentDispatch", "git", "release", "deployment", "production", "business", "automation", "money"], "properties": { "agentDispatch": { "const": false }, "git": { "const": false }, "release": { "const": false }, "deployment": { "const": false }, "production": { "const": false }, "business": { "const": false }, "automation": { "const": false }, "money": { "const": false } } }
|
|
62
|
+
},
|
|
63
|
+
"allOf": [{
|
|
64
|
+
"if": {
|
|
65
|
+
"properties": { "lifecycle": { "enum": ["handoff_ack", "old_writer_release"] } },
|
|
66
|
+
"required": ["lifecycle"]
|
|
67
|
+
},
|
|
68
|
+
"then": {
|
|
69
|
+
"properties": {
|
|
70
|
+
"handoffAck": {
|
|
71
|
+
"properties": {
|
|
72
|
+
"status": { "const": "accepted" },
|
|
73
|
+
"agent": { "$ref": "#/$defs/text" },
|
|
74
|
+
"occurredAt": { "type": "string", "pattern": "^\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}(?:\\.\\d{3})?Z$" },
|
|
75
|
+
"evidenceRefs": { "minItems": 1 }
|
|
76
|
+
}
|
|
77
|
+
}
|
|
78
|
+
}
|
|
79
|
+
}
|
|
80
|
+
}],
|
|
81
|
+
"examples": [{
|
|
82
|
+
"schemaVersion": "OwlCodaRunKitCandidateTransferPacketV1", "packetId": "transfer-packet-001",
|
|
83
|
+
"projectBinding": { "projectId": "team-phase1", "projectTruthHash": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa" },
|
|
84
|
+
"gateId": "ready", "workItemId": "work-1", "candidateId": "candidate-001",
|
|
85
|
+
"candidateSha256": "sha256:1111111111111111111111111111111111111111111111111111111111111111",
|
|
86
|
+
"baseSha": "git:2222222222222222222222222222222222222222", "head": "git:3333333333333333333333333333333333333333",
|
|
87
|
+
"branch": "codex/team-a", "worktree": "/workspace/team-a",
|
|
88
|
+
"dirtyManifestSha256": "sha256:4444444444444444444444444444444444444444444444444444444444444444",
|
|
89
|
+
"patchBundleRef": "artifact:sha256:5555555555555555555555555555555555555555555555555555555555555555",
|
|
90
|
+
"snapshotRef": "artifact:sha256:6666666666666666666666666666666666666666666666666666666666666666",
|
|
91
|
+
"reconstructionRefs": ["git:2222222222222222222222222222222222222222"], "protectedArtifacts": ["docs/contract.md"],
|
|
92
|
+
"previousOwner": "agent-a", "nextOwner": "agent-b", "lifecycle": "handoff_ack",
|
|
93
|
+
"handoffAck": { "status": "accepted", "agent": "agent-b", "occurredAt": "2026-08-13T08:00:00.000Z", "evidenceRefs": ["receipt:transfer-001"] },
|
|
94
|
+
"verificationStatus": "source_candidate_unverified",
|
|
95
|
+
"authorityBoundary": { "agentDispatch": false, "git": false, "release": false, "deployment": false, "production": false, "business": false, "automation": false, "money": false },
|
|
96
|
+
"authorizationGranted": false
|
|
97
|
+
}]
|
|
98
|
+
}
|
|
@@ -0,0 +1,231 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"$id": "https://owlcoda.dev/schemas/runkit/formal-check-v2.json",
|
|
4
|
+
"title": "OwlCoda RunKit Formal Check V2",
|
|
5
|
+
"type": "object",
|
|
6
|
+
"additionalProperties": false,
|
|
7
|
+
"required": [
|
|
8
|
+
"schemaVersion",
|
|
9
|
+
"runId",
|
|
10
|
+
"checkId",
|
|
11
|
+
"sequence",
|
|
12
|
+
"status",
|
|
13
|
+
"candidatePath",
|
|
14
|
+
"candidateSha256",
|
|
15
|
+
"payloadSha256",
|
|
16
|
+
"sourceFingerprint",
|
|
17
|
+
"verificationContext",
|
|
18
|
+
"verificationContextFingerprint",
|
|
19
|
+
"snapshotRequestPath",
|
|
20
|
+
"snapshotPath",
|
|
21
|
+
"commandExitCode",
|
|
22
|
+
"verificationCommandPolicy",
|
|
23
|
+
"envelopePath",
|
|
24
|
+
"envelopeSha256",
|
|
25
|
+
"envelopeReceiptPath",
|
|
26
|
+
"envelopeReceiptSha256",
|
|
27
|
+
"envelopeFormalEligible",
|
|
28
|
+
"failureCategory",
|
|
29
|
+
"failureDetail",
|
|
30
|
+
"finalized",
|
|
31
|
+
"authorizationGranted",
|
|
32
|
+
"formalCheckSha256"
|
|
33
|
+
],
|
|
34
|
+
"properties": {
|
|
35
|
+
"schemaVersion": { "const": "OwlCodaRunKitFormalCheckV2" },
|
|
36
|
+
"runId": { "$ref": "#/$defs/id" },
|
|
37
|
+
"checkId": { "$ref": "#/$defs/id" },
|
|
38
|
+
"sequence": { "type": "integer", "minimum": 1 },
|
|
39
|
+
"status": { "enum": ["formal_check_passed", "formal_check_failed"] },
|
|
40
|
+
"candidatePath": { "type": "string", "minLength": 1 },
|
|
41
|
+
"candidateSha256": { "$ref": "#/$defs/prefixedHash" },
|
|
42
|
+
"payloadSha256": { "$ref": "#/$defs/prefixedHash" },
|
|
43
|
+
"sourceFingerprint": { "$ref": "#/$defs/hash" },
|
|
44
|
+
"verificationContext": { "$ref": "#/$defs/verificationContext" },
|
|
45
|
+
"verificationContextFingerprint": { "$ref": "#/$defs/hash" },
|
|
46
|
+
"snapshotRequestPath": { "type": "string", "minLength": 1 },
|
|
47
|
+
"snapshotPath": { "type": "string", "minLength": 1 },
|
|
48
|
+
"commandExitCode": { "enum": [0, 2] },
|
|
49
|
+
"verificationCommandPolicy": { "$ref": "#/$defs/verificationCommandPolicy" },
|
|
50
|
+
"envelopePath": { "type": "string", "minLength": 1 },
|
|
51
|
+
"envelopeSha256": { "$ref": "#/$defs/hash" },
|
|
52
|
+
"envelopeReceiptPath": { "type": "string", "minLength": 1 },
|
|
53
|
+
"envelopeReceiptSha256": { "$ref": "#/$defs/hash" },
|
|
54
|
+
"envelopeFormalEligible": { "type": "boolean" },
|
|
55
|
+
"failureCategory": {
|
|
56
|
+
"type": ["string", "null"],
|
|
57
|
+
"enum": [
|
|
58
|
+
null,
|
|
59
|
+
"source_check_failed",
|
|
60
|
+
"envelope_capability_missing",
|
|
61
|
+
"toolchain_resolution_failed",
|
|
62
|
+
"network_policy_blocked"
|
|
63
|
+
]
|
|
64
|
+
},
|
|
65
|
+
"failureDetail": { "type": ["string", "null"] },
|
|
66
|
+
"finalized": { "const": false },
|
|
67
|
+
"authorizationGranted": { "const": false },
|
|
68
|
+
"formalCheckSha256": { "$ref": "#/$defs/prefixedHash" }
|
|
69
|
+
},
|
|
70
|
+
"allOf": [
|
|
71
|
+
{
|
|
72
|
+
"if": { "properties": { "status": { "const": "formal_check_passed" } }, "required": ["status"] },
|
|
73
|
+
"then": {
|
|
74
|
+
"properties": {
|
|
75
|
+
"failureCategory": { "const": null },
|
|
76
|
+
"failureDetail": { "const": null },
|
|
77
|
+
"envelopeFormalEligible": { "const": true }
|
|
78
|
+
}
|
|
79
|
+
},
|
|
80
|
+
"else": {
|
|
81
|
+
"properties": {
|
|
82
|
+
"failureCategory": { "enum": ["source_check_failed", "envelope_capability_missing", "toolchain_resolution_failed", "network_policy_blocked"] },
|
|
83
|
+
"failureDetail": { "type": "string", "minLength": 1 }
|
|
84
|
+
}
|
|
85
|
+
}
|
|
86
|
+
}
|
|
87
|
+
],
|
|
88
|
+
"$defs": {
|
|
89
|
+
"id": { "type": "string", "pattern": "^[A-Za-z0-9][A-Za-z0-9._-]*$" },
|
|
90
|
+
"hash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
|
|
91
|
+
"prefixedHash": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
|
|
92
|
+
"nonempty": { "type": "string", "minLength": 1 },
|
|
93
|
+
"nameVersion": {
|
|
94
|
+
"type": "object",
|
|
95
|
+
"additionalProperties": false,
|
|
96
|
+
"required": ["name", "version"],
|
|
97
|
+
"properties": {
|
|
98
|
+
"name": { "$ref": "#/$defs/nonempty" },
|
|
99
|
+
"version": { "$ref": "#/$defs/nonempty" }
|
|
100
|
+
}
|
|
101
|
+
},
|
|
102
|
+
"pathHash": {
|
|
103
|
+
"type": "object",
|
|
104
|
+
"additionalProperties": false,
|
|
105
|
+
"required": ["path", "sha256"],
|
|
106
|
+
"properties": {
|
|
107
|
+
"path": { "$ref": "#/$defs/nonempty" },
|
|
108
|
+
"sha256": { "$ref": "#/$defs/hash" }
|
|
109
|
+
}
|
|
110
|
+
},
|
|
111
|
+
"idHash": {
|
|
112
|
+
"type": "object",
|
|
113
|
+
"additionalProperties": false,
|
|
114
|
+
"required": ["id", "sha256"],
|
|
115
|
+
"properties": {
|
|
116
|
+
"id": { "$ref": "#/$defs/nonempty" },
|
|
117
|
+
"sha256": { "$ref": "#/$defs/hash" }
|
|
118
|
+
}
|
|
119
|
+
},
|
|
120
|
+
"verificationContext": {
|
|
121
|
+
"type": "object",
|
|
122
|
+
"additionalProperties": false,
|
|
123
|
+
"required": ["schemaVersion", "reusePolicy", "platform", "toolchains", "lockfiles", "fixtures", "services", "environment"],
|
|
124
|
+
"properties": {
|
|
125
|
+
"schemaVersion": { "const": "OwlCodaRunKitVerificationContextV1" },
|
|
126
|
+
"reusePolicy": { "enum": ["portable", "platform_bound", "environment_bound"] },
|
|
127
|
+
"platform": {
|
|
128
|
+
"oneOf": [
|
|
129
|
+
{ "type": "null" },
|
|
130
|
+
{
|
|
131
|
+
"type": "object",
|
|
132
|
+
"additionalProperties": false,
|
|
133
|
+
"required": ["os", "arch"],
|
|
134
|
+
"properties": {
|
|
135
|
+
"os": { "$ref": "#/$defs/nonempty" },
|
|
136
|
+
"arch": { "$ref": "#/$defs/nonempty" }
|
|
137
|
+
}
|
|
138
|
+
}
|
|
139
|
+
]
|
|
140
|
+
},
|
|
141
|
+
"toolchains": { "type": "array", "items": { "$ref": "#/$defs/nameVersion" } },
|
|
142
|
+
"lockfiles": { "type": "array", "items": { "$ref": "#/$defs/pathHash" } },
|
|
143
|
+
"fixtures": { "type": "array", "items": { "$ref": "#/$defs/idHash" } },
|
|
144
|
+
"services": {
|
|
145
|
+
"type": "array",
|
|
146
|
+
"items": {
|
|
147
|
+
"type": "object",
|
|
148
|
+
"additionalProperties": false,
|
|
149
|
+
"required": ["id", "identity"],
|
|
150
|
+
"properties": {
|
|
151
|
+
"id": { "$ref": "#/$defs/nonempty" },
|
|
152
|
+
"identity": { "$ref": "#/$defs/nonempty" }
|
|
153
|
+
}
|
|
154
|
+
}
|
|
155
|
+
},
|
|
156
|
+
"environment": {
|
|
157
|
+
"type": "array",
|
|
158
|
+
"items": {
|
|
159
|
+
"type": "object",
|
|
160
|
+
"additionalProperties": false,
|
|
161
|
+
"required": ["name", "valueSha256"],
|
|
162
|
+
"properties": {
|
|
163
|
+
"name": { "$ref": "#/$defs/nonempty" },
|
|
164
|
+
"valueSha256": { "$ref": "#/$defs/hash" }
|
|
165
|
+
}
|
|
166
|
+
}
|
|
167
|
+
}
|
|
168
|
+
}
|
|
169
|
+
},
|
|
170
|
+
"verificationCommandPolicy": {
|
|
171
|
+
"type": "object",
|
|
172
|
+
"additionalProperties": false,
|
|
173
|
+
"required": ["schemaVersion", "mode", "riskClassification", "profileCommandIds", "envelopeSha256", "envelopeReceiptSha256", "authorizationGranted"],
|
|
174
|
+
"properties": {
|
|
175
|
+
"schemaVersion": { "const": "OwlCodaRunKitFormalVerificationCommandPolicyV1" },
|
|
176
|
+
"mode": { "const": "verification_envelope_v1" },
|
|
177
|
+
"riskClassification": { "const": "enforced_verification_envelope" },
|
|
178
|
+
"profileCommandIds": { "const": [] },
|
|
179
|
+
"envelopeSha256": { "$ref": "#/$defs/hash" },
|
|
180
|
+
"envelopeReceiptSha256": { "$ref": "#/$defs/hash" },
|
|
181
|
+
"authorizationGranted": { "const": false }
|
|
182
|
+
}
|
|
183
|
+
}
|
|
184
|
+
},
|
|
185
|
+
"examples": [
|
|
186
|
+
{
|
|
187
|
+
"schemaVersion": "OwlCodaRunKitFormalCheckV2",
|
|
188
|
+
"runId": "release-001",
|
|
189
|
+
"checkId": "quality",
|
|
190
|
+
"sequence": 1,
|
|
191
|
+
"status": "formal_check_failed",
|
|
192
|
+
"candidatePath": ".owlcoda/runkit/executions/release-001/source-candidates/quality.json",
|
|
193
|
+
"candidateSha256": "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
|
|
194
|
+
"payloadSha256": "sha256:bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
|
|
195
|
+
"sourceFingerprint": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc",
|
|
196
|
+
"verificationContext": {
|
|
197
|
+
"schemaVersion": "OwlCodaRunKitVerificationContextV1",
|
|
198
|
+
"reusePolicy": "portable",
|
|
199
|
+
"platform": null,
|
|
200
|
+
"toolchains": [],
|
|
201
|
+
"lockfiles": [],
|
|
202
|
+
"fixtures": [],
|
|
203
|
+
"services": [],
|
|
204
|
+
"environment": []
|
|
205
|
+
},
|
|
206
|
+
"verificationContextFingerprint": "dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd",
|
|
207
|
+
"snapshotRequestPath": ".owlcoda/runkit/executions/release-001/formal-check-requests/quality.json",
|
|
208
|
+
"snapshotPath": ".owlcoda/runkit/executions/release-001/snapshots/quality-snapshot.json",
|
|
209
|
+
"commandExitCode": 2,
|
|
210
|
+
"verificationCommandPolicy": {
|
|
211
|
+
"schemaVersion": "OwlCodaRunKitFormalVerificationCommandPolicyV1",
|
|
212
|
+
"mode": "verification_envelope_v1",
|
|
213
|
+
"riskClassification": "enforced_verification_envelope",
|
|
214
|
+
"profileCommandIds": [],
|
|
215
|
+
"envelopeSha256": "eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee",
|
|
216
|
+
"envelopeReceiptSha256": "ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
|
217
|
+
"authorizationGranted": false
|
|
218
|
+
},
|
|
219
|
+
"envelopePath": ".owlcoda/runkit/executions/release-001/formal-envelopes/quality.json",
|
|
220
|
+
"envelopeSha256": "eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee",
|
|
221
|
+
"envelopeReceiptPath": ".owlcoda/runkit/executions/release-001/verification-envelopes/quality/verification-envelope-receipt.json",
|
|
222
|
+
"envelopeReceiptSha256": "ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
|
223
|
+
"envelopeFormalEligible": false,
|
|
224
|
+
"failureCategory": "source_check_failed",
|
|
225
|
+
"failureDetail": "verification_command_returned_nonzero",
|
|
226
|
+
"finalized": false,
|
|
227
|
+
"authorizationGranted": false,
|
|
228
|
+
"formalCheckSha256": "sha256:9999999999999999999999999999999999999999999999999999999999999999"
|
|
229
|
+
}
|
|
230
|
+
]
|
|
231
|
+
}
|
|
@@ -0,0 +1,212 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"$id": "https://owlcoda.dev/schemas/runkit/formal-envelope-preflight-v1.json",
|
|
4
|
+
"title": "OwlCoda RunKit Formal Envelope Preflight V1",
|
|
5
|
+
"type": "object",
|
|
6
|
+
"additionalProperties": false,
|
|
7
|
+
"required": ["schemaVersion", "status", "exitCode", "envelopeId", "envelopeSha256", "backend", "phases", "runtimeIsolation", "issues", "nextAllowedAction", "authorizationGranted"],
|
|
8
|
+
"properties": {
|
|
9
|
+
"schemaVersion": { "const": "OwlCodaRunKitFormalEnvelopePreflightV1" },
|
|
10
|
+
"status": { "enum": ["ready", "blocked"] },
|
|
11
|
+
"exitCode": { "enum": [0, 2] },
|
|
12
|
+
"envelopeId": { "$ref": "#/$defs/id" },
|
|
13
|
+
"envelopeSha256": { "$ref": "#/$defs/hash" },
|
|
14
|
+
"backend": { "$ref": "#/$defs/backend" },
|
|
15
|
+
"phases": {
|
|
16
|
+
"type": "array",
|
|
17
|
+
"minItems": 1,
|
|
18
|
+
"maxItems": 3,
|
|
19
|
+
"items": { "$ref": "#/$defs/phase" }
|
|
20
|
+
},
|
|
21
|
+
"runtimeIsolation": { "$ref": "#/$defs/runtimeIsolation" },
|
|
22
|
+
"issues": {
|
|
23
|
+
"type": "array",
|
|
24
|
+
"items": { "$ref": "#/$defs/issue" }
|
|
25
|
+
},
|
|
26
|
+
"nextAllowedAction": { "enum": ["repair_envelope_and_repeat_preflight", "run_formal_check_with_exact_envelope"] },
|
|
27
|
+
"authorizationGranted": { "const": false }
|
|
28
|
+
},
|
|
29
|
+
"examples": [
|
|
30
|
+
{
|
|
31
|
+
"schemaVersion": "OwlCodaRunKitFormalEnvelopePreflightV1",
|
|
32
|
+
"status": "ready",
|
|
33
|
+
"exitCode": 0,
|
|
34
|
+
"envelopeId": "focused-tests",
|
|
35
|
+
"envelopeSha256": "0000000000000000000000000000000000000000000000000000000000000000",
|
|
36
|
+
"backend": {
|
|
37
|
+
"id": "macos-sandbox-exec",
|
|
38
|
+
"available": true,
|
|
39
|
+
"executable": "/usr/bin/sandbox-exec",
|
|
40
|
+
"capabilities": {
|
|
41
|
+
"fileWritePolicy": "enforced",
|
|
42
|
+
"forbiddenReadPolicy": "enforced",
|
|
43
|
+
"networkPolicy": "enforced",
|
|
44
|
+
"processExecPolicy": "enforced",
|
|
45
|
+
"processCleanup": "verified"
|
|
46
|
+
}
|
|
47
|
+
},
|
|
48
|
+
"phases": [
|
|
49
|
+
{
|
|
50
|
+
"name": "check",
|
|
51
|
+
"executable": "/usr/bin/node",
|
|
52
|
+
"argv": ["--test", "tests/focused.test.mjs"],
|
|
53
|
+
"effectiveTool": "node",
|
|
54
|
+
"packageScript": null,
|
|
55
|
+
"packageScriptCommand": null,
|
|
56
|
+
"detectedTools": ["node"],
|
|
57
|
+
"requiredExecutables": ["/usr/bin/node"],
|
|
58
|
+
"temporaryDirectory": {
|
|
59
|
+
"needed": false,
|
|
60
|
+
"environmentName": "TMPDIR",
|
|
61
|
+
"declaredValue": null,
|
|
62
|
+
"resolvedPath": null,
|
|
63
|
+
"scratchRoot": null,
|
|
64
|
+
"disposition": "not_required"
|
|
65
|
+
},
|
|
66
|
+
"runtimeScan": {
|
|
67
|
+
"scanRoot": ".",
|
|
68
|
+
"protectedRuntimeRoot": ".owlcoda/runkit",
|
|
69
|
+
"canReachProtectedRuntime": false,
|
|
70
|
+
"collectorDetected": false,
|
|
71
|
+
"affectedScripts": []
|
|
72
|
+
}
|
|
73
|
+
}
|
|
74
|
+
],
|
|
75
|
+
"runtimeIsolation": {
|
|
76
|
+
"status": "ok",
|
|
77
|
+
"affectedScripts": [],
|
|
78
|
+
"recommendedIgnore": ".owlcoda/runkit/"
|
|
79
|
+
},
|
|
80
|
+
"issues": [],
|
|
81
|
+
"nextAllowedAction": "run_formal_check_with_exact_envelope",
|
|
82
|
+
"authorizationGranted": false
|
|
83
|
+
}
|
|
84
|
+
],
|
|
85
|
+
"allOf": [
|
|
86
|
+
{
|
|
87
|
+
"if": { "properties": { "status": { "const": "ready" } }, "required": ["status"] },
|
|
88
|
+
"then": {
|
|
89
|
+
"properties": {
|
|
90
|
+
"exitCode": { "const": 0 },
|
|
91
|
+
"nextAllowedAction": { "const": "run_formal_check_with_exact_envelope" }
|
|
92
|
+
}
|
|
93
|
+
},
|
|
94
|
+
"else": {
|
|
95
|
+
"properties": {
|
|
96
|
+
"exitCode": { "const": 2 },
|
|
97
|
+
"nextAllowedAction": { "const": "repair_envelope_and_repeat_preflight" }
|
|
98
|
+
}
|
|
99
|
+
}
|
|
100
|
+
}
|
|
101
|
+
],
|
|
102
|
+
"$defs": {
|
|
103
|
+
"id": { "type": "string", "pattern": "^[A-Za-z0-9][A-Za-z0-9._-]*$" },
|
|
104
|
+
"hash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
|
|
105
|
+
"nonempty": { "type": "string", "minLength": 1 },
|
|
106
|
+
"capabilities": {
|
|
107
|
+
"type": "object",
|
|
108
|
+
"additionalProperties": false,
|
|
109
|
+
"required": ["fileWritePolicy", "forbiddenReadPolicy", "networkPolicy", "processExecPolicy", "processCleanup"],
|
|
110
|
+
"properties": {
|
|
111
|
+
"fileWritePolicy": { "enum": ["enforced", "unavailable"] },
|
|
112
|
+
"forbiddenReadPolicy": { "enum": ["enforced", "unavailable"] },
|
|
113
|
+
"networkPolicy": { "enum": ["enforced", "unavailable"] },
|
|
114
|
+
"processExecPolicy": { "enum": ["enforced", "unavailable"] },
|
|
115
|
+
"processCleanup": { "enum": ["verified", "unavailable"] }
|
|
116
|
+
}
|
|
117
|
+
},
|
|
118
|
+
"backend": {
|
|
119
|
+
"type": "object",
|
|
120
|
+
"additionalProperties": false,
|
|
121
|
+
"required": ["id", "available", "capabilities"],
|
|
122
|
+
"properties": {
|
|
123
|
+
"id": { "$ref": "#/$defs/nonempty" },
|
|
124
|
+
"available": { "type": "boolean" },
|
|
125
|
+
"executable": { "type": "string", "minLength": 1 },
|
|
126
|
+
"reason": { "$ref": "#/$defs/nonempty" },
|
|
127
|
+
"capabilities": { "$ref": "#/$defs/capabilities" }
|
|
128
|
+
},
|
|
129
|
+
"allOf": [
|
|
130
|
+
{
|
|
131
|
+
"if": { "properties": { "available": { "const": true } }, "required": ["available"] },
|
|
132
|
+
"then": { "required": ["executable"], "not": { "required": ["reason"] } },
|
|
133
|
+
"else": { "required": ["reason"], "not": { "required": ["executable"] } }
|
|
134
|
+
}
|
|
135
|
+
]
|
|
136
|
+
},
|
|
137
|
+
"affectedScript": {
|
|
138
|
+
"type": "object",
|
|
139
|
+
"additionalProperties": false,
|
|
140
|
+
"required": ["ignoreFile", "script", "tool"],
|
|
141
|
+
"properties": {
|
|
142
|
+
"ignoreFile": { "$ref": "#/$defs/nonempty" },
|
|
143
|
+
"script": { "$ref": "#/$defs/nonempty" },
|
|
144
|
+
"tool": { "$ref": "#/$defs/nonempty" }
|
|
145
|
+
}
|
|
146
|
+
},
|
|
147
|
+
"runtimeIsolation": {
|
|
148
|
+
"type": "object",
|
|
149
|
+
"additionalProperties": false,
|
|
150
|
+
"required": ["status", "affectedScripts", "recommendedIgnore"],
|
|
151
|
+
"properties": {
|
|
152
|
+
"status": { "enum": ["ok", "warning", "unknown"] },
|
|
153
|
+
"affectedScripts": { "type": "array", "items": { "$ref": "#/$defs/affectedScript" } },
|
|
154
|
+
"recommendedIgnore": { "const": ".owlcoda/runkit/" }
|
|
155
|
+
}
|
|
156
|
+
},
|
|
157
|
+
"temporaryDirectory": {
|
|
158
|
+
"type": "object",
|
|
159
|
+
"additionalProperties": false,
|
|
160
|
+
"required": ["needed", "environmentName", "declaredValue", "resolvedPath", "scratchRoot", "disposition"],
|
|
161
|
+
"properties": {
|
|
162
|
+
"needed": { "type": "boolean" },
|
|
163
|
+
"environmentName": { "const": "TMPDIR" },
|
|
164
|
+
"declaredValue": { "type": ["string", "null"] },
|
|
165
|
+
"resolvedPath": { "type": ["string", "null"] },
|
|
166
|
+
"scratchRoot": { "type": ["string", "null"] },
|
|
167
|
+
"disposition": { "enum": ["not_required", "not_declared", "bound_to_disposable_scratch", "outside_disposable_scratch_tree"] }
|
|
168
|
+
}
|
|
169
|
+
},
|
|
170
|
+
"runtimeScan": {
|
|
171
|
+
"type": "object",
|
|
172
|
+
"additionalProperties": false,
|
|
173
|
+
"required": ["scanRoot", "protectedRuntimeRoot", "canReachProtectedRuntime", "collectorDetected", "affectedScripts"],
|
|
174
|
+
"properties": {
|
|
175
|
+
"scanRoot": { "$ref": "#/$defs/nonempty" },
|
|
176
|
+
"protectedRuntimeRoot": { "$ref": "#/$defs/nonempty" },
|
|
177
|
+
"canReachProtectedRuntime": { "type": "boolean" },
|
|
178
|
+
"collectorDetected": { "type": "boolean" },
|
|
179
|
+
"affectedScripts": { "type": "array", "items": { "$ref": "#/$defs/affectedScript" } }
|
|
180
|
+
}
|
|
181
|
+
},
|
|
182
|
+
"phase": {
|
|
183
|
+
"type": "object",
|
|
184
|
+
"additionalProperties": false,
|
|
185
|
+
"required": ["name", "executable", "argv", "effectiveTool", "packageScript", "packageScriptCommand", "detectedTools", "requiredExecutables", "temporaryDirectory", "runtimeScan"],
|
|
186
|
+
"properties": {
|
|
187
|
+
"name": { "enum": ["setup", "check", "teardown"] },
|
|
188
|
+
"executable": { "$ref": "#/$defs/nonempty" },
|
|
189
|
+
"argv": { "type": "array", "items": { "type": "string" } },
|
|
190
|
+
"effectiveTool": { "$ref": "#/$defs/nonempty" },
|
|
191
|
+
"packageScript": { "type": ["string", "null"] },
|
|
192
|
+
"packageScriptCommand": { "type": ["string", "null"] },
|
|
193
|
+
"detectedTools": { "type": "array", "items": { "$ref": "#/$defs/nonempty" }, "uniqueItems": true },
|
|
194
|
+
"requiredExecutables": { "type": "array", "items": { "$ref": "#/$defs/nonempty" }, "uniqueItems": true },
|
|
195
|
+
"temporaryDirectory": { "$ref": "#/$defs/temporaryDirectory" },
|
|
196
|
+
"runtimeScan": { "$ref": "#/$defs/runtimeScan" }
|
|
197
|
+
}
|
|
198
|
+
},
|
|
199
|
+
"issue": {
|
|
200
|
+
"type": "object",
|
|
201
|
+
"additionalProperties": false,
|
|
202
|
+
"required": ["code", "severity", "phase", "message", "repairCommand"],
|
|
203
|
+
"properties": {
|
|
204
|
+
"code": { "$ref": "#/$defs/nonempty" },
|
|
205
|
+
"severity": { "enum": ["blocker", "warning"] },
|
|
206
|
+
"phase": { "enum": [null, "setup", "check", "teardown"] },
|
|
207
|
+
"message": { "$ref": "#/$defs/nonempty" },
|
|
208
|
+
"repairCommand": { "$ref": "#/$defs/nonempty" }
|
|
209
|
+
}
|
|
210
|
+
}
|
|
211
|
+
}
|
|
212
|
+
}
|