Skip to content

Therons Quest Technical Reference

Daniel Nylander edited this page Aug 14, 2026 · 30 revisions

Theron's Quest Technical Reference

Provenance-capture boundary — 2026-08-14

The corrected Mednafen instrumentation separates the bounded receipt counter from provenance seeding and watches $6000, $611D–$6126, and $2935–$293E in the same authentic run. A 120-second external-disk capture using the hash-verified US Track 02 and System Card produced 336 CD→RAM provenance seeds, 24 game-owned $E009 dispatches, and zero provenance copies into $611D.

This does not prove the Track 02 → main RAM → executing consumer → record-table join. The $611D mutations still have no source LBA/offset binding, so level/object/gameplay semantics remain fail-closed. Capture sidecars and the instrumented binary remain local to the external disk.

Door movement boundary

Movement does not implicitly open a closed or locked door. The explicit door-use route performs the state transition and key validation; this keeps source-bound Track 02 object state transactional and fail-closed. A stair query likewise returns STAIRS only when the destination level is resident.

The synthetic cross-route regression now exercises this contract directly by calling door_open() before moving through an unlocked fixture door. Its deterministic pool, alarm, trigger, teleporter, pit and TAKE follow-up passes without changing the source-level gates. This is mechanics regression evidence, not a claim that the unresolved Track 02 T900 door consumer has been decoded.

Scripted replay transport boundary

The latest authenticated external-disk replay uses the US Track 02/System Card identity and the scripted PCE sequence run@1:1,run@480:30,i@900:30. It proves CD transport and initialization: 240 raw-sector spans, 25 CD IRQ callbacks, 256 authenticated CD-RAM receipts, 32 game-owned $E009 dispatches, and a parser-approved transition receipt.

The Main-RAM consumer sidecar is still init-only. It has 65,536 reads and 512 reads in $2600-$27FF, all zero-valued reads from $CB22; it has no runtime reads, no $C3A0 reader, and no dynamic level/object publication. Therefore this replay does not open square/tile/HUD/T700/T900 semantics or production dungeon admission. The raw sidecars and instrumented emulator remain local on the external disk.

Runtime record-table witness

An authentic Mednafen savestate execution-window capture now identifies a mutable ten-byte runtime record table. $C9BD derives a table base from $6000,X; $CB89 scans records at $611D in ten-byte steps; and $CBCC copies $2935–$293E into $611D–$6126. $CC4C also reaches the existing $4667 helper during this path.

This is runtime consumer evidence, not a level/object claim. The savestate does not contain a same-session CD-origin receipt, source LBA, or proven role for the table. The production level/object, VRAM, and HuC6280-RAM gates remain closed until one authenticated session joins Track 02 bytes, post-CD RAM, executing PC/bank state, table mutation, and a reproducible gameplay transaction. Full provenance is recorded in docs/source-lock/theron-disassembly/theron-runtime-record-table-consumer-20260814.md.

The bounded receipt replay emits 4,096 rows. One recurring raw row, 4080007098a8c8700020, occurs byte-exactly at seven offsets in authenticated US TQUS02.bin: 0x0b0eed, 0x0faa0d, 0x144a03, 0x18da0d, 0x1d7b7d, 0x2206ed, and 0x26a85c. This is raw source-byte overlap only: the savestate replay has no same-session CD-origin receipt, so no level/object or gameplay semantics are admitted.

The latest same-process continuity replay produced 256 authenticated CD→RAM receipts, 32 game-owned $E009 dispatches and 4,096 runtime-table rows after selecting the verified Theron state slot 6 and issuing Load State in the same real-SDL instrumented process. This closes the earlier process-continuity gap, but the runtime rows begin after explicit state injection. There is still no Track 02 source-LBA → RAM-write → record-mutation join, so the result does not promote level/object or gameplay semantics. The capture binary MD5 is 2d84469309f81c582ed59160493fa170.

2026-08-14 provenance probe

A capture-only provenance hook was built against the original Mednafen 1.32.1 source and linked against a real SDL2 runtime. It preserves authenticated CD-origin bytes across matching CPU RAM reads and writes without changing game behavior. The 120-second authentic US replay produced 166 CD→RAM-origin seeds and zero provenance copies. No copy reached $2935, $293E or $611D, so the source→RAM→record-mutation join remains unproven and the Theron gameplay consumer gate stays closed. Raw captures remain local and are not repository assets.

Track 02 map-directory boundary

The world handoff validates the complete authenticated Track 02 map directory before replacing a dungeon bank. A zero or oversized map count, or a map whose x_dim + 1 / y_dim + 1 exceeds Firestaff's fixed square grid, is rejected without changing the previous bank. This protects the source-bound state boundary; it does not claim the unresolved post-CD level/object consumer.

Door state boundary

The runtime treats LOCKED=6 as a sentinel state, not as a later opening animation frame. The bounded passability range is QUARTER_OPEN..DESTROYED; movement queries, movement mutation and door_open() share that predicate. This prevents a locked door from becoming passable through numeric state ordering. Source-authenticated key/object consumption remains capture-gated.

Teleporter failure boundary

theron_v1_teleporter_resolve() is transactional: an absent endpoint, cyclic chain, unloaded destination or invalid coordinate returns -1 without publishing party or transition state. Movement now propagates that failure as THERON_MOVE_BLOCKED and does not apply per-move effects. Only the verified object-ID and Track 02 coordinate routes may publish a teleport destination; this guard does not infer new dungeon semantics.

Status reviewed 2026-08-13. The missing-endpoint regression is covered by the mechanics-hardening probe. Source-owned level/object consumers remain capture-gated.

Stairs failure boundary

Movement queries and execution require the stairs destination level to be loaded. If transition setup or execution fails, the result is THERON_MOVE_BLOCKED; no party position, transition state or per-move effect is published. This preserves the fail-closed boundary while dynamic source-owned level loading and the original stairs consumer remain unresolved.

Dungeon exit failure boundary

An exit is actionable only when dungeon_complete is true and transition execution succeeds. Queries and movement both report THERON_MOVE_BLOCKED otherwise, without applying per-move effects. This keeps quest completion and next-dungeon source consumers behind their existing evidence gates.

Pit failure boundary

On a source-authenticated level, a pit does not use the host fixture's damage or stamina rules. Query, movement and the public pit handler remain blocked until the original T700 pit consumer is joined to the source level/object receipt. Synthetic fixture levels retain the existing probe-only behavior.

Status reviewed 2026-08-13. JP/US Track 02 identity and several loader receipts are real-data verified. Game-owned dungeon handoff, object/level semantics and bitmap/palette binding remain open. The verified startup boundary does not establish the Firestaff $2600 consumer or gameplay semantics.

Scope

Theron's Quest is a PC Engine CD target. Firestaff accepts original Track 02 media through a strict CUE/BIN handoff and verifies known media identities. It does not assume ISO-9660 files or create a directory from a disc image.

Record-Based CD Layout

System Card access is record-based relative to a CD base. Official Hu7 layouts compile record constants into the executable, so the final disc has no runtime file directory to enumerate. Firestaff follows observed loader record handoffs rather than filename scans.

The verified JP/US Track 02 chain is:

  • CD_EXEC record 0x0003e7 into local RAM at $4000;
  • a traced stage-two one-sector CD_READ into local RAM at $3800;
  • record 0x0004df for JP and 0x0004e0 for US;
  • a payload beginning BRK $ff with a bounded $0308 envelope.

The resulting 218-entry manifest is structural provenance only. It has no object, level, palette, bitmap, or text meaning until loader control flow proves that meaning.

Startup, Levels, and Saves

M12-to-M11 receipts preserve CUE declarations, raw-sector form, known hash, IPL, stage-two record, user-data span, header, and payload hash. Incomplete bitmap or object-table evidence blocks title, Soul Room, Continue, and dungeon entry rather than producing a synthetic route.

Level/object candidates are staged and committed atomically only when every original-data receipt validates. Descriptor proximity and repeated byte shapes are not semantic evidence.

The JP Track 02 champion cluster has a separate source receipt at raw offset 0x0B3D98. It validates eight newline/NUL-framed records against the JP BIN identity and decodes the A–P nibble fields for HP, stamina, mana, attributes and skill levels. This is data-format evidence only: the US BIN has no proven equivalent text consumer, and portraits or live gameplay ownership are not inferred from the JP records.

SRM discovery validates gzip framing, optional header fields, CRC32, and ISIZE. Opaque original bodies remain unavailable until their layout is correlated with evidence. Firestaff-native export is no-replace atomic, protecting original Save Disk artifacts. Continue itself is transactional and carries the consumed media route mask, checksum, and selected level bank.

Multi-Level Object Table and Progression

Track 02 object-table decode has been extended from level-0/32x27-only to every level of a dungeon: theron_v1_track02_read_object_table() bounds records against the real per-dungeon level count (0..THERON_MAX_LEVELS_PER_DUNGEON-1), and theron_v1_track02_decode_dungeon_level_object_table() extracts one level's records from a full-dungeon buffer. theron_v1_world_apply_track02_object_table_for_dungeon() routes decoded records to every loaded level of a dungeon. Two object kinds were added to carry decoded fields: THERON_OBJTYPE_SOUND (ambient sound ID) and THERON_OBJTYPE_PIT (pit records own their grid position). theron_v1_transition_execute() implements stairs (validated target level), progression advance, theron_v1_world_reset_for_dungeon(), and quest-complete handling at the end of move_party_internal().

Verification

cmake --build build --target firestaff_theron_v1_track02_ipl_loader_probe \
  firestaff_theron_v1_track02_level_handoff_probe \
  test_theron_v1_startup_save_resume_pc34 --parallel

FIRESTAFF_THERON_TRACK02_US_BIN="/path/to/us-track02.bin" \
FIRESTAFF_THERON_TRACK02_JP_BIN="/path/to/jp-track02.bin" \
  ./build/firestaff_theron_v1_track02_level_handoff_probe

Open technical work remains semantic binding for later loader records, object tables, non-startup levels, original SRM bodies, and packaged-app capture.

Dungeon Text Boundary

The seven US Track 02 dungeon-text spans are retained directly from the real disc data. Firestaff verifies their source word counts and diagnostic terminator counts in a release-build-safe regression, but publishes none as world or UI text: every span has unresolved five-bit control glyphs. A cross-check against DMBuilder's source confirms the same offsets and sizes, not the PC Engine renderer or its control-code semantics. A future text route requires an executing HuC6280 consumer plus a source payload join; host text and guessed scroll markup are deliberately excluded.

For strict CUE/record handling and Stage 2/3 receipts, see Theron's Quest Track 02 Internals.

Natural interactive runtime receipt (2026-08-14)

A fresh real-SDL instrumented process booted the authenticated US CUE and reached the runtime record-table consumer without savestate autoload. The capture contained 256 authenticated CD-to-RAM origin receipts, 32 game-owned $E009 dispatches, and 4,096 runtime-table rows. The first runtime row contained the known $611D value 4080007098a8c8700020.

This is a live execution witness after authentic CD activity, not a semantic level/object promotion. The capture did not contain a FIFO-origin main-RAM consumer row and did not establish a source-LBA to $6000/$611D mutation join, so the production gate remains closed.

Clone this wiki locally