1 viewer

rust 1,849,384 · typescript 232,426 · javascript 131,078 · python 19,227 · 6,366 files · digest 815dcbacab85 · built in 1.4 s · crystals off

crates/cre8-app-circuit/src/pis_run.rs

cre8-app-circuit · module pis_run · src · 2,862 lines (2,631 code, 88 comment) · sha 089ff4a33ab9a91e

Items

const PIS_TRACE_SCHEMA const PIS_RUN_SCHEMA const PIS_RESULT_SCHEMA const PIS_SEMANTIC_OUTPUT_SCHEMA const PIS_REQUEST_SCHEMA const SIGNED_PIS_REQUEST_SCHEMA const PIS_PROOF_KIND const PIS_TRACE_PROOF_ENVELOPE_SCHEMA const PIS_REQUEST_SIGNATURE_DOMAIN const KIND_PIS_CORE_RUN const DEFAULT_MAX_CYCLES const MAX_CYCLES const DEFAULT_TIMEOUT_SECS const MAX_TIMEOUT_SECS const MAX_INVOCATION_ID_BYTES static RUN_DIR_COUNTER static OCCURRENCE_ORDINAL const PIS_RUN_CONNECTION_SPEC const PIS_RUN_EXTRAS const PIS_VERIFY_OCCURRENCE_CONNECTION_SPEC const PIS_VERIFY_OCCURRENCE_EXTRAS struct PisCoreRunRequestV1 impl PisCoreRunRequestV1 struct SignedPisCoreRunRequestV1 impl SignedPisCoreRunRequestV1 struct PisTraceProofEnvelopeV1 impl PisTraceProofEnvelopeV1 struct PisRtlCycle struct PisTraceDocument struct PisProofSemantics struct PisCoreRunReceipt struct PisCoreResultArtifactV1 impl PisCoreResultArtifactV1 struct VerifiedPisCoreRun impl VerifiedPisCoreRun struct PreparedRun struct ParsedSimulation struct PortablePisProofVerificationV1 struct WorkDir impl WorkDir impl Drop for WorkDir struct CommandCapture const SOURCE

Functions

By call-graph weight (PageRank; 1.0 is the average function). 63 functions in all.

function	kind	lines	cyclomatic	callers	callees	weight
SignedPisCoreRunRequestV1::verifysrc/pis_run.rs:207	method	14	1	5	3	1.4
load_latest_verified_runsrc/pis_run.rs:1255	fn	20	1	6	4	1.3
decsrc/pis_run.rs:1834	fn	7	1	2	0	1.2
PisTraceProofEnvelopeV1::canonical_statement_hashsrc/pis_run.rs:278	method	14	1	2	1	1
PisCoreRunRequestV1::request_hashsrc/pis_run.rs:171	method	3	1	2	1	1
SignedPisCoreRunRequestV1::signing_messagesrc/pis_run.rs:203	method	3	1	2	0	1
PisTraceProofEnvelopeV1::newsrc/pis_run.rs:249	method	28	1	2	2	1
parse_simulation_outputsrc/pis_run.rs:1775	fn	47	6	2	5	1
required_stringsrc/pis_run.rs:1617	fn	9	1	4	0	0.9
verify_run_propssrc/pis_run.rs:1306	fn	92	1	2	6	0.9
verify_receiptsrc/pis_run.rs:1221	fn	29	2	4	2	0.8
verify_program_imagesrc/pis_run.rs:1627	fn	28	5	3	0	0.8
handle_run_pis_coresrc/pis_run.rs:631	fn	235	34	2	16	0.8
bounded_u32_fieldsrc/pis_run.rs:2105	fn	15	4	2	0	0.7
bounded_u64_fieldsrc/pis_run.rs:2121	fn	14	4	2	0	0.7
PisTraceProofEnvelopeV1::packed_starksrc/pis_run.rs:293	method	5	1	4	0	0.7
WorkDir::newsrc/pis_run.rs:2187	method	23	2	1	2	0.7
run_command_boundedsrc/pis_run.rs:2232	fn	61	8	1	0	0.7
compile_request_graphsrc/pis_run.rs:1184	fn	33	1	4	0	0.7
is_sha256src/pis_run.rs:327	fn	3	2	2	0	0.7
signed_request_from_inputsrc/pis_run.rs:867	fn	38	3	2	1	0.7
parse_fieldssrc/pis_run.rs:1823	fn	10	2	1	0	0.7
bitsrc/pis_run.rs:1842	fn	7	3	1	1	0.7
hexsrc/pis_run.rs:1850	fn	6	1	1	0	0.7
state_namesrc/pis_run.rs:1857	fn	16	12	1	0	0.7
persist_runsrc/pis_run.rs:2049	fn	47	1	2	3	0.7
signed_requestsrc/pis_run.rs:2337	fn	24	1	2	5	0.7
load_verified_occurrencesrc/pis_run.rs:1278	fn	27	1	2	5	0.6
prepare_runsrc/pis_run.rs:1066	fn	109	1	3	9	0.6
load_raw_occurrencesrc/pis_run.rs:1473	fn	14	1	1	2	0.6
verify_promotions_after_restartsrc/pis_run.rs:1488	fn	105	3	1	10	0.6
load_occurrence_history_entrysrc/pis_run.rs:1594	fn	22	2	1	1	0.6
canonical_ir_value_hashsrc/pis_run.rs:2136	fn	4	1	2	1	0.6
proven_promotion_idsrc/pis_run.rs:1461	fn	11	1	1	3	0.6
activity_waveformsrc/pis_run.rs:1874	fn	32	1	2	0	0.6
verify_portable_pis_proofsrc/pis_run.rs:1679	fn	89	1	1	7	0.6
baked_designsrc/pis_run.rs:2318	fn	18	1	2	2	0.6
signed_request_atom_idsrc/pis_run.rs:1769	fn	5	1	1	1	0.6
PisCoreResultArtifactV1::newsrc/pis_run.rs:403	method	14	1	2	1	0.6
append_request_bound_promotionsrc/pis_run.rs:930	fn	43	1	2	6	0.6
append_proven_promotionsrc/pis_run.rs:974	fn	91	1	2	7	0.6
persist_observatory_runsrc/pis_run.rs:1907	fn	141	2	2	6	0.6
run_iverilogsrc/pis_run.rs:2142	fn	31	1	1	2	0.6
planned_invocation_idsrc/pis_run.rs:906	fn	10	1	1	0	0.5
ensure_invocation_id_availablesrc/pis_run.rs:917	fn	12	1	1	3	0.5
handle_verify_pis_occurrencesrc/pis_run.rs:1402	fn	58	1	1	4	0.5
bool_fieldsrc/pis_run.rs:2097	fn	7	3	1	0	0.5
PisCoreRunRequestV1::validatesrc/pis_run.rs:175	method	15	2	0	0	0.5
PisTraceProofEnvelopeV1::validatesrc/pis_run.rs:299	method	26	2	0	4	0.5
PisCoreResultArtifactV1::validatesrc/pis_run.rs:418	method	10	1	0	1	0.5
VerifiedPisCoreRun::atlas_framesrc/pis_run.rs:453	method	159	5	0	2	0.5
run_iverilogsrc/pis_run.rs:2175	fn	3	1	0	0	0.5
WorkDir::dropsrc/pis_run.rs:2214	trait impl	8	3	0	0	0.5
strict_proof_preflight_requires_proof_and_world_deliverysrc/pis_run.rs:2305	fn	12	2	0	2	0.5
signed_request_rejects_content_or_dispatch_substitutionsrc/pis_run.rs:2363	fn	66	1	0	3	0.5
trace_bound_proof_envelope_rejects_trace_or_payload_substitutionsrc/pis_run.rs:2431	fn	37	1	0	1	0.5
run_budgets_are_rejected_instead_of_silently_clampedsrc/pis_run.rs:2470	fn	6	1	0	2	0.5
parser_rejects_missing_and_malformed_execution_evidencesrc/pis_run.rs:2478	fn	6	1	0	1	0.5
rebuilt_program_image_detects_mutated_rtlsrc/pis_run.rs:2486	fn	12	1	0	3	0.5
exact_rtl_executes_and_tampered_trace_or_receipt_is_rejectedsrc/pis_run.rs:2500	fn	48	3	0	6	0.5
identical_run_content_keeps_distinct_occurrence_verticessrc/pis_run.rs:2550	fn	58	2	0	5	0.5
atlas_execution_identity_separates_repeat_occurrences_with_one_run_idsrc/pis_run.rs:2610	fn	97	1	0	1	0.5
accepted_run_persists_as_a_protocol_graph_vertexsrc/pis_run.rs:2709	fn	153	6	0	22	0.5

Source not readable from this process.