Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/decisions/ADR-008-profile-c-domains.json
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"domains":[{"domain":"echidnabot-proof-obligation","name":"JCS (RFC 8785) of the JSON object {claim, context, prover, repo} of a proof obligation","purpose":"ProofObligationRecord.id in echidnabot: resubmitting the same obligation gives the same id","repos":["hyperpolymath/echidnabot"]},{"domain":"gv-clade-index","name":"github.com/<owner>/<name> of a repository","purpose":"clade identifiers (ADR-008 amendment D320)","repos":["hyperpolymath/gv-clade-index"]},{"domain":"proof-goal","name":"JCS (RFC 8785) of the goal text as a JSON string, exact text, not trimmed or normalised","purpose":"the cross-tool content address of a proof goal: one goal has one id in every tool that names it","repos":["hyperpolymath/echidnabot","hyperpolymath/proof-burrower"]},{"domain":"prove-result","name":"JCS (RFC 8785) of an ECHIDNA prove result as serialised by the consumer","purpose":"ProofReceipt.result_id in proof-burrower: identical prove results share an id","repos":["hyperpolymath/proof-burrower"]}],"schema":"estate-uuid-v8-domains/1"}
{"domains":[{"domain":"julia-package-identity","name":"github.com/<owner>/<name> of the repository hosting the package","purpose":"the UUIDv8 identity of an unregistered Julia package's own uuid field (Project.toml top-level): minted at repo-init, deterministic across re-mints (ADR-008 amendment D320 requires unregistered packages at v8; profile C keeps the old v5 mint's stability)","repos":["every repo minted from rsr-template-repo's julia-library archetype"]},{"domain":"echidnabot-proof-obligation","name":"JCS (RFC 8785) of the JSON object {claim, context, prover, repo} of a proof obligation","purpose":"ProofObligationRecord.id in echidnabot: resubmitting the same obligation gives the same id","repos":["hyperpolymath/echidnabot"]},{"domain":"gv-clade-index","name":"github.com/<owner>/<name> of a repository","purpose":"clade identifiers (ADR-008 amendment D320)","repos":["hyperpolymath/gv-clade-index"]},{"domain":"proof-goal","name":"JCS (RFC 8785) of the goal text as a JSON string, exact text, not trimmed or normalised","purpose":"the cross-tool content address of a proof goal: one goal has one id in every tool that names it","repos":["hyperpolymath/echidnabot","hyperpolymath/proof-burrower"]},{"domain":"prove-result","name":"JCS (RFC 8785) of an ECHIDNA prove result as serialised by the consumer","purpose":"ProofReceipt.result_id in proof-burrower: identical prove results share an id","repos":["hyperpolymath/proof-burrower"]}],"schema":"estate-uuid-v8-domains/1"}
Comment thread
hyperpolymath marked this conversation as resolved.
Outdated
Loading