agentera 3.0.0-dev.5 → 3.0.0-dev.51

package/bundle/references/analysis/verification-policy.yaml

@@ -0,0 +1,191 @@
+schemaVersion: agentera.verificationPolicy.v1
+
+# This file is the sole authority for CLI test ownership and policy composition.
+# A matching explicit rule is required for specialized owners. Files with no
+# explicit match belong to default_owner; multiple explicit matches are invalid.
+inventory:
+  root: packages/cli/test
+  suffix: .test.ts
+  default_owner: source
+  rules:
+    - owner: stress
+      path: packages/cli/test/stress/entityStorageStress.test.ts
+    - owner: performance
+      path: packages/cli/test/performance/analyticsEvidenceTierCap.test.ts
+    - owner: performance
+      path: packages/cli/test/performance/entityMigrationPreviewCap.test.ts
+    - owner: performance
+      path: packages/cli/test/performance/entityAuthorityPerformance.test.ts
+      evidence_producer: true
+    - owner: package
+      prefix: packages/cli/test/packaging/
+
+# Full-overlap validation accepts this governed YAML byte stream and the owner
+# command's JSON result-file bytes as its only evidence authorities. Parsed
+# objects are internal implementation details: callers cannot supply policy or
+# reporter objects directly. The source proof requires exactly one matching
+# conditional assertion in the declared file and nowhere else in the
+# source-owner inventory.
+overlap:
+  max_diagnostic_utf8_bytes: 8192
+  allowed_pending_assertion:
+    owner: source
+    path: packages/cli/test/build/generatedOutputPublication.test.ts
+    suite: generated generation publication
+    title: reads one real Darwin process identity independently of caller locale and timezone
+    status: skipped
+    executes_when:
+      platform: darwin
+
+# Release source qualification executes this evidence DAG without changing the
+# owner inventories or public commands above. generated-overlap is the only
+# checkout generated-output writer and the only execution origin for source,
+# package, build, and overlap evidence.
+release_qualification:
+  schedule_authority: references/adapters/package-publication.json#qualification.source.dag
+  deadline_authority: references/adapters/package-publication.json#benchmark.timeouts.sourceQualificationMs
+  deadline_behavior: the source coordinator passes the actual absolute deadline;
+    overlap stops new work at the contract cleanup margin, settles owned children,
+    removes its generated state on failure, and returns before the contract parent margin
+  isolation: distinct_home_cache_user_global_config_and_report_per_child
+  resource_isolation: performance_runs_alone_after_batch_a_settles
+  failure:
+    first_observed_owner: preserved
+    cancellable_process_groups: cancel
+    generated_overlap: cooperative_stop_settle_and_cleanup_without_parent_force_kill
+    performance_after_batch_failure: forbidden
+    barrier_b_after_performance_failure: forbidden
+    barrier_b_after_batch_failure: forbidden
+    receipt_after_any_failure: forbidden
+  source_generated_access:
+    checkout_generated_write: forbidden
+    conditional_read_when_present:
+      - packages/cli/.agentera-generated/current/bundle
+    authority: source tests may compare a settled bundled schema when present;
+      they never construct, publish, replace, or clean checkout generated output
+
+owners:
+  source:
+    config: packages/cli/vite.config.ts
+    correction: Run `pnpm -C packages/cli test:source`; fix the reported source test or its source setup.
+  stress:
+    config: packages/cli/vite.config.ts
+    correction: Run `pnpm -C packages/cli test:stress`; fix the named stress invariant or its fixture.
+  performance:
+    config: packages/cli/vite.config.ts
+    correction: Run `pnpm -C packages/cli test:performance`; check runner conditions and fix the named budget regression.
+    integration:
+      path: packages/cli/test/integration/performanceOwner.integration.mjs
+      command: [pnpm, run, test:performance:integration]
+    evidence:
+      schema_version: agentera.entityAuthorityPerformanceEvidence.v1
+      authority: references/artifacts/state-storage-authority.yaml#entity_target.measurement_contract
+      stdout_format: newline_delimited_json_record_amid_runner_output
+      max_utf8_bytes: 65536
+    forwarding:
+      # Delimiters are invocation syntax and are never forwarded. Every explicit
+      # file selection must resolve to exact inventory files and retain this
+      # owner's evidence producer.
+      safe_options:
+        --no-color: none
+        --logHeapUsage: none
+        --printConsoleTrace: none
+        --includeTaskLocation: none
+      forbidden_options:
+        -t: test-name selection can skip owned evidence
+        --testNamePattern: test-name selection can skip owned evidence
+        --exclude: file exclusion changes owner suite membership
+        --include: file inclusion changes owner suite membership
+        --dir: scan-root selection changes owner suite membership
+        -r: root configuration can redirect owner discovery
+        --root: root configuration can redirect owner discovery
+        -c: config selection can replace the owner configuration
+        --config: config selection can replace the owner configuration
+        --changed: change selection can skip owned evidence
+        --shard: sharding can skip owned evidence
+        --project: project selection can redirect owner execution
+        --tagsFilter: tag selection can skip owned evidence
+        --reporter: reporter selection can suppress the evidence line
+        --outputFile: output redirection can suppress the evidence line
+        --silent: output suppression can hide the evidence line
+        --hideSkippedTests: output filtering can hide owner diagnostics
+  package:
+    config: packages/cli/vite.package.config.ts
+    correction: Run `pnpm -C packages/cli verify:package`; fix package construction or the extracted-package assertion.
+
+# Deterministic simultaneous-publication and stale-lock recovery evidence remains
+# source-owned. The independent 100-repetition stale-lock race is stress-owned.
+mixed_files: []
+# Production-cap analytics, entity authority, and migration-preview wiring are intentionally
+# separate from proportional source fixtures and run through performance in
+# scheduled/release.
+
+policies:
+  targeted: [source]
+  precommit: [source]
+  fast: [source]
+  local: [source]
+  merge: [source, package]
+  scheduled: [source, stress, performance]
+  release: [source, stress, performance, package]
+
+# Task 1 classified probabilistic stale-lock repetition as scheduled/release
+# evidence after proportional deterministic lock correctness remained in source.
+# Therefore merge receives lock evidence through source, while scheduled also
+# executes the stress owner.
+
+# Pre-commit routing chooses release policy for authority and verification
+# surfaces. All other paths retain the existing targeted source routing.
+conservative_routing:
+  receipt_reuse:
+    environment: AGENTERA_PRECOMMIT_SOURCE_CANDIDATE_DIR
+    command: [node, scripts/release-qualification.mjs, source-check]
+    success: skip_source_or_release_policy_only
+    absent_or_invalid: preserve_existing_policy
+    path_is_authority: false
+  exact:
+    - .lefthook.yml
+    - protocol.yaml
+    - registry.json
+    - packages/cli/package.json
+    - packages/cli/vite.config.ts
+    - packages/cli/vite.package.config.ts
+    - packages/cli/vitest.shared.ts
+    - packages/cli/scripts/verify-lane.mjs
+    - packages/cli/scripts/performance-evidence.mjs
+    - packages/cli/scripts/overlap-pending.mjs
+    - packages/cli/test/integration/performanceOwner.integration.mjs
+    - packages/cli/scripts/build-package.mjs
+    - packages/cli/scripts/generated-output.mjs
+    - packages/cli/scripts/copy-bundle.mjs
+    - packages/cli/scripts/generate-extract-corpus-parity.mjs
+    - packages/cli/scripts/verification-barrier.mjs
+    - packages/cli/scripts/verify-generated-overlap.mjs
+    - packages/cli/scripts/observe-capability-source.mjs
+    - packages/cli/scripts/observe-runtime-artifact.mjs
+    - packages/cli/scripts/pack-package.mjs
+    - packages/cli/scripts/package-construction.mjs
+    - packages/cli/scripts/reject-direct-prepack.mjs
+    - packages/cli/scripts/publication-transaction.mjs
+    - packages/cli/scripts/release-qualification.mjs
+    - packages/cli/scripts/release-benchmark.mjs
+    - packages/cli/src/validate/activationConjunction.ts
+    - packages/cli/src/validate/activationArtifactEvidence.ts
+    - packages/cli/src/validate/activationEvidenceManifest.ts
+    - packages/cli/src/validate/activationPackageSemantics.ts
+    - packages/cli/src/validate/bootstrapAuthority.ts
+    - packages/cli/src/registries/activationTuples.ts
+    - packages/cli/src/registries/packagePublication.ts
+    - packages/cli/test/sourceSetup.ts
+    - packages/cli/test/helpers/sourceSubprocess.ts
+    - packages/cli/test/helpers/runtimeBootstrapMatrix.ts
+    - packages/cli/test/helpers/preCutoverBootstrapDispatcher.mjs
+    - packages/cli/test/helpers/runtimeProofCliBoundary.mjs
+    - references/analysis/verification-policy.yaml
+    - scripts/precommit-vitest.sh
+  prefixes:
+    - .github/workflows/
+    - packages/cli/test/packaging/
+    - references/adapters/
+    - references/artifacts/
+    - skills/

package/bundle/references/artifacts/artifact-registry-interface-model.yaml

@@ -12,19 +12,24 @@ source_of_truth:
   producer_field: meta.producer
   consumers_field: meta.consumers
   artifact_type_field: meta.artifact_type
+  implementation_status_field: meta.implementation_status
   added_contract_fields:
     display_name: >-
       Human-facing canonical artifact name used by capability schemas, docs.yaml
       mapping keys, validators, and bounded CLI override lookup.
     scope: >-
       Where the artifact lives and how path overrides may apply.
+    implementation_status: >-
+      Whether registry relationships describe shipped behavior or an explicitly
+      declared-deferred contract.
     path_template: >-
       Structured path facts when meta.path contains a placeholder or points to a
       global, archive, or local-harness location.
   single_authority_rule: >-
     Consumers may project these facts into views, but must not maintain separate
-    display-name, default-path, producer, consumer, scope, type, or special-case
-    maps outside this registry Interface and runtime docs.yaml override loading.
+    display-name, default-path, producer, consumer, scope, type, implementation
+    status, or special-case maps outside this registry Interface and runtime
+    docs.yaml override loading.
 record:
   required_groups:
     - identity
@@ -61,6 +66,7 @@ record:
       owns:
         - producer capability IDs
         - consumer capability IDs
+        - implementation status
       required_fields:
         producers: list[string]
         consumers: list[string]
@@ -89,7 +95,7 @@ record:
       owns:
         - global profile artifact
         - plan archive artifact
-        - optimera harness path
+        - optimize harness path with optimera read compatibility
         - objective-scoped path placeholders
         - global/local/project-root/project-agent-state distinctions
       required_fields:
@@ -172,6 +178,9 @@ required_artifact_identities:
     - artifact_id: vision
       display_name: VISION.md
       default_path: .agentera/vision.yaml
+    - artifact_id: glossary
+      display_name: GLOSSARY.md
+      default_path: .agentera/glossary.yaml
   project_root:
     - artifact_id: todo
       display_name: TODO.md
@@ -185,7 +194,7 @@ required_artifact_identities:
   objective_scoped:
     - artifact_id: objective
       display_name: OBJECTIVE.md
-      default_path: .agentera/optimera/<name>/objective.yaml
+      default_path: .agentera/optimize/<name>/objective.yaml
       path_template:
         placeholder: <name>
         meaning: active objective directory name
@@ -193,7 +202,7 @@ required_artifact_identities:
           - <objective-name>
     - artifact_id: experiments
       display_name: EXPERIMENTS.md
-      default_path: .agentera/optimera/<name>/experiments.yaml
+      default_path: .agentera/optimize/<name>/experiments.yaml
       path_template:
         placeholder: <name>
         meaning: active objective directory name
@@ -204,9 +213,10 @@ explicit_special_cases:
     display_name: PROFILE.md
     artifact_type: global_user_state
     scope: global_user_state
-    default_path: $PROFILERA_PROFILE_DIR/PROFILE.md
+    default_path: $AGENTERA_PROFILE_DIR/PROFILE.md
     path_template:
       env_precedence:
+        - AGENTERA_PROFILE_DIR
         - PROFILERA_PROFILE_DIR
         - XDG_DATA_HOME/agentera
         - ~/.local/share/agentera
@@ -220,11 +230,11 @@ explicit_special_cases:
       placeholder: '{date}'
       meaning: archive date or archive-safe plan suffix
     docs_yaml_can_override_path: false
-  - artifact_id: optimera_harness
+  - artifact_id: optimize_harness
     display_name: harness
     artifact_type: local_harness
     scope: local_harness
-    default_path: .agentera/optimera/<name>/harness
+    default_path: .agentera/optimize/<name>/harness
     path_template:
       placeholder: <name>
       meaning: active objective directory name
@@ -235,11 +245,11 @@ explicit_special_cases:
     display_name: benchmark_context
     artifact_type: cli_context
     scope: cli_context
-    default_path: agentera prime --context optimera --format json#benchmark_context
+    default_path: npx -y agentera@next prime --context optimize --format json#benchmark_context
     producers:
       - agentera
     consumers:
-      - optimera
+      - optimize
     docs_yaml_can_override_path: false
 consumer_permissions:
   cross_capability_validator: