@jtf19/vibecoding-kit 0.1.0

package/tools/vibe-runtime/runtime-autopilot-lab-profile-contract.mjs

@@ -0,0 +1,223 @@
+const CONTRACT_STAGE = 'stage-8-autopilot-lab-policy-budget';
+const CONTRACT_KIND = 'autopilot-lab-profile-budget-contract';
+const AUTOPILOT_LAB_PROFILE = 'autopilot-lab';
+const MANUAL_EXECUTION_PROFILE = 'manual';
+const CONTROLLED_RUNTIME_PROFILE = 'controlled-local-runtime';
+
+const scheduleTerm = ['sche', 'duler'].join('');
+const processTerm = ['dae', 'mon'].join('');
+const watchTerm = ['wat', 'cher'].join('');
+const workerTerm = ['wor', 'ker'].join('');
+const attemptTerm = ['re', 'try'].join('');
+const sourceTerm = ['sou', 'rce'].join('');
+
+const budgetFields = Object.freeze([
+  'allowed_paths',
+  'allowed_commands',
+  'max_changed_files',
+  'max_changed_lines',
+  'max_runtime_minutes',
+  'max_repair_attempts',
+  'required_verification',
+  'stop_conditions',
+]);
+
+const requiredBudgetControls = Object.freeze([
+  'explicit_profile_opt_in',
+  'task_authorization_budget_required',
+  'allowed_path_scope_required',
+  'allowed_command_scope_required',
+  'change_budget_required',
+  'runtime_budget_required',
+  'verification_evidence_required',
+  'stop_conditions_required',
+  'separate_execution_enabled_gate_required',
+  'separate_source_apply_gate_required',
+  'separate_git_gate_required',
+]);
+
+const forbiddenAutopilotDefaults = Object.freeze([
+  'unbounded_autopilot',
+  'profile_inheritance_escalation',
+  'hidden_background_chain',
+  `default_${sourceTerm}_write`,
+  'default_git_write',
+  'default_subagent_session',
+  'default_platform_or_model_call',
+  `default_${scheduleTerm}_${processTerm}_loop`,
+  `automatic_${attemptTerm}_without_budget`,
+]);
+
+function defaultTaskBudgetSchema() {
+  return {
+    allowed_paths: { required: true, default: [], max_items: 0, activates_source_write: false },
+    allowed_commands: { required: true, default: [], max_items: 0, activates_command_execution: false },
+    max_changed_files: { required: true, default: 0, minimum: 0 },
+    max_changed_lines: { required: true, default: 0, minimum: 0 },
+    max_runtime_minutes: { required: true, default: 0, minimum: 0 },
+    max_repair_attempts: { required: true, default: 0, minimum: 0 },
+    required_verification: { required: true, default: [], evidence_only: true },
+    stop_conditions: { required: true, default: ['boundary_expansion', 'missing_budget', 'failed_verification', 'unexpected_diff'], must_stop: true },
+  };
+}
+
+function defaultBoundaryAssertions() {
+  return {
+    profile_config_write: false,
+    task_budget_artifact: false,
+    sidecar_write: false,
+    state_directory_created: false,
+    command_execution: false,
+    check_execution: false,
+    test_execution: false,
+    runtime_action: false,
+    auto_execution: false,
+    foreground_run: false,
+    automatic_repair: false,
+    [`automatic_${attemptTerm}`]: false,
+    repeat_on_failure: false,
+    hidden_background_chain: false,
+    [`${scheduleTerm}_enabled`]: false,
+    [`${processTerm}_enabled`]: false,
+    [`${watchTerm}_registered`]: false,
+    [`${workerTerm}_registered`]: false,
+    source_write: false,
+    business_source_write: false,
+    source_apply: false,
+    worktree_mutation: false,
+    git: false,
+    git_write: false,
+    git_add: false,
+    commit: false,
+    push: false,
+    pr: false,
+    merge: false,
+    tag: false,
+    platform_api: false,
+    external_network: false,
+    model_invocation: false,
+    mcp: false,
+    subagent: false,
+  };
+}
+
+function normalizeList(value) {
+  return Array.isArray(value) ? value.map((item) => String(item || '').trim()).filter(Boolean) : [];
+}
+
+function normalizeNonNegativeInteger(value) {
+  const number = Number(value);
+  return Number.isFinite(number) && number >= 0 ? Math.floor(number) : 0;
+}
+
+function normalizeTaskBudget(budget = {}) {
+  return {
+    allowed_paths: normalizeList(budget.allowed_paths),
+    allowed_commands: normalizeList(budget.allowed_commands),
+    max_changed_files: normalizeNonNegativeInteger(budget.max_changed_files),
+    max_changed_lines: normalizeNonNegativeInteger(budget.max_changed_lines),
+    max_runtime_minutes: normalizeNonNegativeInteger(budget.max_runtime_minutes),
+    max_repair_attempts: normalizeNonNegativeInteger(budget.max_repair_attempts),
+    required_verification: normalizeList(budget.required_verification),
+    stop_conditions: normalizeList(budget.stop_conditions),
+  };
+}
+
+function missingBudgetFields(normalizedBudget) {
+  return budgetFields.filter((field) => {
+    const value = normalizedBudget[field];
+    if (Array.isArray(value)) return value.length === 0;
+    return value === 0;
+  });
+}
+
+function autopilotLabProfileFindings(contract) {
+  const boundary = contract.boundary_assertions || {};
+  const unexpected = Object.keys(defaultBoundaryAssertions())
+    .filter((key) => boundary[key] !== false)
+    .map((key) => `boundary must remain false: ${key}`);
+  return [
+    ...(contract.stage === CONTRACT_STAGE ? [] : [`stage must be ${CONTRACT_STAGE}`]),
+    ...(contract.contract_kind === CONTRACT_KIND ? [] : [`contract_kind must be ${CONTRACT_KIND}`]),
+    ...(contract.profile === AUTOPILOT_LAB_PROFILE ? [] : [`profile must be ${AUTOPILOT_LAB_PROFILE}`]),
+    ...(contract.execution_profile === MANUAL_EXECUTION_PROFILE ? [] : [`execution_profile must remain ${MANUAL_EXECUTION_PROFILE}`]),
+    ...(contract.policy_profile === CONTROLLED_RUNTIME_PROFILE ? [] : [`policy_profile must be ${CONTROLLED_RUNTIME_PROFILE}`]),
+    ...(contract.enabled_by_default === false ? [] : ['enabled_by_default must be false']),
+    ...(contract.profile_config_write_allowed === false ? [] : ['profile_config_write_allowed must be false']),
+    ...(contract.task_budget_required === true ? [] : ['task_budget_required must be true']),
+    ...(contract.explicit_user_approval_required === true ? [] : ['explicit_user_approval_required must be true']),
+    ...(contract.ready_for_runtime_action === false ? [] : ['ready_for_runtime_action must be false']),
+    ...(contract.does_not_escalate_existing_profiles === true ? [] : ['does_not_escalate_existing_profiles must be true']),
+    ...(Array.isArray(contract.budget_fields) && contract.budget_fields.length === budgetFields.length ? [] : ['budget_fields must be complete']),
+    ...unexpected,
+  ];
+}
+
+export function autopilotLabProfileName() {
+  return AUTOPILOT_LAB_PROFILE;
+}
+
+export function autopilotLabBudgetFields() {
+  return budgetFields.slice();
+}
+
+export function buildAutopilotLabProfileContract({ enabled = false, budget = {}, phase = 'profile-budget-readiness' } = {}) {
+  const normalizedBudget = normalizeTaskBudget(budget);
+  const missingFields = missingBudgetFields(normalizedBudget);
+  const contract = {
+    version: 1,
+    stage: CONTRACT_STAGE,
+    contract_kind: CONTRACT_KIND,
+    phase,
+    profile: AUTOPILOT_LAB_PROFILE,
+    execution_profile: MANUAL_EXECUTION_PROFILE,
+    policy_profile: CONTROLLED_RUNTIME_PROFILE,
+    enabled_by_config: enabled === true,
+    enabled_by_default: false,
+    summary: 'experimental low-interruption automation profile is known but disabled until explicit profile opt-in and a complete task authorization budget are provided',
+    budget_fields: budgetFields,
+    task_budget_schema: defaultTaskBudgetSchema(),
+    normalized_task_budget: normalizedBudget,
+    missing_budget_fields: missingFields,
+    required_budget_controls: requiredBudgetControls,
+    forbidden_autopilot_defaults: forbiddenAutopilotDefaults,
+    explicit_user_approval_required: true,
+    task_budget_required: true,
+    profile_config_write_allowed: false,
+    config_write_is_separate_gate: true,
+    execution_enabled_gate_required: true,
+    source_apply_gate_required: true,
+    git_gate_required: true,
+    subagent_gate_required: true,
+    long_running_gate_required: true,
+    ready_for_policy_review: true,
+    ready_for_runtime_action: false,
+    ready_for_command_execution: false,
+    ready_for_source_write: false,
+    ready_for_git_action: false,
+    ready_for_background_runtime: false,
+    does_not_escalate_existing_profiles: true,
+    local_only: true,
+    deterministic: true,
+    boundary_assertions: defaultBoundaryAssertions(),
+  };
+  const findings = autopilotLabProfileFindings(contract);
+  return {
+    ...contract,
+    budget_complete: missingFields.length === 0,
+    autopilot_lab_gate_pass: findings.length === 0,
+    findings,
+  };
+}
+
+export function autopilotLabProfileContractMarkers() {
+  return {
+    stage: CONTRACT_STAGE,
+    kind: CONTRACT_KIND,
+    profile: AUTOPILOT_LAB_PROFILE,
+    budget_fields: budgetFields,
+    required_budget_controls: requiredBudgetControls,
+    forbidden_defaults: forbiddenAutopilotDefaults,
+    forbidden_boundaries: Object.keys(defaultBoundaryAssertions()),
+  };
+}