carlos / platform Public

Clone
git clone https://amadan.net/carlos/platform

Plain git — no account needed to clone.

Download

Download this file

1package provision
2
3// Track E overlays the reviewed Part 1 write census without changing its baseline.
4var plan14EWriteCensusOverlay = []censusEntry{
5 {"internal/hostbox/journalservice.go", "journalRequestHash", "key-site", "key:RecordKey", "b6248a416cb57046d014a95b22f3798f156e0cde5aba189f5f82c36d4c7a5e78"},
6 {"internal/host/claimunit_template.go", "const claimBoundTemplate", "key-site", "lit:instances", "9ff0f84071165eb2d642596f1c4b28241f872fea99f7bf8e3d77f51785ad270a"},
7 {"internal/hostbox/inventory_expected.go", "StopInventoryDB.writeExpected", "key-site", "key:RecordKey", "6bd77e75ff73ac8e461bb0687b183e031e2864d8455f58513b71aade995cb2b1"},
8 {"internal/hostbox/journalservice.go", "type JournalRequest", "key-site", "key:RecordKey", "be65901745c9d840a1f6cbb7c82f2443482f85b652b7b1635f38fc0524aec38c"},
9 {"internal/host/rootgeneration_requirements.go", "generationLocalObligations", "key-site", "key:RecordKey", "7bf08b3afdf12e81188123e0257ef90cea91091a8ab3bfb975e9a0200619dd1b"},
10 {"internal/host/rootgeneration_requirements.go", "generationRequiredInventory", "key-site", "key:RecordKey", "bbcbc143061ea6990ec8bc4e34f1a52a07e82039ea44340497d5bc6aab067913"},
11 {"internal/host/rootgeneration_inventory.go", "generationReconciler.reconcile", "key-site", "key:RecordKey", "1e668bbef6945deb4f0f3a988b5e1a1ecf44e9b85d838c2e01f6a5052b75bbed"},
12 {"internal/host/rootgenerations_launch.go", "rootGenerationSource.resolve", "key-site", "key:RecordKey", "3cd7c8132e9c451c983392f4d1cc676ddc14b761c90dec3e631d54ae800f9951"},
13 {"internal/historyreadback/workflow.go", "Operation.deliverGrant", "nonrecord", "sel:Put", "fb410ef6274ef7de0997a804c837ad1ecf29d8826ba1c4dcda00c2ae986fc434"},
14 {"internal/host/rootinventory.go", "ClaimRootHTTP.commitRootInventoryPending", "key-site", "key:RecordKey", "ee45634958578f2386798a024348e11e88ca37c88b076305b3d48c40d7d74c37"},
15 {"internal/host/rootinventory.go", "ClaimRootHTTP.recoverRootInventory", "key-site", "key:RecordKey", "79d1472b90bc7290e655bfe5e8857bad9fd0666c72b88364e89e4e198e60f535"},
16 {"internal/host/roothistory_creation.go", "rootRestartRequestSource.creation", "key-site", "key:RecordKey", "af79a66b746b0f42388010b38ea8130dca6a8d29c4ba5623bfc9c3cc40dd9601"},
17 {"internal/host/rootrestart_requests.go", "rootRestartRequests.consume", "key-site", "key:RecordKey", "0a9fbbe6f201077e276298b7e666e1ee2a345f1c420335290fec38a676b1ad84"},
18 {"internal/host/rootrestart_requests_source.go", "rootRestartRequestSource.inventory", "key-site", "key:ParseSidecarKey,key:RecordKey", "1ae4bd07fdbd2b0fccd29cc032b0de4a6c53bc52da7fcbc186a11f8b65b394f9"},
19 {"internal/host/rootrestart_requests_source.go", "rootRestartRequestSource.target", "key-site", "key:RecordKey", "301b62efbf0281f713cbed7fb15cd244b7d2c479882f4ad930c8d482b51177ff"},
20 {"internal/historyreadback/readback.go", "publish", "nonrecord", "sel:Put", "2168932e34cc6f173fde4d4cf0e74a302217ade779c09cc2d1e850ffdab0cb48"},
21 {"internal/release/roothistory_delivery.go", "PublishHistoryRecoveryRetirement", "nonrecord", "sel:Put", "ec499a70f267b5b551e918c7ebb7ce36745afa87f77160fe9dc826d8dbe3032b"},
22 {"internal/host/proofbinding.go", "proofBindingSource.binding", "key-site", "key:RecordKey", "56edaf01411de3813fe327973302b1df35e403d2870625fc341355b5bc5cfa0b"},
23 {"internal/host/proofbinding.go", "proofBindingSource.unitBinding", "key-site", "key:RecordKey", "fc6bbd54101f36b986ea48656973667139575d20b75780ad3892915904ef5151"},
24 {"internal/host/proofbinding.go", "type proofBinding", "key-site", "key:RecordKey", "e5de1305f80b32368afbb70cc44dcf46628b9ad79004046010de3edcbbd401f6"},
25 {"internal/release/roothistory_delivery.go", "PublishHistoryReconstruction", "nonrecord", "sel:Put", "c2ff8e966cbe2e9f86bc3ddbd61d1df62a5df501927e2791e11518bb62d200c7"},
26}
27
28func plan14EWriteCensusInventory() []censusEntry {
29 var entries []censusEntry
30 for _, entry := range plan9B8CensusInventory {
31 // E46 moved this key site to writeExpected; WriteExpected delegates.
32 if entry.File == "internal/hostbox/inventory_expected.go" && entry.Unit == "StopInventoryDB.WriteExpected" {
33 continue
34 }
35 entries = append(entries, entry)
36 }
37 for _, replacement := range plan14EWriteCensusOverlay {
38 found := false
39 for i, entry := range entries {
40 if entry.File == replacement.File && entry.Unit == replacement.Unit {
41 entries[i], found = replacement, true
42 break
43 }
44 }
45 if !found {
46 entries = append(entries, replacement)
47 }
48 }
49 return entries
50}
51