Add one typed JSPACE edge with provenance event.

Add one typed JSPACE hyperedge / n-way semantic relation with provenance.

Record actual adoption of a global mutation by an agent, distinct from mere delivery/visibility.

Cold-start AGENT_BOOT_V1 with an automatic Message Board handshake. A task-only tool call observes shared-current coordination without claiming work; explicit work_key/targets/claim mode or explicit coordination_mode=AUTO crosses the start-work boundary and may establish/reuse presence. Duplicate claimed work holds.

Refresh AGENT_BOOT_V1 and its Message Board projection. Existing session coordination intent is preserved; new explicit work coordinates activate AUTO claiming, while observer sessions remain read-only unless promoted deliberately.

Create a distinct antibody variant within the parent's family with optional expiry.

Execute stored failure-antibody unittest witnesses in a restricted repository-owned subprocess; no arbitrary shell/command refs are accepted.

Record success, failure, false positive, regression pass or regression failure for a known failure antibody.

Rank matching antibody variants by semantic match, empirical repair/regression reliability, status and expiry.

Execute the newest registered T_ij for a subject using LOOKUP or the safe declarative transform DSL; compare against an independently resolved target when available and optionally persist a derived coordinate.

Compose and execute a coordinate route C_i0->...->C_ik. Closed routes automatically measure holonomy only when every edge is derivational; LOOKUP-containing loops are marked N/A rather than falsely promoted.

Transport witnessed approximation error through a caller-declared Lipschitz envelope consistent with supplied witness pairs. Geometric nearest, global-envelope, and radius-eligible transport witnesses remain distinct; certificate is conditional on the declared bound.

Assign KEEP_ACTIVE/KEEP_REFERENCE/DORMANT/QUARANTINE/PRUNE_REFERENCE while preserving lineage and downstream dependencies.

Update one regime/action posterior from an explicit observed reward; predictions never train themselves.

Select an organization/action experiment using a diagonal contextual-UCB posterior with local-regime evidence, cross-regime transfer, uncertainty, and a V3 policy prior.

Exactly solve a bounded finite-horizon POMDP with a static uncertain model index when the full joint model-state tree completes. PLAN_ONLY.

Update full-covariance Bayesian contextual state from one explicit observed reward; retains pre-update prediction for calibration.

Full-covariance Bayesian contextual prediction with empirical interval calibration. Posterior/intervals remain model-conditional.

One-step finite-belief controller combining immediate utility, expected next decision utility and information value. PLAN_ONLY.

Bayes-update a finite belief from explicit per-model likelihoods for one actual declared observation.

Build an exact finite-model/outcome belief-policy tree for bounded horizon <=3. PLAN_ONLY; no belief mutation.

Register/reset a finite discrete model belief state with normalized priors. Model belief is not canonical truth.

Read the current finite model belief distribution and entropy.

Return live substrate counts and head state for regression/telemetry.

Return an assembly/function packet. T4 preserves the supplied 15-part USER_VISUAL BOM separately from the primary-source-conditioned infection transition sequence; other machines return generic functional modules rather than fabricated native molecular subunit inventories.

Return the stable 12-archetype/14-seed BNMK catalog. V2 additive fields report 20 source-backed adapters, 20 primary sources, 15 conditioned quantitative claims, bounded expansions, operator phylogeny and optional evidence packets. User seed numbers remain distinct from verified empirical constants.

Compile one known BNMK machine into the source-backed 4D/12D/KC144 contract with primary-source witness, conditioned quantitative claims, state cycle and row associations. Unknown IDs HOLD rather than fabricating a classification.

Evaluate only caller-supplied convergence/stability witnesses: nth-term limit, ratio/root limit, contraction constant, or spectral radius. Assumption-incompatible or inconclusive values return HOLD; V2 does not change these V1 semantics.

Score a normalized producer/consumer interface profile over rate, latency, error tolerance, statefulness, reversibility and coupling. Smith-chart-inspired compatibility proxy; not physical electrical impedance.

Map a source-backed biological mechanism into a target ATHENA problem as explicit COMPUTATIONAL_ANALOGY. Primary-source support improves the mechanism model but never grants execution authority or causal equivalence.

List branch lifecycle states, optionally filtered by ACTIVE/HIBERNATED/REVIEW.

Record one witnessed calibrated branch reward observation and apply EWMA hibernation/resurrection policy.

Move a hibernated branch into REVIEW only from a verified new_evidence/new_gap/bridge_demand trigger.

Read branch lifecycle state for one branch, optionally on one metric basis.

Apply living-bridge cost accounting: build only when future routing/reuse/quality/resilience value exceeds build, maintenance and locked-capacity cost.

Persist one measured organization/resource budget observation. Token/compute dimensions are accepted only when supplied by an observable client.

Allocate tasks to workers using demand x capability fit x availability x measured efficiency subject to observable remaining budgets; unknown cost is penalized, not invented.

Summarize persistent resource observations plus automatically metered MCP tool-call wall time.

Cross-fitted AIPW estimate for binary treatment with linear outcome nuisances, logistic propensity, influence-function SE and CI. Assumption-scoped.

Estimate an assumption-scoped linear BACKDOOR, IV-Wald, or FRONTDOOR mediation effect from explicit numeric samples. Estimation never proves identification.

Search for a valid minimal back-door adjustment set in a caller-supplied causal DAG using d-separation. Identification is conditional on supplied graph/assumptions.

Perform supplied-DAG conditional identification for BACKDOOR, FRONTDOOR or INSTRUMENT criteria. Results are conditional on graph/observed-node/assumption correctness.

Leave-one-adjustment-out robustness diagnostic around V8 linear back-door estimate. Not a formal hidden-confounding bound.

Generate a heuristic observational association skeleton and candidate v-structures using marginal/one-variable partial-correlation thresholds. Hypothesis generation only.

Bootstrap the V7 heuristic association skeleton and return stable undirected/v-structure candidates. Stability is not causal probability.

Cross-fitted binary-treatment/binary-outcome TMLE with logistic nuisance fits, targeting fluctuation and influence-curve interval. Assumption-scoped.

Binary-treatment/binary-outcome TMLE with deterministic cross-fitted validation-weighted linear/quadratic logistic nuisance ensemble. Assumption-scoped.

Select a value-maximizing small finite candidate subset subject to independent-Gaussian one-sided resource chance constraints; exact only under declared finite-model assumptions.

Record a material verified challenge. Noncanonical claims return to ?/CHALLENGED; canonical claims remain #/CANONICAL_CHALLENGED and block automatic routing.

List claim authority heads, optionally filtering by Y or challenge status.

Advance exactly one authority step. ?->+ requires verified evidence; +->! witnessed execution; !-># explicit canonical authority.

Register or reuse persistent claim authority head at Y='?'. Authority is distinct from confidence, truth, consensus, pheromone and reward.

Resolve CANONICAL_CHALLENGED through explicit authorized UPHOLD or DEMOTE governance.

Read current typed authority state and witness history pointers for one claim.

Build and persist a Message Board-backed campaign/coalition proposal over multiple active NEEDs. The proposal greedily respects explicit OFFER capacity and is advisory only; it creates no presence, claims, party membership, scheduler authority, or execution authority.

Read shared-current Message Board claims and classify exact work-key/task/target collisions, fuzzy warnings, declared JOIN/REPLICA intent, and target-only partition evidence into non-authoritative treatment options. This tool never mutates claims, auto-joins, assigns work, fabricates MATA semantics, or grants execution authority.

Advisory deterministic matchmaking for one active NEED using explicit active OFFER envelopes, Message Board presence/claim state, capability fit, dependency unlock, capacity, and collision risk. It never creates a claim, assignment, party membership, or truth authority.

Publish an idempotent typed NEED/OFFER envelope through Message Board V1. The publishing agent must already have active shared-board presence. This does not assign work.

Evidence-gated matched descriptive comparison of SOLO versus PARTY mission samples under a supplied predeclared rule. Weak/ambiguous matching returns UNKNOWN. A rule pass is descriptive observed evidence only, not a causal effect claim or canonical promotion witness.

Allocate tasks by demand × capability fit × available capacity rather than equal participation.

Score a concrete group organization with explicit cost/output vectors and return-on-group-organization; exposes dense-connectivity, duplication, switching, contagion and maintenance penalties.

Evaluate collective homeostasis and emit concrete corrective actions for saturation, duplication, latency, error, staleness, contagion, reserve depletion, weak evidence, bridge overhead and coordination drag.

Select HIVE/SWARM/PACK/FLOCK/HERD/POD geometry, right-size active workers by marginal utility, preserve reserve capacity, allocate roles/topology, and return a COLLECTIVE coordinate packet.

Run evidence-sensitive quorum selection with explicit cross-inhibition, contradiction blocking, risk-dependent threshold and required winning margin; consensus alone cannot commit.

Choose FISSION/FUSE/HOLD from coordination pressure, contagion, cohesion, complementarity, duplicate work, shared dependencies and identity conflict.

Conditional object mutation. Rejects stale expected VID instead of creating a shadow mutation.

Build a depth-1 outcome-contingent action policy under the current finite belief and one supplied experiment. DESIGN_ONLY.

Read an exact half-open UTC window of already-persisted rehydration receipts/events and Message Board events. Returns raw tracked source records with Git blob, exact-byte SHA-256, canonical-record SHA-256, and deterministic trace identities. This tool is read-only and performs no assay classification, behavioral inference, causal attribution, or promotion.

Return the full chart-to-chart transform matrix, resolved coordinate subset, transform coverage, closed transform triangles and holonomy observations for an optional subject.

Rank candidate organizations using base RGO, empirical calibration, bounded learned policy, risk and budget pressure without committing topology.

Assign uncertainty-bearing intervention credit from an observed outcome delta. Weak designs remain associational; residual outcome is preserved.

Summarize persisted intervention credit and causal-confidence history.

Compile one visible output into a complete ATHENA crystal: identity/version/manifestation, exact lexeme coordinates, KC144, JSPACE, SCALE, lineage/time/liminal coordinates, open-world polyatlas, math objects, graph/hypergraph deltas and RETURN.

Advance a CYCLE.1 through as many real internal phases as possible, merging newly supplied witnessed inputs. Semantic boundaries stop with typed WAITING_* state instead of simulating measurements, execution or tests.

List recent CYCLE.1 runs and typed ACTIVE/WAITING/COMPLETE status without expanding full state.

Verify the stored cycle state digest and deterministic replay/integrity receipts of persisted RAG/HUG-packet/GAP/FIELD/AOR/transport child runs. External semantic execution/test truth is not re-simulated.

Start a persisted ATHENA.CYCLE.1 whole-organism run from a task seed and explicit phase configuration. Starting creates state only; it does not claim later semantic phases executed.

Fetch one persisted CYCLE.1 state, phase artifacts, wait requirements, public phase-event receipts and RETURN state.

Rank finite candidate experiments by expected improvement in downstream decision utility under the current belief. DESIGN_ONLY.

Estimate expected value of perfect information by Monte Carlo under the declared Gaussian linear belief and utility model.

Estimate expected value of sample information for finite Gaussian linear experiment designs. DESIGN_ONLY.

Persist one confidence-weighted delayed action credit with explicit temporal discount; delay alone is not causation.

Summarize delayed confidence-weighted credit by action.

Resolve an OID/CID/name/CRYS identifier through identity, version lineage, manifestations, all coordinate charts, JSPACE edges/hyperedges, math objects, crystal versions and RETURN routes.

Propagate a failure/change alarm only over explicit influence/dependency edges with weight, hop decay, threshold and bounded radius.

Compile a PLAN_ONLY source-bound, digest-pinned, isolated-canary, CAS single-writer cutover. It never deploys or grants cutover authority.

Evaluate supplied external canary observations. Missing metrics HOLD; thin sample/window evidence ROLLBACK; failed health/error/latency/restart gates ROLLBACK.

Evaluate a supplied single-writer quiescence observation against exact current-image and state-snapshot coordinates. PASS validates supplied evidence only; it does not stop a writer, install a fence, verify a snapshot, or contact production.

Bind a PLAN_ONLY activation plan, checksum-valid isolated canary witness, supplied quiescence observation, and authority reference into ATHENA.CUTOVER.HOLD.1. The result cannot deploy, resolve secrets, mutate state, stop/start a writer, or activate traffic.

Return ATHENA.DEPLOYMENT.2: exact OCI identity, source-head binding, single-writer persistence, secure HTTP host, canary, CAS cutover, rollback, and receipt laws. Surface availability is not activation evidence.

Fail-closed validation of ATHENA.DEPLOYMENT.BUNDLE.2 intent without contacting infrastructure, resolving secrets, or moving traffic.

Replay an ATHENA.CUTOVER.HOLD.1 packet against exact expected bindings. PASS verifies supplied packet bytes only and is not current cluster observation, authority verification, cutover, or an activation receipt.

Replay the exact plan/image/source/state bindings of a supplied activation receipt. PASS verifies receipt structure, not independent cluster observation.

Return learned/shrunk token-artifact-module-domain-system diffusion coefficients with reliability and causal-weight metadata.

Record observed utility of pheromone transfer between two scales and update a shrinkage-learned diffusion coefficient.

Register a V6 science-shadow claim record without mutating Y1 canonical claim authority.

Summarize independent V6 science-shadow witness groups. Evidential metadata only; no Y1 canonical rewrite.

Attach a SUPPORTS/FALSIFIES/INCONCLUSIVE science-shadow witness with an explicit independence key. This never promotes Y1 authority.

Select a finite candidate subset under correlated Gaussian resource covariance plus ellipsoidal mean ambiguity; exact enumeration only below the declared threshold.

Bounded proxy dual-control planner combining control reward, transition-parameter information value and predictive risk. PLAN_ONLY; execute first action then observe/replan.