@aeolus-fleet/common 0.27.0 → 0.28.0

package/dist/schemas/verified-fact.js

@@ -0,0 +1,57 @@
+import { z } from 'zod';
+import { idSchema } from '../ids/index.js';
+import { accountIdSchema } from './account-token.js';
+/**
+ * A verified fact (decision 0059): what an actor checked about a ship, stored
+ * as its writer wrote it and shown beside the ship's statement in discovery,
+ * naming the writer. One fixed shape: what was checked, from a closed list,
+ * the value the check found, and the issuer only where a value means
+ * something under one. Core checks the shape and acts on none of it.
+ */
+/**
+ * What a writer may have checked: the domain a client id document came from,
+ * the host a TLS certificate was valid for, the domain an A2A card came from,
+ * and the subject an OAuth issuer issued a credential to.
+ */
+export const VERIFIED_CHECKS = ['clientIdDocumentDomain', 'tlsHost', 'a2aCardDomain', 'oauthSubject'];
+export const verifiedCheckSchema = z.enum(VERIFIED_CHECKS);
+/** The longest value a fact holds: a domain, a host or a subject. */
+export const VERIFIED_FACT_VALUE_MAX_LENGTH = 255;
+/** The longest issuer a fact names. */
+export const VERIFIED_FACT_ISSUER_MAX_LENGTH = 2048;
+/** The most facts one writer holds about one ship. */
+export const VERIFIED_FACTS_MAX = 10;
+const valueSchema = z.string().min(1).max(VERIFIED_FACT_VALUE_MAX_LENGTH);
+/** One fact as its writer writes it: an OAuth subject with its issuer, every other check without one. */
+export const verifiedFactSchema = z.discriminatedUnion('checked', [
+    z.strictObject({ checked: z.enum(['clientIdDocumentDomain', 'tlsHost', 'a2aCardDomain']), value: valueSchema }),
+    z.strictObject({ checked: z.literal('oauthSubject'), issuer: z.string().min(1).max(VERIFIED_FACT_ISSUER_MAX_LENGTH), value: valueSchema }),
+]);
+/** The same fact twice is the same check, issuer and value. */
+function factKey(fact) {
+    return JSON.stringify([fact.checked, 'issuer' in fact ? fact.issuer : null, fact.value]);
+}
+/**
+ * Input of `fleet.setVerifiedFacts` (fleet:verify): the ship written about
+ * and the caller's facts about it, whole, each fact once; none withdraws
+ * them.
+ */
+export const setVerifiedFactsInputSchema = z.object({
+    shipId: idSchema('ship'),
+    facts: z
+        .array(verifiedFactSchema)
+        .max(VERIFIED_FACTS_MAX, `A writer holds at most ${String(VERIFIED_FACTS_MAX)} facts about a ship`)
+        .refine((facts) => new Set(facts.map(factKey)).size === facts.length, 'Each fact once'),
+});
+/** Output of `fleet.setVerifiedFacts`: nothing; the OK is the answer. */
+export const setVerifiedFactsOutputSchema = z.strictObject({});
+/** Who wrote a fact, as discovery names an actor (decision 0057): a ship by id and name, an account by its id only, or the installation. */
+export const factWriterSchema = z.discriminatedUnion('kind', [
+    z.strictObject({ kind: z.literal('ship'), id: idSchema('ship'), name: z.string() }),
+    z.strictObject({ kind: z.literal('account'), id: accountIdSchema }),
+    z.strictObject({ kind: z.literal('installation') }),
+]);
+/** A fact as discovery shows it: as written, with its writer and when it was written. */
+const writtenBy = { by: factWriterSchema, at: z.iso.datetime() };
+export const discoveredVerifiedFactSchema = z.discriminatedUnion('checked', [verifiedFactSchema.options[0].extend(writtenBy), verifiedFactSchema.options[1].extend(writtenBy)]);
+//# sourceMappingURL=verified-fact.js.map

package/dist/schemas/verified-fact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verified-fact.js","sourceRoot":"","sources":["../../src/schemas/verified-fact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAErD;;;;;;GAMG;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,wBAAwB,EAAE,SAAS,EAAE,eAAe,EAAE,cAAc,CAAU,CAAC;AAC/G,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;AAG3D,qEAAqE;AACrE,MAAM,CAAC,MAAM,8BAA8B,GAAG,GAAG,CAAC;AAElD,uCAAuC;AACvC,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC;AAEpD,sDAAsD;AACtD,MAAM,CAAC,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAErC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;AAE1E,yGAAyG;AACzG,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,kBAAkB,CAAC,SAAS,EAAE;IAChE,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,wBAAwB,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IAC/G,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,+BAA+B,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;CAC3I,CAAC,CAAC;AAGH,+DAA+D;AAC/D,SAAS,OAAO,CAAC,IAAkB;IACjC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC;IACxB,KAAK,EAAE,CAAC;SACL,KAAK,CAAC,kBAAkB,CAAC;SACzB,GAAG,CAAC,kBAAkB,EAAE,0BAA0B,MAAM,CAAC,kBAAkB,CAAC,qBAAqB,CAAC;SAClG,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC;CAC1F,CAAC,CAAC;AAEH,yEAAyE;AACzE,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;AAE/D,4IAA4I;AAC5I,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAC3D,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACnF,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,eAAe,EAAE,CAAC;IACnE,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;CACpD,CAAC,CAAC;AAEH,yFAAyF;AACzF,MAAM,SAAS,GAAG,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC;AACjE,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC,kBAAkB,CAAC,SAAS,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC"}

package/dist/trierarch/crew-settings.js

@@ -37,7 +37,7 @@ export const crewSettingsSchema = z.strictObject({
     options: z.record(z.string(), z.json()),
     /**
      * The label values a machine carries every one of for the request to go to
-     * it (#102; docs/trierarch.md, "Machine labels"): exact matches, AND. A
+     * it (#102; aeolus-fleet-trierarch's docs/trierarch.md, "Machine labels"): exact matches, AND. A
      * machine carries at most 20, so no more can match. None: any machine.
      */
     machineLabels: z.array(idSchema('labelValue')).max(SHIP_LABELS_MAX).optional(),

package/dist/trierarch/report-details.js

@@ -9,7 +9,7 @@ export const MACHINE_ARCH = ['arm64', 'amd64'];
 /** Where a trierarch runs its sessions: on the host or each in a container of its own (decision 0039). */
 export const SESSION_RUNTIMES = ['host', 'container'];
 /**
- * The details of a trierarch's report (docs/trierarch.md, "What a trierarch
+ * The details of a trierarch's report (aeolus-fleet-trierarch's docs/trierarch.md, "What a trierarch
  * reports"; decision 0028): what its machine can do, read from its local
  * configuration and what runs. The trierarch plugin places crew requests
  * from them. No entry per ship: each crew request carries its own status.
@@ -48,7 +48,7 @@ export const trierarchReportDetailsSchema = z.strictObject({
     orphans: z.array(z.strictObject({ repository: worktreeFolderNameSchema, name: worktreeFolderNameSchema })),
     /**
      * The machine it runs on, for the trierarch plugin to label its ship by
-     * (docs/trierarch.md, "Machine labels"): an os or arch outside the known
+     * (aeolus-fleet-trierarch's docs/trierarch.md, "Machine labels"): an os or arch outside the known
      * ones is left out. None from a trierarch before 0.20.0.
      */
     machine: z.strictObject({ os: z.enum(MACHINE_OS).optional(), arch: z.enum(MACHINE_ARCH).optional() }).optional(),

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aeolus-fleet/common",
-  "version": "0.27.0",
+  "version": "0.28.0",
   "description": "Shared schemas and ids for Aeolus packages.",
   "keywords": [
     "aeolus"
@@ -18,12 +18,10 @@
   },
   "exports": {
     ".": {
-      "@aeolus-fleet/source": "./src/index.ts",
       "types": "./dist/index.d.ts",
       "default": "./dist/index.js"
     },
     "./rules": {
-      "@aeolus-fleet/source": "./src/rules/index.ts",
       "types": "./dist/rules/index.d.ts",
       "default": "./dist/rules/index.js"
     }