arkgate 4.7.6 → 4.8.1

package/bin/lib/skill-install.mjs

@@ -136,8 +136,13 @@ export function resolveTools(args) {
   if (fs.existsSync(path.join(root, '.cursor'))) detected.add('cursor');
   if (fs.existsSync(path.join(root, '.codex'))) detected.add('codex');
   if (fs.existsSync(path.join(root, '.grok'))) detected.add('grok');
-  // Antigravity project hooks (distinct from Codex-only `.agents/skills`).
-  if (fs.existsSync(path.join(root, '.agents', 'hooks.json'))) detected.add('antigravity');
+  // Antigravity project hooks or official workspace MCP (distinct from Codex-only `.agents/skills`).
+  if (
+    fs.existsSync(path.join(root, '.agents', 'hooks.json')) ||
+    fs.existsSync(path.join(root, '.agents', 'mcp_config.json'))
+  ) {
+    detected.add('antigravity');
+  }
   if (
     fs.existsSync(path.join(root, 'opencode.json')) ||
     fs.existsSync(path.join(root, 'opencode.jsonc')) ||
@@ -167,6 +172,16 @@ export function resolveTools(args) {
   ) {
     detected.add('grok');
   }
+  // Same idea as Grok env markers: opening Antigravity has no `.agents/hooks.json` yet.
+  if (
+    envTruthy(process.env.ANTIGRAVITY) ||
+    envTruthy(process.env.AGY) ||
+    process.env.ANTIGRAVITY_WORKSPACE ||
+    process.env.AGY_WORKSPACE ||
+    /antigravity/i.test(String(process.env.TERM_PROGRAM ?? ''))
+  ) {
+    detected.add('antigravity');
+  }
   // No signal at all: fall back to a complete starter set including Grok (field
   // log: default claude+cursor+codex silently omitted Grok skills for Grok hosts).
   if (detected.size === 0) {

package/bin/lib/start-preview.mjs

@@ -29,6 +29,7 @@ const COMPACT_HOST_TEMPLATES = {
   ],
   antigravity: (root) => [
     ['.agents/hooks.json', antigravityHooks(root)],
+    ['.agents/mcp_config.json', mcpJson(root)],
     ['.mcp.json', mcpJson(root)],
   ],
   cursor: (root) => [

package/bin/lib/status-manifest.mjs

@@ -246,7 +246,7 @@ export function resolveStatusNextAction(facts, binding, activation, lastCheck, r
     if (facts.arkRun?.present === true && (facts.arkRun.residual ?? 0) > 0) {
         return {
             id: 'review-arkrun-residual',
-            summary: 'ArkRun residual remains — wire kernel usage or declarations through @arkgate/runtime. Not a score.',
+            summary: 'ArkRun residual remains — wire kernel usage or declarations through arkgate/runtime. Not a score.',
         };
     }
     if (facts.adopted === 'required-merge' || facts.adopted === 'advisory-only-acked') {

package/bin/lib/write-path-capabilities.mjs

@@ -464,8 +464,8 @@ export function detectWritePathInventory(root) {
     ),
     antigravity: hostRecord(
       antigravityHook.hard,
-      // Shared project MCP (.mcp.json) is the common advisory surface; hooks own hard write.
-      mcpEvidence(root, '.mcp.json'),
+      // Official workspace MCP. Shared `.mcp.json` is not loaded by Antigravity.
+      mcpEvidence(root, '.agents/mcp_config.json'),
       antigravityHook.repair,
       merge
     ),

package/dist/{configTypes-CgJimx9o.d.ts → configTypes-BdCe_gvv.d.ts}

@@ -2,11 +2,11 @@
  * Type vocabulary for the ark.config.json contract (U02 pilot 1).
  *
  * Pure declarations only — no runtime values. The loader/validator logic and the
- * published JSON Schema live in ./configContract.ts, whose generated CLI artifact
- * must stay self-contained: type-only imports/exports are erased on transpile, so
- * this split never reaches bin/lib/config-contract.mjs.
+ * published JSON Schema live in ./configContract.ts. Extra defaulting lives in
+ * ./configExtras.ts (generated sibling `config-extras.mjs`). Type-only imports
+ * from this file are erased on transpile.
  */
-type ArkConfigSchemaVersion = '1.0' | '1.1' | '1.2';
+type ArkConfigSchemaVersion = '1.0' | '1.1' | '1.2' | '1.3';
 type ArkConfigCyclePolicy = 'strict' | 'soft' | 'framework-soft' | 'off';
 type ArkConfigLayerCapabilities = {
     deny?: string[];
@@ -60,8 +60,22 @@ type ArkConfigArkRunMode = 'advisory' | 'enforced';
 type ArkConfigArkRun = {
     mode: ArkConfigArkRunMode;
     compositionRoots: string[];
+    kernelRoots?: string[];
     managedLayers: string[];
     requireDeclarations: boolean;
+    ignoreDirectNewForErrors?: boolean;
+};
+/** ADR 0027 — advisory never adds merge teeth; enforced is the extra's merge plane. */
+type ArkConfigArkOrderMode = 'advisory' | 'enforced';
+/**
+ * ADR 0027 — optional inline ArkOrder extra (schema 1.3+). Absence is silent.
+ * Present objects are fully defaulted by the loader.
+ */
+type ArkConfigArkOrder = {
+    mode: ArkConfigArkOrderMode;
+    planeRoots: string[];
+    managedLayers: string[];
+    maxXiKeys: number;
 };
 type ArkConfig = {
     $schema: string;
@@ -80,6 +94,8 @@ type ArkConfig = {
     arkRules?: ArkConfigArkRulesRefs;
     /** ADR 0020 — optional ArkRun extra (schema 1.2+). Absence changes no Layers/ArkRules verdict. */
     arkRun?: ArkConfigArkRun;
+    /** ADR 0027 — optional ArkOrder extra (schema 1.3+). Absence changes no Layers/ArkRules/ArkRun verdict. */
+    arkOrder?: ArkConfigArkOrder;
     /**
      * Optional GitHub handles or emails who may loosen the contract or grow the baseline.
      * Metadata — excluded from policy hash. Absence means no steward lock (policy-ack still applies).
@@ -91,10 +107,10 @@ type ArkConfigIssue = {
     message: string;
 };
 /** Original input version when the loader rewrote schemaVersion toward current. */
-type ArkConfigMigratedFrom = 'unversioned' | '1.0' | '1.1' | null;
+type ArkConfigMigratedFrom = 'unversioned' | '1.0' | '1.1' | '1.2' | null;
 type ArkConfigLoadResult = {
     config: ArkConfig;
     migratedFrom: ArkConfigMigratedFrom;
 };
 
-export type { ArkConfig as A, ArkConfigRule as a, ArkConfigSchemaVersion as b, ArkConfigLoadResult as c, ArkConfigLayer as d, ArkConfigIssue as e, ArkConfigArkRun as f };
+export type { ArkConfig as A, ArkConfigRule as a, ArkConfigSchemaVersion as b, ArkConfigLoadResult as c, ArkConfigIssue as d, ArkConfigArkRun as e, ArkConfigLayer as f, ArkConfigArkOrder as g };