@octaviaflow/flow-rules 0.8.0 → 0.8.1

package/dist/index.cjs

@@ -72,6 +72,7 @@ __export(exports_src, {
   collectArrayPaths: () => collectArrayPaths,
   collectArrayPathsFromSample: () => collectArrayPathsFromSample,
   configErrors: () => configErrors,
+  contractDerivedKeys: () => contractDerivedKeys,
   contractDrift: () => contractDrift,
   contractFieldsFor: () => contractFieldsFor,
   contractFor: () => contractFor,
@@ -4931,6 +4932,10 @@ function contractVocabularyDrift(actionId) {
   const known = new Set([...Object.keys(CONTRACT_TYPE_TO_FIELD_TYPE), "none"]);
   return Object.entries(c.schema).filter(([, f]) => !known.has(f.type)).map(([k, f]) => `${k}:${f.type}`);
 }
+function contractDerivedKeys(definition) {
+  const own = new Set((definition.inputSchema?.fields ?? []).map((f) => f.key));
+  return new Set(contractFieldsFor(definition).map((f) => f.key).filter((k) => !own.has(k)));
+}
 
 // src/rules/configSafety.ts
 var MAX_STEP_CONFIG_BYTES = 256 * 1024;
@@ -5041,6 +5046,7 @@ function validateStepConfig(step) {
   if (!definition)
     return issues;
   const declared = new Map(contractFieldsFor(definition).map((f) => [f.key, f]));
+  const derived = contractDerivedKeys(definition);
   const entries = Object.entries(config);
   for (const [key, value] of entries) {
     const field = declared.get(key);
@@ -5056,7 +5062,7 @@ function validateStepConfig(step) {
     }
     if (!typeMatches(field, value)) {
       issues.push({
-        severity: "error",
+        severity: derived.has(key) ? "warning" : "error",
         code: "FIELD_WRONG_TYPE",
         stepId,
         field: key,

package/dist/index.d.ts

@@ -45,4 +45,4 @@ export { type FlowConnection, type FlowData, type FlowStep, generateConnectionsF
 export { flattenNestedWorkflow } from "./rules/flattenNestedWorkflow";
 export { configErrors, MAX_STEP_CONFIG_BYTES, validateStepConfig, validateStepConfigs, type ConfigIssue, type ConfigIssueCode, } from "./rules/configSafety";
 export { isMappingFunction, MAPPING_FUNCTION_SPECS, MAPPING_FUNCTIONS, mappingTransformFunctionName, USER_FUNCTION_PREFIX, type MappingFunction, type MappingFunctionSpec, } from "./rules/mappingFunctions";
-export { CONFIG_CONTRACTS, contractDrift, contractFieldsFor, contractVocabularyDrift, contractFor, declaredKeys, isEditorPrivateKey, type ConfigContract, type ContractField, type ContractFieldType, } from "./rules/configContracts";
+export { CONFIG_CONTRACTS, contractDerivedKeys, contractDrift, contractFieldsFor, contractVocabularyDrift, contractFor, declaredKeys, isEditorPrivateKey, type ConfigContract, type ContractField, type ContractFieldType, } from "./rules/configContracts";

package/dist/index.js

@@ -4818,6 +4818,10 @@ function contractVocabularyDrift(actionId) {
   const known = new Set([...Object.keys(CONTRACT_TYPE_TO_FIELD_TYPE), "none"]);
   return Object.entries(c.schema).filter(([, f]) => !known.has(f.type)).map(([k, f]) => `${k}:${f.type}`);
 }
+function contractDerivedKeys(definition) {
+  const own = new Set((definition.inputSchema?.fields ?? []).map((f) => f.key));
+  return new Set(contractFieldsFor(definition).map((f) => f.key).filter((k) => !own.has(k)));
+}
 
 // src/rules/configSafety.ts
 var MAX_STEP_CONFIG_BYTES = 256 * 1024;
@@ -4928,6 +4932,7 @@ function validateStepConfig(step) {
   if (!definition)
     return issues;
   const declared = new Map(contractFieldsFor(definition).map((f) => [f.key, f]));
+  const derived = contractDerivedKeys(definition);
   const entries = Object.entries(config);
   for (const [key, value] of entries) {
     const field = declared.get(key);
@@ -4943,7 +4948,7 @@ function validateStepConfig(step) {
     }
     if (!typeMatches(field, value)) {
       issues.push({
-        severity: "error",
+        severity: derived.has(key) ? "warning" : "error",
         code: "FIELD_WRONG_TYPE",
         stepId,
         field: key,
@@ -5090,6 +5095,7 @@ export {
   collectArrayPaths,
   collectArrayPathsFromSample,
   configErrors,
+  contractDerivedKeys,
   contractDrift,
   contractFieldsFor,
   contractFor,

package/dist/rules/configContracts.d.ts

@@ -90,3 +90,15 @@ export declare function contractFieldsFor(definition: ActionDefinition): FieldCo
 export declare function contractDrift(definition: ActionDefinition): string[];
 /** Contract fields whose `type` is not in the vocabulary — a typo, not a new kind. */
 export declare function contractVocabularyDrift(actionId: string): string[];
+/**
+ * Keys `contractFieldsFor` ADDED — declared by config.ts but not by inputSchema.
+ *
+ * The fence treats a type mismatch on one of these as a WARNING, not an error,
+ * until it has been measured against real flows. The reason is concrete: the
+ * moment http_request's contract declared `queryParams: array`, a fixture that
+ * stored it as an object stopped saving. On beta 71 of 131 real config keys
+ * were undeclared, so any of them may be stored in a shape the contract does
+ * not expect — and refusing the save would leave whoever opens that flow
+ * unable to save it. inputSchema-declared keys keep their existing error.
+ */
+export declare function contractDerivedKeys(definition: ActionDefinition): Set<string>;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@octaviaflow/flow-rules",
-  "version": "0.8.0",
+  "version": "0.8.1",
   "description": "The flow action catalog and the rules engine behind Flow Doctor \u2014 one definition of what a step accepts and what makes a flow valid, shared by the editor and the server",
   "type": "module",
   "main": "./dist/index.cjs",