Xlieli u regoli li jaħdmu fil-proċess
Il-ktieb tar-regoli m'għandux ikun oraklu mill-bogħod
Ir-regoli tan-negozju ġeneralment jiddaħħlu bħala ħaġa sempliċi. Klijent huwa eliġibbli jew le. Transazzjoni tgħaddi jew tonqos. Kwotazzjoni tieħu skont. Utent jista' jaċċessa riżorsa. Imbagħad ir-regoli jikbru, jaslu l-eċċezzjonijiet, il-konformità titlob evidenza, u f'daqqa waħda l-kontroll sempliċi sar servizz ta' politika, interpretu, cache, xogħol ta' rikonċiljazzjoni, u laqgħa mal-fornitur. Mill-isbaħ. Erġajna ivvintajna dwal tat-traffiku bi pjan ta' abbonament.
Lattice jibda minn idea inqas teatrali: il-ktieb tar-regoli għandu jitmexxa fejn tittieħed id-deċiżjoni. Il-paġna attwali ta' Lattice tiddeskrivi komponent ta' Rust b'liċenzja Apache 2.0 li jikkompila r-regoli minn qabel f'artefatt binarju li jista' jitqabbad fil-memorja. L-evalwazzjoni hija mixja fi ħdan l-istess proċess fuq siġra ppakkjata. L-artefatt iġorr checksums. L-istess regoli u l-istess dejta huma deskritti bħala li jipproduċu l-istess tweġiba fuq pjattaformi appoġġjati. L-ebda servizz żejjed m'għandu joqgħod fit-triq ta' deċiżjoni. Dik hija l-għamla utli.
Dan mhuwiex kontra l-governanza. Huwa l-oppost. Il-governanza tiddgħajjef meta r-regoli jgħixu 'l bogħod mis-sistemi li jużawhom u l-ispjegazzjonijiet iridu jinbnew mill-ġdid aktar tard. Ktieb tar-regoli li huwa verżjonat, ikkompilat, b'checksum, mgħobbi fil-proċess, u li jista' jintlagħab mill-ġdid jagħti lill-awdituri xi ħaġa aktar konkreta milli staqsejna lis-servizz ta' politika u qal le. Dik is-sentenza tista' tkun vera. Mhix biżżejjed.
Ikkompila darba, ieqaf tinterpreta għal dejjem
Il-pipeline tal-paġna huwa ċar: ikteb, ikkompila, ippakkja, evalwa. Ir-regoli u l-vinkoli jgħixu maġenb is-sors u l-istorja tal-verżjonijiet. Il-kompilazzjoni tikklassifika l-vinkoli u tiffissa l-backend tas-solver. L-ippakkjar jipproduċi artefatt binarju b'checksums XXH3-64 fuq l-header, il-kontenut u l-fajl. It-tagħbija hija syscall, mhux parse. L-evalwazzjoni timxi fuq is-siġra ppakkjata fil-proċess. Dik is-sekwenza tgħodd għax tbiddel xogħol fil-ħin tal-eżekuzzjoni għal xogħol fil-ħin tal-bini.
L-interpreti huma konvenjenti sakemm joqogħdu fuq kull talba. Servizz ta' politika mill-bogħod huwa konvenjenti sakemm il-qabża tan-netwerk issir parti mill-baġit tal-latenza u s-servizz isir ħaġa oħra li tista' tkun 'l isfel. JIT huwa konvenjenti sakemm hosts, verżjonijiet jew ottimizzaturi differenti jsiru parti mill-ispjegazzjoni. Lattice huwa intenzjonalment inqas drammatiku. Jgħid li l-ktieb tar-regoli għandu jsir fajl li l-applikazzjoni tista' tqabbel u tesegwixxi b'mod deterministiku. It-triq tat-talba m'għandhiex tiskopri r-regoli kull darba.
Il-paġna tirrapporta ċifri ta' benchmark għat-triq attwali tal-artefatt, inkluż numru ta' evalwazzjoni sħuna, tfittxija kiesħa wara mmap, u ċifri ta' throughput. Dawk in-numri jappartjenu lill-paġna u l-kuntest tal-benchmark tagħha, mhux leġġenda li għandha tiġi kkupjata f'kull rilaxx futur. Il-punt ta' inġinerija dejjiemi huwa d-disinn: artefatt ippakkjat, evalwazzjoni lokali għall-cache, l-ebda parser fit-triq ewlenija, l-ebda allokatur fit-triq ewlenija, u l-ebda qabża tan-netwerk għal kull deċiżjoni.
API waħda ta' regoli m'għandhiex taħbi r-realtà tas-solver
Ir-regoli mhumiex kollha l-istess. Xi wħud huma kontrolli booleani puri. Xi wħud jgħaqqdu l-loġika mal-aritmetika. Xi wħud huma programmi lineari. Xi wħud jeħtieġu deċiżjonijiet ta' numri sħaħ. Xi wħud huma vinkoli ta' dominju finit. Xi wħud huma problemi ta' triq jew vinkoli artab. Magna ta' regoli serja m'għandhiex iġġiegħel kull każ minn toqba waħda f'għamla ta' solver. Għandha tikklassifika r-regola u tibgħatha lill-backend it-tajjeb.
Il-paġna ta' Lattice ssemmi SAT, SMT, LP, MIP, CP, A*, u MaxSAT taħt API waħda ta' regoli. SAT ikopri regoli booleani puri u gates ta' karatteristiċi. SMT jimmaniġġja teoriji mħallta bħal loġika, aritmetika, arrays u bitvectors. LP ikopri ottimizzazzjoni kontinwa. MIP jew ILP jimmaniġġja deċiżjonijiet ta' numri sħaħ. CP jimmaniġġja dominji finiti u restrizzjonijiet mhux lineari. A* u MaxSAT ikopru problemi ta' mogħdijiet u ta' restrizzjonijiet artab. Is-sentenza importanti tal-prodott hi li min juża jikteb regoli, mhux sejħiet tas-solver.
Dan huwa importanti għall-manutenzjoni. Jekk kull tim tal-prodott jikteb kodiċi ta' integrazzjoni speċifiku għas-solver, is-saff tal-politika jsir ġabra ta' tricks lokali intelliġenti. Tricks lokali intelliġenti huma għaljin fl-awditi għax ħadd ma jiftakar liema trick kien intelliġenti u liema wieħed kien biss ta' Ġimgħa filgħaxija. Wiċċ ta' regoli kklassifikat jagħti lit-timijiet post wieħed fejn jispezzjonaw ir-regola, il-klassi tal-backend tagħha, l-artefatt ikkumpilat u t-tweġiba li pproduċiet.
Il-latenza hi wkoll regola tan-negozju
Sistemi ta' deċiżjonijiet iħobbu jippretendu li l-latenza hi ħsieb tekniku ta' wara. Mhix. Jekk kontroll ta' konformità joqgħod fuq kull transazzjoni, il-latenza hi parti mill-prodott. Jekk il-kontroll tal-aċċess joqgħod f'gateway, il-latenza hi parti mis-sigurtà. Jekk l-ipprezzar isir fil-ħin tal-kwotazzjoni, il-latenza hi parti mid-dħul. Jekk l-iskrinjar tal-frodi jsir qabel is-saldu, il-latenza hi parti mir-riskju. Regola bil-mod tista' tkun korretta u xorta tkun ħażina operattivament.
Għalhekk l-evalwazzjoni fil-proċess hi importanti. Il-paġna attwali ta' Lattice tqabbel kontrolli interpretati jew remoti fuq skala ta' millisekondi mal-mogħdija tal-artefatt ippakkjat, u tenfasizza l-ispiża ta' hops tan-netwerk, servizzi sidecar u lakuni fl-awditjar. In-numru eżatt għal benchmark wieħed huwa inqas importanti mill-forma tal-ispiża. Jekk talba waħda teħtieġ għaxar kontrolli, forsi l-mogħdija l-qadima tibqa' tajba. Jekk talba waħda teħtieġ għaxart elef kontroll, il-mogħdija l-qadima tibda tieħu spazju fil-baġit tat-talba. F'dak il-punt il-magna tar-regoli m'għadhiex komponent. Hija l-ħaġa li l-utenti qed jistennew għaliha.
Il-benefiċċju operattiv mhuwiex biss il-veloċità. Huwa inqas partijiet li jiċċaqilqu. L-ebda servizz ta' politika żejjed. L-ebda mogħdija tan-netwerk li trid tinżamm b'saħħitha. L-ebda proċess separat ta' parser. L-ebda cache separat x'tispjega. Il-ktieb tar-regoli joqgħod mal-applikazzjoni, ġewwa l-ġuriżdizzjoni u l-konfini operattivi li diġà tikkontrolla. Dan huwa inqas glamorous minn dashboard. Huwa wkoll inqas probabbli li jqajjem lil xi ħadd minn nofs il-lejl.
It-tweġiba tal-awditjar hi r-replay
Meta awditur jistaqsi għaliex deċiżjoni ġiet miċħuda, l-agħar tweġiba hi paragrafu rikostruwit mill-memorja. It-tieni l-agħar tweġiba hi screenshot. It-tweġiba utli hi: din il-verżjoni tal-ktieb tar-regoli ġiet imħaddma fuq dan l-input u pproduċiet dan l-output, hawn il-checksum tal-artefatt, hawn ir-regola, hawn ir-replay. Lattice huwa mibni madwar il-possibbiltà li tingħata dik it-tweġiba.
Il-paġna torbot lil Lattice ma' deċiżjonijiet awtomatizzati tal-GDPR, trasparenza tal-AI Act tal-UE, reżiljenza operazzjonali tad-DORA u assigurazzjoni tal-katina tal-provvista tan-NIS2. Dawk it-tikketti jistgħu jsiru trab ta' fuljett jekk is-sistema ma tkunx tista' turi xi ħaġa konkreta. Il-parti konkreta hija l-artefatt. Ktieb ta' regoli kkumpilat jista' jissemma. Checksum jista' jirrifjuta t-tbagħbis. Inputs irreġistrati jistgħu jirriproduċu d-deċiżjoni. Output eżatt għal kull bit ifisser li failover m'għandux ibiddel tweġiba bil-kwiet. Li taħdem fil-proċess ġewwa sistemi kkontrollati jgħin biex jevita l-problema tas-servizz estern fil-mogħdija tad-deċiżjoni.
Fejn jidħol l-ewwel
Lattice jagħmel l-aktar sens f'punti ta' deċiżjoni li jiġru spiss u li jkollhom bżonn evidenza aktar tard. Kontrolli ta' konformità fuq transazzjonijiet. Ipprezzar u eliġibbiltà fil-ħin taċ-ċitazzjoni. Deċiżjonijiet ta' aċċess f'gateways. Skrinjar ta' frodi qabel is-saldu. Kontrolli ta' eliġibbiltà fis-settur pubbliku. Xatbiet ta' underwriting fl-assigurazzjoni. Permessi ta' fluss tax-xogħol interni. Dawn huma postijiet fejn iva jew le ma jkunux biżżejjed. Is-sistema jkollha tkun taf liema verżjoni ta' iva jew le seħħet.
Jidħol ukoll f'postijiet fejn l-istess deċiżjoni trid tibqa' l-istess bejn servers. Failover m'għandux ibiddel riżultat ta' konformità. Deploy reġjonali m'għandux jinterpreta regola b'mod differenti għax verżjoni ta' librerija tkun inbidlet. Replay ta' awditjar m'għandux ikollu bżonn li l-istess servizz tal-venditur ospitat għadu jeżisti. Il-ktieb tar-regoli għandu jkun portabbli biżżejjed biex jaħdem fejn tikkontrollah l-organizzazzjoni, u espliċitu biżżejjed biex l-ispejjeż tal-bidla jibqgħu baxxi.
Għalhekk l-open source jimpurta wkoll hawnhekk. Magna tar-regoli li tipparteċipa fil-konformità, fl-aċċess, fl-ipprezzar jew fil-frodi mhijiex dipendenza dekorattiva. Hija parti mill-pjan ta' kontroll. Jekk ħadd ġewwa l-organizzazzjoni ma jista' jispezzjonaha, jiffissaha, jittestjaha u jżommha, allura l-ktieb tar-regoli mhuwiex verament tagħhom. Huwa awtorità mikrija.
X'għandek tirrevedi qabel ma tadottah
L-ewwel, identifika l-punti ta' deċiżjoni. Tibdiex b'migrazzjoni ta' pjattaforma. Ibda b'ktieb tar-regoli wieħed li jweġġa' llum. Kemm-il darba jaħdem? X'jipproteġi? Min jistaqsi għaliex? X'jiġri jekk is-servizz ikun 'l isfel? Liema evidenza tkun disponibbli sitt xhur wara?
It-tieni, irrevedi l-għamla tar-regoli. Il-vinkoli huma booleani, aritmetiċi, lineari, interi, b'dominju finit, bħal mogħdija, jew artab? Liema klassi ta' backend għandha tkun proprjetarja tagħhom? Jekk ir-regola ma tistax tispjega għaliex tmur għal familja ta' solvers, l-estrazzjoni hija wisq maġika.
It-tielet, irrevedi d-dixxiplina tal-artefatt. Fejn hu maħżun is-sors tar-regola? Liema build ipproduċa l-artefatt? Liema checksum ġie mgħobbi? Liema verżjoni tal-applikazzjoni użatu? Liema inputs ġew irreġistrati? Liema mogħdija ta' replay tipprova t-tweġiba? Jekk it-tweġiba tkun imxerrda fuq tliet sistemi u persuna jisimha Jan, il-ktieb tar-regoli għadu mhux oġġett ta' awditjar. Huwa tradizzjoni.
Il-lezzjoni
Lattice hija storja ta' magna tar-regoli, imma fil-verità hija storja ta' kontroll. Ikkumpila l-ktieb tar-regoli qabel it-talba. Ippakkjah f'artefatt li l-applikazzjoni tista' tagħmel mmap. Iċċekkja l-artefatt qabel ma tgħabbih. Idderieġi l-vinkoli lejn il-familja t-tajba ta' solvers. Evalwa fil-proċess. Irriproduċi aktar tard bl-istess input u l-istess verżjoni tal-ktieb tar-regoli.
Dak mhuwiex glamorous. Tajjeb. Regoli tan-negozju m'għandhomx ikunu glamorous. Għandhom ikunu boring, veloċi, espliċiti u rivedibbli. Is-sistemi importanti ta' deċiżjoni f'kumpanija m'għandhomx jiddependu fuq oracles remoti, ċikli ta' parsers u arkeoloġija ta' awditjar. Għandhom iġorru l-kotba tar-regoli tagħhom bħal infrastruttura.
Il-ktieb tar-regoli m'għandux ikun oracle remot. Għandu jkun xi ħaġa li s-sistema tista' tmexxi, issemmi u tirriproduċi.