@runcofactor/cli 0.55.0 → 0.56.0

package/dist/{chunk-U3MRXQZS.js → chunk-RHWPZKRV.js}

@@ -41,6 +41,12 @@ function isActiveExplorationCycleStatus(status) {
   return ACTIVE_EXPLORATION_CYCLE_STATUSES.includes(status);
 }
 
+// ../types/src/application-type.ts
+var APPLICATION_TYPES = ["web", "api", "mcp", "cli"];
+function isApplicationType(value) {
+  return APPLICATION_TYPES.includes(value);
+}
+
 // ../types/src/external-test.ts
 import { z as z2 } from "zod";
 var EXTERNAL_TEST_PROVIDERS = ["selenium", "playwright", "cypress", "junit"];
@@ -351,6 +357,21 @@ function parsePromoteOn(value) {
   return value;
 }
 
+// ../types/src/proof-language.ts
+var PREFIXED_ID_SOURCE = String.raw`\b[a-z]{1,8}_[A-Za-z0-9]{16,}\b`;
+var IDENTIFIER_PATTERNS = [
+  // UUID
+  /\b[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}\b/gi,
+  // Prefixed entity id: wf_…, wrun_…, proof_… followed by a long encoded body
+  new RegExp(PREFIXED_ID_SOURCE, "g"),
+  // Hex commit SHA: needs a digit and a letter, so ordinary words such as "decade" and plain numbers pass
+  /(?<![\w-])(?=[0-9a-f]*\d)(?=[0-9a-f]*[a-f])[0-9a-f]{7,64}(?![\w-])/g,
+  // camelCase or snake_case name assigned a value: triageEnabled=false, triage_enabled = true
+  /\b(?:[a-z][a-z0-9]*(?:[A-Z][a-z0-9]*)+|[a-z][a-z0-9]*(?:_[a-z0-9]+)+)\s*={1,3}\s*[^\s,;.]+/g,
+  // Bare camelCase field name of at least three words, not already reported as an assignment: externalTriageEnabled
+  /\b[a-z][a-z0-9]*(?:[A-Z][a-z0-9]*){2,}\b(?!\s*=)/g
+];
+
 // ../types/src/proof-body.ts
 var PROOF_BLOCK_OPEN = "<!-- cofactor:proof -->";
 var PROOF_BLOCK_CLOSE = "<!-- /cofactor:proof -->";
@@ -2554,6 +2575,8 @@ export {
   SANDBOX_EGRESS_MODES,
   sandboxPreviewPagePath,
   isActiveExplorationCycleStatus,
+  APPLICATION_TYPES,
+  isApplicationType,
   elapsedTestAttemptMs,
   EXPLORATORY_EFFORT_VALUES,
   REVIEW_FLAVOR_VALUES,
@@ -2597,4 +2620,4 @@ export {
   AGENT_FEEDBACK_TOPICS,
   matchAssertionSpecsToVerifySteps
 };
-//# sourceMappingURL=chunk-U3MRXQZS.js.map
+//# sourceMappingURL=chunk-RHWPZKRV.js.map