@lapxo/bound 0.2.4 → 0.2.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CITATION.cff +1 -1
- package/README.md +20 -3
- package/TARGET.bound +85 -47
- package/dist/cli/accept.js +61 -590
- package/dist/cli/act-result.js +3 -103
- package/dist/cli/args.js +3 -44
- package/dist/cli/custodian.js +2 -29
- package/dist/cli/host.js +4 -32
- package/dist/cli/names.js +1 -12
- package/dist/cli/native-descendant.js +1 -19
- package/dist/cli/native.js +3 -60
- package/dist/cli/observe.js +1 -13
- package/dist/cli/owner.js +3 -139
- package/dist/cli/pass.js +22 -321
- package/dist/cli/place.js +6 -282
- package/dist/cli/release-result.js +3 -80
- package/dist/cli/retained-judgment.js +1 -25
- package/dist/cli/standing-result.js +4 -19
- package/dist/cli/takes.js +10 -112
- package/dist/cli/verb.d.ts +1 -2
- package/dist/cli/verb.js +85 -684
- package/dist/engine/computation.js +2 -0
- package/dist/engine/conformance.js +4 -0
- package/dist/engine/encoding.js +1 -2
- package/dist/engine/index.d.ts +1 -13
- package/dist/engine/index.js +2 -11
- package/dist/engine/object.js +1 -38
- package/dist/engine/ports.js +2 -117
- package/dist/fold/admission-history.js +1 -17
- package/dist/fold/bootstrap-anchor.js +1 -28
- package/dist/fold/ceilings.js +1 -142
- package/dist/fold/claims.js +2 -132
- package/dist/fold/closed.js +24 -235
- package/dist/fold/configures.js +1 -25
- package/dist/fold/digests.js +10 -226
- package/dist/fold/evidence.js +1 -22
- package/dist/fold/fold-worker.js +1 -13
- package/dist/fold/kept.js +12 -173
- package/dist/fold/keys.js +3 -91
- package/dist/fold/laid.js +3 -90
- package/dist/fold/nos.js +1 -48
- package/dist/fold/object.js +1 -2
- package/dist/fold/observed.js +28 -534
- package/dist/fold/opened.js +1 -33
- package/dist/fold/own.js +3 -217
- package/dist/fold/paid.js +1 -92
- package/dist/fold/place-inputs.js +1 -70
- package/dist/fold/places.js +3 -100
- package/dist/fold/rank.js +1 -9
- package/dist/fold/reach.js +1 -83
- package/dist/fold/readers.js +6 -142
- package/dist/fold/receipts.js +1 -47
- package/dist/fold/region-declarations.js +1 -13
- package/dist/fold/region.js +8 -286
- package/dist/fold/release-policy.js +1 -101
- package/dist/fold/resolved.js +6 -145
- package/dist/fold/roles.js +2 -59
- package/dist/fold/second.js +4 -71
- package/dist/fold/shards.js +12 -100
- package/dist/fold/signed.js +3 -81
- package/dist/fold/signers.js +1 -54
- package/dist/fold/stranger.js +6 -24
- package/dist/fold/views.js +1 -66
- package/dist/fold/wire.js +1 -46
- package/dist/fold/zoom.js +3 -81
- package/dist/host/act-cost.js +1 -25
- package/dist/host/adapters/keys/ed25519.js +1 -30
- package/dist/host/adapters/modules/javascript.js +1 -50
- package/dist/host/adapters/transport/http.js +1 -28
- package/dist/host/admitted-place.js +1 -35
- package/dist/host/archive.js +1 -152
- package/dist/host/call-context.js +1 -14
- package/dist/host/capsule-process.js +2 -62
- package/dist/host/capsule.js +9 -171
- package/dist/host/cell-receipts.js +12 -128
- package/dist/host/command-server.js +4 -0
- package/dist/host/commit-result.js +1 -5
- package/dist/host/content-needed.js +1 -8
- package/dist/host/content-store.js +1 -31
- package/dist/host/contextual-place.js +2 -72
- package/dist/host/digest.js +2 -15
- package/dist/host/hash.js +1 -9
- package/dist/host/host-controls.js +1 -19
- package/dist/host/in-process-act.js +3 -84
- package/dist/host/in-process-context.js +3 -91
- package/dist/host/in-process-root.js +6 -84
- package/dist/host/in-process.js +4 -55
- package/dist/host/index.d.ts +1 -15
- package/dist/host/index.js +1 -7
- package/dist/host/io.js +1 -11
- package/dist/host/lifetime.js +1 -79
- package/dist/host/located.js +6 -105
- package/dist/host/native/authority-card-view.js +5 -0
- package/dist/host/native/authority-card.js +1 -0
- package/dist/host/native/bounded-file.js +1 -32
- package/dist/host/native/command.js +1 -91
- package/dist/host/native/control-bridge-worker.js +2 -88
- package/dist/host/native/control-bridge.js +1 -110
- package/dist/host/native/control-selection.js +1 -32
- package/dist/host/native/custody.js +1 -91
- package/dist/host/native/deadline.js +1 -28
- package/dist/host/native/descendants.js +1 -528
- package/dist/host/native/generated-custodian.js +5 -267
- package/dist/host/native/generated.js +1 -379
- package/dist/host/native/image.js +1 -45
- package/dist/host/native/installed-package.d.ts +1 -0
- package/dist/host/native/installed-package.js +5 -0
- package/dist/host/native/jobs.js +2 -148
- package/dist/host/native/loader.js +1 -269
- package/dist/host/native/materialize.js +1 -175
- package/dist/host/native/module-closure.js +1 -130
- package/dist/host/native/module-delivery.d.ts +1 -62
- package/dist/host/native/module-delivery.js +1 -151
- package/dist/host/native/module-inventory.js +2 -0
- package/dist/host/native/module-syntax.js +1 -69
- package/dist/host/native/native-binary.js +1 -115
- package/dist/host/native/native-program.js +1 -72
- package/dist/host/native/node-jobs.js +3 -187
- package/dist/host/native/node-launch.js +1 -159
- package/dist/host/native/preload.js +1 -45
- package/dist/host/native/probes.js +1 -0
- package/dist/host/native/reading-witness-admission.js +5 -0
- package/dist/host/native/reading.js +1 -249
- package/dist/host/native/receipt-environment.js +1 -41
- package/dist/host/native/references.js +1 -30
- package/dist/host/native/root.js +1 -37
- package/dist/host/native/route.js +1 -216
- package/dist/host/native/runtime.js +1 -9
- package/dist/host/native-place-state.js +1 -0
- package/dist/host/native-reader-context.js +1 -8
- package/dist/host/native-receiver.js +1 -25
- package/dist/host/objects.js +1 -38
- package/dist/host/order.js +1 -2
- package/dist/host/persistent-host.js +1 -0
- package/dist/host/physical-lines.d.ts +1 -0
- package/dist/host/physical-lines.js +1 -0
- package/dist/host/place-act-transaction.js +4 -78
- package/dist/host/place-clock-selection.js +5 -124
- package/dist/host/ports/ingress.js +2 -57
- package/dist/host/ports/local-act.js +5 -183
- package/dist/host/ports/place-act.js +1 -134
- package/dist/host/ports/publication.js +1 -56
- package/dist/host/ports/signing.js +1 -74
- package/dist/host/ports/store.js +1 -18
- package/dist/host/ports/transport.js +1 -48
- package/dist/host/process-lifetime.js +1 -17
- package/dist/host/profile-composition.d.ts +1 -0
- package/dist/host/profile-composition.js +2 -0
- package/dist/host/provide.js +1 -183
- package/dist/host/read-only.js +1 -9
- package/dist/host/reading-closures.js +7 -227
- package/dist/host/reading-context.js +1 -53
- package/dist/host/reading-identity-types.js +0 -0
- package/dist/host/reading-identity.js +3 -0
- package/dist/host/reading-preparation.js +6 -0
- package/dist/host/reference-authenticated.d.ts +1 -40
- package/dist/host/reference-authenticated.js +3 -100
- package/dist/host/reference-contracts.js +1 -6
- package/dist/host/reference-export.js +6 -81
- package/dist/host/reference-native-api.d.ts +1 -3
- package/dist/host/reference-native-api.js +1 -3
- package/dist/host/reference-native.js +1 -74
- package/dist/host/reference-profile.js +1 -63
- package/dist/host/reference-standing.js +2 -18
- package/dist/host/reference.js +1 -24
- package/dist/host/refusals.js +2 -43
- package/dist/host/release.js +4 -256
- package/dist/host/root-clock-source.js +1 -307
- package/dist/host/selected-capsules.js +1 -50
- package/dist/host/selected-topos.js +1 -80
- package/dist/host/signature-era.js +1 -12
- package/dist/host/signing.js +2 -48
- package/dist/host/source-content.js +2 -111
- package/dist/host/standing-carrier.js +1 -18
- package/dist/host/standing-projection.js +1 -50
- package/dist/host/timing.js +1 -7
- package/dist/host/walk.js +20 -193
- package/dist/host/work-trace.js +1 -0
- package/dist/judge/late.js +1 -33
- package/dist/judge/take.js +2 -75
- package/dist/judge/widening.js +1 -25
- package/dist/land/act.js +8 -336
- package/dist/land/alias.js +1 -41
- package/dist/land/held.js +1 -23
- package/dist/land/inert.js +1 -33
- package/dist/land/leaving.js +1 -55
- package/dist/land/ledger.js +6 -188
- package/dist/land/owned.js +4 -66
- package/dist/land/sign.js +1 -53
- package/dist/land/standing-pin.js +1 -49
- package/dist/land/vouched.js +1 -112
- package/dist/land/withdraw.js +1 -24
- package/dist/observe/files.js +1 -88
- package/dist/observe/identity.js +1 -61
- package/dist/observe/match.js +1 -8
- package/dist/observe/regions.js +7 -306
- package/dist/observe/run.js +1 -41
- package/dist/observe/runner.js +4 -101
- package/dist/public-types.d.ts +2019 -0
- package/dist/render/capsule.js +1 -30
- package/dist/render/field.js +1 -40
- package/dist/render/names.js +1 -4
- package/dist/render/open.js +1 -61
- package/dist/render/page.js +1 -7
- package/dist/render/receipt-projection.js +1 -0
- package/dist/render/receipts.js +1 -47
- package/dist/render/shape.js +1 -74
- package/dist/render/target.js +4 -52
- package/dist/render/view.js +7 -197
- package/dist/vendor/bundle.json +1 -0
- package/dist/vendor/library14.js +1 -0
- package/dist/vendor/object-provider.js +42 -0
- package/dist/vendor/runtime.js +61 -0
- package/dist/wasm/adapter.d.ts +1 -51
- package/dist/wasm/adapter.js +1 -180
- package/dist/wasm/node-worker.js +1 -13
- package/dist/wasm/object.js +1 -76
- package/dist/wasm/worker.js +1 -7
- package/docs/contracts/authenticated-reference.publication.json +1 -1
- package/docs/contracts/authority-preflight.md +17 -0
- package/docs/contracts/authority-preflight.publication.json +25 -0
- package/docs/contracts/closure-delivery.md +1 -1
- package/docs/contracts/closure-delivery.publication.json +1 -1
- package/docs/contracts/conformance.json +142 -0
- package/docs/contracts/determinism.bound +9 -0
- package/docs/contracts/engine-object-projection.publication.json +1 -1
- package/docs/contracts/engine.md +21 -1
- package/docs/contracts/installed-package.md +21 -0
- package/docs/contracts/installed-package.publication.json +25 -0
- package/docs/contracts/materialized-leaf-sequence.md +15 -0
- package/docs/contracts/materialized-leaf-sequence.publication.json +25 -0
- package/docs/contracts/module-inventory.md +15 -0
- package/docs/contracts/module-inventory.publication.json +25 -0
- package/docs/contracts/native-host.md +29 -1
- package/docs/contracts/native-host.publication.json +4 -4
- package/docs/contracts/native-probes.md +13 -0
- package/docs/contracts/native-probes.publication.json +25 -0
- package/docs/contracts/native-publication.inventory.json +10 -1
- package/docs/contracts/native-view-batch.md +17 -0
- package/docs/contracts/native-view-batch.publication.json +25 -0
- package/docs/contracts/optional-wasm-adapter.publication.json +1 -1
- package/docs/contracts/physical-lines.md +19 -0
- package/docs/contracts/physical-lines.publication.json +25 -0
- package/docs/contracts/profile-composition.md +17 -0
- package/docs/contracts/profile-composition.publication.json +25 -0
- package/docs/contracts/profile-preparation-native-meaning.md +9 -0
- package/docs/contracts/publication.md +12 -0
- package/docs/contracts/reading-identity.md +61 -0
- package/docs/contracts/reading-identity.publication.json +25 -0
- package/docs/contracts/reading-witness-admission.md +49 -0
- package/docs/contracts/readme.publication.json +1 -1
- package/docs/contracts/reference-port.md +11 -0
- package/docs/contracts/reference-port.publication.json +1 -1
- package/docs/contracts/refusals.bound +346 -94
- package/docs/contracts/refusals.md +119 -39
- package/docs/contracts/refusals.publication.json +2 -2
- package/docs/contracts/views.md +8 -0
- package/docs/reference.md +9 -0
- package/licenses/wasm/{fast-text-encoding.txt → NOTICE.txt} +111 -0
- package/package.json +84 -34
- package/receipts.bound +12952 -10449
- package/samples/authority-preflight/no.json +6 -0
- package/samples/authority-preflight/yes.json +30 -0
- package/samples/engine-alphabet/reader.js +3 -1457
- package/samples/engine-alphabet/receipts.bound +7 -7
- package/samples/engine-interval/reader.js +3 -1457
- package/samples/engine-interval/receipts.bound +7 -7
- package/samples/installed-package/consumer.mjs +29 -0
- package/samples/installed-package/fixture.json +48 -0
- package/samples/installed-package/no.json +10 -0
- package/samples/installed-package/yes.json +52 -0
- package/samples/materialized-leaf-sequence/no.json +11 -0
- package/samples/materialized-leaf-sequence/yes.json +10 -0
- package/samples/module-inventory/yes.json +28 -0
- package/samples/native/physical-line-reader.mjs +1 -0
- package/samples/native/physical-line-reader.source.mjs +13 -0
- package/samples/native-host/no.json +6 -1
- package/samples/native-host/yes.json +18 -1
- package/samples/native-probes/inputs/inspection.json +28 -0
- package/samples/native-probes/no.json +7 -0
- package/samples/native-probes/yes.json +28 -0
- package/samples/native-view-batch/no.json +14 -0
- package/samples/native-view-batch/yes.json +10 -0
- package/samples/no/engine-order/reader.js +3 -1457
- package/samples/no/module-inventory/no.json +10 -0
- package/samples/physical-lines/no.json +5 -0
- package/samples/physical-lines/yes.json +9 -0
- package/samples/profile-composition/no.json +6 -0
- package/samples/profile-composition/yes.json +14 -0
- package/samples/reading-identity/no.json +26 -0
- package/samples/reading-identity/yes.json +69 -0
- package/vectors/native/authority-preflight.vector.json +55 -0
- package/vectors/native/installed-package.vector.json +31 -0
- package/vectors/native/materialized-leaf-sequence.vector.json +31 -0
- package/vectors/native/module-inventory.vector.json +56 -0
- package/vectors/native/native-host.vector.json +214 -0
- package/vectors/native/native-probes.vector.json +31 -0
- package/vectors/native/native-view-batch.vector.json +31 -0
- package/vectors/native/physical-lines.vector.json +105 -0
- package/vectors/native/profile-composition.vector.json +53 -0
- package/vectors/native/reading-identity.vector.json +139 -0
- package/vectors/native/refusals.vector.json +138 -0
- package/vendor/syntax/LICENSE.md +7 -0
- package/vendor/syntax/parser.js +1 -0
- package/.github/workflows/release.yml +0 -67
- package/.github/workflows/test.yml +0 -35
- package/dist/engine/object.d.ts +0 -17
- package/dist/engine/ports.d.ts +0 -37
- package/dist/fold/claims.d.ts +0 -29
- package/dist/host/call-context.d.ts +0 -20
- package/dist/host/commit-result.d.ts +0 -6
- package/dist/host/in-process-act.d.ts +0 -82
- package/dist/host/in-process-context.d.ts +0 -46
- package/dist/host/in-process-root.d.ts +0 -117
- package/dist/host/in-process.d.ts +0 -41
- package/dist/host/native/module-closure.d.ts +0 -35
- package/dist/host/native-receiver.d.ts +0 -19
- package/dist/host/place-act-transaction.d.ts +0 -24
- package/dist/host/place-clock-selection.d.ts +0 -55
- package/dist/host/ports/local-act.d.ts +0 -44
- package/dist/host/ports/place-act.d.ts +0 -49
- package/dist/host/ports/publication.d.ts +0 -10
- package/dist/host/reference-export.d.ts +0 -33
- package/dist/host/reference-native.d.ts +0 -30
- package/dist/host/reference-profile.d.ts +0 -23
- package/dist/host/refusals.d.ts +0 -14
- package/dist/host/root-clock-source.d.ts +0 -86
- package/licenses/wasm/jitl-quickjs-ffi-types.txt +0 -21
- package/licenses/wasm/jitl-quickjs-wasmfile-release-sync.txt +0 -47
- package/licenses/wasm/quickjs-emscripten-core.txt +0 -21
- package/licenses/wasm/topos.txt +0 -21
- /package/{licenses/wasm/bound.txt → dist/vendor/28cba430228db1c04f446c93f81b09a2705d6bf3e222d35adbe5a4cee4061884.LICENSE} +0 -0
- /package/{licenses/wasm/obligations.txt → dist/vendor/7aca161279d14bc0e054dcc281cd110aeb95be2e026b42fdf527a260e58b2aae.LICENSE} +0 -0
|
@@ -1,46 +0,0 @@
|
|
|
1
|
-
import type { ContentReadPort } from '../engine/ports.ts';
|
|
2
|
-
import type { RootStandingHostContext } from './in-process.ts';
|
|
3
|
-
/** Full contextual carrier, authenticated against receiver inputs only. It is a
|
|
4
|
-
* data projection, not a current admission permit or a signed receipt. */
|
|
5
|
-
export declare function readContextualStandingInProcess(context: RootStandingHostContext, ports: {
|
|
6
|
-
readonly read: ContentReadPort;
|
|
7
|
-
}): Promise<{
|
|
8
|
-
kind: "fact";
|
|
9
|
-
value: {
|
|
10
|
-
place: string;
|
|
11
|
-
standing: {
|
|
12
|
-
profile: string;
|
|
13
|
-
root: readonly string[];
|
|
14
|
-
legacyPlaces: {
|
|
15
|
-
namespace: string;
|
|
16
|
-
place: string;
|
|
17
|
-
standing: string[];
|
|
18
|
-
history: readonly string[];
|
|
19
|
-
}[];
|
|
20
|
-
contexts: readonly import("./root-clock-source.ts").PortablePlaceContext[];
|
|
21
|
-
places: {
|
|
22
|
-
namespace: string;
|
|
23
|
-
place: string;
|
|
24
|
-
standing: string[];
|
|
25
|
-
retracted: readonly string[];
|
|
26
|
-
superseded: readonly string[];
|
|
27
|
-
forks: readonly import("../fold/claims.ts").Fork[];
|
|
28
|
-
contexts: {
|
|
29
|
-
identity: string;
|
|
30
|
-
context: string;
|
|
31
|
-
receipts: readonly import("@lapxo/topos/wire").PlaceReceipt[];
|
|
32
|
-
}[];
|
|
33
|
-
}[];
|
|
34
|
-
};
|
|
35
|
-
reading: string;
|
|
36
|
-
result: string;
|
|
37
|
-
commitment: string;
|
|
38
|
-
};
|
|
39
|
-
code?: undefined;
|
|
40
|
-
diagnostic?: undefined;
|
|
41
|
-
} | {
|
|
42
|
-
kind: "refuse";
|
|
43
|
-
code: string;
|
|
44
|
-
diagnostic: string;
|
|
45
|
-
value?: undefined;
|
|
46
|
-
}>;
|
|
@@ -1,117 +0,0 @@
|
|
|
1
|
-
import { type ReadingIdentityContext } from '@lapxo/topos/contract';
|
|
2
|
-
import { type ContentReadPort, type SigningPort, type PortLimits } from '../engine/ports.ts';
|
|
3
|
-
import { type HostInstrumentRuntime } from './call-context.ts';
|
|
4
|
-
import type { LocalActBundle } from './ports/local-act.ts';
|
|
5
|
-
import type { PublicationStorage } from './ports/publication.ts';
|
|
6
|
-
export interface RootLotContext {
|
|
7
|
-
readonly place: string;
|
|
8
|
-
readonly snapshot: string;
|
|
9
|
-
readonly source: string;
|
|
10
|
-
readonly digest: string;
|
|
11
|
-
readonly reading: ReadingIdentityContext;
|
|
12
|
-
readonly limits: PortLimits & {
|
|
13
|
-
readonly records: number;
|
|
14
|
-
};
|
|
15
|
-
readonly signal?: AbortSignal;
|
|
16
|
-
}
|
|
17
|
-
/** The receiver selects the actual native place, instrument and signer. The lot
|
|
18
|
-
* supplies only canonical unsigned Root configuration, never host capabilities. */
|
|
19
|
-
export interface RootLotPorts {
|
|
20
|
-
readonly root: string;
|
|
21
|
-
readonly instrumentName: string;
|
|
22
|
-
readonly runtime: HostInstrumentRuntime;
|
|
23
|
-
readonly read: ContentReadPort;
|
|
24
|
-
readonly signer: {
|
|
25
|
-
readonly keyId: string;
|
|
26
|
-
readonly name: string;
|
|
27
|
-
readonly sign: SigningPort;
|
|
28
|
-
};
|
|
29
|
-
readonly storage?: PublicationStorage;
|
|
30
|
-
readonly prepared?: (identity: string) => void;
|
|
31
|
-
readonly limits: RootLotContext['limits'] & {
|
|
32
|
-
readonly diagnostics: number;
|
|
33
|
-
};
|
|
34
|
-
}
|
|
35
|
-
/** Snapshot identity, not a new wire, authority algorithm or current permit. */
|
|
36
|
-
export declare const rootLotSnapshot: (root: string) => string;
|
|
37
|
-
export declare function landRootLotInProcess(context: RootLotContext, ports: RootLotPorts): Promise<{
|
|
38
|
-
kind: "refuse";
|
|
39
|
-
code: string;
|
|
40
|
-
diagnostics: {
|
|
41
|
-
stream: "out" | "error";
|
|
42
|
-
text: string;
|
|
43
|
-
}[];
|
|
44
|
-
value?: undefined;
|
|
45
|
-
identity?: undefined;
|
|
46
|
-
diagnostic?: undefined;
|
|
47
|
-
} | {
|
|
48
|
-
kind: "fact";
|
|
49
|
-
value: {
|
|
50
|
-
result: string;
|
|
51
|
-
commitment: string;
|
|
52
|
-
conformance: "refused" | "complete";
|
|
53
|
-
reading: string;
|
|
54
|
-
identity?: string | undefined;
|
|
55
|
-
act?: import("@lapxo/topos/wire").ActResult | undefined;
|
|
56
|
-
place: string;
|
|
57
|
-
status: "once" | "landed" | "already-held";
|
|
58
|
-
};
|
|
59
|
-
diagnostics: {
|
|
60
|
-
stream: "out" | "error";
|
|
61
|
-
text: string;
|
|
62
|
-
}[];
|
|
63
|
-
code?: undefined;
|
|
64
|
-
identity?: undefined;
|
|
65
|
-
diagnostic?: undefined;
|
|
66
|
-
} | {
|
|
67
|
-
kind: "uncertain";
|
|
68
|
-
identity: string;
|
|
69
|
-
code: string;
|
|
70
|
-
diagnostic: string;
|
|
71
|
-
diagnostics: {
|
|
72
|
-
stream: "out" | "error";
|
|
73
|
-
text: string;
|
|
74
|
-
}[];
|
|
75
|
-
value?: undefined;
|
|
76
|
-
} | {
|
|
77
|
-
kind: "fact";
|
|
78
|
-
value: {
|
|
79
|
-
place: string;
|
|
80
|
-
status: "once" | "landed";
|
|
81
|
-
identity: string;
|
|
82
|
-
conformance: "incomplete";
|
|
83
|
-
};
|
|
84
|
-
diagnostic: string;
|
|
85
|
-
diagnostics: {
|
|
86
|
-
stream: "out" | "error";
|
|
87
|
-
text: string;
|
|
88
|
-
}[];
|
|
89
|
-
code?: undefined;
|
|
90
|
-
identity?: undefined;
|
|
91
|
-
} | {
|
|
92
|
-
kind: "refuse";
|
|
93
|
-
code: string;
|
|
94
|
-
diagnostic: string;
|
|
95
|
-
diagnostics: {
|
|
96
|
-
stream: "out" | "error";
|
|
97
|
-
text: string;
|
|
98
|
-
}[];
|
|
99
|
-
value?: undefined;
|
|
100
|
-
identity?: undefined;
|
|
101
|
-
}>;
|
|
102
|
-
/** Authenticated historical query only; never revives authority or signs. */
|
|
103
|
-
export declare function recoverRootActInProcess(identity: string, ports: Pick<RootLotPorts, 'root' | 'instrumentName' | 'runtime'>): {
|
|
104
|
-
kind: "fact";
|
|
105
|
-
value: {
|
|
106
|
-
historical: true;
|
|
107
|
-
act: import("@lapxo/topos/wire").ActResult;
|
|
108
|
-
bundle: LocalActBundle;
|
|
109
|
-
};
|
|
110
|
-
code?: undefined;
|
|
111
|
-
diagnostic?: undefined;
|
|
112
|
-
} | {
|
|
113
|
-
kind: "refuse";
|
|
114
|
-
code: string;
|
|
115
|
-
diagnostic: string;
|
|
116
|
-
value?: undefined;
|
|
117
|
-
};
|
|
@@ -1,41 +0,0 @@
|
|
|
1
|
-
import type { Signer } from '@lapxo/topos/wire';
|
|
2
|
-
import type { ReadingIdentityContext } from '@lapxo/topos/contract';
|
|
3
|
-
import type { ContentReadPort, PortLimits } from '../engine/ports.ts';
|
|
4
|
-
/** Initial read-only host slice. The receiver supplies the original anchor and
|
|
5
|
-
* verified implementation/policy references; the offered bytes choose none of them.
|
|
6
|
-
* Context references commit identity, not authority or conformance certification.
|
|
7
|
-
*/
|
|
8
|
-
export interface RootStandingHostContext {
|
|
9
|
-
readonly place: string;
|
|
10
|
-
readonly source: string;
|
|
11
|
-
readonly snapshot: string;
|
|
12
|
-
readonly anchor: Signer;
|
|
13
|
-
readonly reading: ReadingIdentityContext;
|
|
14
|
-
readonly limits: PortLimits & {
|
|
15
|
-
readonly records: number;
|
|
16
|
-
};
|
|
17
|
-
readonly signal?: AbortSignal;
|
|
18
|
-
}
|
|
19
|
-
export type RootStandingHostResult = {
|
|
20
|
-
readonly kind: 'fact';
|
|
21
|
-
readonly value: {
|
|
22
|
-
readonly place: string;
|
|
23
|
-
readonly rootStanding: readonly string[];
|
|
24
|
-
readonly reading: string;
|
|
25
|
-
readonly result: string;
|
|
26
|
-
readonly commitment: string;
|
|
27
|
-
};
|
|
28
|
-
} | {
|
|
29
|
-
readonly kind: 'refuse';
|
|
30
|
-
readonly code: string;
|
|
31
|
-
readonly diagnostic: string;
|
|
32
|
-
};
|
|
33
|
-
/** Uses the existing bounded content port, authority evaluator and projection.
|
|
34
|
-
* It projects the Root component of a complete signed Root wire snapshot; it has no persistence callback,
|
|
35
|
-
* current-root global, console output, process entry point or CLI subprocess.
|
|
36
|
-
* Contextual places and their carriers are not this Root-only projection.
|
|
37
|
-
* The returned commitment is unsigned and is not a paid native receipt.
|
|
38
|
-
*/
|
|
39
|
-
export declare function readRootStandingInProcess(context: RootStandingHostContext, ports: {
|
|
40
|
-
readonly read: ContentReadPort;
|
|
41
|
-
}): Promise<RootStandingHostResult>;
|
|
@@ -1,35 +0,0 @@
|
|
|
1
|
-
export interface ModuleClosureMember {
|
|
2
|
-
readonly digest: string;
|
|
3
|
-
readonly source: string;
|
|
4
|
-
}
|
|
5
|
-
export interface ModuleClosureSnapshot {
|
|
6
|
-
readonly identity: string;
|
|
7
|
-
readonly entry: string;
|
|
8
|
-
readonly members: ReadonlyMap<string, ModuleClosureMember>;
|
|
9
|
-
}
|
|
10
|
-
export interface ModuleClosureReading {
|
|
11
|
-
readonly snapshot: string;
|
|
12
|
-
readonly coordinate: string;
|
|
13
|
-
readonly digest: string;
|
|
14
|
-
}
|
|
15
|
-
export interface ModuleClosureLimits {
|
|
16
|
-
readonly members: number;
|
|
17
|
-
readonly bytes: number;
|
|
18
|
-
readonly portableESM?: boolean;
|
|
19
|
-
readonly signal?: AbortSignal;
|
|
20
|
-
}
|
|
21
|
-
/** Host-selected archive and entry, never a verifier assertion from the program.
|
|
22
|
-
* This proves content identity only; standing admission and runtime capabilities
|
|
23
|
-
* are separate prerequisites. Binary resources are not executable text members.
|
|
24
|
-
*/
|
|
25
|
-
export declare function moduleSnapshot(archive: Uint8Array, expected: string, entry: string): ModuleClosureSnapshot;
|
|
26
|
-
/** The host supplies authenticated snapshot identities and its library resolver.
|
|
27
|
-
* Each reached text member is verified here against its exact UTF-8 bytes.
|
|
28
|
-
* Authentication of the snapshot envelope remains a separate host prerequisite.
|
|
29
|
-
* A capsule cannot select either verifier or resolver.
|
|
30
|
-
* This reads declared module edges, not arbitrary I/O or a JavaScript sandbox. Computed edges are unpaid, never absent.
|
|
31
|
-
* Activation requires an admitted host policy; existing inventory callers are not silently changed.
|
|
32
|
-
*/
|
|
33
|
-
export declare function moduleClosure(snapshot: ModuleClosureSnapshot, library: (specifier: string, parent: ModuleClosureSnapshot) => ModuleClosureSnapshot | undefined): readonly ModuleClosureReading[];
|
|
34
|
-
/** Multiple needs share the existing traversal and one optional act budget. */
|
|
35
|
-
export declare function moduleClosures(snapshots: readonly ModuleClosureSnapshot[], library: (specifier: string, parent: ModuleClosureSnapshot) => ModuleClosureSnapshot | undefined, limits?: ModuleClosureLimits): readonly ModuleClosureReading[];
|
|
@@ -1,19 +0,0 @@
|
|
|
1
|
-
import { type HostInstrumentRuntime } from './call-context.ts';
|
|
2
|
-
export interface NativeHostInstrument {
|
|
3
|
-
readonly name: string;
|
|
4
|
-
readonly runtime: HostInstrumentRuntime;
|
|
5
|
-
}
|
|
6
|
-
/** Explicit installed/source ESM selection, never consumer argv or packet data.
|
|
7
|
-
* Identity and public configuration do not certify implementation correctness. */
|
|
8
|
-
export declare function nativeHostInstrument(root: string, entry: string): NativeHostInstrument;
|
|
9
|
-
/** Bind existing native authority construction to an explicit instrument for
|
|
10
|
-
* every later current/historical observation, not only the constructor call. */
|
|
11
|
-
export declare function nativePlaceActReceiver(root: string, instrument: NativeHostInstrument): {
|
|
12
|
-
selection: import("./place-clock-selection.ts").HostClockSelection;
|
|
13
|
-
trust: {
|
|
14
|
-
current: () => import("./ports/place-act.ts").PlaceActSnapshot;
|
|
15
|
-
historical: (encoded: string) => import("@lapxo/topos/wire").TrustedClockContract;
|
|
16
|
-
contract: import("@lapxo/topos/wire").TrustedClockContract;
|
|
17
|
-
initialHeads: readonly import("./ports/place-act.ts").PlaceActHead[];
|
|
18
|
-
};
|
|
19
|
-
};
|
|
@@ -1,24 +0,0 @@
|
|
|
1
|
-
import { type PlaceReceipt } from '@lapxo/topos/core';
|
|
2
|
-
import type { PlaceActTrust, PlaceActBudget, PlaceActBundle, PlaceActHead } from './ports/place-act.ts';
|
|
3
|
-
export { ActCommitUnknown as PlaceActCommitUnknown } from './commit-result.ts';
|
|
4
|
-
/** Host-selected persistence, never supplied by offered content. exclusive must
|
|
5
|
-
* share the CLI's region/authority/projection protocol. publish is synchronous
|
|
6
|
-
* with exactly one atomic visibility point; a thrown reply may follow commit. */
|
|
7
|
-
export interface PlaceActPersistence {
|
|
8
|
-
readonly exclusive: <T>(regions: readonly string[], run: () => Promise<T>) => Promise<T>;
|
|
9
|
-
readonly result: (identity: string, trust: PlaceActTrust, limits: PlaceActBudget) => PlaceActBundle | undefined;
|
|
10
|
-
readonly inventory: (limits: PlaceActBudget) => {
|
|
11
|
-
readonly names: readonly string[];
|
|
12
|
-
readonly bytes: number;
|
|
13
|
-
};
|
|
14
|
-
readonly heads: (trust: PlaceActTrust, limits: PlaceActBudget) => readonly PlaceActHead[];
|
|
15
|
-
readonly publish: (identity: string, files: Readonly<Record<string, string>>) => void;
|
|
16
|
-
}
|
|
17
|
-
export type PlaceActReceiptSource = readonly PlaceReceipt[] | (() => Promise<readonly PlaceReceipt[]>);
|
|
18
|
-
/** Shared transaction, including historical replay, current authorization and
|
|
19
|
-
* atomic publication. Signing may await; current Root and receiver heads are
|
|
20
|
-
* checked again afterwards while the same exclusion remains held. */
|
|
21
|
-
export declare function transactPlaceAct(encoded: string, source: PlaceActReceiptSource, trust: PlaceActTrust, limits: PlaceActBudget, persistence: PlaceActPersistence, signal?: AbortSignal): Promise<PlaceActBundle & {
|
|
22
|
-
readonly kind: 'landed' | 'once';
|
|
23
|
-
readonly identity: string;
|
|
24
|
-
}>;
|
|
@@ -1,55 +0,0 @@
|
|
|
1
|
-
import { PLACE_ACT_CONTEXT, type ClockBudget, type TrustedClockContract } from '@lapxo/topos/core';
|
|
2
|
-
import { type Signer } from '@lapxo/topos/wire';
|
|
3
|
-
import { type PlaceActTrust, type PlaceActBudget, type PlaceActHead } from './ports/place-act.ts';
|
|
4
|
-
export interface HostClockSelection {
|
|
5
|
-
readonly profile: typeof PLACE_ACT_CONTEXT;
|
|
6
|
-
readonly namespace: string;
|
|
7
|
-
readonly regionFamily: string;
|
|
8
|
-
readonly receiptSigner: string;
|
|
9
|
-
readonly receiptScope: string;
|
|
10
|
-
readonly digestAlgorithm: 'sha256';
|
|
11
|
-
readonly budget: ClockBudget;
|
|
12
|
-
readonly storageBudget: PlaceActBudget;
|
|
13
|
-
readonly initial: readonly {
|
|
14
|
-
place: string;
|
|
15
|
-
receiver: {
|
|
16
|
-
identity: string;
|
|
17
|
-
epoch: string;
|
|
18
|
-
};
|
|
19
|
-
origin: {
|
|
20
|
-
prefix: string;
|
|
21
|
-
epoch: string;
|
|
22
|
-
};
|
|
23
|
-
}[];
|
|
24
|
-
}
|
|
25
|
-
export interface HostClockInput {
|
|
26
|
-
readonly store: string;
|
|
27
|
-
readonly selector: string;
|
|
28
|
-
readonly profileSelector: string;
|
|
29
|
-
readonly history: readonly string[];
|
|
30
|
-
readonly anchor: Signer;
|
|
31
|
-
readonly algorithms: readonly string[];
|
|
32
|
-
readonly legacyOriginals: readonly string[];
|
|
33
|
-
/** Actual protected Root authority cursor: an authenticated signed Root config
|
|
34
|
-
* checkpoint, never a sibling receipt/evidence max epoch. */
|
|
35
|
-
readonly authorityCheckpoint: string;
|
|
36
|
-
/** Fixed host historical predecessor proof, never taken from a packet. */
|
|
37
|
-
readonly authenticatedReceiverHeads?: readonly PlaceActHead[];
|
|
38
|
-
readonly readCurrent: () => Pick<HostClockInput, 'history' | 'anchor' | 'algorithms' | 'legacyOriginals' | 'authorityCheckpoint'>;
|
|
39
|
-
readonly resources: {
|
|
40
|
-
bytes: number;
|
|
41
|
-
lines: number;
|
|
42
|
-
places: number;
|
|
43
|
-
};
|
|
44
|
-
readonly inherited: {
|
|
45
|
-
clock: ClockBudget;
|
|
46
|
-
storage: PlaceActBudget;
|
|
47
|
-
};
|
|
48
|
-
readonly historical: (encoded: string) => TrustedClockContract;
|
|
49
|
-
}
|
|
50
|
-
/** Root chooses selector and anchors/resources from its authenticated standing.
|
|
51
|
-
* Selection must be ROOT signed; a world's signature grants no host capability. */
|
|
52
|
-
export declare function hostClockSelection(input: HostClockInput): {
|
|
53
|
-
selection: HostClockSelection;
|
|
54
|
-
trust: PlaceActTrust;
|
|
55
|
-
};
|
|
@@ -1,44 +0,0 @@
|
|
|
1
|
-
import type { PublicationStorage } from './publication.ts';
|
|
2
|
-
/** Prepared and verified by the selected Topos admission/result contract. */
|
|
3
|
-
export interface LocalActBundle {
|
|
4
|
-
readonly records: string;
|
|
5
|
-
readonly receipt: string;
|
|
6
|
-
readonly placements?: readonly {
|
|
7
|
-
place: string;
|
|
8
|
-
records: string;
|
|
9
|
-
}[];
|
|
10
|
-
}
|
|
11
|
-
export type LocalActVerification = (identity: string, bundle: LocalActBundle) => boolean;
|
|
12
|
-
export declare const actLines: (bytes: string) => readonly string[];
|
|
13
|
-
/** Journal integrity is not authority. Signature/coverage checks remain the
|
|
14
|
-
* same admission boundary; the hash algorithm here is the stored seal's named
|
|
15
|
-
* algorithm, not a new selection of the place's wire.
|
|
16
|
-
*/
|
|
17
|
-
export declare function intactLocalAct(identity: string, bundle: LocalActBundle): boolean;
|
|
18
|
-
/** Internal integrity key only, not an act identity or a wire profile. */
|
|
19
|
-
export declare function committedInventoryFingerprint(rows: readonly {
|
|
20
|
-
identity: string;
|
|
21
|
-
bundle: LocalActBundle;
|
|
22
|
-
}[]): string;
|
|
23
|
-
/** Committed segments are part of this ledger, not a second authority source. */
|
|
24
|
-
export declare function committedLocalActs(store: string): readonly {
|
|
25
|
-
identity: string;
|
|
26
|
-
bundle: LocalActBundle;
|
|
27
|
-
}[];
|
|
28
|
-
/** Fixed host observation only: one synchronous, coherent committed inventory.
|
|
29
|
-
* It supplies no authority, verifier or async lifetime. Each outer invocation
|
|
30
|
-
* rereads exact bodies before entering; current authorization still runs inside.
|
|
31
|
-
*/
|
|
32
|
-
export declare function withCommittedLocalActObservation<T>(store: string, body: () => T): T;
|
|
33
|
-
/** A public result is available only as a verified committed pair.
|
|
34
|
-
* No writer-tail guess, newest-result selection or implicit authority.
|
|
35
|
-
*/
|
|
36
|
-
export declare function localActResult(store: string, identity: string, verify: LocalActVerification): LocalActBundle | undefined;
|
|
37
|
-
/** One publication point for records and their native result. Re-delivery
|
|
38
|
-
* reads the original pair without preparation, signing or a new local epoch.
|
|
39
|
-
* The caller must also integrate this boundary into admission-history readers;
|
|
40
|
-
* this storage port alone does not activate a grammar or land authority.
|
|
41
|
-
*/
|
|
42
|
-
export declare function commitLocalAct(store: string, identity: string, regions: readonly string[], prepare: () => Promise<LocalActBundle>, verify: LocalActVerification, storage?: PublicationStorage, signal?: AbortSignal): Promise<LocalActBundle & {
|
|
43
|
-
readonly kind: 'landed' | 'once';
|
|
44
|
-
}>;
|
|
@@ -1,49 +0,0 @@
|
|
|
1
|
-
import { type TrustedClockContract, type PlaceReceipt, type RootContext } from '@lapxo/topos/core';
|
|
2
|
-
import { type PlaceActPersistence } from '../place-act-transaction.ts';
|
|
3
|
-
import { type PublicationStorage } from './publication.ts';
|
|
4
|
-
export interface PlaceActBudget {
|
|
5
|
-
readonly acts: number;
|
|
6
|
-
readonly bytes: number;
|
|
7
|
-
}
|
|
8
|
-
export interface PlaceActHead {
|
|
9
|
-
readonly place: string;
|
|
10
|
-
readonly identity: string;
|
|
11
|
-
readonly epoch: string;
|
|
12
|
-
}
|
|
13
|
-
export interface PlaceActSnapshot {
|
|
14
|
-
readonly root: RootContext;
|
|
15
|
-
readonly heads: readonly PlaceActHead[];
|
|
16
|
-
}
|
|
17
|
-
/** Fixed instrument construction, never supplied by world JSON. Historical
|
|
18
|
-
* authentication permits inspection only; current() is read under Root guards. */
|
|
19
|
-
export interface PlaceActTrust {
|
|
20
|
-
readonly contract: TrustedClockContract;
|
|
21
|
-
readonly initialHeads: readonly PlaceActHead[];
|
|
22
|
-
readonly current: () => PlaceActSnapshot;
|
|
23
|
-
readonly historical: (encoded: string) => TrustedClockContract;
|
|
24
|
-
}
|
|
25
|
-
export interface PlaceActBundle {
|
|
26
|
-
readonly context: string;
|
|
27
|
-
readonly receipts: readonly PlaceReceipt[];
|
|
28
|
-
readonly originals: readonly (readonly string[])[];
|
|
29
|
-
}
|
|
30
|
-
/** Historical result reads never produce a current authorization permit. */
|
|
31
|
-
export declare function placeActResult(store: string, id: string, trust: Pick<PlaceActTrust, 'historical'>, limits: PlaceActBudget): PlaceActBundle | undefined;
|
|
32
|
-
/** Each receiver chain advances independently. Initial heads are explicit,
|
|
33
|
-
* authenticated host inputs, not inferred zero or legacy global epochs. */
|
|
34
|
-
export declare function placeActHeads(store: string, initial: readonly PlaceActHead[], trust: Pick<PlaceActTrust, 'historical' | 'contract'>, limits: PlaceActBudget): readonly PlaceActHead[];
|
|
35
|
-
/** Context, exact original bytes and complete signed receipts have one visibility
|
|
36
|
-
* point. Real Root guard exclusion spans final authority/head comparison and
|
|
37
|
-
* publication; this does not activate a CLI profile or reinterpret local-act@1. */
|
|
38
|
-
/** Native persistence adapter. The transaction below is also the CLI path. */
|
|
39
|
-
export declare function nativePlaceActPersistence(store: string, storage?: PublicationStorage): PlaceActPersistence;
|
|
40
|
-
export declare function commitPlaceAct(store: string, encoded: string, receipts: readonly PlaceReceipt[], trust: PlaceActTrust, limits: PlaceActBudget, storage?: PublicationStorage): Promise<PlaceActBundle & {
|
|
41
|
-
readonly kind: "landed" | "once";
|
|
42
|
-
readonly identity: string;
|
|
43
|
-
}>;
|
|
44
|
-
/** Enumerates only committed, historically authenticated carriers. Namespace
|
|
45
|
-
* projection is a caller's separate pure operation, never current permission. */
|
|
46
|
-
export declare function committedPlaceActResults(store: string, trust: Pick<PlaceActTrust, 'historical'>, limits: PlaceActBudget): readonly {
|
|
47
|
-
identity: string;
|
|
48
|
-
bundle: PlaceActBundle;
|
|
49
|
-
}[];
|
|
@@ -1,10 +0,0 @@
|
|
|
1
|
-
export interface PublicationStorage {
|
|
2
|
-
publish(staged: string, committed: string): void;
|
|
3
|
-
}
|
|
4
|
-
export declare const nativePublicationStorage: PublicationStorage;
|
|
5
|
-
/** Publish prepared bytes as one directory. No identity, grammar or authority
|
|
6
|
-
* is inferred here. Readers address the committed name, never staging files.
|
|
7
|
-
* A failure after rename is not evidence of rollback: the caller must retain
|
|
8
|
-
* the uncertainty and allow a verified read of the committed name.
|
|
9
|
-
*/
|
|
10
|
-
export declare function publishBundle(committed: string, files: Readonly<Record<string, string>>, storage?: PublicationStorage): void;
|
|
@@ -1,33 +0,0 @@
|
|
|
1
|
-
import type { SigningPort } from '../engine/ports.ts';
|
|
2
|
-
export { BoundRefusal as ReferenceExportRefusal } from './refusals.ts';
|
|
3
|
-
/** Signs a public snapshot proof; never lands, refreshes evidence or changes the Root. */
|
|
4
|
-
export declare function exportAuthenticatedReference(root: string, source: string, options?: {
|
|
5
|
-
readonly key?: string;
|
|
6
|
-
readonly keyFile?: string;
|
|
7
|
-
readonly signer?: string;
|
|
8
|
-
readonly hostSigner?: {
|
|
9
|
-
readonly name: string;
|
|
10
|
-
readonly sign: SigningPort;
|
|
11
|
-
};
|
|
12
|
-
}): Promise<{
|
|
13
|
-
profile: string;
|
|
14
|
-
reference: string;
|
|
15
|
-
carrier: string;
|
|
16
|
-
context: {
|
|
17
|
-
snapshot: string;
|
|
18
|
-
profile: string;
|
|
19
|
-
semanticIdentity: string;
|
|
20
|
-
epoch: number;
|
|
21
|
-
proofScope: string;
|
|
22
|
-
policy: string;
|
|
23
|
-
formImplementation: string;
|
|
24
|
-
signers: readonly import("@lapxo/topos/wire").Signer[];
|
|
25
|
-
algorithms: readonly string[];
|
|
26
|
-
contracts: {
|
|
27
|
-
refusals: string;
|
|
28
|
-
standing: string;
|
|
29
|
-
};
|
|
30
|
-
maxBytes: number;
|
|
31
|
-
maxRecords: number;
|
|
32
|
-
};
|
|
33
|
-
}>;
|
|
@@ -1,30 +0,0 @@
|
|
|
1
|
-
import { type ContentReadPort } from '../engine/ports.ts';
|
|
2
|
-
export declare function authenticatedReferenceSelected(standing: readonly string[]): boolean;
|
|
3
|
-
/** One context preparation shared by native export and native inspection. */
|
|
4
|
-
export declare function prepareNativeReference(root: string): Promise<{
|
|
5
|
-
policy: string;
|
|
6
|
-
formImplementation: string;
|
|
7
|
-
records: readonly import("@lapxo/topos/wire").ObjectRecord[];
|
|
8
|
-
context: import("@lapxo/topos/wire").ObjectContext;
|
|
9
|
-
configuration: Readonly<Record<string, string>>[];
|
|
10
|
-
}>;
|
|
11
|
-
export declare function openAuthenticatedReference(root: string, fragment: string, options?: {
|
|
12
|
-
readonly signal?: AbortSignal;
|
|
13
|
-
readonly content?: {
|
|
14
|
-
readonly name: string;
|
|
15
|
-
readonly read: ContentReadPort;
|
|
16
|
-
};
|
|
17
|
-
}): Promise<{
|
|
18
|
-
backend: string;
|
|
19
|
-
readings: readonly import("../engine/object.ts").ObjectReading[];
|
|
20
|
-
contracts?: {
|
|
21
|
-
refusals: string;
|
|
22
|
-
standing: string;
|
|
23
|
-
} | undefined;
|
|
24
|
-
reference: import("./reference-profile.ts").StandingReference;
|
|
25
|
-
records: readonly import("@lapxo/topos/wire").ObjectRecord[];
|
|
26
|
-
semanticIdentity: string;
|
|
27
|
-
authorityContextIdentity: string;
|
|
28
|
-
semanticStanding: string;
|
|
29
|
-
originalRecords: readonly string[];
|
|
30
|
-
}>;
|
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
/** reference-profile@1: platform URL parsing, no authority or transport effects. */
|
|
2
|
-
export interface StandingReference {
|
|
3
|
-
readonly class: 'standing';
|
|
4
|
-
readonly algorithm: 'sha256';
|
|
5
|
-
readonly digest: string;
|
|
6
|
-
readonly blob: string;
|
|
7
|
-
readonly source: string;
|
|
8
|
-
}
|
|
9
|
-
interface InspectionPort {
|
|
10
|
-
readonly maxBytes: number;
|
|
11
|
-
readonly readSemanticStanding: (bytes: string) => readonly string[];
|
|
12
|
-
readonly semanticStandingBytes: (lines: readonly string[]) => string;
|
|
13
|
-
readonly digestBytes: (bytes: Uint8Array) => string;
|
|
14
|
-
}
|
|
15
|
-
export declare function encodeReference(reference: StandingReference): string;
|
|
16
|
-
export declare function decodeReference(fragment: string): StandingReference;
|
|
17
|
-
export declare function inspectReferenceBytes(reference: StandingReference, bytes: Uint8Array, { maxBytes, readSemanticStanding, semanticStandingBytes, digestBytes }: InspectionPort): {
|
|
18
|
-
reference: StandingReference;
|
|
19
|
-
lines: readonly string[];
|
|
20
|
-
standing: string;
|
|
21
|
-
authentication: string;
|
|
22
|
-
};
|
|
23
|
-
export {};
|
package/dist/host/refusals.d.ts
DELETED
|
@@ -1,14 +0,0 @@
|
|
|
1
|
-
export interface RefusalEntry {
|
|
2
|
-
readonly code: string;
|
|
3
|
-
readonly category: string;
|
|
4
|
-
readonly meaning: string;
|
|
5
|
-
readonly next: string;
|
|
6
|
-
}
|
|
7
|
-
/** Stable code assigned at the cause. Details are diagnostic, never parsed as policy. */
|
|
8
|
-
export declare class BoundRefusal extends Error {
|
|
9
|
-
readonly code: string;
|
|
10
|
-
constructor(code: string, diagnostic: string);
|
|
11
|
-
}
|
|
12
|
-
/** Pure machine contract reader. A catalog is data, never an authority grant. */
|
|
13
|
-
export declare function readRefusalCatalog(text: string): readonly RefusalEntry[];
|
|
14
|
-
export declare function describeRefusal(error: BoundRefusal, catalog: readonly RefusalEntry[]): RefusalEntry;
|
|
@@ -1,86 +0,0 @@
|
|
|
1
|
-
import { type PlaceReceipt, type ClockBudget } from '@lapxo/topos/core';
|
|
2
|
-
import type { PlaceActBudget } from './ports/place-act.ts';
|
|
3
|
-
export interface RootClockSourceSelection {
|
|
4
|
-
readonly selector: string;
|
|
5
|
-
readonly profileSelector: string;
|
|
6
|
-
readonly bootstrapCheckpoint: {
|
|
7
|
-
scope: string;
|
|
8
|
-
measure: string;
|
|
9
|
-
};
|
|
10
|
-
readonly resources: {
|
|
11
|
-
bytes: number;
|
|
12
|
-
lines: number;
|
|
13
|
-
places: number;
|
|
14
|
-
acts: number;
|
|
15
|
-
};
|
|
16
|
-
readonly inherited: {
|
|
17
|
-
clock: ClockBudget;
|
|
18
|
-
storage: PlaceActBudget;
|
|
19
|
-
};
|
|
20
|
-
}
|
|
21
|
-
export declare function rootClockSource(root: string, selected: RootClockSourceSelection): {
|
|
22
|
-
observation: Readonly<{
|
|
23
|
-
history: readonly string[];
|
|
24
|
-
anchor: import("@lapxo/topos/wire").Signer;
|
|
25
|
-
algorithms: readonly string[];
|
|
26
|
-
}>;
|
|
27
|
-
resources: Readonly<{
|
|
28
|
-
bytes: number;
|
|
29
|
-
lines: number;
|
|
30
|
-
places: number;
|
|
31
|
-
acts: number;
|
|
32
|
-
}>;
|
|
33
|
-
authority: (encoded: string) => {
|
|
34
|
-
anchor: import("@lapxo/topos/wire").Signer;
|
|
35
|
-
history: readonly string[];
|
|
36
|
-
checkpoint: string;
|
|
37
|
-
};
|
|
38
|
-
selection: import("./place-clock-selection.ts").HostClockSelection;
|
|
39
|
-
trust: import("./ports/place-act.ts").PlaceActTrust;
|
|
40
|
-
};
|
|
41
|
-
/** Source mapping is an explicit Root declaration; absence never means a zero
|
|
42
|
-
* clock or an inferred cursor. Existing legacy callers do not request it. */
|
|
43
|
-
export declare function rootClockSelectionOf(live: readonly string[], anchor: import('@lapxo/topos/wire').Signer): RootClockSourceSelection;
|
|
44
|
-
export declare function declaredRootClockSource(root: string): {
|
|
45
|
-
observation: Readonly<{
|
|
46
|
-
history: readonly string[];
|
|
47
|
-
anchor: import("@lapxo/topos/wire").Signer;
|
|
48
|
-
algorithms: readonly string[];
|
|
49
|
-
}>;
|
|
50
|
-
resources: Readonly<{
|
|
51
|
-
bytes: number;
|
|
52
|
-
lines: number;
|
|
53
|
-
places: number;
|
|
54
|
-
acts: number;
|
|
55
|
-
}>;
|
|
56
|
-
authority: (encoded: string) => {
|
|
57
|
-
anchor: import("@lapxo/topos/wire").Signer;
|
|
58
|
-
history: readonly string[];
|
|
59
|
-
checkpoint: string;
|
|
60
|
-
};
|
|
61
|
-
selection: import("./place-clock-selection.ts").HostClockSelection;
|
|
62
|
-
trust: import("./ports/place-act.ts").PlaceActTrust;
|
|
63
|
-
};
|
|
64
|
-
export declare function hasRootClockSource(root: string): boolean;
|
|
65
|
-
export interface PortablePlaceContext {
|
|
66
|
-
readonly identity: string;
|
|
67
|
-
readonly context: string;
|
|
68
|
-
readonly receipts: readonly PlaceReceipt[];
|
|
69
|
-
readonly authority: {
|
|
70
|
-
anchor: import('@lapxo/topos/wire').Signer;
|
|
71
|
-
history: readonly string[];
|
|
72
|
-
checkpoint: string;
|
|
73
|
-
};
|
|
74
|
-
}
|
|
75
|
-
/** Historical inspection ONLY. The expected acting Root anchor and resource
|
|
76
|
-
* selection come from the consumer's selected place, never from this packet.
|
|
77
|
-
* This function returns data and cannot construct a current command permit. */
|
|
78
|
-
export declare function inspectPortablePlaceContexts(encoded: string, expectedAnchor: import('@lapxo/topos/wire').Signer, selected: RootClockSourceSelection): {
|
|
79
|
-
identity: string;
|
|
80
|
-
context: import("@lapxo/topos/core").PlaceAct;
|
|
81
|
-
}[];
|
|
82
|
-
/** Prospective configuration is checked as authenticated Root history, never
|
|
83
|
-
* against a prose birth condition. Initial heads are explicit typed selections;
|
|
84
|
-
* stored committed chains cannot disappear when a selection is activated or
|
|
85
|
-
* replaced. Preview reads only; the real admission repeats under its Root lock. */
|
|
86
|
-
export declare function assertProspectiveRootClockSelection(root: string, signed: readonly string[]): void;
|
|
@@ -1,21 +0,0 @@
|
|
|
1
|
-
The MIT License
|
|
2
|
-
|
|
3
|
-
quickjs-emscripten copyright (c) 2019-2024 Jake Teton-Landis
|
|
4
|
-
|
|
5
|
-
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
6
|
-
of this software and associated documentation files (the "Software"), to deal
|
|
7
|
-
in the Software without restriction, including without limitation the rights
|
|
8
|
-
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
9
|
-
copies of the Software, and to permit persons to whom the Software is
|
|
10
|
-
furnished to do so, subject to the following conditions:
|
|
11
|
-
|
|
12
|
-
The above copyright notice and this permission notice shall be included in all
|
|
13
|
-
copies or substantial portions of the Software.
|
|
14
|
-
|
|
15
|
-
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
16
|
-
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
17
|
-
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
18
|
-
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
19
|
-
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
20
|
-
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
21
|
-
SOFTWARE.
|