Direct answer
Runtime Witness Receipts — Workflow describes the bounded Maha behavior established by the cited implementation and carries the implementation's explicit non-claims.
Answer contract
Apply the workflow lens only to the exact inspected source scope; do not infer authority from adjacent topics.
Evidence and exact locators
t19-runtime-attachment — lib/evidence-dossier/runtime-witness.ts — attachRuntimeWitnessToDossier. Supports: Binds a validated runtime receipt to exact dossier, claim, and calculation identities.
What the evidence does not establish
Records one execution; it does not establish correctness or independent reproduction.
Rights and reuse
project-owned-reference-only
Dependencies and related concepts
applies-to: urn:maha:concept:evidence:runtime-witness-receipts
governed-by: urn:maha:concept:governance
evidence-for: urn:maha:concept:evidence
Inputs and prerequisites
This inputs and prerequisites section is constrained to the same inspected scope: Binds a validated runtime receipt to exact dossier, claim, and calculation identities.
It must preserve the recorded boundary: Records one execution; it does not establish correctness or independent reproduction.
Ordered behavior
This ordered behavior section is constrained to the same inspected scope: Binds a validated runtime receipt to exact dossier, claim, and calculation identities.
It must preserve the recorded boundary: Records one execution; it does not establish correctness or independent reproduction.
Verification or refusal states
This verification or refusal states section is constrained to the same inspected scope: Binds a validated runtime receipt to exact dossier, claim, and calculation identities.
It must preserve the recorded boundary: Records one execution; it does not establish correctness or independent reproduction.
What this does not establish
This what this does not establish section is constrained to the same inspected scope: Binds a validated runtime receipt to exact dossier, claim, and calculation identities.
It must preserve the recorded boundary: Records one execution; it does not establish correctness or independent reproduction.
Related definition and applications
This related definition and applications section is constrained to the same inspected scope: Binds a validated runtime receipt to exact dossier, claim, and calculation identities.
It must preserve the recorded boundary: Records one execution; it does not establish correctness or independent reproduction.
Questions this page can answer
What exact behavior is implemented?
Runtime Witness Receipts — Workflow describes the bounded Maha behavior established by the cited implementation and carries the implementation's explicit non-claims.
Which inputs and identities are required?
t19-runtime-attachment, lib/evidence-dossier/runtime-witness.ts — attachRuntimeWitnessToDossier
Which exact symbol bears the explanation?
Records one execution; it does not establish correctness or independent reproduction.
Which refusal or verification boundary applies?
applies-to: urn:maha:concept:evidence:runtime-witness-receipts governed-by: urn:maha:concept:governance evidence-for: urn:maha:concept:evidence
What external outcome does this implementation not establish?
A source, locator, rights, scope, boundary, dependency, implementation, or release change requires a new exact-revision review.