feat(knowledge): bind domain handoff to signer snapshot
This commit is contained in:
parent
323ceb58c7
commit
5054d4620f
4 changed files with 187 additions and 1 deletions
|
|
@ -5,12 +5,14 @@ import {
|
|||
domainManifestSigningBytes,
|
||||
evaluateDomainAccess,
|
||||
parseDomainAccessHandoff,
|
||||
verifyDomainAccessHandoffFromSnapshot,
|
||||
} from './domain-access.js';
|
||||
import {
|
||||
parseTrustedManifestSignerRegistry,
|
||||
resolveTrustedManifestSigner,
|
||||
type TrustedManifestSigner,
|
||||
} from './trusted-signer-registry.js';
|
||||
import { TrustedSignerSnapshotLoader } from './trusted-signer-snapshot.js';
|
||||
|
||||
const NOW = 1_786_291_200_000;
|
||||
const COMMIT = 'b'.repeat(40);
|
||||
|
|
@ -84,6 +86,62 @@ const verifiedHandoff = parseDomainAccessHandoff(
|
|||
NOW,
|
||||
);
|
||||
|
||||
const SNAPSHOT_COMMIT = 'a'.repeat(40);
|
||||
const SNAPSHOT_ANCHOR_URL = 'https://guanghulab.com/api/ai/v1/anchor';
|
||||
const SNAPSHOT_REGISTRY_URL = `https://guanghulab.com/code/bingshuo/guanghu-ice-heart/raw/commit/${SNAPSHOT_COMMIT}/routing/trusted-domain-manifest-signers.json`;
|
||||
|
||||
function snapshotAnchor() {
|
||||
return {
|
||||
schema: 'guanghu.public-navigation-anchor/v1',
|
||||
anchor_id: 'GLW-PUBLIC-NAV-ANCHOR-001',
|
||||
state: 'CURRENT_CANONICAL',
|
||||
repository_id: 'REPO-012',
|
||||
branch: 'main',
|
||||
public_entry: SNAPSHOT_ANCHOR_URL,
|
||||
code_entry: 'https://guanghulab.com/code/bingshuo/guanghu-ice-heart',
|
||||
maps: {
|
||||
trusted_domain_manifest_signers: {
|
||||
path: 'routing/trusted-domain-manifest-signers.json',
|
||||
id: 'GH-AIOS-TRUSTED-DOMAIN-MANIFEST-SIGNERS-001',
|
||||
version: '1.0.0',
|
||||
},
|
||||
},
|
||||
navigation_source: {
|
||||
anchor_id: 'GLW-PUBLIC-NAV-ANCHOR-001',
|
||||
source_commit: SNAPSHOT_COMMIT,
|
||||
source_mode: 'REPO-012_MAIN_GIT_SNAPSHOT',
|
||||
source_degraded: false,
|
||||
},
|
||||
};
|
||||
}
|
||||
|
||||
function snapshotRegistry(signers: unknown[] = [{
|
||||
algorithm: 'Ed25519',
|
||||
domainIds: ['DOM-FIFTH-0001'],
|
||||
publicKeyPem: publicKey.export({ format: 'pem', type: 'spki' }).toString(),
|
||||
repositoryId: 'REPO-014',
|
||||
signerId: 'GH-LIGHTHOUSE-001',
|
||||
status: 'ACTIVE',
|
||||
}]) {
|
||||
return {
|
||||
registryId: 'GH-AIOS-TRUSTED-DOMAIN-MANIFEST-SIGNERS-001',
|
||||
schema: 'gh-aios.trusted-domain-manifest-signers/v1',
|
||||
signers,
|
||||
state: 'CURRENT',
|
||||
version: '1.0.0',
|
||||
};
|
||||
}
|
||||
|
||||
function snapshotLoader(readRegistry: () => unknown) {
|
||||
return new TrustedSignerSnapshotLoader({
|
||||
async fetchJson(url) {
|
||||
if (url === SNAPSHOT_ANCHOR_URL) return snapshotAnchor();
|
||||
if (url === SNAPSHOT_REGISTRY_URL) return readRegistry();
|
||||
throw new Error('unexpected_url');
|
||||
},
|
||||
});
|
||||
}
|
||||
|
||||
test('a local workspace remains available without claiming domain runtime access', () => {
|
||||
const status = evaluateDomainAccess({ accountVerified: false, domainId: 'DOM-FIFTH-0001', nodeId: '' }, NOW);
|
||||
assert.equal(status.localWorkspaceAllowed, true);
|
||||
|
|
@ -114,6 +172,77 @@ test('runtime access requires matching manifest, scoped capability and online re
|
|||
assert.deepEqual(status.blockers, []);
|
||||
});
|
||||
|
||||
test('the runtime handoff entry resolves its signer only from a loaded snapshot', async () => {
|
||||
const snapshot = await snapshotLoader(() => snapshotRegistry()).refresh();
|
||||
const verified = verifyDomainAccessHandoffFromSnapshot(
|
||||
validHandoff,
|
||||
'DOM-FIFTH-0001',
|
||||
'LOCAL-001',
|
||||
{ repositoryId: 'REPO-014', signerId: 'GH-LIGHTHOUSE-001' },
|
||||
snapshot,
|
||||
NOW,
|
||||
);
|
||||
|
||||
assert.equal(verified.trustSource.status, 'CURRENT');
|
||||
assert.equal(verified.trustSource.sourceCommit, SNAPSHOT_COMMIT);
|
||||
assert.equal(evaluateDomainAccess({
|
||||
accountVerified: true,
|
||||
domainId: 'DOM-FIFTH-0001',
|
||||
nodeId: 'LOCAL-001',
|
||||
...verified.handoff,
|
||||
}, NOW).runtimeReady, true);
|
||||
});
|
||||
|
||||
test('an empty, forged or mismatched snapshot cannot open the runtime handoff', async () => {
|
||||
const empty = await snapshotLoader(() => snapshotRegistry([])).refresh();
|
||||
assert.throws(() => verifyDomainAccessHandoffFromSnapshot(
|
||||
validHandoff,
|
||||
'DOM-FIFTH-0001',
|
||||
'LOCAL-001',
|
||||
{ repositoryId: 'REPO-014', signerId: 'GH-LIGHTHOUSE-001' },
|
||||
empty,
|
||||
NOW,
|
||||
), /domain_access_handoff_invalid/);
|
||||
|
||||
const loaded = await snapshotLoader(() => snapshotRegistry()).refresh();
|
||||
assert.throws(() => verifyDomainAccessHandoffFromSnapshot(
|
||||
validHandoff,
|
||||
'DOM-FIFTH-0001',
|
||||
'LOCAL-001',
|
||||
{ repositoryId: 'REPO-014', signerId: 'GH-LIGHTHOUSE-001' },
|
||||
{ ...loaded },
|
||||
NOW,
|
||||
), /domain_access_handoff_invalid/);
|
||||
assert.throws(() => verifyDomainAccessHandoffFromSnapshot(
|
||||
validHandoff,
|
||||
'DOM-FIFTH-0001',
|
||||
'LOCAL-001',
|
||||
{ repositoryId: 'REPO-OTHER', signerId: 'GH-LIGHTHOUSE-001' },
|
||||
loaded,
|
||||
NOW,
|
||||
), /domain_access_handoff_invalid/);
|
||||
});
|
||||
|
||||
test('a clearly degraded last-known-good snapshot remains usable without claiming freshness', async () => {
|
||||
let registry: unknown = snapshotRegistry();
|
||||
const loader = snapshotLoader(() => registry);
|
||||
await loader.refresh();
|
||||
registry = { ...snapshotRegistry(), version: 'invalid' };
|
||||
const degraded = await loader.refresh();
|
||||
|
||||
const verified = verifyDomainAccessHandoffFromSnapshot(
|
||||
validHandoff,
|
||||
'DOM-FIFTH-0001',
|
||||
'LOCAL-001',
|
||||
{ repositoryId: 'REPO-014', signerId: 'GH-LIGHTHOUSE-001' },
|
||||
degraded,
|
||||
NOW,
|
||||
);
|
||||
assert.equal(verified.trustSource.status, 'DEGRADED_LAST_KNOWN_GOOD');
|
||||
assert.equal(verified.trustSource.reason, 'REGISTRY_INVALID');
|
||||
assert.equal(verified.trustSource.sourceCommit, SNAPSHOT_COMMIT);
|
||||
});
|
||||
|
||||
test('mismatched or expired evidence fails closed', () => {
|
||||
const status = evaluateDomainAccess({
|
||||
accountVerified: true,
|
||||
|
|
|
|||
Loading…
Reference in a new issue